De Finetti Theorems for Braided Parafermions

The classical de Finetti theorem in probability theory relates symmetry under the permutation group with the independence of random variables. This result has application in quantum information. Here we study states that are invariant with respect to a natural action of the braid group, and we emphasize the pictorial formulation and interpretation of our results. We prove a new type of de Finetti theorem for the four-string, double-braid group acting on the parafermion algebra to braid qudits, a natural symmetry in the quon language for quantum information. We prove that a braid-invariant state is extremal if and only if it is a product state. Furthermore, we provide an explicit characterization of braid-invariant states on the parafermion algebra, including finding a distinction that depends on whether the order of the parafermion algebra is square free. We characterize the extremal nature of product states (an inverse de Finetti theorem).


Introduction
1.1. Background. The famous de Finetti theorem in classical probability theory clarifies the relationship between permutation symmetry and the independence of a sequence of random variables [dF31,dF37,EL55]. Consequently an infinite sequence of symmetric random variables can be written as a convex combination of an independent identically distributed (i.i.d.) sequence.
Størmer [Sto69] proposed a non-commutative (quantum) version of the de Finetti theorem, and he demonstrated that extremal, symmetric states on infinite, tensor-product C * algebras can be expressed in terms of product states. Other symmetry groups yield noncommutative formulations of de Finetti theorems, and braid invariance has been considered by Gohm and Köstler in [GK09,K10]. The de Finetti theorem has been extended to noncommutative probability theory, with a classical probability measure being replaced by quantum state [KS09,Cur09,Cur10,GK10,CF12,BCS12,DK14,Liu15,Liu17].
Diaconis and Freedman established a de Finetti theorem for a finite (rather than infinite) sequence of exchangeable random variables [DF80]. This led to various types of de Finetti theorems in statistical physics and in quantum information [HM,FLV88,RW89,CFS02,KR05,Ren07,CK07,BL09,CT09]. König and Renner [KR05] showed that any k-partite reduced state arising from a state on n systems that is permutationsymmetric, with k n, is close to a convex combination of i.i.d. n-partite states. Here i.i.d. means that the state ϕ = ρ ⊗n can be written as a product of identical copies.
This result is crucial for understanding the structure of permutation-symmetric states, and especially for the consideration of quantum entanglement of such states [HHHH09]. The use of such states has application in quantum information processing tasks ranging from entanglement testing [BrCY11], quantum key distribution [Ren05], quantum hypothesis testing [BrP10], to quantum state tomography [Ren07], and quantum complexity theory [BrCY11,LS15,BrH17].
Non-abelian statistics of quasiparticle models allow one to perform topological quantum computation, such as in the zero-mode model for Majorana fermions (the d = 2 case of parafermions) [Kit03,NSS+08]. Parafermions, as a generalization of Majoranas, have recently attracted much attention in condensed matter physics [Fen12,LBRS12,YW12] and [CAS13,MCA+14,KL14,HWL15]. We have given a natural, pictorial representation of the parafermion algebra and showed how this yields a pictorial representation of their Clifford gates [JLW18,JLW17,LWJ17].

