def
definition
CoherenceGateFalsifier
show as:
view math explainer →
open explainer
Read the cached plain-language explainer.
open lean source
IndisputableMonolith.Gravity.Candidates.Li on GitHub at line 53.
browse module
All declarations in this module, on Recognition.
explainer page
depends on
formal source
50 The effect MUST vanish if the system is not superconducting (T > Tc).
51 We model this by asserting the coupling becomes zero (or negligible)
52 when coherence is lost. -/
53def CoherenceGateFalsifier (T Tc : ℝ) (measured_coupling : ℝ) : Prop :=
54 if T > Tc then
55 measured_coupling ≈ 0
56 else
57 measured_coupling > 0
58
59/-- RS Falsifier: Sign Flip.
60 Since B_0 is a vector field, reversing B_0 (or the current) must reverse
61 the induced gravitomagnetic component.
62 B_g_induced(-B_0) = -B_g_induced(B_0). -/
63def SignFlipFalsifier (B_0 : ℝ) (induced_Bg : ℝ → ℝ) : Prop :=
64 induced_Bg (-B_0) = -induced_Bg B_0
65
66end Li
67end Candidates
68end Gravity
69end IndisputableMonolith