The Bi-Free Extension of Free Probability
Total Page:16
File Type:pdf, Size:1020Kb
The Bi-Free Extension of Free Probability Dan-Virgil Voiculescu Abstract. Free probability is a non-commutative probability the- ory adapted to variables with the highest degree of non-commutativity. The theory has connections with random matrices, combinatorics and operator algebras. Recently we realized that the theory has an extension to systems with left and right variables, based on a notion of bi-freeness. We provide a look at the development of this new direction. The paper is an expanded version of the plenary lecture at the 10th ISAAC Congress in Macau. 1. Introduction Free probability is now in its early thirties. After such a long time I became aware that the theory has a natural extension to a theory with two kinds of variables: left and right. This is not the same as passing from a theory of modules to a theory of bi-modules, since our left and right variables will not commute in general, a non-commutation which will appear already when we shall take a look at what the Gaussian variables of the theory are. We call the theory with left and right variables bi-free probabil- ity and the independence relation that underlies it is called bi-freeness. This new type of independence does not contradict the theorems of Mu- raki [15] and Speicher [20] about the possible types of independence in non-commutative probability with all the nice properties (\classi- cal", free, Boolean and if we give up symmetry also monotonic and anti-monotonic), the reason being that we play a new game here, by replacing the usual sets of random variables by sets with two types of variables. 2000 Mathematics Subject Classification. Primary: 46L54; Secondary: 46L53. Key words and phrases. two-faced pair, bi-free probability, bi-free convolution. Research supported in part by NSF Grant DMS-1301727. 1 2 DAN-VIRGIL VOICULESCU The observation about the possibility of left and right variables could have been made at the very beginning of free probability. At present it becomes necessary to look back and think about the prob- lems which would have appeared earlier had we been aware of the possibility. Several advances on this road have been made. Develop- ments are happening faster since the lines along which free probability developed are serving often as a guide. 2. Free probability background Free probability is a non-commutative probability framework adapted for variables with the highest degree of non-commutativity. By \high- est" non-commutativity we mean the kind of non-commutativity one encounters for instance in free groups, free semigroups or in the creation and destruction operators on a full Fock space. At this heuristic level, Bosonic and Fermionic creation and destruction operators are \less non-commutative" because the commutation or anti-commutation re- lations they satisfy represent restrictions on the non-commutativity. These are the reasons for the adjective \free" in the name of free probability. It should also be noticed that heuristically, when non- commutativity is at the highest, a certain homogeneity appears which simplifies matters. The distinguishing feature of free probability among non-commutative probability theories is the independence relation, called free indepen- dence or freeness, on which it is based. Thus the notions of random variables and of expectation values are the usual ones in non-commutative probability that is quantum mechanical observables, and their expectation values or some purely algebraic version of these. So our random variables will be operators T on some complex Hilbert space H and there will be a unit vector ξ 2 H so that the expectation of T is hT ξ; ξi (we use the mathematician's scalar product which is linear in the first and conjugate linear in the second variable). The purely algebraic version is a \non-commutative probability space" which is a unital algebra A over C with a linear expectation functional ' : A! C, '(1) = 1 and the elements a 2 A are the non-commutative random variables (in the Hilbert space setting A is L(H) the linear operators on H and '(a) = haξ; ξi). The distribution µα of a family α = (ai)i2I of non-commutative random variables in a non-commutative probability space (A;') is the information provided by the collection of non-commutative moments '(ai1 : : : ain ) when n 2 N and i1; : : : ; in 2 I. This information can be structured in better ways. For instance in the case of just one THE BI-FREE EXTENSION OF FREE PROBABILITY 3 variable a, which is a bounded hermitian operator on a Hilbert space H then '(an) = hanξ j ξi are precisely the moments of a probabil- ity measure, which we shall also denote by µa and which is given by µa(!) = hE(a; !)ξ; ξi where E(a; !) is the spectral project of a for the Borel set ! ⊂ R. The definition of freeness, which is the notion of independence, for a family of subalgebras (Ai)i2I which contain the unit 1 2 Ai (i 2 I) of (A;') is that: '(a1 : : : an) = 0 whenever '(aj) = 0, aj 2 Aij 1 ≤ j ≤ n and ij 6= ij+1 if 1 ≤ j < n. A family of sets αi ⊂ (A;')i2I is free if the algebras Ai generated by f1g [ αi are freely independent. When compared with the usual notion of independence (often called \classical" or \tensor product" independence) in quantum mechanics, a key difference is the non- commutation of independent variables in the free case. In the usual definition, at least in distribution, the independent variables commute. So if a; b 2 (A;') are classically independent and '(a) = '(b) = 0 then '(abab) = '(a2)'(b2) which may be 6= 0 while '(abab) = 0 when a; b are freely independent. Once random variables, distributions and independence of random variables in a non-commutative probability theory have been defined, one can imitate classical probability theory and look at the limit pro- cesses which give rise to basic types of variables: Gaussian, Poisson, etc. For instance, a free central limit process will consider a sequence ak, k 2 N of freely independent variables in some (A;') which are p identically distributed, i.e., '(ak) = mp for all k 2 N, and assuming the variables are centered '(ak) = m1 = 0 one looks at the limits as −1=2 n ! +1 of the distributions of n (a1 + ··· + an). One finds that the limit distribution if m2 > 0 is a semi-circle law, that is if we nor- malize m2 = 1 the moments are thosep of a probability measure on R 1 2 with support [−2; 2] and density 2π 4 − t with respect to Lebesgue measure. Similarly, to find a free Poisson distribution one takes for each n (n) freely independent variables ak , 1 ≤ k ≤ n which have identical distri- α α butions corresponding to Bernoulli measures 1 − n δ0 + n δ1 and then (n) (n) looks at the limit distribution of a1 +···+an as n ! 1. The distribu- tion one finds (in the case of α > 0) looks like a tilted shifted semicircle with the possibility of an additional atom at 0, that is the probability measure (1 − a)δ + ν if 0 ≤ a ≤ 1 and only ν if a ≥ 1 where ν has p 0 p support [(1− a)2; (1+ a)2] and density (2πt)−1p4a − (t − (1 + a))2. 4 DAN-VIRGIL VOICULESCU This law is quite different from the classical Poisson law which is X an e−a δ n! n n≥0 a measure concentrated on the natural numbers. Actually the free Gaussian and free Poisson laws are the same as well-known limit eigenvalue distribution laws in random matrix the- ory: the Wigner semicircle law (the limit distribution for eigenvalues of a suitably normalized hermitian Gaussian random matrix with i.i.d. entries) and the Marchenko{Pastur law. Clearly the fact that the free Gauss law and the free Poisson law appear in random matrix theory provided a strong indication of a connection between free probability and random matrices. The explanation for the connection between random matrices and free probability I found in [25] is that free independence appears asymp- totically among large random matrices under suitable conditions. The algebra of N × N random matrices with entries p-integrable for all 1 ≤ p < 1 over a probability space (Ω; Σ; µ) can be endowed with −1 an expectation functional 'N , where 'N (Y ) = N E(TrN Y ). Thus random matrices become non-commutative random variables and by doing this their entries are forgotten and only non-commutative mo- ments are remembered. The simple occurrence of asymptotic freeness (N) (N) is that an m-tuple (Y1 ;:::;Ym ) of Hermitian Gaussian random ma- trices with i.i.d. suitably normalized entries is asymptotically free as N ! 1. This generalizes to sets of independent random matrices with distributions invariant under unitary conjugation and even, using a combination of concentration and operator algebra techniques to a kind of generic asymptotic freeness result. The fact that free probabil- ity can be modeled by random matrices in the limit N ! 1, was the source of the applications of free probability to the operator algebras of free groups (see [26], [28]), a subject we will not discuss here. The computations of non-commutative distributions in free proba- bility has evolved in two directions. On one hand my initial analytic approach using complex analysis and a bit of operator algebras evolved toward an analytic approach and connections with non-commutative analysis. On the other hand the streamlining of the computation of moments led to Roland Speicher's combinatorial approach to free prob- ability. In essence free probability from the point of view of moments and commulants can be viewed as replacing the lattice of partitions of f1; : : : ; ng which underlies classical probability by the lattice of non- crossing partitions.