arXiv++ Combinatorics

Given a sequence of real rooted polynomials $\{p_n\}_{n\geq 1}$ with a fixed asymptotic root distribution, we study the asymptotic root distribution of the repeated polar derivatives of this sequence. This limiting distribution can be seen as the result of fractional free convolution and pushforward maps along Möbius transforms for distributions. This new family of operations on measures forms a semigroup and satisfy some other nice properties. Using the fact that polar derivatives commute with one another, we obtain a non-trivial commutation relation between these new operations. We also study a notion of polar free infinite divisibility and construct Belinschi-Nica type semigroups. Finally, we provide some interesting examples of distributions that behave nicely with respect to these new operations, including the Marchenko-Pastur and the Cauchy distributions.

Given two second order free random variables $a$ and $b$, we study the second order free cumulants of their product $ab$, their commutator $ab-ba$, and their anti-commutator $ab+ba$. Let $(κ_n^a)_{n\geq 1}$ and $(κ_{n,m}^a)_{n,m\geq 1}$ denote the sequence of free cumulants of first and second order, respectively, of a random variable $a$ in a second order non-commutative probability space $(\mathcal{A},\varphi,\varphi^2)$. Given $a$ and $b$ two second order freely independent random variables, we provide formulas to compute each of the cumulants $(κ_{n,m}^{ab})_{n,m\geq 1}$, $(κ_{n,m}^{ab-ba})_{n,m\geq 1}$, and $(κ_{n,m}^{ab+ba})_{n,m\geq 1}$ in terms of the individual cumulants $(κ_{n}^{a})_{n\geq 1}$, $(κ_{n,m}^{a})_{n,m\geq 1}$, $(κ_{n}^{b})_{n\geq 1}$, and $(κ_{n,m}^{b})_{n,m\geq 1}$. For $n=m=1$ our formulas read: \begin{align*} κ_{1,1}^{ab} &= κ_{2}^{a}κ_{2}^{b} +κ_{1,1}^{a}(κ_{1}^{b})^2+κ_{1,1}^{b}(κ_{1}^{a})^2,\\ κ_{1,1}^{ab-ba} &= 2κ_{2}^{a}κ_{2}^{b},\\ κ_{1,1}^{ab+ba} &= 2κ_{2}^{a}κ_{2}^{b} +4κ_{1,1}^{a}(κ_{1}^{b})^2+4κ_{1,1}^{b}(κ_{1}^{a})^2. \end{align*} In general, our formulas express the cumulants $κ_{n,m}^{ab}$, $κ_{n,m}^{ab-ba}$, and $κ_{n,m}^{ab+ba}$ as sums indexed by special subsets of non-crossing partitioned permutations. The formulas for the commutator and anti-commutator where not studied before, while the formula for the product was only known in the case the where the individual second order free cumulants vanish. As an application, we compute explicitly the cumulants of the anti-commutator and product of two second order free semicircular variables.

Finite-free additive and multiplicative convolutions are operations on the set of polynomials with real roots, introduced independently by Szegö and Walsh in the 1920s. These operations have regained some interest, in the last decade, after being rediscovered by Marcus, Spielman, and Srivastava as the expected characteristic polynomial of randomly rotated matrices. They converge, as the degree $d$ of the polynomials increases, to the additive and multiplicative convolution of measures from free probability of Voiculescu. In this paper, we investigate the fluctuations of order $1/d$ -- also known as infinitesimal distributions -- related to these two operations and their limiting behavior, providing a detailed description of their convergence. Our approach relies on understanding the infinitesimal moment-cumulant formulas and the corresponding functional relations. We also establish several applications and examples, including instances related to the infinitesimal free convolution of Belinschi and Shlyakhtenko, as well as the computation of infinitesimal distributions after differentiation of polynomials.

Given two polynomials $p(x), q(x)$ of degree $d$, we give a combinatorial formula for the finite free cumulants of $p(x)\boxtimes_d q(x)$. We show that this formula admits a topological expansion in terms of non-crossing multi-annular permutations on surfaces of different genera. This topological expansion, on the one hand, deepens the connection between the theories of finite free probability and free probability, and in particular proves that $\boxtimes_d$ converges to $\boxtimes$ as $d$ goes to infinity. On the other hand, borrowing tools from the theory of second order freeness, we use our expansion to study the infinitesimal distribution of certain families of polynomials which include Hermite and Laguerre, and draw some connections with the theory of infinitesimal distributions for real random matrices. Finally, building off our results we give a new short and conceptual proof of a recent result [Steinerberger (2020), Hoskins and Kabluchko (2020)] that connects root distributions of polynomial derivatives with free fractional convolution powers.

