arxiv: 2604.13894 · v1 · submitted 2026-04-15 · 🪐 quant-ph · math-ph· math.MP

Wandering range of robust quantum symmetries

Daniel Burgarth , Paolo Facchi , Marilena Ligab\`o , Vito Viesti , Kazuya Yuasa This is my paper

Pith reviewed 2026-05-10 13:12 UTC · model grok-4.3

classification 🪐 quant-ph math-phmath.MP

keywords wandering rangerobust quantum symmetriesHamiltonian perturbationstime evolution operatorsnonperturbative boundssymmetry stabilityquantum dynamics

0 comments

The pith

The wandering range quantifies how robust quantum symmetries drift from exact preservation under small Hamiltonian perturbations, with conditions restoring linear scaling in the perturbation strength and explicit nonperturbative bounds.

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

The paper defines the wandering range of a robust symmetry S of an unperturbed Hamiltonian H as the measure of deviation in the time-evolved operator when a perturbation εV is added to the dynamics. It establishes that this range does not always grow linearly with ε, but identifies conditions on the system that restore linear behavior and derives explicit bounds that hold without perturbative approximations. A reader would care because this gives a precise way to track how symmetries, which often protect quantum information or simplify dynamics, behave in the presence of the small imperfections that occur in any real quantum system.

Core claim

For a symmetry S that satisfies e^{itH} S e^{-itH} = S exactly, the wandering range is the quantity that tracks the maximum distance between the perturbed evolution e^{it(H+εV)} S e^{-it(H+εV)} and the fixed point S. The authors show that while linearity in ε is not guaranteed in general, suitable conditions on the operators recover this scaling and permit derivation of explicit, nonperturbative upper bounds on the range.

What carries the argument

The wandering range, which is the supremum over all times t of the operator-norm distance between the perturbed time-evolved symmetry and its unperturbed fixed value S.

If this is right

Under the identified conditions the wandering range scales linearly with the perturbation strength ε.
Explicit nonperturbative bounds on the deviation are available without series expansions.
These bounds quantify how far the symmetry operator can drift during the perturbed dynamics.
The linear regime allows intuitive estimates of symmetry stability in controlled quantum systems.

Where Pith is reading between the lines

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

The bounds could be evaluated numerically on finite-dimensional models such as spin chains to test the predicted scaling.
The concept may connect to the analysis of approximate conservation laws in many-body systems where exact symmetries are broken by small terms.
Extensions to time-dependent perturbations or open-system generators could be explored by replacing the unitary evolution with a more general dynamical map.

Load-bearing premise

The symmetry S must be exactly invariant under the unperturbed time evolution generated by H, and the perturbed Hamiltonian H + εV must generate a well-defined unitary evolution.

What would settle it

A specific Hamiltonian H, symmetry S, and perturbation V satisfying the paper's conditions for linear scaling, yet for which the wandering range grows superlinearly in ε or exceeds the stated nonperturbative bound at some finite ε, would falsify the central claim.

Figures

Figures reproduced from arXiv: 2604.13894 by Daniel Burgarth, Kazuya Yuasa, Marilena Ligab\`o, Paolo Facchi, Vito Viesti.

**Figure 1.** Figure 1: Comparison of fα(x) = e x 4α D( x 4 )−1 = e 1− √1−x 2α −1 with its linear bound (173) and quadratic upper bound (175), as a function of x = 4αεb, with b = πv/( √ 3 η). The following example illustrates the application of our results to a concrete physical model arising in superconducting circuits [PITH_FULL_IMAGE:figures/full_fig_p028_1.png] view at source ↗

read the original abstract

This paper introduces the concept of the wandering range of a robust symmetry $S$ of a Hamiltonian $H$. This quantity measures how the perturbed time evolution $\mathrm{e}^{\mathrm{i}t(H+\varepsilon V)} S \mathrm{e}^{-\mathrm{i} t(H+\varepsilon V)}$ deviates from its unperturbed counterpart $\mathrm{e}^{\mathrm{i} tH} S\mathrm{e}^{-\mathrm{i} tH} = S$. Although the wandering range does not necessarily scale linearly with the perturbation strength $\varepsilon$, we identify conditions under which this linear behavior is recovered and we obtain explicit nonperturbative bounds.

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

The paper defines a wandering range for how robust symmetries deviate under perturbation and gives conditions plus nonperturbative bounds for when that deviation scales linearly with ε.

read the letter

The main takeaway is that this work introduces the wandering range as a measure of how much a symmetry S drifts when the Hamiltonian is perturbed by εV. The unperturbed evolution leaves S fixed exactly, and the new quantity looks at the difference in the perturbed case. They show the range does not have to grow linearly in ε but recover that behavior under stated conditions and supply explicit bounds that stay nonperturbative.

Referee Report

0 major / 2 minor

Summary. The manuscript introduces the 'wandering range' of a robust quantum symmetry S for a Hamiltonian H. A symmetry is robust when the unperturbed evolution satisfies e^{itH} S e^{-itH} = S exactly. The wandering range quantifies the deviation of the perturbed evolution e^{it(H+εV)} S e^{-it(H+εV)} from this invariant. The central claim is that the wandering range does not necessarily scale linearly with perturbation strength ε, but the authors identify conditions under which linear scaling holds and derive explicit nonperturbative bounds.

Significance. If the derivations are correct, this provides a nonperturbative framework for quantifying how exact symmetries deviate under perturbations, which could be valuable in quantum information, control theory, and many-body physics. The explicit bounds and recovery of linear scaling under stated conditions are strengths, as they avoid perturbative assumptions and introduce no free parameters beyond the standard Hamiltonian and perturbation setup. The approach is internally coherent with standard quantum mechanics.

minor comments (2)

The abstract introduces the wandering range without a concise inline definition or formula; adding one sentence with the explicit expression would improve immediate clarity for readers.
Notation for time-evolution operators and the perturbation V should be defined at first use in the introduction to avoid any ambiguity for readers unfamiliar with the specific setup.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our manuscript and for recommending minor revision. The referee's description accurately captures the definition of the wandering range, the non-perturbative bounds, and the conditions for recovering linear scaling in ε. No major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper defines the wandering range directly as a measure of deviation between the perturbed evolution operator e^{it(H+εV)} S e^{-it(H+εV)} and the unperturbed case where e^{itH} S e^{-itH} = S exactly. This is a straightforward definition of a new quantity, not a derivation that reduces to its own inputs. The subsequent claims identify conditions for linear scaling in ε and provide nonperturbative bounds; these are presented as consequences of the definition under the stated assumptions (exact unperturbed symmetry and well-defined perturbed evolution), which are standard and do not embed the target result. No self-citations, fitted parameters renamed as predictions, or ansatzes smuggled via prior work are evident in the provided text. The derivation chain is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The claim rests on standard quantum time evolution and the notion of a robust symmetry that is invariant under unperturbed dynamics; the wandering range itself is a new defined quantity without independent evidence outside the paper.

axioms (2)

standard math Time evolution in quantum mechanics is generated by the unitary operator e^{-i t H} for Hamiltonian H.
This is the standard Schrödinger picture evolution assumed throughout.
domain assumption A symmetry S is robust if it commutes with the unperturbed evolution, i.e., e^{i t H} S e^{-i t H} = S.
This is the defining property used to contrast with the perturbed case.

invented entities (1)

wandering range no independent evidence
purpose: To quantify the deviation between perturbed and unperturbed symmetry evolution.
Newly defined measure; no independent falsifiable evidence provided in the abstract.

pith-pipeline@v0.9.0 · 5403 in / 1371 out tokens · 44946 ms · 2026-05-10T13:12:18.318665+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

26 extracted references

[1]

Gross D J 1996 The role of symmetry in fundamental physicsProc. Natl. Acad. Sci. U.S.A.9314256

1996
[2]

Wigner E P 1970Symmetries and Reflections: Scientific Essays(Cambridge, MA: MIT Press)
[3]

Sakurai J J and Napolitano J 2020Modern Quantum Mechanics3rd edn (Cambridge: Cambridge University Press) REFERENCES33
[4]

Burgarth D, Facchi P, Nakazato H, Pascazio S and Yuasa K 2021 Kolmogorov- Arnold-Moser Stability for Conserved Quantities in Finite-Dimensional Quantum SystemsPhys. Rev. Lett.126150401

2021
[5]

Szab´ o Z, Gehr S, Facchi P, Yuasa K, Burgarth D and Lonigro D 2025 Robust quantification of spectral transitions in perturbed quantum systemsPhys. Rev. A 112032202

2025
[6]

Georgescu I M, Ashhab S and Nori F 2014 Quantum simulationRev. Mod. Phys. 86153

2014
[7]

Sarovar M, Zhang J and Zeng L 2017 Reliability of analog quantum simulation Eur. Phys. J. Quantum Technol.41

2017
[8]

Schwenk I, Reiner J M, Zanker S, Tian L, Lepp¨ akangas J and Marthaler M 2018 Reconstructing the ideal results of a perturbed analog quantum simulatorPhys. Rev. A97042310

2018
[9]

Facchi P, Ligab` o M and Viesti V 2025 Robustness of quantum symmetries against perturbationsJ. Phys. A: Math. Theor.58125305

