arxiv: v1 [math.oa] 20 Jul 2015

Transcription

1 DE FINETTI THEOREMS FOR A BOOLEAN ANALOGUE OF EASY QUANTUM GROUPS arxiv: v1 [math.oa] 20 Jul 2015 TOMOHIRO HAYASE Abstract. Banica, Curran and Speicher have shown de Finetti theorems for classical and free easy quantum groups. A key of the proof is that each easy quantum group is determined by a category of partitions in the sence of a Tannaka-Krein duality. We define a new kind of category of partitions and associated Boolean analogue of easy quantum groups. Then we prove de Finetti type theorems for them which imply conditional Boolean independence and other distributional restrictions. Our result generalizes Liu s de Finetti theorem. Introduction In the study of distributional symmetries in probability theory, the symmetric group S n and the orthogonal group O n play a central role. By de Finetti theorem and Hewitt-Savage theorem, if the sequence of real random variables has the joint distribution which is stable under the action of S n (resp. O n ), then it is conditionally i.i.d. (resp. conditionally i.i.d. and centered Gaussian). See [Kal05] for details. In noncommutative probability, there are many analogues of the notion of independence. By [Spe97], there exist only three universal independences; the classical independence, the free independence and the Boolean independence. Free probability theory is one of the most developed noncommutative probability theory [VDN92]. The Boolean independence appeared in [Wal73], [SW97]. An easy quantum group is one of Woronowicz s compact matrix pseudo group (See [Wor87]) which are characterized by a tensor category of partitions in the sense of the Tannaka-Krein duality. The groups S n, O n and their free analogue quantum groups A s (n), A o (n) are easy quantum groups. The notion of free quantum groups appeared in [Wan95], [Wan98]. In [KS09], Köstler and Speicher have shown a free analogue of de Finetti theorems. The free de Finetti theorem states that the symmetry given by A s (n) induces the conditional free independence. In [BCS12], Banica, Curran and Speicher have given a unified proof of de Finetti theorems in the classical and free probability by using categories of partitions. In [Liu14], Liu has defined a quantum semigroup (in the sence of [Sol08]) B s (n) and has proved a Boolean de Finetti theorem, which states that the symmetry given by B s (n) characterizes the conditional Boolean independence. Date: July 21, Key words and phrases. Free probability, easy quantum groups, de Finetti, quantum semigroup, quantum invariance, Boolean independence, Bernoulli law. 1

2 2 TOMOHIRO HAYASE The aim of this paper is to find a new kind of categories of partitions and to construct a Boolean analogue of easy quantum groups which generalizes Liu s de Finetti theorem. The relation between the proof of Liu and ours corresponds to that between [KS09] and [BCS12]. The advantage of using partitions lies in the following facts: (1) It linearizes the action and gives a nice perspevtive. (2) We can take other symmetries by visualization. The main difficulty in carrying out this construction is that Boolean independence is a nonunital phenomenon; if A is a -algebra and ψ is a state on A, then there exists no nontrivial pair of unital subalgebras (A 1, A 2 ) which is boolean independent with respect to ψ. Nonunital embeddings of von Neumann algebras present a more delicate problem. This paper consists of 5 sections. Section 1 is devoted to some preliminaries. In section 2, we introduce a new category of partitions and corresponding Boolean analogue of easy quantum groups. We further give its classification and the relation between free quantum groups and them. Considering some quotient C -algebra of them, we get free quantum groups A s (n), A o (n), A b (n) and A h (n). Section 3 provides a detailed exposition of a Boolean analogue of easy quantum groups, in particular Haar states and their coactions on polynomial algebras. Section 4 is devoted to study of operator valued Boolean independence with respect to a nonunital embedding of von Neumann algebras. We extend the notion of a conditional expectation with respect to a nonunital embedding. In section 5, our main results, the Boolean de Finetti type results are stated and proved in Thm.5.8. Let (M, ϕ) be a pair of a von Neumann algebra and a nondegenerate normal state. Assume M is generated by self-adjoint elements (x j ) j N. Let C(G I n), C(G I b n ), C(G I h n ), and C(G I 2 n ) be quantum semigroups defined in Def.2.6, which are Boolean analogues of free quantum groups A s (n), A b (n), A h (n) and A o (n), respectively. Then by Thm.5.8, the following hold. (1) The joint distribution of (x j ) j N is invariant under the coation of (C(G I n)) n N if and only if (x j ) j N is conditionally Boolean i.i.d. over M tail. (2) The joint distribution of (x j ) j N is invariant under the coation of (C(G I b n )) n N if and only if (x j ) j N is conditionally Boolean i.i.d. over M tail and each x j has a conditional shifted Bernoulli distribution. (3) The joint distribution of (x j ) j N is invariant under the coation of (C(G I h n )) n N if and only if (x j ) j N is conditionally Boolean i.i.d. over M tail and every odd moment of each x j vanishes. (4) The joint distribution of (x j ) j N is invariant under the coation of (C(G I 2 n )) n N if and only if (x j ) j N is conditionally Boolean i.i.d. over M tail and each x j has a conditional centered Bernoulli distribution.

3 DE FINETTI THEOREMS FOR BOOLEAN EQG 3 1. Preliminaries Let us define nonunital tail von Neumann algebras. Notation 1.1. (1) For n N, denote by P o n (resp. P o ) the *-algebra of all nonunital polynomials in noncommutative n-variables X 1,..., X n (resp. countably infinite many variables (X j ) j N ). (2) Let M be a von Neumann algebra. Let (x j ) j N be a sequence of self-adjoint elements in M. Denote by ev x P o M the evaluation map ev x (X j ) = x j. Let us denote by M tail the nonunital tail von Neumann algebra, that is, M tail = ev x (P n) o σw, n=1 where P n o = {f P o f is a polynomial in variables X j (j n)}. We define the notion of conditional expectations for nonunital embeddings. Notation 1.2. (1) In this paper, we do not assume that an embedding of -algebras, C -algebras or von Neumann algebras is unital. (2) Let η B A be an embedding of -algebras. A linear map E A B is said to be a conditional expectation with respect to η if it satisfies the following conditions: (a) E(x x) 0 for all x A, (b) E η = id B, (c) E(η(b)x) = be(x), E(xη(b)) = E(x)b for all b B, x A. For an embedding of C -algebras or von Neumann algebras, we say E is a conditional expectation if it is a conditional expectation between -algebras. Remark 1.3. Suppose η N M is an embedding of von Neumann algebras with a conditional expectation E M N. Then E is a unital completely positive map. Similarly as the case of a unital embedding, we can construct the GNS Hilbert N-N bimodule L 2 (M, E) for the pair (η, E). E is said to be nondegenerate if corresponding GNS representation is faithful. Notation 1.4. Let M, η, and E be same as in Rem.1.3. Let (x j ) j J be a family of self-adjoint elements in M. We say (x j ) j J is identically distributed with respect to E if E[x k i ] = E[xk j ] holds for any i, j J, and k N. Let us define the notion of conditional Boolean independence. Definition 1.5. Let η N M be a normal embedding of von Neumann algebras M, N with a normal conditional expectation E M N. (1) Let (M j ) j J be a family of σ-weakly closed -subalgebras of M. We do not assume 1 M M j. Suppose that η(n)m j M j, M j η(n) M j.

