Abstract
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).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 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 non-commutative 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 permutation-symmetric, with \(k\ll n\), is close to a convex combination of i.i.d. n-partite states. Here i.i.d. means that the state \(\varphi =\rho ^{\otimes 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].
1.2 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\times d\) matrix algebra \({\mathbb {M}}_d({\mathbb {C}})\), that we denote by \(PF_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 \(PF_{\infty }\) is a \({\mathbb {Z}}_d\)-graded, tensor product of algebras \(PF_{2}\) of parafermion pairs. Here we consider the braid group \({\mathbb {B}}_{\infty }\), as defined in Sect. 3.1, acting on pairs of parafermions . Let \(S_{{\mathbb {B}}_{\infty }}\) denote the states on \(PF_{\infty }\) that are invariant under the action of \({\mathbb {B}}_{\infty }\). In Sects. 6–7 we prove:
Theorem 1
(de Finitti for braided parafermions). Let \(\varphi \in S_{{\mathbb {B}}_{\infty }}\) be a braid-invariant state on \(PF_{\infty }\). Then the following are equivalent:
- (1)
The state \(\varphi \) is extremal in the set of states \(S_{{\mathbb {B}}_{\infty }}\) on \(PF_{\infty }\).
- (2)
The state \(\varphi =\rho ^{\otimes \infty }\) is the infinite tensor product of a state \(\rho \) on \(PF_2\).
We can refine this characterization, depending on the order d of the algebra \(PF_{\infty }\). This results in different restrictions on \(\rho \). As a consequence of Theorem 1, any \({\mathbb {B}}_{\infty }\)-invariant state on \(PF_{\infty }\) is in the closure of the convex hull of the product states. Let \({\overline{PF}}^{\varphi }_{\infty }\) denote the von Neumann algebra generated by \(PF_{\infty }\) in the Gelfand-Naimark-Segal (GNS) construction with respect to the state \(\varphi \in S_{{\mathbb {B}}_{\infty }}\). Also let \(({\overline{PF}}^{\varphi }_{\infty })^{{\mathbb {B}}_{\infty }}\) be the fixed point algebra under the action of the braid group \({\mathbb {B}}_{\infty }\). The neutral subalgebra of \(({\overline{PF}}^{\varphi }_{\infty })^{{\mathbb {B}}_{\infty }}\) 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=\prod _{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 \(\varphi \in S_{{\mathbb {B}}_{\infty }}\) be a braid-invariant state on a parafermion algebra \(PF_{\infty }\) of square-free degree d. The following are equivalent:
- (1)
The state \(\varphi \) is extremal in \(S_{{\mathbb {B}}_{\infty }}\).
- (2)
The state \(\varphi = \rho ^{\otimes \infty }\), where \(\rho \) is a neutral state on \(PF_{2}\).
- (3)
The neutral subalgebra of \(({\overline{PF}}^{\varphi }_{\infty })^{{\mathbb {B}}_{\infty }}={\mathbb {C}}\).
- (4)
The algebra \(({\overline{PF}}^{\varphi }_{\infty })^{{\mathbb {B}}_{\infty }}={\mathbb {C}}\).
- (5)
The von Neumann algebra \({\overline{PF}}^{\varphi }_{\infty }\) is a factor.
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 \({\overline{PF}}^{\varphi }_{\infty }\) is a factor. Finally in Theorem 14 we characterize the extremal nature of product states (an inverse de Finetti theorem).
1.3 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 \({\mathbb {B}}_{\infty }\) 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.
2 Parafermion Algebras and the PAPPA Model
The parafermion algebra \(PF_m\) of degree d is the \({\mathbb {Z}}_d\)-graded *-algebra generated by \(\{c_j\}^m_{j=1}\), with m possibly infinite. We denote the degree of a monomial \(A\in PF_m\) by \(deg(A)\in {\mathbb {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^{\frac{2\pi i }{d}}\), and \(i=\sqrt{-1}\). Then \(PF_{2m}\) is isomorphic to the tensor product of m-copies of \({\mathbb {M}}_d({\mathbb {C}})\) through the “Jordan-Wigner” transformation,
Therefore, the parafermion algebra \(\displaystyle PF_{\infty }:=\lim _{m\rightarrow \infty } PF_{m}\) is isomorphic to the infinite tensor product of \({\mathbb {M}}_d({\mathbb {C}})\),
According to the charge in the parafermion algebra, it can be decomposed by charge as \(PF_{\infty }=\oplus ^{d-1}_{k=0} PF^k_{\infty }\), where
The charge-zero subalgebra \(PF^0_{\infty }\) 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_j^m\) 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 \({\mathbb {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,
Here \(\zeta \) is a chosen square root of q such that \(\zeta ^{d^2}=1\) [JL17, JLW18].
3 The Four-String Braid Group \({\mathbb {B}}_{\infty }\)
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 \({\mathbb {M}}_d({\mathbb {C}})\); in other words \(PF_2\cong {\mathbb {M}}_d({\mathbb {C}})\). Motivated by this picture, we consider the action of braid group \({\mathbb {B}}_{\infty }\) on the pairs of the generators \((c_{2j-1}, c_{2j})\). In particular, for the parafermion algebra \(PF_{2m}\), we introduce the braid group
that is generated by \(m-1\) four-string braids. The braid \(b_j\) intertwines the \((2j-1)\)th and (2j)th strings with the \((2j+1)\)th and \((2j+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 \(PF_{\infty }\). The generators \(b_{j}\in {\mathbb {B}}_{\infty }\) satisfy the double-braid relations:
Proof
The negative four-string braid \(b_{j}\) is the product of four two-string braids,
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 \(\omega =\frac{1}{\sqrt{d}}\sum ^{d-1}_{j=0}\zeta ^{j^2}\) is shown to be a phase in Proposition 2.15 of [JL17]. As a consequence the two-string braid \(b_{k}^{(2)}\) is a unitary, namely \(b_{j}^{(2)\,*}b_{j}^{(2)}=I\), and hence so is the four-string braid \(b_{j}\). Also the left-most single braid \(b_{2j-1}^{(2)}\) and the right-most single braid \(b_{2j+1}^{(2)}\) illustrated in (10) commute, so their relative vertical order does not matter. This decomposition shows that \(b_{j}\) is in the algebra generated by the four parafermions \(c_{2j-1}, c_{2j}, c_{2j+1}, c_{2j+2}\).
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]. \(\quad \square \)
3.2 Action of double braids on parafermions
The natural action of the double braids \({\mathbb {B}}_{2m}\) on the parafermion algebra \(PF_{2m}\) is the adjoint action \(Ad(b_{j})\in Aut(PF_{2m})\). The adjoint action exchanges the pair \((c_{2j-1}, c_{2j})\) with the pair \((c_{2j+1}, c_{2j+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
3.3 States and automorphisms
A state \(\varphi \) on \(PF_{\infty }\) yields by the GNS construction a Hilbert space \({\mathscr {H}}\), a \(*\)-representation \(\pi \) of \(PF_{\infty }\) on \({\mathscr {H}}\), and a cyclic vector \(\Omega \) such that \(\varphi (x)=\langle \Omega , \pi (x)\Omega \rangle _{{\mathscr {H}}}\). For simplicity, we denote \(\pi (x)\) acting on \({\mathscr {H}}\) by x. We also use x to denote an element of the von Neumann algebra \({\overline{PF}}^{\varphi }_{\infty }\) on \({\mathscr {H}}\) obtained by closing \(PF_{\infty }/{\mathscr {N}}\) in the sesquilinear form \(\langle x,y\rangle =\varphi (x^{*}y)\) arising from \(\varphi \) with null space \({\mathscr {N}}\).
If the state \(\varphi \) is invariant under a \(*\)-automorphism \(\sigma \) of \(PF_{\infty }\), this determines a \(*\)-automorphism (that we also denote as \(\sigma \)) on \({\overline{PF}}^{\varphi }_{\infty }\) and an isometry U on \({\mathscr {H}}\), that leaves \(\Omega \) invariant, and such that \(\sigma (x)\Omega =Ux\Omega \).
3.4 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 \(\alpha \in End(PF_{\infty })\) by
The picture for the double shift is:
Let \(({\overline{PF}}^{\varphi }_{\infty })^{\alpha }\) denote the fixed point algebra of \({\overline{PF}}^{\varphi }_{\infty }\) under the shift
A state \(\varphi \) on \(PF_{\infty }\) will be called \(\alpha \)-shift-invariant if
Let \(S_{\alpha }\) denote the set of \(\alpha \)-shift-invaraiant states on \(PF_{\infty }\).
Similarly we say that the state \(\varphi \) on \(PF_{\infty }\) is braid-invariant if it is invariant under the adjoint action of the braid group \({\mathbb {B}}_{\infty }\),
for any \(b\in {\mathbb {B}}_{\infty }\). Let \(S_{{\mathbb {B}}_{\infty }}\) denote the set of \({\mathbb {B}}_{\infty }\)-invariant states on \(PF_{\infty }\).
Let \(({\overline{PF}}^{\varphi }_{\infty })^{{\mathbb {B}}_{\infty }}\) denote the fixed point algebra of \({\overline{PF}}^{\varphi }_{\infty }\) under the adjoint action of the braid group \({\mathbb {B}}_{\infty }\),
Proposition 4
For \(x\in {\overline{PF}}^{\varphi }_{\infty }\), the strong limit of consecutive braidings exists. It equals to the shift of x,
Any braid-invariant state is also \(\alpha \)-shift-invariant, \(S_{{\mathbb {B}}_{\infty }}\subset S_{\alpha } \) .
Proof
Any element \(x\in PF_{2m}\) satisfies \(Ad(b_1b_2\ldots b_m)(x)=\alpha (x)\), and furthermore \(Ad(b_1b_2\ldots b_n)(x)=Ad(b_1b_2\ldots b_m)(x)\) for \(n>m\). Thus (20) holds on this dense subalgebra.
If \(x_{j}\in PF_{2m_{j}}\) converges strongly to \( x \in {\overline{PF}}^{\varphi }_{\infty }\), we claim that \(\alpha (x_{j})\) converges strongly to a limit that we denote \(\alpha (x)\). Let \(B_{\ell }=b_{1}\cdots b_{\ell }\) denote the unitary transformation implementing this element of the braid group on the GNS Hilbert space \({\mathscr {H}}\). Choose \(y\in PF_{k}\), and without loss of generality, let \(k<j<j'\). Then
Here we use the invariance of \(\varphi \) under the braid group and the fact that \({\tilde{y}}=B_{m_{j'}}^{*}yB_{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\rightarrow \infty \). As the y range over a dense set of \({\overline{PF}}^{\varphi }_{\infty }\) this verifies (20). It also shows that \(\varphi \) is \(\alpha \)-shift-invariant, for
\(\square \)
4 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.
4.1 Fundamental concepts
Neutral states The state \(\varphi \) on \(PF_{\infty }\) is called neutral, if it vanishes on elements with non-zero charge, namely \(\varphi (x)=0\) for all x with \(deg(x)\ne 0\).
The tail algebra Let \(\varphi \) be a state on \(PF_{\infty }\), and let \(H_{\varphi }\) denote the Hilbert space obtained by the GNS construction. Let \({\overline{PF}}^{\varphi }_{\infty }\) be the von Neumann algebra generated by the representation of \(PF_{\infty }\) on \(H_{\varphi }\). Define the tail algebra \(PF^{T}\) of the parafermion algebra as
Conditional expectation Given an algebra \({\mathscr {A}}\) and a subalgebra \({\mathscr {B}}\subset {\mathscr {A}}\), a \({\mathscr {B}}-{\mathscr {B}}\) bimodule linear map \(E:{\mathscr {A}}\rightarrow {\mathscr {B}}\) is a conditional expectation if for all \(a\in {\mathscr {A}}\) and \(b,b_1,b_2\in {\mathscr {B}}\),
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.
4.2 Properties of the tail algebra
The tail algebra can be characterized using the strong operator topology (SOT). For the shift \(\alpha \) defined by (14) on \(PF_{\infty }\), define the shift-averaging transformation
Given a state \(\varphi \), we also have the corresponding \(\alpha \) and \({\mathfrak {S}}_{k}\) on \({\overline{PF}}^{\varphi }_{\infty }\).
Proposition 5
Let \(\varphi \) be an \(\alpha \)-shift-invariant state on \(PF_{\infty }\), and let \(x\in {\overline{PF}}^{\varphi }_{\infty }\). Then \({\mathfrak {S}}_{k}(x)\) converges strongly to an element in the tail,
The map \(E_T\) defines a normal, unital conditional expectation from \({\overline{PF}}^{\varphi }_{\infty }\) to \(PF^{T}\). Also
Proof
Clearly \(E_T(I)=I\), and
So if \( E_T(x)= \text {st.-}\lim _{k\rightarrow \infty } {\mathfrak {S}}_{k}(x)\) exists, then \(E_T(\alpha (x))=E_T(x)\), and the limit is in the tail algebra \(PF^T\). As \(\Vert {\mathfrak {S}}_{k}(x)\Vert \leqslant \Vert x\Vert ,\) it is sufficient to show that \( \lim _k {\mathfrak {S}}_{k}(x) A\Omega \) exists for all monomials \(A \in PF_{2m}\), with \(m\geqslant 1\).
We first establish the limit when x is a monomial in \(PF_{2m}\), so that for any \(k>m\), and for \(r=-deg(x)deg(A)\),
At most 2m terms differ in the sums defining \( {\mathfrak {S}}_{k}(x)A\) and \(q^{r} A {\mathfrak {S}}_{k}(x)\), soFootnote 1
Since \(\varphi \) is \(\alpha \)-shift-invariant, there is a unitary \(U_{\alpha }\) on \(H_{\varphi }\) that implements \(\alpha \) and leaves \(\Omega \) invariant, namely
Then
Here the unitary \(U_{\alpha }\) implements \(\alpha \) and leaves \(\Omega \) 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\rightarrow \infty \). Hence any \(x\in PF_{2m}\) satisfies
Any operator in \(PF_{2m}\) is a finite sum of monomials, so the limit (25) exists for operators in \(PF_{\infty }\).
Now we show that the limit (25) extends to all \( x_{0} \in {\overline{PF}}^{\varphi }_{\infty }\). By Kaplansky density theorem, there are \(x_j \in PF_{2j}\), \(j=1,2,\ldots \), such that \(\Vert x_j \Vert \leqslant \Vert x_0\Vert \) and \( \text {st.-}\lim _{j} x_j=x_0\). Let \(\ell \in {\mathbb {Z}}_d\) and \(y_{j}= \alpha (x_j) \). Define
Then \(y_j= \sum _{\ell \in {\mathbb {Z}}_d} y_{j,\ell } \), with \(\text {deg}(y_{j,\ell })=\ell \), and they satisfy
Whenever \(k>m\),
Arguing as above, we infer that
Furthermore \({\mathfrak {S}}_k(y_{0,\ell })\) has a strong limit \(E_T(y_{0,\ell })\), 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 \({\overline{PF}}^{\varphi }_{\infty }\), and \( \text {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,\ell }\) as above, so the properties above remain true. Moreover,
So
Therefore,
Finally we verify that the map \(x\mapsto 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 \({\mathfrak {S}}_{k}(x^{*})={\mathfrak {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}\in PF^T\). Then
using the invariance of \(PF^{T}\) under the shift \(\alpha \). As a consequence the \(k\rightarrow \infty \) limits agree, so \(x\mapsto E_T(x)\) does define a conditional expectation. \(\quad \square \)
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.
Corollary 7
Let \(\varphi \in S_{{\mathbb {B}}_{\infty }}\), then \(\varphi =\varphi \circ E_{T}\).
Proof
From Proposition 4 we infer that the state \(\varphi \) is invariant under the action of \(\alpha \), and from Proposition 5 we infer that \(\varphi \circ E_T=\varphi \). \(\quad \square \)
Proposition 8
The tail algebra \(PF^T\) is a commutative \({\mathbb {Z}}_d\)-graded von Neumann algebra, with the charge-\(\ell \) part denoted \(PF^{T,\ell }\),
Moreover, \(PT^{T,\ell }=0\) when \(d \not \mid \ell ^2\).
Proof
As in the proof of Proposition 5, for any \(x \in PF^{T}\), there are \(y_{\ell } \in {\overline{PF}}^{\varphi }_{\infty }\), \(\ell \in {\mathbb {Z}}_d\), such that
Define \(y_{\ell }\) to have charge \(\ell \). By Proposition 5,
Therefore, the conjugation by the first parafermion generator \(c_{1}\) defines an automorphism on the tail algebra. So if x has charge \(\ell \), there are operators \(y_{j} \in PF_{2(j+1)}\) with charge \(\ell \), for \(j\geqslant 1\), such that
Then
Note that
So \(x y_{j}^*=q^{\ell ^2} y_{j}^* x\). Then \(x \alpha ^k(y_{j}^*)=q^{\ell ^2} \alpha ^k(y_{j}^*) x\), and
Both \(x x^*\) and \(x^* x \) are positive operators, so \(q^{\ell ^2}=1\), namely \(d \mid \ell ^2\).
If \(z \in PF_T\) has charge \(\ell '\), then similarly we have that \(d \mid (\ell ')^2\) and
Then \(d^2 \mid (\ell \ell ')^2\). So \(d \mid \ell \ell '\), and \(xz=zx\). Therefore \(PF^T\) is commutative. \(\quad \square \)
Proposition 9
Given a braid-invariant state \(\varphi \in S_{{\mathbb {B}}_{\infty }}\) and the corresponding tail algebra \(PF^{T}\),
This result works in a general situation, see Theorem 0.3 in [GK09]. We give a quick proof for braided parafermions here.
Proof
We claim that \(({\overline{PF}}^{\varphi }_{\infty })^{\alpha } \subset PF^T \subset ({\overline{PF}}^{\varphi }_{\infty })^{{\mathbb {B}}_{\infty }}\subset ({\overline{PF}}^{\varphi }_{\infty })^{\alpha }\). Assume \(x\in ({\overline{PF}}^{\varphi }_{\infty })^{\alpha }\), then \(x=\alpha ^n(x) \in \alpha ^n({\overline{PF}}^{\varphi }_{\infty })\) for any n, and in particular \(x\in \bigcap _n \alpha ^n({\overline{PF}}^{\varphi }_{\infty })=PF^T\). For any \(x\in PF^T\), one has \(Ad(b_n)(x)=x\) for any n as \(x\in \alpha ({\overline{PF}}^{\varphi }_{\infty })\). Thus, \(x\in ({\overline{PF}}^{\varphi }_{\infty })^{{\mathbb {B}}_{\infty }}\), i.e., \(PF^T\subset ({\overline{PF}}^{\varphi }_{\infty })^{{\mathbb {B}}_{\infty }}\). Moreover, \(({\overline{PF}}^{\varphi }_{\infty })^{{\mathbb {B}}_{\infty }}\subset ({\overline{PF}}^{\varphi }_{\infty })^{\alpha }\) follows from Proposition 4. \(\quad \square \)
Given a state \(\varphi \in S_{{\mathbb {B}}_{\infty }}\), let \(PF^{T,0}\) denote the neutral subalgebra of \(PF^T\), and let \(Z({\overline{PF}}^{\varphi }_{\infty }) \) denote the center of the von Neumann algebra \({\overline{PF}}^{\varphi }_{\infty }\).
Proposition 10
Let \(\varphi \in S_{{\mathbb {B}}_{\infty }}\). Then
Proof
Any neutral \(x\in PF^{T}\) commutes with all elements in \(PF_{\infty }\), and therefore commutes with all elements in \({\overline{PF}}^{\varphi }_{\infty }\). Hence \(PF^{T,0}\subset Z({\overline{PF}}^{\varphi }_{\infty })\). Furthermore, we infer from Proposition 3 that any braid \(b_{j}\in PF_{\infty }\), and also \(b_{j}\in {\overline{PF}}^{\varphi }_{\infty }\). So if \(x\in Z({\overline{PF}}^{\varphi }_{\infty })\), one has \(b_{j}x=xb_{j}\), and x is invariant under the adjoint action of every \(b_{j}\), and \(x\in ({\overline{PF}}^{\varphi }_{\infty })^{{\mathbb {B}}_{\infty }}\). Thus we infer from Proposition 9 that \(x\in ({\overline{PF}}^{\varphi }_{\infty })^{\alpha } = PF^{T}\), so \(PF^{T,0}\subset Z({\overline{PF}}^{\varphi }_{\infty })\subset PF^{T}\).
If \(x\in Z({\overline{PF}}^{\varphi }_{\infty })\), then \(c_{1}E_T(x)=E_T(x)c_{1}\). Since \(x\in Z({\overline{PF}}^{\varphi }_{\infty })\subset PF^{T}\), \(c_{1}E_T(x) c_{1}^{-1} =q^{\deg (E_T(x))} E_T(x)\). So \(\deg (E_T(x)) =0\). Hence \(Z({\overline{PF}}^{\varphi }_{\infty })\subset PF^{T,0}\), and \(PF^{T,0}= Z({\overline{PF}}^{\varphi }_{\infty })\). \(\quad \square \)
Let I be a subset \(I\subset {\mathbb {N}}\), and let \(PF_{I}\) denote the parafermion algebra generated by the \(c_{i}\) with \(i\in I\). For two subsets \(I, J \subset {\mathbb {N}}\), let \(I<J\) means that for \(i<j\) for all \(i\in I, j\in J\). Clearly if \(x\in PF_{I}\) and \(y\in PF_{J}\) with \(I<J\), then
Proposition 11
Let \(\varphi \in S_{{\mathbb {B}}_{\infty }}\), and let \(x\in PF_{I}\), \(y\in PF_{J}\), where \(I<J\) or \(J<I\) are finite subsets of \({\mathbb {N}}\). Then \(E_T(xy)=E_T(x)E_T(y)\). Likewise, if \(x_{i}\in PF_{I_{i}}\) for increasing intervals \(I_{i}<I_{j}\) for \(i<j\), then
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 \(\sigma _n\in {\mathbb {B}}_{\infty }\) such that \(\sigma _n(xy)=x\alpha ^n(y)\). Thus using from Proposition 9 and the invariance of \(PF^{T}\) under braids,
Then using (26), the \(\alpha \)-shift-invariance of \(PF^{T}\) given in Proposition 9, and the fact that \(PF^{T}\) is an algebra, we infer for \(n,k\in {\mathbb {N}}\) that
If x and y have a given degree, then \(\deg (E_{T}(x))=\deg (x)\). So if \(J<I\) and \(xy=(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 two-element case. \(\quad \square \)
Proposition 12
Let \(\varphi \) be an extremal state in \(S_{{\mathbb {B}}_{\infty }}\), then \(PF^{T,0}={\mathbb {C}}\).
Proof
We show that if \(PF^{T,0}\) is not trivial, then \(\varphi \) is not extremal. If \(\dim (PF^{T,0}) \ne 1\), there exists a non-trivial projection \(P\in PF^{T,0}\). By Proposition 10, \(PF^{T,0}=Z({\overline{PF}}^{\varphi }_{\infty })\). If \(\varphi (P)=0\), then \(0\leqslant \varphi (x^*Px)=\varphi (Px^*x) \leqslant \sqrt{\varphi (P) \varphi ((x^*x)^2)}=0\). So \(\varphi (x^*Px)=0\), for any \(x \in {\overline{PF}}^{\varphi }_{\infty }\). Therefore \(P=0\) in \({\overline{PF}}^{\varphi }_{\infty }\), a contradiction. Similarly, if \(\varphi (P)=1\), then \(P=I\), a contradiction. Therefore \(\beta =\varphi (P)\in (0,1)\).
Proposition 9 shows P is invariant under action of \({\mathbb {B}}_{\infty }\). Let \(\varphi _1(\cdot )=\frac{1}{\beta }\varphi (P(\cdot ))\), and let \(\varphi _2(\cdot )=\frac{1}{1-\beta }\varphi ((1-P)( \cdot ))\). Then \(\varphi _1, \varphi _2\in S_{{\mathbb {B}}_{\infty }}\) and \(\varphi =\beta \varphi _1+(1-\beta )\varphi _2\), which contracts with the fact that \(\varphi \) is extremal. \(\quad \square \)
5 The Inverse de Finetti Theorem
Suppose \({\mathscr {A}}\) is a finite dimensional matrix algebra and \(\rho \) is a state on \({\mathscr {A}}\). Let \({\mathscr {A}}^{\otimes m}=\otimes ^{m}_{k=1} {\mathscr {A}} \) be the mth tensor power of \({\mathscr {A}}\) and \({\mathscr {A}}_{\infty }=\otimes ^{\infty }_{k=1}{\mathscr {A}}\) be the infinite tensor power of \({\mathscr {A}}\). Let \(S_{P, {\mathscr {A}}_{\infty }}\) be the states on the infinite tensor product of \({\mathscr {A}}\) which are invariant under the permutation group. The de Finetti theorem said that if \(\varphi \) is an extremal point in \(S_{P, {\mathscr {A}}_{\infty }}\), then \(\varphi \) is the infinite product state \(\prod \rho \), for some state \(\rho \) on \({\mathscr {A}}\). It was shown by Størmer, that any symmetric product state is extremal in \(S_{P, {\mathscr {A}}_{\infty }}\), see Theorem 2.7 in [Sto69] for a general result on \(C^*\)-algebras.
The tensor product of states on \({\mathscr {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:
Theorem 13
Suppose \({\mathscr {A}}\) is a finite dimensional matrix algebra. Let \({\mathscr {S}}\) be the space of states on \({\mathscr {A}}\). For \(m\geqslant 2\), take \({\mathscr {A}}^{\otimes m}=\otimes ^{m}_{k=1} {\mathscr {A}} \). For a state \(\phi \in {\mathscr {S}}\), if \(\mu \) is a probability measure of \({\mathscr {S}}\), such that,
on \({\mathscr {A}}^{\otimes m}\), then \(\mu \) is the Dirac measure at \(\phi \).
Proof
Take the restriction on \({\mathscr {A}}^{\otimes 2}\), we have that
Let \(D_{\rho }\) be the density matrix of \(\rho \). Then
Let P be the range projection of \(D_{\phi }\), and \(Q=I-P\), then
Therefore, \(QD_\rho Q=0\) for almost all D. So \(QD=DQ=0\), and \(D=PDP\). Without loss of generality, we assume that \(P=I\), then \(D_\phi \) is invertible. Take \(C_{\rho }=D_\phi ^{-1/2} D_{\rho } D_\phi ^{-1/2}\). Then
Let tr be the tracial state on \({\mathscr {A}}\). Then taking the trace of the tensor/product in the above formula,
So
Note that the covariance of \(C_{\rho }\) is
So \(Cov(C_{\rho })=0\), and \(C_{\rho }=tr(C_{\rho })\) for almost all \(\rho \). Then \(D_\rho =tr(C_{\rho }) D_{\phi }\). Both \(D_\rho \) and \(D_\phi \) have trace one, so \(D_\rho =D_\phi \). Therefore \(\mu \) is a Dirac measure at \(\rho \). \(\quad \square \)
The above proof also applies to infinite tensors and we recover the result of Størmer for matrix algebras:
Theorem 14
Suppose \(\rho \) is a state on a finite dimensional matrix algebra \({\mathscr {A}}\). Then the product state \(\prod \rho \) is extremal in \(S_{P,{\mathscr {A}}_{\infty }}\).
Proof
By the de Finetti theorem, any extremal point in \(S_{P,{\mathscr {A}}_{\infty }}\) is a product state \(\rho ^{\infty }\), for some \(\rho \in {\mathscr {S}}\). Note that \(\rho _j \rightarrow \rho \) weakly on \({\mathscr {A}}\) iff \(\rho _j^{\infty } \rightarrow \rho ^{\infty } \) weakly on \({\mathscr {A}}_{\infty }\). Thus the space of infinite symmetric product states has the same weak topology as \({\mathscr {S}}\). By the Choquet-Bishop-de Leeuw theorem, any state in \(S_{P,{\mathscr {A}}_{\infty }}\) is
for some probability measure \(\mu \) on \({\mathscr {S}}\). Therefore, any convex combination is also of the above form. For a state \(\phi \in {\mathscr {S}}\), if
then
By Theorem 13, \(\int _{\rho =\phi } d\mu (\rho )=1\). Therefore, \(\phi ^{\infty }\) is extremal in \(S_{P,{\mathscr {A}}_{\infty }}\). \(\quad \square \)
6 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_{{\mathbb {B}}_{\infty }}\) 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.
Theorem 15
Let \(d=\prod p_i\) be square free, and let \(\varphi \in S_{{\mathbb {B}}_{\infty }}\) be braid invariant. Then \(\varphi \) is neutral: \(\varphi (x)=0\), whenever \(deg(x)\ne 0\).
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 \(\varphi \geqslant 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 \(\varphi (E_T(C^{mn}_k)^*E_T(C^{mn}_k))\geqslant 0\). Comparing (58) with (59), we infer that either \(q^{(m+n)^2}>0\), or else \(\varphi (C^{mn}_j(C^{mn}_k)^*)=0\).
In our case \(0\leqslant m, n \leqslant d-1\). As we assume that d is square free, \((m+n)^{2}=0 \text{(mod } d)\) is equivalent to \((m+n)=0 \text { (mod }d)\). Thus (57) holds.
If \(m+n\ne 0\) mod d, we have shown in addition that
So \(E_T(C^{mn}_k)=0\), and
Any element \(x\in PF_{\infty }\) can be expressed as the linear combination of the products \(\prod \nolimits _{k}C^{m_kn_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 \text { (mod } d)\), for all k. \(\quad \square \)
Corollary 16
Let \(d=\prod p_i\) be square free, and let \(\varphi \in S_{{\mathbb {B}}_{\infty }}\). Then
Proof
With the results of Propositions 9 and 10, we only need to show that \(PF^{T,0}=PF^{T}\). For this use the fact that we have shown in Theorem 15 that the generators of the tail algebra are all neutral. \(\quad \square \)
Theorem 17
(Neutral Case) Let \(\varphi \in S_{{\mathbb {B}}_{\infty }}\) be a braid-invariant state on the parafermion algebra \(PF_{\infty }\) of square-free order d. Then (1)–(5) are equivalent conditions:
- (1)
The state \(\varphi \) is extremal in \(S_{{\mathbb {B}}_{\infty }}\).
- (2)
The state \(\varphi =\prod _j \rho \) is a product, where \(\rho \) is a neutral state on \(PF_2\).
- (3)
The neutral part of the tail algebra \(PF^{T,0}={\mathbb {C}}\).
- (4)
The tail algebra \(PF^T={\mathbb {C}}\).
- (5)
The von Neumann algebra \({\overline{PF}}^{\varphi }_{\infty }\) is a factor.
Proof
\((1)\Rightarrow (3)\): This is established in Proposition 12.
\((4)\Rightarrow (2)\): Since any element \(x\in PF_{\infty }\) can be expressed as the linear combination of the form \(\displaystyle \prod _k C^{m_kn_k}_k\), we only need to prove that
But this is a consequence of Corollary 7, which ensures that \(\varphi =\varphi \circ E_{T}\), and Proposition 11, which shows that \(\varphi \) factors on non-overlapping elements of the tail algebra.
\((2)\Rightarrow (1)\): Suppose \(\varphi =\prod \rho =\lambda _1 \rho _1 +\lambda _2 \rho _2\), where \(\lambda _1+\lambda _2=1\), \(\lambda _1,\lambda _2>0\), and \(\rho _1,\rho _2 \in S_{{\mathbb {B}}_{\infty }}\). Let \(A=D^{\otimes m}\). Similar to the proof in Theorem 14, we have \(\rho _1=\rho _A\otimes \rho _A=\rho ^{\otimes 2m}\) on \(PF_{4m}\). Let \(m\rightarrow \infty \), we have \(\rho _1=\prod \rho \). Therefore \(\prod \rho \) is extremal.
Finally the equivalence of (3), (4), and (5) follows from Corollary 16. \(\quad \square \)
Since every state in \(S_{{\mathbb {B}}_{\infty }}\) 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 \(\varphi \in S_{{\mathbb {B}}_{\infty }}\) on the \({\mathbb {Z}}_{d}\) graded parafermion algebra is neutral, and it can be expressed as the limit of convex combinations of product states \(\prod \rho \), where \(\rho \in S(PF_2)\) is neutral.
Corollary 19
If \(\varphi '=\frac{1}{2}(\prod \rho +\prod \tau )\) where \(\rho , \tau \in S(PF_2)\) are distinct neutral states, then the von Neumann algebra \({\overline{PF}}^{\varphi '}_{\infty }\) is not a factor.
7 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_0^2\). 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 \(\varphi \in S_{{\mathbb {B}}_{\infty }}\) and let \(PF^{T,0}={\mathbb {C}}\), then there exists some \(m_0\in {\mathbb {N}}\), with \(p_0 | m_0\), \(m_0 | d\), and such that
Proof
We first show that \(PF^{T}\) has a component with a charge \(m>0\), only when \(p_{0}|m\). Suppose that \(p_{0}\) does not divide m, \(x\in PF_{I}\), and \(E_{T}(x)\in PF^{T,m}\). Then for some k and some \(J>I\), one has \(\alpha ^{k}(x)\in PF_{J}\). Using Proposition 11 and Proposition 5, we infer \(E_T(x^*\alpha ^k(x))=E_T(x)^*E_T(x)\geqslant 0\) and \(E_T(\alpha ^k(x)x^*)=E_T(x)E_T(x)^*\geqslant 0\). Besides, from the canonical parafermion relations, \(x^*\alpha ^k(x)=q^{-m^2}\alpha ^{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}\not \mid m\) means \(q^{-m^{2}}\ne 1\). So \(E_{T}(x)=0\), and \(\dim (PF^{T,m})=0\).
On the other hand suppose that \(p_0|m\). We show that \(\dim ( PF^{T,m})\leqslant 1\). In fact, for \(A\in PF^{T,m}\), the quadratic expressions \(A^*A\) and \(AA^{*}\) are both neutral. Since we have assumed that \(PF^{T,0}={\mathbb {C}}\), then \(A^*A=\lambda {\mathbb {I}} \), and also \(AA^{*}=\lambda 'I\), with \(\lambda ,\lambda '\geqslant 0\), and equal to zero only if \(A=0\). But then \((A^{*}A)^{2}= \lambda ^{2}{\mathbb {I}}=\lambda \lambda ' {\mathbb {I}}\), so \(\lambda =\lambda '\). Therefore either \(A=0\) or \(U_{A}=A/\left\Vert A \right\Vert \) is unitary.
Thus for any two non-zero elements \(A,B\in PF^{T,m}\), the neutral unitary \(U_{A}^{*}U^{}_{B}=e^{i\theta }\) is a phase, and \(U_{B} =e^{i\theta } U_{A}\). In particular \(\dim ( PF^{T,m})\leqslant 1\) as claimed. Thus
Since the dimension of \(PF^{T,kp_{0}}\) is either 0 or 1, all \(kp_0\) such that \(dim (PF^{T,kp_{0}})=1\) form a subgroup of \({\mathbb {Z}}_d\). There exists a smallest such number \(k_0\) that divides all k with \(dim (PF^{T,kp_{0}})=1\). Hence \(PF^T\) can be written as
where \(m_0=k_0p_0\). \(\quad \square \)
Define \(PF_{2}^{p_0{\mathbb {Z}}}=\{x \in PF_2 ~|~ \text {deg}(x) \in p_0{\mathbb {Z}}/ d{\mathbb {Z}}\}.\) Then for any \(x,y \in PF_{2}^{p_0{\mathbb {Z}}}\),
Therefore for any state \(\rho \) on \(PF_2\) with density matrix D in \(PF_{2}^{p_0{\mathbb {Z}}}\), the product state \(\prod \rho \) is a well-defined state on \({PF}_{\infty }\).
Theorem 21
Let \(\varphi \in S_{{\mathbb {B}}_{\infty }}\). Then the following statement are equivalent:
- \(\mathrm{(1')}\):
\(\varphi \) is extremal in \(S_{{\mathbb {B}}_{\infty }}\).
- \(\mathrm{(2')}\):
\(\varphi =\prod \rho \), where \(\rho \) is a state on \(PF_{2}\) with a density matrix in \(PF_{2}^{p_0{\mathbb {Z}}}\).
Proof
\((2') \Rightarrow (1')\): The proof is the same as the proof of \((2)\Rightarrow (1)\) in Theorem 17.
\((1')\Rightarrow (2')\): If \(\varphi \) is extremal, then Proposition 12 shows that \(PF^{T,0}={\mathbb {C}}\). Using Proposition 20, we infer (65), and that \(PF^{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 \(\varphi _{G}\) of the state \(\varphi \) to G is a convex linear combination of characters \(\chi _{j}\) on G, namely \(\varphi _G=\sum _j\lambda _j \chi _j\), where \(\lambda _{j}\geqslant 0\) and \(\sum _{j}\lambda _{j}=1\).
Each character \(\chi _i\) can be extended to a state on \(PF^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 \(\chi _i(x)=0\), for any element \(x\in {\overline{PF}}^{\varphi }_{\infty }\) orthogonal to \(PF^T\). By Proposition 9, \(PF^{T}\) is \({\mathbb {B}}_\infty \) invariant, so \(\chi _i\) is \({\mathbb {B}}_\infty \) invariant. Since \(\varphi \) is extremal, \(\varphi _G\) is equal to some character \(\chi =\chi _i\), otherwise the state \(\varphi \) can be written as the convex combination of the \({\mathbb {B}}_{\infty }\)-invariant states. Since \(\chi \) is a character, thus
That is, \(\varphi (E_T(x)E_T(y))=\varphi (E_T(x))\varphi (E_T(y)).\) By Proposition 11, \(\varphi =\prod \rho \) for some state \(\rho \) on \(PF_{2}\).
Let \(D=\sum _{k \in {\mathbb {Z}}_d} D_{k}\) be the density matrix of \(\rho \), and \(D_{k}\ne 0\) in \(PF_2^k\). Then \(\varphi (D_k^*\alpha (D_k^*))=\rho (D_k^*)^2>0.\) On the other hand
So \(q^{k^2}=1\) and \(p_0 | k\). Therefore \(D\in PF_2^{p_0{\mathbb {Z}}}\). \(\quad \square \)
Theorem 22
Given a state \(\varphi \in S_{{\mathbb {B}}_{\infty }}\), then the following statements are equivalent:
- \(\mathrm{(3')}\):
\(PF^{T,0}={\mathbb {C}}\).
- \(\mathrm{(4')}\):
\({\overline{PF}}^{\varphi }_{\infty }\) is a factor.
- \(\mathrm{(5')}\):
\(\varphi =\sum _{j}\lambda _{j}\chi _i\circ \prod \rho \), namely for any homogenous \(x \in {\overline{PF}}^{\varphi }\),
$$\begin{aligned} \varphi (x)=\sum _{j}\lambda _{j}\chi _i(\text {deg}(x)) (\prod \rho )(x), \end{aligned}$$(68)and the density matrix of \(\rho \) is in \(PF_2^{p_0{\mathbb {Z}}}\).
Proof
Proposition 10 ensures the equivalence between \((3')\) and \((4')\).
\((3')\Rightarrow (5')\): If \(PF^{T,0}={\mathbb {C}}1\), then based on the proof of \((1')\Rightarrow (2')\), the state restricted in the cyclic group G \(\varphi _G\) can be expressed as the convex combination of characters \(\sum _i\lambda _i \chi _i\). For any \(A\in P_I\) and \(B\in P_J\), \(I<J\). We only need to consider the case where \(m_0|\text {deg}(A), m_0|\text {deg}(B)\). Thus
Due to the proof of \((1')\Rightarrow (2')\), each irreducible character corresponds to one state which can be written as the product state. Thus, the state \(\chi _0\circ E_T\) can be written as \(\prod \rho \), and the density matrix of \(\rho \) is in \(PF_{2}^{p_0{\mathbb {Z}}}\). Therefore \(\varphi =\sum _i\lambda _i\chi _i\circ \prod \rho \).
\((5') \Rightarrow (3')\): Let \(\{b_k\}_{k\in {\mathbb {Z}}_d}\) be an orthonormal basis of \(PF_2\) with inner product \(\langle x,y \rangle =\varphi (y^*x)\), such that \(b_0=I\). Since \(\varphi \) can be written as \(\sum _i\lambda _i \chi _i\circ \prod \rho \), then any element \(x\in PF^{T,0}\) has the orthogonal decomposition
where
for some \(\beta _{i,k}\in {\mathbb {C}}\), \(x_{i,k} \in {\overline{PF}}^{\varphi }\), such that \(\text {deg}(x_i)=0\) and \(\varphi (x_j^*x_i)= \prod \rho (x_j^*x_i)=0\), for \(i\ne j\). Besides, \(\alpha (x)=x\), which implies that \(x_i=0\) for \(i \geqslant 1\). That is, all the element in \(PF^{T,0}\) is in proportion to the identity. Thus, we obtain \((5')\). \(\quad \square \)
Besides, the condition \((2')\) can always implies the condition \((5')\), these five conditions can be summarized as follows.
That is, for the extremal \({\mathbb {B}}_{\infty }\)-invariant state, the corresponding tail algebra \(PF^T\) can be decomposed as (65).
8 Summary
We have proposed and proved a new type of de Finetti theorem for the parafermion algebra \(PF_{\infty }\) with respect to the action of braid group \({\mathbb {B}}_{\infty }\) 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, braid-invariant states, and show that these properties are equivalent to the states being product states on \(\prod PF_{2}\cong \prod {\mathbb {M}}_{d}\).
In the square-free case, we have found other equivalent conditions for a braid-invariant state \(\varphi \) to be extremal. It is surprising that one such condition is that the von Neumann algebra \({\overline{PF}}^{\varphi }_{\infty }\) is a factor; so if \(\varphi \) 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.
Notes
We use \(\left\Vert \ \cdot \ \right\Vert \) to denote the norm of an operator and \(\left|\,\cdot \, \right|\) to denote the norm of a vector.
References
Banica, T., Curran, S., Speicher, R.: De Finetti theorems for easy quantum groups. Ann. Probab. 40(1), 401–435 (2012)
Barrett, J., Leifer, M.: The de Finetti theorem for test spaces. New J. Phys. 11(3), 033024 (2009)
Brandão, F.G.S.L., Christandl, M., Yard, J.: A Quasipolynomial-time algorithm for the quantum separability problem. In: STOC 11 Proceedings of the 43rd ACM Symposium on Theory of Computing, pp. 343–352 (2011). ACM
Brandão, F.G.S.L., Plenio, M.B.: A generalization of quantum Stein’s lemma. Commun. Math. Phys. 295(3), 791–828 (2010)
Brandão, F.G.S.L., Harrow, A.W.: Quantum de Finetti theorems under local measurements with applications. Commun. Math. Phys. 353(2), 469–506 (2017)
Clarke, D.J., Alicea, J., Shtengel, K.: Exotic non-abelian anyons from conventional fractional quantum Hall states. Nat. Commun. 4, 1348 (2013)
Caves, C.M., Fuchs, C.A., Schack, R.: Unknown quantum states: the quantum de Finetti representation. J. Math. Phys. 43(9), 4537 (2002)
Crismale, V., Fidaleo, F.: De Finetti theorem on the CAR algebra. Commun. Math. Phys. 315(1), 135–152 (2012)
Christandl, M., König, R., Mitchison, G., Renner, R.: One-and-a-half quantum de Finetti theorems. Commun. Math. Phys. 273(2), 473–498 (2007)
Christandl, M., Toner, B.: Finite de Finetti theorem for conditional probability distributions describing physical theories. J. Math. Phys. 50, 042104 (2009)
Curran, S.: Quantum exchangeable sequences of algebras. Indiana Univ. Math. J. 58, 1097–1126 (2009)
Curran, S.: Quantum rotatability. Trans. Am. Math. Soc. 362, 4831–4851 (2010)
Dykema, K., Köstler, C.: Tail algebras of quantum exchangeable random variables. Proc. AMS 142(11), 3853–3863 (2014)
de Finetti, B.: Funzione caratteristica di un fenomeno aleatorio. Atti della R. Accademia Nazionale dei Lincei, Ser. 6, Memorie, Classe di Scienze Fisiche, Matematiche e Naturali 4, 251–299 (1931)
de Finetti, B.: La prévision: ses lois logiques, ses sources subjectives. Ann. Inst. H. Poincaré 7, 1–68 (1937)
Diaconis, P., Freedman, D.: Finite exchangeable sequences. Ann. Probab. 8(4), 745–764 (1980)
Fendley, P.: Parafermionic edge zero modes in \(Z_n\)-invariant spin chains. J. Stat. Mech. 2012(11), P11020 (2012)
Fannes, M., Lewis, J.T., Verbeure, A.: Symmetric states of composite systems. Lett. Math. Phys. 15(3), 255–260 (1988)
Gohm, R., Köstler, C.: Noncommutative independence from the braid group \({\mathbb{B}}_{\infty }\). Commun. Math. Phys. 289(2), 435–482 (2009)
Gohm, R., Köstler, C., Gohm, R., Köstler, C.: Noncommutative Independence from Characters of the Infinite Symmetric Group \({\mathbb{S}} _\infty \). arXiv:1005.5726
Hewitt, E., Leonard, J.S.: Symmetric measures on cartesian products. Trans. Am. Math. Soc. 80, 470–501 (1955)
Horodecki, R., Horodecki, P., Horodecki, M., Horodecki, K.: Quantum entanglement. Rev. Mod. Phys. 81, 865–942 (2009)
Hudson, R.L., Moody, G.R.: Locally normal symmetric states and an analogue of de Finetti’s theorem. Probab. Theory Rel. 33, 343–351 (1976)
Hutter, A., Wootton, J.R., Loss, D.: Parafermions in a Kagome lattice of qubits for topological quantum computation. Phys. Rev. X 5, 041040 (2015)
Jaffe, A., Liu, Z.: Planar para algebras, reflection positivity. Commun. Math. Phys. 352(1), 95–133 (2017)
Jaffe, A., Liu, Z., Wozniakowski, A.: Constructive simulation and topological design of protocols. New J. Phys. 19(6), 063016 (2017)
Jaffe, A., Liu, Z., Wozniakowski, A.: Holographic software for quantum networks. Sci. China Math. 61(4), 593–626 (2018)
Kitaev, A.Y.: Fault-tolerant quantum computation by anyons. Ann. Phys. 303(1), 2–30 (2003)
Klinovaja, J., Loss, D.: Parafermions in an interacting nanowire bundle. Phys. Rev. Lett. 112, 246403 (2014)
König, R., Renner, R.: A de Finetti representation for finite symmetric quantum states. J. Math. Phys. 46(12), 122108 (2005)
Köstler, C.: A noncommutative extended de Finetti theorem. J. Funct. Anal. 258(4), 1073–1120 (2010)
Köstler, C., Speicher, R.: A noncommutative de Finetti theorem: invariance under quantum permutations is equivalent to freeness with amalgamation. Comm. Math. Phys. 291(2), 473–490 (2009)
Lindner, N.H., Berg, E., Refael, G., Stern, A.: Fractionalizing majorana fermions: non-abelian statistics on the edges of abelian quantum Hall states. Phys. Rev. X 2, 041002 (2012)
Liu, W.: A noncommutative de Finetti theorem for boolean independence. J. Funct. Anal. 269(7), 1950–1994 (2015)
Liu, W.: Extended de Finetti theorems for boolean independence and monotone independence. Trans. Am. Math. Soc. 370, 1959–2003 (2018)
Li, K., Smith, G.: Quantum de Finetti theorem under fully-one-way adaptive measurements. Phys. Rev. Lett. 114, 160503 (2015)
Liu, Z., Wozniakowski, A., Jaffe, A.: Quon 3d language for quantum information. Proc. Natl. Acad. Sci. 114, 2497–2502 (2017)
Mong, R.S.K., Clarke, D.J., Alicea, J., Lindner, N.H., Fendley, P., Nayak, C., Oreg, Y., Stern, A., Berg, E., Shtengel, K., Fisher, M.P.A.: Universal topological quantum computation from a superconductor-abelian quantum Hall heterostructure. Phys. Rev. X 4, 011036 (2014)
Nayak, C., Simon, S.H., Stern, A., Freedman, M., Sarma, S.D.: Non-abelian anyons and topological quantum computation. Rev. Mod. Phys. 80, 1083–1159 (2008)
Renner, R.: Security of quantum key distribution, arXiv:quant-ph/0512258
Renner, R.: Symmetry of large physical systems implies independence of subsystems. Nat. Phys. 3, 645–649 (2007)
Raggio, G.A., Werner, R.F.: Quantum statistical mechanics of general mean field systems. Helv. Phys. Acta 62, 980–1003 (1989)
Riesz, F., Sz.-Nagy, B.: Functional Analysis. Frederick Ungar Publishing Company, New York (1955)
Størmer, E.: Symmetric states of infinite tensor products of \(C^{*}\)-algebras. J. Funct. Anal. 3(1), 48–68 (1969)
You, Y.-Z., Wen, X.-G.: Projective non-abelian statistics of dislocation defects in a \({{\mathbb{Z}}}_{N}\) rotor model. Phys. Rev. B 86, 161107 (2012)
Acknowledgements
All the authors thank Harvard University for hospitality during the conception and writing of this paper. We are grateful to Claus Köstler, as well as to the anonymous referee, for a number of helpful comments on earlier versions of our paper. We thank the Templeton Religion Trust for support of this research under Grants TRT0080 and TRT0159. Kaifeng Bu was partially supported with an Academic Award for Outstanding Doctoral Candidates from Zhejiang University. Arthur Jaffe was partially supported by ARO Grant W911NF1910302. Jinsong Wu was supported by NSFC 11771413.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by M. M. Wolf.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Bu, K., Jaffe, A., Liu, Z. et al. De Finetti Theorems for Braided Parafermions. Commun. Math. Phys. 373, 435–456 (2020). https://doi.org/10.1007/s00220-019-03579-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-019-03579-1