pith. sign in

arxiv: 2601.10427 · v2 · pith:AKYAM3RVnew · submitted 2026-01-15 · ❄️ cond-mat.dis-nn · math-ph· math.MP· math.PR

The eigenvalues and eigenvectors of finite-rank normal perturbations of large rotationally invariant non-Hermitian matrices

Pith reviewed 2026-05-16 14:11 UTC · model grok-4.3

classification ❄️ cond-mat.dis-nn math-phmath.MPmath.PR
keywords non-Hermitian random matricesfinite-rank perturbationsoutlier eigenvalueseigenvector statisticsspectral analysisrandom matrix ensembles
0
0 comments X

The pith

Finite-rank normal perturbations create outlier eigenvalues outside the bulk spectrum of large rotationally invariant non-Hermitian random matrices.

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

The paper analyzes how adding a finite-rank normal perturbation T to a large rotationally invariant non-Hermitian random matrix A leads to the appearance of isolated outlier eigenvalues. It derives the locations of these outliers, their fluctuation statistics, and the behavior of the corresponding eigenvectors. A sympathetic reader would care because this provides explicit predictions for spectral features in non-Hermitian random matrix models common in physics and machine learning. If true, such models allow reliable identification of dominant eigenvalues without needing to diagonalize the full matrix.

Core claim

We study finite-rank normal deformations of rotationally invariant non-Hermitian random matrices. We characterize the emergence and fluctuations of outlier eigenvalues in models of the form A + T, where A is a large rotationally invariant non-Hermitian random matrix and T is a finite-rank normal perturbation. We also describe the corresponding eigenvector behavior. Our results provide a unified framework encompassing both Hermitian and non-Hermitian settings, thereby generalizing several known cases.

What carries the argument

The finite-rank normal perturbation T that interacts with the bulk spectrum of A to produce isolated eigenvalues whose positions solve a fixed-point equation involving the resolvent of A.

Load-bearing premise

The matrix A must be rotationally invariant and T must be both normal and finite-rank for the outlier characterization to hold.

What would settle it

For a specific large matrix A drawn from the circular law ensemble and a rank-one normal T with eigenvalue lambda, the largest eigenvalue of A + T should be approximately lambda if |lambda| is large enough, and deviate from the bulk edge otherwise.

read the original abstract

We study finite-rank normal deformations of rotationally invariant non-Hermitian random matrices. Extending the classical Baik-Ben Arous-P\'ech\'e (BBP) framework, we characterize the emergence and fluctuations of outlier eigenvalues in models of the form $\mathbf{A} + \mathbf{T}$, where $\mathbf{A}$ is a large rotationally invariant non-Hermitian random matrix and $\mathbf{T}$ is a finite-rank normal perturbation. We also describe the corresponding eigenvector behavior. Our results provide a unified framework encompassing both Hermitian and non-Hermitian settings, thereby generalizing several known cases.

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.

Referee Report

0 major / 2 minor

Summary. The manuscript extends the Baik-Ben Arous-Péchè (BBP) framework to finite-rank normal perturbations T of large rotationally invariant non-Hermitian random matrices A. It characterizes the locations, emergence thresholds, and fluctuations of outlier eigenvalues of A + T together with the associated eigenvector behavior, yielding a unified treatment that recovers known Hermitian results as special cases.

Significance. If the derivations hold, the work is significant: it supplies explicit, testable characterizations of outliers and eigenvectors under the stated invariance and normality conditions, thereby closing a gap between Hermitian BBP theory and its non-Hermitian counterparts that appear in applications such as neural-network spectra and open quantum systems. The parameter-free nature of the limiting formulas (once the rotational invariance of A is fixed) is a notable technical strength.

minor comments (2)
  1. [Abstract] Abstract: the phrase 'rotationally invariant' is used without a one-sentence definition; adding the precise invariance assumption (e.g., the joint distribution of entries is invariant under unitary conjugation) would clarify the scope for readers unfamiliar with the non-Hermitian literature.
  2. [Introduction] The manuscript would benefit from an explicit statement, early in the introduction, of the precise moment or tail conditions imposed on the entries of A to guarantee the circular-law convergence that underpins the outlier analysis.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, the recognition of the unified framework, and the recommendation of minor revision. No specific major comments appear in the report, so we have no point-by-point revisions to propose at this stage. We remain ready to incorporate any minor suggestions once they are communicated.