New results.
Here we present a de Finetti theorem for states on parafermion algebras of order d. In particular, we use the fact that a pair of parafermions of order d generate the d × d matrix algebra M d (C), that we denote by P F 2 . Thus it is natural to consider pairs of parafermions as a unit, and to study double braids that exchange these pairs.
The infinite parafermion algebra P F ∞ is a Z d -graded, tensor product of algebras P F 2 of parafermion pairs. Here we consider the braid group B ∞ , as defined in Sect. 3.1, acting on pairs of parafermions . Let S B ∞ denote the states on P F ∞ that are invariant under the action of B ∞ . In Sects. 6-7 we prove: Theorem 1 (de Finitti for braided parafermions). Let ϕ ∈ S B ∞ be a braid-invariant state on P F ∞ . Then the following are equivalent: (1) The state ϕ is extremal in the set of states S B ∞ on P F ∞ .
(2) The state ϕ = ρ ⊗∞ is the infinite tensor product of a state ρ on P F 2 .
We can refine this characterization, depending on the order d of the algebra P F ∞ . This results in different restrictions on ρ. As a consequence of Theorem 1, any B ∞invariant state on P F ∞ is in the closure of the convex hull of the product states. Let P F ϕ ∞ denote the von Neumann algebra generated by P F ∞ in the Gelfand-Naimark-Segal (GNS) construction with respect to the state ϕ ∈ S B ∞ . Also let (P F ϕ ∞ ) B ∞ be the fixed point algebra under the action of the braid group B ∞ . The neutral subalgebra of (P F ϕ ∞ ) B ∞ is the subalgebra generated by monomials in parafermions of degree zero mod d.
It is interesting that a distinction arises in this characterization, according to whether or not the order of the parafermion algebra is square free. (This means that d = i p i , where the primes p i are distinct.) Let us now suppose that the degree d of the parafermion algebra is square free. In this case one finds that extremal, braid-invariant states are neutral and that they give rise to a factor. One can refine Theorem 1 as follows: Theorem 2. Let ϕ ∈ S B ∞ be a braid-invariant state on a parafermion algebra P F ∞ of square-free degree d. The following are equivalent: In case d is not square free, we give the corresponding characterization braid-invariant states and their von Neumann algebras in Theorems 21 and 22. As this requires some additional terminology that we only introduce later, we postpone these statements to Sect. 7.
A main difference is that an extremal, braid-invariant state is not necessarily neutral, nor is the corresponding algebra necessarily a factor. It is interesting that the de Finetti theorem suggests new methods to prove whether the von-Neumann algebra P F ϕ ∞ is a factor. Finally in Theorem 14 we characterize the extremal nature of product states (an inverse de Finetti theorem).

Organization.
In Sect. 2 we define parafermion algebras and their diagrammatic representation which we call parafermion planar para algebras (PAPPA). In Sect. 3 we introduce the four-string braid group B ∞ acting on the parafermion algebra. We describe the braid using its diagrammatic representation in the PAPPA model. In Sect. 4 we introduce braid-invariant states, the action of shifts, the tail algebra, and conditional expectaions onto the tail algebra. We also introduce the neutral part of the tail algebra, which equals the center of the parafermion algebra. We derive the independence of the conditional expectation onto the tail algebra. In Sect. 6 we prove the de Finetti theorem for parafermion algebras in the case that d is square free. We show that the center of parafermion algebra is equal to the tail algebra of the parafermion alegbra and that the tail algebra only consists of neutral elements. In Sect. 7 we generalize our de Finetti theorem to the case that d is not square free. In this case, the tail algebra does not equal the center of the parafermion algebra, and the tail algebra contains non-neutral elements. We characterize the tail algebra for extremal, braid-invariant states.

Parafermion Algebras and the PAPPA Model
The parafermion algebra P F m of degree d is the Z d -graded *-algebra generated by { c j } m j=1 , with m possibly infinite. We denote the degree of a monomial A ∈ P F m by deg(A) ∈ Z d . Since it is often useful to regard the degree as a physical "charge," we sometimes use this term interchangeably with "degree." The generators c j of the algebra are called parafermions and satisfy the canonical parafermion relations (CPRs) where q = e 2πi d , and i = √ −1. Then P F 2m is isomorphic to the tensor product of m-copies of M d (C) through the "Jordan-Wigner" transformation, Therefore, the parafermion algebra P F ∞ := lim m→∞ P F m is isomorphic to the infinite tensor product of M d (C), According to the charge in the parafermion algebra, it can be decomposed by charge as The charge-zero subalgebra P F 0 ∞ is called the neutral subalgebra. We use a pictorial representation for the element c m j introduced in [JL17], where the algebra is called PAPPA. We represent c m j by inserting the label m on the jth string (numbered from left to right). We place the label of the string position above or below the string, and we omit that label in case this will cause no confusion. We interpret m as a Z d -valued charge, so we also call PAPPA a "charged-string model." The correspondence between parafermion operators and pictures is: Multiplication is designated from top to bottom, corresponding to algebraic factors written from right to left. In the PAPPA model, the charged strings satisfy the following relations,

