arxiv:math/ v1 [math.oa] 6 May 2004

Transcription

1 arxiv:math/040506v [math.oa] 6 May 004 AMALGAMATED R-TRASFORM THEORY O TOEPLITZ-PROBABILITY SPACES OVER TOEPLITZ MATRICIAL ALGEBRAS ILWOO CHO Abstract. In this paper, we will consider a noncommutative probability space, T, E, over a Toeplitz matricial algebra B C, for, induced by a scalar-valued noncommutative probability space, A, ϕ, with a suitable B-functional, E : T B, defined by ϕ. On this framewor, we will observe amalgamated R-transform calculus with respect to a B-functional, E. The technique idea are came from those in [] Free Probability of type B studied in [3]. Voiculescu developed Free Probability Theory. Here, the classical concept of Independence in Probability theory is replaced by a noncommutative analogue called Freeness See [9]. There are two approaches to study Free Probability Theory. One of them is the original analytic approach of Voiculescu the other one is the combinatorial approach of Speicher ica See [], [] [3]. To observe the free additive convolution free multiplicative convolution of two distributions induced by free rom variables in a noncommutative probability space over B C, Voiculescu defined the R-transform the S-transform, respectively. These show that to study distributions is to study certain B-formal series for arbitrary noncommutative indeterminants. Speicher defined the free cumulants which are the main obects in the combinatorial approach of Free Probability Theory. And he developed free probability theory by using Combinatorics Lattice theory on collections of noncrossing partitions See [3]. Also, Speicher considered the operator-valued free probability theory, which is also defined observed analytically by Voiculescu, when C is replaced to an arbitrary algebra B See []. ica defined R-transforms of several rom variables See []. He defined these R-transforms as multivariable formal series in noncommutative several indeterminants. To observe the R-transform, the Möbius Inversion under the embedding of lattices plays a ey role See [],[3],[5],[],[3] [7]. In [], [9] [0], we observed the amalgamated R-transform calculus. Actually, amalgamated R-transforms are defined originally by Voiculescu See [0] are characterized combinatorially by Speicher See []. In [], we defined amalgamated R-transforms slightly differently from those defined in [] [0]. We defined them as B-formal series tried to characterize, lie in [] [3]. The

2 ILWOO CHO main tool which is considered, for studying amalgamated R-transforms is amalgamated boxed convolution. After defining boxed convolution over an arbitrary algebra B, we could get that R x,...,x s * R symmb y,...,y s R xy,...,x sy s, for any s, where x y are free B-valued rom variables. In this paper, we will consider a noncommutative probability space, T, E, over a Toeplitz matricial algebra B C, for, induced by a scalar-valued noncommutative probability space, A, ϕ, with a suitable B-functional, E : T B, defined by ϕ. On this framewor, we will observe amalgamated R-transform calculus with respect to a B-functional, E. The technique idea are came from those in [] Free Probability of type B studied in [3]. By the construction of this amalgamated noncommutative probability space, we can easily recognize that to compute the partition-dependent moments of rom variables, we do not need to concern about the insertion property. We will concentrate on observing the moment series R-transforms of rom variables in this structure after considering the combinatorialamalgamated freeness, we construct the R-transform calculus.. Preliminaries.. Free Probability Theory. In this section, we will summarize introduced the basic results from [] []. Throughout this section, let B be a unital algebra. The algebraic pair A, ϕ is said to be a noncommutative probability space over B shortly, CPSpace over B if A is an algebra over B i.e B A B A ϕ : A B is a B-functional or a conditional expectation ; ϕ satisfies ϕb b, for all b B ϕbxb bϕxb, for all b, b B x A. Let A, ϕ be a CPSpace over B. Then, for the given B-functional, we can determine a moment multiplicative function ϕ ϕ n n IA, B, where for all a... a n A Bn, n. ϕ n a... a n ϕa...a n,

