pith. sign in

arxiv: 2605.25434 · v1 · pith:4B7WR3CUnew · submitted 2026-05-25 · 🧮 math.OA · math.PR

Freely infinitely divisible R-diagonal elements and Brown measure

Yu Kitagawa , Mihai Popa , Ping Zhong This is my paper

Pith reviewed 2026-06-29 19:45 UTC · model grok-4.3

classification 🧮 math.OA math.PR
keywords freely infinitely divisibleR-diagonal elementsBrown measurefree additive perturbationsproperty (H)free convolution semigroupHamilton-Jacobi equationoperator algebras
0
0 comments X

The pith

For bounded freely infinitely divisible R-diagonal elements the support of the Brown measure coincides with the spectrum.

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

The paper studies freely infinitely divisible R-diagonal elements in the unbounded setting and analyzes Brown measures arising from free additive perturbations by such elements. It constructs examples of these elements and proves they remain stable under operations including homogeneous noncommutative polynomials in bounded freely independent elements from the class. In the bounded case the authors establish that the support of the Brown measure equals the spectrum and obtain a criterion for property (H), while also deriving a Hamilton-Jacobi equation for the regularized logarithmic potential of the associated free convolution semigroup.

Core claim

The central claim is that for bounded freely infinitely divisible R-diagonal elements the support of the Brown measure coincides with the spectrum of the element. This follows from combining general results on R-diagonal perturbations with analytic estimates that hold specifically for the freely infinitely divisible subclass. The paper further shows the class is closed under several algebraic operations and derives a Hamilton-Jacobi equation governing the free convolution semigroup of the symmetrized law of the modulus.

What carries the argument

Freely infinitely divisible R-diagonal elements, a class containing circular and circular Cauchy elements and stable under homogeneous noncommutative polynomials, carry the argument by enabling both the stability proofs and the analytic estimates needed for the Brown measure results.

If this is right

  • The support of the Brown measure coincides with the spectrum in the bounded case.
  • A criterion for property (H) follows in this non-normal setting.
  • The class remains stable under homogeneous noncommutative polynomials in bounded freely independent elements.
  • The free convolution semigroup satisfies a Hamilton-Jacobi equation for the regularized logarithmic potential.

Where Pith is reading between the lines

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

  • The stability results make it possible to generate additional examples from known ones while preserving the Brown measure properties.
  • The Hamilton-Jacobi equation opens a dynamical perspective on how the measures evolve under repeated free convolutions.
  • The bounded-case results may serve as a model for identifying analogous support equalities in related classes of non-normal operators.

Load-bearing premise

The elements under consideration belong to the class of freely infinitely divisible R-diagonal elements, which is required for the analytic estimates and stability arguments to apply.

What would settle it

A concrete bounded freely infinitely divisible R-diagonal element whose Brown measure has support strictly contained in its spectrum would falsify the coincidence claim.

read the original abstract

We study freely infinitely divisible $R$-diagonal elements in the unbounded setting and Brown measures for free additive perturbations by such elements. This class includes circular elements, circular Cauchy elements, and other previously studied $R$-diagonal models. We construct examples and prove stability under several algebraic operations, including homogeneous noncommutative polynomials in bounded, freely independent elements from this class. Using results for general $R$-diagonal perturbations, together with several analytic estimates specific to freely infinitely divisible $R$-diagonal elements, we prove that, in the bounded case, the support of the Brown measure coincides with the spectrum, and we obtain a criterion for property (H) in this non-normal setting. Finally, we study the free convolution semigroup associated with the symmetrized law of the modulus and derive a Hamilton--Jacobi equation for the regularized logarithmic potential.

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 paper studies freely infinitely divisible R-diagonal elements in both bounded and unbounded settings, including circular and circular Cauchy elements. It constructs examples, establishes stability under algebraic operations such as homogeneous noncommutative polynomials in freely independent elements from this class, and applies analytic estimates together with general R-diagonal perturbation results. In the bounded case, it proves that the support of the Brown measure coincides with the spectrum and obtains a criterion for property (H); it also studies the free convolution semigroup of the symmetrized law of the modulus and derives a Hamilton--Jacobi equation for the regularized logarithmic potential.

Significance. If the results hold, the work provides new tools for analyzing Brown measures of non-normal operators in free probability by identifying a tractable subclass with explicit stability and spectral coincidence properties. The stability under polynomials and the derivation of the Hamilton--Jacobi equation are concrete advances that could facilitate further computations in operator algebras and free probability.