The Four-String Braid Group B ∞
We consider the four-string braid group generated by exchanges of pairs of adjacent parafermions; in quantum information this corresponds to braiding adjacent qudits.
3.1. Four string braids. The algebra generated by two consecutive generators (c j , c j+1 ) is isomorphic to M d (C); in other words P F 2 ∼ = M d (C). Motivated by this picture, we consider the action of braid group B ∞ on the pairs of the generators (c 2 j−1 , c 2 j ). In particular, for the parafermion algebra P F 2m , we introduce the braid group that is generated by m − 1 four-string braids. The braid b j intertwines the (2 j − 1)th and (2 j)th strings with the (2 j +1)th and (2 j +2)th strings. The following picture represents this (negative) four-string braid action: Proposition 3. Each four-string braid b j is an element of P F ∞ . The generators b j ∈ B ∞ satisfy the double-braid relations: Proof. The negative four-string braid b j is the product of four two-string braids, = . (10) Each two-string braid can be expressed in terms of the generators of the parafermion algebra, as shown in formula (8.1) of [JL17], Here j=0 ζ j 2 is shown to be a phase in Proposition 2.15 of [JL17]. As a consequence the two-string braid b (2) k is a unitary, namely b (2) * j b (2) j = I , and hence so is the four-string braid b j . Also the left-most single braid b (2) 2 j−1 and the right-most single braid b (2) This decomposition shows that b j is in the algebra generated by the four parafermions The double-braid relations (9) are evident from the picture representation of the double braid, and the fact that the single braid satisfies the three Reidermeister moves, see §8 in [JL17] and §3.7 in [JLW18].

Action of double braids on parafermions.
The natural action of the double braids B 2m on the parafermion algebra P F 2m is the adjoint action Ad(b j ) ∈ Aut (P F 2m ). The adjoint action exchanges the pair (c 2 j−1 , c 2 j ) with the pair (c 2 j+1 , c 2 j+2 ). Thus The diagram that corresponds to this action is: This equality combines the second Reidermeister move for the braid, as well as the fact that charges pass freely under a braid, see Theorem 8.2 in [JL17]. In a similar manner, one can analyze the case with charges on all four strings. The composition of braids translates a sequence of qudits; for example, Ad(b j−1 b j ) acting on the j − 1 and j qudit spaces, tensored with the identity on the qudit j + 1, can be pictured as

States and automorphisms.
A state ϕ on P F ∞ yields by the GNS construction a Hilbert space H , a * -representation π of P F ∞ on H , and a cyclic vector such that ϕ(x) = , π(x) H . For simplicity, we denote π(x) acting on H by x. We also use x to denote an element of the von Neumann algebra P F ϕ ∞ on H obtained by closing P F ∞ /N in the sesquilinear form x, y = ϕ(x * y) arising from ϕ with null space N .
If the state ϕ is invariant under a * -automorphism σ of P F ∞ , this determines a *automorphism (that we also denote as σ ) on P F ϕ ∞ and an isometry U on H , that leaves invariant, and such that σ (x) = U x .

Braid-invariance and shift invariance.
We are especially concerned with shifts of pairs of generators of the parafermion algebra, as they correspond to the action of the four-string braids. Define the double shift α ∈ End(P F ∞ ) by The picture for the double shift is: Proposition 4. For x ∈ P F ϕ ∞ , the strong limit of consecutive braidings exists. It equals to the shift of x, (20) Thus (20) holds on this dense subalgebra. If x j ∈ P F 2m j converges strongly to x ∈ P F ϕ ∞ , we claim that α(x j ) converges strongly to a limit that we denote α(x). Let B = b 1 · · · b denote the unitary transformation implementing this element of the braid group on the GNS Hilbert space H . Choose y ∈ P F k , and without loss of generality, let k < j < j . Then Here we use the invariance of ϕ under the braid group and the fact thatỹ = B * m j y B m j is independent of j for k < j . Thus as a consequence of the strong convergence of x j , the difference (21) converges to zero as j → ∞. As the y range over a dense set of P F ϕ ∞ this verifies (20). It also shows that ϕ is α-shift-invariant, for

