Pith. sign in

REVIEW 2 major objections 3 minor 30 references

Robustness of quantum symmetries against perturbations

T0 review · 2 major / 3 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A quantum symmetry survives a perturbation exactly when it commutes with the limiting projections the perturbation induces on the Hamiltonian's energy levels, and the only symmetries that survive every perturbation are bounded functions…

desk verdict A solid infinite-dimensional extension of the finite-dim robustness classification, with a repairable technical gap about eigenvalue branches that stay degenerate. read the letter →

arxiv 2411.18529 v1 pith:TGMZMMYN submitted 2024-11-27 quant-ph math-phmath.MP

Paolo Facchi , Marilena Ligabò , Vito Viesti This is my paper · ORCID
classification quant-phmath-phmath.MP MSC 81Q1547A5546L10
keywords quantumsymmetriesconservedquantitiesHamiltonianperturbationsrobustnesscommutantandbicommutantvonNeumannalgebrasanalyticperturbationtheoryadiabaticinvariants
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper asks a practical question about quantum models: when the Hamiltonian is slightly perturbed, which of its conserved quantities remain almost conserved at all later times, not just for short times? The authors call a symmetry robust when its perturbed evolution stays close to its unperturbed value uniformly in time as the perturbation strength goes to zero, and fragile when some state eventually drifts away. Their central result is an exact algebraic answer: against a fixed perturbation, the robust symmetries are precisely the bounded operators that commute with the family of limiting projections that the perturbation induces on the Hamiltonian's degenerate energy levels. Against all admissible perturbations, the robust symmetries reduce to the bounded functions of the Hamiltonian itself. This matters because only such robust quantities can be trusted to describe the long-time behavior of a model whose Hamiltonian is known only approximately.

What carries the argument

The carrying device is analytic perturbation theory for compact-resolvent Hamiltonians. It yields analytic eigenvalue branches $h_n(\varepsilon)$ and eigenprojections $P_n(\varepsilon)$ of $H + \varepsilon V$, the limiting subprojections $P_n(0) = \lim_{\varepsilon \to 0} P_n(\varepsilon)$ that refine the unperturbed spectral projections, and a strongly continuous unitary family $U(\varepsilon)$ with $P_n(\varepsilon) = U(\varepsilon) P_n(0) U(\varepsilon)^\dagger$. From these the paper forms the eternal block-diagonal approximation $\tilde H(\varepsilon) = \sum_n h_n(\varepsilon) P_n(0)$, whose unitary group stays uniformly close in time to the true perturbed group, and splits the perturbed evolution of a symmetry into a robust component that vanishes uniformly and a fragile component $A(t,\varepsilon) = e^{itH(\varepsilon)}[S, e^{-it\tilde H(\varepsilon)}]$. Fragility is exposed by the phase factor $e^{it(h_m(\varepsilon)-h_n(\varepsilon))} - 1$, whose supremum over $t$ is $2$ whenever the corresponding levels are distinct, while the bicommutant theorem identifies $\{H\}''$ with the algebra of bounded Borel functions of $H$.

What would settle it

Diagonalize $H = 0$ on $\mathbb{C}^2$ with $V = 0$: $H$ has compact resolvent and a single doubly degenerate level, and $H + \varepsilon V = 0$ for every $\varepsilon$, so no analytic labeling with $h_1(\varepsilon) \neq h_2(\varepsilon)$ exists. This direct example shows that the distinct-level premise is not a consequence of compact resolvent, and it forces one to check whether the characterization survives when the limiting projections are grouped by the spectrum of $V$ on each degenerate eigenspace.

Watch

Extended reading notes

Core claim