2025
[10]

Burgarth D, Facchi P, Nakazato H, Pascazio S and Yuasa K 2021 Eternal adiabaticity in quantum evolutionPhys. Rev. A103032214

2021
[11]

Rev.149491

Schrieffer J R and Wolff P A 1966 Relation between the Anderson and Kondo HamiltoniansPhys. Rev.149491

1966
[12]

Phys.3262793

Bravyi S, DiVincenzo D P and Loss D 2011 Schrieffer-Wolff transformation for quantum many-body systemsAnn. Phys.3262793

2011
[13]

Cederbaum L S, Schirmer J and Meyer H D 1989 Block diagonalisation of Hermitian matricesJ. Phys. A: Math. Gen.222427

1989
[14]

Gr´ ebert B and Thomann L 2011 KAM for the Quantum Harmonic Oscillator Commun. Math. Phys.307383

2011
[15]

Facchi P and Ligab` o M 2024 Stability of the gapless pure point spectrum of self- adjoint operatorsJ. Math. Phys.65032102

2024
[16]

Arnold V I 1989Mathematical Methods of Classical Mechanics2nd edn (New York: Springer-Verlag)
[17]

Bhatia R 1997Matrix Analysis(New York: Springer-Verlag)
[18]

Stanley R P 2015Catalan Numbers(Cambridge: Cambridge University Press)
[19]

Teschl G 2014Mathematical Methods in Quantum Mechanics: With Applications to Schr¨ odinger Operators2nd edn (Providence, RI: American Mathematical Society)
[20]

Bratteli O and Robinson D W 1987Operator Algebras and Quantum Statistical Mechanics 12nd edn (Berlin: Springer)
[21]

Viesti V 2026Quantum Symmetries and the Robustness of DynamicsPhD thesis Universit` a degli Studi di Bari Aldo Moro
[22]

