Pith. sign in

REVIEW 3 major objections 5 minor 22 references

Quaternionic Green's Function and the Brown Measure of Atomic Operators

T0 review · 3 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The Brown-measure boundary of p+iq with finitely atomic free p,q is an algebraic curve, and Algorithm 6.7 writes down its defining polynomial.

desk verdict Careful, honest conditional work: the algebraic-curve algorithm is real, but the bridge from a physics heuristic to the true Brown-measure boundary is only verified in the two-atom case. read the letter →

arxiv 2411.17166 v2 pith:BRQZ3FRV submitted 2024-11-26 math.OA math.PR

Max Sun Zhou This is my paper · ORCID
classification math.OAmath.PR MSC 46L5446L1047A10
keywords BrownmeasurefreeprobabilityquaternionicGreen'sfunctionoperator-valuedR-transformalgebraiccurveresultantsatomicspectranon-normaloperators
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper studies the Brown measure—the natural non-Hermitian analogue of a spectral measure—of operators X=p+iq built from two freely independent Hermitian operators p and q whose spectra are finite sets of atoms. It adapts a physics tool, the Quaternionic Green's function, to compute the inverse of this function explicitly. The paper argues that the boundary of the Brown measure is governed by a heuristic: it is the closure of points where the inverse Green's function hits the complex plane and an auxiliary coefficient vanishes. In the two-atom case this heuristic recovers the previously known hyperbola boundary up to finitely many points. For any finite number of atoms, the heuristic implies that the boundary is an algebraic curve, and the paper provides an algorithm that outputs a real polynomial whose zero set contains that curve.

What carries the argument

The Quaternionic Green's function G_X(Q) is the operator-valued Cauchy transform of the Hermitian block matrix formed from X, rotated into quaternion form; its inverse B_X obeys the addition law B_X=B_p+B_{iq}-$Q^{{-1}}$, which is what makes p and iq computable separately. The boundary heuristic asks for points z where the limit Q=lim_{epsilon->0+} G_X(z_epsilon) is complex and where an auxiliary coefficient l(Q) vanishes. Expanding B_X(Q)=z under these two conditions turns the boundary into the system (260); eliminating variables by resultants, with a careful divisibility step by $m^{{n-1}}$(m-1)^{k-1}, yields Algorithm 6.7's two-variable polynomial.

What would settle it

Pick a concrete three-atom example, run Algorithm 6.7 to obtain a polynomial f(x,y), and compute the Brown-measure boundary at high numerical resolution from the system (260) or from large-n empirical spectral distributions; any boundary point whose real and imaginary parts do not satisfy f(x,y)=0 would show the heuristic is not the true boundary.

Watch

Extended reading notes

Core claim

The central claim is that for X=p+iq with p,q Hermitian, freely independent, and finitely atomic, the boundary of the Brown measure is an algebraic curve in the generic case, and the Quaternionic Green's function gives a constructive route to the defining polynomial. Theorem 6.3 states this for Lebesgue-almost every atom-position vector: the set Omega_{p,q} cut out by the boundary heuristic lies in the zero set of a non-zero real polynomial produced by Algorithm 6.7. In the two-atom case, Proposition 6.2 identifies the closure of that set with the support of the absolutely continuous part mu' of the Brown measure, up to finitely many removed points; for equal weights the support heuristic is proved as Theorem 7.1.

Load-bearing premise

The load-bearing premise is that the boundary heuristic, taken from physics and verified only in the two-atom case, describes the true Brown-measure boundary; if it fails for some many-atom operator, the algebraic curve produced by the algorithm is not the boundary.

Editorial extensions

