REVIEW 3 major objections 4 minor 3 cited by
The adiabatic theorem holds for non-Hermitian systems whose eigenvalues are real and non-degenerate.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · deepseek-v4-flash
2026-08-04 00:27 UTC pith:GPSYJYXF
load-bearing objection A genuinely new Kato-style adiabatic proof for non-Hermitian systems with non-degenerate real eigenvalues; the math is sound but the stated hypotheses are too weak and the abstract overclaims. the 3 major comments →
The adiabatic theorem for non-Hermitian quantum systems with real eigenvalues and the complex geometric phase
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Consider a non-Hermitian Hamiltonian H(s) with non-degenerate real eigenvalues λ_j(s) and right/left eigenvectors v_j(s), ξ_j(s) satisfying ξ_j† v_i = δ_{ij}. The paper proves that the solution of i d/ds U_T(s) = T H(s) U_T(s) with U_T(0)=I obeys U_T(s) v_j(0) → e^{-iT∫_0^s λ_j(σ)dσ} e^{-∫_0^s ⟨ξ_j(σ)| v̇_j(σ)⟩dσ} v_j(s) as T→∞, uniformly on s∈[0,1]. The first exponential is the dynamic phase; the second is the complex Berry phase. The proof rewrites the gauge-transformed evolution operator so that its derivative is O(1/T), and uses the Grönwall inequality to show that U_T and its inverse remain bounded independent of T. This establishes the adiabatic theorem for this class of non-Hermitian
What carries the argument
The central object is the biorthogonal projector π_j(s) = v_j(s) ξ_j†(s), with ξ_j the left eigenvector normalized so ξ_j† v_i = δ_{ij}. The connection ⟨ξ_j|v̇_j⟩ gives the complex Berry phase; it appears in the gauge factor e^{-∫ ⟨ξ_j|v̇_j⟩ dσ} that parallel-transports the eigenvector. The proof follows the original adiabatic-theorem strategy of decomposing the evolution into the instantaneous eigenbasis, but uses biorthogonal projectors instead of orthogonal ones and invokes the Grönwall inequality to establish uniform bounds on U_T(s) and U_T^{-1}(s), which are no longer unitary. The reality of the eigenvalues ensures the dynamical phase factors e^{iT∫λ_j} stay bounded, a key step that fa
Load-bearing premise
The proof requires that the Hamiltonian, its eigenvalues, and its eigenvectors are at least once continuously differentiable in the adiabatic parameter, so that all derivatives and the inverse of the eigenvector matrix are finite and bounded; it also requires the eigenvalues to remain real throughout the evolution.
What would settle it
For a two-level non-Hermitian Hamiltonian with real non-degenerate eigenvalues, such as H(s) = [[1, i s], [-i s, 1]], numerically integrate the Schrödinger equation at large T and check whether the transition probability to the other eigenstate vanishes as 1/T; if it does not, the theorem is false.
If this is right
- Adiabatic following is guaranteed for any diagonalizable non-Hermitian Hamiltonian with a real non-degenerate spectrum, so a slowly varying such system cannot leave the instantaneous eigenstate.
- The complex Berry phase is a well-defined, gauge-invariant part of the adiabatic phase for non-Hermitian evolutions, and it cannot be gauged away in cyclic processes.
- The proof covers both Abelian and non-Abelian cases, so degenerate subspaces can be treated with the same biorthogonal machinery.
- The uniform boundedness of U_T(s) and its inverse implies the adiabatic limit is approached at an algebraic rate (O(1/T)) under the stated smoothness assumptions.
Where Pith is reading between the lines
- Beyond the paper: the proof's assumptions suggest the theorem should also hold for any diagonalizable non-Hermitian Hamiltonian with a purely real spectrum, even without PT symmetry; this is readily testable numerically.
- Beyond the paper: in open quantum systems where the effective non-Hermitian Hamiltonian in the no-jump sector has real energies, this theorem provides a rigorous basis for adiabatic state-transfer and holonomic quantum gates.
- Beyond the paper: because the connection ⟨ξ_j|v̇_j⟩ is generally complex, a closed cycle in parameter space may accumulate a geometric phase with a non-zero imaginary part, offering a possible new topological invariant for non-Hermitian bands with real spectrum.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims to prove an adiabatic theorem for non-Hermitian Hamiltonians H(s) with non-degenerate real eigenvalues. For a biorthogonal eigenvector pair (v_j(s), ξ_j(s)), it asserts that the evolution generated by i dU_T/ds = T H(s) U_T(s) satisfies U_T(s)v_j(0) → e^{-iT∫_0^s λ_j(σ)dσ} e^{-∫_0^s ⟨ξ_j(σ)|\dot v_j(σ)⟩dσ} v_j(s) as T→∞, provided the initial state is v_j(0). The proof follows Kato's structure: a spectral inverse S(s) is defined in Eq. (6), identities (7)–(16) reduce the evolution to a rapidly oscillating integral, integration by parts in Eq. (17) isolates the 1/T error, and Grönwall estimates in §III.B are used to prove uniform boundedness of U_T and U_T^{-1}. The paper also discusses gauge invariance of the resulting complex Berry phase and contrasts the argument with Kato's Hermitian proof.
Significance. If established, the result is a useful extension of the adiabatic theorem to a class of non-Hermitian systems, and it gives a principled derivation of a complex Berry phase for such systems. The proof is self-contained, uses no fitted parameters, and the Grönwall-bounding strategy is a genuine strength; the algebraic identities in §III are mostly consistent. However, the theorem as stated is broader than the hypotheses actually used: the manuscript never states the required smoothness of H(s) or of the eigenvectors, nor the finite-dimensional setting, and the non-Abelian claim in the abstract is not proved. These issues are load-bearing but appear fixable by stating and using the needed regularity assumptions.
major comments (3)
- [§III, Eq. (17)] The integration by parts in Eq. (17) is the central step that produces the 1/T decay, but it is justified only if S(σ)d_σ[\tilde v_j(σ)] is absolutely continuous. Since d_σ[\tilde v_j] = e^{-∫⟨ξ_j|\dot v_j⟩}(\dot v_j - ⟨ξ_j|\dot v_j⟩ v_j), its derivative contains \ddot v_j and \dot ξ_j. The proof therefore requires v_j ∈ C^2 (and correspondingly H ∈ C^2 with a uniform spectral gap) so that such a smooth eigenvector choice exists. The manuscript only assumes non-degenerate real eigenvalues. As written, the O(1/T) remainder estimate is unproved under the stated hypotheses. This is a load-bearing regularity gap.
- [§III.A–III.B] The proof repeatedly uses matrices V(s), \tilde V(s), Ξ(s) and their inverses, and assumes their norms and derivatives are bounded independently of T. These properties require explicit hypotheses: a finite-dimensional Hilbert space (or strong infinite-dimensional substitutes), continuity / differentiability of the spectral data, and a positive gap min_{s,i≠j}|λ_i(s)-λ_j(s)|>0 on s∈[0,1]. None of this is stated before Eq. (3). Please state the precise regularity and dimensionality assumptions at the start of §III, or give an infinite-dimensional version with appropriate resolvent bounds.
- [Abstract; §IV] The abstract claims that the proof justifies a complex Berry phase 'in both Abelian and non-Abelian cases,' but the body treats only a single non-degenerate level j. No non-Abelian (matrix-valued, multi-level or degenerate) Berry phase is defined or derived. A non-Abelian result would require a different argument involving degenerate subspaces and non-Abelian holonomies. Please either add the non-Abelian derivation or remove this claim from the abstract.
minor comments (4)
- [Throughout] There are several typos and infelicities: 'somewhtat' in §IV, 'adsorbed' for 'absorbed' in Appendix A, and the abstract's 'the theorem' should be 'the theorems' or 'the adiabatic theorem.'
- [Eq. (19)] The integration variable in the exponential phase is written as dσ in Eq. (18) and as dr in Eq. (19); please make the notation uniform.
- [§III.B] The statement 'Since Ξ(s) is continuous and E_T(s) is unitary' also requires Ξ^†(s) to be invertible with bounded inverse on [0,1]. This follows from non-degeneracy and finite dimensionality but should be stated.
- [§III] The phrase 'functional calculus for biorthogonal systems' is not used in the proof; the argument uses explicit spectral decompositions rather than functional calculus. Consider rephrasing to avoid overclaiming.
Circularity Check
No circularity: the adiabatic limit is proved from the Schrödinger equation via Kato-type identities and Grönwall estimates, with the complex Berry phase emerging as an output rather than an input.
full rationale
The derivation is self-contained. The main result, Eq. (19), is obtained by deriving the exact identities in Eqs. (10), (12), and (16), then applying integration by parts and the Grönwall inequality. No parameter is fitted to data, no prior adiabatic theorem is assumed, and the complex Berry phase is generated by the calculation: the vector ṽ_j(s) is introduced as e^{-∫⟨ξ_j|v̇_j⟩}v_j(s), and the proof shows that U_T(s)v_j(0) converges to e^{-iT∫λ_j} times exactly this transported vector. The boundedness estimates in Eqs. (23) and (26) rely only on continuity of the eigenvector matrices and the real-eigenvalue hypothesis, which makes E_T(s) modulus-one diagonal phases; this is a stated hypothesis of the theorem, not a hidden importation of the conclusion. The paper's use of Kato, Messiah, and Grönwall is standard external mathematical support, and there is no self-citation chain carrying the argument. The concerns raised in review, such as the silent need for C^2 eigenvectors in the integration-by-parts step (17), are regularity/rigor gaps about the proof's hypotheses, not circularity: they do not mean the theorem is equivalent to its inputs or that the prediction is forced by construction. The manuscript is an independent proof, so the honest finding is no significant circularity.
Axiom & Free-Parameter Ledger
axioms (4)
- domain assumption H(s) is a differentiable family of diagonalizable matrices with non-degenerate real eigenvalues λ_i(s) for all s∈[0,1].
- domain assumption The eigenvectors v_i(s) and biorthogonal vectors ξ_i(s) can be chosen smoothly; the matrix V(s) is invertible with bounded inverse on [0,1].
- standard math Grönwall inequality (Appendix B) is valid for the integral inequalities (23) and (26).
- standard math E_T(s) is unitary when λ_j(s) are real; used in bounding ∥E_T A E_T†∥ = ∥A∥.
read the original abstract
The adiabatic theorem is one of the most interesting and significant theorems in quantum mechanics. However, the adiabatic theorem can fail for general non-Hermitian quantum systems. In this paper, by utilizing the complex geometric phase, the functional calculus for biorthogonal systems and the Gr\"{o}nwall inequality, we prove rigorously that the adiabatic theorem is still valid for diagonalizable non-Hermitian systems with real eigenvalues. The proof also justifies the definition of a complex Berry phase for non-Hermitian systems, in both Abelian and non-Abelian cases.
Forward citations
Cited by 3 Pith papers
-
Non-Hermitian Quantum Adiabatic Algorithm
A history-decoupled Hamiltonian mapping makes non-Hermitian adiabatic quantum optimization pseudospectrally stable, achieving polynomial-time (per configuration) evolution on the CK maximum-independent-set benchmarks.
-
Shortcuts to Adiabaticity for non-Hermitian systems in Krylov Space
A diagonalization-free Krylov (bi-Lanczos/Arnoldi) construction yields exact or truncated adiabatic gauge potentials for non-Hermitian STA, reducing them to sparse matrix equations that suppress nonadiabatic excitatio...
-
ResRank: Unifying Retrieval and Listwise Reranking via End-to-End Joint Training with Residual Passage Compression
ResRank unifies retrieval and listwise reranking by compressing passages to one token each, using residual connections and cosine-similarity scoring, achieving competitive effectiveness on TREC DL and BEIR benchmarks ...
Reference graph
Works this paper leans on
-
[1]
Kato, Journal of the Physical Society of Japan5, 435 (1950)
T. Kato, Journal of the Physical Society of Japan5, 435 (1950)
1950
-
[2]
Born and V
M. Born and V . Fock, Zeitschrift für Physik51, 165 (1928)
1928
-
[3]
J. E. Avron and A. Elgart, Communications in mathemat- ical physics203, 445 (1999)
1999
-
[4]
Tong, Physical review letters104, 120401 (2010)
D. Tong, Physical review letters104, 120401 (2010)
2010
-
[5]
M. V . Berry, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences392, 45 (1984)
1984
-
[6]
Farhi, J
E. Farhi, J. Goldstone, S. Gutmann, J. Lapan, A. Lund- gren, and D. Preda, Science292, 472 (2001)
2001
-
[7]
C. M. Bender and S. Boettcher, Phys. Rev. Lett.80, 5243 (1998)
1998
-
[8]
C. M. Bender, Rep. Prog. Phys.70, 947 (2007)
2007
-
[9]
Mostafazadeh, Int
A. Mostafazadeh, Int. J. Geom. Methods Mod. Phys.7, 1191 (2010)
2010
-
[10]
Ashida, Z
Y. Ashida, Z. Gong, and M. Ueda, Advances in Physics 69, 249 (2020)
2020
-
[11]
Yao and Z
S. Yao and Z. Wang, Phys. Rev. Lett.121, 086803 (2018)
2018
-
[12]
S. Yao, F. Song, and Z. Wang, Phys. Rev. Lett.121, 136802 (2018)
2018
-
[13]
V . M. Alvarez, J. B. Vargas, and L. F. Torres, Physical Review B97, 121401 (2018)
2018
-
[14]
¸ S. K. Özdemir, S. Rotter, F. Nori, and L. Yang, Nature materials18, 783 (2019)
2019
-
[15]
F. Song, S. Yao, and Z. Wang, Phys. Rev. Lett.123, 170401 (2019)
2019
-
[16]
F. Song, S. Yao, and Z. Wang, Phys. Rev. Lett.123, 246801 (2019)
2019
-
[17]
Longhi, Phys
S. Longhi, Phys. Rev. Research1, 023013 (2019)
2019
-
[18]
Berry and R
M. Berry and R. Uzdin, Journal of Physics A: Mathemat- ical and Theoretical44, 435303 (2011)
2011
-
[19]
Gong, Q.-h
J. Gong, Q.-h. Wang,et al., Physical Review A99, 012107 (2019)
2019
-
[20]
Messiah,Quantum mechanics(Courier Corporation, 2014)
A. Messiah,Quantum mechanics(Courier Corporation, 2014)
2014
-
[21]
Garrison and E
J. Garrison and E. M. Wright, Physics Letters A128, 177 (1988)
1988
-
[22]
T. H. Gronwall, Annals of Mathematics20, 292 (1919)
1919
-
[23]
Bellman, Duke Math
R. Bellman, Duke Math. J.10, 643 (1943)
1943
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.