4 4 TOMOHIRO HAYASE The family (M j ) j J is said to be Boolean independent with respect to E or conditionally Boolean independent over N if it satisfies E[y 1 y k ] = E[y 1 ] E[y k ], whenever j 1,..., j k J, j 1 j 2 j k, y l M jl, l = 1,..., k, and k N. (2) Let (x j ) j J be a family of self-adjoint elements of M. We denote by N x j o the -algebra of N-coefficient nonunital noncommutative polynomials of x j. Let M j be the σ-weak-closure of N x j o and q j be the unit of M j. The family (x j ) j J is said to be Boolean independent with respect to E if (M j, η j ) j J is Boolean independent with respect to E. Let us review some notations related with partitions of a set. Notation 1.6. (1) A partition of a set S is a decomposition into disjoint, non-empty subsets. Those subsets are called block of the partition. We denote by P (S) the set of all partitions of S. (2) For a partition π of a set S and r, s S, we define r π s if r and s belong to a same block of π. (3) Let S, J be any sets and j Map (S, J). We will denote by ker j the partition of S defined as r ker j s if and only if j(r) = j(s). (4) For π, σ P (S), we write π σ if each block of π is a subset of some block of σ. P (S) is a poset under the relation. We define the Möbius function. See [NS06] for more details. Definition 1.7. Let (P, ) be a finite poset. The Möbius function µ P {(π, σ) P 2 π σ} C is defined by the following relations: for any π, σ P with π σ, µ P (π, ρ) = δ(π, σ), ρ P π ρ σ µ P (ρ, σ) = δ(π, σ), ρ P π ρ σ where if π = σ then δ(π, σ) = 1, otherwise, δ(π, σ) = 0. The following remark is one of the most important property of the Möbius function to prove de Finetti theorems. Remark 1.8. Let Q be a subposet of P which is closed under taking an interval, that is, if π, σ Q, ρ P and π ρ σ then ρ Q. Then for any π, σ Q with π σ, we have µ Q (π, σ) = µ P (π, σ).

5 DE FINETTI THEOREMS FOR BOOLEAN EQG 5 2. Categories of interval partitions and Boolean quantum semigroups In this section, we define a category of interval partitions and the associated notion of Boolean quantum semigroups, which is a Boolean analogue of easy quantum groups. Definition 2.1. We denote by P (k, l) the set of all partitions of the disjoint union [k] [l], where [k] = {1, 2,..., k} for k N. Such a partition will be pictured as 1... k p = P 1... l where P is a diagram joining the elements in the same block of the partition. The tensor product, composition and involution of partitions are obtained by horizontal and vertical concatenation and upside-down turning p q = {PQ} pq = { Q } {closed blocks} P p = {P } where p = {P} and q = {Q} are the pictorial representations of p, q. We denote by P (k) the set P (0, k). If there is no confusion we write π P if π P (k, l) for some k, l N {0}. The Boolean independence is characterized by Boolean cumulants with combinatorics of interval partitions (See Prop.4.10). Notation 2.2. π P (k) is said to be an interval partition of [k] if it contains only consecutive elements. We denote by I(k) the set of all interval partitions of [k]. Let I(k, l) = I(k) I(l) P (k, l). Remark 2.3. p P (k, l) is said to be nondegenerate if its pictorial representation does not have crossing lines. A category of partitions (resp. category of noncrossing partitions) is a collection of subsets P x (k, l) P (k, l) (resp. NC x (k, l) NC(k, l), P x (k, l) P (k, l)), subject to the following conditions from (1) to (6) (resp. from (1) to (5)). (1) It is stable by tensor product. (2) It is stable by composition. (3) It is stable by involution. (4) It contains the unit partition. (5) It contains the duality partition. (6) It contains the symmetry partition /. A full category of partitions is a collection of subsets P x (k, l) P (k, l) with the conditions from (1) to (5). The notion of a full category of partition is a generalization