Kato T 1995Perturbation Theory for Linear Operators2nd edn (Berlin: Springer) REFERENCES34
[23]

40–41 ofOperator Theory: Advances and Applicationsed H Dym, S Goldberg, M A Kaashoek and P Lancaster (Basel: Birkh¨ auser) pp 151–164

Bhatia R, Choi M D and Davis C 1989 Comparing a Matrix to its Off-Diagonal PartThe Gohberg Anniversary CollectionVol. 40–41 ofOperator Theory: Advances and Applicationsed H Dym, S Goldberg, M A Kaashoek and P Lancaster (Basel: Birkh¨ auser) pp 151–164

1989
[24]

3 ofEncyclopaedia of Mathematical Sciences(Berlin, Heidelberg: Springer-Verlag)

Arnold V I, Kozlov V V and Neishtadt A I 1988Dynamical Systems III: Mathematical Aspects of Classical and Celestial MechanicsVol. 3 ofEncyclopaedia of Mathematical Sciences(Berlin, Heidelberg: Springer-Verlag)
[25]

Dumas H S 2014The KAM Story: A Friendly Introduction to the Content, History, and Significance of Classical Kolmogorov-Arnold-Moser Theory(Singapore: World Scientific)
[26]

Pechenezhskiy I V, Mencia R A, Nguyen L B, Lin Y H and Manucharyan V E 2020 The superconducting quasicharge qubitNature585368

2020