The Tail Algebra for Parafermions
We give the basic definitions of braid-invariance and the tail algebra for parafermions, and we derive some general properties.

Fundamental concepts. Neutral states
The state ϕ on P F ∞ is called neutral, if it vanishes on elements with non-zero charge, namely ϕ(x) = 0 for all x with deg(x) = 0. The tail algebra Let ϕ be a state on P F ∞ , and let H ϕ denote the Hilbert space obtained by the GNS construction. Let P F ϕ ∞ be the von Neumann algebra generated by the representation of P F ∞ on H ϕ . Define the tail algebra P F T of the parafermion algebra as

Conditional expectation Given an algebra A and a subalgebra
Charge in the tail algebra To decompose the tail algebra according to the charge, define charge of an element in the tail algebra to be compatible with the charge of elements in the parafermion algebra.

Properties of the tail algebra.
The tail algebra can be characterized using the strong operator topology (SOT). For the shift α defined by (14) on P F ∞ , define the shiftaveraging transformation Given a state ϕ, we also have the corresponding α and S k on P F ϕ ∞ . Proposition 5. Let ϕ be an α-shift-invariant state on P F ∞ , and let x ∈ P F ϕ ∞ . Then S k (x) converges strongly to an element in the tail, The map E T defines a normal, unital conditional expectation from P F ϕ ∞ to P F T . Also Proof. Clearly E T (I ) = I , and So if E T (x) = st.-lim k→∞ S k (x) exists, then E T (α(x)) = E T (x), and the limit is in the tail algebra P F T . As S k (x) x , it is sufficient to show that lim k S k (x)A exists for all monomials A ∈ P F 2m , with m 1.
We first establish the limit when x is a monomial in P F 2m , so that for any k > m, and for r = −deg(x)deg(A), At most 2m terms differ in the sums defining S k (x)A and q r AS k (x), so 1 Since ϕ is α-shift-invariant, there is a unitary U α on H ϕ that implements α and leaves invariant, namely Here the unitary U α implements α and leaves invariant. Now we use the von Neumann mean ergodic theorem, see page 407 of [RS55], to conclude that the vectors (30) converge strongly as k → ∞. Hence any x ∈ P F 2m satisfies Any operator in P F 2m is a finite sum of monomials, so the limit (25) exists for operators in P F ∞ . Now we show that the limit (25) extends to all x 0 ∈ P F ϕ ∞ . By Kaplansky density theorem, there are x j ∈ P F 2 j , j = 1, 2, . . ., such that x j x 0 and st.-lim j x j = x 0 . Let ∈ Z d and y j = α(x j ). Define Then y j = ∈Z d y j, , with deg(y j, ) = , and they satisfy y j, y j x 0 , and st.-lim j y j, = y 0, .
Whenever k > m, Arguing as above, we infer that Furthermore S k (y 0, ) has a strong limit E T (y 0, ), such that Therefore E T (y 0 ) exists. By (27), E T (x 0 ) exists and Suppose {x m } is a sequence in the unit ball of P F ϕ ∞ , and st.-lim j x j = x 0 . To show that E T is normal, it is sufficient to show that lim j E T (x j ) = E T (x 0 ). Define y j, as above, so the properties above remain true. Moreover, Therefore, Finally we verify that the map x → E T (x) defines a conditional expectation, by checking the three defining relations in (23). We have shown the first identity in (26). Note that S k (x * ) = S k (x) * , so taking the limit in k we obtain the second identity in (26). For the third identity, consider y 1 , y 2 ∈ P F T . Then using the invariance of P F T under the shift α. As a consequence the k → ∞ limits agree, so x → E T (x) does define a conditional expectation.
Remark 6. A combination of Theorem 2.2 in [GK09] and Proposition 7.3 in [K10] also shows that E T is a conditional expectation onto the tail algebra.
Proof. From Proposition 4 we infer that the state ϕ is invariant under the action of α, and from Proposition 5 we infer that ϕ • E T = ϕ.

