We consider charge superselection sectors of two-dimensional quantum spin models corresponding to cone localisable charges, and prove that the number of equivalence classes of such charges is bounded by the Kosaki-Longo index of an inclusion of certain observable algebras. To demonstrate the power of this result we apply the theory to the toric code on a 2D infinite lattice. For this model we can compute the index of this inclusion, and conclude that there are four distinct irreducible charges in this model, in accordance with the analysis of the toric code model on compact surfaces. We also give a sufficient criterion for the non-degeneracy of the charge sectors, in the sense that Verlinde's matrix S is invertible.
REFERENCES
1.
M. H.
Freedman
, “P/NP, and the quantum field computer
,” Proc. Natl. Acad. Sci. U.S.A.
95
, 98
–101
(1998
).2.
A.
Kitaev
, “Fault-tolerant quantum computation by anyons
,” Ann. Phys.
303
, 2
–30
(2003
).3.
C.
Nayak
, S. H.
Simon
, A.
Stern
, M.
Freedman
, and S.
Das Sarma
, “Non-abelian anyons and topological quantum computation
,” Rev. Mod. Phys.
80
, 1083
–1159
(2008
).4.
P.
Naaijkens
, “Localized endomorphisms in Kitaev's toric code on the plane
,” Rev. Math. Phys.
23
, 347
–373
(2011
).5.
P.
Naaijkens
, “Anyons in infinite quantum systems: QFT in d = 2 + 1 and the toric code
,” Ph.D. thesis (Radboud Universiteit Nijmegen
, 2012
).6.
V. F. R.
Jones
, “Index for subfactors
,” Invent. Math.
72
, 1
–25
(1983
).7.
H.
Kosaki
, “Extension of Jones' theory on index to arbitrary factors
,” J. Funct. Anal.
66
, 123
–140
(1986
).8.
R.
Longo
, “Index of subfactors and statistics of quantum fields. I
,” Commun. Math. Phys.
126
, 217
–247
(1989
).9.
R.
Longo
, “Index of subfactors and statistics of quantum fields. II. Correspondences, braid group statistics and Jones polynomial
,” Commun. Math. Phys.
130
, 285
–309
(1990
).10.
H.
Kosaki
, Type III Factors and Index Theory
, Lecture Notes Series
, Vol. 43
(Seoul National University Research Institute of Mathematics Global Analysis Research Center
, Seoul
, 1998
), pp. ii+96
.11.
P.
Camassa
, R.
Longo
, Y.
Tanimoto
, and M.
Weiner
, “Thermal states in conformal QFT. I
,” Commun. Math. Phys.
309
, 703
–735
(2012
).12.
In particular Haag duality and the distal split property for cones.
13.
Y.
Kawahigashi
, R.
Longo
, and M.
Müger
, “Multi-interval subfactors and modularity of representations in conformal field theory
,” Commun. Math. Phys.
219
, 631
–669
(2001
).14.
R.
Haag
, Local Quantum Physics: Fields, Particles, Algebras
, 2nd ed., Texts and Monographs in Physics
(Springer-Verlag
, Berlin
, 1996
), pp. xvi+390
.15.
K.
Fredenhagen
, K.-H.
Rehren
, and B.
Schroer
, “Superselection sectors with braid group statistics and exchange algebras. I. General theory
,” Commun. Math. Phys.
125
, 201
–226
(1989
).16.
F.
Wilczek
, Fractional Statistics and Anyon Superconductivity
(World Scientific Publishing Co. Inc.
, Teaneck, NJ
, 1990
), pp. x+447
.17.
E.
Verlinde
, “Fusion rules and modular transformations in 2D conformal field theory
,” Nucl. Phys. B
300
, 360
–376
(1988
).18.
M.
Müger
, “On charged fields with group symmetry and degeneracies of Verlinde's matrix S
,” Ann. Inst. Henri Poincaré (A)
71
, 359
–394
(1999
).19.
O.
Bratteli
and D. W.
Robinson
, Operator Algebras and Quantum Statistical Mechanics. 1
, 2nd ed., Texts and Monographs in Physics (Springer-Verlag
, New York
, 1987
), pp. xiv+505
.20.
O.
Bratteli
and D. W.
Robinson
, Operator Algebras and Quantum Statistical Mechanics. 2
, 2nd ed., Texts and Monographs in Physics
(Springer-Verlag
, Berlin
, 1997
), pp. xiv+519
.21.
More abstractly, one can take the inductive limit of the net in the category of C*-algebras.
22.
D.
Buchholz
and K.
Fredenhagen
, “Locality and the structure of particle states
,” Commun. Math. Phys.
84
, 1
–54
(1982
).23.
J.
Haah
, “Commuting Pauli Hamiltonians as maps between free modules
,” preprint arXiv:1204.1063 (2012
).24.
M. A.
Levin
and X.-G.
Wen
, “String-net condensation: A physical mechanism for topological phases
,” Phys. Rev. B
71
, 045110
(2005
).25.
One can compose two endomorphisms, for example.
26.
R.
Alicki
, M.
Fannes
, and M.
Horodecki
, “A statistical mechanics view on Kitaev's proposal for quantum memories
,” J. Phys. A
40
, 6451
–6467
(2007
).27.
P.
Naaijkens
, “Haag duality and the distal split property for cones in the toric code
,” Lett. Math. Phys.
101
, 341
–354
(2012
).28.
D.
Guido
and R.
Longo
, “Relativistic invariance and charge conjugation in quantum field theory
,” Commun. Math. Phys.
148
, 521
–551
(1992
).29.
M.
Keyl
, T.
Matsui
, D.
Schlingemann
, and R. F.
Werner
, “Entanglement Haag-duality and type properties of infinite quantum spin chains
,” Rev. Math. Phys.
18
, 935
–970
(2006
).30.
The index can be defined for finite factors as well (and indeed, it was first defined for subfactors of Type II1), but there are technical differences between these cases.
31.
The superselection criterion should then be suitably modified as well.
32.
R.
Longo
and J. E.
Roberts
, “A theory of dimension
,” K-Theory
11
, 103
–159
(1997
).33.
R.
Longo
and K.-H.
Rehren
, “Nets of subfactors
,” Rev. Math. Phys.
7
, 567
–597
(1995
), Workshop on Algebraic Quantum Field Theory and Jones Theory, Berlin, 1994.34.
In the language of fusion categories, this means that the index is equal to the dimension of the fusion category of superselection sectors.
35.
The reader who is uneasy with this brief justification is referred to the proof of Lemma 4.6 for similar considerations, or to the proof of Lemma 3.6 of Ref. 27, which is alike.
36.
M. A.
Rieffel
and A.
Van Daele
, “The commutation theorem for tensor products of von Neumann algebras
,” Bull. London Math. Soc.
7
, 257
–260
(1975
).37.
M.
Takesaki
, Theory of Operator Algebras. I
, Encyclopaedia of Mathematical Sciences
, Vol. 124
(Springer-Verlag
, Berlin
, 2002
), pp. xx+415
.38.
M.
Takesaki
, Theory of Operator Algebras. II
, Encyclopaedia of Mathematical Sciences
, Vol. 125
(Springer-Verlag
, Berlin
, 2003
), pp. xxii+518
.39.
In the case they anti-commute, we obtain merely a projective representation. The induced action, and hence the crossed product, does not change, but the proof of Lemma 4.7 would have to be adapted.
40.
R. V.
Kadison
and J. R.
Ringrose
, Fundamentals of the Theory of Operator Algebras. Vol. II: Advanced Theory
, Graduate Studies in Mathematics
, Vol. 16
(American Mathematical Society
, Providence, RI
, 1997
), pp. i
–xxii
and
–399
.41.
M.
Pimsner
and S.
Popa
, “Entropy and index for subfactors
,” Ann. Sci. École Norm. Sup. (4)
19
, 57
–106
(1986
).42.
V.
Jones
and V. S.
Sunder
, Introduction to Subfactors
, London Mathematical Society Lecture Note Series
, Vol. 234
(Cambridge University Press
, Cambridge
, 1997
), pp. xii+162
.43.
More precisely, the endomorphism ρ actually has to be extended to an auxiliary algebra
$\protect \mathfrak {A}^{\Lambda _a}$
containing the cone algebras $\protect \mathcal {R}(\Lambda )$
. This is just for technical reasons; the details are not important here and can be found in, e.g., Ref. 4.44.
K.-H.
Rehren
, “Braid group statistics and their superselection rules
,” in The Algebraic Theory of Superselection Sectors (Palermo, 1989)
, edited by D.
Kastler
(World Sci. Publ.
, River Edge, NJ
, 1990
), pp. 333
–355
.45.
Z.
Wang
, Topological Quantum Computation
, CBMS Regional Conference Series in Mathematics
, Vol. 112
(Conference Board of the Mathematical Sciences
, Washington, DC
, 2010
), pp. xiii+115
.46.
R.
Longo
, “Simple injective subfactors
,” Adv. Math.
63
, 152
–171
(1987
).47.
S.
Doplicher
, “Local aspects of superselection rules
,” Commun. Math. Phys.
85
, 73
–86
(1982
).48.
B.
Bakalov
and A.
Kirillov
Jr., Lectures on Tensor Categories and Modular Functors
, University Lecture Series
, Vol. 21
(American Mathematical Society
, Providence, RI
, 2001
), pp. x+221
.© 2013 AIP Publishing LLC.
2013
AIP Publishing LLC
You do not currently have access to this content.
