arxiv: 2603.26606 · v2 · submitted 2026-03-27 · 🪐 quant-ph · math-ph· math.MP

Recognition: no theorem link

Rotating-Wave and Secular Approximations for Open Quantum Systems

Daniel Burgarth , Paolo Facchi , Giovanni Gramegna , Kazuya Yuasa This is my paper

Pith reviewed 2026-05-14 22:38 UTC · model grok-4.3

classification 🪐 quant-ph math-phmath.MP

keywords rotating-wave approximationsecular approximationopen quantum systemsnonperturbative boundsRedfield equationmaster equationsdissipationdecoherence

0 comments

The pith

A nonperturbative bound on the distance between time-dependent quantum evolutions supplies explicit error estimates for the rotating-wave approximation even when dissipation and decoherence are present.

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

The paper derives a general bound that limits how far apart two evolutions can be when their generators are time-dependent. This bound is applied directly to the rotating-wave approximation to produce a concrete upper limit on its error in open systems that include dissipation. The same technique also controls the secular approximation that turns the Redfield equation into a simpler master equation and extends to the strong-coupling regime. The result matters because these approximations are standard tools in quantum optics and quantum information processing, and rigorous error control tells users when the simplified dynamics remain faithful.

Core claim

We derive a nonperturbative bound on the distance between evolutions of open quantum systems described by time-dependent generators and employ it to provide an explicit upper bound on the error of the rotating-wave approximation in the presence of dissipation and decoherence.

What carries the argument

A nonperturbative bound on the distance between two time-dependent quantum evolutions that controls approximation error without perturbative assumptions on the generators.

If this is right

Explicit quantitative error bounds become available for the rotating-wave approximation in open quantum systems that include dissipation and decoherence.
The secular approximation that simplifies the Redfield equation to a master equation receives a rigorous, nonperturbative error estimate.
The same distance bound justifies controlled approximations in the strong-coupling limit of open quantum systems.
Any pair of time-dependent generators obeying the stated continuity and boundedness conditions can be compared directly through the derived distance estimate.

Where Pith is reading between the lines

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

The distance bound may be portable to other common approximations in quantum dynamics, such as adiabatic or Born-Markov simplifications.
Numerical solvers could use the bound to decide adaptively when a full time-dependent calculation can be replaced by a cheaper approximated one.
Relaxing the boundedness assumption to cover certain unbounded operators would extend the method to more realistic infinite-dimensional models.

Load-bearing premise

The time-dependent generators must satisfy boundedness, measurability, or continuity conditions in suitable operator norms.

What would settle it

For a concrete two-level atom with known decay rate, compute the actual operator-norm or trace-distance difference between the full evolution and the rotating-wave approximated evolution over a chosen time interval and verify whether it stays below the derived explicit upper bound.

Figures

Figures reproduced from arXiv: 2603.26606 by Daniel Burgarth, Giovanni Gramegna, Kazuya Yuasa, Paolo Facchi.

**Figure 2.** Figure 2: Comparison of the exact diamond distances computed numerically and the corresponding [PITH_FULL_IMAGE:figures/full_fig_p019_2.png] view at source ↗

read the original abstract

We derive a nonperturbative bound on the distance between evolutions of open quantum systems described by time-dependent generators. We show how this result can be employed to provide an explicit upper bound on the error of the rotating-wave approximation in the presence of dissipation and decoherence. We apply the derived bound to the strong-coupling limit in open quantum systems and to the secular approximation used to obtain a master equation from the Redfield equation.

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.

Desk Editor's Note private letter to a colleague

This paper gives a usable nonperturbative bound on the distance between time-dependent open-system evolutions and applies it to control errors in the rotating-wave and secular approximations.

read the letter

Colleague, the main takeaway is that they derive a nonperturbative bound on how far apart two evolutions can drift when their generators differ, then use it to produce explicit error estimates for the rotating-wave approximation even when dissipation is present. They also cover the secular approximation that converts the Redfield equation into a Lindblad form and touch on the strong-coupling limit. That combination is the concrete new piece. Most prior work on these approximations leans on weak-coupling or perturbative assumptions, so a bound that works more generally from integral inequalities on the generators is a step forward for reliability in modeling. The logic flows directly once the distance bound is established, and the applications follow without extra fitting or circular steps. The technical conditions on the generators, such as norm continuity or measurability, are standard for this kind of result and do not appear to undermine the derivation. A minor limitation is that the abstract leaves those conditions implicit, so the exact scope of models covered will need checking in the full text. Without numerical examples visible here it is also hard to judge how tight the bounds become in practice, though the claim itself is plausible. This is aimed at people who simulate or analyze open quantum systems in quantum optics and information, especially when they need error control beyond the usual perturbative regime. A reader who works with master equations or device modeling would get direct value from the explicit estimates. I would send it to peer review. The central derivation is grounded enough to merit referee time.

