arxiv:math/ v1 [math.oa] 6 Feb 2006

arxiv:math/0602104v1 [math.oa] 6 Feb 2006 GRAPH FREE PRODUCT OF OCOMMUTATIVE PROBABILITY SPACES ILWOO CHO Av, as a vector space C A w, where F + G is the free semigroupoid of G, consisting of all vertices as units and all admissible finite paths, with A w = A w, if w is a vertex in G, and with A w = A v1 A v2... A vk, whenever w = [v 1,..., v k ] is a finite Abstract. In this paper, we will introduce a new operator-algebraic probability structure, so-called the Graph Free Product Spaces. Let G be a simplicial finite graph with its probability-space-vertices {A v, ϕ v : v VG}. Define the graph free product A = G v VG path. Also, define the canonical subalgebra D G of A by D G = C C. Then definitely D G is a subalgebra of A. The algebraic pair A, E is a noncommutative probability space with amalgamation over D G in the sense of Voiculescu, where E = ϕ w is the conditional expectation from A onto D G. In fact, this structure is a direct producted noncommutative probability space introduced in [9]. This amalgamated noncommutative probability space A, E is called the graph free product space of {A v, ϕ v : v VG}. We will consider the noncommutative probability on it. We can characterize the graph-freeness pictorially for the given graph. i.e., the subalgebras A w1 and A w2 are graph-free in A, E if and only if w 1 and w 2 are disjoint on the graph G. By using this graph-freeness, we establish the graph R-transform calculus. In this paper, we will define and observe Graph Free Probability Spaces which are the graph free product of probability-space-vertices. Graph free product spaces are the direct sum of free products of noncommutative probability spaces, where the direct sum is highly depending on the given graphs. Roughly speaking, a graph free product space is a certain graph-depending direct sum of free product spaces. Free Probability has been developed by Voiculescu, Speicher and various mathematicians from 1980 s. There are two approaches to study it. One of them is the original Voiculescu s pure analytic approach See [4] and the other one is the Speicher and ica s combinatorial approach See [1], [11] and [12]. Let B A be unital algebras with 1 A = 1 B. Suppose that there exists a conditional expectation E : A B satisfying the bimodule map property and i Eb = b, for all b B ii Ebab = beab, for all b,b B and a A. Key words and phrases. oncommutative Probability Spaces, Direct Producted oncommutative Probability Spaces over their Diagonal Algebras, The Graph Free Product, Graph Free Probability Spaces. I appreciate all support from Saint Ambrose University. 1

