pith. machine review for the scientific record. sign in

arxiv: 2605.12124 · v1 · submitted 2026-05-12 · 🪐 quant-ph · cond-mat.stat-mech

Recognition: 2 theorem links

· Lean Theorem

Squeezing and adiabaticity breaking in time-dependent quantum harmonic oscillators

Beatrice Donelli, Lorenzo Buffoni, Mattia Orlandini, Stefano Gherardini

Authors on Pith no claims yet

Pith reviewed 2026-05-13 04:38 UTC · model grok-4.3

classification 🪐 quant-ph cond-mat.stat-mech
keywords time-dependent quantum harmonic oscillatorsqueezingadiabaticity breakingLewis-Riesenfeld invariantBogoliubov transformationsErmakov-Pinney equationnonequilibrium dynamicsquantum control
0
0 comments X

The pith

Invariant methods, Bogoliubov transformations, and the Ermakov-Pinney equation together describe squeezing and adiabaticity breaking in time-dependent quantum oscillators.

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

The paper unifies three standard techniques for solving the quantum harmonic oscillator whose frequency changes with time. It demonstrates that the Lewis-Riesenfeld invariant, Bogoliubov transformations, and the Ermakov-Pinney equation naturally produce the squeezing operator that generates excitations. The same relations quantify how adiabaticity fails when the frequency varies suddenly or smoothly. Exact solutions for quenches and ramps serve as concrete illustrations of the general nonequilibrium behavior.

Core claim

The Lewis-Riesenfeld invariant method, Bogoliubov transformations, and the Ermakov-Pinney equation provide a unified description of the dynamics of a quantum harmonic oscillator with time-dependent frequency, naturally connecting to squeezing for excitations and the breakdown of adiabaticity for generic frequency protocols.

What carries the argument

The Lewis-Riesenfeld invariant together with Bogoliubov transformations and the Ermakov-Pinney equation, which generate the squeezing operator and measure deviations from adiabatic evolution.

If this is right

  • Sudden frequency quenches produce a calculable number of excitations via squeezing.
  • Smooth frequency ramps allow quantitative prediction of the degree of adiabaticity breaking.
  • The framework supplies exact tools for tracking nonequilibrium evolution in any quadratic potential.
  • Protocol design in quantum control can use the same relations to suppress or engineer excitations.

Where Pith is reading between the lines

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

  • The unification may reduce the effort needed to compute work statistics or heat flows in driven quadratic systems.
  • Similar invariant techniques could be applied to other bosonic modes with time-varying parameters.
  • The methods offer a route to test adiabaticity criteria beyond the standard slow-variation limit.

Load-bearing premise

The three approaches connect directly to squeezing and adiabaticity breaking for any frequency protocol, with the presented cases being representative.

What would settle it

Measure the final excitation spectrum or squeezing parameter after a controlled frequency change in a trapped-ion or cavity oscillator and check whether it matches the unified prediction for that specific protocol.

Figures

Figures reproduced from arXiv: 2605.12124 by Beatrice Donelli, Lorenzo Buffoni, Mattia Orlandini, Stefano Gherardini.

