For open quantum systems whose environment produces homogeneous isotropic phase-space diffusion of strength DD, rigorous sufficiency theorems and a recent engineered counterexample together establish that, within the classes of dynamics and initial states they cover, the threshold for quantum-classical correspondence at times beyond the Ehrenfest time tE∼log⁡(ℏ−1)t_E \sim \log(\hbar^{-1}) is D∼ℏ4/3D \sim \hbar^{4/3} (in units set by the Hamiltonian). However, the counterexample is a finely tuned, time-dependent Hamiltonian whose construction inverts the roles of the stable and unstable directions of the flow, and both the sufficiency and necessity results are restricted to initial states that are mixtures of narrow Gaussian states. The open problem is the universality of this threshold: whether it persists, shifts, or relaxes for other classes of dynamics and initial states. Specifically: (i) for time-independent Anosov (uniformly hyperbolic) flows, whose invariant stable/unstable foliation forbids the inversion step of the known counterexample, the source authors conjecture the threshold may instead be D≫ℏ2D \gg \hbar^2; (ii) it is unknown whether breakdown at D≲ℏ4/3D \lesssim \hbar^{4/3} arises generically in chaotic systems without fine-tuned placement of the initial state at an unstable point; (iii) the robustness of the breakdown to mixed initial states, initial phase-space noise, and noise or imperfect control in the Hamiltonian schedule is undetermined; and (iv) a full characterization of the threshold for arbitrary initial quantum states (beyond Gaussian mixtures), in particular the conjectured correspondence for smooth observables when D≪ℏD \ll \hbar and for all observables when D≫ℏD \gg \hbar, is lacking.

Background

In an isolated quantum system whose Hamiltonian is classically chaotic, an initially localized wavepacket remains well described by classical mechanics only up to the Ehrenfest time tE∼λ−1log⁡(ℏ−1)t_E \sim \lambda^{-1}\log(\hbar^{-1}), where λ\lambda is a Lyapunov exponent (the local exponential stretching rate of nearby classical trajectories). This limit is a consequence of Egorov's theorem — the statement that the quantum Heisenberg evolution of an observable follows the classical flow of its phase-space symbol with an error of order ℏ\hbar per unit time — because chaos amplifies that error exponentially. The standard proposal for restoring the correspondence at longer times is decoherence: coupling the system to a Markovian environment, so that the quantum state ρt\rho_t obeys a Lindblad master equation (the general form of Markovian, trace-preserving open-system evolution), while the classical counterpart is a Fokker–Planck equation describing Hamiltonian flow plus diffusive noise of strength DD. For Lindblad operators that are linear in x^\hat{x} and p^\hat{p}, the diffusion is homogeneous and isotropic, and the quantum and classical evolutions can be compared through the Wigner–Weyl representation (the Wigner function is a quasi-probability distribution on phase space obtained from the density matrix). The key physical scale is the decoherence length ℓdec∼ℏ/D\ell_{\mathrm{dec}} \sim \hbar/\sqrt{D}, which characterizes the coarsest phase-space scale on which quantum superpositions survive; DD is measured in units set by the classical Hamiltonian. One is interested in "macroscopic" observables — smooth, ℏ\hbar-independent phase-space functions such as xx or p2p^2, which cannot resolve microscopic oscillations of the wavefunction.

How strong must the diffusion be for the quantum and classical evolutions to remain close for times well beyond tEt_E as ℏ→0\hbar \to 0? Two lines of argument conflicted for three decades. Heuristics by Kolovsky and by Zurek suggested that D≫ℏ2D \gg \hbar^2 suffices: this makes ℓdec≪1\ell_{\mathrm{dec}} \ll 1, i.e., macroscopic superpositions are suppressed, and (in Zurek's treatment of the Wigner-function correction term, and in Kolovsky's open-system propagator argument) the leading quantum correction then appears small. On the other hand, numerical and heuristic scaling studies by Toscano, de Matos Filho, and Davidovich and by Wisniacki and Toscano found error growth at rate ℏ2D−3/2\hbar^2 D^{-3/2}, which becomes ℏ\hbar-independent exactly when D∼ℏ4/3D \sim \hbar^{4/3}, pointing to a genuinely larger threshold. The rigorous sufficiency results came from Hernández, Ranard, and Riedel: for sufficiently regular Hamiltonians and Lindblad functions, quantum and classical evolutions remain close for times exponentially longer than the Ehrenfest time whenever D≫ℏ4/3D \gg \hbar^{4/3} — first for separable Hamiltonians H=p2/2m+V(x)H = p^2/2m + V(x) with linear Hermitian Lindblad operators, then for general Lindbladians — in both cases for initial states expressible as mixtures of narrow Gaussian states — coherent states (minimum phase-space-uncertainty Gaussian wavepackets), possibly squeezed (Gaussians with anisotropic covariance) — with covariance bounded by the decoherence length. Galkowski, Zworski, and Huang independently obtained the same time scale in Hilbert–Schmidt norm (the matrix norm ∥A∥=Tr(A†A)\|A\| = \sqrt{\mathrm{Tr}(A^\dagger A)}, a weaker mode of comparison) for at-most-quadratically growing Hamiltonians with at-most-linearly growing jump functions, and Li strengthened such comparisons to trace norm (the norm ∥A∥=TrA†A\|A\| = \mathrm{Tr}\sqrt{A^\dagger A}, which compares the quantum state directly to the quantized classical distribution) in the regime D≫ℏD \gg \hbar. None of these works established necessity in any class.