3 TOEPLITZ MATRICIAL R-TRASFORM THEORY 3 We will denote noncrossing partitions over {,..., n} n by Cn. Define an ordering on Cn ; θ {V,..., V } π {W,..., W l } def For each bloc V θ, there exists only one bloc W p π such that V W p, for,..., p,..., l. Then Cn, is a complete lattice with its minimal element 0 n {,..., n} its maximal element n {,..., n}. We define the incidence algebra I by a set of all complex-valued functions η on n Cn Cn satisfying ηθ, π 0, whenever θ π. Then, under the convolution defined by : I I C η η θ, π η θ, σ η σ, π, θ σ π I is indeed an algebra of complex-valued functions. Denote zeta, Möbius delta functions in the incidence algebra I by ζ, µ δ, respectively. i.e ζθ, π { θ π 0 otherwise, δθ, π { θ π 0 otherwise, µ is the -inverse of ζ. otice that δ is the -identity of I. By using the same notation, we can define a convolution between IA, B I by f η a,..., a n ; π π Cn fπa... a n ηπ, n, where f IA, B, η I, π Cn a A,..., n, for all n. otice that f η IA, B, too. Let ϕ be a moment multiplicative function in IA, B which we determined before. Then we can naturally define a cumulant multiplicative function ĉ c n n IA, B by ĉ ϕ µ or ϕ ĉ ζ. This says that if we have a moment multiplicative function, then we always get a cumulant multiplicative function vice versa, by. This relation is so-called Möbius Inversion. More precisely, we have

4 4 ILWOO CHO ϕa...a n ϕ n a... a n ĉπa... a n ζπ, n π Cn ĉπa... a n, π Cn for all a A n. Or equivalently, c n a... a n π Cn ϕπa... a n µπ, n. ow, let A i, ϕ i be CPSpaces over B, for all i I. Then we can define a amalgamated free product of A i s amalgamated free product of ϕ i s by A B A i ϕ i ϕ i, respectively. Then, by Voiculescu, A, ϕ is again a CPSpace over B, as a vector space, A can be represented by A B n A i B... A in B, i... i n where A i B erϕ i. We will use Speicher s combinatorial definition of amalgamated free product of B-functionals ; Definition.. Let A i, ϕ i be CPSpaces over B, for all i I. Then ϕ i ϕ i is the amalgamated free product of B-functionals ϕ i s on A B A i if the cumulant multiplicative function ĉ ϕ µ IA, B has its restriction to A i, ĉ i, where i I i I ĉ i is the cumulant multiplicative function induced by ϕ i, for all i I. i.e c n a... a n { c n i a... a n if a A i 0 B otherwise. ow, we will observe the freeness over B ; Definition.. Let A, ϕbe a CPSpace over B. Subalgebras containing B, A i A i I are free over B if we let ϕ i ϕ Ai, for all i I, then i ϕ i has its cumulant multiplicative function ĉ such that its restriction to A i is ĉ i, where ĉ i is the cumulant multiplicative function induced i I i I by each ϕ i, for all i I. Sebsets X i i I are free over B if subalgebras A i s generated by B X i s are free in the sense of. i.e If we let A i Alg X i, B, for all i I, then A i s are free over B. In [], Speicher showed that the above combinatorial freeness with amalgamation can be used alternatively with respect to Voiculescu s original freeness with amalgamation.

5 TOEPLITZ MATRICIAL R-TRASFORM THEORY 5 Let A, ϕ be a CPSpace over B let x,..., x s be B-valued rom variables s. Define i,..., i n -th moment of x,..., x s by ϕx i b i x i...b in x in, for arbitrary b i,..., b in B, where i,..., i n {,..., s} n, n. Similarly, define a symmetric i,..., i n -th moment by the fixed b 0 B by ϕx i b 0 x i...b 0 x in. If b 0 B, then we call this symmetric moments, trivial moments. Cumulants defined below are main tool of combinatorial free probability theory ; in [], we defined the i,..., i n -th cumulant of x,..., x s by n x i,..., x in c n x i b i x i... b in x in, for b i,..., b in B, arbitrary, i,..., i n {,..., s} n, n, where ĉ c n n is the cumulant multiplicative function induced by ϕ. otice that, by Möbius inversion, we can always tae such B-value whenever we have i,..., i n -th moment of x,..., x s. And, vice versa, if we have cumulants, then we can always tae moments. Hence we can define a symmetric i,..., i n -th cumulant by b 0 B of x,..., x s by symmb0 n x i,..., x in c n x i b 0 x i... b 0 x in. If b 0 B, then it is said to be trivial cumulants of x,..., x s. By Speicher, it is shown that subalgebras A i i I are free over B if only if all mixed cumulants vanish. Proposition.. See [] [] Let A, ϕ be a CPSpace over B let x,..., x s A, ϕ be B-valued rom variables s. Then x,..., x s are free if only if all their mixed cumulants vanish... Amalgamated R-transform Theory. In this section, we will define an R-transform of several B-valued rom variables. ote that to study R-transforms is to study operator-valued distributions. R-transforms with single variable is defined by Voiculescu over B, in particular,

6 6 ILWOO CHO B C. See [9] [0]. Over C, ica defined multi-variable R-transforms in []. In [], we extended his concepts, over B. R-transforms of B-valued rom variables can be defined as B-formal series with its i,..., i n -th coefficients, i,..., i n -th cumulants of B-valued rom variables, where i,..., i n {,..., s} n, n. Definition.3. Let A, ϕ be a CPSpace over B let x,..., x s A, ϕ be B- valued rom variables s. Let z,..., z s be noncommutative indeterminants. Define a moment series of x,..., x s, as a B-formal series, by M x,...,x s z,..., z s n i,..,i n {,...,s} ϕx i b i x i...b in x in z i...z in, where b i,..., b in B are arbitrary for all i,..., i n {,..., s} n, n. Define an R-transform of x,..., x s, as a B-formal series, by with R x,...,x s z,..., z s n i,...,i n {,...,s} n x i,..., x in z i...z in, n x i,..., x in c n x i b i x i... b in x in, where b i,..., b in B are arbitrary for all i,..., i n {,..., s} n, n. Here, ĉ c n n is a cumulant multiplicative function induced by ϕ in IA, B. Denote a set of all B-formal series with s-noncommutative indeterminants s, by Θ s B. i.e if g Θs B, then gz,..., z s b i,...,i n z i...z in, n i,...,i n {,...,s} where b i,...,i n B, for all i,..., i n {,..., s} n, n. Trivially, by definition, M x,...,x s, R x,...,x s Θ s B. By Rs B, we denote a set of all R-transforms of s-b-valued rom variables. Recall that, set-theoratically, Θ s B Rs B, sor all s. By the previous section, we can also define symmetric moment series symmetric R-transform by b 0 B, by Mx symmb0,...,x s z,..., z s Rx symmb0,...,x s z,..., z s with n i,...,i n {,...,s} n symmb0 i,..,i n {,...,s} ϕx i b 0 x i...b 0 x in z i...z in n x i,..., x in z i...z in, symmb0 n x i,..., x in c n x i b 0 x i... b 0 x in, for all i,..., i n {,..., s} n, n.

7 TOEPLITZ MATRICIAL R-TRASFORM THEORY 7 If b 0 B, then we have trivial moment series trivial R-transform of x,..., x s denoted by M t x,...,x s R t x,...,x s, respectively. The followings are nown in [] [] ; Proposition.. Let A, ϕ be a CPSpace over B let x,..., x s, y,..., y p A, ϕ be B-valued rom variables, where s, p. Suppose that {x,..., x s } {y,..., y p } are free in A, ϕ. Then R x,...,x s,y,...,y p z,..., z s+p R x,...,x s z,..., z s + R y,...,y p z,..., z p. If s p, then R x+y,...,x s+y s z,..., z s R x,...,x s + R y,...,y s z,..., z s. The above proposition is proved by the characterization of freeness with respect to cumulants. i.e {x,..., x s } {y,..., y p } are free in A, ϕ if only if their mixed cumulants vanish. Thus we have n p i,..., p in c n p i b i p i... b in p in { ĉ x ĉ y n p i b i p i... b in p in n x i,..., x in or n y i,..., y in if s p, then n x i +y i,..., x in +y in c n x i + y i b i x i + y i... b in x in + y in c n x i b i x i... b in x in + c n y i b i y i... b in y in + [Mixed] where [Mixed] is the sum of mixed cumulants, by the bimodule map property of c n n x i,..., x in + n y i,..., y in + 0 B. ow, we will define B-valued boxed convolution *, as a binary operation on Θ s B ; note that if f, g Θ s B, then we can always choose free {x,..., x s } {y,..., y s } in some CPSpace over B, A, ϕ, such that f R x,...,x s g R y,...,y s. Definition.4. Let s. Let f, g Θ s B Θs B. Define * : Θs B Θs B Θs B by f, g R x,...,x s, R y,...,y s R x,...,x s * R y,...,y s. Here, {x,..., x s } {y,..., y s } are free in A, ϕ. Suppose that coef i,..,i n R x,...,x s c n x i b i x i... b in x in

8 8 ILWOO CHO coef i,...,i n R y,...,y s c n y i b i y i... b i n y in, for all i,..., i n {,..., s} n, n, where b i, b i n B arbitrary. Then coef i,...,i n R x,...,x s * R y,...,y s π Cn denote π Cn ĉ x ĉ y π Krπx i y i b i x i b i y i... b in x in b i n y in π Krπ xi, y i,..., x in y in, where ĉ x ĉ y ĉ Ax BA y, A x Alg {x i } s i, B A y Alg {y i } s i, B where π Krπ is an alternating union of partitions in Cn Proposition.3. See []Let A, ϕ be a CPSpace over B let x,..., x s, y,..., y s A, ϕ be B-valued rom variables s. If {x,..., x s } {y,..., y s } are free in A, ϕ, then we have n x i y i,..., x in y in π Cn denote π Cn ĉ x ĉ y π Krπx i y i b i x i y i... b in x in y in π symmb Krπ x i, y i,..., x in, y in, for all i,..., i n {,..., s} n, n, b i,..., b in B, arbitrary, where ĉ x ĉ y ĉ Ax BA y, A x Alg {x i } s i, B A y Alg {y i } s i, B. This shows that ; Corollary.4. See [] Under the same condition with the previous proposition, R x,...,x s * R t y,...,y s R xy,...,x sy s. otice that, in general, unless b i... b i n B in B, However, as we can see above, R x,...,x s * R y,...,y s R xy,...,x sy s.

9 TOEPLITZ MATRICIAL R-TRASFORM THEORY 9 R x,...,x s * R t y,...,y s R xy,...,x sy s R t x,...,x s * R t y,...,y s R t x y,...,x sy s, where {x,..., x s } {y,..., y s } are free over B. Over B C, the last equation is proved by ica Speicher in [] [3]. Actually, their R-transforms over C is our trivial R-transforms over C. Is it possible to find a trivial R-transform Rx t for the given R-transform R s, x,...,x,...,x s, where x,..., x s A, ϕ are B-valued rom variables x,..., x s are B-valued rom variables which are not necessarily contained in A, ϕ? If possible, to study amalgamated R-transforms, we can only deal with trivial R-transforms. Let s denote a set of all tritial R-transforms by S B R s B. If we have a positive answer of above question, then Rs B SB R s B. In that case, we can deal with B-valued boxed convolution more freely. In the following chapter, we will consider this possibility..3. Scalar-Valued Case in the sense of ica Speicher. Suppose that B C. Then a CPSpace over B, A, ϕ, All information of B-valued scalar-valued distributions are contained in corresponding trivial R- transforms See [3] [33]. So, WLOG, we can define an R-transform of rom variables as a trivial R-transform of the rom variables. This is ust an scalarvalued R-transform in the sense of ica See []. In [3] [33], we showed that if B is an arbitrary algebra such that B C A B, then amalgamated freeness can be characterized by Amalgamated Freeness def All mixed cumulants vanish All mixed trivial cumulants vanish. Since C A C C, for any algebra A, if B C, then the freeness is characterized by trivial cumulants. Definition.5. Let A, ϕ be a noncommutative probability space over C shortly CPSpace with a linear functional ϕ : A C let x,..., x s A, ϕ be scalarvalued rom variables s. Define a moment series R-transform of x,..., x s by M t x,...,x s R t x,...,x s, respectively, where M t x,...,x s R t x,...,x s are defined in Section.. By M x,...,x s R x,...,x s, we will denote the moment series the R-transform, respectively. Also, if we mention cumulants, then they are trivial cumulants, ust denoted by n, for n.

10 0 ILWOO CHO Remar.. By definition, all facts, which we considered in the previous sections, holds true, for new M x,...,x s R x,...,x s. Moreover, if {x,..., x s } {y,..., y s } are free subsets of rom variables, then R xy,...,x sy s R x,...,x s * C R y,...,y s, where * C is the B C-valued boxed convolution. This is the boxed convolution * in the sense of ica See []. otice that all rom variables are central over C. So, we have that coef i,...,i n R x,...,x s * R y,...,y s π x i,..., x in Krπ y i,..., y in. π Cn Again, we can see that this is ust a definition of boxed convolution in the sense of ica Speicher See [] [3]. Form now, by A, ϕ, we will denote a CPSpace.. Toeplitz Matricial Probability Theory.. Toeplitz Matricial Probability Spaces over Toeplitz Matricial Algebras. In this section, we will consider the Toeplitz Matricial probability space over a Toeplitz Matricial Algebra C n C n, for n. We define a Toeplitz Matricial algebra C n by an algebra C n with following addition multiplication ; α,..., α n + α,..., α n α + α,..., α n + α n α,..., α n α,..., α n α α, α α +,..., n α α n+, respectively. Then C n C n, +, is an algebra. And this algebra is called an n-th Toeplitz Matricial algebra. i.e isometrically, this algebra C n can be understood as an algebra generated by all Toeplitz matrices in M n C which have the form of

11 TOEPLITZ MATRICIAL R-TRASFORM THEORY α,..., α n α α α 3 α n α α..... α... α3... α O α M n C, for all α,..., α n C n, n. For exmaple, if n 4, then we have that α, α, α 3, α 4 + α, α, α 3, α 4 α α α 3 α 4 0 α α α α α α α α α 3 α 4 0 α α α α α α α + α α + α α 3 + α 3 α 4 + α 4 0 α + α α + α α 3 + α α + α α + α α + α α + α, α + α, α 3 + α 3, α 4 + α 4 α, α, α 3, α 4 α, α, α 3, α 4 α α α 3 α 4 0 α α α α α α α α α 3 α 4 0 α α α α α α α α α α + α α α α 3 + α α + α 3 α α α 4 + α α 3 + α 3 α + α 4 α 0 α α α α + α α α α 3 + α α + α 3α 0 0 α α α α + α α α α α α, α α + α α, α α 3 + α α + α 3α, α α 4 + α α 3 + α 3α + α 4α, for all α,..., α 4, α,..., α 4 C4. otice that, 0,..., 0 C n is the multiplicationidentity on C n. We will observe the R-transform calculus in a noncommutative probability space over a Toeplitz matricial algebra C n.

12 ILWOO CHO otation From now, for any n, by little abuse of notation, we will denote C n by B, if there is no confusion. Let A, ϕ be a CPSpace in the sense of Section.3, where A is an algebra ϕ : A C is a linear functional. Then we can define a Toeplitz matricial algebra T n over a Toeplitz matricial algebra B C n, induced by A, ϕ ; Definition.. Fix n. Let B C n be a Toeplitz matricial algebra let A, ϕ be a CPSpace in the sense of Section.3, with a linear functional ϕ : A C. Define a Toeplitz Matricial Probability Space over B, T n, E n, induced by A, ϕ, by i T n is an algebra over B i.e B, 0,..., 0 B T n such that with T n Alg {a,..., a n : a A, ϕ} a,..., a n + a,..., a n a + a,..., a n + a n a,..., a n a,..., a n a a, a a +,..., n a a n+, for all a,..., a n, a,..., a n T n. ii E : T n B is a B-functional E a,..., a n ϕa,..., ϕa n. Without confusion, we will denote T n, E n by T, E. Lemma.. Let n. A Toeplitz matricial probability space, T, E, over B C n, is, indeed, a CPSPace over B. Proof. Since T is an algebra over B, by definition, it suffices to show that a map E : T B is a B-functional. i Let α,..., α n C n B. Then E α,..., α n ϕα,..., ϕα n α,..., α n, since ϕ is a linear functional. ii Let α,..., α n, α,..., α n B a,..., a n T. Then

13 TOEPLITZ MATRICIAL R-TRASFORM THEORY 3 E α,..., α n a,..., a n α,..., α n α α α n a a a n α α α n. E α.... a... α α... a... α O α O a α α α α n ϕa ϕa ϕa n α α α n. α.... ϕa... α... α... ϕa α O α ϕa α α,..., α n E a,..., a n α,..., α n. By i ii, we can conclude that E is a B C n -functional. By the previous lemma, we have a new CPSpace over B C n, T, E, in the sense of Section.. On this framewor, we can do the amalgamated R-transform Calculus, lie in Section.. Lemma.. Fix n. Let B C n be a Toeplitz matricial algebra let A, ϕ be a CPSpace. Let T, E be a Toeplitz matricial probability space over B, induced by A, ϕ. Then C T B B, where C T B is the centralizer of B in T, i.e C T B {b B : bt ta, for all t T }. Proof. Let α,..., α n C n B. Then α,..., α n C T B. i.e α,..., α n a,..., a n α a, α a +,..., n α a n+ a α, a + α,..., n a n+ α a α, a α +,..., n a α n+ a,..., a n α,..., α n, for all a,..., a n T. Trivially, C T B B, by the very definition of C T B. Therefore, C T B B.

14 4 ILWOO CHO Fix. Lie in Section.3, since C T B B, trivial R-transforms of B C -valued rom variables contain all information of operator-valued distributions of those B-valued rom variables Also see [3] [33]. Hence, it is sufficient to consider trivial R-transforms of B-valued rom variables to study operator valued rom variables, in s B, where B C s. Remar that to study such trivial R-transforms, we need to define suitable cumulants K n n, as a cumulant multiplicative bimodule map induced by a operator-valued moment multiplicative conditional expectation E. Recall that E a,..., a n def ϕa,..., ϕa n C n, for all a,..., a T. Denote cumulants induced by ϕ, with respect to A, ϕ, by n n. i,e if x,..., x s A, ϕ are rom variables, then n x i,..., x in def π Cn ϕπx i... x in µπ, n C, for all i,..., i n {,..., s} n, n, by the Möbius inversion. Suppose that a,..., a,..., as,..., as T, for the fixed. Observe the following relation, for i,..., i n {,..., s} n, n ;,..., a i ai,..., a i ai, a i Put i.e a i a i, P i,i ai a i a i ai a i + +,..., ai a i A, ϕ ai a i + +,...,,...,. P i,i ai a i +.,..., P i,i. Then a i,..., a i ai,..., a i ai3,..., a i3 P i,i,..., P i,i a i3,..., a i3 P i,i a i3, P i,i a i3 +,..., Similarly, put P i,i a i3 +. i.e P i,i a i3, P i,i,i3 P i,i a i3 P i,i a i3 + +,..., P i,i,i3,..., P i,i,i3,...,. P i,i a i3 +.

15 TOEPLITZ MATRICIAL R-TRASFORM THEORY 5 Inductively, we can define i.e P i,...,in,in P i,...,in a in +,...,.,..., a i ain,..., a in P i,..,in,..., P i,...,in. a i Definition.. Let B C be a Toeplitz matricial algebra let A, ϕ be a CPSpace with its linear functional ϕ : A C. Let T, E T, E be a Toeplitz matricial probability space over B with its B-functional E : T B let a,..., a,..., as,..., as For i,..., i n {,..., s} n, n, define T, E be B-valued rom variables s. P i a i A, ϕ,,...,, P i,i ai a i +,,..., P i,...,in,in P i,...,in a in +,,...,. Then,..., a i ain,..., a in P i,...,in,..., P i,...,in. a i Define a i,..., i n -th moment of a E a i,..., a i,..., a,..., as,..., as by ain,..., a in ϕp i,...,in,..., ϕp i,...,in, for all i,..., i n {,..., s} n, n. otice that ϕ P i,...,in ϕ a i...a in is the i,..., i n -th moment of a,..., as. As we have seen before in [3] [33], all trivial moments contain all information about moments, since C T B B. Hence WLOG, we can only consider the trivial moments of a,..., a,..., as,..., as.

16 6 ILWOO CHO Example.. Suppose that fix B C. Let T, E be a Toeplitz matricial probability space over B, induced by a CPSpace A, ϕ. Let a, a, a, a3 T, E be B-valued rom variables. Then, a, a3 E a, a a, a a3, a3 E a a O a where O 0 B 0 A A. E a a O a a 3 a 3 O a 3 a a a3 a a a3 + a a a3 + a a a3 O a a a3 E a a a3, a a a3 + a a a3 + a a a3 ϕa a We have that a3, ϕa a a3 + a a a3 + a a a3. P,,3 a a a3 P,,3 a a a3 + a a a3 + a a a3... Toeplitz Matricial Cumulants. Throughout this section, we will fix. Let B C be a Toeplitz matricial algebra let A, ϕ be a CPSpace, with its linear functional ϕ : A C. Let T, E T, E be a Toeplitz matricial probability space over B with its B-functional E : T B, E a,..., a ϕa,..., ϕa B,

17 TOEPLITZ MATRICIAL R-TRASFORM THEORY 7 for all a,..., a T.Let a,..., a,..., as,..., as T, E be B-valued rom variables s. Then we can conpute the i,..., i n -th moment of them by E a i,..., a i...ain,..., a in E P i,...,in,..., P i,...,in ϕp i,...,in,..., ϕp i,...,in, where P i a i A, ϕ, P i,i P i,...,in,in ai a i + A, ϕ, P i,...,in a in + A, ϕ, for all,...,. So, we can define a moment series of A a,..., a,..., A s a s,..., as denoted by M A,...,A s, by M A,...,A s z,..., z s MA t,...,a s z,..., z s n E A i...a in z i...z in i,...,i n {,...,s} n ϕp i,...,in,..., ϕp i,...,in z i...z in. i,...,i n {,...,s} In this section, we will show that K n a i,..., a i,..., ain,..., a in n Q i,...,in,..., n Q i,...,in, where n n is the cumulants induced by ϕ, in the sense of ica Speicher, Q i a i,,...,, Q i,i a i, a i + A A,,...,

18 8 ILWOO CHO Q i,...,in,in n Q i,...,in, a in + for all,...,. Actually, we can regard A... A }{{} n times } A... {{ A }, n times as A B... B A, since }{{} n times C T B B, whenever B C T is a Toeplitz matricial probability space over B. So, n n Q i,...,in n n, a in + Q i,...,in, a in + n cn Q i,...,in a in + is well-detemined, where c n is the n-thcomponent of the cumulant multiplicative function ĉ c IA, C, induced by ϕ where, Q i,...,in Q i,...,in a in +, with Q i a i Q i,i ai a i +, for all,...,. Definition.3. Fix s. Let with P i,...,in P i a i P i,...,in a in + P i,i A, ϕ ai a i +, in A, ϕ, be determined inductively, for all,...,. Then, with respect to them, we will define Q i Q i,i a i A, a i, a i + A A inductively on n, Q i,...,in Q i,...,in, a in + A... A, }{{} n times for all i,..., i n {,..., s} n, n, for all,...,.

19 TOEPLITZ MATRICIAL R-TRASFORM THEORY 9 Example.. At the end of the previous section, we observed an example such that P,,3 a a a3 P,,3 a a a3 + a a a3 + a a a3. In this case, we can decide Q,,3 a, a, a3 Q,,3 a, a, a3 + a, a, a3 + a, a, a3. otice that the addition above is meaningless. This addition is not a pointwise addition! This addition is only depending on cumulant n, induced by ϕ. And we can get that Q,,3 a a a 3 Q,,3 a a a 3 + a a a 3 + a a a 3. Proposition.3. Let B C be a Toeplitz matricial algebra let A, ϕ be a CPSpace. Let T, E be a Toeplitz matricial probability space over B let A a,..., a,..., A s a s,..., as T, E be B-valued rom variables s. Then the R-transform of A,..., A s is determined by R A,...,A s z,..., z s def RA t,...,a s z,..., z s K n A i,..., A in z i...z in, where K n A i,..., A in n i,...,i n {,...,s} π Cn for all i,..., i n {,..., s} n, n. ÊπA i... A in µπ, n, Proof. By the Möbius inversion, we can always define a i,..., i n -th cumulants from moments. We defined that, since C T B B, moments of A,..., A s by trivial moments of A,..., A s. So, WLOG, we can define a i,..., i n -th cumulants

20 0 ILWOO CHO of A,..., A s by trivial amalgamated cumulants of them. So, by Section., we have that K n A i,..., A in c n A i... A in ÊπA i... A in µπ, n, π Cn where Ê E Im T, B is the moment multiplicative bimodule map induced by the B-functional E : T B. Also, again, by Section., we can define R A,...,A s z,..., z s R t A,...,A s z,..., z s. Definition.4. Let B C be a Toeplitz matricial algebra let A, ϕ be a CPSpace with its linear functional ϕ : A C. Let T, E T, E be a Toeplitz matricial probability space over B let a,..., a,..., as,..., as be B-valued rom variables s. For i,..., i n {,..., s} n, n, define a i,..., i n -th cumulants, by K n a i,..., a i,..., ain,..., a in Êπ a i,..., a i... ain,..., a in µπ, n. π Cn Lemma.4. Let T, E be a Toeplitz matricial probability space over B C, induced by A, ϕ let A a,..., a,..., A s a s,..., as T, E be B C -valued rom varialbes s. Then i,..., i n -th moment of A,..., A s has the following relation ; E A i...a in π Q i,...,in,..., π Cn π Cn π Q i,...,in, for all i,..., i n {,..., s} n, n, where π is a cumulants depending on π Cn, induced by ϕ, with respect to A, ϕ. Proof. By the previous observation, we have that the i,..., i n -th trivial moment of A,..., A s is E A i...a in E a i,..., a i...ain,..., a in

21 TOEPLITZ MATRICIAL R-TRASFORM THEORY E P i,...,in,..., P i,...,in where hence P i,...,in P i,...,in a i a i...a in P i,...,in a in + ϕp i,...,in,..., ϕp i,...,in B. By the Möbius inversion,, for,...,, ϕ P i,...,in ϕ P i,...,in ϕ a i a i...a in π a i, a i,..., a in π Cn θ Cn θ Q i,...,in, for all,...,, by the definition of Q i,...,in, where above π θ, for π, θ Cn, are defined in the sense of ica Speicher See Section.3 or see [] [3]. Thus E A i...a in ϕp i,...,in,..., ϕp i,...,in π π Cn Q i,...,in,..., for all i,..., i n {,..., s} n, n. π Cn π Q i,...,in B, Theorem.5. Let B C be a Toeplitz matricial algebra let A, ϕ be a CPSpace with its linear functional ϕ : A C. Let T, E be a Toeplitz matricial probability space over B with its B-functional E : T B let A a,..., a,..., A s a s,..., as T, E be B-valued rom variables s. Then the i,..., i n -th cumulant of A,..., A s is K n A i,..., A in for all i,..., i n {,..., s} n, n. n Q i,...,in,..., n Q i,...,in B

22 ILWOO CHO Proof. By definition, we have that K n A i,..., A in ÊπA i... A in µπ, n, π Cn for any i,..., i n {,..., s} n, n. Fix i,..., i n. Then the right-h side of the previous formular can be rewritten π Cn V πo Êπ V A i... A in µπ V, n V. Recall that if B C, then C T B B. Thus, for any,..., {,..., s},, E A... A B C T B. By the previous property, also we can rewrite the right-h side of the previous formular, by π Cn W ππo πi Êπ W A i... A in µπ W, n W. * ow, let W,..., π πo πi be a bloc, where π Cn. Then, by the previous lemma, we have that Êπ W A i... A in E A... A E A...A E a,..., a...a,..., a E P,...,,..., P,..., ϕp,...,,..., ϕp,..., θ Q,...,,..., θ Q,..., B. θ C Therefore, θ C * π Cn W π θ Q W,..., θ C θ C θ Q W µπ W, n W,

23 TOEPLITZ MATRICIAL R-TRASFORM THEORY 3 where Q W Q,...,, if W,..., π Cn < n. Equivalently, we have that K n A i,..., A in n Q i,...,in,..., n Q i,...,in. The proof of the above theorem is motivated by cumulants of type B studied in [3] See Section in [3]. Example.3. We will use the same example which we have observed. Suppose we are given A a, a, A a, a A 3 a 3, a3, C -valued rom variables in T, E. Then we have that Q,,3 a, a, a3 Q,,3 a, a, a3 + a, a, a3 + a, a, a3. So, K 3 A, A, A 3 3 a, a, a3, 3 a, a, a3 3 Q,,3, 3 Q,,3 + 3 a, a, a3 + 3 a, a, a3..3. Toeplitz Matricial R-transform Theory. Let A, ϕ be a CPSpace, in the sense of Section.3, with its linear functional ϕ : A C. In this section, by using information about cumulants, we will consider R-transform Calculus on a Toeplitz matricial probability space T, E, over a Toeplitz matricial algebra, B C, induced by a CPSpace A, ϕ. Also, we will observe the freeness of subsets of T. To do that, we need to observe the freeness on T, E. Clearly, by the Speicher s characterization, we can define freeness on T, E. We want to express this freeness with respect to the freeness on A, ϕ.

24 4 ILWOO CHO y t T,,..., X s x s,..., xs, Y y,..., y,..., Y t be B C -valued rom variables s, t. Define two subsets of Let X x,..., x,..., yt Ξ {X,..., X s } Υ {Y,..., Y t }. By Speicher s amalgamated Freeness characterization, we can say that [Two subsets Ξ Υ are free over B] [All mixed B-valued cumulants vanish]. Remar that, since C T B B, all mixed cumulants can be replaced by all trivial mixed cumulants these trivial cumulants is defined by B C -valued cumulants, above. Also, remar that, since C T B B, we can avoid the insertion property when we compute the B-valued cumulants. By the previous section, if A i,..., A in T, E are B-valued rom variables, then we have that K n A i,..., A in def π Cn V π π Cn V π π Cn V π π Cn ÊπA i... A in µπ, n Êπ V A i... A in µπ V, V ϕp i,...,in,..., ϕp i,...,in µπ V, V θ Q V,..., θ Q V µπ V, V θ C V θ C V B, n Q i,...,in,..., n Q i,...,in where K n s are B-valued cumulants induced by E n s are cumulants, in the sense of ica Speicher, induced by ϕ where Q i,...,in P i,...,in P i,...,in a in + Q i,...,in, a in + A, ϕ, A } {{... A }, n times for all,...,. Theorem.6. Let B C be a Toeplitz matricial algebra let A, ϕ be an arbitrary CPSpace. Let T, E T, E be a Toeplitz matricial probability space over B let X x,..., x,..., X s x s,..., xs, Y y,..., y,..., Y t y t,..., yt be B-valued rom variables s, t. Define subsets Ξ {X,..., X s } Υ {Y,..., Y t } in T. Then Ξ Υ are free over B, in T, E if only if

25 TOEPLITZ MATRICIAL R-TRASFORM THEORY 5 Proof. Suppose that Ξ Υ are free over B, in T, E. Then, by definition, all B-valued mixed cumulants of Ξ Υ vanish ; K n A i,..., A in n Q i,...,in,..., n Q i,...,in 0 B, where B ,..., 0 B C A i,..., A in Ξ Υ mixed in T, E. It suffices to consider the case when A i Y i A i X i, in {,..., n}. i.e put A i X i,..., A i X i, A i Y i, A i+ X i+..., A in X in. s are deter- First, we will consider P i,...,in,..., P i,...,in, because Q i,...,in mined by them ; P i,...,in x i...x i y i x i+...x in P i,...,in P i,...,in a in +, for all,...,. ote that if i i n, then P i,...,in,in has the form of sum of mixed words in x i,..., x i,..., xin,..., x in yi y in,..., y i yin. If < < n, then, also, P i,...,i,...,in has the form of sum of mixed words in x i,..., x i,..., xi,..., x i y i,..., y i, x i+,..., x i+,..., x in,..., x in. We can conclude, by induction. So, under our assumption, generally, for n, K n A i,..., A in n Q i,...,in,..., n Q i,...,in n x i,..., y i,..., x in, nq i,...,in, a in..., nq i,...,in, a in + n x i,..., x i, y i, x i+,..., x in 0 C, nq i,...,in, a in + 0 C, +, 0,..., 0 B.,

26 6 ILWOO CHO. nq i,...,in, a in + 0 C. All mixed cumulants of {x i,..., x i,..., xi,..., x i, x i+,..., x i+,..., x in,..., x in {y i,..., y i } are free over C, in the sense of Section.3, in A, ϕ. Therefore, we can get that Ξ {X x,..., x y t,..., yt,..., X s x s,..., xs } Υ {Y y,..., y,..., Y t } are free over B C, in T, E if only if {x l,..., xl : l : l,..., t} are free, in the sense of Section.3, in,..., s} {y l,..., y l A, ϕ. Let X Y x x x x x O x y y y y y O y,..., X s O,..., Y t O x s x s x s x s x s x s y t y t y t y t y t be C -valued rom variables in T, E, induced by A, ϕ. Then, by the previous theorem, we characterize C -valued freeness with respect to scarlar-valued freeness on A, ϕ. i.e {X,..., X s } {Y,..., Y t } are free over C if only if {x l,..., xl : l,..., s} {yl,..., y l : l,..., t} are free in A, ϕ. ow, we can characterize C -valued freeness on T, E with respect to scalarvalued freeness on A, ϕ, where T, E is a Toeplitz matricial probability space over a Toeplitz matricial algebra, induced by A, ϕ. So, we can observe R-transform Calculus. y t } Proposition.7. Let A, ϕ be a CPSpace let x l,..., xl,..., y l A, ϕ be rom variables, where l,..., s l,..., t s, t. Let B C be a Toeplitz matricial algebra let T, E be a CPSpace over B, induced by A, ϕ. Let, yl X l x l,..., xl Y l yl,..., y l

27 TOEPLITZ MATRICIAL R-TRASFORM THEORY 7 be B-valued rom variables in T, E, where l,..., s l,..., t. If X {x l,..., xl : l,..., s} Ỹ {yl,..., y l : l,..., t} are free in A, ϕ, then R X,...,X s,y,...,y t z,..., z s+t R X,...,X s z,..., z s + R Y,...,Y t z s+,..., z s+t if s t, then R X+Y,...,X s+y s z,..., z s R X,...,X s z,..., z s + R Y,...,Y s z,..., z s 3 if s t, then R XY,...,X sy s z,..., z s R X,...,X s * R Y,...,Y s z,..., z s. Proof. By the previous theorem, if X Ỹ are free in A, ϕ, then {X,..., X s } {Y,..., Y t } are free over B, in T, E. So, are easily verified. We will only observe 3, when s t. Fix i,..., i n {,..., s} n, n. Then K n X i Y i,..., X in Y in n Q i,...,in,..., n Q i,...,in, where X i Y i x i,..., x i yi,..., y i x i y i, xi y i +,..., a i,..., a i, xin x in + for all,..., n Q i,...,in Q i,...,in, a in + A } {{... A }, n times for all,...,. Thus, n Q i,...,in, inductively, n Q i,...,in Q i,...,in, a in +, a in + y q s. By little abuse of notation, we have that p n Q i,...,in,..., n Q i,...,in is the sum of alternating tuples of x q p s

28 8 ILWOO CHO θ Cn θ Q x p q Krθ Q y q,......, θ Cn p θ Q x p q Krθ Q y q p, where θ Krθ Cn is the alternating union of noncrossing partitions such that x p q s are depending on θ y q s are depending on Krθ. Therefore, p K n X i Y i,..., X in Y in K π X i,..., X in K Krπ Y i,..., Y in. π Cn Again, remar that C T B B!! 3. Applications 3.. Operator-Valued Moments Cumulants of a Single Toeplitz matricial valued rom variable. Let B C be a Toeplitz matricial algebra let A, ϕ be a CPSpace, in the sense of Section.3. Let T, E be a Toeplitz matricial probability space over B, induced by A, ϕ. In this section, we will compute operator-valued moments operator-valued cumulants of a single B-valued rom variable a a a A a,..., a a a O a T, E. We will compute the moment series of A, M A z the R-transform of A, R A z, in Θ B. To do that, we have to compute the n-th moment of A n-th cumulant of A, as n-th coefficient of M A R A, respectively, for n. Recall that, since C T B B, we can define M A R A by trivial moment series of A

29 TOEPLITZ MATRICIAL R-TRASFORM THEORY 9 trivial R-transform of A, in the sense of Section. See Section..3. i.e M A z n E An z n R A z n K n A,..., A z n, where E a,..., a ϕa,..., ϕa n, for all a,..., a T, E K n is induced by E, in the sense of Section.3. Consider the general expression of A n, for n. Similar to the previous section, we can compute that ; A a,..., a a,..., a a a a. a a O a a a a a a O a a a a + a a + a a a + a a, a a +,..., a a + P, P,..., P. denote Inductively, we have that P n P a, P n a +, for all,...,. Thus we can compute the n-th moment of A ; E A n E P n,..., P n ϕp n,..., ϕp n B. For example, if, then we have that

30 30 ILWOO CHO P a P a P a P a a + a a P 3 a 3 P 3 a a + a a a + a a P a + etc, hence E A 3 ϕa 3, ϕ a a + a a a + a a ϕa 3, ϕa a + ϕa a a + ϕa a K 3 A, A, A 3 a, a, a, 3 a, a, a + 3 a, a, a + 3 a, a, a. Proposition 3.. Let B C be a Toeplitz matricial algebra let A, ϕ be a CPSpace. Let T, E be a Toeplitz matricial probability space over B let A a,..., a T, E be a B-valued rom variable. Then M A z n ϕp n,..., P n z n R A z n n Q n,..., nq n z n, in Θ B, where Q n Q n, a + A... A, }{{} n times with Q a, for all,...,. Theorem 3.. Let B C be a Toeplitz matricial algebra let A, ϕ be a CPSpace in the sense of Section.3. Let T, E be a Teoplitz matricial probability space over B, induced by A, ϕ let A a,..., a T, E be a B-valued rom variable, with a,..., a A, ϕ are rom variables. If {a },..., {a } are free in A, ϕ i.e {a,..., a } is a free family in A, ϕ, then R A z ϕa,..., ϕa z + b z + in Θ B, where b B such that n3 n a,..., a }{{},..., 0 z n, n times

31 b TOEPLITZ MATRICIAL R-TRASFORM THEORY 3 a, a, 0, a, a, 0,..., 0, a a, a, 0, a, a, 0,..., 0, a, a, 0, a is even is odd. Proof. By the previous proposition, we have n-th coefficient of R A z, K n A,..., A }{{} n times n Q n,..., nq n. We need to consider Q n, for,...,. Since Q n,...,, we will observe P n ; is gotten from P n, P a, P P n P a + P n a +, for all,...,. Hence Q P a, Q Q, a + Q n Q n, a +, for all,...,. Thus K A a,..., a ϕa,..., ϕa, K A, A a, a, a, a + a, a,..., a, a + a, a a, a

32 3 ILWOO CHO K n A,..., A n a,..., a, Q n, a 3,..., nq n, a +. i If n, then we have that K A a, a,..., a ϕa,..., ϕa. ii If n 3, then, since Q n, a + is a mixed tuple over {a,..., a }, for all,..., {,..., }, we have that K n A,..., A }{{} n times n a,..., a }{{}, 0,..., 0 n times n a,..., a O a,..., a... B. O a,..., a iii If n, then we have following two cases ; <Case > Suppose that, for. Then K A, A a, a, a, a + a, a,..., a, a + a, a a, a a, a, 0, a, a, 0, a 3, a 3, 0,..., 0, a a, a 0 a, a, 0, a 0 a, a 0 a O a, a <Case > Suppose that, for. Then K A, A a, a, 0, a, a, 0,..., 0, a, a, a

33 TOEPLITZ MATRICIAL R-TRASFORM THEORY 33 a, a 0 0 a a, a * O a, a By i, ii iii, we have that R A z ϕa,..., ϕa z + a, a, 0, a, a, 0,..., 0, a + 3 a, a, a, 0,..., 0z , a, 0 z ϕa,..., ϕa z + a, a, 0, a, a, 0,..., 0, a n if is even, + R A z ϕa,..., ϕa z + n3, a, a a,..., a }{{,0,..., 0 z } n, n times a, a, 0, a, a, 0,..., 0, a + 3 a, a, a, 0,..., 0z ϕa,..., ϕa z + if is odd., a z a, a, 0, a, a, 0,..., 0, a + n3 n a,..., a }{{,0,..., 0 z } n, n times, 0 z, a z 3.. C -Evenness.

34 34 ILWOO CHO First, we will consider the B-valued evenness, where B is an arbitrary unital algebra. Let B be a unital algebra let A, E be a CPSpace over B. In [], we defined B-valued evenness we observed some properties of it. In this section, we want to characterize the C -evenness, where B C, a Toeplitz matricial algebra, for. Throughout this section, fix. Definition 3.. Let B be a unital algebra let A, E be a CPSpace over B. We say a B-valued rom variable, x A, E, is an B-valued even element if x satisfies the following cumulant relation ; K n x,..., x 0 }{{} B, whenever n is odd, n times where K n x,..., x c n x b i x... b in x, is a n-th cumulant induced by a B-functional, E : A B, for b i,..., b in B, arbitrary. In [], we used the alternating definition for evenness as follows ; x A, E is even moments E xb x...b n x 0 B, whenever n is odd. Also, in [], we observed that our definition with respect to cumulnats the above definition with respect to moments are equivalent. Theorem 3.3. Also see []Let B be a unital algebra let A, E be a CPSpace over B. If a B-valued rom variable, x A, E, is even, then with R x z n K n x,..., x z }{{} n Θ B n times K n x,..., x }{{} n times where π C even n Êπx b x... b n x µπ, n, C even n def {θ Cn : V θ V is even}.

35 TOEPLITZ MATRICIAL R-TRASFORM THEORY 35 Proof. Remar that x is even if only if that all odd moments vanish. Suppose that π Cn assume that there exists at least one V π satisfies that V is an odd number i.e a bloc, V π, is an odd bloc. i Suppose that such odd bloc V is contained in πo. Then Êπx b x... b n x Êπ W x b x... b n x W πo Êπ V x b x... b n x 0 B. W V πo Êπ W x b x... b n x ii Suppose that such odd bloc V is contained in πi. Then Êπx b x... b n x Êπ W x b x... b n x. W πo Assume that the odd bloc V v,..., v πi is an inner bloc with its outer bloc W 0 w,..., w p πo assume that there exists {,..., p} such that w < v q < w +, for all q,...,. Then the right h side of the above equation is Êπ W0 x b x... b n x W W 0 πo Êπ W x b x... b n x E p b w x... b x E b v x... b v xb + x... b p x 0 B. W W 0 πo Êπ W x b x... b n x So, by i ii, if π Cn contains an odd bloc, then Êπx b x... b n x vanishs. So, K n x,..., x is determind by K n x,..., x π C even n π Cn Êπx b x... b n xµπ, n Êπx b x... b n x µπ, n

36 36 ILWOO CHO + Êπx b x... b n x µπ, n π Cn \ C even n Êπx b x... b n x µπ, n + 0 B. π C even n From now, let B C be a Toeplitz matricial algebra. We will characterize the Toeplitz matricial evenness. Recall that, since C T B B, we ust defined Toeplitz matricial moments Toeplitz matricial cumulants as trivial moments trivial cumulants. Theorem 3.4. Let B C be a Toeplitz matricial algebra let A, ϕ be a CPSpace in the sense of Section.3. Let T, E be a Toeplitz matricial probability space over B, induced by A, ϕ. A B-valued rom variable X x,..., x T, E is B-valued even if only if E X,..., X 0 }{{} B, whenever n is odd. n times Equivalently, X x,..., x T, E is even if only if ϕx... ϕx 0, in C P ϕ l x + 0, in C, for all,...,, where X l+ x,..., x l+ P l+,..., P l+, l. Proof. By an alternating definition of amalgamated evenness, we have that X x,..., x T, E is even if only if all odd moments vanishs. So, E X n 0 B, whenever n is odd. Suppose that n is odd. Then with where E X n P n E P n,..., P n ϕp n,..., ϕp n 0 B 0,..., 0, P n x +, P x P x x +, in A, ϕ, for all,...,. Hence we have that

37 TOEPLITZ MATRICIAL R-TRASFORM THEORY 37 ϕ P n ϕ P n x + 0 C, for all,...,. i Let n. Then equivalently, ϕ P 0 C, for,...,, ϕx 0 C, for all,...,. ii Suppose that n l +, for l. Then ϕ P l+ ϕ P l x + ϕ P l x + 0 C, for all,...,. Example 3.. Let. Suppose that a B C -valued rom variable, X x, x T, E, is even, where T, E is a Toeplitz matricial probability space over B, induced by a CPSpace A, ϕ. Then we have the following relation ; ϕ P l+ ϕx 0 ϕx ϕ x l+ 0 P ϕ l x + 0, in C, for all l. ote that P ϕ l x + 0 ϕ P l x + ϕ P l x 0 ϕ x l x + ϕ P l x 0 ϕ P l x ϕ x l x. Observe that X x, x x x 0 x T, E

38 38 ILWOO CHO X l+ x, x l+ P l+ P l+ 0 P l+ P l+, P l+ x l+ x l x + P l x 0 x l+ Therefore, we can get that ; x l+ P l+ 0 x l+ x l+ P l+ 0 x l+ x l+, x l x + P l x T, E. i if a A, ϕ is an scalar-valued even rom variable in the sense that a A, ϕ is even if only if all odd scalar-valued moments vanish, then a 0 a, 0 T, E is again an even B C 0 a -valued rom variable. ii if a A, ϕ is an scalar-valued even rom variable, then a, a a a T, E is again an even B C 0 a -valued rom variable. iii if a, a A, ϕ are free scalar-valued even rom variables if they a a are identically distributed, then a, a T, E is again an even 0 a B C -valued rom variable, by ii. Corollary 3.5. Let B C be a Toeplitz matricial algebra let A, ϕ be a CPSpace in the sense of Section.3. Let T, E be a Toeplitz matricial probability space over B. i If x A, ϕ is an even scalar-valued rom variable in the sense of ica, See [], then X x, 0,..., 0 T, E is an even B-valued rom variable. ii If x A, ϕ is an even scalar-valued rom variable, then X x,..., x }{{} times T, E is an even B-valued rom variable. iii If x,..., x A, ϕ are free even scalar-valued rom variables if they are identically distributed, then X x,..., x T, E is an even B-valued rom variable. Proof. i We have that

39 TOEPLITZ MATRICIAL R-TRASFORM THEORY 39 P n x n P n 0 B A, ϕ, for all,...,. Since x A, ϕ is even, all odd scalar-valued moments vanish. So, EX n E x n, 0 B,..., 0 B ϕx n, 0,..., 0 B if n is even 0,..., 0 0 B if n is odd EX n if n is even 0 B if n is odd. Thus X is even, in T, E. ii It is easy to see that X n x,..., x n x x x x x O x n x n α x n α x n O x n α x n x n x n, α x n, α 3 x n,..., α x n T, E, where α,..., α C are arbitrary for each n. So, if n is odd, then E X n E x n, α x n, α 3 x n,..., α x n ϕx n, α ϕx n,..., α ϕx n ϕx n, α ϕx n,..., α ϕx n if n is even 0,..., 0 0 B if n is odd, by the scalar-valued evenness of x A, ϕ. Therefore, X T, E is even. x,..., x }{{} times iii Since x,..., x are free each other, by applying the Möbius inversion, we can get the result, similar to ii.

40 40 ILWOO CHO 3.3. Toeplitz Matricial Probability Spaces Induced by A Compressed CPSpace. In [3], Speicher considered a scalar-valued compressed CPSpace compressed cumulants. And, in [], ica observed the compressed scalar-valued R- transforms. In [3], we observed an opreator-valued version of them. In this section, we will consider the relation between Toeplitz matricial probability space T, E, induced by a CPSpace A, ϕ Toeplitz matricial probability space T p, Ep, induced by a compressed CPSpace pap, ϕp ϕ pap of A, ϕ, where p A is a proection satisfying ϕp 0. By Speicher ica, a compressed CPSpace pap, ϕp, where ϕp ϕp ϕ pap, is again a CPSpace, in the sense of Section.3. From now, we will denote a compressed R-transform of rom variable x A, ϕ pap n compressed cumulants of x, as coefficients of the R-transform by R x pap x,..., x, respectively. It is nown the relation between cumulants compressed cumulants, by Speicher ica. Also, in [], if B is a unital algebra A, E is a CPSpace over B, we realized that there is similar relation between compressed operator-valued cumulants operator-valued cumulants, when we tae a proection, p, such that Ep C A B B inv, compared with the scalar-valued case. Definition 3.. Let A, ϕ be a CPSPace in the sense of Section.3 let p A be a proection i.e idempotent, p p, in A, ϕ, in short, p A pro such that ϕp 0. Then pap, ϕ p, with ϕp ϕp ϕ pap, is called a compressed CPSpace by p A pro. As usual, we will denote a Toeplitz matricial probability space, induced by A, ϕ, by T, E T, E, for. Denote a Toeplitz matricial probability space induced by the compressed CPSpace, pap, ϕ p, by T p, Ep T p, E p. The follwong proposition is proved in [] [3] ; Proposition 3.6. See [] [3] Let A, ϕ be a CPSpace let p A pro satisfy ϕp 0, in C. If x,..., x s A, ϕ are scalar-valued rom variables s, then R pap x,...,x s z,..., z s n i,...,i n {,...,s} α i,...,i n z i...z in,

41 TOEPLITZ MATRICIAL R-TRASFORM THEORY 4 in Θ s C, with α i,...,i n n pap x i,..., x in α 0 n α 0 x i,..., α 0 x in α0 n n x i,..., x in, for all i,..., i n {,..., s} n, n, where α 0 ϕp C. Here, n is an n-th cumulant n pap is a compressed n-th cumulant in the sense of Speicher ica See [] [3]. Remar 3.. More generally, in [3], we showed that if B is an arbitrary unital algebra A, E is a CPSpace over B if p A pro satisfies that Ep C A B B inv, then pap, E p is a CPSpace over B, again, where E p Ep E pap. i.e B pap A ow, let x,..., x s A, E be B-valued rom variables s denote trivial cumulant multiplicative bimodule map induced by E those induced by E p by K n K n pap, respectively. Then we have that K n pap px i p,..., px in p c n E p px i p px i p... px in p b 0 cn E b 0x i b 0 x i... b 0 x in Kn symmb0 x i,..., x in, where b 0 Ep B. Therefore, we can get that in Θ s B. R pap : t px p,...,px spz,..., z s R symmep x,...,x s z,..., z s, A Toeplitz probability space T p, Ep, induced by a compressed CPSpace pap, ϕ p, can be understood as an algebra that T p Alg {px p, px p,..., px p T, E : x A, ϕ,,..., }, where T, E is a Toeplitz matricial probability space induced by A, ϕ. i.e if X x,..., x T p, Ep, then there exists xi,..., xi A, ϕ, i such that x,..., x i β i px i p,..., pxi p,

42 4 ILWOO CHO where β i C, for each i, β i px i p,..., px p i β i O β i... O β i O β i px i p,..., β i px p i. px i p pxi p pxi p px i p px i p px i p So, by the above setting, we have that ; Theorem 3.7. Let T p, Ep be a Toeplitz matricial probability space, induced by a compressed CPSpace, pap, ϕ p, of a CPSpace A, ϕ, with p Apro such that ϕp 0. Let X x,..., x,..., X s x s,..., xs T, E be C -valued rom variables s let X px px s p,..., pxs p T p, Ep be C -valued rom variables. Then R T p X,...,X sz,..., z s n α n i,...,i n {,...,s} 0 K n X i,..., X in z i...z in, p,..., px p,..., X s where α 0 ϕp C K n s are cumulant multiplicative bimodule map induced by E : T C. Proof. Consider i,..., i n -th coefficient of R T p X,...,X s coef i,...,i n R T p X,...,X s K T p n X i,..., X i n K T p n px i p,..., px i p,..., pxin p,..., px in p pap n Q i,...,in : p,..., n pap Q i,...,in : p where Q i,...,in : p A n is determined inductively as in Section.,...,, with respect to T p, Ep α0 n n Q i,...,in,..., α0 n n Q i,...,in ;

43 TOEPLITZ MATRICIAL R-TRASFORM THEORY 43 where α 0 ϕp C n is a n-th cumulant induced by ϕ, by the previous proposition. Here, Q i,...,in A n is determined inductively as in Section.,...,, with respect to T, E, α0 n n Q i,...,in,..., n Q i,...,in by the previous paragraph α n n K n X i,..., X in. By using notations in [] [3], we can get that ; Corollary 3.8. Under the same hypothesis with the previous theorem, R T p X z,..., z s R symmb0,...,x s X,...,X s z,..., z s, where b 0 ϕp, 0,..., 0 C Remar 3.. Let s tae a proection P p, 0 A,..., 0 A T, E, where p A, ϕ is a proection i.e p p, in A. i.e P p O p... O p T, E, such that P P, in T. Suppose that ϕp 0. Then EP E p, 0 A,..., 0 A ϕp, 0,..., 0 C. Since ϕp 0, EP C is invertible. So, EP satisfies the conditions in Remar 3.. i.e EP C T C C inv.