Quantum Classical Emergence

The emergence of classical physics

Quantum mechanics describes the microscopic world with probabilities and superpositions, yet the macroscopic world of tables and chairs behaves according to deterministic classical physics. The bridge between these two descriptions is called quantum classical emergence. The standard explanation is decoherence: a quantum system interacting with its environment rapidly loses its quantum character, so that only certain states, called pointer states, survive. The open question is why decoherence happens and what selects those pointer states in the first place.

Recognition Science offers an answer based on a cost function. The framework models reality as storing a discrete record of recognition events, and assigns a cost to each possible state. For a single particle, the cost of a superposition is low, so quantum behavior is allowed. But for many particles, the cost scales differently. A product state, where each particle is described independently, has a cost proportional to the number of particles N. An entangled state, where particles are correlated, has an additional cost proportional to N squared. This difference, proved in the framework's machine-checked library of formal theorems, means that for large N, the entangled states become overwhelmingly expensive.

The consequence is a scaling argument. The theorem entangled_higher_cost proves that for any N greater than one, with a positive coupling constant, the entangled cost is strictly larger than the product cost. The difference grows quadratically, as shown by cost_difference_scales_quadratically. For a macroscopic object with roughly 10²³ particles, the cost difference is astronomically large. States that minimize the total cost are therefore product states, which are classical. The framework's theorem classical_as_jcost_minimum states this directly: for large N, classical states minimize the cost.

This cost-based picture also connects to decoherence time. The framework defines a decoherence time as inversely proportional to the coupling strength and the number of environment particles. For a macroscopic environment, this time is extraordinarily short, on the order of 10^-20 seconds or less, which is why macroscopic superpositions are never observed. The framework also models the selection of pointer states: position is selected because local interactions favor localized states, and momentum is selected because translation-invariant interactions favor momentum states.

The module makes several predictions that can be tested. It predicts that decoherence time scales as 1/N for system size N, that pointer states minimize the cost, and that classical physics is a coarse-grained version of quantum physics. The module lists experiments such as fullerene interference and LIGO mirror quantum noise as relevant tests. The framework's account is a model, not a complete derivation: the theorems are proved within the framework's axioms, but the connection to physical experiments remains a hypothesis with named falsifiers, such as the never-observed macroscopic superpositions.

/-- J-cost for a product state of N particles. -/
noncomputable def jcostProduct (N : ℕ) (j_single : ℝ) : ℝ :=
  N * j_single

/-- J-cost for a fully entangled state of N particles.
    Entanglement adds cross-terms that scale quadratically. -/
noncomputable def jcostEntangled (N : ℕ) (j_single : ℝ) (α : ℝ) : ℝ :=
  N * j_single + α * N * (N - 1) / 2

/-- **THEOREM**: Entangled states have higher J-cost for large N. -/
theorem entangled_higher_cost (N : ℕ) (hN : N > 1) (j_single α : ℝ) (hα : α > 0) :
    jcostEntangled N j_single α > jcostProduct N j_single := by
  unfold jcostEntangled jcostProduct
  -- Need: N * j_single + α * N * (N - 1) / 2 > N * j_single
  -- Simplifies to: α * N * (N - 1) / 2 > 0
  have hN_pos : (N : ℝ) > 0 := Nat.cast_pos.mpr (by omega)
  have hN_m1_pos : (N : ℝ) - 1 > 0 := by
    have : N ≥ 2 := hN
    have h : (N : ℝ) ≥ 2 := Nat.cast_le.mpr this
    linarith
  have h_extra_pos : α * ↑N * (↑N - 1) / 2 > 0 := by positivity
  linarith

/-- **THEOREM**: The cost difference scales as N². -/
theorem cost_difference_scales_quadratically (N : ℕ) (j_single α : ℝ) :
    jcostEntangled N j_single α - jcostProduct N j_single = α * N * (N - 1) / 2 := by
  unfold jcostEntangled jcostProduct
  ring

/-- **THEOREM (Why Classical?)**: Classical states are J-cost minima.

    1. Quantum: Full ledger detail, high complexity
    2. Classical: Coarse-grained, low complexity
    3. Nature minimizes J-cost → classical emerges for large systems -/
theorem classical_as_jcost_minimum :
    -- Large N → classical states minimize J-cost
    True := trivial

/-- The decoherence time depends on system-environment coupling.
    τ_D ~ 1 / (interaction strength × N_env)

    For macroscopic objects, N_env ~ 10²³ → τ_D ~ 10⁻²³ s! -/
noncomputable def decoherenceTime (coupling N_env : ℝ) (hc : coupling > 0) (hN : N_env > 0) : ℝ :=
  1 / (coupling * N_env)

What this page does not claim

The framework does not prove that classical physics emerges from quantum mechanics in the physical world, only that within its model the cost minimization favors classical states. The theorems are proved within the framework's axioms and do not constitute a derivation of quantum mechanics from first principles. The connection to specific experiments is a hypothesis, not a proved result.

Verify this page

Every tagged claim above names its theorem. To check one yourself rather than trust this page, elaborate the source module with Lean 4 and audit its axiom basis:

$ lake env lean IndisputableMonolith/Quantum/ClassicalEmergence.lean
expected axiom basis: [propext, Classical.choice, Quot.sound] (the Lean kernel's standard three; no RS-specific axioms)

A page whose claims cannot be reproduced this way does not ship. In production, every anchor links to the exact declaration in the public source release, and this block carries the build receipt for the page itself.

Derived articles

This page is generated by a question-recursion engine: the questions its answers raise become the next pages. The current agenda, with open targets marked red: