
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.

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 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 noncommutative convolutionsfree, Boolean, and
monotoneto 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.

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 twocolor
noncrossing partitions. This leads to several new explicit examples of free
convolution computations in the operatorvalued setting. Additionally, we
obtain a counting algorithm for the number of twocolor noncrossing 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.

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))$.

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, operatorvalued
versions of free, Boolean and monotone probability have also been developed.
Belinschi, Popa and Vinnikov showed that the BercoviciPata bijection holds for
the operatorvalued versions of free and Boolean probability. In this article,
we extend the bijection to include monotone probability theory even in the
operatorvalued case. To prove this result, we develop the general theory of
composition semigroups of noncommutative functions and largely recapture
Berkson and Porta's classical results on composition semigroups of complex
functions in operatorvalued setting. As a biproduct, we deduce that
operatorvalued 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
noncommutative distributions to the Cauchy transforms associated to more
general completely positive maps.

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 halfline gives rise
to a new multiplicative Boolean to free BercoviciPata bijection.

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 nonzero 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 twostate 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.

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
noncommutativity 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 BercoviciPata bijection no
longer holds.

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 twostate free Brownian motions.

We investigate in more detail the twostate 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 Meixnertype properties. Specifically, it appears in limit
theorems, has a LahaLukacstype characterization, and is related to the $q=0$
case of quadratic harnesses.

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 twostate
free convolution. This class of twostate free convolution semigroups has not
been considered explicitly before. We show that it also has Meixnertype
properties. Specifically, it contains the analogs of the normal, Poisson, and
binomial distributions, has a LahaLukacstype characterization, and is related
to the $q=0$ case of quadratic harnesses.

We consider the framework of an operatorvalued noncommutative probability
space over a unital C*algebra B. We show how for a Bvalued 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
nonnegative 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 BercoviciPata bijection. We prove several properties of
this semigroup, including its connection to the Bvalued free Brownian motion.
We also obtain two results on the operatorvalued analytic function theory
related to the free additive convolution powers with exponent \eta. One of the
results concerns analytic subordination for Bvalued CauchyStieltjes
transforms. The other gives a Bvalued version of the inviscid Burgers
equation, which is satisfied by the CauchyStieltjes transform of a Bvalued
free Brownian motion.

We construct a freeprobability quantum YangMills 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 YangMills theory on the
plane.

In a twostate free probability space $(A, \phi, \psi)$, we define an
algebraic twostate free Brownian motion to be a process with twostate freely
independent increments whose twostate 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 oneparameter 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.

We prove that the qGaussian distribution introduced by Bozejko and Speicher
is freely infinitely divisible for all q between zero and one.

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.

We extend to the multivariate noncommutative context the descriptions of a
"oncestripped" 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 cfree 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 cfree version of the KailathSegall polynomials, their
combinatorics, and Hilbert space representations.

In math/0702157, arXiv:0712.4185, we investigated monic multivariate
noncommutative 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 noncommutative polynomials, namely for
various product states. In particular, we introduce a notion of a producttype
state on polynomials, which covers all the noncommutative universal products
and excludes some other familiar noncommutative products, and which guarantees
a number of nice properties for the corresponding polynomials.

The key result in the paper concerns two transformations, Phi(rho, psi) and
B_t(psi) on states on the algebra of noncommutative polynomials, or
equivalently on joint distributions of dtuples of noncommuting 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 singlevariable version of the map Phi and the particular
case of the free heat semigroup. The more general twovariable map Phi comes,
not from free probability, but from the theory of twostate algebras, also
called the conditionally free probability theory, introduced by Bozejko,
Leinert, and Speicher. Orthogonality of the cfree versions of the Appell
polynomials, investigated in arXiv:0803.4279, is closely related to the
singlevariable 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.

The Appelltype polynomial family corresponding to the simplest
noncommutative derivative operator turns out to be connected with the Boolean
probability theory, the simplest of the three universal noncommutative
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
resolventtype 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 BelinschiNica and BercoviciPata maps, conditional freeness, and the
LahaLukacs 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.

Among all states on the algebra of noncommutative polynomials, we
characterize the ones that have monic orthogonal polynomials. The
characterizations involve recursion relations, Hankeltype determinants, and a
representation as a joint distribution of operators on a Fock space.

Free Meixner states are a class of functionals on noncommutative polynomials
introduced in math.CO/0410482. They are characterized by a resolventtype form
for the generating function of their orthogonal polynomials, by a recursion
relation for those polynomials, or by a secondorder noncommutative
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.

The subject of this paper are polynomials in multiple noncommuting
variables. For polynomials of this type orthogonal with respect to a state, we
prove a Favardtype recursion relation. On the other hand, free Sheffer
polynomials are a polynomial family in noncommuting variables with a
resolventtype 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
secondorder 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
nontracial infinitely divisible states with orthogonal free Sheffer
polynomials.

The Nvariable Hopf algebra introduced by Brouder, Fabretti, and Krattenaler
(BFK) in the context of noncommutative Lagrange inversion can be identified
with the inverse of the incidence algebra of Ncolored interval partitions. The
(BFK) antipode and its reflection determine the (generally distinct) left and
right inverses of power series with noncommuting coefficients and N
noncommuting 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 nonorder contractible planar trees in which precisely one nondegenerate
vertex occurs on each level.