2 ILWOO CHO Then the algebraic paira, E is called a noncommutative probability space with amalgamation over B or an amalgamated noncommutative probability space over B. See [11]. All elements in A, E are said to be B-valued random variables. When B = C and E is a linear functional, then we call this structure a scalarvalued noncommutative probability space in short, a probability space and the elements of A are said to be free random variables. Let a A, E be a B-valued random variable. Then it contains the followingequivalent free probabilistic data, and k n b 1 a,...,b n a def = Eb 1 a...b n a π Cn E π b 1 a,...,b n aµπ,1 n, which are called the B-valued n-th moment of a and the B-valued n-th cumulant of a, respectively, for all n and b 1,..., b n B are arbitrary, where E π... is the partition-dependent B-valued moment of a and Cn is the collection of all noncrossing partitions over{1,..., n} and µ is the Möbius functional in the incidence algebra I 2, as the convolution inverse of the zeta functional ζ, ζπ 1,π 2 def = { 1 if π1 π 2 0 otherwise, for all π 1, π 2 Cn, and n See [11]. When b 1 =... = b n = 1 B, for n, we say that Ea n and k n a,..., a are trivial n-th B-valued moment and cumulant of a, respectively. Recall that the collection Cn is a lattice with the total ordering See [1], [2], [10] and [11]. Again, if B = C, then we have the same scalar-valued moments and cumulants of each random variable a A, E. But, in this case, since B = C commutes with A, we have that and Eb 1 a...b n a = b 1...b n Ea n k n b 1 a,...,b n a = b 1...b n k n a,...,a, for all n and for all b 1,...,b n B = C. These mean that we only need to consider the trivial moments and cumulants of a, with respect to E : A B = C. So, the scalar-valued moments and cumulants of a are defined by the trivial B = C-valued moments and cumulants of it. More generally, if an arbitrary unital algebra B commutes with A, where A is over B, then we can verify that the trivial B-valued moments and cumulants of a B-valued random variable a contains the full free probabilistic data of a. So, in this case, without loss of generality, we define the B-valued moments and cumulants of a by the trivial B-valued moments and cumulants of a. Let A 1 and A 2 be subalgebras of A. We say that they are free over B if all mixed cumulants of A 1 and A 2 vanish. Let S 1 and S 2 be subsets of A. We say that subsets S 1 and S 2 are free over B if the subalgebras A 1 = Alg {S 1, B} and A 2 = Alg {S 2, B} are free over B. In particular, the B-valued random variables a 1 and a 2 are free

GRAPH FREE PROBABILITY SPACES 3 over B if the subsets {a 1 } and {a 2 } are free over B in A, E. Equivalently, given two B-valued random variables a 1 and a 2 are free over B in A, E if all mixed B-valued cumulants of a 1 and a 2 vanish. Recall that, when A is a -algebra, they are free over B if all mixed B-valued cumulants of Pa 1, a 1 and Qa 2, a 2 vanish, for all P, Q in C [z 1, z 2 ]. Let G be a finite simplicial undirected graph with its vertex set VG and its edge set EG. A graph is simplicial if it has neither multiple edges between two vertices nor loop-edges. For example, the circulant graph C with -vertices is a simplicial graph. Let e be an edge connecting vertices v 1 and v 2. Then we denote e by [v 1, v 2 ] or [v 2, v 1 ], and we assume that [v 1, v 2 ] = [v 2, v 1 ]. Suppose w is a finite path in the graph connecting edges [v 1, v 2 ], [v 2, v 3 ],..., [v k 1, v k ]. Then, for convenience, we denote w by [v 1, v 2,..., v k ]. Of course, we assume that [v 1,v 2,...,v k ] = [v k,...,v 2,v 1 ], as a same finite path. In this case, the length w of the finite path w is defined to be k 1, the cardinality of the admissible edges. Define the set FPG by the set of all such finite paths and define the free semigroupoid F + G of the given graph G by as a set. F + G = VG FPG, Let G be a finite simplicial graph with its probability-space-vertices {A v,ϕ v : v VG}, where A v,ϕ v are noncommutative probability space with their linear functionals ϕ v : A v C, indexed by the vertices v in VG. Define the graph free or G-free product A G of A v s by A G denote = G A def v = C A w, v VG as an algebra, where A w = A w, if w VG, and A w = A [v1,...,v k ] = A v1... A vk, for all w = [v 1,...,v k ] FPG, where is the usual scalar-valued free product. Similarly, define the free product of linear functional ϕ w on A w by and ϕ w = ϕ w if w VG ϕ w = ϕ [v1,...,v k ] = ϕ v1... ϕ vk,

4 ILWOO CHO if w = [v 1,...,v k ] FPG. Then, for each w F + G, we have the free product space A w, ϕ w, as a noncommutative probability space with its linear functional ϕ w. otice that if w 1 and w 2 are finite paths in FPG and assume that w 3 = w 1 w 2 is also an admissible finite path i.e., w 3 FPG. Then we have that 0.1 Aw3,ϕ w3 = Aw1,ϕ w1 Aw2,ϕ w2. On the other hands, if w 1 and w 2 are finite paths in FPG and if they are not admissible i.e., w 1 w 2 / FPG or w 2 w 1 / FPG. Then the free product A w1 A w2 of A w1 and A w2 does not exist as a direct summand of the graph free product A G = G v VG A v, however, there exists a direct summand A w1 A w2 of A G. Define the following canonical subalgebra D G of A G by D G def = C C w, with C w = C, w F + G. Then we can define the conditional expectation E from A G onto D G by E = ϕ w. The algebraic pair A G, E is called the graph free product of probability-space vertices {A v, ϕ v : v VG} or the G-free probability space. And all elements of this G-free product space A G, E are called G-free random variables. The main purpose of studying the G-free probability spaces is to extend the classical free probabilistic data to a certain free-product-like structure depending on a pure combinatorial object a graph. Also, the G-free product, itself, is the extension of the usual free product. For example, if the given graph H is complete, in the sense that there always exists an edge [v, v ], for all pair v, v of vertices, then the H-free product is nothing but the classical free product. In Chapter 1, we will review the direct producted noncommutative probability spaces introduced in [9]. In [9], we only observed the finite direct product of noncommutative probability spaces, but in Chapter 1, we will consider the infinite direct product of noncommutative probability spaces. After considering the direct producted noncommutative probability spaces, we can realize that our graph free product A G, E of probability-space-vertices {A v, ϕ v } v V G is a certain countable direct producted noncommutative probability space, having its direct summands as free products of probability spaces, depending on an admissible finite path. In Chapter 2, we consider the graph-freeness characterization. And we can characterizethegraph-freenessoftwosubalgebrasofa G,intermsofthedisjointness on the graph G. i.e., the subalgebras A w1 and A w2 of A G are graph-free if and only if w 1 and w 2 are disjoint on the graph G. Also, we will define the graph moments and graph cumulants of a G-free random variable in A G, E. And then, we will

GRAPH FREE PROBABILITY SPACES 5 consider the G-freeness on A G. Under this G-freeness, we will do the graph R- transform calculus over D G. In Chapter 3, we will study certain G-free random variables under the W -setting. Finally, in Chapter 4, we will consider certain subalgebras of the graph free probability space. 1. Direct Producted oncommutative Probability Spaces Throughout this chapter, let s fix a sufficiently big number possibly, and the collection F of scalar-valued noncommutative probability spaces, F = {A i,ϕ i : i = 1,...,}. Then, for the given unital algebras A 1,..., A in F, we can define the direct producted unital algebra A = j=1 A j = { j=1 a j : a j A j, j = 1,...,}, where means the algebra direct sum with its componentwise vector addition and the vector multiplication defined again componentwisely by j=1 a j j=1 a j = j=1 a j a j, for all j=1 a j, j=1 a j A. This direct product A of A 1,..., A is again a unital algebra with its unity 1 A = j=1 1. Define the subalgebra D of the direct producted algebra A = j=1 A j by D def = j=1 C j, with C j = C, j = 1,...,. Then D is a commutative subalgebra of M C and it is isomorphic to the matricial algebra generated by all diagonal matrices in the matricial algebra M C. We will call this subalgebra D of A, the -th diagonal algebra of A. Definition 1.1. Define the direct producted noncommutative probability space A of unital algebras A 1,..., A, by the noncommutative probability space A, E with amalgamation over the -th diagonal algebra D, where A = j=1 A j is the direct product of A 1,..., A and E : A D is the conditional expectation from A onto D defined by E j=1 a j = j=1 ϕ j a j,

6 ILWOO CHO for all j=1 a j A. Some times, we will denote E by j=1 ϕ j. It is easy to see that the C-linear map E is indeed a conditional expectation; i E j=1 α j = j=1 ϕ j α j = j=1 α j, for all j=1 α j D. ii E j=1 α j j=1 a j j=1 α j = E j=1 α ja j α j = j=1 ϕ j α j a j α j = j=1 αj ϕ j a j α j = j=1 α j j=1 ϕ j a j j=1 α j = j=1 α j E j=1 a j j=1 α j, for all j=1 α j, j=1 α j D and j=1 a j A. By i and ii, the map E is a conditional expectation from A = j=1 A j onto D. Thus the algebraic pair A, E is a noncommutative probability space with amalgamation over the -th diagonal algebra D. Definition 1.2. Let A j,ϕ j be -probability spaces, for j = 1,...,, where A j s are unital -algebras and ϕ j s are linear functional satisfying that ϕ j a j = ϕ j a j, for all a j A j, for j = 1,...,. Then the direct producted -probability space A, E is defined by the algebraic pair of direct product A = j=1 A j of A 1,..., A, as a -algebra, with j=1 a j = j=1 a j, for j=1 a j A, and the conditional expectation satisfying the above condition i, ii and the following condition iii; E j=1 a j = E j=1 a j in D, for all j=1 a j A. Similarly, we can define the direct producted C -probability or W -probability spaces, if A is a C -direct sum resp. W -direct sum of C - algebras resp. von eumann algebras, also denoted by j=1 A j, and the conditional expectation E satisfy i, ii and iii, with the continuity under the given C -topology resp. W -topology on A. otice that the C or W -topology of A is the product topology of those of A 1,..., A. And the continuity comes from that of ϕ 1,..., ϕ, under the product topology. In the rest of this section, we will let A 1,..., A be just unital algebras without the involution and topology. However, if we put involution or topology on A 1,..., A, we would have the same or similar results.

GRAPH FREE PROBABILITY SPACES 7 ow, we will consider the D -freeness on the direct producted noncommutative probability space A, E. otice that the -th diagonal algebra D satisfies that 1.1 dx = xd, for all d D and x A, as a subalgebra of our direct product A = j=1 A j. By 1.1 and the commutativity of D, we only need to consider the trivial D -valued moments and cumulants of D -valued random variables, for studying the free probabilistic data of them. i.e., we have that, for any a A, 1.2 Ed 1 a...d n a = d 1...d n Ea n and 1.3 k n d 1 a,...,d n a = d 1...d n k n a,...,a, for all n and for any arbitrary d 1,...,d n D. So, the relations 1.2 and 1.3 shows that it is enough to consider the trivial D -valued moments Ea n and cumulants k n a,..., a of D -valued random variables n, whenever we want to know about the free probabilistic information of those D -valued random variables. Proposition 1.1. Let A, E be the direct producted noncommutative probability space with amalgamation over the -th diagonal algebra D, where A = j=1 A j and let a 1 and a 2 be D -valued random variables in A, E. Then they are free over D in A, E if and only if all mixed trivial D -valued cumulants of them vanish. Remark 1.1. If we have a direct producted -probability or C -probability or W - probability space A, E, then the above proposition does not hold, in general. But, we can get that the D -valued random variables a 1 and a 2 are free over D in A, E if and only if all mixed trivial D -valued cumulants of a 1, a 1, a 2 and a 2 vanish. We will consider the D -valued moments of an arbitrary random variable in the direct producted noncommutative probability space. Proposition 1.2. Let A = j=1 A j, E = j=1 ϕ j be the direct producted noncommutative probability space over the -th diagonal algebra D and let x = j=1 a j be the D -valued random variable in A, E. Then the trivial n-th moment of x is 1.4 Ex n = j=1 ϕj a n j, for all n.

8 ILWOO CHO The above proposition is easily proved by the fact that x n = j=1 a n j = j=1 a n j, for all n. It shows that if we know the n-th moments of a j A j, ϕ j, for j = 1,...,, then we can compute the D -valued moment of the D -valued random variable j=1 a j in A, E. In other words, the free probabilistic information of A 1,..., A affects the amalgamated free probabilistic information of j=1 A j. ow, let s compute the trivial n-th cumulant of an arbitrary D -valued random variable; Proposition 1.3. Let A = j=1 A j,e = j=1 ϕ j be the direct producted noncommutative probability space over the -th diagonal algebra D and let x = j=1 a j be the D -valued random variable in A, E. Then the trivial n-th cumulant of x is k n x,...,x = }{{} j=1 n-times k n j a j,...,a j, for all n, where k i n... is the n-th cumulant functional with respect to the noncommutative probability space A i, ϕ i, for all i = 1,...,. Proof. Fix n. Then k n x,...,x = 1.5 = π Cn π Cn E π x,...,xµπ,1 n Π E Vx,...,x µπ,1 n V π by 1,1, where E V x,...,x = Ex V, where V is the length of the block See [1] and [11] by 1.4 = π Cn = π Cn Π V π j=1 ϕ ja V j µπ,1 n j=1 Π ϕ ja V j µπ,1 n V π

GRAPH FREE PROBABILITY SPACES 9 since j=1 α j j=1 α j = j=1 α j α j in D = π Cn j=1 Π ϕ j a V j µπ,1 n, V π since the -th diagonal algebra D is a vector space i.e., if we let µ π = µπ, 1 n in C, for the fixed π Cn, then j=1 α j µ π = j=1 α jµ π, for all j=1 α j D. = j=1 π Cn Π ϕ ja V j µπ,1 n V π since α 1,..., α + α 1,..., α = α 1 + α 1,..., α + α in D. 1.6 = j=1 k n j a j,...,a j, where k i n... is the scalar-valued n-th cumulant functional with respect to the scalar-valued noncommutative probability space A i, ϕ i, for all i = 1,...,. Therefore, the equality 1.6 shows that the n-th D -valued cumulant k n j=1 a j,..., j=1 a j of the D -valued random variable j=1 a j in the direct producted noncommutative probability space A, E, is nothing but the -tuple of n-th scalar-valued cumulants of a 1,..., a, j=1 k n j a j,...,a j in D. By 1.6, we can get the following D -freeness characterization on the direct producted noncommutative probability space A = j=1 A j, E = j=1 ϕ j. Theorem 1.4. Let A = j=1 A j,e = j=1 ϕ j be the given direct producted noncommutative probability space over the -th diagonal algebra D and let x 1 = j=1 a j and x 2 = j=1 b j be the D -valued random variables in A,E. Then x 1 and x 2 are free over D in A, E if and only if a j and b j are free in A j, ϕ j, for all j = 1,...,.

10 ILWOO CHO Proof. Assume that random variables a j and b j are free in A j,ϕ j, for all j = 1,...,. Then, by the freeness, all mixed n-th cumulants of a j and b j vanish, for all j = 1,..., and for all n \ {1}. By the previous theorem, it is sufficient to show that the -tuples x 1 = j=1 a j and x 2 = j=1 b j in A, E have vanishing mixed trivial D -valued cumulants. Fix n \ {1} and let x i1,..., x in are mixed n-tuple of x 1 and x 2, where i 1,..., i n {1, 2} n. Then k n x i1,...,x in = k n j=1 a i1 j,..., j=1 ain j = j=1 by the previous proposition = 0 D, by the hypothesis. k n j a i1 j,...,ain j Let s assume that the D -valued random variables x 1 = j=1 a j and x 2 = j=1 b j are free over D in A, E and assume also that there exists j in {1,..., } such that a j and b j are not free in A j, ϕ j. Since a j and b j are not free in A j, ϕ j, there exists n and the mixed n-tuple i 1,..., i n {1, 2} n such that k n j a i1 j,..., ain j = β 0. ow, fix the number n and the n-tuple i 1,..., i n. Consider the following mixed trivial D -valued cumulants of x 1 and x 2 ; k n x i1,...,x in = k n j=1 a i1 j,..., j=1 ain j = j=1 k n j a i1 j,...,ain j = 0... 0 β j-th 0... 0 0 D. Therefore, there exists the nonvanishing D -valued cumulant of x 1 and x 2. This contradict our assumption that D -valued random variables x 1 and x 2 are free over D in A, E. Remark 1.2. ow, assume that above A, E is direct producted -probability or C -probability or W -probability space of A 1, ϕ 1,..., A, ϕ, where A j, ϕ j s are -probability spaces, for all j = 1,...,. Then the same results holds true. But the proof should be different, by the previous remark. Assume that x 1 = j=1 a j and x 2 = j=1 b j in A, E are free over D in A, E. Then -Alg{x 1 }, D and -Alg{x 2 }, D are free over D, where -Alg S 1, S 2 means the -algebra generated by sets S 1 and S 2. otice that and -Alg {x 1 },D = D j=1 -Alg{a j}

GRAPH FREE PROBABILITY SPACES 11 -Alg{x 2 },D = D j=1 -Alg{b j}, as -subalgebras in A. Assume now that a j0 and b j0 are not free in A j0, ϕ j0, for some j 0 {1,..., }. Then the direct summand and D 1 = D D 2 = D 0... 0 -Alg{a j0 } j 0-th 0... 0 -Alg{b j0 } j 0-th 0... 0 0... 0 are not free over D in A, E. Since -Alg {x i }, D contain D i, for i = 1, 2, and since D 1 and D 2 are not free over D, -Alg {x 1 }, D and -Alg {x 2 }, D are not free over D. This contradict our assumption. The converse is also similarly proved. Also, we provide the following proof of the converse; Since a j and b j are free in A j,ϕ j, for all j = 1,...,, all mixed cumulants of a j, a j, b j and b j vanish, for all j = 1,...,. So, it suffices to show that all mixed trivial D -valued cumulants of x 1, x 1, x 2 and x 2 vanish. otice that 1.7 k n x e 1 i 1,...,x en i n = j=1 k n j a ei 1 i 1:j,...,aein i n:j, where x ei k i k = j=1 a ei k i k :j in A, E, for all k = 1,..., n, and where e i1,..., e in {1, } and i 1,..., i n {1, 2} n, for all n. Therefore, for the mixed n-tuple x e1 i 1,..., x ein i n of {x 1, x 1, x 2, x 2}, the n-tuples a ei 1 i 1:k,..., aein i n:k are also mixed n-tuple of {a k, a k, b k, b k }, for all k = 1,...,. Therefore, for such mixed n-tuple, 1.8 k n k e i1 a i 1:k,...,aein i n:k = 0, for all k = 1,...,. By 1.8, the n-th mixed trivial D -valued cumulants of x 1, x 1, x 2 and x 2 in 1.7 vanish, and hence the D -valued random variables x 1 and x 2 are free over D in the direct producted -probability space A, E. The above theorem and remarkshows that the D -freeness of j=1 a j and j=1 b j in the direct producted noncommutative or - or C - or W - probability space A, E is characterized by the scalar-valued freeness of a j and b j in A j, ϕ j, for all j = 1,...,. Corollary 1.5. Let e i = 0... 0 a i 0... 0 and e j = 0... 0 a j 0... 0 in A, E, where a k A k, ϕ k, for k = i, j. If i j, then e i and e j are free over D in A, E. Define subalgebras A 1,..., A of the direct product A = j=1 A j by

12 ILWOO CHO A j = 0... 0 A j 0... 0, for all j = 1,...,. Then A j is the embedding of A j in A. By the previous corollary, we can easily get the following proposition; Corollary 1.6. The unital algebras A 1,..., A are free over D in the direct producted noncommutative probability space A, E. In the above corollary, we can replace the condition [algebras A 1,..., A ] to [ -algebras A 1,..., A ]. By definition, the unital algebra A j is always free from C See [1], [4], [10] and [11]. 2. Graph Free Probability Spaces In this chapter, we will consider our main objects of this paper. Throughout this chapter, let G be a finite simplicial graph with its finite vertex set VG and the edge set EG. Let e EG be an edge connecting the vertices v 1 and v 2. Then denote e by [v 1, v 2 ]. Assume that [v 1, v 2 ] = [v 2, v 1 ], if there exists an edge e connecting v 1 and v 2. Since the graph G is simplicial, if [v 1, v 2 ] is in EG, then this is the unique edge connecting the vertices v 1 and v 2. By FPG, we will denote the set of all admissible finite paths. Then this set FPG is partitioned by with FPG = n=1 FP ng, FP n G = {w FPG : w = n}, where w is the length of the finite path w in FPG. i.e., if w = e 1 e 2... e k, where e 1 = [v 1, v 2 ], e 2 = [v 2, v 3 ],..., e k = [v k, v k+1 ] are admissible edges making the finite path w, then the path w is denoted by [v 1, v 2,..., v k+1 ], and w is defined to be k. It means that the finite path w connects vertices v 1 and v k+1 via v 2,..., v k 1, and the length w of w is k = {v 1,..., v k+1 } 1. And then w FP k G in FPG. Clearly, the edge set EG is FP 1 G. The following is automatically assumed; [v 1,v 2,...,v n 1,v n ] = [v n,v n 1,...,v 2,v 1 ], for all n \ {1}, where v 1,..., v n VG. Define the free semigroupoid F + G by F + G = VG FPG.

GRAPH FREE PROBABILITY SPACES 13 2.1. Graph Free Product of Probability-Space-Vertices. Throughout this section, let G be a finite simplicial graph, having its vertex-set VG = {1,..., }, with the probability-space vertices A 1, ϕ 1,..., A, ϕ. i.e., there exists a set of noncommutative probability spaces, indexed by the given vertex-set VG, {A 1,ϕ 1,..., A, ϕ }. Such graphs with probability-space vertices are said to be graphs of probabilityspace vertices. Definition 2.1. Let G be a graph with probability-space vertices {A v, ϕ v : v VG}. Define the graph free product A G of {A v } v VG, by the algebra A G = C A w, where A w = A w, for all w VG, and A w = A v1 A v2... A vk, for all w = [v 1,v 2,...,v k ] FPG, k. If A w is a summand of A G, we write A w < G A G. Sometimes, we will denote A G by G v VG A v. The symbol G is called the graph free product. Since we have the free product ϕ w = k n=1 ϕ v n of linear functionals ϕ v1,..., ϕ vn, for each finite path w = [v 1,..., v k ], we have the corresponding noncommutative probability space A w, ϕ w. Here, the symbol means the usual free product. ow, define the G-diagonal subalgebra D G of A G by D G = C C w, where C v = C = C w, for all v VG and w FPG. Then, like in Chapter 1, we can define the conditional expectation E G from A G into D G by E G = ϕ w. Then the algebraic pair A G,E G is a noncommutative probability space with amalgamation over D G, and it is called the graph free probability space of {A v, ϕ v : v VG}. All elements in the graph free probability space A G, E G are called graph random variables or G-random variables.

14 ILWOO CHO By definition, we can easily check that the subalgebra D G commutes with A G. i.e., 2.1 da = ad, for all d D G and a A G. By definition and 2.1, we have that; Proposition 2.1. Let A G,E G be a graph free probability space over its subalgebra D G. Then it is a direct producted noncommutative probability space of {A w, ϕ w : w F + G}. Definition 2.2. Graph-Freeness Let G be a graph with probability-space vertices and let A G, E G be the corresponding graph free probability space over its G-diagonal subalgebra D G. The subalgebras A 1 and A 2 of A G are said to be graphfree or G-free if all mixed D G -valued cumulants of A 1 and A 2 vanishes. The subsets X 1 and X 2 of A G are G-free if the subalgebras Alg X 1, D G and Alg X 2, D G are G-free. By the previous definition, we have that; Theorem 2.2. Let x and y be G-random variables in A G, E G. The G-random variables x and y are G-free if and only if either i or ii holds; i there exists A w, ϕ w < G A G,E G such that x and y are free in A w, ϕ w. ii they are free over D G in A G, E G. Proof. Let x and y be G-random variables in the graph free probability space A G, E G. Then, by the definition of A G, x = x w and y = y w. w F + G Assume that the G-random variables x and y are G-free. i.e., they have the vanishing mixed D G -valued cumulants. By Chapter 1, all summands x w and y w of x and y are free in A w, ϕ w. So, if there exists w 0 F + G such that x = x w0 and y = y w0, then, as scalar-valuedrandom variables, x and y are free in A w0, ϕ w0 < G A G, E G. Otherwise, again by Chapter 1, they are free over D G in A G, E G, as D G -valued random variables in the direct producted noncommutative probability space A G of A w s, for w F + G. Suppose the G-random variables x and y are free in A w, ϕ w, where A w < G A G. First, this means that the operators x and y are contained in the summand A w of A G. Also, since they are free in A w, ϕ w, they are free over D G in A G, E G, as D G -valued random variables x = x w and y = y w. Thus they are G-free. Otherwise, if x and y are free over D G in A G, E G, then, by the very definition of G-freeness, they are G-free in A G, D G.

GRAPH FREE PROBABILITY SPACES 15 2.2. Graph-Freeness. In this section, we will consider the graph-freeness more in detail. Throughout this section, let G be a graph with probability-space vertices {A v,ϕ v : v VG}. Also, let A G, E G be the corresponding graph free probability space over its G-diagonal subalgebra D G. Lemma 2.3. Let A v1 and A v2 be the direct summands of A G, where v 1 v 2 in VG. Then they are G-free in A G, E G. Proof. In Chapter 1, we showed that the direct summands of a direct producted noncommutative probability space are free from each other over the diagonal subalgebra. So, if v 1 v 2 in VG, then A v1 and A v2 are free over D G in A G, E G, as direct summands of A G. Equivalently, they are G-free in A G, E G. We will consider more general case. To do that, we need the following concept; Definition 2.3. Let F + G be the free semigroupoid of the given graph G and let w 1 and w 2 be elements in F + G. We say that w 1 = [v 1,..., v k ] and w 2 = [v 1,..., v l ] are disjoint if {v 1,..., v k } {v 1,...,v l } =, for k, l. otice that if k = 1 and l = 1, then w 1 = [v 1 ] and w 2 = [v 1] are vertices in VG. Theorem 2.4. Let B w1 A w1 and B w2 A w2 be subalgebras of A G generated by w 1 and w 2, respectively. otice that A w1 and A w2 are direct sums of A G, but B w1 and B w2 are not necessarily direct sums. They are just subalgebras of A G. The subalgebras B w1 and B w2 are G-free if and only if either i B w1 = A w1 and B w2 = A w2 or ii w 1 and w 2 are disjoint. Proof. If B w1 = A w1 and B w2 = A w2, then they are G-free, by definition. If w 1 = [v 1,...,v k ] and w 2 = [v 1,...,v l ] are disjoint k, l, then the direct summands A w1 and A w2 of the graph free product A G have no common direct summands. This means that, for any pair v i, v j {v 1,..., v k } {v 1,..., v l }, the direct summands A vi and A v j are G-free, by the previous lemma. Therefore, B w1 = A v1... A vk and B w2 = A v 1... A v l

16 ILWOO CHO are free over D G in A G, E G, and hence they are G-free. Suppose B w1 and B w2 are G-free in A G, E G and assume that w 1 = [v 1,..., v k ] and w 2 = [v 1,..., v l ] are not disjoint in F+ G, where k, l. Then, by definition, there exists the nonempty intersection of {v 1,..., v k } and {v 1,..., v l }. Take a vertex v 0 in the intersection. Then the algebra A v0 of A G is contained in both A w1 and A w2. i.e., and B w1 = A v0 A v v {v 1,...,v k }\{v 0} B w2 = A v0. v {v 1,...,v l }\{v0}a v Recall that A B = B A, for algebrasaand B. We can take x 0 A v0 \ C such that ϕ v0 x k 0 0, for some k. Define x = x 0 B w1 and y = x 0 B w2. Then the random variables x and y have the nonvanising mixed cumulants, with respect to the linearfunctional ϕ v0. Therefore, byregardingthem as G-randomvariables, they have the nonvanishing mixed D G -valued cumulants, with respect to the conditional expectation E G. This shows that B w1 and B w2 are not free over D G in the direct producted noncommutative probability space A G, E G. Equivalently, they are not G-free. This contradict our assumption that B w1 and B w2 are G-free. By the previous theorem, we can get the following corollaries; Corollary 2.5. Let W 1 and W 2 are subsets in F + G and assume that W 1 and W 2 are disjoint, in the sense that all pairs w 1, w 2 W 1 W 2 are disjoint. Then the subalgebras A w1 and A w2 are G-free in A G, E G. And the converse w 1 W 1 w 2 W 2 also holds true. Corollary 2.6. Let w = [v 1,...,v j,...,v k ] be a finite path, for 1 j < k in. Then A [v1,...,v j] and A [vj+1,...,v k ] are G-free in A G, E G. Proof. otice that since [v 1,...,v k ] is a finite path, [v 1,...,v j ] and [v j+1,..., v k ] are also in F + G. Since [v 1,..., v j ] and [v j+1,..., v k ] are disjoint, as direct summands of A G, the algebras A [v1,...,v j] and A [vj+1,...,v k ] are G-free. 2.3. Graph R-transform Calculus. In this section, we will define graph moment series and graph R-transforms of graph random variables. Like before, let G be a graph with probability-space

GRAPH FREE PROBABILITY SPACES 17 vertices and let A G, E G be the corresponding graph free probability space over the G-diagonal subalgebra D G, where A G = G A w and E G = ϕ w. Definition 2.4. Let A G, E G be a graph free probability space over the G-diagonal sublagebra D G and let x A G, E G be a G-random variable. The graph moments or G-moments of x and the graph cumulants or G-cumulants of x are defined by for all n. E G x n and k EG n x,...,x, }{{} n-times LetxbeaG-randomvariableinA G,E G.Thenx= 1, we have that that 2.2 E G x n = ϕ w x n w, and 2.3 k EG n x,...,x = k ϕ w n x w,...,x w, for all x = x w.so, bychapter x w A G and for all n. otice that, by 2.1, we have k EG n x,...,x = Π π Cn V π EG x V µπ,1 n, like the scalar-valued cumulants. Recall that, when we consider the operatorvalued Möbius inversion, we have to think about the insertion property. However, in our case, by 2.1, we need not think about the insertion property. Also, the trivial D G -valued cumulants or moments of x contains the full free distributional data of x. Definition 2.5. Let x A G, E G be a G-random variable. Define the graph moment series or G-moment series of x by Mx G z = n=1 E G x n z n in the ring D G [[z]] of formal series, where z is an indeterminent.. Also, define the graph R-transform or G-R-transform of x by

18 ILWOO CHO Rxz G = n=1 k EG n x,...,x in D G [[z]]. More generally, if x 1,..., x s are G-random variables, then the G- moment series of x 1,..., x s and G-R-transform of them are defined by M G x 1,...,x s z 1,...,z s = n=1 and R G x 1,...,x s z 1,...,z s = z n i 1,...,i n {1,...,s} n E G x i1...x in z i1...z in n=1 k E G i 1,...,i n {1,...,s} n n x i1,...,x in z i1...z in, in D G [[z 1,...,z s ]], where z 1,..., z s are noncommutative indeterminants. By 2.1, the graph moment series and graph R-transforms of graph random variables are well-defined. Proposition 2.7. Let x and y be G-random variables and assume that they are G-free. Then 1 Rx+y G z = Rx G +RG y z 2 Rx,y G z 1,z 2 = Rx Gz 1+Ry Gz 2. More generally, we have that; Theorem 2.8. Let {x 1,...,x s } and {y 1,...,y s } be sets of G-random variables s in the graph free probability space A G, E G. If these two sets are G-free, then 1 R G x 1+y 1,...,x s+y s z 1,...,z s = R G x 1,...,x s +R G y 1,...,y s z1,...,z s 2 R G x 1,...,x s,y 1,...,y s z 1,..,z 2s = R G x 1,...,x s z 1,...,z s +R G y 1,...,y s z s+1,...,z 2s. Let x and y be G-random variables in the graph free probability space A G, E G and assume that they are G-free. Then they are free over D G in A G, E G, by regarding A G, E G as a direct producted noncommutative probability space. So, we have that k EG n xy,...,xy 2.4 = π Cn k EG π x,...,x k EG Krπ y,...,y, for n, where Kr : Cn Cn is the Kreweras complementation map on Cn. In fact, 2.5

GRAPH FREE PROBABILITY SPACES 19 k EG n xy,...,xy = k EG π alt Krπ x,y,x,y,...,x,y, π Cn by the D G -freeness of x and y, where π alt θ means the alternating sum of partitions π and θ in Cn, n. i.e., if then and π = {1,4,5,2,3,6,8,7} C8, Krπ = {1,3,2,4,5,8,6,7} C8 π alt Krπ = {1,7,9,2,6,3,5,4, 10,16,11,15,12,14,13} C16. However, by 2.1, the formula 2.5 is exactly same as 2.4. So, the G-Rtransform R G xyz of xy satisfies that 2.6 R G xyz = n=1 π Cn k EG π x,...,x Krπ y,...,y z n. k EG More generally, if two sets {x 1,..., x s } and {y 1,..., y s } are G-free in A G, E G, then k EG n x i1 y i1,x i2 y i2,...,x in y in 2.7 = π Cn k EG π x i1,...,x in k EG Krπ y i 1,...,y in, where i 1,...,i n {1,...,s} n, for n. So, 2.8 R G x 1y 1,...,x sy s z 1,...,z s = n=1 i 1,...,i n {1,...,s} n π Cn k EG π x i1,...,x in k EG Krπ y i 1,...,y in z i1...z in otation In the rest of this paper, the right-hand side of 2.6 is denoted by R G x * G Ry G z. And similarly, the right-hand side of 2.8 is denoted by

20 ILWOO CHO R G x1,...,x s * G R G y 1,...,y s z1,...,z s. The symbol * G is motivated by the boxed convolution * s of ica. Recall that the ica s boxed convolution * s makes a certain subset Θ s of C[[z 1,..., z s ]] be semigroup See [1]. But our boxedconvolution-like notation * G does not have such meaning. This is just a notation representing the right-hand sides of 2.6 and 2.8. By the previous discussion, we have that; Proposition 2.9. Let {x 1,...,x s } and {y 1,...,y s } be G-free in the G-free probability space A G, E G. Then R G x 1y 1,...,x sy s z 1,...,z s = R G x 1,...,x s * G R G y 1,...,y s z1,...,z s, in D G [[z 1,...,z s ]]. In particular, for each j {1,..., s}, in D G [[z]]. Rx G jy j z = Rx G * G Ry G z By the previous propositions, we have the following graph R-transform calculus; if {x 1,..., x s } and {y 1,..., y s } are G-free, then 1 R G x 1+y 1,...,x s+y s z 1,...,z s = R G x 1,...,x s +R G y 1,...,y s z1,...,z s 2 R G x 1,...,x s,y 1,...,y s z 1,...,z 2s = R G x 1,...,x s z 1,...,z s +R G y 1,...,y s z s+1,...,z 2s 3 R G x 1y 1,...,x sy s z 1,...,z s = R G x 1,...,x s * G R G y 1,...,y s z1,...,z s, in D G [[z 1,...,z s ]]. 3. Graph-Free Random Variables In this chapter, we will let each probability-space vertex be a W -probability space. Let G be a graph with W -probability-space vertices. i.e., {A v,ϕ v : v VG, ϕ v is a state} is a family of W -probability spaces. Define graph free product A G of A v s by

GRAPH FREE PROBABILITY SPACES 21 A G = C A w, where is the corresponding topological direct sum. Also, define the G-diagonal algebra D G by D G = C C w, with C w = C, w. Also, the conditional expectation is defined by E G = ϕ w. otation For convenience, if there is no confusion, we will keep using the notation instead of. otice that the corresponding graph free probability space A G, E G is a W - probability space with amalgamation over the G-diagonal algebra D G. In such amalgamated W -probability space A G, E G, we will consider certain G-random variables. otice that if x is a G-random variables in a graph free W -probability space A G, E G, then x = x w. i.e., we can understand x is the infinite direct sum of x w s, where w F + G. 3.1. Graph Semicircular Elements. In this section, we will consider the graph-semicircularity of graph random variables. Let G be a finite simplicial graph with W -probability-space-vertices {A v, ϕ v : v VG} and let A G, E G be the corresponding graph free W -probability space over its G-diagonal subalgebra D G, with the G-conditional expectation E G = ϕ w. Definition 3.1. Let x A G, E G be a self-adjoint G-random variable. We say that this G-random variable x is graph-semicircular or G-semicircular if the only second G-cumulant of x is nonvanishing. i.e., x has the following G-cumulant relation; k EG n k EG 2 x,x if n = 2 x,...,x = }{{} n-times 0 D G otherwise.

22 ILWOO CHO Equivalently, the G-random variable x is G-semicircular if x is D G -valued semicircular, as a D G -valued random variable in the direct producted W -probability space A G, E G. In the rest of this section, we will observe the conditions when the G-random variable x is G-semicircular. Lemma 3.1. Let A v, ϕ v be a W -probability-space-vertex of the graph G. If a A v, ϕ v is scalar-valued semicircular, then, as a G-random variable a is G- semicircular. Proof. In general, if x = k EG n x,...,x = }{{} n-times x w is a G-random variable in A G, E G, then k ϕ w n x w,...,x w, by Chapter 1 and 2.3. Thus, if a A v,ϕ v < G A G, E G, then 2.9 k EG n a,...,a = k ϕ v n a,...,a. SinceaissemicircularinA v,ϕ v,asag-randomvariable,itisalsog-semicircular, by 2.9. By the previous lemma, we can get that; Proposition 3.2. Let w = [v 1,...,v k ] FPG and let nonzero a vj A vj,ϕ vj be semicircular, for j = 1,..., k. Then the G-random variable k j=1 a v j is G- semicircular in A G, E G. Proof. By assumption, if the random variables a vj s are nonzero, then they are semicircular in A vj, ϕ vj, for some j = 1,..., k. otice that B v1,..., B vk are G-free in A G, E G, where B vj s are subalgebra isomorphic to the direct sums A vj, for all j = 1,..., k. Indeed, since {v 1 },..., {v k } are mutually disjoint, the subalgebras B v1,..., B vk are G-free from each other. Therefore, as G-random variables a v1,..., a vk are G-free from each other. So, k EG n j=1 a v j,..., j=1 a v j = j=1 keg n avj,...,a vj j=1 kϕ v j 2 avj,a vj if n = 2 = 0 D G otherwise

GRAPH FREE PROBABILITY SPACES 23 by the previous lemma for all n. k EG 2 j=1 a v j, j=1 a v j if n = 2 = 0 D G otherwise, 3.2. Graph Circular Elements. In this section, we will consider the graph circularity on a graph free probability space A G, E G. Definition 3.2. Let a A G, E G be a G-random variable and assume that there exist self-adjoint G-random variables x 1 and x 2 in A G, E G such that a = x 1 + ix 2, and the G-random variables x 1 and x 2 are G-semicircular elements in A G, E G. We say that the G-random variable a is G-circular if x 1 and x 2 are G-free in A G, E G. We also say that the pair x 1, x 2 is the G-semicircular pair of a. Suppose that G-circular element a = x 1 +ix 2 in A G, E G has G-semicircular elements x 1 and x 2 in A w, ϕ w, for w F + G. Then the G-random variable a is also contained in A w, ϕ w and it is circular, in the sense of Voiculescu in this W - probability space A w, ϕ w. Such G-random variable a is said to be a w-circular element in A G, E G. By the G-freeness characterization, if w 1 and w 2 are disjoint in F + G, then B w1 A w1 and B w2 A w2 are G-free in A G, E G. Let x 1 and x 2 be semicircular in B w1, ϕ w1 and B w2, ϕ w2, respectively. In this case, the G-random variable a = x 1 + ix 2 is again G-circular in A G, E G. We say that such G-circular element a is w 1, w 2 -circular in A G, E G. otice that if a is w 1, w 2 -circular, then w 1 and w 2 are not admissible. 3.3. Graph R-diagonal Elements. In this section, we define the graph R-diagonality on A G, E G. Definition 3.3. Let a A G,E G be a G-random variable. It is said to be G- R-diagonal if it has the following G-cumulant relation; the only nonvanishing G- cumulants of a are either

24 ILWOO CHO k EG 2n a,a,a,a,...,a,a or k EG 2n a,a,a,a...,a,a, for all n. We will call the above G-cumulants the alternating G-cumulants of a. References [1] A. ica, R-transform in Free Probability, IHP course note. [2] A. ica, R-transforms of Free Joint Distributions and oncrossing Partitions, J. of Func. Anal, 135 1996, 271-296. [3] D. Shlyakhtenko, otes on Free Probability Theory, 2005, Letcture ote, arxiv:math.oa/0504063v1. [4] D.Voiculescu, K. Dykemma and A. ica, Free Random Variables, CRM Monograph Series Vol 1 1992. [5] F. Radulescu, Singularity of the Radial Subalgebra of LF and the Pukánszky Invariant, Pacific J. of Math, vol. 151, o 2 1991, 297-306. [6] I. Cho, Toeplitz oncommutative Probability Spaces over Toeplitz Matricial Algebras, 2002, Preprint. [7] I.Cho, TheMomentSeriesoftheGeneratingOperatorofLF 2 LF1 LF 2, 2003, Preprint. [8] I. Cho, Random Variables in a Graph W -Probability Space, 2004, Ph. D thesis, Univ. of Iowa. [9] I. Cho, Direct Producted oncommutative Probability Spaces, 2005, Preprint. [10] K. J. Horadam, The Word Problem and Related Results for Graph Product Groups, Proc. AMS, vol. 82, o 2, 1981 157-164. [11] R. Speicher, Combinatorics of Free Probability Theory IHP course note [12] R. Speicher, Combinatorial Theory of the Free Product with Amalgamation and Operator-Valued Free Probability Theory, AMS Mem, Vol 132, um 627, 1998. Saint Ambrose Univ., Dep. of Math, Davenport, Iowa, U. S. A E-mail address: choillwoo@sau.edu