No prose has been written for this declaration yet. The Lean source and graph data below render
without it.
generate prose now
formal statement (Lean)
127structure QuantumClassicalCrossover where
128 /-- System size (number of particles). -/
129 N : ℕ
130 /-- Environment temperature. -/
131 T : ℝ
132 /-- Coupling strength. -/
133 coupling : ℝ
134 /-- Decoherence time. -/
135 tau_D : ℝ
136
137/-! ## The RS Interpretation -/
138
139/-- In RS, classical emergence is about **ledger coarse-graining**:
140
141 1. Microscopic: Full quantum ledger, all superpositions tracked
142 2. Mesoscopic: Partial coarse-graining, some quantum effects
143 3. Macroscopic: Fully coarse-grained, only classical states
144
145 Classical physics = the low-resolution limit of the ledger. -/
depends on (19)
Lean names referenced from this declaration's body.
-
all
in IndisputableMonolith.Aesthetics.NarrativeGeodesic
decl_use
-
all
in IndisputableMonolith.Anthropology.KinshipGraphCohomology
decl_use
-
of
in IndisputableMonolith.Astrophysics.NucleosynthesisTiers
decl_use
-
all
in IndisputableMonolith.Engineering.AsteroidOreSpectroscopy
decl_use
-
T
in IndisputableMonolith.Foundation.Breath1024
decl_use
-
of
in IndisputableMonolith.Foundation.DAlembert.LedgerFactorization
decl_use
-
is
in IndisputableMonolith.Foundation.OptionAEmpiricalProgram
decl_use
-
of
in IndisputableMonolith.Foundation.PhiForcingDerived
decl_use
-
is
in IndisputableMonolith.Foundation.SimplicialLedger.EdgeLengthFromPsi
decl_use
-
of
in IndisputableMonolith.Foundation.SpectralEmergence
decl_use
-
is
in IndisputableMonolith.GameTheory.MechanismDesignFromSigma
decl_use
-
T
in IndisputableMonolith.Gap45.SyncMinimization
decl_use
-
Coupling
in IndisputableMonolith.Information.FEPBridgeFromJCost
decl_use
-
of
in IndisputableMonolith.Information.PhysicsComplexityStructure
decl_use
-
is
in IndisputableMonolith.Mathematics.RamanujanBridge.MockThetaPhantom
decl_use
-
all
in IndisputableMonolith.Musicology.ModalPreferenceFromPhi
decl_use
-
Environment
in IndisputableMonolith.Quantum.PointerStates
decl_use
-
System
in IndisputableMonolith.Thermodynamics.BoltzmannDistribution
decl_use
-
temperature
in IndisputableMonolith.Thermodynamics.BoltzmannDistribution
decl_use