• ### Product formulas on posets, Wick products, and a correction for the $q$-Poisson process(1708.08034)

Oct. 4, 2018 math.CO, math.OA
We give an example showing that the product and linearization formulas for the Wick product versions of the $q$-Charlier polynomials in (Anshelevich 2004) are incorrect. Next, we observe that the relation between monomials and several families of Wick polynomials is governed by "incomplete" versions of familiar posets. We compute M\"obius functions for these posets, and prove a general poset product formula. These provide new proofs and new inversion and product formulas for Wick product versions of Hermite, Chebyshev, Charlier, free Charlier, and Laguerre polynomials. By different methods, we prove inversion formulas for the Wick product versions of the free Meixner polynomials.
• ### Expansion of permutations as products of transpositions(1702.06093)

Feb. 20, 2017 math.CO
We compute the number of ways a given permutation can be written as a product of exactly $k$ transpositions. We express this number as a linear combination of explicit geometric sequences, with coefficients which can be computed in many particular cases. Along the way we prove several symmetry properties for matrices associated with bipartite graphs, as well as some general (likely known) properties of Young diagrams. The methods involve linear algebra, enumeration of border strip tableau, and a differential operator on symmetric polynomials.
• ### The exponential map in non-commutative probability(1601.08180)

Aug. 4, 2016 math.PR
The wrapping transformation $W$ is a homomorphism from the semigroup of probability measures on the real line, with the convolution operation, to the semigroup of probability measures on the circle, with the multiplicative convolution operation. We show that on a large class $\mathcal{L}$ of measures, $W$ also transforms the three non-commutative convolutions---free, Boolean, and monotone---to their multiplicative counterparts. Moreover, the restriction of $W$ to $\mathcal{L}$ preserves various qualitative properties of measures and triangular arrays. We use these facts to give short proofs of numerous known, and new, results about multiplicative convolutions.
• ### Operator-valued Jacobi parameters and examples of operator-valued distributions(1412.1280)

Dec. 17, 2015 math.CO, math.OA
In the setting of distributions taking values in a $C^\ast$-algebra $\mathcal{B}$, we define generalized Jacobi parameters and study distributions they generate. These include numerous known examples and one new family, of $\mathcal{B}$-valued free binomial distributions, for which we are able to compute free convolution powers. Moreover, we develop a convenient combinatorial method for calculating the joint distributions of $\mathcal{B}$-free random variables with Jacobi parameters, utilizing two-color non-crossing partitions. This leads to several new explicit examples of free convolution computations in the operator-valued setting. Additionally, we obtain a counting algorithm for the number of two-color non-crossing pairings of relative finite depth, using only free probabilistic techniques. Finally, we show that the class of distributions with Jacobi parameters is not closed under free convolution.
• ### A characterization of ultraspherical, Hermite, and Chebyshev polynomials of the first kind(1108.0914)

Nov. 12, 2015 math.CO, math.CA
We show that the only orthogonal polynomials with a generating function of the form $F(x z - \alpha z^2)$ are the ultraspherical, Hermite, and Chebyshev polynomials of the first kind. For special $F$ for which this is the case, we then finish the classification of orthogonal polynomials with more general generating functions $F(x w(z) - R(z))$.
• ### Operator-Valued Monotone Convolution Semigroups and an Extension of the Bercovici-Pata Bijection(1412.1413)

May 19, 2015 math.OA, math.PR
In a 1999 paper, Bercovici and Pata showed that a natural bijection between the classically, free and Boolean infinitely divisible measures held at the level of limit theorems of triangular arrays. This result was extended to include monotone convolution by the authors. In recent years, operator-valued versions of free, Boolean and monotone probability have also been developed. Belinschi, Popa and Vinnikov showed that the Bercovici-Pata bijection holds for the operator-valued versions of free and Boolean probability. In this article, we extend the bijection to include monotone probability theory even in the operator-valued case. To prove this result, we develop the general theory of composition semigroups of non-commutative functions and largely recapture Berkson and Porta's classical results on composition semigroups of complex functions in operator-valued setting. As a biproduct, we deduce that operator-valued monotonically infinitely divisible distributions belong to monotone convolution semigroups. Finally, in the appendix, we extend the result of the second author on the classification of Cauchy transforms for non-commutative distributions to the Cauchy transforms associated to more general completely positive maps.
• ### Local limit theorems for multiplicative free convolutions(1312.2487)

May 5, 2014 math.PR, math.FA
This paper describes the quality of convergence to an infinitely divisible law relative to free multiplicative convolution. We show that convergence in distribution for products of identically distributed and infinitesimal free random variables implies superconvergence of their probability densities to the density of the limit law. Superconvergence to the marginal law of free multiplicative Brownian motion at a specified time is also studied. In the unitary case, the superconvergence to free Brownian motion and that to the Haar measure are shown to be uniform over the entire unit circle, implying further a free entropic limit theorem and a universality result for unitary free L\'{e}vy processes. Finally, the method of proofs on the positive half-line gives rise to a new multiplicative Boolean to free Bercovici-Pata bijection.
• ### Free evolution on algebras with two states II(1204.0289)

Feb. 17, 2014 math.OA
Denote by $J$ the operator of coefficient stripping. We show that for any free convolution semigroup of measures $\nu_t$ with finite variance, applying a single stripping produces semicircular evolution with non-zero initial condition, $J[\nu_t] = \rho \boxplus \sigma^{\boxplus t}$, where $\sigma$ is the semicircular distribution with mean $\beta$ and variance $\gamma$. For more general freely infinitely divisible distributions $\tau$, expressions of the form $\rho \boxplus \tau^{\boxplus t}$ arise from stripping $\mu_t$, where the pairs $(\mu_t, \nu_t)$ form a semigroup under the operation of two-state free convolution. The converse to this statement holds in the algebraic setting. Numerous examples illustrating these constructions are computed. Additional results include the formula for generators of such semigroups.
• ### Limit theorems for monotonic convolution and the Chernoff product formula(1209.4260)

Feb. 19, 2013 math.OA, math.PR
Bercovici and Pata showed that the correspondence between classically, freely, and Boolean infinitely divisible distributions holds on the level of limit theorems. We extend this correspondence also to distributions infinitely divisible with respect to the additive monotone convolution. Because of non-commutativity of this convolution, we use a new technique based on the Chernoff product formula. In fact, the correspondence between the Boolean and monotone limit theorems extends from probability measures to positive measures of total weight at most one. Finally, we study this correspondence for multiplicative monotone convolution, where the Bercovici-Pata bijection no longer holds.
• ### Generators of some non-commutative stochastic processes(1104.1381)

Jan. 22, 2013 math.OA, math.PR
A fundamental result of Biane (1998) states that a process with freely independent increments has the Markov property, but that there are two kinds of free Levy processes: the first kind has stationary increments, while the second kind has stationary transition operators. We show that a process of the first kind (with mean zero and finite variance) has the same transition operators as the free Brownian motion with appropriate initial conditions, while a process of the second kind has the same transition operators as a monotone Levy process. We compute an explicit formula for the generators of these families of transition operators, in terms of singular integral operators, and prove that this formula holds on a fairly large domain. We also compute the generators for the $q$-Brownian motion, and for the two-state free Brownian motions.
• ### The free Meixner class for pairs of measures(1003.4025)

July 23, 2011 math.CO, math.OA, math.PR
We investigate in more detail the two-state free convolution semigroups of pairs of measures whose Jacobi parameters are linear in the convolution parameter $t$. These semigroups were constructed in arXiv:1001.1540, where we also showed that measures with the analogous property for the usual and free convolution are exactly the classical, resp. free Meixner classes. The class of measures in this paper has not been considered explicitly before, but we show that it also has Meixner-type properties. Specifically, it appears in limit theorems, has a Laha-Lukacs-type characterization, and is related to the $q=0$ case of quadratic harnesses.
• ### Semigroups of distributions with linear Jacobi parameters(1001.1540)

July 23, 2011 math.CO, math.OA
We show that a convolution semigroup of measures has Jacobi parameters polynomial in the convolution parameter $t$ if and only if the measures come from the Meixner class. Moreover, we prove the parallel result, in a more explicit way, for the free convolution and the free Meixner class. We then construct the class of measures satisfying the same property for the two-state free convolution. This class of two-state free convolution semigroups has not been considered explicitly before. We show that it also has Meixner-type properties. Specifically, it contains the analogs of the normal, Poisson, and binomial distributions, has a Laha-Lukacs-type characterization, and is related to the $q=0$ case of quadratic harnesses.
• ### Convolution powers in the operator-valued framework(1107.2894)

July 14, 2011 math.OA, math.PR
We consider the framework of an operator-valued noncommutative probability space over a unital C*-algebra B. We show how for a B-valued distribution \mu one can define convolution powers with respect to free additive convolution and with respect to Boolean convolution, where the exponent considered in the power is a suitably chosen linear map \eta from B to B, instead of being a non-negative real number. More precisely, the Boolean convolution power is defined whenever \eta is completely positive, while the free additive convolution power is defined whenever \eta - 1 is completely positive (where 1 stands for the identity map on B). In connection to these convolution powers we define an evolution semigroup related to the Boolean Bercovici-Pata bijection. We prove several properties of this semigroup, including its connection to the B-valued free Brownian motion. We also obtain two results on the operator-valued analytic function theory related to the free additive convolution powers with exponent \eta. One of the results concerns analytic subordination for B-valued Cauchy-Stieltjes transforms. The other gives a B-valued version of the inviscid Burgers equation, which is satisfied by the Cauchy-Stieltjes transform of a B-valued free Brownian motion.
• ### Quantum Free Yang-Mills on the Plane(1106.2107)