On its own terms, the paper establishes Theorem 3.2: for a self-adjoint Hamiltonian $H$ with compact resolvent and an $H$-bounded symmetric perturbation $V$ (one whose size is controlled by $H$, so that $H + \varepsilon V$ stays self-adjoint), a symmetry $S$ (a bounded operator commuting with $H$) is $V$-robust if and only if $[S, P_n(0)] = 0$ for every limiting eigenprojection $P_n(0) = \lim_{\varepsilon \to 0} P_n(\varepsilon)$ of $H + \varepsilon V$. Because the $P_n(0)$ are subprojections of the unperturbed eigenprojections, the $V$-robust symmetries form the von Neumann algebra $\{P_n(0)\}'$ lying between the bicommutant $\{H\}''$ and the commutant $\{H\}'$. For a whole set $\mathcal{P}$ of perturbations, $\mathcal{P}$-robustness is the intersection of these commutants over $V \in \mathcal{P}$; when perturbations are restricted to preserve a family of protected symmetries $\mathcal{J}$, Theorem 4.2 gives exactly the bicommutant $(\{H\} \cup \mathcal{J})''$; and when perturbations are unrestricted, Theorem 4.3 gives $R(H) = \{H\}''$, the bounded Borel functions of the Hamiltonian, extending the known finite-dimensional result to unbounded compact-resolvent Hamiltonians. The paper also constructs an explicit harmonic-oscillator example in which a completely robust symmetry has a wandering range that decays only as $O(|\varepsilon|^{\alpha - 1})$ with $\alpha$ arbitrarily close to $1$, so in infinite dimensions the convergence need not be uniform in the state and can be arbitrarily slow.

Load-bearing premise

The proof relies on labeling the perturbed energy levels so that they remain distinct for small nonzero perturbation strength; if a perturbation does not split a degenerate level, such as the zero perturbation, that labeling is impossible and the oscillating-phase argument that detects fragility has no phase to oscillate.

Editorial extensions

If this is right

  • Every symmetry of the form $f(H)$ with $f$ a bounded Borel function is completely robust: it survives every admissible perturbation uniformly in time, so spectral functions of the bare Hamiltonian are the only exactly protected conserved quantities.
  • A symmetry that fails to commute with some limiting projection $P_n(0)$ is fragile: no matter how small the perturbation strength, some state will drift away from its unperturbed value at long times, so the deviation does not vanish uniformly.
  • If physical law restricts perturbations to preserve a protected symmetry $J$, the robust symmetries are exactly the algebra generated by the common spectral projections of $H$ and $J$; perturbing within the commutant of $J$ cannot break those conserved quantities.
  • In infinite-dimensional systems the finite-dimensional linear bound on the wandering range fails: even completely robust symmetries can deviate as $O(|\varepsilon|^\gamma)$ with $\gamma$ arbitrarily small, so robustness does not by itself give a practical rate of convergence.
  • Every robust symmetry can be continuously deformed into a symmetry of the perturbed Hamiltonian, a quantum adiabatic invariant, so the symmetry is bent rather than broken by the perturbation.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The algebraic characterization likely does not need compact resolvent: Theorem 3.3 in the paper is already stated for continuous pure-point deformations without it, so any perturbation family whose limiting subprojections are well defined should obey the same commutant criterion.
  • The slow-wandering example is a quantum analogue of a known diffusion phenomenon of classical Hamiltonian mechanics, where conserved quantities drift anomalously slowly under weak perturbations, so quantitative stability estimates are needed before robust symmetries are used for long-time predictions.
  • Because completely robust observables are exactly spectral functions of $H$, the result gives a sharp error-robustness criterion for quantum simulation: only functions of the effective Hamiltonian have long-time expectation values insensitive to arbitrary small control errors.
  • When perturbations are required to preserve a symmetry $J$, the theorem predicts that robust conserved quantities are block-diagonal in the common eigenspaces of $H$ and $J$; this could be tested numerically on lattice models with degenerate bands by computing the limiting projections directly.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 3 minor

Summary. The paper defines P-robust symmetries of a Hamiltonian H as those whose Heisenberg evolution under H+εV stays close to the unperturbed evolution uniformly in time as ε→0. Assuming H has compact resolvent, the authors prove (Theorem 3.2) that a symmetry S is V-robust exactly when it commutes with the limiting eigenprojections P_n(0) of the perturbed family H+εV. This is then used to characterize robustness against sets of perturbations and to show that completely robust symmetries are precisely the bicommutant {H}'' (bounded Borel functions of H), extending a finite-dimensional result from Ref. [9] to unbounded Hamiltonians. The paper also analyzes symmetry-restricted perturbations, shows that the wandering range can decay as |ε|^γ with arbitrarily small γ in infinite dimensions, and constructs adiabatic invariants from robust symmetries.

