pith. sign in

arxiv: 1907.06298 · v1 · pith:CRRX3RW7new · submitted 2019-07-15 · 🌊 nlin.CD · quant-ph

Semiclassical evolution in phase space for a softly chaotic system

Gabriel M. Lando , Alfredo M. Ozorio de Almeida This is my paper

Pith reviewed 2026-05-24 21:26 UTC · model grok-4.3

classification 🌊 nlin.CD quant-ph
keywords semiclassical approximationWigner functionHerman-Kluk propagatorkicked rotatorquantum chaosEhrenfest timesoft chaosphase space evolution
0
0 comments X

The pith

Semiclassical Wigner functions remain accurate for multiple Ehrenfest times in a kicked system with soft chaos.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper propagates an initial coherent state under both a quantum kicked Hamiltonian and its classical stroboscopic map, then compares the exact quantum Wigner function to its classical and semiclassical counterparts. The semiclassical version is computed with the Herman-Kluk propagator, and accuracy is checked through probability marginals and autocorrelation functions as the kick strength is raised and the motion turns from regular to mainly chaotic. Sub-Planckian features such as tiny islands and thin filaments degrade the match, yet the semiclassical result still tracks the quantum evolution for several Ehrenfest times.

Core claim

An initial coherent state is propagated exactly by a kicked quantum Hamiltonian and its associated classical stroboscopic map. Time-evolution is tracked using classical, quantum and semiclassical Wigner functions obtained via the Herman-Kluk propagator. Quantitative comparisons carried out from probability marginals and autocorrelation functions show that sub-Planckian classical structure impacts semiclassical accuracy, but the approximation remains accurate for multiple Ehrenfest times.

What carries the argument

Herman-Kluk propagator applied to the semiclassical Wigner function in phase space, used to evolve an initial coherent state under a kicked map whose classical dynamics softens from regular to chaotic.

If this is right

  • Semiclassical phase-space methods can be used reliably past the single Ehrenfest time in mixed regular-chaotic systems.
  • Sub-Planckian filaments and small islands reduce but do not destroy agreement within the examined time window.
  • Marginals and autocorrelation functions provide practical quantitative tests that confirm the semiclassical accuracy.
  • The Herman-Kluk construction continues to capture quantum interference in the Wigner function even after classical filaments fold at scales below Planck's constant.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same approach could be tested on other quantum maps with tunable chaos to see whether the multiple-Ehrenfest-time window persists when the classical phase space contains larger regular regions.
  • If the accuracy holds, semiclassical propagators might serve as a cheaper surrogate for full quantum simulations in mixed systems over intermediate time scales.
  • Extending the comparison to higher moments of the Wigner function or to entanglement measures could reveal whether the agreement is limited to low-order statistics.

Load-bearing premise

Comparisons based on probability marginals and autocorrelation functions are sufficient to establish that sub-Planckian structures do not invalidate the semiclassical result beyond the times shown.

What would settle it

A clear, growing mismatch between the semiclassical and exact quantum autocorrelation functions appearing at times shorter than several Ehrenfest times when the kicking strength is increased further.

Figures

Figures reproduced from arXiv: 1907.06298 by Alfredo M. Ozorio de Almeida, Gabriel M. Lando.