If this is right

  • For generic finite-atomic p,q, the Brown-measure boundary can in principle be computed exactly by Algorithm 6.7 rather than approximated by random-matrix simulations.
  • The output polynomial can be used to test convergence: empirical spectral distributions at large n should concentrate on its zero set.
  • In the two-atom case the boundary heuristic recovers the known hyperbola support of mu' up to finitely many points, so any higher-atom failure would first show up as a discrepancy between Omega_{p,q} and the true boundary.
  • The system (260) has the expected real dimension one for a boundary, supporting the interpretation that the heuristic captures the boundary rather than the bulk support.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Beyond the paper, one could use the explicit polynomial to compute topological invariants of the boundary, such as its number of connected components, directly from the algebraic curve.
  • Beyond the paper, special configurations—coincident atoms, equal weights, or symmetries—may produce reducible or degenerate curves, and those degeneracies may correspond exactly to corners and atoms of the Brown measure.
  • Beyond the paper, a natural testable extension is to approximate continuous spectral measures by many atoms and ask whether the algebraic curves converge to the conjectured boundary of the continuous case, which the paper does not address.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. The paper studies Brown measures of operators X = p + iq where p and q are freely independent Hermitian operators with finitely many atomic spectral measures. It develops the quaternionic Green's function machinery, computes the inverse quaternionic Green's function B_X explicitly in the two-atom case, and states two heuristics (Heuristics 4.1 and 4.2) for the support and boundary of the Brown measure. The boundary heuristic is verified in the two-atom case (Proposition 6.2) and the support heuristic in the equal-weight two-atom case (Theorem 7.1). For general finitely many atoms, the paper proves that the set Ω_{p,q} defined by the boundary heuristic lies on a real algebraic curve for Lebesgue-generic atom positions, and gives Algorithm 6.7 producing a polynomial whose zero set contains Ω_{p,q}. The main theorem is therefore conditional on an unproven heuristic; the paper is explicit about this conditionality, though the abstract and title risk overstatement.

Significance. If Heuristic 4.2 is accepted, the algebraic-curve result provides a concrete computational tool for approximating Brown-measure boundaries of atomic free sums, and the explicit computation of B_X (Theorem 5.13) with its maximal domain is a useful technical contribution. The two-atom verification (Proposition 6.2) and the equal-weight support theorem (Theorem 7.1) are careful and give the only rigorous checks of the heuristics. However, the central theorem about algebraic curves concerns the heuristic set Ω_{p,q}, not the Brown-measure boundary itself, and the bridge is an unproven physics heuristic. The paper is honest about this, but the significance is accordingly limited: it is a rigorous conditional result plus a strong verification in a special case, rather than a proof that the Brown-measure boundary is algebraic in general.

major comments (3)
  1. [§6.3, Theorem 6.3; Heuristic 4.2; Eqs. (260)–(261)] Theorem 6.3 proves that Ω_{p,q}—the set defined by the system (260)–(261)—lies on a real algebraic curve for Lebesgue-generic (α,β). The identification of Ω_{p,q} with the boundary of the Brown measure is exactly Heuristic 4.2, which is verified only in the two-atom case (Proposition 6.2, up to finitely many points) and in the equal-weight support statement (Theorem 7.1). No proof or independent many-atom check of Heuristic 4.2 is given. Thus the abstract's phrasing 'the heuristic implies that the boundary of the Brown measure ... is an algebraic curve' is technically accurate but must be read as a conditional statement about a heuristic set; the paper should state this distinction prominently in the abstract, introduction, and theorem statement, because as written the title and abstract may lead readers to believe an unconditional theorem about the Brown-measure boundary has been established.
  2. [§6.1, items (1)–(3); §6.3 definition of Ω_{p,q}, Eq. (261)] The set Ω_{p,q} is defined only for points where the limit of G_X(z_ε) exists, B_X is continuous at Q, and Q ∉ R ∪ iR. In the two-atom case, Proposition 6.2 shows these restrictions remove only finitely many points from the support of the absolutely continuous part. For general finite atoms, no such finite-removal or negligibility statement is proved; the sentence after (206) that the third condition 'should not be significant' is a heuristic assertion, not a proof. Consequently, even if Heuristic 4.2 were true, boundary arcs lying in R ∪ iR or in the discontinuity set of B_X could be missing from Ω_{p,q}, and the algebraic curve from Algorithm 6.7 would contain only a subset of the boundary. This is a load-bearing gap that must either be addressed or explicitly listed as an additional limitation.
  3. [Abstract and Theorem 6.3] The abstract states without qualification that 'the boundary of the Brown measure of X is an algebraic curve', but Theorem 6.3 is only for Lebesgue-almost-every atom position vector (α,β) and only for the heuristic set Ω_{p,q}. For non-generic configurations—e.g., coincident atoms or symmetric arrangements—the algorithm may output the zero polynomial and the conclusion is vacuous. The genericity condition should appear in the abstract and in the theorem's summary sentence, and the exceptional set should be discussed, since users of Algorithm 6.7 need to know when its output is guaranteed to be nonzero.