Significance. The algebraic characterization is clean and, once the degeneracy issue described below is fixed, would provide a substantial infinite-dimensional generalization of the finite-dimensional theorem. The paper is methodologically sound in its use of Kato perturbation theory and von Neumann algebras, contains no fitted parameters, and includes a concrete example (Example 5.1) that gives explicit wandering-range scaling. The main theorems are falsifiable and would be useful for classifying conserved quantities under perturbations. However, the central characterization currently has a load-bearing gap for perturbations that do not split all degeneracies, so the result is not yet established as stated.

major comments (2)
  1. [Section 3, Theorem 3.1(ii)] The assertion that the analytic eigenvalue branches h_n(ε) of H(ε)=H+εV satisfy h_n≠h_m for all n≠m and all ε∈(-1,1) overstates what Kato-Rellich theory provides. When H has a degenerate eigenvalue and V splits that degeneracy, different branches have h_n(0)=h_m(0); when V preserves the degeneracy for all ε (for example V=0 on a degenerate eigenspace, or V commuting with H and acting as a scalar on that eigenspace), the branches coincide identically and no such labeling exists. Since the proof of Theorem 3.2 invokes Theorem 3.1(ii) to verify assumption (ii) of Theorem 3.3, the applicability of Theorem 3.2 to arbitrary H-bounded V is not justified.
  2. [Section 3, Theorem 3.3 and proof of Theorem 3.2] The 'only if' direction of Theorem 3.3 uses the identity sup_t |e^{it(h_m(ε)-h_n(ε))}-1|=2, which requires h_m(ε)≠h_n(ε) for all ε in a punctured neighborhood of 0. For a persistently degenerate block, where h_m≡h_n on the whole interval I, this supremum is 0 and the fragility argument gives no lower bound. A symmetry that mixes states inside such a block is V-robust even though it fails to commute with an arbitrary analytic labeling of the subprojections P_n(0). Thus the condition [S,P_n(0)]=0 in Theorem 3.2 is too strong, and the characterization is unproved for perturbations that do not split all degeneracies. The theorem should group branches whose eigenvalue difference vanishes identically and require commutation with the corresponding spectral subprojections; with that grouping the proof appears repairable.
minor comments (3)
  1. [Proof of Theorem 3.3] In the last displayed estimate before 'lim inf', the vector φ_m should be ψ_m, matching the notation introduced earlier in the proof.
  2. [Section 5.1, Eq. (62)] The statement c_α/‖ψ_α‖ → 1/√2 as α↓1 is plausible but not immediately evident; a one-line derivation would improve readability.
  3. [Section 3, discussion after Theorem 3.2] It would be helpful to state explicitly that for perturbations that do not split a degeneracy, the limiting projections P_n(0) are not canonically defined by H and V, and that the correct object is the collection of spectral projections of V restricted to each degenerate eigenspace of H.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the characterization is proved from Kato's perturbation theory and standard von Neumann algebra facts, not from the finite-dimensional result it generalizes.

full rationale

The paper's central derivation chain is self-contained against external benchmarks. The main characterization (Theorem 3.2, and its multi-perturbation corollaries Theorems 4.1–4.3) is proved from Kato's analytic perturbation theorem (Theorem 3.1, cited to Kato [23]) via a block-diagonal approximation (Lemma 3.1) and a split of the symmetry evolution into fragile and robust components (Lemma 3.2). The condition [S, P_n(0)] = 0 is not assumed as the definition of robustness; rather, it is derived as equivalent to the uniform-in-time convergence defining V-robustness. The finite-dimensional result of [9] is cited only as prior context and as the statement being generalized; it is not used as an input in the proof. The same holds for the other author self-citations [10,12,27]: they are contextual or concern related but not load-bearing tools. No fitted parameters are present, no data are predicted from a fit, and no uniqueness theorem from the authors' prior work is imported to force the conclusion. The only flagged concern is a mathematical rigor issue, not circularity: Theorem 3.1(ii), as stated, asserts h_n ≠ h_m for all n ≠ m, which can fail when the perturbation preserves a degeneracy (e.g., V = 0); this affects the correctness proof of the characterization for degenerate branches and would require regrouping branches whose eigenvalue differences vanish. That is a correctness risk about the hypotheses, not a circularity in the derivation. Accordingly, the circularity score is 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No fitted parameters or new entities are introduced; all results are derived from standard functional analysis. The main nonstandard premise is the no-crossing labeling hidden in Theorem 3.1(ii).