Referee Report

2 major / 2 minor

Summary. The manuscript derives a nonperturbative bound on the distance between evolutions generated by two time-dependent operators acting on open quantum systems. It then specializes the bound to obtain an explicit upper bound on the error incurred by the rotating-wave approximation in the presence of dissipation and decoherence, and applies the same result to control the error in the strong-coupling limit and in the secular approximation that converts the Redfield equation into a Lindblad master equation.

Significance. If the central bound is rigorously established, the work supplies a concrete, non-perturbative error estimate for two widely used approximations in open-system theory. This is valuable because existing justifications of the RWA and secular approximation are often perturbative or heuristic; an explicit, non-perturbative control that remains valid under dissipation strengthens the theoretical basis for numerical simulations and analytic predictions in quantum optics and quantum information.

major comments (2)

[§2, Theorem 2.1] §2, Theorem 2.1: The distance bound is obtained from a standard integral inequality on the difference of the two time-dependent generators. The manuscript must state the precise regularity assumption (e.g., strong continuity or measurability in the operator norm) under which the integral inequality holds; without an explicit statement the applicability to concrete models remains unclear.
[§4, Eq. (28)] §4, Eq. (28): The error bound for the RWA is stated to be O(1/ω) where ω is the frequency separation. The derivation appears to retain only the leading oscillating term after averaging; the manuscript should verify that the remainder terms arising from the dissipative part of the generator are indeed absorbed into the same order without additional assumptions on the decay rates.

minor comments (2)

The abstract claims 'explicit upper bound' but the final expressions still contain unspecified constants that depend on the norm of the generator; these constants should be written out or bounded in terms of model parameters.
Figure 1 caption: the plotted quantity is the trace distance, yet the axis label reads 'error'; a consistent notation between text and figures would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading, the positive recommendation, and the constructive comments that improve the manuscript's clarity. We address each major comment below.

read point-by-point responses

Referee: [§2, Theorem 2.1] §2, Theorem 2.1: The distance bound is obtained from a standard integral inequality on the difference of the two time-dependent generators. The manuscript must state the precise regularity assumption (e.g., strong continuity or measurability in the operator norm) under which the integral inequality holds; without an explicit statement the applicability to concrete models remains unclear.

Authors: We agree that an explicit statement of the regularity conditions is necessary for clarity. Theorem 2.1 is derived under the assumption that the time-dependent generators are strongly continuous in the operator norm (i.e., t ↦ A(t) is continuous from ℝ to ℬ(ℋ) equipped with the operator norm). In the revised manuscript we will insert this precise hypothesis immediately before the statement of Theorem 2.1, together with a brief remark confirming that it is satisfied by all standard models of open quantum systems with time-dependent Hamiltonians and Lindblad operators. revision: yes
Referee: [§4, Eq. (28)] §4, Eq. (28): The error bound for the RWA is stated to be O(1/ω) where ω is the frequency separation. The derivation appears to retain only the leading oscillating term after averaging; the manuscript should verify that the remainder terms arising from the dissipative part of the generator are indeed absorbed into the same order without additional assumptions on the decay rates.

Authors: We have re-checked the integral remainder that appears after the averaging step in the proof of the RWA error bound. Because the dissipative superoperators are time-independent and bounded, their contribution to the remainder integral is controlled by the same 1/ω factor that arises from the rapid oscillations of the coherent part; no additional restrictions on the decay rates are required. In the revised version we will add a short explanatory paragraph immediately after Eq. (28) that isolates this dissipative remainder and shows explicitly that it is absorbed into the stated O(1/ω) estimate. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected in derivation chain

full rationale

The central result is a nonperturbative distance bound between two time-dependent evolutions, obtained from standard integral inequalities applied to the difference of their generators (norm continuity or measurability assumptions). This bound is then specialized to control the RWA error term by explicit estimates on oscillating contributions after averaging. No step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation; the derivation remains self-contained against external mathematical benchmarks such as Gronwall-type estimates. Applications to strong-coupling and Redfield-to-secular limits follow directly once the bound is established, without renaming known results or smuggling ansatzes via prior work.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The bound rests on standard properties of quantum dynamical semigroups and time-dependent generators; no free parameters, invented entities, or ad-hoc axioms are visible from the abstract.

axioms (1)

standard math Time-dependent generators generate well-defined evolutions on the Hilbert space or density-operator space
Invoked to define the distance between two evolutions.

pith-pipeline@v0.9.0 · 5366 in / 1259 out tokens · 54017 ms · 2026-05-14T22:38:37.348340+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

45 extracted references · 45 canonical work pages · 1 internal anchor

[1]

Bloch and A