Proposition 8. The tail algebra P F T is a commutative Z d -graded von Neumann algebra, with the charge-part denoted P F T, ,
Moreover, P T T, = 0 when d 2 .
Proof. As in the proof of Proposition 5, for any x ∈ P F T , there are y ∈ P F ϕ ∞ , ∈ Z d , such that Define y to have charge . By Proposition 5, and Therefore, the conjugation by the first parafermion generator c 1 defines an automorphism on the tail algebra. So if x has charge , there are operators y j ∈ P F 2( j+1) with charge , for j 1, such that st.-lim j→∞ y j = x. Then Note that Both x x * and x * x are positive operators, so q 2 = 1, namely d | 2 .
If z ∈ P F T has charge , then similarly we have that d | ( ) 2 and Then d 2 | ( ) 2 . So d | , and xz = zx. Therefore P F T is commutative.

Proposition 9. Given a braid-invariant state ϕ ∈ S B ∞ and the corresponding tail algebra P F T ,
This result works in a general situation, see Theorem 0.3 in [GK09]. We give a quick proof for braided parafermions here.
for any n, and in particular x ∈ n α n (P F ϕ ∞ ) = P F T . For any x ∈ P F T , one has Ad(b n )(x) = x for any n as x ∈ α(P F ϕ ∞ ). Thus, Given a state ϕ ∈ S B ∞ , let P F T,0 denote the neutral subalgebra of P F T , and let Z (P F ϕ ∞ ) denote the center of the von Neumann algebra P F ϕ ∞ .
Proof. Any neutral x ∈ P F T commutes with all elements in P F ∞ , and therefore commutes with all elements in P F ϕ ∞ . Hence P F T,0 ⊂ Z (P F ϕ ∞ ). Furthermore, we infer from Proposition 3 that any braid b j ∈ P F ∞ , and also b j ∈ P F ϕ ∞ . So if x ∈ Z (P F ϕ ∞ ), one has b j x = xb j , and x is invariant under the adjoint action of every b j , and x ∈ (P F ϕ ∞ ) B ∞ . Thus we infer from Proposition 9 that x ∈ (P F ϕ ∞ ) α = P F T , so Let I be a subset I ⊂ N, and let P F I denote the parafermion algebra generated by the c i with i ∈ I . For two subsets I, J ⊂ N, let I < J means that for i < j for all i ∈ I, j ∈ J . Clearly if x ∈ P F I and y ∈ P F J with I < J , then Proposition 11. Let ϕ ∈ S B ∞ , and let x ∈ P F I , y ∈ P F J , where I < J or J < I are finite subsets of N.
Such independence is called order tail-independence in Ref. [K10], where a stronger notion of independence, called full tail-independence, has also been proposed and investigated. It was shown in Theorem 8.1 in [K10] that spreadability implies tail-independence.
Here we give a quick proof for braided parafermions.
Proof. If I < J , there exists σ n ∈ B ∞ such that σ n (x y) = xα n (y). Thus using from Proposition 9 and the invariance of P F T under braids,

E T (x y) = E T (σ n (x y)) = E T (xα n (y)) = E T (xS k (y)) = E T (x E T (y)).
Then using (26), the α-shift-invariance of P F T given in Proposition 9, and the fact that P F T is an algebra, we infer for n, k ∈ N that If x and y have a given degree, then deg(E T (x)) = deg(x). So if J < I and x y = (y * x * ) * , we obtain from the previous case, The general case for two elements follows by linearity for x and y a sum of components with definite degree. The case for k ordered elements follows by iteration of the twoelement case.
Proposition 12. Let ϕ be an extremal state in S B ∞ , then P F T,0 = C.