Circularity Check

0 steps flagged

Derivation self-contained; no circular reductions identified

full rationale

The paper extends the classical BBP framework to characterize outlier eigenvalues and eigenvectors for A + T where A is large rotationally invariant non-Hermitian and T is finite-rank normal. The stated conditions (rotational invariance of A, normality and finite rank of T) are explicit modeling assumptions required for the formulas to hold, not derived quantities. No self-definitional equations, fitted parameters renamed as predictions, or load-bearing self-citations that collapse the central claim to its inputs appear in the provided abstract or description. The unification of Hermitian and non-Hermitian cases is presented as an extension of prior independent results without internal reduction to fitted inputs or self-referential definitions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the rotational invariance of the unperturbed matrix and the normality plus finite rank of the perturbation; these are domain assumptions standard in random-matrix theory but not independently verified in the abstract.

axioms (2)
  • domain assumption The unperturbed matrix A is rotationally invariant
    Stated directly in the abstract as the model class under study.
  • domain assumption The perturbation T is normal and of finite rank
    Required for the outlier characterization to apply.

pith-pipeline@v0.9.0 · 5406 in / 1251 out tokens · 55033 ms · 2026-05-16T14:11:27.613458+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 3 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. BBP transition and the leading eigenvector of the spiked Wigner model with inhomogeneous noise

    cond-mat.dis-nn 2026-04 unverdicted novelty 7.0

    For a spiked Wigner model with power-law inhomogeneous noise variances, the BBP transition is non-monotonic and inhomogeneous noise can enhance signal detectability.

  2. Quantum many-body operator cascade as a route to chaos

    cond-mat.stat-mech 2026-04 unverdicted novelty 6.0

    Local operators in quantum chaotic systems cascade toward non-local fractal structures whose dimension is tied by unitarity to the decay rate of local correlations, demonstrated exactly in dual-unitary circuits and nu...

  3. Spectral boundaries of deterministic matrices deformed by rotationally invariant random non-Hermitian ensembles

    cond-mat.dis-nn 2026-02 unverdicted novelty 6.0

    Spectral boundaries of A + B (A deterministic, B rotationally invariant random non-Hermitian) are given by simple equations depending on the R1 and R2 transforms of B in the large-N limit.

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages · cited by 3 Pith papers

  1. [1]

    Central limit theorems for eigenvalues in a spiked population model.Ann

    Zhidong Bai and Jian-Feng Yao. Central limit theorems for eigenvalues in a spiked population model.Ann. Inst. Henri Poincar´ e Probab. Stat., 44(3):447–474, 2008

  2. [2]

    Phase transition of the largest eigenvalue for nonnull complex sample covariance matrices.Ann

    Jinho Baik, G´ erard Ben Arous, and Sandrine P´ ech´ e. Phase transition of the largest eigenvalue for nonnull complex sample covariance matrices.Ann. Probab., 33(5):1643–1697, 2005

  3. [3]

    Belinschi, Hari Bercovici, Mireille Capitaine, and Maxime F´ evrier

    Serban T. Belinschi, Hari Bercovici, Mireille Capitaine, and Maxime F´ evrier. Outliers in the spec- trum of large deformed unitarily invariant models.Ann. Probab., 45(6A):4221–4267, 2017

  4. [4]

    The eigenvalues and eigenvectors of finite, low rank perturbations of large random matrices.Advances in Mathematics, 227(1):494–521, 2011

    Florent Benaych-Georges and Raj Rao Nadakuditi. The eigenvalues and eigenvectors of finite, low rank perturbations of large random matrices.Advances in Mathematics, 227(1):494–521, 2011

  5. [5]

    Outliers in the single ring theorem.Probab

    Florent Benaych-Georges and Jean Rochet. Outliers in the single ring theorem.Probab. Theory Relat. Fields, 165(1-2):313–363, 2016

  6. [6]

    Outlier eigenvalues for deformed i.i.d

    Charles Bordenave and Mireille Capitaine. Outlier eigenvalues for deformed i.i.d. random matrices. Communications on Pure and Applied Mathematics, 69(11):2131–2194, 2016

  7. [7]

    R-transforms for Non-Hermitian Matrices: A Spherical Integral Approach.arXiv preprint, 2026

    Pierre Bousseyroux and Marc Potters. R-transforms for Non-Hermitian Matrices: A Spherical Integral Approach.arXiv preprint, 2026

  8. [8]

    The largest eigenvalues of finite rank deformation of large Wigner matrices: convergence and nonuniversality of the fluctuations

    Mireille Capitaine, Catherine Donati-Martin, and Delphine F´ eral. The largest eigenvalues of finite rank deformation of large Wigner matrices: convergence and nonuniversality of the fluctuations. Ann. Probab., 37(1):1–47, 2009. 4

  9. [9]

    Central limit theorems for eigen- values of deformations of Wigner matrices.Ann

    Mireille Capitaine, Catherine Donati-Martin, and Delphine F´ eral. Central limit theorems for eigen- values of deformations of Wigner matrices.Ann. Inst. H. Poincar´ e Probab. Statist., 48(1):107–133, 2012

  10. [10]

    Dynamics of a rank-one perturbation of a Hermitian matrix

    Guillaume Dubach and L´ aszl´ o Erd˝ os. Dynamics of a rank-one perturbation of a Hermitian matrix. Electron. Commun. Probab., 28:1–13, 2023

  11. [11]

    The largest eigenvalue of rank one deformation of large Wigner matrices.Commun

    Delphine F´ eral and Sandrine P´ ech´ e. The largest eigenvalue of rank one deformation of large Wigner matrices.Commun. Math. Phys., 272:185–228, 2007

  12. [12]

    V. L. Girko. Circular law.Theory of Probability & Its Applications, 29(4):694–706, 1985. Original: Teor. Veroyatnost. i Primenen. 29 (1984)

  13. [13]

    The single ring theorem.Annals of mathematics, pages 1189–1217, 2011

    Alice Guionnet, Manjunath Krishnapur, and Ofer Zeitouni. The single ring theorem.Annals of mathematics, pages 1189–1217, 2011

  14. [14]

    The outliers of a deformed Wigner matrix.Ann

    Antti Knowles and Jun Yin. The outliers of a deformed Wigner matrix.Ann. Probab., 42(5):1980– 2031, 2014

  15. [15]

    Bouchaud M.Potters.A First Course in Random Matrix Theory: For Physicists, Engineers and Data Scientists

    J.-P. Bouchaud M.Potters.A First Course in Random Matrix Theory: For Physicists, Engineers and Data Scientists. Cambridge University Press, 2020

  16. [16]

    Low rank perturbations of large elliptic random matrices

    Sean O’Rourke and David Renfrew. Low rank perturbations of large elliptic random matrices. Electron. J. Probab., 19(43):1–65, 2014

  17. [17]

    Asymptotics of sample eigenstructure for a large dimensional spiked covariance model.Statist

    Debashis Paul. Asymptotics of sample eigenstructure for a large dimensional spiked covariance model.Statist. Sinica, 17(4):1617–1642, 2007

  18. [18]

    The largest eigenvalue of small rank perturbations of Hermitian random matrices

    Sandrine P´ ech´ e. The largest eigenvalue of small rank perturbations of Hermitian random matrices. Probab. Theory Related Fields, 134(1):127–173, 2006

  19. [19]

    Adjustment of an inverse matrix corresponding to a change in one element of a given matrix.The Annals of Mathematical Statistics, 21(1):124–127, 1950

    Jack Sherman and Winifred J Morrison. Adjustment of an inverse matrix corresponding to a change in one element of a given matrix.The Annals of Mathematical Statistics, 21(1):124–127, 1950

  20. [20]

    Outliers in the spectrum of i.i.d

    Terence Tao. Outliers in the spectrum of i.i.d. random matrices with bounded rank perturbations. Probab. Theory Relat. Fields, 155(1-2):231–263, 2013. 5 A APPENDICES We consider a large rotationally invariant random matrixA, and setM=A+s uu ∗, wheres∈Cand u∈C N is a unit vector. For any matrixB, we denote byG B(z) the resolvent ofBevaluated at a pointz∈C,...