arXiv subjects

Dominic J. Williamson

Publications and source records attributed to Dominic J. Williamson.

At least 73 records · Page 4Linked to original sources

arXiv2020

Parallelized quantum error correction with fracton topological codes

Fracton topological phases have a large number of materialized symmetries that enforce a rigid structure on their excitations. Remarkably, we find that the symmetries of a quantum error-correcting code based on a fracton phase enable us to design decoding algorithms. Here we propose and implement decoding algorithms for the three-dimensional X-cube model. In our example, decoding is parallelized into a series of two-dimensional matching problems, thus significantly simplifying the most time consuming component of the decoder. We also find that the rigid structure of its point excitations enable us to obtain high threshold error rates. Our decoding algorithms bring to light some key ideas that we expect to be useful in the design of decoders for general topological stabilizer codes. Moreover, the notion of parallelization unifies several concepts in quantum error correction. We conclude by discussing the broad applicability of our methods, and we explain the connection between parallelizable codes and other methods of quantum error correction. In particular we propose that the new concept represents a generalization of single-shot error correction.

quant-ph↗

arXiv2020

Topological Defect Networks for Fractons of all Types

Fracton phases exhibit striking behavior which appears to render them beyond the standard topological quantum field theory (TQFT) paradigm for classifying gapped quantum matter. Here, we explore fracton phases from the perspective of defect TQFTs and show that topological defect networks---networks of topological defects embedded in stratified 3+1D TQFTs---provide a unified framework for describing various types of gapped fracton phases. In this picture, the sub-dimensional excitations characteristic of fractonic matter are a consequence of mobility restrictions imposed by the defect network. We conjecture that all gapped phases, including fracton phases, admit a topological defect network description and support this claim by explicitly providing such a construction for many well-known fracton models, including the X-Cube and Haah's B code. To highlight the generality of our framework, we also provide a defect network construction of a novel fracton phase hosting non-Abelian fractons. As a byproduct of this construction, we obtain a generalized membrane-net description for fractonic ground states as well as an argument that our conjecture implies no type-II topological fracton phases exist in 2+1D gapped systems. Our work also sheds light on new techniques for constructing higher order gapped boundaries of 3+1D TQFTs.

cond-mat.str-el↗

arXiv2019

Gauging permutation symmetries as a route to non-Abelian fractons

We discuss the procedure for gauging on-site $\mathbb{Z}_2$ global symmetries of three-dimensional lattice Hamiltonians that permute quasi-particles and provide general arguments demonstrating the non-Abelian character of the resultant gauged theories. We then apply this general procedure to lattice models of several well known fracton phases: two copies of the X-Cube model, two copies of Haah's cubic code, and the checkerboard model. Where the former two models possess an on-site $\mathbb{Z}_2$ layer exchange symmetry, that of the latter is generated by the Hadamard gate. For each of these models, upon gauging, we find non-Abelian subdimensional excitations, including non-Abelian fractons, as well as non-Abelian looplike excitations and Abelian fully mobile pointlike excitations. By showing that the looplike excitations braid non-trivially with the subdimensional excitations, we thus discover a novel gapped quantum order in 3D, which we term a "panoptic" fracton order. This points to the existence of parent states in 3D from which both topological quantum field theories and fracton states may descend via quasi-particle condensation. The gauged cubic code model represents the first example of a gapped 3D phase supporting (inextricably) non-Abelian fractons that are created at the corners of fractal operators.

cond-mat.str-el↗

arXiv2019

Bifurcating entanglement-renormalization group flows of fracton stabilizer models

We investigate the entanglement-renormalization group flows of translation-invariant topological stabilizer models in three dimensions. Fracton models are observed to bifurcate under entanglement renormalization, generically returning at least one copy of the original model. Based on this behavior we formulate the notion of bifurcated equivalence for fracton phases, generalizing foliated fracton equivalence. The notion of quotient superselection sectors is also generalized accordingly. We calculate bifurcating entanglement-renormalization group flows for a wide range of examples and, based on those results, propose conjectures regarding the classification of translation-invariant topological stabilizer models in three dimensions.

cond-mat.str-el↗

arXiv2019

Fractonic Matter in Symmetry-Enriched U(1) Gauge Theory

In this work we explore the interplay between global symmetry and the mobility of quasiparticle excitations. We show that fractonic matter naturally appears in a three dimensional U(1) gauge theory, enriched by global U(1) and translational symmetries, via the mechanism of anyonic spin-orbital coupling. We develop a systematic understanding of such symmetry-enforced mobility restrictions in terms of the classification of U(1) gauge theories enriched by U(1) and translational symmetries. We provide a unified construction of these phases by gauging layered symmetry-protected topological phases.

cond-mat.str-el↗

arXiv2019

Sorting topological stabilizer models in three dimensions