minor comments (3)
  1. [§1] §1 (Introduction): the statement that the class 'includes circular elements, circular Cauchy elements, and other previously studied R-diagonal models' would benefit from explicit citations to the prior works on those models to clarify the novelty of the freely infinitely divisible subclass.
  2. The transition from the unbounded setting (studied throughout most of the paper) to the bounded-case results in the main theorem is not signposted with a dedicated subsection; a short paragraph summarizing the reduction would improve readability.
  3. The Hamilton--Jacobi equation is derived for the regularized logarithmic potential, but the precise form of the regularization (e.g., the cutoff parameter) is not restated when the equation is presented; adding a cross-reference to the definition would aid verification.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary of our work and the recommendation of minor revision. No specific major comments are provided in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper defines the class of freely infinitely divisible R-diagonal elements, constructs examples within it, establishes algebraic stability, and combines general R-diagonal perturbation theorems with class-specific analytic estimates to prove support-spectrum coincidence and a property (H) criterion in the bounded case. No load-bearing step reduces by definition, by fitted input, or by self-citation chain to its own inputs; the central claims rest on independent analytic arguments and external general results rather than tautological renaming or self-referential fitting. This is a standard non-circular mathematical development.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The abstract supplies no explicit free parameters, axioms, or invented entities; the work operates within the standard framework of free probability and R-diagonal operators.

pith-pipeline@v0.9.1-grok · 5674 in / 1042 out tokens · 34353 ms · 2026-06-29T19:45:29.447333+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

5 extracted references · 4 canonical work pages

  1. [1]

    Classical scale mixtures of Boolean stable laws

    [AH16] O. Arizmendi and T. Hasebe. “Classical scale mixtures of Boolean stable laws”.Trans. Am. Math. Soc. 368.7 (2016), pp. 4873–4905.doi:10.1090/tran/6792(cit. on p. 8). [AHS13] O. Arizmendi, T. Hasebe, and N. Sakuma. “On the law of free subordinators”.ALEA, Lat. Am. J. Probab. Math. Stat.10.1 (2013), pp. 271–291 (cit. on pp. 7, 9). [BT02] O. E. Barndor...

    work page doi:10.1090/tran/6792(cit 2016

  2. [2]

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

    Berlin: Springer, 2013, pp. 157–186.doi:10.1007/978-3-642-39459-1_8(cit. on p. 8). [HS07] U. Haagerup and H. Schultz. “Brown measures of unbounded operators affiliated with a finite von Neumann algebra”.Math. Scand.100.2 (2007), pp. 209–263.doi:10.7146/math.scand.a-15023 (cit. on pp. 2, 5, 6, 15, 16, 22). [HS09] U. Haagerup and H. Schultz. “Invariant subs...

    work page doi:10.1007/978-3-642-39459-1_8(cit 2013

  3. [3]

    149–188 (cit

    Providence, RI: American Mathematical Society, 1997, pp. 149–188 (cit. on pp. 1, 5, 6). [NS06] A. Nica and R. Speicher.Lectures on the combinatorics of free probability. Vol

    1997

  4. [4]

    On some properties of free commutators with semicircular variables

    London MathematicalSocietyLectureNoteSeries.CambridgeUniversityPress,Cambridge,2006,pp.xvi+417. doi:10.1017/CBO9780511735127(cit. on pp. 2, 13). [PS25] M. Popa and K. Szpojankowski. “On some properties of free commutators with semicircular variables” (2025). arXiv:2511.13578 [math.OA](cit. on p. 9). [Voi93] D. Voiculescu. “The analogues of entropy and of ...

    work page doi:10.1017/cbo9780511735127(cit 2006

  5. [5]

    Brown measure of the sum of an elliptic operator and a free random variable in a finite von Neumann algebra

    Cham: Birkhäuser, 2023, pp. 225–254.doi:10.1007/978-3-031-38020-4_10(cit. on pp. 2, 5). [Zho26] P. Zhong. “Brown measure of the sum of an elliptic operator and a free random variable in a finite von Neumann algebra”.Am. J. Math.148.1 (2026), pp. 161–233.doi:10.1353/ajm.2026.a980771 (cit. on pp. 2, 19). 25

    work page doi:10.1007/978-3-031-38020-4_10(cit 2023