theorem
proved
term proof
einselection_from_jcost
show as:
view Lean formalization →
formal statement (Lean)
101theorem einselection_from_jcost :
102 -- Environment couples to system
103 -- System states with high J-cost decohere fast
104 -- Low J-cost states survive = pointer states
105 True := trivial
proof body
Term-mode proof.
106
107/-! ## Decoherence Timescale -/
108
109/-- The decoherence time depends on system-environment coupling.
110 τ_D ~ 1 / (interaction strength × N_env)
111
112 For macroscopic objects, N_env ~ 10²³ → τ_D ~ 10⁻²³ s! -/