We consider the group $(\mathcal{G},*)$ of unitized multiplicative functions in the incidence algebra of non-crossing partitions, where ``$*$'' denotes the convolution operation. We introduce a larger group $(\widetilde{\mathcal{G}},*)$ of unitized functions from the same incidence algebra, which satisfy a weaker condition of being ``semi-multiplicative''. The natural action of $\widetilde{\mathcal{G}}$ on sequences of multilinear functionals of a non-commutative probability space captures the combinatorics of transitions between moments and some brands of cumulants that are studied in the non-commutative probability literature. We use the framework of $\widetilde{\mathcal{G}}$ in order to explain why the multiplication of free random variables can be very nicely described in terms of Boolean cumulants and more generally in terms of $t$-Boolean cumulants, a one-parameter interpolation between free and Boolean cumulants arising from work of Bozejko and Wysoczanski. It is known that the group $\mathcal{G}$ can be naturally identified as the group of characters of the Hopf algebra Sym of symmetric functions. We show that $\widetilde{\mathcal{G}}$ can also be identified as group of characters of a Hopf algebra $\mathcal{T}$, which is an incidence Hopf algebra in the sense of Schmitt. Moreover, the inclusion of $\mathcal{G}$ into $\widetilde{\mathcal{G}}$ turns out to be the dual of a natural bialgebra homomorphism from $\mathcal{T}$ onto Sym.

Let $(κ_n(a))_{n\geq 1}$ denote the sequence of free cumulants of a random variable $a$ in a non-commutative probability space $(\mathcal{A},\varphi)$. Based on some considerations on bipartite graphs, we provide a formula to compute the cumulants $(κ_n(ab+ba))_{n\geq 1}$ in terms of $(κ_n(a))_{n\geq 1}$ and $(κ_n(b))_{n\geq 1}$, where $a$ and $b$ are freely independent. Our formula expresses the $n$-th free cumulant of $ab+ba$ as a sum indexed by partitions in the set $\mathcal{Y}_{2n}$ of non-crossing partitions of the form \[ σ=\{B_1,B_3,\dots, B_{2n-1},E_1,\dots,E_r\}, \quad \text{with }r\geq 0, \] such that $i\in B_{i}$ for $i=1,3,\dots,2n-1$ and $|E_j|$ even for $j\leq r$. Therefore, by studying the sets $\mathcal{Y}_{2n}$ we obtain new results regarding the distribution of $ab+ba$. For instance, the size $|\mathcal{Y}_{2n}|$ is closely related to the case when $a,b$ are free Poisson random variables of parameter 1. Our formula can also be expressed in terms of cacti graphs. This graph theoretic approach suggests a natural generalization that allows us to study quadratic forms in $k$ free random variables.

Boolean, free and monotone cumulants as well as relations among them, have proven to be important in the study of non-commutative probability theory. Quite notably, Boolean cumulants were successfully used to study free infinite divisibility via the Boolean Bercovici--Pata bijection. On the other hand, in recent years the concept of infinitesimal non-commutative probability has been developed, together with the notion of infinitesimal cumulants which can be useful in the context of combinatorial questions. In this paper, we show that the known relations among free, Boolean and monotone cumulants still hold in the infinitesimal framework. Our approach is based on the use of Grassmann algebra. Formulas involving infinitesimal cumulants can be obtained by applying a formal derivation to known formulas. The relations between the various types of cumulants turn out to be captured via the shuffle algebra approach to moment-cumulant relations in non-commutative probability theory. In this formulation, (free, Boolean and monotone) cumulants are represented as elements of the Lie algebra of infinitesimal characters over a particular combinatorial Hopf algebra. The latter consists of the graded connected double tensor algebra defined over a non-commutative probability space and is neither commutative nor cocommutative. In this note it is shown how the shuffle algebra approach naturally extends to the notion of infinitesimal non-commutative probability space. The basic step consists in replacing the base field as target space of linear Hopf algebra maps by the Grassmann algebra over the base field. We also consider the infinitesimal analog of the Boolean Bercovici--Pata map.

In this paper we define cumulants for finite free convolution. We give a moment-cumulant formula and show that these cumulants satisfy desired properties: they are additive with respect to finite free convolution and they approach free cumulants as the dimension goes to infinity.