assumptions (5)
  • standard math Kato-Rellich theorem: H+epsilon V is self-adjoint on D(H) for |epsilon| a_V < 1.
    Invoked in Definitions and Section 2 to ensure the perturbed evolution is well-defined.
  • standard math Kato analytic perturbation theory for compact-resolvent operators, including analyticity of eigenvalues and eigenprojections and existence of unitary intertwiner U(epsilon).
    Used in Theorem 3.1 and the proof of Theorem 3.2; the paper relies on the strong continuity of U(epsilon) and convergence of the series defining it.
  • standard math von Neumann bicommutant theorem and structure of commutants of self-adjoint operators.
    Used in Sections 1 and 4 to identify {H}'' with bounded Borel functions of H.
  • ad hoc to paper The perturbed family admits a labeling with hn(epsilon) different from hm(epsilon) for n different from m on a punctured neighborhood of 0.
    Not guaranteed by compact resolvent alone; required in the proof of Theorem 3.3 to get the oscillation factor sup_t |e^{it(h_m-h_n)}-1|=2. The paper states this as part of Theorem 3.1(ii), but that statement is not true for perturbations preserving degeneracies.
  • domain assumption H has compact resolvent (discrete spectrum with finite multiplicity, eigenvalues accumulate only at infinity).
    Stated in Section 3; essential for Kato's theorem and for Lemma 3.1.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Robustness of quantum symmetries against perturbations." pith.science (2026). https://pith.science/paper/TGMZMMYN

@misc{pith2026241118529,
  author       = {Pith},
  title        = {Pith review of: Robustness of quantum symmetries against perturbations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/TGMZMMYN}},
  note         = {Machine review of arXiv:2411.18529}
}
read the original abstract

We investigate quantum symmetries in terms of their large-time stability with respect to perturbations of the Hamiltonian. We find a complete algebraic characterization of the set of symmetries robust against a single perturbation and we use such result to characterize their stability with respect to arbitrary sets of perturbations.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

30 extracted references · 25 canonical work pages

  1. [9]

    Burgarth D, Facchi P, Nakazato H, Pascazio S and Yuasa K 2021 Phys. Rev. Lett. 126 150401

    work page 2021

  2. [1]

    Wigner E P 1970 Symmetries and Reflections: Scientific Essays (M.I.T. Press)

    work page 1970

  3. [2]

    Gross D J 1996 Proceedings of the National Academy of Sciences 93 14256–14259 URL https://www.pnas.org/doi/abs/10.1073/pnas.93.25.14256

    doi:10.1073/pnas.93.25.14256 1996

  4. [3]

    Arnold V 1989 Mathematical Methods of Classical Mechanics (Springer-Verlag)

    work page 1989

  5. [4]

    Fasano A, Marmi S and Pelloni B 2006 Analytical Mechanics: An Introduction Oxford Graduate Texts (OUP Oxford) ISBN 9780191513596

    work page 2006

  6. [5]

    Sakurai J 1994 Modern Quantum Mechanics (Addison-Wesley Publishing Company)

    work page 1994

  7. [6]

    Georgescu I M, Ashhab S and Nori F 2014 Rev. Mod. Phys. 86(1) 153–185 URL https://link.aps.org/doi/10.1103/RevModPhys.86.153

    doi:10.1103/revmodphys.86.153 2014

  8. [7]

    Sarovar M, Zhang J and Zeng L 2017 Eur. Phys. J. Quantum Technol. 4 1 URL https://doi.org/10.1140/epjqt/s40507-016-0054-4

    work page doi:10.1140/epjqt/s40507-016-0054-4 2017

