pith. sign in

arxiv: 2409.15405 · v3 · submitted 2024-09-23 · 🧮 math.PR · math-ph· math.FA· math.MP· math.OA

Brown measures of deformed L^infty-valued circular elements

Johannes Alt , Torben Kr\"uger This is my paper

Pith reviewed 2026-05-23 20:22 UTC · model grok-4.3

classification 🧮 math.PR math-phmath.FAmath.MPmath.OA
keywords Brown measurecircular elementvon Neumann algebrarandom matrixspectral densityedge singularitiesanalytic continuationnon-Hermitian ensemble
0
0 comments X

The pith

The Brown measure of a plus a B-valued circular element has a Lebesgue density that is real analytic except for jumps at the support boundary and finitely many edge singularities.

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

This paper establishes that under regularity conditions on a and the covariance of c, the Brown measure of a + c admits a density with respect to Lebesgue measure on the complex plane. This density is real analytic inside the support except where it vanishes, with jump discontinuities only at the boundary, and the spectral edge is real analytic except for finitely many singularities whose local shapes are fully classified. Internal points where the density vanishes are also classified by their local shapes. The result describes the large-dimension limit of the empirical spectral distribution for diagonally deformed non-Hermitian random matrices with independent entries, and shows that every listed singularity type arises for some choice of a when c is standard circular.

Core claim

Under certain regularity conditions on a and the covariance of c this Brown measure has a density with respect to the Lebesgue measure on the complex plane which is real analytic apart from jump discontinuities at the boundary of its support. With the exception of finitely many singularities this one-dimensional spectral edge is real analytic. We provide a full description of all possible edge singularities as well as all points in the interior, where the density vanishes. The edge singularities are classified in terms of their local edge shape while internal zeros of the density are classified in terms of the shape of the density locally around these points. We also show that each of these

What carries the argument

The Brown measure of the deformed B-valued circular element a + c, which determines the limiting empirical spectral distribution and whose density is analyzed for analyticity and singularity shapes.

If this is right

  • The empirical spectral distribution of the corresponding diagonally deformed non-Hermitian random matrices converges to a measure whose density has the stated analyticity and singularity properties.
  • Every one of the countably infinitely many classified singularity types is realized by some choice of a when c is the standard circular element.
  • The one-dimensional spectral edge consists of real-analytic arcs separated by at most finitely many singularities.
  • Internal zeros of the density occur only at points whose local shape matches one of the classified forms.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The classification supplies a template that could be checked against finite-N matrix simulations to observe the predicted local shapes near edges and zeros.
  • The same local-shape dictionary may apply to other free-probability deformations whose Brown measures satisfy analogous regularity.
  • The result separates the support boundary behavior from the interior analytic structure, suggesting that support-boundary computations can be handled independently of interior vanishing points.

Load-bearing premise

The stated regularity conditions on a and the covariance of c hold.

What would settle it

An explicit example of a and c satisfying the regularity conditions where the density is not real analytic at an interior point or edge point outside the classified singularity types.

Figures

Figures reproduced from arXiv: 2409.15405 by Johannes Alt, Torben Kr\"uger.

