QuantumClassicalCrossover
plain-language theorem explainer
A structure collecting four parameters that set the scale of the continuous quantum-to-classical transition under many-body J-cost minimization: particle count N, temperature T, coupling strength, and decoherence time tau_D. Workers on decoherence and emergence cite this record when mapping J-cost product states to macroscopic classical behavior. The declaration is a bare structure definition with no computation or proof obligations.
Claim. A record consisting of a natural number $N$ (particle count), a real $T$ (environment temperature), a real coupling constant, and a real decoherence timescale $tau_D$, which together fix the location of the crossover at which J-cost minimization favors product states over entangled superpositions.
background
The module QF-011 derives classical emergence from quantum mechanics via the J-cost framework imported from IndisputableMonolith.Cost. In this setting a single-particle superposition carries low J-cost while correlated many-body superpositions incur J-cost that grows quadratically with particle number N. The environment acts as a regulator that drives the system toward the lower-cost classical product states. Upstream results supply auxiliary lists and structures (NarrativeGeodesic.all, KinshipGraphCohomology.all, NucleosynthesisTiers.of) but do not enter the definition itself.
proof idea
Structure definition. Four fields are declared with inline documentation; no tactics or lemmas are applied.
why it matters
The declaration supplies the explicit parameter list required by the QF-011 program on classical emergence from many-body J-cost. It sits inside the Recognition Science treatment of decoherence as ledger coarse-graining and prepares the ground for later results that would relate tau_D to the phi-ladder and the eight-tick octave. No downstream theorems are recorded yet.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.