Free multiplicative convolution with an arbitrary measure on the real line
Pith reviewed 2026-05-23 00:42 UTC · model grok-4.3
The pith
Subordination functions and the S-transform are constructed for arbitrary probability measures, proving multiplicativity and yielding convolution identities for stable laws.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We construct the subordination functions and the S-transform of an arbitrary probability measure. The important multiplicativity of S-transform is proved with the help of subordination functions. We then apply the S-transform to establish convolution identities for stable laws, which had been considered in the literature only for the positive and symmetric cases. Subordination functions are also used in order to extend Belinschi--Nica's semigroup of homomorphisms, and to establish regularity properties of free multiplicative convolution, in particular, the absence of singular continuous part and analyticity of the density.
What carries the argument
Subordination functions and the S-transform constructed for arbitrary probability measures on the real line.
If this is right
- Convolution identities for stable laws hold without restricting to positive or symmetric cases.
- Belinschi-Nica semigroup of homomorphisms extends to the general setting.
- Free multiplicative convolution of arbitrary measures has no singular continuous part.
- The density of the free multiplicative convolution is analytic.
Where Pith is reading between the lines
- The tools may permit direct computation of free convolutions for discrete or empirical measures arising in applications.
- Regularity results could be tested numerically by approximating convolutions of measures with known atoms and checking for continuous densities.
- The approach might adapt to other types of free convolutions or to non-probability measures with finite moments.
Load-bearing premise
Analytic tools from free probability extend to arbitrary measures on the real line without additional domain or regularity restrictions that would prevent the subordination functions or S-transform from being well-defined.
What would settle it
A specific probability measure on the real line for which the constructed S-transform fails to be multiplicative under free multiplicative convolution.
read the original abstract
We develop analytic tools for studying the free multiplicative convolution of any measure on the real line and any measure on the nonnegative real line. More precisely, we construct the subordination functions and the $S$-transform of an arbitrary probability measure. The important multiplicativity of $S$-transform is proved with the help of subordination functions. We then apply the $S$-transform to establish convolution identities for stable laws, which had been considered in the literature only for the positive and symmetric cases. Subordination functions are also used in order to extend Belinschi--Nica's semigroup of homomorphisms, and to establish regularity properties of free multiplicative convolution, in particular, the absence of singular continuous part and analyticity of the density.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript develops analytic tools for the free multiplicative convolution of an arbitrary probability measure on the real line with an arbitrary probability measure on the nonnegative reals. It constructs the subordination functions and the S-transform for such arbitrary measures, proves the multiplicativity property of the S-transform via the subordination relation, derives convolution identities for stable laws (extending beyond positive and symmetric cases), extends the Belinschi-Nica semigroup of homomorphisms, and establishes regularity results including the absence of a singular continuous part and analyticity of the density.
Significance. If the constructions and proofs hold without hidden domain restrictions, the work would substantially extend the reach of free probability by providing explicit, general-purpose analytic tools (subordination functions and S-transform) that were previously limited to restricted classes of measures. The multiplicativity proof, the stable-law identities, and the regularity theorems (analytic density, no singular continuous spectrum) would be notable contributions, particularly given the direct analytic approach described.
major comments (2)
- [Abstract and construction sections] The central constructions of the subordination functions and S-transform (as stated in the abstract) rely on extending standard Cauchy-transform and moment-series machinery to arbitrary measures without additional regularity assumptions. It is unclear whether the analytic continuation and domain issues are fully addressed for measures with atoms or unbounded support; this is load-bearing for the claim that the tools apply to 'an arbitrary probability measure'.
- [Multiplicativity proof] § on the multiplicativity proof: the argument routes through the subordination relation in the standard way, but the manuscript must explicitly verify that the subordination functions remain well-defined and the analytic continuations do not encounter branch-cut obstructions when one measure is supported on all of R (rather than [0,∞)).
minor comments (2)
- Notation for the S-transform and subordination functions should be introduced with explicit domain specifications (e.g., which half-plane or slit plane) to avoid ambiguity when measures are arbitrary.
- The applications to stable laws would benefit from a brief comparison table or explicit statement of which prior results (positive/symmetric cases) are recovered as special cases.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below.
read point-by-point responses
-
Referee: [Abstract and construction sections] The central constructions of the subordination functions and S-transform (as stated in the abstract) rely on extending standard Cauchy-transform and moment-series machinery to arbitrary measures without additional regularity assumptions. It is unclear whether the analytic continuation and domain issues are fully addressed for measures with atoms or unbounded support; this is load-bearing for the claim that the tools apply to 'an arbitrary probability measure'.
Authors: The constructions in Sections 2--3 are formulated directly via the Cauchy transform of a general probability measure (including atoms, via its jumps, and unbounded support, via the behavior at infinity). The subordination functions arise as unique solutions to the implicit equations in the appropriate half-plane domains, with analytic continuation justified by the standard properties of the Cauchy transform. To remove any ambiguity regarding these cases, we will add an explicit paragraph in the construction section discussing atoms and unbounded support. revision: yes
-
Referee: [Multiplicativity proof] § on the multiplicativity proof: the argument routes through the subordination relation in the standard way, but the manuscript must explicitly verify that the subordination functions remain well-defined and the analytic continuations do not encounter branch-cut obstructions when one measure is supported on all of R (rather than [0,∞)).
Authors: In the multiplicativity proof, the subordination functions are defined and shown to satisfy the required relations for measures supported on all of R; the branch of the logarithm in the S-transform is chosen consistently with the principal branch, and the imaginary-part estimates prevent crossing of cuts. We will revise the proof section to include an explicit verification remark or short lemma confirming the absence of branch-cut obstructions in the general-support case. revision: yes
Circularity Check
No significant circularity detected
full rationale
The paper constructs subordination functions and the S-transform for arbitrary measures via standard analytic extensions of Cauchy-transform and moment machinery from free probability, then proves S-transform multiplicativity through the usual subordination relation. These steps rely on external analytic definitions and do not reduce to self-definitions, fitted inputs renamed as predictions, or load-bearing self-citations. The central claims remain independent of the paper's own inputs and are self-contained against established free-probability benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard axioms and definitions of free independence and free multiplicative convolution from prior literature in free probability.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.