The S-matrix invariant is known to be complete for translation invariant topological stabilizer models in two spatial dimensions, as such models are phase equivalent to some number of copies of toric code. In three dimensions, much less is understood about translation invariant topological stabilizer models due to the existence of fracton topological order. Here we introduce bulk commutation quantities inspired by the 2D S-matrix invariant that can be employed to coarsely sort 3D topological stabilizer models into qualitatively distinct types of phases: topological quantum field theories, foliated or fractal type-I models with rigid string operators, or type-II models with no string operators.

quant-ph↗

arXiv2019

Compactifying fracton stabilizer models

We investigate two dimensional compactifications of three dimensional fractonic stabilizer models. We find the two dimensional topological phases produced as a function of compactification radius for the X-cube model and Haah's cubic code. Furthermore, we uncover translation symmetry-enrichment in the compactified cubic code that leads to twisted boundary conditions.

cond-mat.str-el↗

arXiv2018

Classification of subsystem symmetry-protected topological phases

We consider symmetry-protected topological (SPT) phases in 2D protected by linear subsystem symmetries, i.e. those that act along rigid lines. There is a distinction between a "strong" subsystem SPT phase, and a "weak" one, which is composed of decoupled 1D SPTs with global symmetries. We propose a natural definition for strong equivalence of such phases, in terms of a linearly-symmetric local unitary transformation, under which a weak subsystem SPT is equivalent to the trivial phase. This leads to a number of distinct equivalence classes of strong subsystem SPTs, which we show are in one-to-one correspondence with elements of the group $\mathcal{C}[G_s] = \mathcal{H}^{2}[G_s^2,U(1)]/(\mathcal{H}^{2}[G_s,U(1)])^3$, where $G_s$ is the finite abelian onsite symmetry group. We also show that strong subsystem SPTs by our classification necessarily exhibit a spurious topological entanglement entropy on a cylinder.

cond-mat.str-el↗

arXiv2018

Universal quantum computation using fractal symmetry-protected cluster phases

We show that 2D fractal subsystem symmetry-protected topological phases may serve as resources for universal measurement-based quantum computation. This is demonstrated explicitly for two cluster models known to lie within fractal symmetry-protected topological phases, and computational universality is shown to persist throughout those phases. One of the models considered is simply the cluster model on the honeycomb lattice in one limit. We discuss the importance of rigid subsystem symmetries, as opposed to global or $(\text{D}-1)$-form symmetries, in this context.

quant-ph↗

arXiv2018

Mapping topological to conformal field theories through strange correlators

We extend the concept of strange correlators, defined for symmetry-protected phases in [You et al., Phys. Rev. Lett. 112, 247202 (2014)], to topological phases of matter by taking the inner product between string-net ground states and product states. The resulting two-dimensional partition functions are shown to be either critical or symmetry broken, as the corresponding transfer matrices inherit all matrix product operator symmetries of the string-net states. For the case of critical systems, those non-local matrix product operator symmetries are the lattice remnants of topological conformal defects in the field theory description. Following [Aasen et al., J. Phys. A 49, 354001 (2016)], we argue that the different conformal boundary conditions can be obtained by applying the strange correlator concept to the different topological sectors of the string-net obtained from Ocneanu's tube algebra. This is demonstrated by calculating the conformal field theory spectra on the lattice in the different topological sectors for the Fibonacci/hard-hexagon and Ising string-net. Additionally, we provide a complementary perspective on symmetry-preserving real-space renormalization by showing how known tensor network renormalization methods can be understood as the approximate truncation of an exactly coarse-grained strange correlator.

quant-ph↗

arXiv2017

Fermionic projected entangled-pair states and topological phases

We study fermionic matrix product operator algebras and identify the associated algebraic data. Using this algebraic data we construct fermionic tensor network states in two dimensions that have non-trivial symmetry-protected or intrinsic topological order. The tensor network states allow us to relate physical properties of the topological phases to the underlying algebraic data. We illustrate this by calculating defect properties and modular matrices of supercohomology phases. Our formalism also captures Majorana defects as we show explicitly for a class of $\mathbb{Z}_2$ symmetry-protected and intrinsic topological phases. The tensor networks states presented here are well-suited for numerical applications and hence open up new possibilities for studying interacting fermionic topological phases.

cond-mat.str-el↗

arXiv2017

Fermionic Matrix Product Operators and Topological Phases of Matter

We introduce the concept of fermionic matrix product operators, and show that they provide a natural representation of fermionic fusion tensor categories. This allows for the classification of two dimensional fermionic topological phases in terms of matrix product operator algebras. Using this approach we give a classification of fermionic symmetry protected topological phases with respect to a group $G$ in terms of three cohomology groups: $H^1(G,\mathbb{Z}_2)$, describing which matrix product operators are of Majorana type, $H^2(G,\mathbb{Z}_2)$, describing the fermionic nature of the fusion tensors that arise when two matrix product operators are multiplied, and the supercohomolgy group $\bar{H}^3(G,U(1))$ which corresponds to the associator that changes the order of fusion. We also generalize the tensor network description of the string-net ground states to the fermionic setting, yielding simple representations of a class that includes the fermionic toric code.

