In this manuscript we study the behaviour of the entanglement measure dubbed negativity in the context of the toric code model. Using a method introduced recently by Calabrese, Cardy and Tonni [Phys. Rev. Lett. 109, 130502 (2012)], we obtain an exact expression which illustrates how the non-local correlations present in a topologically ordered state reflect in the behaviour of the negativity of the system. We find that the negativity has a leading area-law contribution, if the subsystems are in direct contact with one another (as expected in a zero-range correlated model). We also find a topological contribution directly related to the topological entropy, provided that the partitions are topologically non-trivial in both directions on a torus. We also show that the negativity captures only quantum contributions to the entanglement. Indeed, we show that the negativity vanishes identically for the classical topologically ordered 8-vertex model, which on the contrary exhibits a finite von Neumann entropy, inclusive of topological correction.
We study the fate of quantum correlations at finite temperature in the two-dimensional toric code using the logarithmic entanglement negativity. We are able to obtain exact results that give us insight into how thermal excitations affect quantum entanglement. The toric code has two types of elementary excitations (defects) costing different energies. We show that an $O(1)$ density of the lower energy defect is required to degrade the zero-temperature entanglement between two subsystems in contact with one another. However, one type of excitation alone is not sufficient to kill all quantum corr…
We propose a diagnostic for finite temperature topological order using `topological entanglement negativity', the long-range component of a mixed-state entanglement measure. As a demonstration, we study the toric code model in $d$ spatial dimension for $d$=2,3,4, and find that when topological order survives thermal fluctuations, it possesses a non-zero topological entanglement negativity, whose value is equal to the topological entanglement entropy at zero temperature. Furthermore, we show that the Gibbs state of 2D and 3D toric code at any non-zero temperature, and that of 4D toric code abov…
We use the entanglement negativity, a measure of entanglement for mixed states, to probe the structure of entanglement in the ground state of a topologically ordered system. Through analytical calculations of the negativity in the ground state(s) of the toric code model, we explicitly show that the entanglement of a region $A$ and its complement $B$ is the sum of two types of contributions. The first type of contributions consists of \textit{boundary entanglement}, which we see to be insensitive to tracing out the interior of $A$ and $B$. It therefore entangles only degrees of freedom in $A$ a…
In this paper, we studied the doped Z2 topological spin liquid of the toric-code model. We found that the doped holes become supersymmetric particles. The ground state of the doped Z2 topological spin liquid becomes new matters of quantum states - supersymmetric Bose-Einstein condensation or supersymmetric superfluid. As a result, this system provides a unique example of manipulatable supersymmetric many-body system.
In this paper we study the symmetry protected Majorana edge states for the Z2 topological order of the Wen-plaquette model and the toric-code model and calculate the dispersion of the Majorana edge states. For the system with translational symmetry, the Majorana edge states are gapless and have the nodal points at k=0 and k=pi. For the edge states of the toric-code model without translational symmetry, the edge modes become gapped.
Typical topological systems undergo a topological phase transition in the presence of a strong enough perturbation. In this paper, we propose an adjustable frustrated Toric code with a "topological line" at which no phase transition happens in the system and the topological order is robust against a non-linear perturbation of arbitrary strength. This important result is a consequence of the interplay between frustration and nonlinearity in our system, which also causes to the emergence of other interesting phenomena such as reentrant topological phases and survival of the topological order und…
Quantum Ising model in a transverse field is of the simplest quantum many body systems used for studying universal properties of quantum phase transitions. Interestingly, it is well-known that such phase transitions can be mapped to topological phase transitions in Toric code models. Therefore, one can expect that well known properties of the transverse Ising model are used for characterizing topological phase transition in Toric code model. In this paper, we consider the magnetization of Ising model and show while it is a local order parameter, it is mapped to a non local order parameter in t…
In this work, we will show how the topological order of the Toric Code appears when the lattice on which it is defined discretizes a three-dimensional torus. In order to do this, we will present a pedagogical review of the traditional two-dimensional Toric Code, with an emphasis on how its quasiparticles are conceived and transported. With that, we want to make clear not only how all these same quasiparticle conception and transportation fit into this three-dimensional model, but to make it clear how topology controls the degeneracy of ground state in this new situation.
We demonstrate that two toric code layers on the square lattice coupled by an Ising interaction display two distinct phases with intrinsic topological order. The second-order quantum phase transition between the weakly-coupled $\mathbb{Z}_2\times\mathbb{Z}_2$ and the strongly-coupled $\mathbb{Z}_2$ topological order can be described by the condensation of bosonic quasiparticles from both sides and belongs to the 3d Ising$^*$ universality class. This can be shown by an exact duality transformation to the transverse-field Ising model on the square lattice, which builds on the existence of an ext…
We study the topological entanglement negativity between two spatial regions in (2+1)-dimensional Chern-Simons gauge theories by using the replica trick and the surgery method. For a bipartitioned or tripartitioned spatial manifold, we show how the topological entanglement negativity depends on the presence of quasiparticles and the choice of ground states. In particular, for two adjacent non-contractible regions on a tripartitioned torus, the entanglement negativity provides a simple way to distinguish Abelian and non-Abelian theories. Our method applies to a Chern-Simons gauge theory defined…
We discuss the existence of stable topological quantum memory at finite temperature. At stake here is the fundamental question of whether it is, in principle, possible to store quantum information for macroscopic times without the intervention from the external world, that is, without error correction. We study the toric code in two dimensions with an additional bosonic field that couples to the defects, in the presence of a generic environment at finite temperature: the toric-boson model. Although the coupling constants for the bare model are not finite in the thermodynamic limit, the model h…
The toric code is known to be equivalent to free fermions. This paper presents explicit local unitary transformations that map the $\mathbb{Z}_2$ toric and surface code --- the open boundary equivalent of the toric code --- to fermions. Through this construction it is shown that the surface code can be mapped to a set of free fermion modes, while the toric code requires additional fermionic symmetry operators. Finally, it is demonstrated how the anyonic statistics of these codes are encoded in the fermionic representations.
The holographic duality relates a field theory to a theory of (quantum) gravity in one dimension more. The extra dimension represents the scale of the RG transformation in the field theory. It has been conjectured that the tensor networks which arise during the real space renormalization procedure like the multi-scale entanglement renormalization ansatz (MERA) are a discretized version of the background of the gravity theory. We strive to contribute to make this conjecture testable by considering an explicit and tractable example, namely the dual network of the toric code, for which MERA can b…
Characterizing Long-Range Entanglement in a Mixed State Through an Emergent Order on the Entangling Surface
Perimeter Institute for Theoretical Physics（Perimeter理论物理研究所）；Department of Physics, University of California at San Diego（加州大学圣地亚哥分校物理系）；Department of Physics, University of California, Santa Barbara（加州大学圣塔芭芭拉分校物理系）
We investigate the quantum phase diagram of the $K$-layer Ising toric code corresponding to $K$ layers of two-dimensional toric codes coupled by Ising interactions. While for small Ising interactions the system displays $\mathbb{Z}_2^K$ topological order originating from the toric codes in each layer, the system shows $\mathbb{Z}_2$ topological order in the high-Ising limit. The latter is demonstrated for general $K$ by deriving an effective low-energy model in $K^{\rm th}$-order degenerate perturbation theory, which is given as an effective anisotropic single-layer toric code in terms of coll…
We use the entanglement negativity, a bipartite measure of entanglement in mixed quantum states, to study how multipartite entanglement constrains the real-space structure of the ground state wavefunctions of $(2+1)$-dimensional topological phases. We focus on the (Abelian) Laughlin and (non-Abelian) Moore-Read states at filling fraction $ν=1/m$. We show that a combination of entanglement negativities, calculated with respect to specific cylinder and torus geometries, determines a necessary condition for when a topological state can be disentangled, i.e., factorized into a tensor product of st…
We study topological order in a toric code in three spatial dimensions, or a 3+1D Z_2 gauge theory, at finite temperature. We compute exactly the topological entropy of the system, and show that it drops, for any infinitesimal temperature, to half its value at zero temperature. The remaining half of the entropy stays constant up to a critical temperature Tc, dropping to zero above Tc. These results show that topologically ordered phases exist at finite temperatures, and we give a simple interpretation of the order in terms of fluctuating strings and membranes, and how thermally induced point d…
We develop an approach based on edge theories to calculate the entanglement entropy and related quantities in (2+1)-dimensional topologically ordered phases. Our approach is complementary to, e.g., the existing methods using replica trick and Witten's method of surgery, and applies to a generic spatial manifold of genus $g$, which can be bipartitioned in an arbitrary way. The effects of fusion and braiding of Wilson lines can be also straightforwardly studied within our framework. By considering a generic superposition of states with different Wilson line configurations, through an interferenc…
Defects in topologically ordered models have interesting properties that are reminiscent of the anyonic excitations of the models themselves. For example, dislocations in the toric code model are known as twists and possess properties that are analogous to Ising anyons. We strengthen this analogy by using the topological entanglement entropy as a diagnostic tool to identify properties of both defects and excitations in the toric code. Specifically, we show, through explicit calculation, that the toric code model including twists and dyon excitations has the same quantum dimensions, the same to…
We analyze the robustness of topological order in the toric code in an open boundary setting in the presence of perturbations. The boundary conditions are introduced on a cylinder, and are classified into condensing and non-condensing classes depending on the behavior of the excitations at the boundary under perturbation. For the non-condensing class, we see that the topological order is more robust when compared to the case of periodic boundary conditions while in the condensing case topological order is lost as soon as the perturbation is turned on. In most cases, the robustness can be under…
We analyze the toric code model in the presence of quenched disorder, which is introduced via different types of random magnetic fields. In general, close to a quantum phase transition between a spin polarized phase and a topologically ordered one, we find that increasing the amount of disorder favors the topological phase. For some realizations of disorder, topological order can be robust against arbitrarily strong magnetic fields. In the case of the toric code in a random \pm h field, we show that the system exhibits a quantum phase transition to a spin glass phase in an appropriate dual var…
We calculate exactly the von Neumann and topological entropies of the toric code as a function of system size and temperature. We do so for systems with infinite energy scale separation between magnetic and electric excitations, so that the magnetic closed loop structure is fully preserved while the electric loop structure is tampered with by thermally excited electric charges. We find that the entanglement entropy is a singular function of temperature and system size, and that the limit of zero temperature and the limit of infinite system size do not commute. From the entanglement entropy we …
We study the competition between two different topological orders in three dimensions by considering the X-cube model and the three-dimensional toric code. The corresponding Hamiltonian can be decomposed into two commuting parts, one of which displays a self-dual spectrum. To determine the phase diagram, we compute the high-order series expansions of the ground-state energy in all limiting cases. Apart from the topological order related to the toric code and the fractonic order related to the X-cube model, we found two new phases which are adiabatically connected to classical limits with nontr…
The Z_2 topological order in Z_2 spin liquid and in exactly soluble Kitaev toric code model is the simplest topological order for 2+1D bosonic systems. More general 2+1D bosonic topologically ordered states can be constructed via exact soluble string-net models. However, the most important topologically ordered phases of matter are arguably the fermionic fractional quantum Hall states. Topological phases of matter for fermion systems are strictly richer than their bosonic counterparts because locality has different meanings for the two kinds of systems. In this paper, we describe a simple ferm…
Hall-on-Toric: Descendant Laughlin state in the chiral $\mathbb{Z}_p$ toric code
Boston University（波士顿大学）；Helmholtz-Zentrum Berlin für Materialien und Energie（柏林亥姆霍兹材料与能源中心）；Freie Universität Berlin（柏林自由大学）；Purdue University（普渡大学）；Max-Planck-Institut für Physik komplexer Systeme（马克斯·普朗克复杂系统物理研究所）
I define quantum loop models whose degrees of freedom are Ising spins on the square lattice as in the toric code, but where the excitations should have non-abelian statistics. The inner product is topological, allowing a direct implementation of the anyonic fusion matrix on the lattice. It also makes deconfined anyons possible for a variety of values of the weight per loop $d$ in the ground state. For d=\sqrt{2}, a gapped non-abelian topological phase can occur with only four-spin interactions.
The Kitaev honeycomb model is an approximate topological quantum error correcting code in the same phase as the toric code, but requiring only a 2-body Hamiltonian. As a frustrated spin model, it is well outside the commuting models of topological quantum codes that are typically studied, but its exact solubility makes it more amenable to analysis of effects arising in this noncommutative setting than a generic topologically ordered Hamiltonian. Here we study quantum error correction in the honeycomb model using both analytic and numerical techniques. We first prove explicit exponential bounds…
We study a simple model of symmetry-enriched topological order obtained by decorating a toric code model with lower-dimensional symmetry-protected topological states. We show that the symmetry fractionalization in this model can be characterized by string order parameters, and that these signatures are robust under the effects of external fields and interactions, up to the phase transition point. This extends the recent proposal of [New Journal of Physics 21, 113016 (2019)] beyond the setting of fixed-point tensor network states, and solidifies string order parameters as a useful tool to chara…
One of the important characteristics of topological phases of matter is the topology of the underlying manifold on which they are defined. In this paper, we present the sensitivity of such phases of matter to the underlying topology, by studying the phase transitions induced due to the change in the boundary conditions. We claim that these phase transitions are accompanied by broken symmetries in the excitation space and to gain further insight we analyze various signatures like the ground state degeneracy, topological entanglement entropy while introducing the open-loop operator whose expecta…
We use Projected Entangled Pair States (PEPS) to study topological quantum phase transitions. The local description of topological order in the PEPS formalism allows us to set up order parameters which measure condensation and deconfinement of anyons, and serve as a substitute for conventional order parameters. We apply these order parameters, together with anyon-anyon correlation functions and some further probes, to characterize topological phases and phase transitions within a family of models based on a $\mathbb Z_4$ symmetry, which contains $\mathbb Z_4$ quantum double, toric code, double…
We introduce a model of three-dimensional (3D) topological order enriched by planar subsystem symmetries. The model is constructed starting from the 3D toric code, whose ground state can be viewed as an equal-weight superposition of two-dimensional (2D) membrane coverings. We then decorate those membranes with 2D cluster states possessing symmetry-protected topological order under line-like subsystem symmetries. This endows the decorated model with planar subsystem symmetries under which the loop-like excitations of the toric code fractionalize, resulting in an extensive degeneracy per unit le…
Tata Institute of Fundamental Research（塔塔基础研究所）；National Tsing Hua University（国立清华大学）；Yukawa Institute for Theoretical Physics, Kyoto University（京都大学汤川理论物理研究所）
The partial transpose of density matrices in many-body quantum systems, in which one takes the transpose only for a subsystem of the full Hilbert space, has been recognized as a useful tool to diagnose quantum entanglement. It can be used, for example, to define the (logarithmic) negativity. For fermionic systems, it has been known that the partial transpose of Gaussian fermionic density matrices is not Gaussian. In this work, we propose to use partial time-reversal transformation to define (an analog of) the entanglement negativity and related quantities. We demonstrate that for the symmetry-…
Toric code made subsystem: a framework for topological subsystem codes using anticommuting quantum spin liquids
Smalley-Curl Institute, Rice University（莱斯大学斯莫利-柯尔研究所）；Department of Physics and Astronomy, Rice University（莱斯大学物理与天文系）；Department of Physics, Indian Institute of Technology Bombay（印度孟买理工学院物理系）
Kitaev's toric code is an exactly solvable model with $\mathbb{Z}_2$-topological order, which has potential applications in quantum computation and error correction. However, a direct experimental realization remains an open challenge. Here, we propose a building block for $\mathbb{Z}_2$ lattice gauge theories coupled to dynamical matter and demonstrate how it allows for an implementation of the toric-code ground state and its topological excitations. This is achieved by introducing separate matter excitations on individual plaquettes, whose motion induce the required plaquette terms. The prop…
Finite-temperature quantum topological order in three dimensions
Nanjing University（南京大学）；Yale University（耶鲁大学）；Stanford University（斯坦福大学）；Budapest University of Technology and Economics（布达佩斯技术与经济大学）；King’s College London（伦敦国王学院）；Perimeter Institute for Theoretical Physics（理论物理珀米特研究所）
Independent e- and m-anyon confinement in the parallel field toric code on non-square lattices
Ludwig-Maximilians-Universität München（慕尼黑大学）；Arnold Sommerfeld Center for Theoretical Physics (ASC)（阿诺德·索末菲理论物理中心）；Munich Center for Quantum Science and Technology (MCQST)（慕尼黑量子科学与技术中心）
It was well known that there are $e$-particles and $m$-strings in the 3-dimensional (spatial dimension) toric code model, which realizes the 3-dimensional $\mathbb{Z}_2$ topological order. Recent mathematical result, however, shows that there are additional string-like topological defects in the 3-dimensional $\mathbb{Z}_2$ topological order. In this work, we construct all topological defects of codimension 2 and higher, and show that they form a braided fusion 2-category satisfying a braiding non-degeneracy condition.