The Inverse de Finetti Theorem
Suppose A is a finite dimensional matrix algebra and ρ is a state on A . Let A ⊗m = ⊗ m k=1 A be the mth tensor power of A and A ∞ = ⊗ ∞ k=1 A be the infinite tensor power of A . Let S P,A ∞ be the states on the infinite tensor product of A which are invariant under the permutation group. The de Finetti theorem said that if ϕ is an extremal point in S P,A ∞ , then ϕ is the infinite product state ρ, for some state ρ on A . It was shown by Størmer, that any symmetric product state is extremal in S P,A ∞ , see Theorem 2.7 in [Sto69] for a general result on C * -algebras.
The tensor product of states on A is called a product state. The symmetric product state is not an extremal point for the symmetric states on finite tensor products. We have the following extremal condition for finite symmetric product states, which can be considered as an inverse de Finetti theorem on finite tensors: Proof. Take the restriction on A ⊗2 , we have that Let D ρ be the density matrix of ρ. Then Let P be the range projection of D φ , and Q = I − P, then Therefore, Q D ρ Q = 0 for almost all D. So Q D = D Q = 0, and D = P D P. Without loss of generality, we assume that P = I , then D φ is invertible.
Note that the covariance of C ρ is So Cov(C ρ ) = 0, and C ρ = tr(C ρ ) for almost all ρ. Then D ρ = tr(C ρ )D φ . Both D ρ and D φ have trace one, so D ρ = D φ . Therefore μ is a Dirac measure at ρ.
The above proof also applies to infinite tensors and we recover the result of Størmer for matrix algebras: Theorem 14. Suppose ρ is a state on a finite dimensional matrix algebra A . Then the product state ρ is extremal in S P,A ∞ .
Proof. By the de Finetti theorem, any extremal point in S P,A ∞ is a product state ρ ∞ , for some ρ ∈ S . Note that ρ j → ρ weakly on A iff ρ ∞ j → ρ ∞ weakly on A ∞ . Thus the space of infinite symmetric product states has the same weak topology as S . By the Choquet-Bishop-de Leeuw theorem, any state in S P,A ∞ is for some probability measure μ on S . Therefore, any convex combination is also of the above form. For a state φ ∈ S , if By Theorem 13, ρ=φ dμ(ρ) = 1. Therefore, φ ∞ is extremal in S P,A ∞ .