6 6 TOMOHIRO HAYASE of both the category of partition and the noncrossing partitions (See [BC09], Def. 2.2, Def. 3.11, and Def. 6.3 for definitions). Arbitrary full category of partitions P x contains the partition Therefore, there is no full category of partitions with P x I. Definition 2.4. A category of interval partitions is a collection of subsets I x (k, l) I(k, l), subject to the conditions from (1) to (4) in Remark 2.3. Example 2.5. We denote by I h (k), I 2 (k), I b (k) I(k) the set of all interval partitions with even block size, with block size 2, and with block size 2 of [k], respectively. Let us denote I x (k, l) = I x (k) I x (l) for k = h, 2, and b. Then each I x (x = h, 2, b) is a category of interval partitions. Let us define a Boolean analogue of easy quantum groups. Definition 2.6. Denote by C(G D n ) the universal unital C -algebra generated by self-adjoint elements u (n) ij (1 i, j n) and an orthogonal projection p(n) with the following relations: (2.1) (2.2) u (n) i 1 j 1 u (n) i k j k p (n) = { p(n), π ker j, 0, otherwise, i [n] k π ker i u (n) i 1 j 1 u (n) i k j k p (n) = { p(n), π ker i, 0, otherwise, j [n] k π ker j whenever π D(k), k N. If there is no confusion, we omit the index (n) and just write u i,j and p. There is a bounded linear map C(G D n ) C(G D n ) min C(G D n ) with (u ij ) = n k=1 (p) = p p, (1) = u ik u kj, It is easy to check that is a coproduct, that is, the following invariant holds. (id ) = ( id). Hence C(G D n ) is a compact quantum semigroup with coproduct (See [Sol08] for the definition of a compact quantum semigroup). We call C(G D n ) the Boolean quantum semigroups.

7 DE FINETTI THEOREMS FOR BOOLEAN EQG 7 Remark 2.7. In [Liu14], Liu defined a quantum semigroup B s (n) as the universal unital C -algebra generated by projections p, u i,j (i, j = 1,..., n) and relations such that n j=1 u ij p = p, u ij u kj = 0, if k i, u lj u ij = 0, if l i. There exist a -homomorphism B s (n)/ n i=1 u ij p = p, j = 1,..., n C(G I n) which maps [u ij ] to u ij and maps [p] to p. In [BCS12], Banica, Curran and Speicher have shown de Finetti theorems for easy quantum groups associated with some categories of partitions and of noncrossing partitions. Let us extract their common properties. Definition 2.8. Let D = (D(k, l)) k,l N be a category of partitions (resp. noncrossing partitions, interval partitions). (D1) D is said to be block-stable if D(k) = {π D(k) {V } D( V ) for any V π}. (D2) D is said to be closed under taking an interval if the following hold: if ρ, σ D(k), π P (k) (resp. NC(k), I(k)), and ρ π σ, then we obtain π D(k). We say that D is blockwise if it is block-stable and closed under taking an interval. For a blockwise category of partitions D, let us denote L D = {k N 1 l D(k)}, where 1 k P (k) is the partition which contains only one block {1, 2,..., k}. Set l D = sup{l N 2l L D }. If L D contains some odd number, let us denote m D = sup{m N 2m 1 L D }, and n D = min{m N 2m 1 L D }. Example 2.9. Let us denote by π 1,..., π n the minimal category generated by the unit partition, duality partition, and the partitions π 1,..., π n with the categorical operations (i.e. the tensor product, composition and involution). If D be a block-stable category of (resp. noncrossing) partitions, then L D is a one of the following 4 sets (see [BC09, Thm.2.6, Thm. 3.14] and [Web13, Prop.2.7] for details): (1) L = {2}, producing the category of all pair (resp. noncrossing) partitions P 2 = / P (resp. NC 2 = NC). It correspond to the group O n (resp. the quantum group A o (n)). (2) L = {1, 2, 3,...}, producing the category of all (resp. noncrossing) partitions P =,, / (resp. NC =, ). It correspond to the group S n (resp. the quantum group A s (n)).

8 8 TOMOHIRO HAYASE (3) L = {2, 4, 6,...}, producing the category of all (resp. noncrossing) partitions with blocks of even size P h =, / P (resp. NC h = NC). It correspond to the group H n (resp. the quantum group A h (n)). (4) L = {1, 2}, producing the category of all (resp. noncrossing) partitions with block size one or two P b =, / P (resp. NC b = NC). It correspond to the group B n (resp. the quantum group A b (n)). Moreover, these 8 categories are closed under taking interval, thus automatically they are blockwise. In [BCS12], de Finetti theorems have been proved for these 8 blockwise categories. To find out de Finetti theorems for Boolean independence, let us focus on the blockwise category of interval partitions. Contrary to the classical and the free cases, there exist infinitely many blockwise categories of interval partitions. To see this, we prepare two lemmas. Lemma Let D be a blockwise category of interval partitions. Then the following hold. (1) {2, 4,..., 2l D } L D. (2) {2n D 1, 2n D + 1,..., 2m D 1} L D. (3) m D n D l D. (4) l D < m D + n D if m D < +. Proof. Pick l 0 N such that 2l 0 L D. For any l N, l l 0,... l l l 0 l.... By condition (D2), 1 2l (l 0 l) D(2l 0 ). By condition (D1), we have 2l L D, which proves (1). Assume L D contains some odd number. We have the following inequalities among partitions nD 1... m D n D m 1... m D m 1 2l mD 1 Hence we obtain m L D, which proves (2). To prove (3), let m N with m m D. We can prove that 2(m n D ) L D by the similar discussion as in (1). Hence m n D l D. Taking the supremum, we get (3). Assume m D < +. Then mD 1 1 2nD 1 1 2mD mD 1 1 2(mD +n D ) Because 2m D + 1 / L D, we obtain 2(m D + n D ) / L D, which proves (4).

9 DE FINETTI THEOREMS FOR BOOLEAN EQG 9 Lemma Let l 0, m 0, n 0 N with n 0 m 0, m 0 n 0 l 0 < m 0 +n 0. Define subsets of N as follows. (1) L( ;, n 0 ) = {2, 4, 6,... } {2n 0 1, 2n 0 + 1,... }. (2) L(l 0 ; m 0, n 0 ) = {2, 4, 6,..., 2l 0 } {2n 0 1, 2n 0 + 1,..., 2m 0 1}. (3) L( ) = {2, 4, 6,... }. (4) L(l 0 ) = {2, 4, 6,..., 2l 0 }. Let L be one of 4 sets. For k N, assume there are interval partitions ρ, π, π and σ satisfying following conditions. (1) V, V, W, X L for any blocks V π, V π, W ρ, and X σ. (2) ρ π 1 k π σ. Then we obtain k L. Proof. Fix k N. In the cases L = L( ), L(l 0 ), it is easy to check k L since k must be even. Assume L contain some odd number. As ρ π 1 k, there are blocks W 1,..., W s ρ such that W 1 W r = 1 k. If k is odd number, then at least one of W 1,..., W s is an odd block. Hence k 2n 0 1 if k is an odd number. In particular, we have proved the lemma for L = L( ;, n 0 ). Hence we only need to consider the case L = L(l 0 ; m 0, n 0 ). By π 1 k π σ, there are V 1,... V p, V 1,..., V p π and X σ with V 1 V p 1 k V 1 V p = X. Then we have k < X L. Hence if k and X have the same parity, k < 2m 0 1 if k is odd, and k < 2l 0 if k is even. Assume k and X have the different parity. Then at least one of V 1,..., V p, V 1,..., V p is an odd block. Thus we get k + (2n 0 1) 2l 0 if k is odd and k < 2m 0 if k is even. By m 0 n 0 l 0 < m 0 + n 0, we have k 2m 0 1 if k is odd and k < 2l 0 if k is even. Hence k L(l 0 ; m 0, n 0 ). Example We have L I = L( ;, 1), L Ib = L(1; 1, 1), L I2 = L(1), and L Ih = L( ). Now we have the classification of blockwise categories of interval partitions. Theorem Fix l 0, m 0, n 0 N which satisfy the inequalities in Lemma For each L = L( ), L(l 0 ), L( ;, n 0 ) and L(l 0 ; m 0, n 0 ), there exists a unique blockwise category D of interval partitions with L D = L. Conversely, for any blockwise category D of an interval partition, we have (2.3) L D = { L(l D), L(l D ; m D, n D ), if L D contains no odd number. otherwise. In particular, there exist infinitely many distinct blockwise categories of interval partitions.

10 10 TOMOHIRO HAYASE Proof. For each L = L( ), L(l 0 ), L( ;, n 0 ) and L(l 0 ; m 0, n 0 ), set D(k) = {π I(k) V L for any V π}, k N, respectively. Then D satisfies condition (D1), (D3). We prove condition (D2). Let π I and ρ, σ D such that ρ π σ. Pick any block 1 k π. Then there are π, π I with π = π 1 k π. As ρ π, there are ρ 1, ρ 2, ρ 3 D satisfying ρ = ρ 1 ρ 2 ρ 3, ρ 1 π, ρ 2 1 k, ρ 3 π. We have ρ ρ 1 1 k ρ 3 σ. By Lemma 2.11, we get k L. Since we took an arbitrary block of π, thus π D. Therefore, we have proved (D2). Conversely, let D be any blockwise category of interval partitions. Then (2.3) holds directly by Lemma By Theorem 2.13, we can shorten the definition of {C(G D n )} n N. Corollary Let D be a blockwise category of interval partitions and n N. Then C(G D n ) is generated by self-adjoint elements u ij (1 i, j n) and an orthogonal projection p with the following relations: for any k L D and i, j [n] k, n i=1 n j=1 u ij1 u ijk p = { p, j 1 = = j k, 0, otherwise, u i1 j u ik jp = { p, i 1 = = i k, 0, otherwise. Corollary Let D be a blockwise category of interval partitions. The quotient C -algebra C(G D n )/ < p = 1 > is isomorphic to one of the following free quantum groups: (1) A o (n) if L D = L(1). (2) A s (n) if L D = L(l 0 ; m 0, n 0 ) with (l 0 ; m 0, n 0 ) (1; 1, 1). (3) A h (n) if L D = L(l 0 ) with l 0 2. (4) A b (n) if L D = L(1; 1, 1).

11 DE FINETTI THEOREMS FOR BOOLEAN EQG 11 Proof. For a subset L N, denote by J L the closed ideal of A o (n) generated by the following relations: for k L and i, j [n] k, n i=1 n j=1 u ij1 u ijk = { 1, j 1 = = j k, 0, otherwise, u i1 j u ik j = { 1, i 1 = = i k, 0, otherwise. Let D be a blockwise category of interval partitions. Then we obtain the isomorphism between the quotient C -algebras C(G D n )/ p = 1 = A o (n)/j LD. By the same proof of [BC09, Thm.2.6, Thm. 3.14], we have J LD = J L where L is one of the 4 sets in Example 2.9, which proves the corollary. 3. Haar functionals on Boolean quatnum semigroups The quantum semigroup C(G D n ) is not a compact quantum group in general. It is known that not every quantum semigroup admits a Haar state. Instead of a Haar state, we construct a linear functional with an invariant property on a subspace of C(G D n ). Notation 3.1. We denote by Sn D set the subspace of C(G D n ) linearly generated by the {p} {pu i1 j 1 u ik j k p i, j [n] k, k N}. Then Sn D is a coalgebra with the coproduct. (1) Fix a complete orthonormal basis {e i } i [n] of the n-dimensional Hilbert space l2 n. We denote by Λ(k) n the linear map l2 n k l2 n k Sn D defined by Λ k n(e j1 e jk ) = i [n] k e i1 e ik pu i1 j 1 u ik j k p. By direct calculation, Λ k n is a linear coaction of S D n, that is, (id )Λ k n = (Λ k n id)λ k n. (2) Let Fix(Λ k n) denote the invariant subspace of the coaction Λ k n, that is, Fix(Λ k n) = {ξ l n k 2 Λ k n(ξ) = ξ p}. Denote by Q (k) the orthogonal projection onto Fix(Λ k n). For i, j [n] k, set (3) For k, n N and π D(k), let Q (k) i,j = e i1 e ik, Q (k) (e j1 e jk ). T π (n) = e j1 e jk. j [n] k π ker j

12 12 TOMOHIRO HAYASE (3.1) We omit the index (n) if there is no confusion. As D is closed under taking the tensor product, we obtain the equation for k, n N. Fix(Λ k n) = Span{T π π D(k)}, Proposition 3.2 (The Haar Functionals). For any n N, there exists a unique linear functional h on Sn D satisfying following conditions: (1) h(p) = 1 and h(pu i1 j 1 u ik j k p) = Q (k) i,j for i, j [n] k, and k N. (2) It has the following invariant property: We call h the Haar functional on S D n. Proof. For any π D(k) and i [n] l, Hence (id h) = (h id) = h. Λ k+l n (T π e i1 e il ) = T π Λ (l) n (e i1 e il ). Q (k+l) (T π e i1 e il ) = T π Q (l) (e i1 e il ). Therefore, h is well-defined on S D n. The proof of (2) is immediate. Remark 3.3 (The Weingarten function). For π, σ P (k), let G k,n (π, σ) = T π (n), T σ (n). Since the family (T π (n) ) π D(k) is linearly independent for large n, G k,n is invertible with respect to the convolution product of D(k) for large n. We define the Weingarten function Wk,n D to be its inverse. Let Q(k) be the orthogonal projection onto Fix(Λ k n). Then we have Q (k) i,j = π,σ D(k) π ker i σ ker j Wk,n D (π, σ), for any i, j [n] k and sufficiently large n (see [BCS12] for more details). Since the subposet D(k) I(k) is closed under taking an interval (see the condition (D2)), we have µ I(k) = µ D(k) by Rem.1.7. By [BCS12, Prop.3.4], we have the following estimate. Proposition 3.4 (The Weingarten estimate). For any π, σ D(k), n π Wk,n D (π, σ) = µ I(k)(π, σ) + O( 1 ) (as n ), n where we extend the Mobius function by µ I(k) (π, σ) = 0 when π / σ. Next we consider the coaction of Sn D noncommutative variables. on the -algebra of nonunital polynomials in

13 Notation 3.5. DE FINETTI THEOREMS FOR BOOLEAN EQG 13 (1) For m, n N, define a - homomorphism r nm C(G D m) C(G D n ) by r nm (u (m) ij ) = { u(n) ij, i, j n, δ ij 1 C(G D n ), otherwise, r nm (p (m) ) = p (n). (2) Define a linear map Λ n P o n P o n S D n by Λ n (X j1 X jk ) = i [n] k X i1 X ik pu i1 j 1 u ik j k p. We define a linear map Ψ n P o P o S D n by Ψ n (f) = (id r nm ) Λ m (f), for f Pm o P. o Then by direct calculation, each Ψ n is a linear coaction of Sn D on P, o that is, (Ψ n id) Ψ n = (id ) Ψ n. See Notation 1.1 for definitions of P o n and P o. (3) Denote by P Ψn the fixed point algebra of the coaction Ψ n, that is, P Ψn = {f P o f = f p}. (4) Define a linear map E n P o P o by E n = (id h) Ψ n. Proposition 3.6. The following hold: (1) Ψ n is P Ψn -P Ψn bilinear map : for each f, h P Ψn, g P, Ψ n (fg) = (f id)ψ n (g), Ψ n (gf) = Ψ n (g)(f id). (2) E n is a conditional expectation with respect to the embedding P Ψn P o (see Definition 1.2). Proof. By (3.1), it follows that P Ψn = Span{f π P π D(k), k N}, where f π = For any j [n] k, π D(l) and k, l N, X j1 X jk. j [n] k π ker j Ψ n (X i1 X ik f π ) = Ψ n (X i1 X ik )(f π id), by relations (2.1). By symmetry, we have proved that Ψ n is a P Ψn -P Ψn bilinear map. Next, we prove that E n is a conditional expectation. E n is also P Ψn -P Ψn bilinear map since so is Ψ n. Clearly we have E n [f] = (id h)(f p) = f for any f P Ψn.

14 14 TOMOHIRO HAYASE The proof is completed by showing that Ψ n E n = E n [ ] p. Let ν be the natural isomorphism S D n C S D n. Then Ψ n E n [f] = (id ν) (Ψ n id) (id h) Ψ n = (id ν) (id id h) (Ψ n id) Ψ n. As Ψ n is a linear coaction, the right-hand side is equal to (id ν) (id id h) (id ) Ψ n. By the invariant property of the Haar functional h, this is equal to to (id ν) ι (id h) Ψ n, where ι is the embedding P C P Sn D C; ι(f λ) = f p λ. By the easy computation, this is equal to E n [ ] p. In [BCS12], the conditional expectaion onto the tail algebra is approximated by conditional expectations (E n ) n N onto fixed point von Neumann algebras, to prove free de Finetti theorems. In our setting, conditional expectations (E n ) n N is only defined on the -algebra of polynomals. To prove Boolean de Finetti theorems, we need not consider the normal extension of (E n ) n N (see Prop 5.5 for details). 4. Amalgamated Boolean product As far as the author knows, a construction of Boolean analogue of amalgamated free product of von Neumann algebras has never been at least explicitly given in literature. Hence in this section we construct a Boolean independent family of von Neumann algebras with respect to a nodegenerate conditional expectation. Let (M j ) j J be a family of von Neumann algebras having normal embeddings (η j ) j J of common σ-finite von Neumann algebra N. Throughout this section we suppose that each embedding has a normal conditional expectation E j M j N with faithful GNS representation. We will construct the amalgamated boolean product of the family (M j, η j, E j ) j J over N. Pick a faithful normal state ϕ on N. Then each pair (M j, ϕ E j ) has a faithful GNS representation. Using this GNS representation, we consider M j acting on L 2 (M j, ϕ E j ). Put H j = L 2 (M j, ϕ E j ) and Hj o = H j L 2 (N, ϕ). Define the amalgamated Boolean product of (H j ) j J over N by H = L 2 (N, ϕ) Hj o. j J Let q j B(H) be the orthogonal projection onto the closed subspace L 2 (N, ϕ) H o j H. Set an embedding ι j M j B(H) by ι j (x) = xq j for each j J. We define the amalgamated Boolean product of von Neumann algebras over N by M = ( ι j (M j )). j J For i j, consider the product q i q j. Then this element is the orthogonal projection onto the closed subspace L 2 (N, ϕ) H and it is independent of the choice of i, j.

15 DE FINETTI THEOREMS FOR BOOLEAN EQG 15 We denote this by e. We construct the embedding η N B(H) as follows. For b N, we define η(b) = π N (b)e + ι j (b)(q j e), j J where π N N B(L 2 (N, ϕ)) is the GNS representation. Note that the sum converges in the strong operator topology. Then the left and right multiplications of η(n) on M j are those of η j (N); η(b)ι j (y) = ι j (η j (b)y), ι j (y)η(b) = ι j (yη j (b)). By definition, e η(n). Since ϕ is faithful, the -homomorphism N η(n)e; b η(b)e gives a -isomorphism Proposition 4.1. We have N η(n)e. η(n)e = eme. For y M, let E[y] N be the element uniquely determined by η(e[y])e = eye. Then E is the normal conditional expectation with respect to the embedding η such that the following hold. (1) E ι j = E j. (2) The family (ι j (M j )) j J is Boolean independent with respect to E. (3) E has the faithful GNS representation. Proof. The inclusion η(n)e eme is trivial. At first we have for each y M j, j J. If i j, eι j (y)e = η(e j [y])e ι i (x)ι j (y) = ι i (x)q i q j ι j (y) = ι i (x)eι j (y). Therefore for any indices j 1, j 2,..., j k J with j 1 j 2... j k, eι j1 (y 1 ) ι jk (y k )e = (eι j1 (y 1 )e)(eι j2 (y 2 )e)... (eι jn (y n )e) Hence we have eme = η(n)e. Moreover, = η j1 (E j1 [y 1 ]) η jk (E jk [y k ])e = η(e j1 [y 1 ] E jk [y k ])e. E[ι j1 (y 1 ) ι jk (y k )] = E j1 [y 1 ] E jk [y k ], whenever j 1, j 2,..., j k J, j 1 j 2... j k. Hence E satisfies the condition (i), (ii). It is immediate from the definition of E that E is a normal conditional expectation with respect to η with the faithful GNS representation.

16 16 TOMOHIRO HAYASE Definition 4.2. We write N j J (H j, M j, η j, E j ) = ( N j J H j, N j J M j, N j J η j, N E j ) = (H, M, η, E), j J and call it the amalgamated Boolean product of (H j, M j, η j, E j ) j J over N. Proposition 4.3. Let η N M be a normal embedding of σ-finite von Neumann algebras with a normal conditional expectation E. (M j ) j J be a family of σ weaklyclosed subalgebras of M. Suppose the following conditions hold: (1) η(n)m j M j, M j η(n) M j. (2) E has the faithful GNS representation. (3) (M j ) j J generates M. If (M j ) j J is Boolean independent with respect to E, then M is isomorphic to ( N ) j J M j. Example 4.4. (1) Let N M be a unital embedding of σ-finite von Neumann algbras with a faithful normal conditional expectation. Let M 1 = M, e be its basic construction. Then we have M N N = M 1. (2) Let (M j, ϕ j ) j J be a family of von Neumann algebras and faithful normal states. Consider the unital embeddings C M j. Then we have C j J M j = B( C L 2 (M j, ϕ j )). j J In free probability (resp. operator valued free probability), cumulants (resp. operator valued cumulants) characterize free independence (resp. free independence with amalgamation) [NS06] [Spe98]. We define the operator valued Boolean cumulants. They combinatorially characterize conditional Boolean independence. Single-variate boolean cumulants are defined in [SW97]. As far as the author knows, multivariate boolean cumulants first appeared in [Leh04]. Throughout the rest of this section, we suppose N M is an embedding of von Neumann algebras (not necessarily unital) with a normal conditional expectation E. See [Leh04, Defn. 1.8] for the definition of the exchangeability system. The notion of an operator valued exchangeability system is obtained by replacing the complex field C by a subalgebra N M and the state by the conditional expectation E onto N. Notation 4.5. Denote by (U, Ẽ) the amalgamated Boolean product (( N) n=1 M, ( N ) n=1 E) of countably infinite many copies of (M, E). Let us denote ι n M U the inclusion which maps M to its n-th copy in U. Then B a = (U, Ẽ, (ι n) n N ) is an

17 DE FINETTI THEOREMS FOR BOOLEAN EQG 17 operator valued exchangeability system for (M, E). Let us define partitioned mixed moments by E Ba,π [y 1,..., y k ] = Ẽ[ι j 1 (y 1 )... ι jk (y k )], where j [k] [n] with ker j = π. We omit the index B a if there is no confusion, and write E π. Let (M j ) j J be a family of σ-weakly closed subalgebras of M(not necessarily 1 M M j ). Suppose that for any j J, (4.1) NM j M j, M j N M j. (M j ) j J is said to be B a -independent if the following condition holds: for any k N, y l M jl, j l J, l = 1,..., k and π P (k), E π [y 1,..., y k ] = E π ker j [y 1,..., y k ]. Remark 4.6. By the construction of the exchangeability system, it is easy to see that (M j ) j J is B a -independent if and only if it is Boolean independent with respect to E. We define operator valued cumulants by replacing the state by the conditional expectation.(see [Leh04, Defn. 2.6] for the definition in the case of C-valued noncommutative probability space). Definition 4.7. Denote by (K Ba π ) π P the cumulants given by the operator valued exchangeability system B a, that is, K Ba π [y 1,..., y k ] = π P (k) π σ E σ [y 1,..., y k ]µ P (k) (π, σ), and we call them Boolean cumulants with respect to E. If there is no confusion, we denote by Kπ E the cumulant Kπ Ba. Let us denote by Kn E the cumulant K1 E n for n N. Similar to C-valued exchangeability case, corresponding independence can be characterized by vanishing of mixed cumulants. Theorem 4.8. Let (M j ) j J be a family of σ-weakly closed -subalgebras of M with (4.2). Then (M j ) j J is Boolean independent with respect to E if and only if K E π [y j1, y j2,..., y jk ] = 0, whenever π / ker j, j J k, k N, y j M j, and j J. Proof. By the general result of Lehner [Leh04], we can see that the vanishing of mixed cumulants is equivalent to the B a -independence. By Rem.4.6, that is also equivalent to Boolean independence with respect to E, which proves the theorem. Notation 4.9. Let (S, ) be a finite totally ordered set and we write S = {s 1 < s 2 < < s n }. For a family (a s ) s S of elements in M, we denote by s S a s the ordered product s S a s = a s1 a sn.

18 18 TOMOHIRO HAYASE We have the following formula of Boolean cumulants. Proposition For π P (k), y 1,..., y k M and k N, Kπ E V π K E [y 1,..., y k ] = [y (V ) 1,..., y k ], if π I(k), (4.2) 0, otherwise, where K E [y (V ) 1,..., y k ] = Km[y E j1,..., y jm ] for V = {j 1 < j 2 <... < j m }. For an interval partition π and blocks V, W π, we write V W if k l for any k V and l W. The set π is a totally ordered set under the relation. Moreover, we have for y 1,..., y k M and k N. E[y 1 y k ] = Kπ E [y 1,..., y k ], π I(k) Proof. For π I(k), y 1,..., y k and k N, it is easy to see that E π [y 1,..., y k ] = V π E[ y j ]. Hence by the same proof of [Leh04, Prop.4.10], we have the factorization rule in (4.2). By the same proof as in [Leh04, Prop.4.11], we obtain the rest of (4.2). We obatain E[y 1 y k ] = π P (k) Kπ E [y 1,..., y k ] by the definition of cumulants Defn.4.7, which completes the proof. Corollary Then for σ I(k), k N, we have the moments-cumulants formula (4.3) K E σ [y 1,..., y k ] = π I(k) π σ Proof. This is followed by Prop j V E (π) [y 1,..., y k ]µ I(k) (π, σ). Example A self-adjoint element x M is said to be centered Bernoulli, shifted Bernoulli with respect to E if for any b 1,..., b k 1 N {1 M } and k N, the following hold, respectively. E[xb 1 xb 2 b k 1 x] = E[xb 1 xb 2 b k 1 x] = Kπ E [xb 1, xb 2,..., x], π I 2 (k) Kπ E [xb 1, xb 2,..., x]. π I b (k) Suppose N = C1 M and E is a normal state on M. Let x be a self-adjoint element in M. (1) The distribution of x with respect to E is the centered Bernoulli distribution if and only if for some σ 0. x δ σ + δ σ 2

19 DE FINETTI THEOREMS FOR BOOLEAN EQG 19 (2) The distribution of x is the shifted Bernoulli distribution if and only if for some α, β > 0. x αδ α + βδ β α + β Corollary Let (x j ) j J be a family of self-adjoint elements in M. Then (x j ) j J is Boolean independent identically distributed with respect to E if and only if E[x j1 b 1 x j2 b 2 b k 1 x jk ] = π I(k) π ker j K E π [x 1 b 1, x 1 b 2,..., x 1 ] for any b 1,, b k N {1 M }, j J k, k N, and a j M j, and j J. Proof. Thm.4.8 and the vanishing of cumulants for non-interval partitions (see Prop.4.10) proves the corollary. 5. Boolean De Finetti theorems Let (M, ϕ) be a pair of von Neumann algebra and normal state with faithful GNS representation and consider an infinite sequence (x j ) j N. We may assume M B(H), Ω H is the cyclic vector for M, and ϕ is implemented by Ω. Throughout this section we suppose ev x (P ) o is σ-weakly dense in M, where ev x is the evaluation map(see Notation 1.1. for the definition). Definition 5.1. We say that the joint distribution of (x j ) j N with respect to ϕ is G D -invariant if it is invariant under the coactions of (C(G D n )) n N, that is, holds for any n N. (ϕ ev x id) Ψ n = ϕ ev x p At first we show the purely combinatorial part of Boolean de Finetti theorems. This proposition is a Boolean analogue of [BCS12, Prop 4.3]. Proposition 5.2. Suppose (x j ) j J is Boolean independent identically distributed with respect to some ϕ-preserving conditional expectation E M N, and K E k [x 1, x 1,..., x 1 ] = 0, for all k / L D. Then its joint distribution with respect to ϕ is G D -invariant.

20 20 TOMOHIRO HAYASE Proof. By the moment cumulant formula and the relations (2.1), for any j [n] k and k N, (ϕ ev x id) Ψ n (X j1 X jk ) = i [n] k ϕ(x i1 x ik ) pu i1 j 1 u ik j k p = i [n] k π D(k) π ker i K (π) E [x 1,..., x 1 ] pu i1 j 1 u ik j k p = K (π) E [x 1,..., x 1 ] pu i1 j 1 u ik j k p π D(k) i [n] k π ker i = π D(k) π ker j K (π) E [x 1,..., x 1 ] p = ϕ ev x (X j1 X jk ) p. Next, we prove that G D -invariance implies the existence of the normal conditional expectation onto the tail algebras. This construction was motivated by [Liu14]. Lemma 5.3. Let e tail B(H) be the orthogonal projection onto the closed subspace M tail Ω (see Notation 1.1 for the definition of M tail ). If the joint distribution of (x j ) j N is G D -invariant, then E tail [y] = e tail y e tail (y M) is a normal conditinal expectation onto M tail with a faithful GNS representation, with respect to the embedding M tail M. In particular, M tail = e tail Me tail. Proof. We can construct the following representation of C(G D n ). Let v 1,..., v 2n be the natural complete orthonormal system of the 2n-dimensional Hilbert space l 2 2n. Set v k = v k+2n for all k Z. Denote P (v) by the orthogonal projection onto Cv. Let (5.1) (5.2) U ij = P (v 2(i+j) 3 + v 2(j i)+2 ), P = P (v 1 + v v 2n ). Then π u ij U ij, p P defines a representation of C(G D n ). Hence by [Liu14, Lemma 6.5.], the G D -invariance implies: (5.3) ϕ(x m 1 i 1 x m k i k ) = ϕ(x m 1 1 xm k k ), whenever i 1 i 2 i k and m 1,..., m k N.

21 DE FINETTI THEOREMS FOR BOOLEAN EQG 21 Therefore, the same proof as in [Liu14] remains valid for G D -invariance: the - endomorphism sh M M ; sh(x j ) = x j+1 is well-defined on M, E tail [y] = w- lim n sh n (y) exists for any y M and E is a ϕ-preserving normal conditional expectation onto M tail. By [Liu14], the equation 5.3 implies that ϕ(y 1 E tail [y 2 ]y 3 ) = ϕ(e tail [y 1 ]y 2 E tail [y 3 ]), for any y 1, y 2, y 3 M. As ϕ has a faithful GNS representation, E tail [y] = e tail y e tail, for any y M. Hence e tail be tail = b for any b M tail. Let q be the unit of M tail. Then q = E tail [q] = e tail q e tail. As e tail 1 M e tail = e tail, e tail is a projection in M tail. Therefore, q = e tail. Thus M tail = E tail (M) = e tail Me tail. Remark 5.4. Suppose the joint distribution of (x j ) j N is G D -invariant. Then E n preserves ϕ ev x. Hence for any f P o, e n ev x (f)e n = ev x (E n (f))e n, where e n is the orthogonal projection onto ev x (P Ψn )Ω. In [BCS12], a noncommutative martingale convergence theorem of cumulants plays an important role in the proof of de Finetti theorems. Since ϕ is not faithful, we modify this convergence theorem. Proposition 5.5. Let (B n ) n N be a decreasing sequence of -subalgebras of P o, and set B = ev x (B n ). n N We suppose the following conditions: (1) There is a ϕ ev x preserving conditional expectation E n P o B n for each n N. (2) B Ω = M tail Ω. Let e n be the orthogonal projection onto ev x (B n )Ω. Then we have s- lim ev x (E π n n[f 1,..., f k ])e n = E (π) tail [f 1(x),..., f k (x)], s- lim ev x (K En n π [f 1,..., f k ])e n = K E tail π [f 1 (x),..., f k (x)], whenever π I(k), k N, and f 1,..., f k P o.

22 22 TOMOHIRO HAYASE Proof. For any π I(k), ev x (En[f π 1,..., f k ])e n = e n E n (V ) [f 1,..., f k ]e n. V π By condtition (ii), s-lim n e n = e tail. Hence we have strong convergence of mixed conditional expectations. The strong convergence of mixed cumulants follows from the fact that mixed cumulants are linear combination of mixed conditional expectations. By the same proof as in [BCS12, Prop.4.7], we have the following lemma. Lemma 5.6. Assume the joint distribution of (x j ) j J is G D -invariant. Then for any π D(k) and sufficiently large n, En[X π 1,..., X 1 ] = 1 n π X i1 X i2 X ik. i [n] k π ker i Lemma 5.7. Let M be a von Neumann algebra. Fix a nonzero projection e M. Set a conditional expectation E M N = eme by E(y) = eye. Then (5.4) K E Kπ E π [y 1,, y l b, y l+1,, y k ] = [1,l] [y 1,..., y l ]bk E π [l+1,k] [y l+1,..., y k ], k / k + 1, π 0, otherwise, whenever b N, y 1,..., y k M, π I(k) and l < k. Proof. K E 2 [y 1 b, y 2 ] = E[y 1 by 2 ] E[y 1 b]e[y 2 ] = 0. Let m 3. Assume 5.4 holds for any π whose blocks have size less than m. Then K E m[y 1, y l b, y l+1,, y m ] = E[y 1... y l by l+1... y m ] π I(m),π 1 m K E π [y 1,, y l b, y l+1,, y m ] = E[y 1... y l ]be[y l+1... y m ] Kσ E [y 1,, y l ]bk (ρ) E [y l+1,, y m ] σ I(l) ρ I(m l) = 0. Hence if the size of each block in a interval partition π is less than or equal to m, then 5.4 is satisfied. The induction on m proves the lemma. Now we are prepared to prove our main theorem, de Fintetti theorems for quantum semigroups C(G D ). Theorem 5.8. Let (M, ϕ) be a pair of von Neumann algebra and normal state with faithful GNS representation. Assume M is generated by self-adjoint elements (x j ) j N.

23 DE FINETTI THEOREMS FOR BOOLEAN EQG 23 Let D be a blockwise category of interval partitions. If the joint distribution of (x j ) j N is G D -invariant if and only if the following hold. (1) (x j ) j N is Boolean independent identically distributed with respect to E tail. (2) K E tail k [x 1 b 1, x 1 b 2,..., x 1 ] = 0 for all k / L D, b 1,, b k M tail {1}. In particular, if the above equaivalent conditions are satisfied for one of D = I 2, I b and I h, then the following hold: (a) x 1 has a conditional centered Bernoulli distribution if D = I 2. (b) x 1 has a conditional shifted Bernoulli distribution if D = I b. (c) Every odd moments of x 1 vanish if D = I h. Proof. By Prop. 5.2, condition (2) implies condition (1). Assume (1). At first, we prove (5.5) E tail [x j1 x jk ] = σ D(k) σ ker j K E tail σ [x 1,..., x 1 ], for any j 1,..., j k J, k N. By Remark 3.3 and Lemma 5.6, E n [X j1 X j2 X jk ] = X i1 X i2 X ik Q (k) ij i [n] k = X i1 X i2 X ik W k,n (π, σ) i [n] k π,σ D(k) π ker i,σ ker j = σ D(k) σ ker j = σ D(k) σ ker j π D(k) π D(k) ( 1 n π X i1 X i2 X ik )n π W k,n (π, σ) i [n] k π ker i E π n[x 1,..., X 1 ]n π W k,n (π, σ), for sufficiently large n. By the Weingarten estimate (3.4) and the moments-cumulants formula (4.3), we have ev x (E n [X j1 X j2 X jk ])e n σ D(k) σ ker j = ev x (E n [X j1 X j2 X jk ])e n C n, σ D(k) σ ker j for some constant C > 0. For any n 0 N, 1 n π ev x (Kσ En [X 1,..., X 1 ])e n π D(k) ev x (E π n[x 1,..., X 1 ])µ I(k) (π, σ)e n x i1 x i2 x ik 0 (as n ). i [n] k [n 0,n] k

24 24 TOMOHIRO HAYASE Thus we have Hence lim e nx j1 x j2 x jk Ω = lim (ev x E n [X j1 X j2 X jk ]Ω) M tail Ω. n n B Ω = M tail Ω. By the modified martingale convergence theorem 5.5, we obtain the desired equation (5.5). The proof is completed by showing that for any b 0,..., b k M tail {1}, j 1,..., j k J, and k N, (5.6) E tail [x j1 b 1 x j2 b 2 b k 1 x jk ] = σ D(k) σ ker j K E tail σ [x 1 b 1, x 1 b 2,..., x 1 ]. We prove this by the induction on #{l [k 1]; b l 1}. Pick any m N {0}, m k 1. Assume that (5.6) is proved in the case that #{l [k 1]; b l 1} < m. Consider the case #{l [k 1]; b l 1} = m. Let r = max{l [k 1]; b l 1}. Then by Lemma 5.7 and the condition (D1), K E tail σ [x 1 b 1,..., x 1 b r,..., x 1 ] σ D(k),σ ker j = σ D(k),σ ker j r/ σ r+1 K E tail σ [1,r] [x 1 b 1,..., x 1 ]b r K E tail σ [r+1,k] [x 1 b r+1,..., x 1 ] = KEtail π [x 1 b 1,..., x 1 ]b r KEtail ρ [x 1 b r+1,..., x 1 ] π D(r) ρ D(k r) π ker j [1,r] ρ ker j [r+1,k] = E tail [x j1 b 1 x jr ]b r E tail [x jr+1 b r+1 x jk ] = E tail [x j1 b 1 x j2 b 2 b k 1 x jk ]. By the induction on m, (5.6) holds for any b 0,..., b k M tail {1}, which proves the theorem. Remark 5.9. The proof of Thm.5.8 has been devided into two steps because there exist b 1,..., b k 1 P Ψn with E n [X j1 b 1 X j2 b 2 b k 1 X jk ] /= i [n] k X i1 b 1 X i2 b 2 b k 1 X ik pu i1 j 1... u ik j k p, since Ψ n is not an endomorphism. To see this, consider the case n = 3, k = 2, j 1 = j 2 = 3 and b 1 = f 12 P Ψ 3. Assume E 3 [X 3 f 12 X 3 ] = i [3] 2 X i1 f 12 X i2 pu i1,3u i2,3p.

25 DE FINETTI THEOREMS FOR BOOLEAN EQG 25 As the set {X j1 X j2 X j3 X j4 j k = 1, 2, 3 and k = 1,..., 4} is linearly independent, it follows that pu 1,3 ( u 1,j u 1,j )u 3,3 p = pu 1,3 u 3,3 p. j=1,2,3 Let (U i,j (i, j = 1, 2, 3), P ) be the representation (5.1) of C(G D 3 ). Then we have We obtain a contradiction. P U 1,3 ( U 1,j U 1,j )U 3,3 P = 2 j=1,2,3 3 P, P U 1,3 U 3,3 P = 0. Acknowledgements We would like to thank Yasuyuki Kawahigashi for continuing support. We feel deep graduate for Takahiro Hasebe for useful discussion and comments for the first version of our preprint. We would like to express my gratitude to Moritz Weber for incisive comments and valuable advice. References [BC09] T. Banica, and R. Speicher, Liberation of orthogonal Lie groups, Adv. Math. 222(2009), no.4, pp [BCS12] T. Banica, S. Curran and R. Speicher, De Fintetti theorems for easy quantum groups, Ann. Probab, 40 (2012), pp [Kal05] O. Kallenberg, Probabilistic Symmetries And Invariance Principles, Probability and Its Applications, Springer, [KS09] C. Köstler and R. Speicher, A noncommutative de Finetti theorem: Invariance under quantum permutations is equivalent to freeness with amalgamation, Comm. Math. Phys. 291 (2009), no. 2, pp [Leh04] F. Lehner, Cumulants in noncommutative probability theory I. Noncommutative Exchangeability Systems, Math. Z. 248(2004), no.1, [Liu14] W. Liu, A noncommutative De Finetti theorem for boolean independence, arxiv preprint arxiv: (2014). [NS06] A. Nica and R. Speicher, Lectures on the Combinatorics of Free Probability, no. 335 in London Mathematical Society Lecture Note Series, Cambridge University Press, [Sol08] P.M.So ltan, Quantum families of maps and quantum semigroups on finite quantum spaces, J. Geom. Phys., 59(2009), no.3, pp [Spe97] R. Speicher, On universal products, Fields Inst. Commun., 12(1997), pp [Spe98] R. Speicher, Combinatorial theory of the free product with amalgamation and operatorvalued free probability theory., Mem. Am. Math. Soc., 627 (1998), p. 88. [SW97] R. Speicher and W. Reza, Boolean convolution, Fields Inst. Commun., 12(1997), pp [VDN92] D. Voiculescu, K. Dykema, and A. Nica, Free Random Variables, vol. 1 of CRM Monograph Series, American Mathematical Society, Rhode Island, [Wal73] W. von Waldenfels, An approach to the theory of pressure broadening of spectral lines, vol. 296 of Lecture Notes in Mathematics, Springer, Heidelberg (1973), pp [Wan95] S. Wang, Free products of compact quantum groups, Comm. Math. Phys., 167 (1995), pp

26 26 TOMOHIRO HAYASE [Wan98] S. Wang, Quantum symmetry groups of finite spaces, Comm. Math. Phys., 195 (1998), pp [Web13] M. Weber, On the classification of easy quantum groups, Adv. Math.,245 (2013), pp [Wor87] S. Woronowicz, Compact matrix pseudogroups, Comm. Math. Phys., 111 (1987), pp Graduate School of Mathematics, University of Tokyo, Komaba, Tokyo , Japan address: