arxiv:math/ v1 [math.oa] 6 Feb 2006
|
|
- Nigel Cannon
- 6 years ago
- Views:
Transcription
1 arxiv:math/ v1 [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 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
3 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 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
5 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 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.
7 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 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 π
9 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 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 = β j-th 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}
11 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 Alg{a j0 } j 0-th Alg{b j0 } j 0-th 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 = a i and e j = a j 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 12 ILWOO CHO A j = A j , 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.
13 GRAPH FREE PROBABILITY SPACES 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 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.
15 GRAPH FREE PROBABILITY SPACES 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 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 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
17 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 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
19 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 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
21 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 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 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
23 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 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 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, , [3] D. Shlyakhtenko, otes on Free Probability Theory, 2005, Letcture ote, arxiv:math.oa/ v1. [4] D.Voiculescu, K. Dykemma and A. ica, Free Random Variables, CRM Monograph Series Vol [5] F. Radulescu, Singularity of the Radial Subalgebra of LF and the Pukánszky Invariant, Pacific J. of Math, vol. 151, o , [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, [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, Saint Ambrose Univ., Dep. of Math, Davenport, Iowa, U. S. A address: choillwoo@sau.edu
ILWOO CHO. In this paper, we will reformulate the moments and cumulants of the so-called generating operator T 0 = N
GRAPH W -PROBABILITY ON THE FREE GROUP FACTOR L(F N arxiv:math/0507094v1 [math.oa] 5 Jul 005 ILWOO CHO Abstract. In this paper, we will consider the free probability on the free group factor L(F N, in
More informationarxiv:math/ v1 [math.oa] 6 May 2004
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
More information(a 1,...,a n ) {a,a } n, n N
METHODS AND APPLICATIONS OF ANALYSIS. c 01 International Press Vol. 19, No. 4, pp. 313 340, December 01 001 OPERATORS INDUCED BY PRIME NUMBERS ILWOO CHO Abstract. In this paper, we study operator-theoretic
More informationarxiv:math/ v1 [math.co] 1 Feb 2006
MEASURE THEORY ON GRAPHS arxiv:math/0602025v1 [math.co] 1 Feb 2006 ILWOO CHO Abstract. The main purpose of this paper is to introduce several measures determined by the given finite directed graph. We
More informationFree Probability Theory and Random Matrices
Free Probability Theory and Random Matrices R. Speicher Department of Mathematics and Statistics Queen s University, Kingston ON K7L 3N6, Canada speicher@mast.queensu.ca Summary. Free probability theory
More informationBoolean Inner-Product Spaces and Boolean Matrices
Boolean Inner-Product Spaces and Boolean Matrices Stan Gudder Department of Mathematics, University of Denver, Denver CO 80208 Frédéric Latrémolière Department of Mathematics, University of Denver, Denver
More informationFREE PROBABILITY THEORY AND RANDOM MATRICES
FREE PROBABILITY THEORY AND RANDOM MATRICES ROLAND SPEICHER Abstract. Free probability theory originated in the context of operator algebras, however, one of the main features of that theory is its connection
More informationRECTANGULAR RANDOM MATRICES, ENTROPY, AND FISHER S INFORMATION
J. OPERATOR THEORY 00:0(XXXX), 00 00 Copyright by THETA, XXXX RECTANGULAR RANDOM MATRICES, ENTROPY, AND FISHER S INFORMATION FLORENT BENAYCH-GEORGES Communicated by Serban Stratila ABSTRACT. We prove that
More informationQuantum Symmetric States
Quantum Symmetric States Ken Dykema Department of Mathematics Texas A&M University College Station, TX, USA. Free Probability and the Large N limit IV, Berkeley, March 2014 [DK] K. Dykema, C. Köstler,
More information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More informationBoolean Algebra CHAPTER 15
CHAPTER 15 Boolean Algebra 15.1 INTRODUCTION Both sets and propositions satisfy similar laws, which are listed in Tables 1-1 and 4-1 (in Chapters 1 and 4, respectively). These laws are used to define an
More informationNONCOMMUTATIVE POLYNOMIAL EQUATIONS. Edward S. Letzter. Introduction
NONCOMMUTATIVE POLYNOMIAL EQUATIONS Edward S Letzter Introduction My aim in these notes is twofold: First, to briefly review some linear algebra Second, to provide you with some new tools and techniques
More informationFree Probability Theory and Non-crossing Partitions. Roland Speicher Queen s University Kingston, Canada
Free Probability Theory and Non-crossing Partitions Roland Speicher Queen s University Kingston, Canada Freeness Definition [Voiculescu 1985]: Let (A, ϕ) be a non-commutative probability space, i.e. A
More informationAN ALGEBRAIC APPROACH TO GENERALIZED MEASURES OF INFORMATION
AN ALGEBRAIC APPROACH TO GENERALIZED MEASURES OF INFORMATION Daniel Halpern-Leistner 6/20/08 Abstract. I propose an algebraic framework in which to study measures of information. One immediate consequence
More informationChapter 2: Linear Independence and Bases
MATH20300: Linear Algebra 2 (2016 Chapter 2: Linear Independence and Bases 1 Linear Combinations and Spans Example 11 Consider the vector v (1, 1 R 2 What is the smallest subspace of (the real vector space
More informationPartial cubes: structures, characterizations, and constructions
Partial cubes: structures, characterizations, and constructions Sergei Ovchinnikov San Francisco State University, Mathematics Department, 1600 Holloway Ave., San Francisco, CA 94132 Abstract Partial cubes
More informationStat 451: Solutions to Assignment #1
Stat 451: Solutions to Assignment #1 2.1) By definition, 2 Ω is the set of all subsets of Ω. Therefore, to show that 2 Ω is a σ-algebra we must show that the conditions of the definition σ-algebra are
More informationTridiagonal pairs in algebraic graph theory
University of Wisconsin-Madison Contents Part I: The subconstituent algebra of a graph The adjacency algebra The dual adjacency algebra The subconstituent algebra The notion of a dual adjacency matrix
More informationarxiv: v2 [math.oa] 12 Jan 2016
ON ALGEBRA-VALUED R-DIAGONAL ELEMENTS MARCH BOEDIHARDJO AND KEN DYKEMA arxiv:1512.06321v2 [math.oa] 12 Jan 2016 Abstract. For an element in an algebra-valued -noncommutative probability space, equivalent
More informationare Banach algebras. f(x)g(x) max Example 7.4. Similarly, A = L and A = l with the pointwise multiplication
7. Banach algebras Definition 7.1. A is called a Banach algebra (with unit) if: (1) A is a Banach space; (2) There is a multiplication A A A that has the following properties: (xy)z = x(yz), (x + y)z =
More informationarxiv: v1 [math.ra] 28 Nov 2015
arxiv:151108870v1 [mathra] 28 Nov 2015 On Symmetric Polynomials Ryan Golden Ilwoo Cho September 17 2018 Abstract In this paper we study structure theorems of algebras of symmetric functions Based on a
More informationLeapfrog Constructions: From Continuant Polynomials to Permanents of Matrices
Leapfrog Constructions: From Continuant Polynomials to Permanents of Matrices Alberto Facchini Dipartimento di Matematica Università di Padova Padova, Italy facchini@mathunipdit André Leroy Faculté Jean
More informationFree Subgroups of the Fundamental Group of the Hawaiian Earring
Journal of Algebra 219, 598 605 (1999) Article ID jabr.1999.7912, available online at http://www.idealibrary.com on Free Subgroups of the Fundamental Group of the Hawaiian Earring Katsuya Eda School of
More informationarxiv:math.oa/ v1 22 Nov 2000
arxiv:math.oa/0011184 v1 22 Nov 2000 A module frame concept for Hilbert C*-modules Michael Frank and David R. Larson Abstract. The goal of the present paper is a short introduction to a general module
More informationCONVENIENT PRETOPOLOGIES ON Z 2
TWMS J. Pure Appl. Math., V.9, N.1, 2018, pp.40-51 CONVENIENT PRETOPOLOGIES ON Z 2 J. ŠLAPAL1 Abstract. We deal with pretopologies on the digital plane Z 2 convenient for studying and processing digital
More informationMatricial R-circular Systems and Random Matrices
Instytut Matematyki i Informatyki Politechnika Wrocławska UC Berkeley, March 2014 Motivations Motivations: describe asymptotic distributions of random blocks construct new random matrix models unify concepts
More informationarxiv:math/ v1 [math.oa] 9 May 2005
arxiv:math/0505154v1 [math.oa] 9 May 2005 A GENERALIZATION OF ANDÔ S THEOREM AND PARROTT S EXAMPLE DAVID OPĚLA Abstract. Andô s theorem states that any pair of commuting contractions on a Hilbert space
More informationLinear maps. Matthew Macauley. Department of Mathematical Sciences Clemson University Math 8530, Spring 2017
Linear maps Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 8530, Spring 2017 M. Macauley (Clemson) Linear maps Math 8530, Spring 2017
More informationFREE PROBABILITY THEORY
FREE PROBABILITY THEORY ROLAND SPEICHER Lecture 4 Applications of Freeness to Operator Algebras Now we want to see what kind of information the idea can yield that free group factors can be realized by
More informationGENERALIZED DIFFERENCE POSETS AND ORTHOALGEBRAS. 0. Introduction
Acta Math. Univ. Comenianae Vol. LXV, 2(1996), pp. 247 279 247 GENERALIZED DIFFERENCE POSETS AND ORTHOALGEBRAS J. HEDLÍKOVÁ and S. PULMANNOVÁ Abstract. A difference on a poset (P, ) is a partial binary
More informationORDERED INVOLUTIVE OPERATOR SPACES
ORDERED INVOLUTIVE OPERATOR SPACES DAVID P. BLECHER, KAY KIRKPATRICK, MATTHEW NEAL, AND WEND WERNER Abstract. This is a companion to recent papers of the authors; here we consider the selfadjoint operator
More informationALGEBRAIC GEOMETRY (NMAG401) Contents. 2. Polynomial and rational maps 9 3. Hilbert s Nullstellensatz and consequences 23 References 30
ALGEBRAIC GEOMETRY (NMAG401) JAN ŠŤOVÍČEK Contents 1. Affine varieties 1 2. Polynomial and rational maps 9 3. Hilbert s Nullstellensatz and consequences 23 References 30 1. Affine varieties The basic objects
More informationGROUPS. Chapter-1 EXAMPLES 1.1. INTRODUCTION 1.2. BINARY OPERATION
Chapter-1 GROUPS 1.1. INTRODUCTION The theory of groups arose from the theory of equations, during the nineteenth century. Originally, groups consisted only of transformations. The group of transformations
More information18.312: Algebraic Combinatorics Lionel Levine. Lecture 11
18.312: Algebraic Combinatorics Lionel Levine Lecture date: March 15, 2011 Lecture 11 Notes by: Ben Bond Today: Mobius Algebras, µ( n ). Test: The average was 17. If you got < 15, you have the option to
More informationMATRIX LIE GROUPS AND LIE GROUPS
MATRIX LIE GROUPS AND LIE GROUPS Steven Sy December 7, 2005 I MATRIX LIE GROUPS Definition: A matrix Lie group is a closed subgroup of Thus if is any sequence of matrices in, and for some, then either
More informationFoundations of non-commutative probability theory
Foundations of non-commutative probability theory Daniel Lehmann School of Engineering and Center for the Study of Rationality Hebrew University, Jerusalem 91904, Israel June 2009 Abstract Kolmogorov s
More informationEvery SOMA(n 2, n) is Trojan
Every SOMA(n 2, n) is Trojan John Arhin 1 Marlboro College, PO Box A, 2582 South Road, Marlboro, Vermont, 05344, USA. Abstract A SOMA(k, n) is an n n array A each of whose entries is a k-subset of a knset
More information4 CONNECTED PROJECTIVE-PLANAR GRAPHS ARE HAMILTONIAN. Robin Thomas* Xingxing Yu**
4 CONNECTED PROJECTIVE-PLANAR GRAPHS ARE HAMILTONIAN Robin Thomas* Xingxing Yu** School of Mathematics Georgia Institute of Technology Atlanta, Georgia 30332, USA May 1991, revised 23 October 1993. Published
More informationLinear Algebra. Paul Yiu. Department of Mathematics Florida Atlantic University. Fall 2011
Linear Algebra Paul Yiu Department of Mathematics Florida Atlantic University Fall 2011 Linear Algebra Paul Yiu Department of Mathematics Florida Atlantic University Fall 2011 1A: Vector spaces Fields
More informationMULTIPLICITIES OF MONOMIAL IDEALS
MULTIPLICITIES OF MONOMIAL IDEALS JÜRGEN HERZOG AND HEMA SRINIVASAN Introduction Let S = K[x 1 x n ] be a polynomial ring over a field K with standard grading, I S a graded ideal. The multiplicity of S/I
More informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More informationMonochromatic Forests of Finite Subsets of N
Monochromatic Forests of Finite Subsets of N Tom C. Brown Citation data: T.C. Brown, Monochromatic forests of finite subsets of N, INTEGERS - Elect. J. Combin. Number Theory 0 (2000), A4. Abstract It is
More informationTHE MAXIMAL SUBGROUPS AND THE COMPLEXITY OF THE FLOW SEMIGROUP OF FINITE (DI)GRAPHS
THE MAXIMAL SUBGROUPS AND THE COMPLEXITY OF THE FLOW SEMIGROUP OF FINITE (DI)GRAPHS GÁBOR HORVÁTH, CHRYSTOPHER L. NEHANIV, AND KÁROLY PODOSKI Dedicated to John Rhodes on the occasion of his 80th birthday.
More informationNIL DERIVATIONS AND CHAIN CONDITIONS IN PRIME RINGS
proceedings of the american mathematical society Volume 94, Number 2, June 1985 NIL DERIVATIONS AND CHAIN CONDITIONS IN PRIME RINGS L. O. CHUNG AND Y. OBAYASHI Abstract. It is known that in a prime ring,
More informationvon Neumann algebras, II 1 factors, and their subfactors V.S. Sunder (IMSc, Chennai)
von Neumann algebras, II 1 factors, and their subfactors V.S. Sunder (IMSc, Chennai) Lecture 3 at IIT Mumbai, April 24th, 2007 Finite-dimensional C -algebras: Recall: Definition: A linear functional tr
More informationRené Bartsch and Harry Poppe (Received 4 July, 2015)
NEW ZEALAND JOURNAL OF MATHEMATICS Volume 46 2016, 1-8 AN ABSTRACT ALGEBRAIC-TOPOLOGICAL APPROACH TO THE NOTIONS OF A FIRST AND A SECOND DUAL SPACE III René Bartsch and Harry Poppe Received 4 July, 2015
More informationThe L 3 (4) near octagon
The L 3 (4) near octagon A. Bishnoi and B. De Bruyn October 8, 206 Abstract In recent work we constructed two new near octagons, one related to the finite simple group G 2 (4) and another one as a sub-near-octagon
More informationAcyclic orientations of graphs
Discrete Mathematics 306 2006) 905 909 www.elsevier.com/locate/disc Acyclic orientations of graphs Richard P. Stanley Department of Mathematics, University of California, Berkeley, Calif. 94720, USA Abstract
More informationPart V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory
Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite
More informationBoolean Algebras, Boolean Rings and Stone s Representation Theorem
Boolean Algebras, Boolean Rings and Stone s Representation Theorem Hongtaek Jung December 27, 2017 Abstract This is a part of a supplementary note for a Logic and Set Theory course. The main goal is to
More information0 Sets and Induction. Sets
0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set
More informationTopology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:
Topology Xiaolong Han Department of Mathematics, California State University, Northridge, CA 91330, USA E-mail address: Xiaolong.Han@csun.edu Remark. You are entitled to a reward of 1 point toward a homework
More informationGroups and Symmetries
Groups and Symmetries Definition: Symmetry A symmetry of a shape is a rigid motion that takes vertices to vertices, edges to edges. Note: A rigid motion preserves angles and distances. Definition: Group
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationLet X be a topological space. We want it to look locally like C. So we make the following definition.
February 17, 2010 1 Riemann surfaces 1.1 Definitions and examples Let X be a topological space. We want it to look locally like C. So we make the following definition. Definition 1. A complex chart on
More informationarxiv:math/ v4 [math.oa] 28 Dec 2005
arxiv:math/0506151v4 [math.oa] 28 Dec 2005 TENSOR ALGEBRAS OF C -CORRESPONDENCES AND THEIR C -ENVELOPES. ELIAS G. KATSOULIS AND DAVID W. KRIBS Abstract. We show that the C -envelope of the tensor algebra
More informationNotes 6 : First and second moment methods
Notes 6 : First and second moment methods Math 733-734: Theory of Probability Lecturer: Sebastien Roch References: [Roc, Sections 2.1-2.3]. Recall: THM 6.1 (Markov s inequality) Let X be a non-negative
More informationA classification of sharp tridiagonal pairs. Tatsuro Ito, Kazumasa Nomura, Paul Terwilliger
Tatsuro Ito Kazumasa Nomura Paul Terwilliger Overview This talk concerns a linear algebraic object called a tridiagonal pair. We will describe its features such as the eigenvalues, dual eigenvalues, shape,
More informationfree pros quantum groups QIT de Finetti -
i e free pros QIT de Finetti - @ quantum groups QG INK FP - : FREE DE FINETTI Commun Math Phys 291 473 490 (2009 Digital Object Identifier (DOI 101007/s00220-009-0802-8 Communications in Mathematical Physics
More informationNon-separable AF-algebras
Non-separable AF-algebras Takeshi Katsura Department of Mathematics, Hokkaido University, Kita 1, Nishi 8, Kita-Ku, Sapporo, 6-81, JAPAN katsura@math.sci.hokudai.ac.jp Summary. We give two pathological
More informationCLIQUES IN THE UNION OF GRAPHS
CLIQUES IN THE UNION OF GRAPHS RON AHARONI, ELI BERGER, MARIA CHUDNOVSKY, AND JUBA ZIANI Abstract. Let B and R be two simple graphs with vertex set V, and let G(B, R) be the simple graph with vertex set
More informationMeasure-theoretic unfriendly colorings
Measure-theoretic unfriendly colorings Clinton T. Conley August 26, 2013 Abstract We consider the problem of finding a measurable unfriendly partition of the vertex set of a locally finite Borel graph
More informationIDEAL CLASSES AND RELATIVE INTEGERS
IDEAL CLASSES AND RELATIVE INTEGERS KEITH CONRAD The ring of integers of a number field is free as a Z-module. It is a module not just over Z, but also over any intermediate ring of integers. That is,
More information5 Set Operations, Functions, and Counting
5 Set Operations, Functions, and Counting Let N denote the positive integers, N 0 := N {0} be the non-negative integers and Z = N 0 ( N) the positive and negative integers including 0, Q the rational numbers,
More informationCommutative Banach algebras 79
8. Commutative Banach algebras In this chapter, we analyze commutative Banach algebras in greater detail. So we always assume that xy = yx for all x, y A here. Definition 8.1. Let A be a (commutative)
More informationMeasurable functions are approximately nice, even if look terrible.
Tel Aviv University, 2015 Functions of real variables 74 7 Approximation 7a A terrible integrable function........... 74 7b Approximation of sets................ 76 7c Approximation of functions............
More informationFUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM
FUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM ANG LI Abstract. In this paper, we start with the definitions and properties of the fundamental group of a topological space, and then proceed to prove Van-
More informationA GENERAL THEORY OF ZERO-DIVISOR GRAPHS OVER A COMMUTATIVE RING. David F. Anderson and Elizabeth F. Lewis
International Electronic Journal of Algebra Volume 20 (2016) 111-135 A GENERAL HEORY OF ZERO-DIVISOR GRAPHS OVER A COMMUAIVE RING David F. Anderson and Elizabeth F. Lewis Received: 28 April 2016 Communicated
More informationHAMILTONIAN CYCLES AVOIDING SETS OF EDGES IN A GRAPH
HAMILTONIAN CYCLES AVOIDING SETS OF EDGES IN A GRAPH MICHAEL J. FERRARA, MICHAEL S. JACOBSON UNIVERSITY OF COLORADO DENVER DENVER, CO 8017 ANGELA HARRIS UNIVERSITY OF WISCONSIN-WHITEWATER WHITEWATER, WI
More informationInfinite-Dimensional Triangularization
Infinite-Dimensional Triangularization Zachary Mesyan March 11, 2018 Abstract The goal of this paper is to generalize the theory of triangularizing matrices to linear transformations of an arbitrary vector
More informationMaximal non-commuting subsets of groups
Maximal non-commuting subsets of groups Umut Işık March 29, 2005 Abstract Given a finite group G, we consider the problem of finding the maximal size nc(g) of subsets of G that have the property that no
More informationON THE ISOMORPHISM CONJECTURE FOR GROUPS ACTING ON TREES
ON THE ISOMORPHISM CONJECTURE FOR GROUPS ACTING ON TREES S.K. ROUSHON Abstract. We study the Fibered Isomorphism conjecture of Farrell and Jones for groups acting on trees. We show that under certain conditions
More informationMATHEMATICAL CONCEPTS OF EVOLUTION ALGEBRAS IN NON-MENDELIAN GENETICS
MATHEMATICAL CONCEPTS OF EVOLUTION ALGEBRAS IN NON-MENDELIAN GENETICS JIANJUN PAUL TIAN AND PETR VOJTĚCHOVSKÝ Abstract. Evolution algebras are not necessarily associative algebras satisfying e i e j =
More informationComplete Nevanlinna-Pick Kernels
Complete Nevanlinna-Pick Kernels Jim Agler John E. McCarthy University of California at San Diego, La Jolla California 92093 Washington University, St. Louis, Missouri 63130 Abstract We give a new treatment
More informationTORIC WEAK FANO VARIETIES ASSOCIATED TO BUILDING SETS
TORIC WEAK FANO VARIETIES ASSOCIATED TO BUILDING SETS YUSUKE SUYAMA Abstract. We give a necessary and sufficient condition for the nonsingular projective toric variety associated to a building set to be
More informationIntroduction to Real Analysis Alternative Chapter 1
Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces
More informationWe continue our study of the Pythagorean Theorem begun in ref. 1. The numbering of results and remarks in ref. 1 will
The Pythagorean Theorem: II. The infinite discrete case Richard V. Kadison Mathematics Department, University of Pennsylvania, Philadelphia, PA 19104-6395 Contributed by Richard V. Kadison, December 17,
More informationEndomorphism rings generated using small numbers of elements arxiv:math/ v2 [math.ra] 10 Jun 2006
Endomorphism rings generated using small numbers of elements arxiv:math/0508637v2 [mathra] 10 Jun 2006 Zachary Mesyan February 2, 2008 Abstract Let R be a ring, M a nonzero left R-module, and Ω an infinite
More informationAlgebraic Methods in Combinatorics
Algebraic Methods in Combinatorics Po-Shen Loh 27 June 2008 1 Warm-up 1. (A result of Bourbaki on finite geometries, from Răzvan) Let X be a finite set, and let F be a family of distinct proper subsets
More informationHow many units can a commutative ring have?
How many units can a commutative ring have? Sunil K. Chebolu and Keir Locridge Abstract. László Fuchs posed the following problem in 960, which remains open: classify the abelian groups occurring as the
More informationMATH 423 Linear Algebra II Lecture 3: Subspaces of vector spaces. Review of complex numbers. Vector space over a field.
MATH 423 Linear Algebra II Lecture 3: Subspaces of vector spaces. Review of complex numbers. Vector space over a field. Vector space A vector space is a set V equipped with two operations, addition V V
More information15B. Isometries and Functionals 1
5B. Isometries and Functionals Isometries If the important functions between vector spaces V and W are those that preserve linearity (i.e., linear transformations), then the important functions between
More informationRings and groups. Ya. Sysak
Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...
More informationStone-Čech compactification of Tychonoff spaces
The Stone-Čech compactification of Tychonoff spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto June 27, 2014 1 Completely regular spaces and Tychonoff spaces A topological
More informationON THE SUBGROUPS OF TORSION-FREE GROUPS WHICH ARE SUBRINGS IN EVERY RING
italian journal of pure and applied mathematics n. 31 2013 (63 76) 63 ON THE SUBGROUPS OF TORSION-FREE GROUPS WHICH ARE SUBRINGS IN EVERY RING A.M. Aghdam Department Of Mathematics University of Tabriz
More information(dim Z j dim Z j 1 ) 1 j i
Math 210B. Codimension 1. Main result and some interesting examples Let k be a field, and A a domain finitely generated k-algebra. In class we have seen that the dimension theory of A is linked to the
More information2. Prime and Maximal Ideals
18 Andreas Gathmann 2. Prime and Maximal Ideals There are two special kinds of ideals that are of particular importance, both algebraically and geometrically: the so-called prime and maximal ideals. Let
More informationCorrections to Introduction to Topological Manifolds (First edition) by John M. Lee December 7, 2015
Corrections to Introduction to Topological Manifolds (First edition) by John M. Lee December 7, 2015 Changes or additions made in the past twelve months are dated. Page 29, statement of Lemma 2.11: The
More information3. The Sheaf of Regular Functions
24 Andreas Gathmann 3. The Sheaf of Regular Functions After having defined affine varieties, our next goal must be to say what kind of maps between them we want to consider as morphisms, i. e. as nice
More informationN-WEAKLY SUPERCYCLIC MATRICES
N-WEAKLY SUPERCYCLIC MATRICES NATHAN S. FELDMAN Abstract. We define an operator to n-weakly hypercyclic if it has an orbit that has a dense projection onto every n-dimensional subspace. Similarly, an operator
More informationarxiv: v1 [math.kt] 31 Mar 2011
A NOTE ON KASPAROV PRODUCTS arxiv:1103.6244v1 [math.kt] 31 Mar 2011 MARTIN GRENSING November 14, 2018 Combining Kasparov s theorem of Voiculesu and Cuntz s description of KK-theory in terms of quasihomomorphisms,
More informationPERVERSE SHEAVES ON A TRIANGULATED SPACE
PERVERSE SHEAVES ON A TRIANGULATED SPACE A. POLISHCHUK The goal of this note is to prove that the category of perverse sheaves constructible with respect to a triangulation is Koszul (i.e. equivalent to
More informationDISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS
DISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS AARON ABRAMS, DAVID GAY, AND VALERIE HOWER Abstract. We show that the discretized configuration space of k points in the n-simplex is homotopy equivalent
More informationCommutative Algebra. Andreas Gathmann. Class Notes TU Kaiserslautern 2013/14
Commutative Algebra Andreas Gathmann Class Notes TU Kaiserslautern 2013/14 Contents 0. Introduction......................... 3 1. Ideals........................... 9 2. Prime and Maximal Ideals.....................
More informationEXTENSIONS OF EXTENDED SYMMETRIC RINGS
Bull Korean Math Soc 44 2007, No 4, pp 777 788 EXTENSIONS OF EXTENDED SYMMETRIC RINGS Tai Keun Kwak Reprinted from the Bulletin of the Korean Mathematical Society Vol 44, No 4, November 2007 c 2007 The
More informationMAT 445/ INTRODUCTION TO REPRESENTATION THEORY
MAT 445/1196 - INTRODUCTION TO REPRESENTATION THEORY CHAPTER 1 Representation Theory of Groups - Algebraic Foundations 1.1 Basic definitions, Schur s Lemma 1.2 Tensor products 1.3 Unitary representations
More informationMATH 433 Applied Algebra Lecture 22: Semigroups. Rings.
MATH 433 Applied Algebra Lecture 22: Semigroups. Rings. Groups Definition. A group is a set G, together with a binary operation, that satisfies the following axioms: (G1: closure) for all elements g and
More information7 Matrix Operations. 7.0 Matrix Multiplication + 3 = 3 = 4
7 Matrix Operations Copyright 017, Gregory G. Smith 9 October 017 The product of two matrices is a sophisticated operations with a wide range of applications. In this chapter, we defined this binary operation,
More informationEquational Logic. Chapter Syntax Terms and Term Algebras
Chapter 2 Equational Logic 2.1 Syntax 2.1.1 Terms and Term Algebras The natural logic of algebra is equational logic, whose propositions are universally quantified identities between terms built up from
More informationIntriguing sets of vertices of regular graphs
Intriguing sets of vertices of regular graphs Bart De Bruyn and Hiroshi Suzuki February 18, 2010 Abstract Intriguing and tight sets of vertices of point-line geometries have recently been studied in the
More information