June 10, 2011 math-ph, math.MP, math.OA
We construct a free-probability quantum Yang-Mills theory on the two dimensional plane, determine the Wilson loop expectation values, and show that this theory is the $N=\infty$ limit of U(N) quantum Yang-Mills theory on the plane.
• ### Two-state free Brownian motions(1006.1132)

June 6, 2010 math.OA, math.PR
In a two-state free probability space $(A, \phi, \psi)$, we define an algebraic two-state free Brownian motion to be a process with two-state freely independent increments whose two-state free cumulant generating function is quadratic. Note that a priori, the distribution of the process with respect to the second state $\psi$ is arbitrary. We show, however, that if $A$ is a von Neumann algebra, the states $\phi, \psi$ are normal, and $\phi$ is faithful, then there is only a one-parameter family of such processes. Moreover, with the exception of the actual free Brownian motion (corresponding to $\phi = \psi$), these processes only exist for finite time.
• ### Free Infinite Divisibility for Q-Gaussians(1003.0935)

March 4, 2010 math.OA, math.PR
We prove that the q-Gaussian distribution introduced by Bozejko and Speicher is freely infinitely divisible for all q between zero and one.
• ### Bochner-Pearson-type characterization of the free Meixner class(0909.1097)

Sept. 6, 2009 math.CO, math.OA
The operator $L_\mu: f \mapsto \int \frac{f(x) - f(y)}{x - y} d\mu(y)$ is, for a compactly supported measure $\mu$ with an $L^3$ density, a closed, densely defined operator on $L^2(\mu)$. We show that the operator $Q = p L_\mu^2 - q L_\mu$ has polynomial eigenfunctions if and only if $\mu$ is a free Meixner distribution. The only time $Q$ has orthogonal polynomial eigenfunctions is if $\mu$ is a semicircular distribution. More generally, the only time the operator $p (L_\nu L_\mu) - q L_\mu$ has orthogonal polynomial eigenfunctions is when $\mu$ and $\nu$ are related by a Jacobi shift.
• ### Appell polynomials and their relatives III. Conditionally free theory(0803.4279)

Aug. 12, 2009 math.CO, math.OA
We extend to the multivariate non-commutative context the descriptions of a "once-stripped" probability measure in terms of Jacobi parameters, orthogonal polynomials, and the moment generating function. The corresponding map Phi on states was introduced previously by Belinschi and Nica. We then relate these constructions to the c-free probability theory, which is a version of free probability for algebras with two states, introduced by Bozejko, Leinert, and Speicher. This theory includes as two extreme cases the free and Boolean probability theories. The main objects in the paper are the analogs of the Appell polynomial families in the two state context. They arise as fixed points of the transformation which takes a polynomial family to the associated polynomial family (in several variables), and their orthogonality is also related to the map Phi above. In addition, we prove recursions, generating functions, and factorization and martingale properties for these polynomials, and describe the c-free version of the Kailath-Segall polynomials, their combinatorics, and Hilbert space representations.
• ### Product-type non-commutative polynomial states(0811.0058)

Nov. 1, 2008 math.CO, math.OA
In math/0702157, arXiv:0712.4185, we investigated monic multivariate non-commutative orthogonal polynomials, their recursions, states of orthogonality, and corresponding continued fraction expansions. In this note, we collect a number of examples, demonstrating what these general results look like for the most important states on non-commutative polynomials, namely for various product states. In particular, we introduce a notion of a product-type state on polynomials, which covers all the non-commutative universal products and excludes some other familiar non-commutative products, and which guarantees a number of nice properties for the corresponding polynomials.
• ### Free evolution on algebras with two states(0803.4280)

