Kitaev's quantum double models, including the toric code, are canonical examples of quantum topological models on a 2D spin lattice. Their Hamiltonian defines the groundspace by imposing an energy penalty to any nontrivial flux or charge, but does not distinguish among those. We generalize this construction by introducing a novel family of Hamiltonians made of commuting four-body projectors that provide an intricate splitting of the Hilbert space by discriminating among non-trivial charges and fluxes. Our construction highlights that anyons are not in one-to-one correspondence with energy eigenspaces, a feature already present in Kitaev's construction. This discrepancy is due to the presence of local degrees of freedom in addition to topological ones on a lattice.
Anyon condensation forms a mechanism which allows to relate different topological phases. We study anyon condensation in the framework of Projected Entangled Pair States (PEPS) where topological order is characterized through local symmetries of the entanglement. We show that anyon condensation is in one-to-one correspondence to the behavior of the virtual entanglement state at the boundary (i.e., the entanglement spectrum) under those symmetries, which encompasses both symmetry breaking and symmetry protected (SPT) order, and we use this to characterize all anyon condensations for abelian dou…
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 study a quantum double model whose degrees of freedom are Ising anyons. The terms of the Hamiltonian of this system give rise to a competition between single and double topologies. By studying the energy spectra of the Hamiltonian at different values of the coupling constants, we find extended gapless regions which include a large number of critical points described by conformal field theories with central charge c=1. These theories are part of the Z_2 orbifold of the bosonic theory compactified on a circle. We observe that the Hilbert space of our anyonic model can be associated with exten…
The category of anyon sectors for non-abelian quantum double models
Institute for Theoretical Physics, ETH Zürich（苏黎世联邦理工学院理论物理研究所）；School of Mathematics, Cardiff University（卡迪夫大学数学学院）；Department of Physics, University of California, Davis（加州大学戴维斯分校物理系）
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（中国科学技术大学微尺度物质科学国家研究中心物理科学学院）
The subject of bianyon interference with ultracold atoms is introduced through theoretical investigations pertaining to the second-order momentum correlation maps of two anyons (built upon spinless and spin-1/2 bosonic, as well as spin-1/2 fermionic ultracold atoms) trapped in a double-well optical trap. The two-particle system is modeled according to the recently proposed protocols for emulating an anyonic Hubbard Hamiltonian in ultracold-atom one-dimensional lattices. Because the second-order momentum correlations are mirrored in the time-of-flight second-order interference patterns in space…
The one dimensional quantum walk of anyonic systems is presented. The anyonic walker performs braiding operations with stationary anyons of the same type ordered canonically on the line of the walk. Abelian as well as non-Abelian anyons are studied and it is shown that they have very different properties. Abelian anyonic walks demonstrate the expected quadratic quantum speedup. Non-Abelian anyonic walks are much more subtle. The exponential increase of the system's Hilbert space and the particular statistical evolution of non-Abelian anyons give a variety of new behaviors. The position distrib…
Associated to every finite group, Kitaev has defined the quantum double model for every orientable surface without boundary. In this paper, we define boundaries for this model and characterize condensations; that is, we find all quasi-particle excitations (anyons) which disappear when they move to the boundary. We then consider two phases of the quantum double model corresponding to two groups with a domain wall between them, and study the tunneling of anyons from one phase to the other. Using this framework we discuss the necessary and sufficient conditions when two different groups give the …
Harnessing non-abelian statistics of anyons to perform quantum computational tasks is getting closer to reality. While the existence of universal anyons by braiding alone such as the Fibonacci anyon is theoretically a possibility, accessible anyons with current technology all belong to a class that is called weakly integral---anyons whose squared quantum dimensions are integers. We analyze the computational power of the first non-abelian anyon system with only integral quantum dimensions---$D(S_3)$, the quantum double of $S_3$. Since all anyons in $D(S_3)$ have finite images of braid group rep…
Inspired by non-abelian vortex anyons in spinor Bose-Einstein condensates, we consider the quantum double $\mathcal{D}(Q_8)$ anyon model as a platform to carry out a particular instance of Shor's factorization algorithm. We provide the excitation spectrum, the fusion rules, and the braid group representation for this model, and design a circuit architecture that facilitates the computation. All necessary quantum gates, less one, can be compiled exactly for this hybrid topological quantum computer, and to achieve universality the last operation can be implemented in a non-topological fashion. T…
The exact solution for the energy spectrum of a one-dimensional Hamiltonian with local two-site interactions and periodic boundary conditions is determined. The two-site Hamiltonians commute with the symmetry algebra given by the Drinfeld double D(D_3) of the dihedral group D_3. As such the model describes local interactions between non-Abelian anyons, with fusion rules given by the tensor product decompositions of the irreducible representations of D(D_3). The Bethe ansatz equations which characterise the exact solution are found through the use of functional relations satisfied by a set of m…
We propose a simple yet efficient mechanism for passive error correction in topological quantum memories. Our scheme relies on driven-dissipative ancilla systems which couple to local excitations (anyons) and make them "sink" in energy, with no required interaction among ancillae or anyons. Through this process, anyons created by some thermal environment end up trapped in potential "trenches" that they themselves generate, which can be interpreted as a "memory foam" for anyons. This self-trapping mechanism provides an energy barrier for anyon propagation, and removes entropy from the memory by…
We propose a family of order parameters to detect the symmetry fractionalization class of anyons in 2D topological phases. This fractionalization class accounts for the projective, as opposed to linear, representations of the symmetry group on the anyons. We focus on quantum double models on a lattice enriched with an internal symmetry in the framework of $G$-isometric projected entangled pair states. Unlike previous schemes based on reductions to effective 1D systems (dimensional compactification), the order parameters presented here can be probed on genuinely two-dimensional geometries, and …
We develop the general quantum measurement theory of non-Abelian anyons through interference experiments. The paper starts with a terse introduction to the theory of anyon models, focusing on the basic formalism necessary to apply standard quantum measurement theory to such systems. This is then applied to give a detailed analysis of anyonic charge measurements using a Mach-Zehnder interferometer for arbitrary anyon models. We find that, as anyonic probes are sent through the legs of the interferometer, superpositions of the total anyonic charge located in the target region collapse when they …
We demonstrate how to build a simulation of two dimensional physical theories describing topologically ordered systems whose excitations are in one to one correspondence with irreducible representations of a Hopf algebra, D(G), the quantum double of a finite group G. Our simulation uses a digital sequence of operations on a spin lattice to prepare a ground "vacuum" state and to create, braid and fuse anyonic excitations. The simulation works with or without the presence of a background Hamiltonian though only in the latter case is the system topologically protected. We describe a physical real…
We construct a Pauli stabilizer model for every two-dimensional Abelian topological order that admits a gapped boundary. Our primary example is a Pauli stabilizer model on four-dimensional qudits that belongs to the double semion (DS) phase of matter. The DS stabilizer Hamiltonian is constructed by condensing an emergent boson in a $\mathbb{Z}_4$ toric code, where the condensation is implemented by making certain two-body measurements. We rigorously verify the topological order of the DS stabilizer model by identifying an explicit finite-depth quantum circuit (with ancillary qubits) that maps …
Perturbative gadgets were originally introduced to generate effective k-local interactions in the low-energy sector of a 2-local Hamiltonian. Extending this idea, we present gadgets which are specifically suited for realizing Hamiltonians exhibiting non-abelian anyonic excitations. At the core of our construction is a perturbative analysis of a widely used hopping-term Hamiltonian. We show that in the low-energy limit, this Hamiltonian can be approximated by a certain ordered product of operators. In particular, this provides a simplified realization of Kitaev's quantum double Hamiltonians.
A prominent example of a topologically ordered system is Kitaev's quantum double model $\mathcal{D}(G)$ for finite groups $G$ (which in particular includes $G = \mathbb{Z}_2$, the toric code). We will look at these models from the point of view of local quantum physics. In particular, we will review how in the abelian case, one can do a Doplicher-Haag-Roberts analysis to study the different superselection sectors of the model. In this way one finds that the charges are in one-to-one correspondence with the representations of $\mathcal{D}(G)$, and that they are in fact anyons. Interchanging two…
A scheme based on Coherent Tunneling by Adiabatic Passage (CTAP) of exchange-only spin qubit quantum states in a linearly arranged double quantum dot chain is demonstrated. Logical states for the qubit are defined by adopting the spin state of three electrons confined in a double quantum dot. The possibility to obtain gate operations entirely with electrical manipulations makes this qubit a valuable architecture in the field of quantum computing for the implementation of quantum algorithms. The effect of the external control parameters as well as the effect of the dephasing on the coherent tun…
Symmetrization of topologically ordered wavefunctions is a powerful method for constructing new topological models. Here, we study wavefunctions obtained by symmetrizing quantum double models of a group $G$ in the Projected Entangled Pair States (PEPS) formalism. We show that symmetrization naturally gives rise to a larger symmetry group $\tilde G$ which is always non-abelian. We prove that by symmetrizing on sufficiently large blocks, one can always construct wavefunctions in the same phase as the double model of $\tilde G$. In order to understand the effect of symmetrization on smaller patch…
Models for topological quantum computation are based on braiding and fusing anyons (quasiparticles of fractional statistics) in (2+1)-D. The anyons that can exist in a physical theory are determined by the symmetry group of the Hamiltonian. In the case that the Hamiltonian undergoes spontaneous symmetry breaking of the full symmetry group G to a finite residual gauge group H, particles are given by representations of the quantum double $D(H)$ of the subgroup. The quasi-triangular Hopf Algebra D(H) is obtained from Drinfeld's quantum double construction applied to the algebra F(H) of functions …
We consider a theory of superselection sectors for infinite quantum spin systems, describing charges that can be approximately localized in cone-like regions. The primary examples we have in mind are the anyons (or charges) in topologically ordered models such as Kitaev's quantum double models and perturbations of such models. In order to cover the case of perturbed quantum double models, the Doplicher-Haag-Roberts approach, in which strict localization is assumed, has to be amended. To this end we consider endomorphisms of the observable algebra that are almost localized in cones. Under natur…
Fusion-assisted decoding of non-Abelian topological order
Harvard University（哈佛大学）；Purdue University（普渡大学）；New York University（纽约大学）；State University of New York at Stony Brook（纽约州立大学石溪分校）；University of Oklahoma（俄克拉荷马大学）；NIST/University of Maryland（美国国家标准与技术研究院/马里兰大学）；University of British Columbia（不列颠哥伦比亚大学）
Knot and link invariants naturally arise from any braided Hopf algebra. We consider the computational complexity of the invariants arising from an elementary family of finite-dimensional Hopf algebras: quantum doubles of finite groups (denoted D(G), for a group G). Regarding algorithms for these invariants, we develop quantum circuits for the quantum Fourier transform over D(G); in general, we show that when one can uniformly and efficiently carry out the quantum Fourier transform over the centralizers Z(g) of the elements of G, one can efficiently carry out the quantum Fourier transform over …
Representation by neural networks, in particular by restricted Boltzmann machines (RBM), has provided a powerful computational tool to solve quantum many-body problems. An important open question is how to characterize which class of quantum states can be efficiently represented with the RBM. Here, we show that the RBM can efficiently represent a wide class of many-body entangled states with rich exotic topological orders. This includes: (1) ground states of double semion and twisted quantum double models with intrinsic topological orders; (2) states of the AKLT model and 2D CZX model with sym…
Topological orders can be used as media for topological quantum computing --- a promising quantum computation model due to its invulnerability against local errors. Conversely, a quantum simulator, often regarded as a quantum computing device for special purposes, also offers a way of characterizing topological orders. Here, we show how to identify distinct topological orders via measuring their modular $S$ and $T$ matrices. In particular, we employ a nuclear magnetic resonance quantum simulator to study the properties of three topologically ordered matter phases described by the string-net mo…