The necessity side was settled only for an engineered dynamics by the source paper (Hernández–Ranard–Riedel, arXiv:2512.17623). Its counterexample uses a smooth time-dependent Hamiltonian, cubic in xx and pp, with an inverted-oscillator-type instability (unstable fixed point), evolving an initial coherent state placed at the origin. The construction works in three steps: (1) squeeze the state along one phase-space direction to mesoscopic dimensions ℏ2/3×ℏ1/3\hbar^{2/3} \times \hbar^{1/3}, which stays within the decoherence-bounded width whenever D≲ℏ4/3D \lesssim \hbar^{4/3}; (2) evolve under a cubic nonlinearity for unit time, which produces interference fringes in the quantum — but not the classical — momentum distribution, confined to the mesoscopic scale; (3) squeeze in the direction opposite to step (1), stretching the fringes to the macroscopic scale. The result is an ℏ\hbar-independent discrepancy, at time T=O(1+log⁡ℏ−1)T = O(1 + \log \hbar^{-1}), of a smooth macroscopic observable such as a(p)=e−p2a(p) = e^{-p^2}, whenever D≲ℏ4/3/log⁡(ℏ−1)D \lesssim \hbar^{4/3}/\log(\hbar^{-1}). This proves the exponent 4/34/3 of the sufficiency theorems is asymptotically tight for this class. The paper's discussion then identifies what remains unknown. The amplification step (3) requires the time-dependent Hamiltonian to invert the roles of the stable and unstable directions of the flow. A time-independent Hamiltonian flow that is Anosov — meaning uniformly hyperbolic: the phase space is foliated into invariant stable and unstable manifolds with uniformly expanding/contracting directions at every point — forbids this inversion, and the authors conjecture that for such flows the threshold for correspondence is different, perhaps D≫ℏ2D \gg \hbar^2. (Notably, the old ℏ2\hbar^2 heuristics of Kolovsky and Zurek were formulated precisely for chaotic time-independent systems, so the original dispute survives in the time-independent regime, now sharply posed.) The counterexample also relies on a fine-tuned initial state sitting exactly at an unstable point — displaced by much more than ℏ1/2\hbar^{1/2}, the state would escape the region in which the construction is confined — leaving open whether the breakdown arises generically for chaotic systems, where a generic coherent state is instead stretched exponentially, typically squeezed to mesoscopic dimensions before nonlinearities generate discrepancies. Finally, the initial state is pure, and the rigorous results on both sides cover only mixtures of narrow Gaussians; the authors only conjecture (for D≪ℏD \ll \hbar, smooth observables) and speculate (for D≫ℏD \gg \hbar, all observables) how arbitrary initial quantum states — e.g. superpositions of coherent states separated by ℏ1/2\hbar^{1/2} — behave, and they explicitly leave open robustness to mixed initial states, initial phase-space noise, and noise or imperfect control in the Hamiltonian schedule.

Problem Statement

Determine the true threshold diffusion strength D∗(ℏ)D^*(\hbar) for quantum-classical correspondence beyond the Ehrenfest time — and, in particular, whether the value D∗∼ℏ4/3D^* \sim \hbar^{4/3}, established for one engineered time-dependent construction and for narrow-Gaussian-mixture initial states, is universal or depends on the class of dynamics and on the class of initial states. The setting is Markovian open quantum systems whose classical limit is Hamiltonian flow with homogeneous isotropic phase-space diffusion of strength DD (in units set by the Hamiltonian), with quantum-classical proximity measured on ℏ\hbar-independent (macroscopic) smooth observables, at times of order 1+log⁡(ℏ−1)1 + \log(\hbar^{-1}) and beyond. Concretely:

  1. (Anosov flows) For time-independent, uniformly hyperbolic (Anosov) Hamiltonian flows — where the invariant stable/unstable foliation forbids the inversion of squeezing directions used in the known counterexample — determine the correct threshold: does correspondence hold already when D≫ℏ2D \gg \hbar^2 (as the source authors conjecture), or does the ℏ4/3\hbar^{4/3} threshold persist, or does the truth lie between? A complete answer consists of matched sufficiency and necessity results (theorem plus counterexample) in matched settings.

  2. (Generic chaotic systems) Does the quantum-classical breakdown at D≲ℏ4/3D \lesssim \hbar^{4/3} demonstrated by the engineered counterexample arise generically for chaotic systems — without fine-tuned placement of the initial state at an unstable point — through the generic sequence of exponential stretching to mesoscopic dimensions, nonlinear generation of small quantum-classical discrepancies, and amplification to macroscopic scale?

  3. (Initial-state dependence and noise robustness) Is the demonstrated breakdown robust to mixed initial states or to initial phase-space uncertainty, and to noise or imperfect control in the Hamiltonian schedule — do such perturbations erase the effect, merely shift the threshold, or leave it unchanged? And what is the full characterization of the correspondence threshold for arbitrary initial quantum states (superpositions of coherent states, not only mixtures of narrow Gaussians) — in particular, does correspondence hold for smooth observables when D≪ℏD \ll \hbar, and do arbitrary initial states decohere quickly enough to yield correspondence for all observables when D≫ℏD \gg \hbar?