April 12, 2008 math.OA
The key result in the paper concerns two transformations, Phi(rho, psi) and B_t(psi) on states on the algebra of non-commutative polynomials, or equivalently on joint distributions of d-tuples of non-commuting operators. These transformations are related to free probability: Phi intertwines the action of B_t and the free convolution with the semigroup {rho_t}. The maps {B_t} were introduced by Belinschi and Nica as a semigroup of transformations such that B_1 is the bijection between infinitely divisible distributions in the Boolean and free probability theories. They proved the intertwining property above for a single-variable version of the map Phi and the particular case of the free heat semigroup. The more general two-variable map Phi comes, not from free probability, but from the theory of two-state algebras, also called the conditionally free probability theory, introduced by Bozejko, Leinert, and Speicher. Orthogonality of the c-free versions of the Appell polynomials, investigated in arXiv:0803.4279, is closely related to the single-variable map Phi. On the other hand, more general free Meixner families behave well under all the transformations above, and provide clues to their general behavior. Besides the evolution equation, other results include the positivity of the map Phi and descriptions of its fixed points and range.
• ### Appell polynomials and their relatives II. Boolean theory(0712.4185)

Dec. 27, 2007 math.CO, math.OA
The Appell-type polynomial family corresponding to the simplest non-commutative derivative operator turns out to be connected with the Boolean probability theory, the simplest of the three universal non-commutative probability theories (the other two being free and tensor/classical probability). The basic properties of the Boolean Appell polynomials are described. In particular, their generating function turns out to have a resolvent-type form, just like the generating function for the free Sheffer polynomials. It follows that the Meixner (that is, Sheffer plus orthogonal) polynomial classes, in the Boolean and free theory, coincide. This is true even in the multivariate case. A number of applications of this fact are described, to the Belinschi-Nica and Bercovici-Pata maps, conditional freeness, and the Laha-Lukacs type characterization. A number of properties which hold for the Meixner class in the free and classical cases turn out to hold in general in the Boolean theory. Examples include the behavior of the Jacobi coefficients under convolution, the relationship between the Jacobi coefficients and cumulants, and an operator model for cumulants. Along the way, we obtain a multivariate version of the Stieltjes continued fraction expansion for the moment generating function of an arbitrary state with monic orthogonal polynomials.
• ### Monic non-commutative orthogonal polynomials(math/0702157)

Feb. 6, 2007 math.CO, math.OA
Among all states on the algebra of non-commutative polynomials, we characterize the ones that have monic orthogonal polynomials. The characterizations involve recursion relations, Hankel-type determinants, and a representation as a joint distribution of operators on a Fock space.
• ### Free Meixner states(math/0702158)

Feb. 6, 2007 math.CO, math.OA
Free Meixner states are a class of functionals on non-commutative polynomials introduced in math.CO/0410482. They are characterized by a resolvent-type form for the generating function of their orthogonal polynomials, by a recursion relation for those polynomials, or by a second-order non-commutative differential equation satisfied by their free cumulant functional. In this paper, we construct an operator model for free Meixner states. By combinatorial methods, we also derive an operator model for their free cumulant functionals. This, in turn, allows us to construct a number of examples. Many of these examples are shown to be trivial, in the sense of being free products of functionals which depend on only a single variable, or rotations of such free products. On the other hand, the multinomial distribution is a free Meixner state and is not a product. Neither is a large class of tracial free Meixner states which are analogous to the simple quadratic exponential families in statistics.
• ### Orthogonal polynomials with a resolvent-type generating function(math/0410482)

July 3, 2006 math.CO, math.OA
The subject of this paper are polynomials in multiple non-commuting variables. For polynomials of this type orthogonal with respect to a state, we prove a Favard-type recursion relation. On the other hand, free Sheffer polynomials are a polynomial family in non-commuting variables with a resolvent-type generating function. Among such families, we describe the ones that are orthogonal. Their recursion relations have a more special form; the best way to describe them is in terms of the free cumulant generating function of the state of orthogonality, which turns out to satisfy a type of second-order difference equation. If the difference equation is in fact first order, and the state is tracial, we show that the state is necessarily a rotation of a free product state. We also describe interesting examples of non-tracial infinitely divisible states with orthogonal free Sheffer polynomials.
• ### Zimmermann Type Cancellation in the Free Faa di Bruno Algebra(math/0504436)

April 21, 2005 math.CO, math.QA
The N-variable Hopf algebra introduced by Brouder, Fabretti, and Krattenaler (BFK) in the context of non-commutative Lagrange inversion can be identified with the inverse of the incidence algebra of N-colored interval partitions. The (BFK) antipode and its reflection determine the (generally distinct) left and right inverses of power series with non-commuting coefficients and N non-commuting variables. As in the case of the Faa di Bruno Hopf algebra, there is an analogue of the Zimmermann cancellation formula. The summands of the (BFK) antipode can indexed by the depth first ordering of vertices on contracted planar trees, and the same applies to the interval partition antipode. Both can also be indexed by the breadth first ordering of vertices in the non-order contractible planar trees in which precisely one non-degenerate vertex occurs on each level.