REVIEW 5 minor
Two-dimensional Toda--Arnoldi correspondence: Holomorphic Krylov geometry and counterdiabatic transport
T0 review · 0 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read The paper proves that in Arnoldi reduction of a non-Hermitian Hamiltonian, the diagonal and subdiagonal entries are exactly the Flaschka variables of a two-dimensional Toda lattice.
desk verdict Solid and new: the Toda–Arnoldi identification holds up; send to review with a request to substantiate the Chern-number table and tighten the breakdown section. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the Gram-determinant tau function of the finite two-dimensional Toda lattice built from holomorphically deformed Krylov vectors: $\tau_n = \det\big[\langle \psi(\bar z)|(H^\dagger)^j H^i|\psi(z)\rangle\big]_{i,j=0}^{n-1}$, which equals the squared volume of the exterior Krylov state $|\Psi_n\rangle\rangle$. The Desnanot–Jacobi identity places these determinants into the Hirota bilinear identity, and logarithmic derivatives define the Flaschka variables $a_n$, $b_n$. The load-bearing identity is Eq. (13), $a_n=\alpha_n$ and $b_n=\beta_n$, where $\alpha_n$ and $\beta_n$ are the diagonal and subdiagonal entries of $A=U^\dagger H U$; this identity is what transfers Toda, metric, curvature, and counterdiabatic content to the Arnoldi coefficients.
What would settle it
Take a non-Hermitian $H$ and a cyclic seed, and for many values of $z$ compute both the Arnoldi coefficients $\alpha_n,\beta_n$ and the Flaschka variables from $\tau_n=\det(K_n^\dagger K_n)$; if any $\alpha_n$ differs from $-\partial_z\ln(\tau_{n+1}/\tau_n)$ or any $\beta_n$ differs from $\sqrt{\tau_{n+1}\tau_{n-1}/\tau_n^2}$ while all $\tau_n>0$, the main theorem is false. A sharper check is to approach a point where Arnoldi breakdown lowers the Krylov dimension below $n$ and verify that $b_n^2$ either vanishes for the invariant subspace or that the Fubini–Study metric ceases to exist, matching the paper's three-site Chern-number prediction.
Extended reading notes
Core claim
At each value of $z$, with the normalized seed $|u_0\rangle = |\psi(z)\rangle/\sqrt{\tau_1}$, the diagonal entries $\alpha_n(z,\bar z)$ and subdiagonal entries $\beta_n(z,\bar z)$ of the Arnoldi matrix $A(z,\bar z) = U^\dagger H U$ coincide with the Flaschka variables $a_n(z,\bar z)$, $b_n(z,\bar z)$ defined from the Krylov Gram determinants $\tau_n$; this is Eq. (13) of the paper. The proof expresses the tau functions in the Arnoldi basis and compares logarithmic derivatives and ratios with the Flaschka formulas, with an independent QR-factorization proof in the appendix. Consequently $b_n^2$ equals both the Fubini–Study metric component $g^{(n)}_{z\bar z}$ and, up to sign, the Berry curvature $F_n$ of the $n$-th holomorphic Krylov subspace. The Toda equations close on these coefficients without determining the remaining upper-Hessenberg entries, and the frame connection supplies a Hermitian tridiagonal counterdiabatic generator when the Arnoldi matrix is diagonalizable with nondegenerate spectrum.
Load-bearing premise
The seed state must be cyclic for every $z$, meaning that $|\psi(z)\rangle, H|\psi(z)\rangle, \ldots, H^{D-1}|\psi(z)\rangle$ span the whole space, and the deformation must have the exact exponential form $|\psi(z)\rangle = e^{-zH}|\psi(0)\rangle$; without cyclicity some $\tau_n$ vanish and some Arnoldi vectors do not exist, and without the exponential form the Gram determinants do not satisfy the two-dimensional Toda bilinear identity.
Editorial extensions
If this is right
- The Toda equations $\partial_{\bar z} a_n = b_n^2 - b_{n+1}^2$ and $\partial_z b_n^2 = (a_{n-1}-a_n)b_n^2$ hold as exact identities for the Arnoldi coefficients throughout the cyclic region.
- The squared subdiagonal coefficient $b_n^2$ is the Fubini–Study speed of the $n$-dimensional Krylov subspace along the holomorphic parameter direction.
- Along any smooth real path in the cyclic region, $W(s)=U^\dagger(s)U(0)$ generates an exact isospectral evolution $i\dot A = [G_\gamma,A]$, preserving the spectrum and Jordan structure even when $A$ is nondiagonalizable.
- In the nondegenerate, diagonalizable case, the Arnoldi-frame generator $G_\gamma$ cancels transitions between instantaneous eigenspaces, so adding it to $A$ realizes exact counterdiabatic driving.
- In the Hermitian limit the construction reduces to the known Toda–Lanczos correspondence and to the standard Hermitian counterdiabatic term.
Reading between the lines
- The electrostatic reading in Appendix F suggests a measurable diagnostic: the circular mean of $\ln \tau_n$ is nondecreasing with radius, so probing $b_n^2$ along nested disks gives a monotone geometric charge that should be visible in any finite-dimensional non-Hermitian Krylov evolution.
- The Lax-pair form $(A,-iG_\gamma)$ indicates that exact counterdiabatic transport along closed paths in the cyclic region is an isospectral, time-parameterized Toda flow; protocols could be constructed by QR-based or inverse-scattering methods for the Arnoldi matrix rather than by diagonalizing $H$.
- If the correspondence extends to superoperator or Lindblad dynamics as the conclusion suggests, the $b_n^2$ identities could supply exact counterdiabatic terms for open-system state preparation where bi-Lanczos methods are currently approximate.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves a finite-dimensional Toda–Arnoldi correspondence. For a fixed, generally non-Hermitian Hamiltonian H and a cyclic seed |ψ(0)>, the holomorphic family |ψ(z)>=e^{-zH}|ψ(0)> is used to build Krylov Gram determinants τ_n(z,\bar z). The authors show that these τ_n satisfy the Hirota bilinear identity of the two-dimensional Toda lattice, and prove the Main Theorem (Eq. 13): the Arnoldi diagonal entries α_n and subdiagonal entries β_n coincide with the Toda Flaschka variables a_n and b_n. They then show that b_n^2 is the Fubini–Study metric component and (up to sign) the Berry curvature of the n-th holomorphic Krylov subspace, derive the Stokes relation (26), compute Chern numbers in a three-site non-Hermitian model including Arnoldi breakdown, and construct a Hermitian tridiagonal moving-frame generator G_γ that gives exact isospectral transport and cancels transitions between instantaneous eigenspaces of the Arnoldi matrix.
Significance. The result, if accepted, is significant: it extends the known Toda–Lanczos relation to general non-Hermitian Arnoldi reduction, gives the diagonal and subdiagonal Arnoldi data a precise integrable-system and geometric meaning without fixing the rest of the upper Hessenberg matrix, and supplies a concrete three-site model with quantized Chern numbers and a breakdown analysis. The paper is largely self-contained: the main theorem is proved directly and again via QR factorization in Appendix D, and the key identities (16), (17), (26), (54)–(55) and the Table I entries are explicit and check out. The construction has no free parameters, and its scope (cyclic seed, exponential holomorphic deformation) is stated precisely. I found no load-bearing flaw in the central derivation.
minor comments (5)
- [III.C, Table I] The typeset Table I has merged columns (e.g., "0 2−1 0" and "3−2−2"), making the entries for d_K, C1, and C2 ambiguous; please typeset the table with clear column separation and with "undefined" as a distinct entry.
- [III.C, Eq. (35)] Although the text states that Eq. (35) holds for 0≤θ<π/2, the right-hand side has the finite limit 1 as θ→π/2. A sentence explaining that this limit is not the value of b_2^2 because the second Arnoldi vector does not exist at θ=π/2 would remove an apparent contradiction.
- [IV, Eqs. (44)–(46)] The counterdiabatic interpretation is formulated in the moving Arnoldi frame; in the laboratory frame the evolution generated by A+G is simply free evolution under H. Please state this scope explicitly when using the term "counterdiabatic driving," so that readers do not infer that a modified physical Hamiltonian is being implemented in the original Hilbert space.
- [III.A, Eq. (24)] Please fix the orientation convention for dz∧d\bar z on Σ (e.g., dz∧d\bar z = -2i dx∧dy) so that the nonpositivity of C_n and the numerical values in Table I are unambiguous.
- [II.B, Eq. (16)] For n=1 the product over m=1 to 0 is empty; state the empty-product convention explicitly for clarity.
Circularity Check
No significant circularity: the Toda–Arnoldi correspondence is derived from independently defined quantities and the geometric and transport results follow by exact identities.
full rationale
The central claim, Eq. (13), identifies the Arnoldi coefficients alpha_n, beta_n with the Flaschka variables a_n, b_n defined from the Krylov Gram determinants tau_n through Eqs. (A19)-(A20). These two objects are defined independently: tau_n is a determinant built from iterates of H on the holomorphic seed state, while alpha_n and beta_n are defined by the Arnoldi orthonormalization. The proof expresses tau_n in terms of the Arnoldi coefficients, Eqs. (16)-(17), and then substitutes into the Flaschka definitions; no parameter is fitted and no quantity is renamed as a prediction. The result is corroborated by a separate QR-factorization argument in Appendix D, where beta_n^2 = tau_{n+1}tau_{n-1}/tau_n^2 and alpha_n = -partial_z ln(tau_{n+1}/tau_n) are obtained directly from det(K_n^dagger K_n). The geometric identifications b_n^2 = g^{(n)}_{z zbar} and F_n = -i b_n^2 dz wedge dzbar follow from the standard Kähler potential log tau_n and the Toda identity (A17), so they are exact consequences rather than circular inputs. The counterdiabatic generator G_gamma = -i U^dagger Udot is constructed as the frame connection, and the no-transition property is then verified by direct differentiation of the evolved state S(s) = U^dagger(s) e^{-iHs} U(0); this is an explicit identity, not an assumed prediction. The paper contains no load-bearing self-citations: the cited works on the two-dimensional Toda lattice and Toda-Lanczos correspondence are standard external references, and the non-Hermitian Arnoldi extension is proven in the text. The three-site Chern-number table is obtained by integrating explicit expressions for b_n^2, and the breakdown statements are supported by the rank argument in Appendix E. Overall, the derivation chain is self-contained and no step reduces by construction to its own inputs.
Assumptions & free parameters
assumptions (7)
- standard math Desnanot-Jacobi (Jacobi) determinant identity (A6)
- domain assumption Gram/moment determinants of the 2D Toda hierarchy are tau functions and define Flaschka variables through (A19) and (A20)
- domain assumption Cyclicity of the seed state |psi(0)> (Eq. (B3))
- domain assumption Holomorphic exponential deformation d_z |psi> = -H |psi> (Eqs. (1) and (3))
- standard math Smooth dependence of the QR and Arnoldi factors on (z, z-bar) in the cyclic region
- domain assumption Nondegenerate spectrum and complete biorthogonal eigenvector sets for the counterdiabatic claim (Eq. (47))
- standard math Standard projective and Grassmannian geometry facts (Plucker embedding, Fubini-Study metric, Chern classes)
Cite this review
Pith. "Pith review of Two-dimensional Toda--Arnoldi correspondence: Holomorphic Krylov geometry and counterdiabatic transport." pith.science (2026). https://pith.science/paper/35PWEQNN
@misc{pith2026260804850,
author = {Pith},
title = {Pith review of: Two-dimensional Toda--Arnoldi correspondence: Holomorphic Krylov geometry and counterdiabatic transport},
year = {2026},
howpublished = {\url{https://pith.science/paper/35PWEQNN}},
note = {Machine review of arXiv:2608.04850}
}
abstract
Although Arnoldi reduction of a generally non-Hermitian Hamiltonian yields an upper Hessenberg matrix rather than the tridiagonal form of Hermitian Lanczos theory, we show that a closed Toda sector survives in its diagonal and subdiagonal coefficients. For a fixed finite-dimensional Hamiltonian and a cyclic state vector deformed holomorphically, the Krylov Gram determinants are $\tau$ functions of the finite two-dimensional Toda lattice, whose Flaschka variables coincide exactly with these Arnoldi coefficients. The Toda dynamics therefore closes on this sector without determining the remaining upper Hessenberg entries. The subdiagonal part of the same sector also has a direct geometric meaning: the squared subdiagonal coefficients determine both the Fubini--Study metric and the Berry curvature of holomorphic Krylov subspaces, whereas the geometric quantities associated with subspaces lost at Arnoldi breakdown cease to be defined. Along a smooth real path in the cyclic region, the Arnoldi-frame connection further provides a Hermitian tridiagonal generator of exact isospectral transport. When added to the Arnoldi matrix, this generator cancels transitions between instantaneous eigenspaces and realizes counterdiabatic driving whenever the matrix is diagonalizable with a nondegenerate spectrum.
Figures
Figures from the paper (2 more)
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.