quant-ph↗

arXiv2017

Fractal symmetries: Ungauging the cubic code

Gauging is a ubiquitous tool in many-body physics. It allows one to construct highly entangled topological phases of matter from relatively simple phases and to relate certain characteristics of the two. Here we develop a gauging procedure for general submanifold symmetries of Pauli Hamiltonians, including symmetries of fractal type. We show a relation between the pre- and post-gauging models and use this to construct short-range entangled phases with fractal-like symmetries, one of which is mapped to the cubic code by the gauging.

quant-ph↗

arXiv2017

Anomalies and entanglement renormalization

We study 't Hooft anomalies of discrete groups in the framework of (1+1)-dimensional multiscale entanglement renormalization ansatz states on the lattice. Using matrix product operators, general topological restrictions on conformal data are derived. An ansatz class allowing for optimization of MERA with an anomalous symmetry is introduced. We utilize this class to numerically study a family of Hamiltonians with a symmetric critical line. Conformal data is obtained for all irreducible projective representations of each anomalous symmetry twist, corresponding to definite topological sectors. It is numerically demonstrated that this line is a protected gapless phase. Finally, we implement a duality transformation between a pair of critical lines using our subclass of MERA.

quant-ph↗

arXiv2017

Anyons and matrix product operator algebras

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.

cond-mat.str-el↗

arXiv2017

Fermionic Matrix Product States and One-Dimensional Topological Phases

We develop the formalism of fermionic matrix product states (fMPS) and show how irreducible fMPS fall in two different classes, related to the different types of simple $\mathbb{Z}_2$ graded algebras, which are physically distinguished by the absence or presence of Majorana edge modes. The local structure of fMPS with Majorana edge modes also implies that there is always a two-fold degeneracy in the entanglement spectrum. Using the fMPS formalism we make explicit the correspondence between the $\mathbb{Z}_8$ classification of time-reversal invariant spinless superconductors and the modulo 8 periodicity in the representation theory of real Clifford algebras. Studying fMPS with general on-site unitary and anti-unitary symmetries allows us to define invariants that label symmetry-protected phases of interacting fermions. The behavior of these invariants under stacking of fMPS is derived, which reveals the group structure of such interacting phases.We also consider spatial symmetries and show how the invariant phase factor in the partition function of reflection symmetric phases on an unorientable manifold appears in the fMPS framework.

cond-mat.str-el↗

arXiv2017

Hamiltonian models for topological phases of matter in three spatial dimensions

We present commuting projector Hamiltonian realizations of a large class of (3+1)D topological models based on mathematical objects called unitary G-crossed braided fusion categories. This construction comes with a wealth of examples from the literature of symmetry-enriched topological phases. The spacetime counterparts to our Hamiltonians are unitary state sum topological quantum fields theories (TQFTs) that appear to capture all known constructions in the literature, including the Crane-Yetter-Walker-Wang and 2-Group gauge theory models. We also present Hamiltonian realizations of a state sum TQFT recently constructed by Kashaev whose relation to existing models was previously unknown. We argue that this TQFT is captured as a special case of the Crane-Yetter-Walker-Wang model, with a premodular input category in some instances.

quant-ph↗

arXiv2016

Matrix product operators for symmetry-protected topological phases: Gauging and edge theories

Projected entangled pair states (PEPS) provide a natural ansatz for the ground states of gapped, local Hamiltonians in which global characteristics of a quantum state are encoded in properties of local tensors. We develop a framework to describe on-site symmetries, as occurring in systems exhibiting symmetry-protected topological (SPT) quantum order, in terms of virtual symmetries of the local tensors expressed as a set of matrix product operators (MPOs) labeled by distinct group elements. These MPOs describe the possibly anomalous symmetry of the edge theory, whose local degrees of freedom are concretely identified in a PEPS. A classification of SPT phases is obtained by studying the obstructions to continuously deforming one set of MPOs into another, recovering the results derived for fixed-point models [X. Chen et al., Phys. Rev. B 87, 155114 (2013)]. Our formalism accommodates perturbations away from fixed point models, opening the possibility of studying phase transitions between different SPT phases. We also demonstrate that applying the recently developed quantum state gauging procedure to a SPT PEPS yields a PEPS with topological order determined by the initial symmetry MPOs. The MPO framework thus unifies the different approaches to classifying SPT phases, via fixed-points models, boundary anomalies, or gauging the symmetry, into the single problem of classifying inequivalent sets of matrix product operator symmetries that are defined purely in terms of a PEPS.

quant-ph↗