Figure 1
Figure 1. Figure 1: FIG. 1 [PITH_FULL_IMAGE:figures/full_fig_p006_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2. Classical propagation of the Wigner function shown in Fig. 1 [PITH_FULL_IMAGE:figures/full_fig_p007_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3. The quantum equivalent of Fig. 2 for the same values [PITH_FULL_IMAGE:figures/full_fig_p008_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: FIG. 4. The semiclassical equivalent of Fig. 2 and Fig. 3 for the same values [PITH_FULL_IMAGE:figures/full_fig_p009_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: FIG. 5. Position probability marginals obtained from the exact evolutions in Fig. 3 and the renormalized semiclassical Wigner [PITH_FULL_IMAGE:figures/full_fig_p010_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: FIG. 6. Normalizations for different kicking strengths, [PITH_FULL_IMAGE:figures/full_fig_p010_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: FIG. 7. The meaning of the Ehrenfest time can be assessed [PITH_FULL_IMAGE:figures/full_fig_p011_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: FIG. 8. Classical, quantum and semiclassical autocorrelation functions obtained respectively from (29) and (44) using both [PITH_FULL_IMAGE:figures/full_fig_p012_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: FIG. 9. Quantum and semiclassical renormalized position [PITH_FULL_IMAGE:figures/full_fig_p013_9.png] view at source ↗
read the original abstract

An initial coherent state is propagated exactly by a kicked quantum Hamiltonian and its associated classical stroboscopic map. The classical trajectories within the initial state are regular for low kicking strengths, then bifurcate and become mainly chaotic as the kicking parameter is increased. Time-evolution is tracked using classical, quantum and semiclassical Wigner functions, obtained via the Herman-Kluk propagator. Quantitative comparisons are also included and carried out from probability marginals and autocorrelation functions. Sub-Planckian classical structure such as small stability islands and thin/folded classical filaments do impact semiclassical accuracy, but the approximation is seen to be accurate for multiple Ehrenfest times.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 0 minor

Summary. The manuscript studies the time evolution of an initial coherent state under a kicked Hamiltonian that transitions from regular to chaotic classical dynamics. It compares exact quantum, classical, and semiclassical Wigner functions obtained via the Herman-Kluk propagator, with quantitative checks performed on probability marginals and autocorrelation functions. The central claim is that sub-Planckian classical structures (thin filaments, small islands) affect accuracy but the semiclassical approximation remains valid for multiple Ehrenfest times.

Significance. If substantiated, the result would indicate that Herman-Kluk semiclassics can remain reliable in phase space beyond the Ehrenfest time for softly chaotic systems, addressing a key concern in quantum-classical correspondence. The provision of quantitative comparisons against independent quantum and classical calculations is a methodological strength.

major comments (1)
  1. [Abstract] Abstract: the accuracy claim for multiple Ehrenfest times rests exclusively on probability marginals and autocorrelation functions. These observables integrate out one coordinate or compute global scalar overlaps and are therefore insensitive to localized discrepancies in the full Wigner function arising from sub-Planckian filaments narrower than ħ; a direct phase-space metric (e.g., L2 distance between semiclassical and quantum Wigner functions) is required to support the claim.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and the constructive suggestion regarding the abstract. We address the comment below and agree that a direct phase-space metric will strengthen the presentation.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the accuracy claim for multiple Ehrenfest times rests exclusively on probability marginals and autocorrelation functions. These observables integrate out one coordinate or compute global scalar overlaps and are therefore insensitive to localized discrepancies in the full Wigner function arising from sub-Planckian filaments narrower than ħ; a direct phase-space metric (e.g., L2 distance between semiclassical and quantum Wigner functions) is required to support the claim.

    Authors: We agree that the probability marginals and autocorrelation functions are integrated or global observables and therefore cannot fully rule out localized discrepancies in the Wigner function on scales narrower than ħ. The manuscript already presents side-by-side visual comparisons of the full two-dimensional Wigner functions (quantum, classical, and semiclassical) at successive times, which show that the semiclassical result tracks the quantum result even after the appearance of thin filaments and small islands. Nevertheless, to provide a quantitative, phase-space-localized measure of the claimed accuracy over multiple Ehrenfest times, we will add the L2 distance (or an equivalent norm) between the semiclassical and exact quantum Wigner functions as a function of time. This addition will be included in the revised manuscript. revision: yes

Circularity Check

0 steps flagged

No circularity: comparisons rest on independent quantum benchmarks

full rationale

The paper propagates an initial coherent state under a kicked Hamiltonian using exact quantum evolution, the classical stroboscopic map, and the Herman-Kluk semiclassical propagator to generate Wigner functions. Quantitative checks are performed via probability marginals and autocorrelation functions against the independent quantum results. No equations, parameters, or self-citations are described that reduce any reported accuracy to a fitted input, self-definition, or prior result by the same authors. The central claim of accuracy for multiple Ehrenfest times is therefore an empirical comparison, not a tautological renaming or construction from its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only abstract available; no explicit free parameters, axioms, or invented entities are stated.

pith-pipeline@v0.9.0 · 5632 in / 1074 out tokens · 16611 ms · 2026-05-24T21:26:50.429047+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

36 extracted references · 36 canonical work pages

  1. [1]

    M. C. Gutzwiller, Chaos in Classical and Quantum Me- chanics (Springer, 1990)

    work page 1990

  2. [2]

    Bohigas, M

    O. Bohigas, M. J. Giannoni, and C. Schmit, Phys. Rev. Lett. 52, 1 (1984)

    work page 1984

  3. [3]

    Haake, S

    F. Haake, S. Gnutzmann, and M. Ku´ s, Quantum Signa- tures of Chaos (Springer, 2018)

    work page 2018

  4. [4]

    A. M. O. de Almeida, Hamiltonian Systems: Chaos and Quantization (Cambridge University Press, 1990)

    work page 1990

  5. [5]

    Heller, J

    E. Heller, J. Chem. Phys. 75, 2923 (1981)

    work page 1981

  6. [6]

    M. F. Herman and E. Kluk, Chem. Phys. 91, 27 (1984)

    work page 1984

  7. [7]

    J. L. Schoendorff, H. J. Korsch, and N. Moiseyev, Euro- phys. Lett. 44, 290 (1998)

    work page 1998

  8. [8]

    B. V. Chirikov, Phys. Rep. 52, 263 (1979)

    work page 1979

  9. [9]

    N. T. Maitra, J. Chem. Phys. 112, 531 (2000)

    work page 2000

  10. [10]

    Kaplan, Phys

    L. Kaplan, Phys. Rev. E 70, 026223 (2004)

    work page 2004

  11. [11]

    M. V. Berry, N. L. Balasz, M. Tabor, and A. Voros, Ann. Phys. 122, 26 (1979)

    work page 1979

  12. [12]

    Campolieti and P

    G. Campolieti and P. Brumer, Phys. Rev. A 50, 997 (1994)

    work page 1994

  13. [13]

    W. H. Miller, J. Chem. Phys. A 105, 2942 (2001)

    work page 2001

  14. [14]

    Tomsovic and E

    S. Tomsovic and E. J. Heller, Phys. Rev. Lett 67, 664 (1991)

    work page 1991

  15. [15]

    Tabor, Physica D 6, 195 (1983)

    M. Tabor, Physica D 6, 195 (1983)

    work page 1983

  16. [16]

    Yoshida, Phys

    H. Yoshida, Phys. Lett. A 150, 162 (1990)

    work page 1990

  17. [17]

    R. I. McLachlan and P. Atela, Nonlinearity5, 541 (1992)

    work page 1992

  18. [18]

    Tselios and T

    K. Tselios and T. E. Simos, Revista Mexicana de As- tronom´ ıa y Astrof´ ısica49, 11 (2013)

    work page 2013

  19. [19]

    Blanes, F

    S. Blanes, F. Casas, A. Farr´ es, J. Laskar, J. Makazaga, and A. Muruad, App. Num. Math. 68, 58 (2013)

    work page 2013

  20. [20]

    Garashchuk and J

    S. Garashchuk and J. C. Light, J. Chem. Phys. 113, 9390 (2000)

    work page 2000

  21. [21]

    Ushiyama, Y

    H. Ushiyama, Y. Arasaki, and K. Takatsuka, Chem. Phys. Lett. 346, 169 (2001)

    work page 2001

  22. [22]

    D. W. H. Swenson, Quantum Effects from Classical Tra- jectories: New Methodologies and Applications for Semi- classical Dynamics (PhD Thesis, 2011)

    work page 2011

  23. [23]

    G. M. Lando, G.-L. Ingold, R. O. Vallejos, and A. M. O. de Almeida, Phys. Rev. A 99, 042125 (2019)

    work page 2019

  24. [24]

    A. M. O. de Almeida, Phys. Rep. 295, 265 (1998)

    work page 1998

  25. [25]

    R. G. Littlejohn, J. Stat. Phys. 68, 7 (1991)

    work page 1991

  26. [27]

    Baranger, M

    M. Baranger, M. A. M. de Aguiar, F. Keck, H. J. Korsch, and B. Schellhaaß, J. Phys. A: Math. Theor. 34, 7227 (2001)

    work page 2001

  27. [28]

    A. M. O. de Almeida and G.-L. Ingold, J. Phys. A: Math. Theor. 47, 105303 (2014)

    work page 2014

  28. [29]

    K. G. Kay, J. Chem. Phys. 100, 4377 (1994)

    work page 1994

  29. [30]

    P. W. O’Connor, S. Tomsovic, and E. J. Heller, J. Stat. Phys. 68, 131 (1992)

    work page 1992

  30. [31]

    B. R. McQuarrie and P. Brumer, Chem. Phys. Lett. 319, 27 (2000)

    work page 2000

  31. [32]

    di Liberto and M

    G. di Liberto and M. Ceotto, J. Chem. Phys. 145, 144107 (2016)

    work page 2016

  32. [33]

    M. V. Berry and N. L. Balasz, J. Phys. A: Math. Theor. 12, 625 (1979)

    work page 1979

  33. [34]

    M. A. Sep´ ulveda, S. Tomsovic, and E. J. Heller, Phys. Rev. Lett. 69, 402 (1992)

    work page 1992

  34. [35]

    Scharf and B

    R. Scharf and B. Sundaram, Phys. Rev. Lett. 77, 263 (1996)

    work page 1996

  35. [36]

    Schubert, R

    R. Schubert, R. O. Vallejos, and F. Toscano, J. Phys. A: Math. Theor. 45, 215307 (2012)

    work page 2012

  36. [37]

    See, for instance, the documentation of fft at docs.scipy.org/doc/numpy/reference/routines.fft.html

    work page