Figure 1
Figure 1. Figure 1: The solid black lines in subfigures (a) and (b) show the boundary of [PITH_FULL_IMAGE:figures/full_fig_p010_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: The solid black lines in subfigures (a) and (b) show the boundary of [PITH_FULL_IMAGE:figures/full_fig_p011_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: The solid lines in this figure show the boundary of [PITH_FULL_IMAGE:figures/full_fig_p011_3.png] view at source ↗
read the original abstract

We consider the Brown measure of $a+\mathfrak{c}$, where $a$ lies in a commutative tracial von Neumann algebra $\mathcal{B}$ and $\mathfrak{c}$ is a $\mathcal{B}$-valued circular element. Under certain regularity conditions on $a$ and the covariance of $\mathfrak{c}$ this Brown measure has a density with respect to the Lebesgue measure on the complex plane which is real analytic apart from jump discontinuities at the boundary of its support. With the exception of finitely many singularities this one-dimensional spectral edge is real analytic. We provide a full description of all possible edge singularities as well as all points in the interior, where the density vanishes. The edge singularities are classified in terms of their local edge shape while internal zeros of the density are classified in terms of the shape of the density locally around these points. We also show that each of these countably infinitely many singularity types occurs for an appropriate choice of $a$ when $\mathfrak{c}$ is a standard circular element. The Brown measure of $a+\mathfrak{c}$ arises as the empirical spectral distribution of a diagonally deformed non-Hermitian random matrix with independent entries when its dimension tends to infinity.

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 / 3 minor

Summary. The manuscript studies the Brown measure of a + 𝔠, where a belongs to a commutative tracial von Neumann algebra ℬ and 𝔠 is a ℬ-valued circular element. Under regularity conditions on a and the covariance of 𝔠, the Brown measure admits a Lebesgue density on ℂ that is real-analytic away from the boundary of its support (with jump discontinuities there). The one-dimensional spectral edge is real-analytic except at finitely many points; the paper classifies all possible edge singularities by local shape and all interior zeros of the density by local behavior. Every one of the countably infinitely many singularity types is realized for a suitable choice of a when 𝔠 is the standard circular element. The Brown measure arises as the limiting empirical spectral distribution of a diagonally deformed non-Hermitian random matrix with independent entries.

Significance. If the stated regularity conditions are precisely formulated and the analytic arguments hold, the work supplies a complete local classification of singularities for this family of Brown measures together with an explicit realization result. The connection to the large-N limit of non-Hermitian random matrices with diagonal deformation is a concrete strength. These results would be a useful reference in free probability and non-Hermitian random-matrix theory.

minor comments (3)
  1. The precise statement of the regularity conditions on a and on the covariance of 𝔠 should be collected in a single numbered definition or assumption block early in the paper so that the reader can verify applicability without searching through the text.
  2. Notation for the covariance operator of 𝔠 is introduced in §2 but used with slight variations in later sections; a short table or consistent symbol list would improve readability.
  3. Several analytic-continuation arguments rely on implicit appeal to results in the literature; adding one-sentence reminders of the exact hypotheses of those external theorems would help the reader follow the chain of reasoning.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and detailed summary of our work, the assessment of its significance, and the recommendation for minor revision. The report contains no enumerated major comments.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper derives analytic properties (density, edge regularity, singularity classification) of the Brown measure of a + c from the commutative tracial von Neumann algebra setup and stated regularity conditions on a and the covariance of the B-valued circular element. No equation or claim reduces an output to a fitted parameter, self-citation chain, or input by construction; the random-matrix limit is presented only as a consequence, and the existence of each singularity type is shown by explicit choice of a rather than presupposed. The derivation chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available; the paper relies on standard background from operator algebras and free probability (tracial von Neumann algebras, definition of B-valued circular elements) without introducing new free parameters or invented entities visible in the abstract.

axioms (1)
  • domain assumption Standard properties of commutative tracial von Neumann algebras and B-valued circular elements
    Invoked in the setup of the problem; these are background facts from the field.

pith-pipeline@v0.9.0 · 5745 in / 1412 out tokens · 30425 ms · 2026-05-23T20:22:50.845618+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

61 extracted references · 61 canonical work pages · 1 internal anchor

  1. [1]

    Adler and P

    M. Adler and P. van Moerbeke,PDEs for the Gaussian ensemble with external source and the Pearcey distribution, Comm. Pure Appl. Math.60 (2007), no. 9, 1261–1292

    work page 2007

  2. [2]

    O. H. Ajanki, L. Erdős, and T. Krüger,Quadratic vector equations on complex upper half-plane, Mem. Amer. Math. Soc.261 (2019), no. 1261, v+133. MR 4031100

    work page 2019

  3. [3]

    O. H. Ajanki, L. Erdős, and T. Krüger,Stability of the matrix Dyson equation and random matrices with correlations, Probab. Theory Related Fields173 (2019), no. 1-2, 293–373

    work page 2019

  4. [4]

    J. Alt, L. Erdős, and T. Krüger,Local law for random Gram matrices, Electron. J. Probab.22 (2017), no. 25, 41 pp

    work page 2017

  5. [5]

    J. Alt, L. Erdős, and T. Krüger,Local inhomogeneous circular law, Ann. Appl. Probab.28 (2018), no. 1, 148–203

    work page 2018

  6. [6]

    J. Alt, L. Erdős, and T. Krüger,The Dyson equation with linear self-energy: spectral bands, edges and cusps, Doc. Math.25 (2020), 1421–1539. MR 4164728

    work page 2020

  7. [7]

    J. Alt, L. Erdős, T. Krüger, and Yu. Nemish,Location of the spectrum of Kronecker random matrices, Ann. Inst. Henri Poincaré Probab. Stat.55 (2019), no. 2, 661–696. MR 3949949

    work page 2019

  8. [8]

    J. Alt, L. Erdős, T. Krüger, and D. Schröder,Correlated random matrices: Band rigidity and edge univer- sality, Ann. Probab.48 (2020), no. 2, 963–1001. 3This is also detailed in the proof of Lemma 8.2 in the first arXiv-version of [6], available at arXiv:1804.07752v1. 47

    work page internal anchor Pith review Pith/arXiv arXiv 2020

  9. [9]

    Alt and T

    J. Alt and T. Krüger,Inhomogeneous circular law for correlated matrices, J. Funct. Anal.281 (2021), no. 7, Paper No. 109120, 73. MR 4271784

    work page 2021

  10. [10]

    Alt and T

    J. Alt and T. Krüger,Spectrum occupies pseudospectrum for random matrices with diagonal deformation and variance profile, preprint (2024), arXiv:2404.17573

    work page arXiv 2024

  11. [11]

    D. H. Armitage and S. J. Gardiner, Classical potential theory, Springer Monographs in Mathematics, Springer-Verlag London, Ltd., London, 2001

    work page 2001

  12. [12]

    Z. D. Bai,Circular law, Ann. Probab.25 (1997), no. 1, 494–529

    work page 1997

  13. [13]

    Belinschi, Z

    S. Belinschi, Z. Yin, and P. Zhong,The Brown measure of a sum of two free random variables, one of which is triangular elliptic, Adv. Math.441 (2024), Paper No. 109562. MR 4710866

    work page 2024

  14. [14]

    S. T. Belinschi, P. Śniady, and R. Speicher,Eigenvalues of non-Hermitian random matrices and Brown measure of non-normal operators: Hermitian reduction and linearization method, Linear Algebra Appl. 537 (2018), 48–83. MR 3716236

    work page 2018

  15. [15]

    Biane and F

    P. Biane and F. Lehner,Computation of some examples of Brown’s spectral measure in free probability, Colloq. Math.90 (2001), no. 2, 181–211. MR 1876844

    work page 2001

  16. [16]

    Birkhoff and R

    G. Birkhoff and R. S. Varga,Reactor criticality and nonnegative matrices, J. Soc. Indust. Appl. Math.6 (1958), 354–377. MR 100984

    work page 1958

  17. [17]

    Bordenave and M

    C. Bordenave and M. Capitaine,Outlier eigenvalues for deformed i.i.d. random matrices, Comm. Pure Appl. Math.69 (2016), no. 11, 2131–2194. MR 3552011

    work page 2016

  18. [18]

    Bordenave, P

    C. Bordenave, P. Caputo, and D. Chafaï,Spectrum of Markov generators on sparse random graphs, Comm. Pure Appl. Math.67 (2014), no. 4, 621–669. MR 3168123

    work page 2014

  19. [19]

    Bordenave and D

    C. Bordenave and D. Chafaï,Around the circular law, Probab. Surv.9 (2012), 1–89. MR 2908617

    work page 2012

  20. [20]

    Brézin and S

    E. Brézin and S. Hikami,Level spacing of random matrices in an external source, Phys. Rev. E (3)58 (1998), no. 6, 7176–7185. MR 1662382

    work page 1998

  21. [21]

    Brézin and S

    É. Brézin and S. Hikami,Universal singularity at the closure of a gap in a random matrix theory, Phys. Rev. E57 (1998), no. 4, 4140–4149

    work page 1998

  22. [22]

    L. G. Brown,Lidskiui’s theorem in the type II case, Geometric methods in operator algebras (Kyoto, 1983), Pitman Res. Notes Math. Ser., vol. 123, Longman Sci. Tech., Harlow, 1986, pp. 1–35

    work page 1983

  23. [23]

    Campbell, G

    A. Campbell, G. Cipolloni, L. Erdős, and H. C. Ji,On the spectral edge of non-Hermitian random matrices, preprint (2024), arXiv:2404.17512

    work page arXiv 2024

  24. [24]

    Capitaine and S

    M. Capitaine and S. Péché, Fluctuations at the edges of the spectrum of the full rank deformed GUE, Probab. Theory Related Fields165 (2016), no. 1-2, 117–161. MR 3500269

    work page 2016

  25. [25]

    Cipolloni, L

    G. Cipolloni, L. Erdős, T. Krüger, and D. Schröder,Cusp universality for random matrices II: the real symmetric case, Pure and Applied Analysis1 (2019), no. 4, 615–707

    work page 2019

  26. [26]

    Cipolloni, L

    G. Cipolloni, L. Erdős, and D. Schröder,Edge universality for non-Hermitian random matrices, Probability Theory and Related Fields179 (2020), no. 1–2, 1–28

    work page 2020

  27. [27]

    N. Cook, W. Hachem, J. Najim, and D. Renfrew,Non-Hermitian random matrices with a variance profile (I): deterministic equivalents and limiting ESDs, Electron. J. Probab.23 (2018), Paper No. 110, 61

    work page 2018

  28. [28]

    Dubova and K

    S. Dubova and K. Yang,Bulk universality for complex eigenvalues of real non-symmetric random matrices with i.i.d. entries, preprint (2024), arXiv:2402.10197

    work page arXiv 2024

  29. [29]

    Dykema, On certain free product factors via an extended matrix model, J

    K. Dykema, On certain free product factors via an extended matrix model, J. Funct. Anal.112 (1993), no. 1, 31–60. MR 1207936

    work page 1993

  30. [30]

    Erdős and H

    L. Erdős and H. C. Ji,Density of Brown measure of free circular Brownian motion, preprint (2023), arXiv:2307.08626

    work page arXiv 2023

  31. [31]

    Erdős, T

    L. Erdős, T. Krüger, and D. Renfrew,Power law decay for systems of randomly coupled differential equa- tions, SIAM J. Math. Anal.50 (2018), no. 3, 3271–3290. MR 3816180

    work page 2018

  32. [32]

    Erdős, T

    L. Erdős, T. Krüger, and D. Schröder,Cusp universality for random matrices I: Local law and the complex Hermitian case, Commun. Math. Phys.378 (2020), 1203–1278

    work page 2020

  33. [33]

    V. L. Girko,The circular law, Teor. Veroyatnost. i Primenen.29 (1984), no. 4, 669–679. MR 773436 48

    work page 1984

  34. [34]

    Haagerup and F

    U. Haagerup and F. Larsen,Brown’s spectral distribution measure forR-diagonal elements in finite von Neumann algebras, J. Funct. Anal.176 (2000), no. 2, 331–367

    work page 2000

  35. [35]

    J. W. Helton, R. Rashidi Far, and R. Speicher,Operator-valued semicircular elements: solving a quadratic matrix equation with positivity constraints, Int. Math. Res. Not. IMRN (2007), no. 22, Art. ID rnm086, 15. MR 2376207

    work page 2007

  36. [36]

    Ho and P

    C.-W. Ho and P. Zhong,Brown measures of free circular and multiplicative Brownian motions with self- adjoint and unitary initial conditions, J. Eur. Math. Soc. (JEMS)25 (2023), no. 6, 2163–2227. MR 4592867

    work page 2023

  37. [37]

    V. Jain, I. Jana, K. Luh, and S. O’Rourke,Circular law for random block band matrices with genuinely sublinear bandwidth, J. Math. Phys.62 (2021), no. 8, Paper No. 083306, 27. MR 4300220

    work page 2021

  38. [38]

    Jana, CLT for non-Hermitian random band matrices with variance profiles, J

    I. Jana, CLT for non-Hermitian random band matrices with variance profiles, J. Stat. Phys.187 (2022), no. 2, Paper No. 13, 25. MR 4393055

    work page 2022

  39. [39]

    Khoruzhenko,Large-N eigenvalue distribution of randomly perturbed asymmetric matrices, J

    B. Khoruzhenko,Large-N eigenvalue distribution of randomly perturbed asymmetric matrices, J. Phys. A 29 (1996), no. 7, L165–L169. MR 1395506

    work page 1996

  40. [40]

    J. O. Lee and K. Schnelli,Edge universality for deformed Wigner matrices, Rev. Math. Phys.27 (2015), no. 8, 1550018, 94. MR 3405746

    work page 2015

  41. [41]

    Liu and L

    D.-Z. Liu and L. Zhang,Repeated erfc statistics for deformed GinUEs, preprint (2024), arXiv:2402.14362

    work page arXiv 2024

  42. [42]

    Maltsev and M

    A. Maltsev and M. Osman,Bulk universality for complex non-Hermitian matrices with independent and identically distributed entries, preprint (2023), arXiv:2310.11429

    work page arXiv 2023

  43. [43]

    Milnor,Morse theory, Annals of Mathematics Studies, vol

    J. Milnor,Morse theory, Annals of Mathematics Studies, vol. No. 51, Princeton University Press, Princeton, NJ, 1963, Based on lecture notes by M. Spivak and R. Wells. MR 163331

    work page 1963

  44. [44]

    J. A. Mingo and R. Speicher,Free probability and random matrices, Fields Institute Monographs, vol. 35, Springer, New York; Fields Institute for Research in Mathematical Sciences, Toronto, ON, 2017. MR 3585560

    work page 2017

  45. [45]

    Osman, Bulk Universality for Real Matrices with Independent and Identically Distributed Entries, preprint (2024), arXiv:2402.04071

    M. Osman, Bulk Universality for Real Matrices with Independent and Identically Distributed Entries, preprint (2024), arXiv:2402.04071

    work page arXiv 2024

  46. [46]

    Paulsen,Completely bounded maps and operator algebras, Cambridge Studies in Advanced Mathematics, vol

    V. Paulsen,Completely bounded maps and operator algebras, Cambridge Studies in Advanced Mathematics, vol. 78, Cambridge University Press, Cambridge, 2002. MR 1976867

    work page 2002

  47. [47]

    E. B. Saff and V. Totik, Logarithmic potentials with external fields, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 316, Springer-Verlag, Berlin, 1997, Appendix B by Thomas Bloom. MR 1485778

    work page 1997

  48. [48]

    Shlyakhtenko,Random Gaussian band matrices and freeness with amalgamation, Internat

    D. Shlyakhtenko,Random Gaussian band matrices and freeness with amalgamation, Internat. Math. Res. Notices (1996), no. 20, 1013–1025. MR 1422374

    work page 1996

  49. [49]

    Śniady,Random regularization of Brown spectral measure, J

    P. Śniady,Random regularization of Brown spectral measure, J. Funct. Anal.193 (2002), no. 2, 291–313. MR 1929504

    work page 2002

  50. [50]

    Śniady,Multinomial identities arising from free probability theory, J

    P. Śniady,Multinomial identities arising from free probability theory, J. Combin. Theory Ser. A101 (2003), no. 1, 1–19. MR 1953277

    work page 2003

  51. [51]

    R.Speicher, Combinatorial theory of the free product with amalgamation and operator-valued free probability theory, Mem. Amer. Math. Soc.132 (1998), no. 627, x+88. MR 1407898

    work page 1998

  52. [52]

    Takesaki,Theory of operator algebras

    M. Takesaki,Theory of operator algebras. I, Encyclopaedia of Mathematical Sciences, vol. 124, Springer- Verlag, Berlin, 2002, Reprintofthefirst(1979)edition, OperatorAlgebrasandNon-commutativeGeometry,

    work page 2002

  53. [53]

    Tao and V

    T. Tao and V. Vu,Random matrices: Universality of local spectral statistics of non-hermitian matrices, The Annals of Probability43 (2015), no. 2

    work page 2015

  54. [54]

    T. Tao, V. Vu, and M. Krishnapur,Random matrices: Universality of ESDs and the circular law, Ann. Probab. 38 (2010), no. 5, 2023–2065

    work page 2010

  55. [55]

    Tracy and H

    C.A. Tracy and H. Widom, Level-spacing distributions and the Airy kernel, Comm. Math. Phys. 159 (1994), no. 1, 151–174. MR 1257246

    work page 1994

  56. [56]

    Tracy and H

    C.A. Tracy and H. Widom,On orthogonal and symplectic matrix ensembles, Comm. Math. Phys.177 (1996), no. 3, 727–754. MR 1385083 49

    work page 1996

  57. [57]

    Voiculescu, Addition of certain noncommuting random variables, J

    D. Voiculescu, Addition of certain noncommuting random variables, J. Funct. Anal. 66 (1986), no. 3, 323–346. MR 839105

    work page 1986

  58. [58]

    Voiculescu,Limit laws for random matrices and free products, Invent

    D. Voiculescu,Limit laws for random matrices and free products, Invent. Math.104 (1991), no. 1, 201–220. MR 1094052

    work page 1991

  59. [59]

    Voiculescu, Operations on certain non-commutative operator-valued random variables, no

    D. Voiculescu, Operations on certain non-commutative operator-valued random variables, no. 232, 1995, Recent advances in operator algebras (Orléans, 1992), pp. 243–275. MR 1372537

    work page 1995

  60. [60]

    Zhang,Bulk universality for deformed GinUEs, preprint (2024), arXiv:2403.16120

    L. Zhang,Bulk universality for deformed GinUEs, preprint (2024), arXiv:2403.16120

    work page arXiv 2024

  61. [61]

    arXiv:math.OA/2108.09844 38

    P. Zhong, Brown measure of the sum of an elliptic operator and a free random variable in a finite von Neumann algebra, preprint (2021), arXiv:2108.09844. 50

    work page arXiv 2021