The Floquet-Magnus expansion of unbounded operators
Pith reviewed 2026-05-25 02:32 UTC · model grok-4.3
The pith
The Floquet-Magnus expansion extends to unbounded time-periodic Hamiltonians, where the resulting effective dynamics approximates the original evolution to arbitrary order in the high-frequency limit without requiring series convergence.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We extend the definition and analysis of the Floquet-Magnus expansion to a broad class of time-periodic unbounded Hamiltonians. Our approach is based on an a priori distinct nonperturbative framework for the construction of effective Hamiltonians, which we show to reproduce the Floquet-Magnus expansion. A particular strength of our framework is that it allows us to prove that the resulting effective dynamics approximates the original time evolution propagators to arbitrary order in the high-frequency limit without requiring convergence of the Floquet-Magnus expansion, a condition that is already highly restrictive even in the bounded setting.
What carries the argument
Nonperturbative framework for constructing effective Hamiltonians from time-periodic unbounded operators that reproduces the Floquet-Magnus expansion.
If this is right
- The effective dynamics approximates the original time-evolution propagators to arbitrary order in the high-frequency limit.
- This approximation holds without convergence of the Floquet-Magnus expansion.
- The construction applies to the quantum Rabi Hamiltonian in the interaction picture.
- The construction applies to the periodically driven quantum harmonic oscillator.
Where Pith is reading between the lines
- The same nonperturbative route could be tested on other unbounded driven systems such as anharmonic oscillators with periodic forcing.
- Convergence-free approximation properties might carry over to related high-frequency expansions beyond the Floquet-Magnus case.
- Effective models derived this way could simplify numerical simulations of driven quantum systems where direct integration is costly.
Load-bearing premise
The time-periodic unbounded Hamiltonians must admit well-defined time-evolution propagators and satisfy the regularity conditions needed for the effective Hamiltonian construction.
What would settle it
An explicit computation on one of the example models showing that the effective dynamics deviates from the true propagator at a fixed order in the high-frequency expansion would falsify the approximation claim.
read the original abstract
The Floquet-Magnus expansion is a widely used tool to derive effective descriptions of time-periodic quantum systems by approximating their dynamics with a time-independent Hamiltonian. However, its standard formulation is, strictly speaking, restricted to bounded Hamiltonians. In this work, we extend its definition and analysis to a broad class of time-periodic unbounded Hamiltonians. Our approach is based on an a priori distinct nonperturbative framework for the construction of effective Hamiltonians, which we show to reproduce the Floquet-Magnus expansion. A particular strength of our framework is that it allows us to prove that the resulting effective dynamics approximates the original time evolution propagators to arbitrary order in the high-frequency limit without requiring convergence of the Floquet-Magnus expansion, a condition that is already highly restrictive even in the bounded setting. We illustrate the scope of the method on representative models: the quantum Rabi Hamiltonian in the interaction picture, and the periodically driven quantum harmonic oscillator.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript extends the Floquet-Magnus expansion from bounded to a broad class of time-periodic unbounded Hamiltonians. It introduces a nonperturbative framework for constructing effective Hamiltonians that is shown to reproduce the standard Floquet-Magnus series, and proves that the resulting effective dynamics approximates the original time-evolution propagators to arbitrary order in the high-frequency limit without requiring convergence of the expansion. The claims are illustrated on the quantum Rabi model in the interaction picture and the periodically driven quantum harmonic oscillator.
Significance. If the extension and approximation results hold under the stated hypotheses, the work would meaningfully broaden the scope of effective-Hamiltonian methods to unbounded operators that arise routinely in quantum optics and driven systems. The nonperturbative character of the framework and the fact that the high-frequency approximation holds without Magnus convergence are genuine strengths, as the latter condition is already restrictive even in the bounded setting. The concrete model illustrations add practical value.
major comments (1)
- [Framework construction] Framework construction (as referenced in the abstract): the central extension claim requires that the unbounded Hamiltonians admit well-defined time-evolution propagators and satisfy the regularity conditions needed for the effective-Hamiltonian construction and the arbitrary-order approximation. Explicit verification that the quantum Rabi model (interaction picture) and the periodically driven harmonic oscillator meet these precise domain and regularity hypotheses on their dense domains is not supplied, leaving open whether the stated conditions are satisfied or are stricter than assumed.
Simulated Author's Rebuttal
We thank the referee for the positive assessment of our work and for the constructive major comment. We address it point by point below.
read point-by-point responses
-
Referee: [Framework construction] Framework construction (as referenced in the abstract): the central extension claim requires that the unbounded Hamiltonians admit well-defined time-evolution propagators and satisfy the regularity conditions needed for the effective-Hamiltonian construction and the arbitrary-order approximation. Explicit verification that the quantum Rabi model (interaction picture) and the periodically driven harmonic oscillator meet these precise domain and regularity hypotheses on their dense domains is not supplied, leaving open whether the stated conditions are satisfied or are stricter than assumed.
Authors: We agree that explicit verification of the domain and regularity hypotheses for the two illustrative models would strengthen the manuscript. While the existence of the propagators for these standard models follows from well-established results in the literature on time-dependent unbounded operators, we acknowledge that a self-contained check against the precise hypotheses of our theorems was not included. In the revised version we will add a dedicated paragraph (or short subsection) in each model section that verifies the required dense-domain conditions, the relative boundedness of the time-periodic perturbation, and the regularity needed for the arbitrary-order high-frequency approximation. revision: yes
Circularity Check
No significant circularity: distinct nonperturbative framework reproduces expansion independently
full rationale
The paper constructs an a priori distinct nonperturbative framework for effective Hamiltonians on unbounded time-periodic operators, then shows it reproduces the Floquet-Magnus expansion while proving arbitrary-order high-frequency approximation without needing Magnus convergence. No self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citation chains appear in the derivation; the central claims rest on stated regularity conditions for propagators rather than reducing to prior fitted quantities or author-specific uniqueness theorems. The approach is self-contained against external benchmarks for the bounded case and extends via explicit construction.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Time-periodic unbounded Hamiltonians admit well-defined unitary propagators under suitable domain conditions.
Reference graph
Works this paper leans on
-
[1]
L. Richter, D. Burgarth and D. Lonigro. ‘Quantifying the rotating-wave approximation of the Dicke model’ . Journal of Physics A: Mathematical and Theoretical 59 (2026), 075203. doi: 10.1088/1751-8121/ae42a3
-
[2]
D. Z. Rossatto, C. J. Villas-Bôas, M. Sanz and E. Solano. ‘Spectral Classification of Coupling Regimes in the Quantum Rabi Model’ . Physical Review A 96 (2017), 013849. doi: 10.1103/ PhysRevA.96.013849
work page 2017
-
[3]
W. Rudin. Real and complex analysis . McGraw-Hill, 1974. isbn: 978-0070542334
work page 1974
-
[4]
R. Schnaubelt. ‘Semigroups for Nonautonomous Cauchy Problems’ . K.-J. Engel and R. Nagel. One-Parameter Semigroups for Linear Evolution Equations . Vol. 194. Graduate Texts in Mathematics. New York: Springer-Verlag, 2000. doi: 10.1007/b97696
-
[5]
G. Teschl. Mathematical Methods in Quantum Mechanics: With Applications to Schrödinger Operators. Graduate Studies in Mathematics. Providence, R.I: American Mathematical Soci- ety, 2009. isbn: 978-0-8218-4660-5
work page 2009
-
[6]
C. Yi, L. Kim and M. Marvian. ‘Faster Randomized Dynamical Decoupling’ . Phys. Rev. Lett. 136 (1 2026), 010601. doi: 10.1103/fk7j-y1vl
-
[7]
K. Yosida. Functional Analysis . Vol. 123. Classics in Mathematics. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. doi: 10.1007/978-3-642-61859-8 . 62
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.