These questions jointly determine one object: the phase diagram of quantum-classical correspondence over the (dynamics class) ×\times (initial-state class) plane as a function of diffusion strength, with the environmental-noise robustness of each boundary included. An answer is complete to the extent that the threshold's dependence on these classes is settled with matched rigor on both the sufficiency and the necessity side; partial progress (e.g., resolving only the Anosov conjecture) constitutes a well-defined partial answer.

References

  1. Felipe Hernández, Daniel Ranard, and C. Jess Riedel. The threshold for quantum-classical correspondence is D∼ℏ43D \sim \hbar^{\frac43}. arXiv:2512.17623 (2025). https://arxiv.org/abs/2512.17623
  2. Felipe Hernández, Daniel Ranard, and C. Jess Riedel. Classical correspondence beyond the Ehrenfest time for open quantum systems with general Lindbladians. Communications in Mathematical Physics 406(1), article 4 (2025). DOI: 10.1007/s00220-024-05146-9 (preprint arXiv:2307.05326). https://doi.org/10.1007/s00220-024-05146-9
  3. Felipe Hernández, Daniel Ranard, and C. Jess Riedel. Ehrenfest's theorem beyond the Ehrenfest time. arXiv:2306.13717 (2023, revised 2025). https://arxiv.org/abs/2306.13717
  4. Jeffrey Galkowski, Maciej Zworski, and Zhen Huang. Classical–quantum correspondence in Lindblad evolution. Journal of Mathematical Physics 66(9), 091503 (2025). DOI: 10.1063/5.0224648 (preprint arXiv:2403.09345). https://doi.org/10.1063/5.0224648
  5. Zhenhao Li. Long-Time Quantum–Classical Correspondence for Open Systems in Trace Norm. Annales Henri Poincaré 27(8), 3113–3143 (2025). DOI: 10.1007/s00023-025-01613-8 (preprint arXiv:2408.16953). https://doi.org/10.1007/s00023-025-01613-8
  6. A. R. Kolovsky. A Remark on the Problem of Quantum-Classical Correspondence in the Case of Chaotic Dynamics. Europhysics Letters 27(2), 79–84 (1994). DOI: 10.1209/0295-5075/27/2/001. https://doi.org/10.1209/0295-5075/27/2/001
  7. Wojciech Hubert Zurek. Decoherence, einselection, and the quantum origins of the classical. Reviews of Modern Physics 75(3), 715–775 (2003). DOI: 10.1103/RevModPhys.75.715. https://doi.org/10.1103/RevModPhys.75.715
  8. F. Toscano, R. L. de Matos Filho, and L. Davidovich. Decoherence and the quantum-classical limit in the presence of chaos. Physical Review A 71(1), 010101 (2005). DOI: 10.1103/PhysRevA.71.010101. https://doi.org/10.1103/PhysRevA.71.010101
  9. Diego A. Wisniacki and Fabricio Toscano. Scaling laws in the quantum-to-classical transition in chaotic systems. Physical Review E 79(2), 025203 (2009). DOI: 10.1103/PhysRevE.79.025203. https://doi.org/10.1103/PhysRevE.79.025203
  10. Xiao-Kan Guo. Semiclassical Ehrenfest paths in open quantum systems. arXiv:2604.27328 (2026). https://arxiv.org/abs/2604.27328
  11. Mohsin Raza, John B. DeBrota, Ariel Shlosberg, Noah Lordi, and Ivan H. Deutsch. Robust negativity in the quantum-to-classical transition of Kerr dynamics. Physical Review A 114(1), 013708 (2026). DOI: 10.1103/r9j9-6ndl (preprint arXiv:2602.05223). https://doi.org/10.1103/r9j9-6ndl
  12. Yicong Qiu and Qiye Zheng. A Lindblad-Pauli Framework for Coarse-Grained Chaotic Binary-State Dynamics. arXiv:2512.17200 (2025). https://arxiv.org/abs/2512.17200