OpenFrontiers
← Back to the index

Controlled long-time classical limits

For a specified Hamiltonian or dissipative dynamics, observable class and semiclassical or many-body scaling, prove quantitative quantum-to-classical error bounds on a stated growing time window; separate isolated chaos, decohering dynamics and macroscopic lim

Source-reported statusAs of 2026-09-04Source & evidence ↓

Problem statement

For a specified Hamiltonian or dissipative dynamics, observable class and semiclassical or many-body scaling, prove quantitative quantum-to-classical error bounds on a stated growing time window; separate isolated chaos, decohering dynamics and macroscopic limits.

Lean 4

Not yet attached

No Lean statement or proof is attached yet. Have a formalization? Share its source to add it to this problem.

Background

The classical limit asks how and when Newtonian/Hamiltonian mechanics emerges from quantum dynamics as ℏ→0\hbar\to0 or for macroscopic systems. It is subtle because the limit is singular and, for chaotic systems, quantum and classical predictions diverge after a surprisingly short time.

What is known: Egorov-type results control semiclassical observable evolution under stated smoothness and time assumptions; coherent-state and mean-field limits also have rigorous regimes. In chaotic dynamics, derivative growth often limits naive wave-packet or operator estimates to logarithmic Ehrenfest times. This is not a universal prohibition on every coarse observable having longer correspondence, nor a theorem that decoherence is always necessary.

Selected child questions ask for errors beyond established Ehrenfest windows for specified coarse observables; for joint noise/semiclassical limits with quantified decoherence; and for macroscopic mean-field or hydrodynamic limits with size-dependent times. State the metric, initial-state class and order of limits. These distinct tasks cannot be certified by a blanket claim of a universal classical-limit theorem. Related: F5, M8 (quantum unique ergodicity), M9 (spectral statistics), B5 (thermalization).

Progress & source assessment

Source catalogue review: 4 September 2026. Improved indicates partial progress, including qualified preprint claims.

References
  1. [1]Hepp, 'The classical limit for quantum mechanical correlation functions', Comm. Math. Phys. 35 (1974) link
  2. [2]Zurek & Paz, 'Decoherence, chaos, and the second law', PRL 72, 2508 (1994) link

Recorded progress

Add yours →

Nothing recorded yet. A pointer to a paper the entry is missing counts.

Machine attempts

0 recorded

Attempts run against the statement below and are recorded in full, including the failures. The point is to stop the next model — and the next person — from re-walking a road that is already known to end. Each attempt costs 25 credits.

No machine attempts recorded.

Sign in to run an attempt. New accounts start with enough credits for ten.

Discussion

0 notes

Notes are for clarifying the statement, flagging a missing reference, or recording why an approach fails. Claimed solutions belong in a submission, where they can be reviewed.

No notes yet.

Sign in to add a note.