The de Finetti Theorem: Square-Free d, the Neutral Case
As explained in the introduction, there are two possible outcomes according to whether the degree d of the parafermion algebra is square free. In this section we investigate the square-free case. We first prove that the center of the representation of the parafermion algebra equals the tail algebra, and that the tail algebra is neutral. Several equivalent characterization of the extremal state in S B ∞ follow from these results, and we precisely characterize the corresponding braid-invariant states. We call Theorem 17 the de Finetti theorem for the parafermion algebra with square-free degree d.
Proof. Denote C mn i = c m 2i−1 c n 2i . We first prove that for j < k, Using Corollary 7, with Proposition 11, and the second identity in (26), we have In the last line we use ϕ 0, as well as E T (C mn j ) = E T (C mn k ). This property follows from the first identity in (26), for On the other hand, the parafermion relations (1), and reasoning similar to the proof of (58), show that where ϕ(E T (C mn k ) * E T (C mn k )) 0. Comparing (58) with (59), we infer that either q (m+n) 2 > 0, or else ϕ(C mn j (C mn k ) * ) = 0. In our case 0 m, n d − 1. As we assume that d is square free, (m + n) 2 = 0 (mod d) is equivalent to (m + n) = 0 (mod d). Thus (57) holds.
If m + n = 0 mod d, we have shown in addition that So E T (C mn k ) = 0, and Any element x ∈ P F ∞ can be expressed as the linear combination of the products k C m k n k k , where we take the product in the order of increasing k from left to right. By (56) we have unless each (m k + n k ) = 0 (mod d), for all k.
Corollary 16. Let d = p i be square free, and let ϕ ∈ S B ∞ . Then Proof. With the results of Propositions 9 and 10, we only need to show that P F T,0 = P F T . For this use the fact that we have shown in Theorem 15 that the generators of the tail algebra are all neutral. (1) The state ϕ is extremal in S B ∞ .
(2) The state ϕ = j ρ is a product, where ρ is a neutral state on P F 2 .
(3) The neutral part of the tail algebra P F T,0 = C.
(4) The tail algebra P F T = C.
But this is a consequence of Corollary 7, which ensures that ϕ = ϕ • E T , and Proposition 11, which shows that ϕ factors on non-overlapping elements of the tail algebra.
Since every state in S B ∞ can be written as a limit of the convex combination of the extremal states, such state is in the closure of the convex hull of the product states. This is the de Finetti theorem on parafermion algebra with square-free degree.
Theorem 18. Let d be square free. Then each state ϕ ∈ S B ∞ on the Z d graded parafermion algebra is neutral, and it can be expressed as the limit of convex combinations of product states ρ, where ρ ∈ S(P F 2 ) is neutral.
where ρ, τ ∈ S(P F 2 ) are distinct neutral states, then the von Neumann algebra P F ϕ ∞ is not a factor.

