Quantum tensor network states and more particularly projected entangled-pair states provide a natural framework for representing ground states of gapped, topologically ordered systems. The defining feature of these representations is that topological order is a consequence of the symmetry of the underlying tensors in terms of matrix product operators. In this paper, we present a systematic study of those matrix product operators, and show how this relates entanglement properties of projected entangled-pair states to the formalism of fusion tensor categories. From the matrix product operators we construct a C*-algebra and find that topological sectors can be identified with the central idempotents of this algebra. This allows us to construct projected entangled-pair states containing an arbitrary number of anyons. Properties such as topological spin, the S matrix, fusion and braiding relations can readily be extracted from the idempotents. As the matrix product operator symmetries are acting purely on the virtual level of the tensor network, the ensuing Wilson loops are not fattened when perturbing the system, and this opens up the possibility of simulating topological theories away from renormalization group fixed points. We illustrate the general formalism for the special cases of discrete gauge theories and string-net models.
Matrix product states (MPS) have proven to be a very successful tool to study lattice systems with local degrees of freedom such as spins or bosons. Topologically ordered systems can support anyonic particles which are labeled by conserved topological charges and collectively carry non-local degrees of freedom. In this paper we extend the formalism of MPS to lattice systems of anyons. The anyonic MPS is constructed from tensors that explicitly conserve topological charge. We describe how to adapt the time-evolving block decimation (TEBD) algorithm to the anyonic MPS in order to simulate dynami…
Anyons exist as point like particles in two dimensions and carry braid statistics which enable interactions that are independent of the distance between the particles. Except for a relatively few number of models which are analytically tractable, much of the physics of anyons remain still unexplored. In this paper, we show how U(1)-symmetry can be combined with the previously proposed anyonic Matrix Product States to simulate ground states and dynamics of anyonic systems on a lattice at any rational particle number density. We provide proof of principle by studying itinerant anyons on a one di…
Gapped Boundaries of Kitaev's Quantum Double Models: A Lattice Realization of Anyon Condensation from Lagrangian Algebras
Shenzhen Institute for Quantum Science and Engineering, Southern University of Science and Technology（南方科技大学量子科学与工程研究院）；International Quantum Academy（国际量子学院）；Guangdong Provincial Key Laboratory of Quantum Science and Engineering, Southern University of Science and Technology（南方科技大学广东省量子科学与工程重点实验室）；Hefei National Laboratory, University of Science and Technology of China（中国科学技术大学合肥国家实验室）；Hefei National Research Center for Physical Sciences at the Microscale and School of Physical Sciences, University of Science and Technology of China（中国科学技术大学微尺度物质科学国家研究中心物理科学学院）
We study the properties of entanglement in two-dimensional topologically ordered phases of matter. Such phases support anyons, quasiparticles with exotic exchange statistics. The emergent nonlocal state spaces of anyonic systems admit a particular form of entanglement that does not exist in conventional quantum mechanical systems. We study this entanglement by adapting standard notions of entropy to anyonic systems. We use the algebraic theory of anyon models (modular tensor categories) to illustrate the nonlocal entanglement structure of anyonic systems. Using this formalism, we present a gen…
We discuss generalizations of quantum spin Hamiltonians using anyonic degrees of freedom. The simplest model for interacting anyons energetically favors neighboring anyons to fuse into the trivial (`identity') channel, similar to the quantum Heisenberg model favoring neighboring spins to form spin singlets. Numerical simulations of a chain of Fibonacci anyons show that the model is critical with a dynamical critical exponent z=1, and described by a two-dimensional conformal field theory with central charge c=7/10. An exact mapping of the anyonic chain onto the two-dimensional tricritical Ising…
String-net condensation can give rise to non-Abelian anyons whereas loop condensation usually gives rise to Abelian anyons. It has been proposed that generalized quantum loop gases with non-orthogonal inner products can produce non-Abelian anyons. We detail an exact mapping between the string-net and the generalized loop models and explain how the non-orthogonal products arise. We also introduce a loop model of double-stranded nets where quantum loops with an orthogonal inner product and local interactions supports non-Abelian Fibonacci anyons. Finally we emphasize the origin of the sign probl…
We show that different classes of topological order can be distinguished by the dynamical symmetry algebra of edge excitations. Fundamental topological order is realized when this algebra is the largest possible, the algebra of quantum area-preserving diffeomorphisms, called $W_{1+\infty}$. We argue that this order is realized in the Jain hierarchy of fractional quantum Hall states and show that it is more robust than the standard Abelian Chern-Simons order since it has a lower entanglement entropy due to the non-Abelian character of the quasi-particle anyon excitations. These behave as SU($m$…
We show that the mathematical structures in a recent work of Bultinck-Mariena-Williamson-Sahinoglu-Haegemana-Verstraete are the same as those of flat symmetric bi-unitary connections and the tube algebra in subfactor theory. More specifically, a system of flat symmetric bi-unitary connections arising from a subfactor with finite index and finite depth satisfies all their requirements for tensors and the tube algebra for such a subfactor and the anyon algebra for such tensors are isomorphic up to the normalization constants. Furthermore, the matrix product operator algebras arising from tensors…
We study the realization of anyon-permuting symmetries of topological phases on the lattice using tensor networks. Working on the virtual level of a projected entangled pair state, we find matrix product operators (MPOs) that realize all unitary topological symmetries for the toric and color codes. These operators act as domain walls that enact the symmetry transformation on anyons as they cross. By considering open boundary conditions for these domain wall MPOs, we show how to introduce symmetry twists and defect lines into the state.
We examine tunneling of topological charge between non-Abelian anyons as a perturbation of the long-range effective theory of a topologically ordered system. We obtain energy corrections in terms of the anyons' universal algebraic structure and non-universal tunneling amplitudes. We find that generic tunneling completely lifts the topological degeneracy of non-Abelian anyons. This degeneracy splitting is exponentially suppressed for long distances between anyons, but leaves no topological protection at shorter distances. We also show that general interactions of anyons can be expressed in term…
A bi-unitary connection in subfactor theory of Jones producing a subfactor of finite depth gives a 4-tensor appearing in a recent work of Bultinck-Mariena-Williamson-Sahinoglu-Haegemana-Verstraete on 2-dimensional topological order and anyons. In their work, they have a special projection called a projector matrix product operator. We prove that the range of this projection of length k is naturally identified with the k-th higher relative commutant of the subfactor arising from the bi-unitary connection. This gives a further connection between 2-dimensional topological order and subfactor theo…
Topological ordered phases are related to changes in the properties of their quasi-particle excitations (anyons). We study these relations in the framework of projected entanglement pair states (\textsf{PEPS}) and show how condensing and confining anyons reduces a local gauge symmetry to a global on-site symmetry. We also study the action of this global symmetry over the quasiparticle excitations. As a byproduct, we observe that this symmetry reduction effect can be applied to one-dimensional systems as well, and brings about appealing physical interpretations on the classification of phases w…
The theory of anyon systems, as modular functors topologically and unitary modular tensor categories algebraically, is mature. To go beyond anyons, our first step is the interplay of anyons with conventional group symmetry due to the paramount importance of group symmetry in physics. This led to the theory of symmetry-enriched topological order. Another direction is the boundary physics of topological phases, both gapless as in the fractional quantum Hall physics and gapped as in toric code. A more speculative and interesting direction is the study of Banados-Teitelboim-Zanelli black holes and…
Given a unitary fusion category, one can define the Hilbert space of a so-called ``anyonic spin-chain'' and nearest neighbor Hamiltonians providing a real-time evolution. There is considerable evidence that suitable scaling limits of such systems can lead to $1+1$-dimensional conformal field theories (CFTs), and in fact, can be used potentially to construct novel classes of CFTs. Besides the Hamiltonians and their densities, the spin chain is known to carry an algebra of symmetry operators commuting with the Hamiltonian, and these operators have an interesting representation as matrix-product-…
We present systematic constructions of tensor-network wavefunctions for bosonic symmetry protected topological (SPT) phases respecting both onsite and spatial symmetries. From the classification point of view, our results show that in spatial dimensions $d=1,2,3$, the cohomological bosonic SPT phases protected by a general symmetry group $SG$ involving onsite and spatial symmetries are classified by the cohomology group $H^{d+1}(SG,U(1))$, in which both the time-reversal symmetry and mirror reflection symmetries should be treated as anti-unitary operations. In addition, for every SPT phase pro…
Starting from the fusion rules for the algebra $SO(5)_2$ we construct one-dimensional lattice models of interacting anyons with commuting transfer matrices of `interactions round the face' (IRF) type. The conserved topological charges of the anyon chain are recovered from the transfer matrices in the limit of large spectral parameter. The properties of the models in the thermodynamic limit and the low energy excitations are studied using Bethe ansatz methods. Two of the anyon models are critical at zero temperature. From the analysis of the finite size spectrum we find that they are effectivel…
In two dimensions, the topological order described by $\mathbb{Z}_2$ gauge theory coupled to free or weakly interacting fermions with a nonzero spectral Chern number $ν$ is classified by $ν\; \mathrm{mod}\; 16$ as predicted by Kitaev [Ann. Phys. 321, 2 (2006)]. Here we provide a systematic and complete construction of microscopic models realizing this so-called sixteenfold way of anyon theories. These models are defined by $Γ$ matrices satisfying the Clifford algebra, enjoy a global $\mathrm{SO}(ν)$ symmetry, and live on either square or honeycomb lattices depending on the parity of $ν$. We sh…
In a physical system undergoing a continuous quantum phase transition, spontaneous symmetry breaking occurs when certain symmetries of the Hamiltonian fail to be preserved in the ground state. In the traditional Landau theory, a symmetry group can break down to any subgroup. However, this no longer holds across a continuous phase transition driven by anyon condensation in symmetry enriched topological orders (SETOs). For a SETO described by a $G$-crossed braided extension $\mathcal{C}\subseteq \mathcal{C}^{\times}_{G}$, we show that physical considerations require that a connected étale algebr…
We show that a large class of symmetry enriched (topological) phases of matter in 2+1 dimensions can be embedded in "larger" topological phases- phases describable by larger hidden Hopf symmetries. Such an embedding is analogous to anyon condensation, although no physical condensation actually occurs. This generalizes the Landau-Ginzburg paradigm of symmetry breaking from continuous groups to quantum groups- in fact algebras- and offers a potential classification of the symmetry enriched (topological) phases thus obtained, including symmetry protected trivial phases as well, in a unified frame…
Instead of studying anyon condensation in concrete models, we take an abstract approach. Assume that a system of anyons, which form a modular tensor category D, is obtained via an anyon condensation from another system of anyons (i.e. another modular tensor category C). By a bootstrap analysis, we derive the relation between C and D from natural physical requirements. It turns out that the tensor unit of D can be identified with a connected commutative separable algebra A in C. The modular tensor category D consists of all deconfined particles and can be identified with the category of local $…
We study restrictions on locality-preserving unitary logical gates for topological quantum codes in two spatial dimensions. A locality-preserving operation is one which maps local operators to local operators --- for example, a constant-depth quantum circuit of geometrically local gates, or evolution for a constant time governed by a geometrically-local bounded-strength Hamiltonian. Locality-preserving logical gates of topological codes are intrinsically fault tolerant because spatially localized errors remain localized, and hence sufficiently dilute errors remain correctable. By invoking gene…
Quantum gates built out of braid group elements form the building blocks of topological quantum computation. They have been extensively studied in $SU(2)_k$ quantum group theories, a rich source of examples of non-Abelian anyons such as the Ising ($k=2$), Fibonacci ($k=3$) and Jones-Kauffman ($k=4$) anyons. We show that the fusion spaces of these anyonic systems can be precisely mapped to the product state zero modes of certain Nicolai-like supersymmetric spin chains. As a result, we can realize the braid group on the product state zero modes of these supersymmetric systems. These operators ki…
Anyon Proliferation and Anyon Superconductivity in Higgsing Transitions via Conformal Embeddings
Society of Fellows, Harvard University（哈佛大学 fellowship 院）；Department of Physics, Harvard University（哈佛大学物理系）；University of Colorado, Boulder（科罗拉多大学博尔德分校）
Operator algebra and algorithmic construction of boundaries and defects in (2+1)D topological Pauli stabilizer codes
International Center for Quantum Materials, School of Physics, Peking University（北京大学物理学院量子材料国际中心）；Center of Mathematical Sciences and Applications, Harvard University（哈佛大学数学科学应用中心）；Joint Center for Quantum Information and Computer Science, University of Maryland（马里兰大学量子信息与计算机科学联合中心）
Dimer models have long been a fruitful playground for understanding topological physics. Here we introduce a new class - termed Majorana-dimer models - wherein bosonic dimers are decorated with pairs of Majorana modes. We find that the simplest examples of such systems realize an intriguing, intrinsically fermionic phase of matter that can be viewed as the product of a chiral Ising theory, which hosts deconfined non-Abelian quasiparticles, and a topological $p_x - ip_y$ superconductor. While the bulk anyons are described by a single copy of the Ising theory, the edge remains fully gapped. Cons…
We present a method of extracting information about topological order from the ground state of a strongly correlated two-dimensional system represented by an infinite projected entangled pair state (iPEPS). As in Phys. Rev. B 101, 041108 (2020) and 102, 235112 (2020) we begin by determining symmetries of the iPEPS represented by infinite matrix product operators (iMPO) that map between the different iPEPS transfer matrix fixed points, to which we apply the fundamental theorem of MPS to find zipper tensors between products of iMPO's that encode fusion properties of the anyons. The zippers can b…
We review recent interactions between mathematical theory of two-dimensional topological order and operator algebras, particularly the Jones theory of subfactors. The role of representation theory in terms of tensor categories is emphasized. Connections to 2-dimensional conformal field theory are also presented. In particular, we discuss anyon condensation, gapped domain walls and matrix product operators in terms of operator algebras.
We construct in the K matrix formalism concrete examples of symmetry enriched topological phases, namely intrinsically topological phases with global symmetries. We focus on the Abelian and non-chiral topological phases and demonstrate by our examples how the interplay between the global symmetry and the fusion algebra of the anyons of a topologically ordered system determines the existence of gapless edge modes protected by the symmetry and that a (quasi)-group structure can be defined among these phases. Our examples include phases that display charge fractionalization and more exotic non-lo…
