Topological subsystem codes proposed recently by Bombin are quantum error correcting codes defined on a two-dimensional grid of qubits that permit reliable quantum information storage with a constant error threshold. These codes require only the measurement of two-qubit nearest-neighbor operators for error correction. In this paper we demonstrate that topological subsystem codes (TSCs) can be viewed as generalizations of Kitaev's honeycomb model to trivalent hypergraphs. This new connection provides a systematic way of constructing TSCs and analyzing their properties. We also derive a necessary and sufficient condition under which a syndrome measurement in a subsystem code can be reduced to measurements of the gauge group generators. Furthermore, we propose and implement some candidate decoding algorithms for one particular TSC assuming perfect error correction. Our Monte Carlo simulations indicate that this code, which we call the five-squares code, has a threshold against depolarizing noise of at least 2%.
We introduce a technique that uses gauge fixing to significantly improve the quantum error correcting performance of subsystem codes. By changing the order in which check operators are measured, valuable additional information can be gained, and we introduce a new method for decoding which uses this information to improve performance. Applied to the subsystem toric code with three-qubit check operators, we increase the threshold under circuit-level depolarising noise from $0.67\%$ to $0.81\%$. The threshold increases further under a circuit-level noise model with small finite bias, up to $2.22…
Topological subsystem color codes (TSCCs) are an important class of topological subsystem codes that allow for syndrome measurement with only 2-body measurements. It is expected that such low complexity measurements can help in fault tolerance. While TSCCs have been studied over depolarizing noise model, their performance over the erasure channel has not been studied as much. Recently, we proposed erasure decoders for TSCCs and reported a threshold of 9.7%. In this paper, we continue our study of TSCCS over the erasure channel. We propose two erasure decoders for topological subsystem color co…
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…
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-o…
We demonstrate that linear combinations of subregion entropies with canceling boundary terms, commonly used to calculate the topological entanglement entropy, may suffer from spurious nontopological contributions even in models with zero correlation length. These spurious contributions are due to a specific kind of long-range string order, and persist throughout certain subsystem symmetry-protected phases. We introduce an entropic quantity that measures the presence of such order, and hence should serve as an order parameter for the aforementioned phases.
We consider a spatial analogue of the quantum error correction threshold. Given individual time-independent subsystems in which quantum information is coherent over sufficiently long lengths, we show how the information can be kept coherent for arbitrarily long lengths by forming time-independent composite systems. The subsystem coherence length exhibits threshold behavior. When it exceeds a length $ξ_{th}$, meaningful information can be extracted from the ground state of the composite system. Otherwise, the information is garbled. The threshold transition implies that the parent Hamiltonian o…
We study symmetry-protected topological (SPT) phases of matter in 2D protected by symmetries acting on fractal subsystems of a certain type. Despite the total symmetry group of such systems being subextensively large, we show that only a small number of phases are actually realizable by local Hamiltonians. Which phases are possible depends crucially on the spatial structure of the symmetries, and we show that in many cases no non-trivial SPT phases are possible at all. In cases where non-trivial SPT phases do exist, we give an exhaustive enumeration of them in terms of their locality.
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（印度孟买理工学院物理系）
We employ strange correlators to detect 2D subsystem symmetry-protected topological (SSPT) phases which are nontrivial topological phases protected by subsystem symmetries. Specifically, we analytically construct efficient strange correlators in the 2D cluster model in the presence of a uniform magnetic field and then perform the projector Quantum Monte Carlo simulation within the quantum annealing scheme. We find that strange correlators show the long-range correlation in the SSPT phase, from which we define strange order parameters to characterize the topological phase transition between the…
We classify subsystem symmetry-protected topological (SSPT) phases in $3+1$D protected by planar subsystem symmetries, which are dual to abelian fracton topological orders. We distinguish between weak SSPTs, which can be constructed by stacking $2+1$D SPTs, and strong SSPTs, which cannot. We identify signatures of strong phases, and show by explicit construction that such phases exist. A classification of strong phases is presented for an arbitrary finite abelian group. Finally, we show that fracton orders realizable via $p$-string condensation are dual to weak SSPTs, while strong SSPTs do not…
Subsystem symmetry protected topological (SSPT) order is a type of quantum order that is protected by symmetries acting on lower-dimensional subsystems of the entire system. In this paper, we show how SSPT order can be characterized and detected by a constant correction to the entanglement area law, similar to the topological entanglement entropy. Focusing on the paradigmatic two-dimensional cluster phase as an example, we use tensor network methods to give an analytic argument that almost all states in the phase exhibit the same correction to the area law, such that this correction may be use…
We introduce the subsystem symmetry-preserving real-space entanglement renormalization group and apply it to study bifurcating flows generated by linear and fractal subsystem symmetry-protected topological phases in two spatial dimensions. We classify all bifurcating fixed points that are given by subsystem symmetric cluster states with two qubits per unit cell. In particular, we find that the square lattice cluster state is a quotient-bifurcating fixed point, while the cluster states derived from Yoshida's first order fractal spin liquid models are self-bifurcating fixed points. We discuss th…
It is well known that the topological entanglement entropy ($S_{topo}$) of a topologically ordered ground state in 2 spatial dimensions can be captured efficiently by measuring the tripartite quantum information ($I^{3}$) of a specific annular arrangement of three subsystems. However, the nature of the general N-partite information ($I^{N}$) and quantum correlation of a topologically ordered ground state remains unknown. In this work, we study such $I^N$ measure and its nontrivial dependence on the arrangement of $N$ subsystems. For the collection of subsystems (CSS) forming a closed annular s…
Topological subsystem codes can combine the advantages of both topological codes and subsystem codes. Suchara et al. proposed a framework based on hypergraphs for construction of such codes. They also studied the performance of some subsystem codes. Later Bravyi et al. proposed a subsystem surface code. Building upon these works, we propose efficient decoding algorithms for large classes of subsystem codes on hypergraphs and surfaces. We also propose a construction of the subsystem surface codes that includes the code proposed by Bravyi et al. Our simulations for the subsystem code on the squa…
Hierarchy of mixed symmetry protected topological states in extended cluster states under subsystem decoherence
Graduate School of Engineering Science, Akita University（秋田大学工学研究科）；Department of Physics, College of Humanities and Sciences, Nihon University（日本大学文理学部物理学科）
Given any two classical codes with parameters $[n_1,k,d_1]$ and $[n_2,k,d_2]$, we show how to construct a quantum subsystem code in 2-dimensions with parameters $[[N,K,D]]$ satisfying $N\le 2n_1n_2$, $K=k$, and $D=\min(d_1,d_2)$. These quantum codes are in the class of generalized Bacon-Shor codes introduced by Bravyi. We note that constructions of good classical codes can be used to construct quantum codes that saturate Bravyi's bound $KD=O(N)$ on the code parameters of 2-dimensional subsystem codes. One of these good constructions uses classical expander codes. This construction has the addi…
In this paper we study the thermal equilibration of small bipartite Bose-Hubbard systems, both quantum mechanically and in mean-field approximation. In particular we consider small systems composed of a single-mode "thermometer" coupled to a three-mode "bath", with no additional environment acting on the four-mode system, and test the hypothesis that the thermometer will thermalize if and only if the bath is chaotic. We find that chaos in the bath alone is neither necessary nor sufficient for equilibration in these isolated four-mode systems. The two subsystems can thermalize if the combined s…
Fracton models provide examples of novel gapped quantum phases of matter that host intrinsically immobile excitations and therefore lie beyond the conventional notion of topological order. Here, we calculate optimal error thresholds for quantum error correcting codes based on fracton models. By mapping the error-correction process for bit-flip and phase-flip noises into novel statistical models with Ising variables and random multi-body couplings, we obtain models that exhibit an unconventional subsystem symmetry instead of a more usual global symmetry. We perform large-scale parallel temperin…
The fractionalization of global symmetry charges is a striking hallmark of topological quantum order. Here, we discuss the fractionalization of subsystem symmetries in two-dimensional topological phases. In line with previous no-go arguments, we show that subsystem symmetry fractionalization is not possible in many cases due to the additional rigid geometric structure of the symmetries. However, we identify a new mechanism that allows fractionalization, involving global relations between macroscopically many symmetry generators. We find that anyons can fractionalize such relations, meaning tha…
Higher-order topological phases protected by noninvertible and subsystem symmetries
C. N. Yang Institute for Theoretical Physics, State University of New York at Stony Brook（石溪州立大学杨振宁理论物理研究所）；Department of Physics and Astronomy, State University of New York at Stony Brook（石溪州立大学物理与天文系）；Center for Quantum Phenomena, Department of Physics, New York University（纽约大学量子现象中心）
Learning Topological Quantum Phases from Limited Subsystems
Department of Physics and Astronomy, University of Florence（物理学与天文学系，佛罗伦萨大学）；Department of Physics and Astronomy, University College London（物理学与天文学系，伦敦大学学院）；Institute of Fundamental and Frontier Sciences, University of Electronic Science and Technology of China（基础与前沿科学研究所，电子科技大学）
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…
What kinds of symmetry-protected topologically ordered (SPTO) ground states can be used for universal measurement-based quantum computation in a similar fashion to the 2D cluster state? 2D SPTO states are classified not only by global on-site symmetries but also by subsystem symmetries, which are fine-grained symmetries dependent on the lattice geometry. Recently, all states within so-called SPTO cluster phases on the square and hexagonal lattices have been shown to be universal, based on the presence of subsystem symmetries and associated structures of quantum cellular automata. Motivated by …
