Edge Rewrite
Jump to content

Draft:R Transform

From Wikipedia, the free encyclopedia

In free probability, the R-transform is a transform of a probability distribution that converts free additive convolution into addition. Introduced by Dan-Virgil Voiculescu, it describes the distribution of a sum of freely independent random variables. Its power-series coefficients are the free cumulants.[1][2]

Definition

[edit]

Let be a compactly supported probability measure on , with Cauchy transform Near infinity, . Its compositional inverse branch satisfies near zero. The R-transform is The singularity at zero is removable. The inverse is local, rather than a global inverse of .[1]: 199 [2]

Free cumulants

[edit]

Writing , the free cumulants are determined by where denotes the noncrossing partitions of . In the convention used here, In particular, is the mean and is the variance. Another convention uses .[1]

Additive convolution

[edit]

If is the distribution of the sum of freely independent self-adjoint random variables with compactly supported distributions and , then for sufficiently small .[1]: 199 [2] This follows from the vanishing of mixed free cumulants.[1]

Examples

[edit]

With the convention above, standard examples are:[1]

DistributionR-transform
Point mass
Semicircular distribution with mean and variance
Free Poisson distribution with rate and jump size

The free Poisson convention in this table has .[1]: 203–204 

See also

[edit]

References

[edit]
  1. 1 2 3 4 5 6 7 Nica, Alexandru; Speicher, Roland (2006). Lectures on the Combinatorics of Free Probability (PDF). London Mathematical Society Lecture Note Series. Vol. 335. Cambridge University Press. Lecture 11 (free cumulants and noncrossing partitions); Notation 12.6 and Theorem 12.7, p. 199 (R-transform, Cauchy transform and additivity); pp. 203–204 (free Poisson distributions); Lecture 16 (multivariable R-transform and the alternative power-series convention).
  2. 1 2 3 Speicher, Roland (2019). "Lecture Notes on "Free Probability Theory"". Theorem 4.12 and Definition 4.13 (analytic definition, local inverse, free-cumulant expansion and additivity); Example 4.14 (worked calculation). arXiv:1908.08125 [math.OA].
[edit]