We define two dual tensor network representations of the (3+1)d toric code ground state subspace. These two representations, which are obtained by initially imposing either family of stabilizer constraints, are characterized by different virtual symmetries generated by string-like and membrane-like operators, respectively. We discuss the topological properties of the model from the point of view of these virtual symmetries, emphasizing the differences between both representations. In particular, we argue that, depending on the representation, the phase diagram of boundary entanglement degrees of freedom is naturally associated with that of a (2+1)d Hamiltonian displaying either a global or a gauge $\mathbb Z_2$-symmetry.
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.
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.
We study Hamiltonians which have Kitaev's toric code as a ground state, and show how to construct a Hamiltonian which shares the ground space of the toric code, but which has gapless excitations with a continuous spectrum in the thermodynamic limit. Our construction is based on the framework of Projected Entangled Pair States (PEPS), and can be applied to a large class of two-dimensional systems to obtain gapless "uncle Hamiltonians".
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 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 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…
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 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.
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.
Nonlocal games yield an unusual perspective on entangled quantum states. The defining property of such games is that a set of players in joint possession of an entangled state can win the game with higher probability than is allowed by classical physics. Here we construct a nonlocal game that can be won with certainty by $2N$ players if they have access to the ground state of the toric code on as many qubits. By contrast, the game cannot be won by classical players more than half the time in the large $N$ limit. Our game differs from previous examples because it arranges the players on a latti…
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…
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…
The honeycomb lattice Kitaev model H_{K} with two kinds of Wen-Toric-code four-body interactions H_{WT} is investigated exactly using a new fermionization method, and the ground state phase diagram is obtained. Six kinds of three-body interactions are also considered. A Hamiltonian equivalent to the honeycomb lattice Kitaev model is also introduced. The fermionization method is generalized to two-dimensional systems, and the two-dimensional Jordan-Wigner transformation is obtained as a special case of this formula. The model H_{K}+H_{WT} is symmetric in four-dimensional space of coupling const…
We introduce a new topological quantum code, the three-dimensional subsystem toric code (3D STC), which is a generalization of the stabilizer toric code. The 3D STC can be realized by measuring geometrically-local parity checks of weight at most three on the cubic lattice with open boundary conditions. We prove that single-shot quantum error correction (QEC) is possible with the 3D STC, i.e., one round of local parity-check measurements suffices to perform reliable QEC even in the presence of measurement errors. We also propose an efficient single-shot QEC strategy for the 3D STC and investiga…
We analyze the effect of typical, unknown perturbations on the 2D toric code when acting as a quantum memory, incorporating the effects of error correction on read-out. By transforming the system into a 1D transverse Ising model undergoing an instantaneous quench, and making extensive use of Lieb-Robinson bounds, we prove that for a large class of perturbations, the survival time of stored information grows at least logarithmically with the system size. A uniform magnetic field saturates this scaling behavior. We show that randomizing the stabilizer strengths gives a polynomial survival time w…
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 present a procedure to obtain the Hamiltonians of the toric code and Kitaev quantum double models as the low-energy limits of entirely two-body Hamiltonians. Our construction makes use of a new type of perturbation gadget based on error-detecting subsystem codes. The procedure is motivated by a PEPS description of the target models, and reproduces the target models' behavior using only couplings which are natural in terms of the original Hamiltonians. This allows our construction to exactly capture the symmetries of the target models.
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…
It is well-known that the partition function of a classical spin model can be mapped to a quantum entangled state where some properties on one side can be used to find new properties on the other side. However, the consequences of the existence of a classical (critical) phase transition on the corresponding quantum state has been mostly ignored. This is particularly interesting since the classical partition function exhibits non-analytic behavior at the critical point and such behavior could have important consequences on the quantum side. In this paper, we consider this problem for an importa…
We have studied the dynamics of a generalized toric code based on qudits at finite temperature by finding the master equation coupling the code's degrees of freedom to a thermal bath. As a consequence, we find that for qutrits new types of anyons and thermal processes appear that are forbidden for qubits. These include creation, annihilation and diffusion throughout the system code. It is possible to solve the master equation in a short-time regime and find expressions for the decay rates as a function of the dimension $d$ of the qudits. Although we provide an explicit proof that the system re…
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…
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…
We introduce a two-parameter family of perturbations of Kitaev's Toric Code Model in which the anyonic excitations acquire an interesting dynamics. We study the dynamics of this model in the space of states with electric and magnetic charge both equal to 1 and find that the model exhibits both bound states and scattering states in a suitable region of the parameters. The bound state is a Majorana fermion with a dispersion relation of Dirac cone type. For a certain range of model parameters, we find that these bound states disappear in a continuum of scattering states at a critical value of the…
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（马克斯·普朗克复杂系统物理研究所）
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 Kitaev model is a remarkable spin model with gapped and gapless spin liquid phases, which are potentially realized in iridates and $α$-RuCl$_3$. In the recent experiment of $α$-RuCl$_3$, the signature of a nematic transition to the gapped toric code phase, which breaks the $C_3$ symmetry of the system, has been observed through the angle dependence of the heat capacity. We here propose a mechanism by which the nematic transition can be detected electrically. This is seemingly impossible because $J_\textrm{eff}=1/2$ spins do not have an electric quadrupole moment (EQM). However, in the seco…
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 construct a tensor network representation of the 3d toric code ground state that is stable to a generating set of uniform local tensor perturbations, including those that do not map to local operators on the physical Hilbert space. The stability is established by mapping the phase diagram of the perturbed tensor network to that of the 3d Ising gauge theory, which has a non-zero finite temperature transition. More generally, we find that the stability of a topological tensor network state is determined by the form of its virtual symmetries and the topological excitations created by virtual o…
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…
We study the robustness of 3D intrinsic topogical order under external perturbations by investigating the paradigmatic microscopic model, the 3D toric code in an external magnetic field. Exact dualities as well as variational calculations reveal a ground-state phase diagram with first and second-order quantum phase transitions. The variational approach can be applied without further approximations only for certain field directions. In the general field case, an approximative scheme based on an expansion of the variational energy in orders of the variational parameters is developed. For the bre…
Tata Institute of Fundamental Research（塔塔基础研究所）；National Tsing Hua University（国立清华大学）；Yukawa Institute for Theoretical Physics, Kyoto University（京都大学汤川理论物理研究所）
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.
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（印度孟买理工学院物理系）
The toric code can be constructed as a gauge theory of finite groups on oriented two dimensional lattices. Here we construct analogous models with the gauge fields belonging to groupoids, which are categories where every morphism has an inverse. We show that a consistent system can be constructed for an arbitrary groupoid and analyze the simplest example that can be seen as the analog of the Abelian $\mathbb{Z}_2$ toric code. We find several exactly solvable models that have fracton-like features which include an extensive ground state degeneracy and excitations that are either immobile or hav…
We introduce a two-dimensional electronic insulator that possesses a toric code topological order enriched by translation symmetry. This state can be realized from disordering a weak topological superconductor by double-vortex condensation. It is termed the toric code insulator, whose anyonic excitations consist of a charge-$e$ chargon, a neutral fermion and two types of visons. There are two types of visons because they have constrained motion as a consequence of the fractional Josephson effect of one-dimensional topological superconductor. Importantly, these two types of visons are related b…
