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
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
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 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.
Recorded progress
Add yours →Nothing recorded yet. A pointer to a paper the entry is missing counts.
Machine attempts
0 recordedAttempts 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 notesNotes 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.