arXiv++ Combinatorics

We study mixtures of free, monotone, and Boolean independence described by a directed graph $G = (V,E)$ in the context of $\mathcal{T}$-free convolutions of Jekel and Liu. We prove general limit theorems for the associated additive convolution operations $\boxplus_G$. For a sequence of digraphs $G_n = (V_n,E_n)$, we give sufficient conditions for the limit $\widehatμ = \lim_{n \to \infty} \boxplus_{G_n}(μ_n)$ to exist whenever the Boolean convolution powers $μ_n^{\uplus |V_n|}$ converge to some $μ$. This in particular includes central limit and Poisson limit theorems, as well as limit theorems for each classical domain of attraction. The hypothesis on the sequence of $G_n$ is that the normalized counts of digraph homomorphisms from rooted trees into $G_n$ converge as $n \to \infty$, and we verify this for several families of examples where the $G_n$'s converge in some sense to a continuum limit, or digraphon. In particular, we obtain a new limit theorem for multiregular digraphs, as well as recovering several limit theorems in prior work.

We present analogues of the Poisson limit distribution for the noncommutative bm-independence, which is associated with several positive symmetric cones. We construct related discrete Fock spaces with creation, annihilation and conservation operators, and prove Poisson type limit theorems for them. Properties of the positive cones, in particular the volume characteristic property they enjoy, and the combinatorics of labelled noncrossing partitions, play crucial role in these considerations.

We study the distribution (w.r.t. the vacuum state) of family of partial sums Sm of position operators on weakly monotone Fock space. We show that any single operator has the Wigner law, and an arbitrary family of them (with the index set linearly ordered) is a collection of monotone independent random variables. It turns out that our problem equivalently consists in finding the m-fold monotone convolution of the semicircle law. For m = 2 we compute the explicit distribution. For any m > 2 we give the moments of the measure, and show it is absolutely continuous and compactly supported on a symmetric interval whose endpoints can be found by a recurrence relation.