Figure 1
Figure 1. Figure 1: FIG. 1: Negative binomial distribution as a function of [PITH_FULL_IMAGE:figures/full_fig_p017_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2: Time evolution of the QHO under an hyperbolic quench with parameters [PITH_FULL_IMAGE:figures/full_fig_p020_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3: Position and momentum variances for a sudden quench protocol as functions of time for [PITH_FULL_IMAGE:figures/full_fig_p024_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: FIG. 4: Time evolution of (a) the squared frequency protocol [PITH_FULL_IMAGE:figures/full_fig_p026_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: FIG. 5: Time evolution of (a) the squeezing parameter [PITH_FULL_IMAGE:figures/full_fig_p027_5.png] view at source ↗
read the original abstract

The quantum harmonic oscillator with time-dependent frequency is a paradigmatic model of driven quantum dynamics and one of the few nontrivial systems that admits an exact analytical solution. In this review paper, we present a unified treatment of the time-dependent oscillator based on the Lewis-Riesenfeld invariant method, Bogoliubov transformations and the Ermakov-Pinney equation. We show how these approaches naturally connect to squeezing for the description of excitations production, and to the breakdown of adiabaticity under generic frequency protocols. Exact results for sudden quenches and smooth ramps are discussed in detail. By explicitly bridging invariant methods and squeezing formalism, this review is meant to provide a comprehensive framework for understanding nonequilibrium dynamics in quadratic potentials, with applications ranging from thermodynamics and condensed matter to quantum control theory.

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

0 major / 2 minor

Summary. The manuscript is a review presenting a unified treatment of the time-dependent quantum harmonic oscillator via the Lewis-Riesenfeld invariant method, Bogoliubov transformations, and the Ermakov-Pinney equation. It connects these approaches to squeezing for excitation production and to adiabaticity breaking under generic frequency protocols, with detailed exact results for sudden quenches and smooth ramps, and applications in thermodynamics, condensed matter, and quantum control.

Significance. The synthesis of established methods into a coherent framework is a useful reference for nonequilibrium dynamics in quadratic potentials. The explicit bridging of invariant methods with squeezing formalism consolidates known results without new derivations. The stress-test concern regarding solvability of the Ermakov-Pinney equation for generic protocols does not land: the paper correctly employs the general equation (applicable numerically to arbitrary ω(t)) while restricting closed-form exact results to representative special cases of quenches and ramps, as stated in the abstract.

minor comments (2)
  1. [§3] §3 (or equivalent section on Bogoliubov transformations): the relation between the Bogoliubov coefficients and the squeezing parameter could include an explicit cross-reference to the Ermakov-Pinney auxiliary function for improved flow.
  2. [Figures] Figure captions (e.g., those illustrating frequency protocols): ensure all symbols such as the ramp parameter are defined in the caption itself rather than only in the main text.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, including the recognition of its value as a unified reference bridging invariant methods, Bogoliubov transformations, and squeezing formalism. We appreciate the recommendation to accept.

Circularity Check

0 steps flagged

Review unifies prior methods without self-referential derivations

full rationale

This is a review paper presenting a unified treatment of the time-dependent quantum harmonic oscillator by connecting established Lewis-Riesenfeld invariants, Bogoliubov transformations, and the Ermakov-Pinney equation to squeezing and adiabaticity breaking. All core results for sudden quenches and smooth ramps are drawn from and referenced to prior literature rather than derived anew within the paper. No load-bearing step reduces by construction to a fitted input, self-defined quantity, or unverified self-citation chain; the framework is self-contained against external benchmarks and does not introduce predictions that loop back to its own definitions or data fits.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

As a review of established methods, the work rests on standard quantum mechanics and prior derivations rather than new free parameters, axioms, or invented entities.

pith-pipeline@v0.9.0 · 5435 in / 1044 out tokens · 59389 ms · 2026-05-13T04:38:06.941336+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.

Reference graph

Works this paper leans on

74 extracted references · 74 canonical work pages

  1. [1]

    (94) Here, the unitary operator ˆT(t) ( ˆT(t) ˆT †(t) = ˆT †(t) ˆT(t) = ˆIfor anyt) links the vacuum states|0;t⟩ H ,|0;t⟩ I to each other:|0;t⟩ I = ˆT(t)|0;t⟩ H

    asserts that every Bogoliubov canonical transformation can be represented by a unitary operator, such that    ˆa(t) =ˆT(t)ˆb(t) ˆT †(t) ˆa†(t) = ˆT(t)ˆb†(t) ˆT †(t). (94) Here, the unitary operator ˆT(t) ( ˆT(t) ˆT †(t) = ˆT †(t) ˆT(t) = ˆIfor anyt) links the vacuum states|0;t⟩ H ,|0;t⟩ I to each other:|0;t⟩ I = ˆT(t)|0;t⟩ H. Therefore, we can expres...

    work page

  2. [2]

    As a consequence, we consider the differential equation ¨σ+ω2(t)σ= 1 4σ3 .(163) The fundamental observation is that the Pinney solution can be generated by a complex solutionw(t) of Eq. (155). We define this complex solution as w(t) = √ Ax1(t) + B−i √ AC−B 2 √ A x2(t),(164) wherex 1(t) andx 2(t) are two linearly independent real solutions of Eq. (155). To...

    work page

  3. [3]

    (148), which leads to ⟨ψ(0)| ˆH(0)|ψ(0)⟩=Q(0) ℏω(0) 2 ,(187) whereQ(0) is the adiabaticity factor evaluated att= 0

    Assuming the system is initialized in its ground state, the mean energy at the end of the half-ramp protocol (t= 0) is given by Eq. (148), which leads to ⟨ψ(0)| ˆH(0)|ψ(0)⟩=Q(0) ℏω(0) 2 ,(187) whereQ(0) is the adiabaticity factor evaluated att= 0. In condensed matter literature, this quantity is often called theheatorexcess energy[62] and in quantum therm...

    work page

  4. [4]

    4: Time evolution of (a) the squared frequency protocolω 2(t), (b) the adiabaticity factorQ(t), and (c) the squeezing parameterr(t) for the non-linear quench defined in Eq

    δ1/3 .(191) 26 -1 -0.5 0 0.5 10 0.5 1a) -1 -0.5 0 0.5 10 0.5 1 1.5c) FIG. 4: Time evolution of (a) the squared frequency protocolω 2(t), (b) the adiabaticity factorQ(t), and (c) the squeezing parameterr(t) for the non-linear quench defined in Eq. (194). Different colors correspond to different values ofη={1,1.5,2,2.5,3}, as indicated in the legend. The as...

    work page

  5. [5]

    (E2) becomes trivial: dαn(t) dt =− n+ 1 2 1 M σ2(t) ,(E7) which coincides with Eq

    and the evaluation of the right side of Eq. (E2) becomes trivial: dαn(t) dt =− n+ 1 2 1 M σ2(t) ,(E7) which coincides with Eq. (65) of the main text. Appendix F: Analytical derivation of the transition amplitudes The amplitude H ⟨m;t|ψ(t)⟩can be also determined in coordinate representation, by making use of the resolution of the identity ˆI= R dq|q⟩⟨q|. I...

    work page

  6. [6]

    X. Chen, A. Ruschhaupt, S. Schmidt, A. del Campo, D. Gu´ ery-Odelin, and J. G. Muga, Phys. Rev. Lett.104, 063002 (2010)

    work page 2010

  7. [7]

    Gu´ ery-Odelin, A

    D. Gu´ ery-Odelin, A. Ruschhaupt, A. Kiely, E. Torrontegui, S. Mart´ ınez-Garaot, and J. G. Muga, Rev. Mod. Phys.91, 045001 (2019). 33

    work page 2019

  8. [8]

    Deffner and E

    S. Deffner and E. Lutz, Phys. Rev. E77, 021128 (2008)

    work page 2008

  9. [9]

    Deffner, O

    S. Deffner, O. Abah, and E. Lutz, Chem. Phys.375, 200 (2010)

    work page 2010

  10. [10]

    A. d. Campo, J. Goold, and M. Paternostro, Sci. Rep.4, 6208 (2014)

    work page 2014

  11. [11]

    O. Abah, J. Roßnagel, G. Jacob, S. Deffner, F. Schmidt-Kaler, K. Singer, and E. Lutz, Phys. Rev. Lett.109, 203006 (2012)

    work page 2012

  12. [12]

    Abah and E

    O. Abah and E. Lutz, Phys. Rev. E98, 032121 (2018)

    work page 2018

  13. [13]

    F. J. G´ omez-Ruiz, S. Gherardini, and R. Puebla, Quantum Sci. Technol.10, 045011 (2025)

    work page 2025

  14. [14]

    Hwang, R

    M.-J. Hwang, R. Puebla, and M. B. Plenio, Phys. Rev. Lett.115, 180404 (2015)

    work page 2015

  15. [15]

    Puebla, M.-J

    R. Puebla, M.-J. Hwang, J. Casanova, and M. B. Plenio, Phys. Rev. Lett.118, 073001 (2017)

    work page 2017

  16. [16]

    Defenu, T

    N. Defenu, T. Enss, M. Kastner, and G. Morigi, Phys. Rev. Lett.121, 240403 (2018)

    work page 2018

  17. [17]

    Defenu, Commun

    N. Defenu, Commun. Phys.4, 10.1038/s42005-021-00649-6 (2021)

    work page doi:10.1038/s42005-021-00649-6 2021

  18. [18]

    Barzanjeh, A

    S. Barzanjeh, A. Xuereb, S. Gr¨ oblacher, M. Paternostro, C. A. Regal, and E. M. Weig, Nat. Phys.18, 15 (2022)

    work page 2022

  19. [19]

    Zhang, F

    K. Zhang, F. Bariani, and P. Meystre, Phys. Rev. Lett.112, 150602 (2014)

    work page 2014

  20. [20]

    R. G. Lena, G. M. Palma, and G. De Chiara, Phys. Rev. A93, 053618 (2016)

    work page 2016

  21. [21]

    Gherardini, L

    S. Gherardini, L. Buffoni, and N. Defenu, Phys. Rev. Lett.133, 113401 (2024)

    work page 2024

  22. [22]

    J. A. Gyamfi, An Introduction to the Holstein-Primakoff Transformation, with Applications in Magnetic Resonance (2019), arXiv:1907.07122 [cond-mat.other]

    work page arXiv 2019

  23. [23]

    Dusuel and J

    S. Dusuel and J. Vidal, Phys. Rev. B71, 224420 (2005)

    work page 2005

  24. [24]

    Schwinger, Phys

    J. Schwinger, Phys. Rev.82, 664 (1951)

    work page 1951

  25. [25]

    Greiner, B

    W. Greiner, B. M¨ uller, and J. Rafelski,Quantum Electrodynamics of Strong Fields (Springer, Berlin, 1985)

    work page 1985

  26. [26]

    V. S. Popov and A. M. Perelomov, Soviet Physics JETP29, 738 (1969), [Zh. Eksp. Teor. Fiz.56, 1375–1390 (April 1969)]

    work page 1969

  27. [27]

    Parker, Phys

    L. Parker, Phys. Rev. Lett.21, 562 (1968)

    work page 1968

  28. [28]

    Parker, Phys

    L. Parker, Phys. Rev. D3, 346 (1971), [Erratum: Phys.Rev.D 3, 2546–2546 (1971)]

    work page 1971

  29. [29]

    V. P. Ermakov, Kiev University Izvestia9, 1 (1880), (in Russian)

    work page

  30. [30]

    Pinney, Proc

    E. Pinney, Proc. Amer. Math. Soc.1, 681 (1950)

    work page 1950

  31. [31]

    Lewis, H

    J. Lewis, H. R. and W. B. Riesenfeld, J. Math. Phys.10, 1458 (1969)

    work page 1969

  32. [32]

    H. R. Lewis, Phys. Rev. Lett.18, 510 (1967)

    work page 1967

  33. [33]

    Ring and P

    P. Ring and P. Schuck, The Nuclear Many-Body Problem (Springer-Verlag, 2004)

    work page 2004

  34. [34]

    Blaizot and G

    J. Blaizot and G. Ripka, Quantum Theory of Finite Systems (MIT Press, 1986)

    work page 1986

  35. [35]

    S. S. Coelho, L. Queiroz, and D. T. Alves, Eur. J. Phys.46, 045401 (2025)

    work page 2025

  36. [36]

    Messiah, Quantum Mechanics (2 volumes bound as one) (Dover Publications, Mineola, NY, 2014) reprint of the original edition

    A. Messiah, Quantum Mechanics (2 volumes bound as one) (Dover Publications, Mineola, NY, 2014) reprint of the original edition

    work page 2014

  37. [37]

    T. Kato, J. Phys. Soc. Jpn.5, 435 (1950)

    work page 1950

  38. [38]

    Loudon, The Quantum Theory of Light, 3rd ed

    R. Loudon, The Quantum Theory of Light, 3rd ed. (Oxford University Press, Oxford, New York, 2000)

    work page 2000

  39. [39]

    S. M. Barnett and P. M. Radmore,Methods in Theoretical Quantum Optics, Oxford Series in Optical and Imaging Sciences (Oxford University Press, USA, 1997)

    work page 1997

  40. [40]

    Husimi, Prog

    K. Husimi, Prog. Theor. Phys.9, 381 (1953), https://academic.oup.com/ptp/article-pdf/9/4/381/5231296/9-4-381.pdf

    work page 1953

  41. [41]

    Konishi and G

    K. Konishi and G. Paffuti, Quantum Mechanics: A New Introduction (Oxford University Press, 2009)

    work page 2009

  42. [42]

    J. J. Sakurai and J. Napolitano, Modern Quantum Mechanics (Cambridge University Press, 2017)

    work page 2017

  43. [43]

    J.-Y. Ji, J. K. Kim, and S. P. Kim, Phys. Rev. A51, 4268 (1995)

    work page 1995

  44. [44]

    J.-Y. Ji, J. K. Kim, S. P. Kim, and K.-S. Soh, Phys. Rev. A52, 3352 (1995)

    work page 1995

  45. [45]

    I. A. Pedrosa, Phys. Rev. A55, 3219 (1997)

    work page 1997

  46. [46]

    M. F. Guasti and H. Moya-Cessa, J. Phys. A: Math. Gen.36, 2069 (2003)

    work page 2069

  47. [47]

    Dittrich and M

    W. Dittrich and M. Reuter, Classical and Quantum Dynamics: From Classical Paths to Path Integrals, 6th ed. (Springer, Cham, Switzerland, 2020)

    work page 2020

  48. [48]

    Dabrowski and G

    R. Dabrowski and G. V. Dunne, Phys. Rev. D94, 065005 (2016)

    work page 2016

  49. [49]

    J. v. Neumann, Mathematische Annalen104, 570 (1931)

    work page 1931

  50. [50]

    Varr´ o, J

    S. Varr´ o, J. Phys. Conf. Ser.2249, 012013 (2022)

    work page 2022

  51. [51]

    J. G. Hartley and J. R. Ray, Phys. Rev. D25, 382 (1982)

    work page 1982

  52. [52]

    I. A. Pedrosa, Phys. Rev. D36, 1279 (1987)

    work page 1987

  53. [53]

    H. P. Yuen, Phys. Rev. A13, 2226 (1976)

    work page 1976

  54. [54]

    J. R. Ray, Phys. Lett. A78, 4 (1980)

    work page 1980

  55. [55]

    J. R. Ray and J. L. Reid, Phys. Rev. A26, 1042 (1982)

    work page 1982

  56. [56]

    Abramowitz and I

    M. Abramowitz and I. A. Stegun, eds., Handbook of Mathematical Functions, Applied Mathematics Series, Vol. 55 (Na- tional Bureau of Standards, Washington, D.C., 1972) without numerical tables

    work page 1972

  57. [57]

    Campisi, P

    M. Campisi, P. H¨ anggi, and P. Talkner, Rev. Mod. Phys.83, 771 (2011)

    work page 2011

  58. [58]

    Esposito, U

    M. Esposito, U. Harbola, and S. Mukamel, Rev. Mod. Phys.81, 1665 (2009)

    work page 2009

  59. [59]

    Gherardini, L

    S. Gherardini, L. Buffoni, G. Giachetti, A. Trombettoni, and S. Ruffo, Chaos, Solitons & Fractals156, 111890 (2022)

    work page 2022

  60. [60]

    I. J. Ford, D. S. Minor, and S. J. Binnie, Eur. J. Phys.33, 1789 (2012)

    work page 2012

  61. [61]

    Note that this result was previously derived in the treatment of the phase term for a generic number states, Eq. (54)

    work page

  62. [62]

    Galve and E

    F. Galve and E. Lutz, Phys. Rev. A79, 055804 (2009)

    work page 2009

  63. [63]

    Fujii, S

    T. Fujii, S. Matsuo, N. Hatakenaka, S. Kurihara, and A. Zeilinger, Phys. Rev. B84, 174521 (2011)

    work page 2011

  64. [64]

    Mart´ ınez-Tibaduiza, L

    D. Mart´ ınez-Tibaduiza, L. Pires, and C. Farina, J. Phys. B: At. Mol. Opt. Phys.54, 205401 (2021)

    work page 2021

  65. [65]

    S. P. Kim and W. Kim, J. Korean Phys. Soc.69, 1513 (2016). 34

    work page 2016

  66. [66]

    Dziarmaga, Adv

    J. Dziarmaga, Adv. Phys.59, 1063 (2010), https://doi.org/10.1080/00018732.2010.514702

    work page doi:10.1080/00018732.2010.514702 2010

  67. [67]

    Polkovnikov, K

    A. Polkovnikov, K. Sengupta, A. Silva, and M. Vengalattore, Rev. Mod. Phys.83, 863 (2011)

    work page 2011

  68. [68]

    del Campo and W

    A. del Campo and W. H. Zurek, Int. J. Mod. Phys. A29, 1430018 (2014)

    work page 2014

  69. [69]

    H. R. Lewis and P. G. L. Leach, J. Math. Phys.23, 2371 (1982)

    work page 1982

  70. [70]

    Denzler and E

    T. Denzler and E. Lutz, Phys. Rev. Res.2, 032062 (2020)

    work page 2020

  71. [71]

    Gherardini and G

    S. Gherardini and G. De Chiara, PRX Quantum5, 030201 (2024)

    work page 2024

  72. [72]

    Defenu, T

    N. Defenu, T. Donner, T. Macr` ı, G. Pagano, S. Ruffo, and A. Trombettoni, Rev. Mod. Phys.95, 035002 (2023)

    work page 2023

  73. [73]

    Gati and M

    R. Gati and M. K. Oberthaler, J. Phys. B: At. Mol. Opt. Phys.40, R61 (2007)

    work page 2007

  74. [74]

    M. H. DeGroot, Probability and Statistics, 2nd ed. (Addison-Wesley, Reading, MA, 1986) copertina flessibile – 1 dicembre 1986, English Edition

    work page 1986