F. Bloch and A. Siegert, Magnetic Resonance for Nonrotating Fields, Phys. Rev.57, 522 (1940)

work page 1940
[2]

J. H. Shirley, Solution of the Schr¨ odinger Equation with a Hamiltonian Periodic in Time, Phys. Rev.138, B979 (1965)

work page 1965
[3]

Haeberlen and J

U. Haeberlen and J. S. Waugh, Coherent Averaging Effects in Magnetic Resonance, Physical Review175, 453 (1968)

work page 1968
[4]

G. S. Agarwal, Rotating-Wave Approximation and Spontaneous Emission, Phys. Rev. A7, 1195 (1973)

work page 1973
[5]

Stokes and A

A. Stokes and A. Nazir, Gauge ambiguities imply Jaynes-Cummings physics remains valid in ultrastrong coupling QED, Nat. Commun.10, 499 (2019)

work page 2019
[6]

Burgarth, P

D. Burgarth, P. Facchi, G. Gramegna, and K. Yuasa, One bound to rule them all: from Adiabatic to Zeno, Quantum6, 737 (2022)

work page 2022
[7]

Burgarth, P

D. Burgarth, P. Facchi, R. Hillier, and M. Ligab` o, Taming the Rotating Wave Ap- proximation, Quantum8, 1262 (2024)

work page 2024
[8]

Richter, D

L. Richter, D. Burgarth, and D. Lonigro, Quantifying the rotating-wave approxima- tion of the Dicke model, J. Phys. A: Math. Theor.59, 075203 (2026)

work page 2026
[9]

T. Heib, P. Lageyre, A. Ferreri, F. K. Wilhelm, G. S. Paraoanu, D. Burgarth, A. W. Schell, and D. Edward Bruschi, Bounding the rotating wave approximation for cou- pled harmonic oscillators, J. Phys. A: Math. Theor.58, 175304 (2025)

work page 2025
[10]

A. Dey, D. Lonigro, K. Yuasa, and D. Burgarth, Error bounds for the Floquet-Magnus expansion and their application to the semiclassical quantum Rabi model, Phys. Rev. A112, 053723 (2025)

work page 2025
[11]

Lindblad, On the generators of quantum dynamical semigroups, Commun

G. Lindblad, On the generators of quantum dynamical semigroups, Commun. Math. Phys.48, 119 (1976)

work page 1976
[12]

Gorini, A

V. Gorini, A. Kossakowski, and E. C. G. Sudarshan, Completely positive dynamical semigroups ofN-level systems, J. Math. Phys.17, 821 (1976)

work page 1976
[13]

Schnell, A

A. Schnell, A. Eckardt, and S. Denisov, Is there a Floquet Lindbladian?, Phys. Rev. B101, 100301 (2020)

work page 2020
[14]

Y. B. Band, Open quantum system stochastic dynamics with and without the RWA, J. Phys. B: At. Mol. Opt. Phys.48, 045401 (2015)

work page 2015
[15]

Fleming, N

C. Fleming, N. I. Cummings, C. Anastopoulos, and B. L. Hu, The rotating-wave approximation: consistency and applicability from an open quantum system analysis, J. Phys. A: Math. Theor.43, 405304 (2010)

work page 2010
[16]

Kohler, T

S. Kohler, T. Dittrich, and P. H¨ anggi, Floquet-Markovian description of the paramet- rically driven, dissipative harmonic quantum oscillator, Phys. Rev. E55, 300 (1997)

work page 1997
[17]

Hartmann and W

R. Hartmann and W. T. Strunz, Accuracy assessment of perturbative master equa- tions: Embracing nonpositivity, Phys. Rev. A101, 012103 (2020)

work page 2020
[18]

Benatti, D

F. Benatti, D. Chru´ sci´ nski, and R. Floreanini, Local Generation of Entanglement with Redfield Dynamics, Open Sys. Inf. Dyn.29, 2250001 (2022)

work page 2022
[19]

Trushechkin, Unified Gorini-Kossakowski-Lindblad-Sudarshan quantum master equation beyond the secular approximation, Phys

A. Trushechkin, Unified Gorini-Kossakowski-Lindblad-Sudarshan quantum master equation beyond the secular approximation, Phys. Rev. A103, 062226 (2021). 26

work page 2021
[20]

Alicki and K

R. Alicki and K. Lendi,Quantum Dynamical Semigroups and Applications, 2nd ed. (Springer, Berlin, 2007)

work page 2007
[21]

M. A. Nielsen and I. L. Chuang,Quantum Computation and Quantum Information, 10th anniversary ed. (Cambridge University Press, Cambridge, 2010)

work page 2010
[22]

Chru´ sci´ nski and S

D. Chru´ sci´ nski and S. Pascazio, A Brief History of the GKLS Equation, Open Sys. Inf. Dyn.24, 1740001 (2017)

work page 2017
[23]

Reed and B

M. Reed and B. Simon,Methods of Modern Mathematical Physics II: Fourier Anal- ysis, Self-Adjointness(Academic Press, San Diego, 1975), No. Fourier analysis, self- adjointness

work page 1975
[24]

Kato, Integration of the equation of evolution in a Banach space, J

T. Kato, Integration of the equation of evolution in a Banach space, J. Math. Soc. Jpn.5, 208 (1953)

work page 1953
[25]

J. E. Avron, M. Fraas, G. M. Graf, and P. Grech, Adiabatic Theorems for Generators of Contracting Evolutions, Commun. Math. Phys.314, 163 (2012)

work page 2012
[26]

Watrous,The Theory of Quantum Information(Cambridge University Press, Cam- bridge, 2018)

J. Watrous,The Theory of Quantum Information(Cambridge University Press, Cam- bridge, 2018)

work page 2018
[27]

Chru´ sci´ nski, Dynamical maps beyond Markovian regime, Phys

D. Chru´ sci´ nski, Dynamical maps beyond Markovian regime, Phys. Rep.992, 1 (2022)

work page 2022
[28]

Kato,Perturbation Theory for Linear Operators, 2nd ed

T. Kato,Perturbation Theory for Linear Operators, 2nd ed. (Springer, Berlin, 1995)

work page 1995
[29]

M. M. Wolf, Quantum Channels & Operations: Guided Tour, 2012, URL: https://mediatum.ub.tum.de/node?id=1701036

work page 2012
[30]

Interaction-Free

M. Hasen¨ ohrl and M. M. Wolf, “Interaction-Free” Channel Discrimination, Ann. Henri Poincar´ e23, 3331 (2022)

work page 2022
[31]

M. M. Wolf and J. I. Cirac, Dividing Quantum Channels, Commun. Math. Phys.279, 147 (2008)

work page 2008
[32]

M. M. Wolf and D. Perez-Garcia, The inverse eigenvalue problem for quantum chan- nels, arXiv:1005.4545 [quant-ph] (2010)

work page internal anchor Pith review Pith/arXiv arXiv 2010
[33]

Burgarth, P

D. Burgarth, P. Facchi, H. Nakazato, S. Pascazio, and K. Yuasa, Generalized Adia- batic Theorem and Strong-Coupling Limits, Quantum3, 152 (2019)

work page 2019
[34]

Z. Gong, N. Yoshioka, N. Shibata, and R. Hamazaki, Error bounds for constrained dynamics in gapped quantum systems: Rigorous results and generalizations, Phys. Rev. A101, 052122 (2020)

work page 2020
[35]

Burgarth, P

D. Burgarth, P. Facchi, H. Nakazato, S. Pascazio, and K. Yuasa, Eternal adiabaticity in quantum evolution, Phys. Rev. A103, 032214 (2021)

work page 2021
[36]

A. G. Redfield, On the Theory of Relaxation Processes, IBM J. Res. Dev.1, 19 (1957)

work page 1957
[37]

N. G. Van Kampen,Stochastic Processes in Physics and Chemistry, 3rd ed. (Elsevier, Amsterdam, 2007)

work page 2007
[38]

Breuer and F

H.-P. Breuer and F. Petruccione,The Theory of Open Quantum Systems(Oxford University Press, Oxford, 2002)

work page 2002
[39]

de Vega and D

I. de Vega and D. Alonso, Dynamics of non-Markovian open quantum systems, Rev. Mod. Phys.89, 015001 (2017)

work page 2017
[40]

Van Hove, Energy corrections and persistent perturbation effects in continuous spectra, Physica21, 901 (1955)

L. Van Hove, Energy corrections and persistent perturbation effects in continuous spectra, Physica21, 901 (1955)

work page 1955
[41]

Facchi and S

P. Facchi and S. Pascazio, Deviations from exponential law and Van Hove’s “λ 2t” limit, Physica A271, 133 (1999). 27

work page 1999
[42]

T. F. Havel, Robust procedures for converting among Lindblad, Kraus and matrix representations of quantum dynamical semigroups, J. Math. Phys.44, 534 (2003)

work page 2003
[43]

C. J. Wood, J. D. Biamonte, and D. G. Cory, Tensor networks and graphical calculus for open quantum systems, Quant. Inf. Comp.15, 0759 (2015)

work page 2015
[44]

A. Hahn, D. Burgarth, and K. Yuasa, Unification of random dynamical decoupling and the quantum Zeno effect, New J. Phys.24, 063027 (2022)

work page 2022
[45]

Bhatia,Matrix Analysis(Springer, New York, 1997)

R. Bhatia,Matrix Analysis(Springer, New York, 1997). 28

work page 1997