REVIEW 1 major objections 3 minor 15 references
On eigenvector statistics in the spherical and truncated unitary ensembles
T0 review · 1 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read In the spherical and truncated unitary ensembles, the diagonal eigenvector overlap, conditioned on the spectrum, is a product of independent random variables, and its scaled limit is the inverse of a gamma-2 distribution.
desk verdict The diagonal overlap results are a real contribution, but the off-diagonal formulas are wrong as printed and fail the paper's own trace identity. 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 mechanism is an induction on the Schur form $T = U^*GU$, the upper-triangular matrix with the spectrum on its diagonal. Biorthogonality fixes the left-eigenvector coefficients by the recurrence $b_{n+1} = (\lambda_1-\lambda_{n+1})^{-1}B_n u_{n+1}$, where $u_{n+1}$ collects the first $n$ entries of column $n+1$ of $T$, and the diagonal overlap is $O_{1,1} = \sum_{i=1}^N |b_i|^2$. The load-bearing identity is the determinant decomposition $\det(I_n + T_nT_n^*) = (1+|\lambda_n|^2)\,\det(I_{n-1}+T_{n-1}T_{n-1}^*)\,\left(1 + (1+|\lambda_n|^2)^{-1} u_n^* H_{n-1}^{-1}u_n\right)$, with a minus-sign analogue for the truncated unitary case. Integrating out $u_{n+1}$ against the Schur density turns $|B_n u_{n+1}|^2/\|B_n\|^2$ into an independent scalar variable, so each overlap increment is an independent multiplicative factor and the factors telescope into (2.13) and (3.9). The limit proofs then use a radial independence property of such eigenvalue densities, under which the squared moduli conditioned on $\lambda_1=0$ are independent generalized-gamma or $\beta$ variables, and a diagonal selection lemma that finds a cutoff $k_N$ after which the tail factors collapse to 1 while the early factors converge to the Ginibre product with limit $\gamma_2$.
What would settle it
Numerically sample $\mathrm{Sph}(N)$ and $\mathrm{TUE}(N,N)$ for large $N$, collect eigenvalues in a small disk around 0, and compare $O_{1,1}/N$ for those eigenvalues with the inverse-gamma-2 law, checking the $x^{-3}$ tail; for $\mathrm{Sph}(N)$ repeat in a small disk around a nonzero $z$. If the limit differs between ensembles, has a different tail exponent, or changes with $z$ in the spherical case, Theorem 1.1 is wrong.
Extended reading notes
Core claim
The central discovery is a distributional factorization. For the spherical ensemble, conditionally on $\Lambda = (\lambda_1,\dots,\lambda_N)$, one has $$O_{1,1} \stackrel{d}{=} \prod_{k=2}^N \left(1 + \frac{(1+|\lambda_1|^2)(1+|\lambda_k|^2)}{|\lambda_1-\lambda_k|^2} $X_N^{{(k)}}$\right),$$ with the $X_N^{(k)}$ i.i.d. with density $(N+1)/(1+x)^{N+2}$ on $\mathbb{R}_+$. The truncated unitary analogue replaces $1+|\lambda|^2$ by $1-|\lambda|^2$, the $X$'s by $\mathrm{Beta}(1,M-1)$ variables, and the prefactor $N$ by $M$. Theorem 1.1 then establishes that for the spherical ensemble, conditionally on $\lambda_1 = z$ for any $z\in\mathbb{C}$, $\mathbb{E}\,O_{1,1} = N$ and $N^{-1}O_{1,1} \to 1/\gamma_2$ in distribution; Propositions 2.8 and 3.7 give the same $1/\gamma_2$ limit at the origin for both ensembles. The same machinery yields exact quenched expectations for off-diagonal overlaps and for $N^{-1}\operatorname{Tr} G^*G$, displayed in Table 1.
Load-bearing premise
The whole computation assumes the stated joint density for the upper-triangular coordinates (the Schur form) of the spherical and truncated unitary matrices, including the support condition for the truncation; if either density is wrong or has an unstated support restriction, the product decompositions and the inverse-gamma limits fail.
Editorial extensions
If this is right
- For both $\mathrm{Sph}(N)$ and $\mathrm{TUE}(N,M)$ with $N\le M$, the diagonal overlap of an eigenvalue pinned at 0, divided by $N$, converges in distribution to $1/\gamma_2$, the same law as in the complex Ginibre ensemble.
- In the spherical ensemble, conditioning on any other fixed $z\in\mathbb{C}$ gives the same limit and the exact identity $\mathbb{E}(O_{1,1}\mid\lambda_1=z)=N$, so the conditional law is rotationally invariant on the sphere.
- The quenched formulas for diagonal overlaps, off-diagonal overlaps, and $N^{-1}\operatorname{Tr}G^*G$ are exact for every $N$ (and, in the TUE case, every $M\ge N$), with the three columns of Table 1 linked by the identity $\operatorname{Tr}GG^* = \sum_{i,j}\lambda_i\overline{\lambda_j}O_{i,j}$.
- The diagonal overlap is deterministically at least 1 and typically of order $N$, so the normalized variable has finite low moments but a heavy tail, signalling large fluctuations in eigenvector non-orthogonality even in the bulk.
Reading between the lines
- Because $O_{1,1} = \|L_1\|^2\|R_1\|^2$, the theorem translates into a universal statement about squared eigenvalue condition numbers: for an eigenvalue pinned at 0, $N^{-1}\kappa_1^2$ converges to $1/\gamma_2$ in all three ensembles.
- The proof-by-comparison with the Ginibre ensemble suggests a broader universality class: any ensemble whose Schur form has the same rank-one determinant structure after conditioning should show the same $x^{-3}$ tail, which could be tested on elliptic or weakly non-Hermitian deformations.
- For $\mathrm{TUE}(N,M)$, the origin limit is insensitive to the growth rate of $M$ relative to $N$; in the bulk one expects the scaling factor to involve the local density and the distance to the unit-circle boundary, a prediction that numerical simulation of $\mathrm{TUE}(N,cN)$ with several values of $c$ could check.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the diagonal and off-diagonal overlaps between left and right eigenvectors for the spherical ensemble Sph(N) and the truncated unitary ensemble TUE(N,M). Conditionally on the full spectrum, the diagonal overlap O_{1,1} is shown to factor as a product of independent random variables (Theorem 2.6 for Sph, Theorem 3.5 for TUE), and this yields quenched expectation formulas. At the origin, the conditional expectation of O_{1,1} is exactly N (Propositions 2.7 and 3.6), and the scaled overlap N^{-1}O_{1,1} converges in distribution to 1/γ_2 (Propositions 2.8 and 3.7). For the spherical ensemble the same inverse-gamma limit is obtained conditionally on any eigenvalue z, and E(O_{1,1}|λ_1=z)=N for every z (Theorem 1.1). The paper also gives formulas for quenched expectations of off-diagonal overlaps and for E_Λ Tr GG* (Theorems 2.11 and 3.8, Propositions 2.12 and 3.9, and Table 1). The diagonal-overlap results are the core of the paper; the off-diagonal expectation formulas, however, are incorrect as printed, as detailed below.
Significance. If corrected, the diagonal-overlap results are significant: they extend the known Ginibre overlap decomposition to two further integrable non-Hermitian ensembles, establish an exact N-independent conditional expectation at the origin via a telescoping product, and support the emerging universality of the heavy-tailed inverse-γ_2 limit for scaled diagonal overlaps. The proof method is clean and self-contained given three imported inputs: the Schur-form densities from [9], the TUE eigenvalue density from [14], and the Kostlan property from [11,12]. The exact identity E_{\lambda_1=0}O_{1,1}=N and the z-independence in the spherical case are particularly attractive. These central diagonal claims appear sound. The off-diagonal formulas in Theorem 2.11, Theorem 3.8 and Table 1 are inconsistent with the trace identity (1.10) and with the paper's own trace formulas, so the paper's secondary advertised contribution needs correction before the manuscript is complete.
major comments (1)
- [Theorem 2.11, Theorem 3.8, Table 1] The off-diagonal quenched expectations are incorrect as printed. In the proof of Theorem 2.11 the base step states that |u_2|^2 \stackrel{d}{=} X_N and concludes E_Λ O^{(2)}_{1,2} = -1/(N|λ_1-λ_2|^2). But the proof of Theorem 2.6, specifically equation (2.15) with d=1, gives |u_2|^2 \stackrel{d}{=} (1+|λ_1|^2)(1+|λ_2|^2) X_N, not X_N. The correct initial value is therefore -(1+|λ_1|^2)(1+|λ_2|^2)/(N|λ_1-λ_2|^2), and the analogous factor (1-|λ_1|^2)(1-|λ_2|^2)/M is missing from Theorem 3.8. As a consistency check, for Sph(2) with λ_1=1, λ_2=1+i the printed formulas together with the correct trace identity ∑ λ_i \bar λ_j O_{i,j} and the diagonal expectations O_{11}=O_{22}=4 give E_Λ Tr GG* = 11, whereas Proposition 2.12 gives Tr = 6; inserting the missing prefactor restores 6. Because the abstract advertises formulas for off-diagonal overlaps, this is a load-bearing error. The defect appears localized: the induction after the base step needs only the corrected initial value (together with the conjugates required by (1.2)), so the diagonal theorems are not affected.
minor comments (3)
- [Section 1.4.1, Eq. (1.14)] The expression O_{1,2}=-b_2\sum b_i d_i is inconsistent with the definition (1.2); the correct form should be -\bar b_2\sum b_i \bar d_i (or an explicitly stated equivalent convention). As printed, the base value -b_2^2 is not equal to -|b_2|^2, which is used immediately afterwards in the proof of Theorem 2.11.
- [Eq. (1.10) and Table 1] The trace identity should read Tr GG* = \sum_{i,j} λ_i \bar λ_j O_{i,j}; the missing conjugates also appear in the product factors of (2.19), (3.12) and Table 1, where the printed (λ_2-λ_k) and (1+λ_1λ_2) should be (\bar λ_2-\bar λ_k) and (1+λ_1\bar λ_2). Please make the overline convention uniform.
- [Lemma 2.9 and Proposition 2.8] The selection of the cut-off k_n via Lemma 2.9 is non-constructive and gives no rate; the proof is valid, but it would be helpful to state explicitly that Proposition 2.8 and its TUE analogue inherit this non-quantitative feature.
Circularity Check
No circularity: the derivation is self-contained from external Schur-form densities, eigenvalue densities, and Kostlan's property.
full rationale
The paper's derivation chain starts from imported, externally grounded inputs: the Schur-form densities (2.1) and (3.1) from Forrester–Krishnapur [9], the TUE eigenvalue density (3.7) from Życzkowski–Sommers [14], and Kostlan's property from [11,12]. The central product decompositions in Theorems 2.6 and 3.5 are obtained by explicit column-by-column integration of these densities using Lemmas 2.2, 2.16, 3.2, and 3.12; the auxiliary variables X_N and Y_M are defined independently and their means are computed, not fitted to the overlap distributions. The limit theorems in Propositions 2.8 and 3.7 use the nonconstructive Lemma 2.9 and compare moments with the complex Ginibre case from [3]; this comparison is to an external published result and serves only to identify the limiting distribution, not to insert the spherical or truncated-unitary conclusion. Proposition 2.10 uses spherical symmetry directly from the eigenvalue density. No parameter is fitted and then called a prediction, no uniqueness theorem is imported from the author's own prior work, and no ansatz is smuggled in through a self-citation. The off-diagonal expectation formulas in Theorems 2.11 and 3.8 appear inconsistent with the trace identity (1.10) and with Propositions 2.12 and 3.9 due to a missing prefactor, but this is a mathematical correctness issue internal to the proof, not circularity: the recurrence argument itself is self-contained and does not presuppose the claimed formula. Overall, the core derivations do not reduce to their inputs by construction.
Assumptions & free parameters
assumptions (4)
- domain assumption Schur form density of Sph(N): proportional to product_{i<j} |lambda_i - lambda_j|^2 det(I_N + TT*)^(-2N) (eq. 2.1)
- domain assumption Schur form density of TUE(N,M): proportional to product_{i<j} |lambda_i - lambda_j|^2 det(I_N - TT*)^(M-N) on the set TT* < 1 (eq. 3.1)
- standard math Kostlan property (Propositions 1.2 and 1.3): for a point process with joint density (1.16), the squared radii {|lambda_k|^2} are independent generalized gamma variables gamma_V(k), including conditionally on lambda_1 = 0
- domain assumption Eigenvalue density of TUE(N,M): proportional to product |lambda_i - lambda_j|^2 product (1 - |lambda_i|^2)^(M-1) (Theorem 3.4, cited to Zyczkowski and Sommers [14])
Cite this review
Pith. "Pith review of On eigenvector statistics in the spherical and truncated unitary ensembles." pith.science (2026). https://pith.science/paper/TTQKTT5W
@misc{pith2026190806713,
author = {Pith},
title = {Pith review of: On eigenvector statistics in the spherical and truncated unitary ensembles},
year = {2026},
howpublished = {\url{https://pith.science/paper/TTQKTT5W}},
note = {Machine review of arXiv:1908.06713}
}
abstract
We study the overlaps between right and left eigenvectors for random matrices of the spherical and truncated unitary ensembles. Conditionally on all eigenvalues, diagonal overlaps are shown to be distributed as a product of independent random variables. This enables us to prove that the scaled diagonal overlaps, conditionally on one eigenvalue, converge in distribution to a heavy-tail limit, namely, the inverse of a $\gamma_2$ distribution. These results are analogous to what is known for the complex Ginibre ensemble. We also provide formulae for the conditional expectation of diagonal and off-diagonal overlaps, with respect to all eigenvalues.
Reference graph
Works this paper leans on
-
[9]
P. J. Forrester and M. Krishnapur, Derivation of an eigenvalue probability density function relating to the Poincaré disk, J. Phys. A42 (2009), no. 38, 385204, 10
work page 2009
-
[14]
K. Życzkowski and H.-J. Sommers,Truncations of random unitary matrices , J. Phys. A 33 (2000), no. 10, 2045–2057
work page 2000
-
[1]
On the determinantal structure of conditional overlaps for the complex Ginibre ensemble
G. Akemann, R. Tribe, A. Tsareas, and O. Zaboronski,On the determinantal structure of conditional overlaps for the complex Ginibre ensemble , arXiv preprint arXiv:1903.09016 (2019)
work page Pith review arXiv 2019
-
[2]
S. Belinschi, M. A. Nowak, R. Speicher, and W. Tarnowski,Squared eigenvalue condition numbers and eigenvector correlations from the single ring theorem , Journal of Physics A: Mathematical and Theoretical50 (2017), no. 10, 105204
work page 2017
-
[3]
The distribution of overlaps between eigenvectors of Ginibre matrices
P. Bourgade and G. Dubach, The distribution of overlaps between eigenvectors of Ginibre matrices , eprint arXiv:1801.01219 (2018)
work page Pith review arXiv 2018
-
[4]
J. T. Chalker and B. Mehlig,Eigenvector statistics in non-Hermitian random matrix ensembles , Phys. Rev. Lett. 81 (1998), no. 16, 3367–3370
work page 1998
-
[5]
, Statistical properties of eigenvectors in non-Hermitian Gaussian random matrix ensembles , J. Math. Phys. 41 (2000), no. 5, 3233–3256
work page 2000
-
[6]
Eigenvector correlations in the complex Ginibre ensemble
N. Crawford and R. Rosenthal, Eigenvector correlations in the complex Ginibre ensemble , arXiv preprint arXiv:1805.08993 (2018)
work page Pith review arXiv 2018
Show all 15 references
-
[7]
Dubach, Powers of Ginibre Eigenvalues , Electron
G. Dubach, Powers of Ginibre Eigenvalues , Electron. J. Probab.23 (2018), 1–31
2018
-
[8]
, Symmetries of the Quaternionic Ginibre Ensemble , arXiv preprint arXiv:1811.03724 (2018)
2018 arXiv
-
[10]
Y. V. Fyodorov, On statistics of bi-orthogonal eigenvectors in real and complex ginibre ensembles: combining partial schur decomposition with supersymmetry , Communications in Mathematical Physics363 (2018), no. 2, 579–603
2018
-
[11]
J. B. Hough, M. Krishnapur, Y. Peres, and B. Virág,Determinantal processes and independence, Probab. Surv. 3 (2006), 206–229
2006
-
[12]
Kostlan, On the spectra of Gaussian matrices , Linear Algebra Appl.162/164 (1992), 385–388
E. Kostlan, On the spectra of Gaussian matrices , Linear Algebra Appl.162/164 (1992), 385–388. Directions in matrix theory (Auburn, AL, 1990)
1992
-
[13]
M. A. Nowak and W. Tarnowski,Probing non-orthogonality of eigenvectors in non-Hermitian matrix models: diagrammatic approach, Journal of High Energy Physics2018.6 (2018), 152
2018
-
[15]
Walters and S
M. Walters and S. Starr,A note on mixed matrix moments for the complex Ginibre ensemble , J. Math. Phys.56 (2015), no. 1, 013301, 20. 27
2015
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.