Show all 30 references
  1. [8]

    Schwenk I, Reiner J M, Zanker S, Tian L, Lepp¨ akangas J and Marthaler M 2018 Phys. Rev. A 97(4) 042310 URL https://link.aps.org/doi/10.1103/PhysRevA.97.042310

    2018 doi

  2. [10]

    Burgarth D, Facchi P, Gramegna G and Yuasa K 2022 Quantum 6 737 ISSN 2521- 327X URL https://doi.org/10.22331/q-2022-06-14-737

    2022 doi

  3. [11]

    Dumas H S 2014 The KAM Story: A Friendly Introduction to the Content, Histo ry, and Significance of Classical Kolmogorov–Arnold–Moser The ory (World Scientific)

    2014

  4. [12]

    Burgarth D, Facchi P, Nakazato H, Pascazio S and Yuasa K 202 1 Phys. Rev. A 103 032214 URL https://doi.org/10.1103/PhysRevA.103.032214

    doi

  5. [13]

    Frigerio A, Gorini V and MVerri 1986 Physica 137A 573–602

    1986

  6. [14]

    Haag R, Kastler D and Trych-Pohlmeyer E B 1974 Communications in Mathematical Physics 38 173–193 URL https://doi.org/10.1007/BF01651541

    1974 doi

  7. [15]

    Calabrese P 2018 Physica A: Statistical Mechanics and its Applica- tions 504 31–44 ISSN 0378-4371 lecture Notes of the 14th International Summer School on Fundamental Problems in Statistical Physics URL https://www.sciencedirect.com/science/article/pii/S037843711731018X

    2018

  8. [16]

    G P Brandino J S C and Konik R M 2015 Phys. Rev. X 5 041043

    2015

  9. [17]

    Mori T, Ikeda T N, Kaminishi E and Ueda M 2018 Journal of Physics B: Atomic, Molecular and Optical Physics 51 112001 URL https://dx.doi.org/10.1088/1361-6455/aabcdf

    2018 doi

  10. [18]

    Srdinˇ sek M, Prosen T c v and Sotiriadis S 2024 Phys. Rev. Lett. 132(2) 021601 URL https://link.aps.org/doi/10.1103/PhysRevLett.132.021601 REFERENCES 24

    2024 doi

  11. [19]

    Stephen D T, Hart O and Nandkishore R M 2024 Phys. Rev. Lett. 132(4) 040401 URL https://link.aps.org/doi/10.1103/PhysRevLett.132.040401

    2024 doi

  12. [20]

    Reed M and Simon B 1975 Methods of Modern Mathematical Physics vol II (Academic Press, Inc.)

    1975

  13. [21]

    Teschl G 2014 Mathematical Methods in Quantum Mechanics With Applicatio ns to Schr¨ odinger Operators(American Mathematical Society, Providence)

    2014

  14. [22]

    de Oliveira C R 2009 Intermediate Spectral Theory and Quantum Dynamics (Birkh¨ auser Verlag AG)

    2009

  15. [23]

    Kato T 1995 Perturbation Theory for Linear Operators (Springer-Verlag, Berlin Heidelberg)

    1995

  16. [24]

    Arnol’d V I 1964 Dokl. Akad. Nauk SSSR 156 9–12

    1964

  17. [25]

    Poschel J 1983 Commun. Math. Phys. 88 447–463

    1983

  18. [26]

    Amour L and Guillot J C 1999 Journal of Mathematical Analysis and Applications 229 170–183

    1999

  19. [27]

    Facchi P and Ligab` o M 2024 Journal of Mathematical Physics 65 032102 URL https://doi.org/10.1063/5.0187017

    2024 doi

  20. [28]

    Scherer W 1995 Phys. Rev. Lett. 74(9) 1495–1499 URL https://link.aps.org/doi/10.1103/PhysRevLett.74.1495

    1995 doi

  21. [29]

    Scherer W 1997 J. Phys. A 30 2825

    1997

  22. [30]

    Kuksin S B and Neishtadt A I 2013 Russian Mathematical Surveys 68 335 URL https://dx.doi.org/10.1070/RM2013v068n02ABEH004831

    2013 doi

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.