The de Finetti Theorem: The Non-neutral Case
In this section, we consider the case when the square of some prime p divides d, so d = p 2 d 1 . Let p 0 denote the smallest natural number such that d| p 2 0 . Then p 0 < d and p 0 |d. All the preliminary results in Sect. 4 hold in this case. The difference here is that when d contains a square, the tail algebra may not be neutral. First, we consider the special case when the neutral part of the tail algebra is trivial.
Proposition 20. Let ϕ ∈ S B ∞ and let P F T,0 = C, then there exists some m 0 ∈ N, with p 0 |m 0 , m 0 |d, and such that Proof. We first show that P F T has a component with a charge m > 0, only when p 0 |m. Suppose that p 0 does not divide m, x ∈ P F I , and E T (x) ∈ P F T,m . Then for some k and some J > I , one has α k (x) ∈ P F J . Using Proposition 11 and Proposition 5, Besides, from the canonical parafermion relations, x * α k (x) = q −m 2 α k (x)x * . Thus either q −m 2 > 0 or else E T (x) = 0. The only positive value on the unit circle in the complex plane is 1. But the condition p 0 m means q −m 2 = 1. So E T (x) = 0, and dim(P F T,m ) = 0.
On the other hand suppose that p 0 |m. We show that dim(P F T,m ) 1. In fact, for A ∈ P F T,m , the quadratic expressions A * A and A A * are both neutral. Since we have assumed that P F T,0 = C, then A * A = λI, and also A A * = λ I , with λ, λ 0, and equal to zero only if A = 0. But then (A * A) 2 = λ 2 I = λλ I, so λ = λ . Therefore either A = 0 or U A = A/ A is unitary.
Thus for any two non-zero elements A, B ∈ P F T,m , the neutral unitary U * A U B = e iθ is a phase, and U B = e iθ U A . In particular dim(P F T,m ) 1 as claimed. Thus Since the dimension of P F T,kp 0 is either 0 or 1, all kp 0 such that dim(P F T,kp 0 ) = 1 form a subgroup of Z d . There exists a smallest such number k 0 that divides all k with dim(P F T,kp 0 ) = 1. Hence P F T can be written as Therefore for any state ρ on P F 2 with density matrix D in P F p 0 Z 2 , the product state ρ is a well-defined state on P F ∞ .
Theorem 21. Let ϕ ∈ S B ∞ . Then the following statement are equivalent: (1 ) ϕ is extremal in S B ∞ .
(2 ) ϕ = ρ, where ρ is a state on P F 2 with a density matrix in P F The proof is the same as the proof of (2) ⇒ (1) in Theorem 17.
(1 ) ⇒ (2 ): If ϕ is extremal, then Proposition 12 shows that P F T,0 = C. Using Proposition 20, we infer (65), and that P F T, jm 0 is generated by a unitary U j with charge j. We can choose {U j }, so that the set G = {U j } is a cyclic group. The restriction ϕ G of the state ϕ to G is a convex linear combination of characters χ j on G, namely ϕ G = j λ j χ j , where λ j 0 and j λ j = 1.
Each character χ i can be extended to a state on P F T , the group algebra of G. It can also be extended to a state on the parafermion algebra, as E T is a conditional expectation. Then χ i (x) = 0, for any element x ∈ P F ϕ ∞ orthogonal to P F T . By Proposition 9, P F T is B ∞ invariant, so χ i is B ∞ invariant. Since ϕ is extremal, ϕ G is equal to some character χ = χ i , otherwise the state ϕ can be written as the convex combination of the B ∞ -invariant states. Since χ is a character, thus χ(E T (x)E T (y)) = χ(E T (x))χ (E T (y)).
That is, ϕ(E T (x)E T (y)) = ϕ(E T (x))ϕ(E T (y)). By Proposition 11, ϕ = ρ for some state ρ on P F 2 . Let D = k∈Z d D k be the density matrix of ρ, and D k = 0 in P F k 2 . Then ϕ(D * k α(D * k )) = ρ(D * k ) 2 > 0. On the other hand So q k 2 = 1 and p 0 |k. Therefore D ∈ P F p 0 Z 2 . Theorem 22. Given a state ϕ ∈ S B ∞ , then the following statements are equivalent: (3 ) P F T,0 = C.
(3 ) ⇒ (5 ): If P F T,0 = C1, then based on the proof of (1 ) ⇒ (2 ), the state restricted in the cyclic group G ϕ G can be expressed as the convex combination of characters i λ i χ i . For any A ∈ P I and B ∈ P J , I < J . We only need to consider the case where m 0 |deg(A), m 0 |deg(B). Thus Due to the proof of (1 ) ⇒ (2 ), each irreducible character corresponds to one state which can be written as the product state. Thus, the state χ 0 • E T can be written as ρ, and the density matrix of ρ is in P F p 0 Z 2 . Therefore ϕ = i λ i χ i • ρ. (5 ) ⇒ (3 ): Let {b k } k∈Z d be an orthonormal basis of P F 2 with inner product x, y = ϕ(y * x), such that b 0 = I . Since ϕ can be written as i λ i χ i • ρ, then any element x ∈ P F T,0 has the orthogonal decomposition where for some β i,k ∈ C, x i,k ∈ P F ϕ , such that deg(x i ) = 0 and ϕ(x * j x i ) = ρ(x * j x i ) = 0, for i = j. Besides, α(x) = x, which implies that x i = 0 for i 1. That is, all the element in P F T,0 is in proportion to the identity. Thus, we obtain (5 ).
Besides, the condition (2 ) can always implies the condition (5 ), these five conditions can be summarized as follows.

Summary
We have proposed and proved a new type of de Finetti theorem for the parafermion algebra P F ∞ with respect to the action of braid group B ∞ that braids qudits (pairs of parafermions). We have two results based on whether or not the degree d of the given parafermion algebra is square free. In both cases, we characterize the extremal, braidinvariant states, and show that these properties are equivalent to the states being product states on P F 2 ∼ = M d .
In the square-free case, we have found other equivalent conditions for a braid-invariant state ϕ to be extremal. It is surprising that one such condition is that the von Neumann algebra P F ϕ ∞ is a factor; so if ϕ is the convex combination of extremal, braid-invariant states, then the corresponding von Neumann algebra of parafermions is not a factor. Since the parafermion algebra has been used to establish a framework of topological quantum information theory, the de Finetti theorem in this work can shed insight on the topological quantum information theory.