minor comments (5)
  1. [Abstract] There is a typo: 'We analyze the Brown measure the non-normal operators' should be 'We analyze the Brown measure of the non-normal operators'.
  2. [Definition 1.1, Eq. (1)] The normalization condition 'b1 + · · ·bl = 1' is missing a subscript on the last term; it should read 'b1 + · · · + bl = 1'.
  3. [§6.1] The notation Q ∈ R ∪ iR is used before the symbols R and iR are defined as the real and imaginary axes in C; a sentence of clarification would help.
  4. [Figures 2 and 3] The captions 'ESD of Xn vs. algebraic curve' should note that the curve is produced from the boundary heuristic and is not proven to be the Brown-measure boundary; otherwise the figure may be read as an unconditional verification.
  5. [Proof of Proposition 6.2, final paragraph] The phrase 'We may assume without loss of generality that y' ≠ 0' should be expanded slightly: the finitely many points with y' = 0 on the hyperbola should be explicitly acknowledged as part of the finite removed set.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular derivation: the algebraic-curve theorem is explicitly conditional on the stated boundary heuristic, and the author's prior computation is used only as a verification benchmark.

full rationale

The paper's central claim is carefully conditional: Theorem 6.3 and Algorithm 6.7 show that the heuristic set Omega_{p,q}, defined by the system (260)-(261), lies on a real algebraic curve for generic atom positions. The abstract states this honestly as 'the heuristic implies that the boundary ... is an algebraic curve,' and the body repeatedly identifies the proven object as the solution set of the heuristic equations rather than as an unconditional theorem about the true Brown-measure boundary. This conditional structure is not circular: the heuristic is imported from the physics references [14] and [15], not derived from the conclusions it is used to prove. The algebraic-curve argument is self-contained: it writes (260) as polynomial equations, takes resultants, divides by mn-1(m-1)k-1, and proves non-vanishing in the generic case; no fitted parameter is renamed as a prediction. The only self-reference is the use of the author's prior paper [20] as a benchmark in Proposition 6.2 and Theorem 7.1, where the two-atom heuristic set is compared with the previously computed Brown measure. That is a verification check against an independent explicit computation, not an input to the algebraic-curve derivation. It is a minor self-citation but not load-bearing for the paper's main constructive result. The main weakness is epistemic rather than circular: Heuristic 4.2 is unverified for general many-atom operators, and the restriction Q not in R union iR may discard boundary arcs. Those are correctness risks, not circularity. Overall circularity score is accordingly low.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No parameters are fitted to data; the paper is purely analytic. The main assumptions are the standard framework of operator-valued free probability, the specific branch cuts for the square root in the inverse Green's function, and the unproven boundary and support heuristics taken from physics literature. No new entities are postulated.

assumptions (5)
  • standard math The operator-valued free probability framework: the addition law for the quaternionic R-transform holds for freely independent p and iq (Proposition 2.18).
    Invoked in Section 3, Eqs (70)-(71), and throughout the computation of B_X.
  • domain assumption The spectral measures of p and q are atomic with finitely many atoms, and p, q are freely independent.
    Definition 1.1 and throughout; the paper only studies this class of operators.
  • ad hoc to paper The inverse quaternionic Green's function B_p for a Hermitian atomic operator can be computed from the scalar inverse Cauchy transform via the formulas in Propositions 5.6-5.8, including the branch choices for the square root (principal branch, with branch cuts I_p).
    Section 5 defines D_p, I_p and the branch choices; these are specific to this paper's computation.
  • ad hoc to paper The boundary heuristic (Heuristic 4.2) and support heuristic (Heuristic 4.1) are assumed to describe the true Brown measure boundary and support in the general case.
    Section 4 states these heuristics from physics literature [14], [15]; the algebraic curve theorem (Thm 6.3) applies to the set Ω_{p,q} defined by the heuristic, not proven to equal the Brown measure boundary for general atoms.
  • domain assumption For the generic algebraic curve result, the atoms (α, β) are assumed to be in the co-measure-zero set where the resultant polynomial is non-zero.
    Theorem 6.3 states 'for Lebesgue almost every (α, β)'; the proof uses a measure-zero argument.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Quaternionic Green's Function and the Brown Measure of Atomic Operators." pith.science (2026). https://pith.science/paper/BRQZ3FRV

@misc{pith2026241117166,
  author       = {Pith},
  title        = {Pith review of: Quaternionic Green's Function and the Brown Measure of Atomic Operators},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BRQZ3FRV}},
  note         = {Machine review of arXiv:2411.17166}
}
abstract

We analyze the Brown measure the non-normal operators $X = p + i q$, where $p$ and $q$ are Hermitian, freely independent, and have spectra consisting of finitely many atoms. We use the Quaternionic Green's function, an analogue of the operator-valued $R$-transform in the physics literature, to understand the support and the boundary of the Brown measure of $X$. We present heuristics for the boundary and support of the Brown measure in terms of the Quaternionic Green's function and verify they are true in the cases when the Brown measure of $X$ has been explicitly computed. In the general case, we show that the heuristic implies that the boundary of the Brown measure of $X$ is an algebraic curve, and provide an algorithm producing a polynomial defining this curve.

Figures

Figures reproduced from arXiv: 2411.17166 by the authors.

Figure 1
Figure 1. ESDs of Xn = Pn + iQn We have previously explicitly computed the Brown measure in the case when p and q have two atoms in [20] and observed these measures are supported on hyperbolas. In this case, we have also proven that the empirical spectral distributions of Xn converge almost surely to the Brown measure of X in [19]. For this paper, we rigorously adapt the computations from [15] and [14] to provide a method to … view at source ↗
Figure 2
Figure 2. Xn = Pn + iQn µPn ≈ (1/3)δ−1 + (1/3)δ0 + (1/3)δ1 µQn = (1/2)δ0 + (1/2)δ1 n = 10000 (a) ESD of Xn vs. Ωp,q from (261) (b) ESD of Xn vs. algebraic curve [PITH_FULL_IMAGE:figures/full_fig_p043_2.png] view at source ↗
Figure 3
Figure 3. Xn = Pn + iQn µPn ≈ (1/6)δ−1 + (1/3)δ0 + (1/2)δ1 µQn = (3/4)δ0 + (1/4)δ1 n = 10000 6.3.1. Algorithm. Now, we will state the algorithm that produces a two-variable polynomial whose zero set contains Ωp,q [PITH_FULL_IMAGE:figures/full_fig_p043_3.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages

  1. [1]

    An introduction toII1 factors

    Claire Anantharaman and Sorin Popa. “An introduction toII1 factors”. Book Draft. url: https://www.math.ucla.edu/~popa/Books/IIun.pdf

    work page

  2. [2]

    Serban Belinschi, Zhi Yin, and Ping Zhong.The Brown measure of a sum of two free random variables, one of which is triangular elliptic. 2024. arXiv: 2209.11823 [math.OA]

    work page Pith review arXiv 2024

  3. [3]

    Eigenvalues of non- Hermitian random matrices and Brown measure of non-normal operators: Hermitian reduction and linearization method

    Serban T. Belinschi, Piotr Śniady, and Roland Speicher. “Eigenvalues of non- Hermitian random matrices and Brown measure of non-normal operators: Hermitian reduction and linearization method”. In:Linear Algebra and its Applications 537 (2018), pp. 48–83

    work page 2018

  4. [4]

    Lidskii’s theorem in the typeII case

    L. G. Brown. “Lidskii’s theorem in the typeII case”. In:Geometric methods in operator algebras (Kyoto, 1983). Vol. 123. Pitman Res. Notes Math. Ser. Longman Sci. Tech., Harlow, 1986, pp. 1–35

    work page 1983

  5. [5]

    Quaternionic R transform and non- Hermitian random matrices

    Zdzislaw Burda and Artur Swiech. “Quaternionic R transform and non- Hermitian random matrices”. In:Phys. Rev. E92 (5 2015)

    work page 2015

  6. [6]

    Support of the Brown measure of the product of a free unitary Brownian motion by a free self-adjoint projection

    Nizar Demni and Tarek Hamdi. “Support of the Brown measure of the product of a free unitary Brownian motion by a free self-adjoint projection”. In:Journal of Functional Analysis282.6 (2022), p. 109362

    work page 2022

  7. [7]

    The Brown measure of the free multiplicative Brownian motion

    Bruce K. Driver, Brian Hall, and Todd Kemp. “The Brown measure of the free multiplicative Brownian motion”. In:Probability Theory and Related Fields 184.1 (2022), pp. 209–273

    work page 2022

  8. [8]

    Non-Hermitian random matrix theory: method of Hermitian reduction

    Joshua Feinberg and A. Zee. “Non-Hermitian random matrix theory: method of Hermitian reduction”. In:Nuclear Phys. B504.3 (1997), pp. 579–608

    work page 1997

Show all 22 references
  1. [9]

    Determinant theory in finite factors

    Bent Fuglede and Richard V. Kadison. “Determinant theory in finite factors”. In: Annals of Mathematics. Second Series55 (1952), pp. 520–530

    1952

  2. [10]

    Brown measures of unbounded operators affiliated with a finite von Neumann algebra

    Uffe Haagerup and Hanne Schultz. “Brown measures of unbounded operators affiliated with a finite von Neumann algebra”. In:Mathematica Scandinavica 100.2 (2007), pp. 209–263

    2007

  3. [11]

    The Brown measure of the sum of a self-adjoint element and an elliptic element

    Ching-Wei Ho. “The Brown measure of the sum of a self-adjoint element and an elliptic element”. In:Electron. J. Probab.27 (2022), Paper No. 123, 32

    2022

  4. [12]

    Brown measures of free circular and multi- plicative Brownian motions with self-adjoint and unitary initial conditions

    Ching-Wei Ho and Ping Zhong. “Brown measures of free circular and multi- plicative Brownian motions with self-adjoint and unitary initial conditions”. In: J. Eur. Math. Soc. (JEMS)25.6 (2023), pp. 2163–2227

    2023

  5. [13]

    Non-Hermitian random matrix models

    Romuald A. Janik et al. “Non-Hermitian random matrix models”. In:Nuclear Phys. B 501.3 (1997), pp. 603–642

    1997

  6. [14]

    Random Hermitian versus random non-Hermitian operators—unexpected links

    A Jarosz and M A Nowak. “Random Hermitian versus random non-Hermitian operators—unexpected links”. In:Journal of Physics A: Mathematical and General 39.32 (2006), p. 10107

    2006

  7. [15]

    Nowak.A Novel Approach to Non-Hermitian Random Matrix Models

    Andrzej Jarosz and Maciej A. Nowak.A Novel Approach to Non-Hermitian Random Matrix Models. 2004. arXiv:math-ph/0402057 [math-ph]

    2004 arXiv

  8. [16]

    Mingo and Roland Speicher.Free probability and random matrices

    James A. Mingo and Roland Speicher.Free probability and random matrices. Vol. 35. Fields Institute Monographs. Springer, New York; Fields Institute for Research in Mathematical Sciences, Toronto, ON, 2017

    2017

  9. [17]

    An Introduction to the Theory of Resultants

    Peter F. Stiller. “An Introduction to the Theory of Resultants”. Online Notes. url: https://isc.tamu.edu/resources/preprints/1996/1996-02.pdf

    1996

  10. [18]

    Graduate Studies in Mathe- matics

    Terence Tao.Topics in random matrix theory. Graduate Studies in Mathe- matics. American Mathematical Society, Providence, RI, 2012. 68 REFERENCES

    2012

  11. [19]

    Convergence of the Laws of Non-Hermitian Sums of Projections

    MaxSunZhou. Convergence of the Laws of Non-Hermitian Sums of Projections

  12. [20]

    Max Sun Zhou.The Brown Measure of Non-Hermitian Sums of Projections

  13. [22]

    arXiv: 2411.13804 [math.OA]

    arXiv

  14. [2024]

    arXiv: 2411.17159 [math.OA]

    arXiv

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.