Quantum phases of matter are resources for notions of quantum computation. In this work, we establish a new link between concepts of quantum information theory and condensed matter physics by presenting a unified understanding of symmetry-protected topological (SPT) order protected by subsystem symmetries and its relation to measurement-based quantum computation (MBQC). The key unifying ingredient is the concept of quantum cellular automata (QCA) which we use to define subsystem symmetries acting on rigid lower-dimensional lines or fractals on a 2D lattice. Notably, both types of symmetries are treated equivalently in our framework. We show that states within a non-trivial SPT phase protected by these symmetries are indicated by the presence of the same QCA in a tensor network representation of the state, thereby characterizing the structure of entanglement that is uniformly present throughout these phases. By also formulating schemes of MBQC based on these QCA, we are able to prove that most of the phases we construct are computationally universal phases of matter, in which every state is a resource for universal MBQC. Interestingly, our approach allows us to construct computational phases which have practical advantages over previous examples, including a computational speedup. The significance of the approach stems from constructing novel computationally universal phases of matter and showcasing the power of tensor networks and quantum information theory in classifying subsystem SPT order.
Quantum phases of matter are resources for notions of quantum computation. In this work, we establish a new link between concepts of quantum information theory and condensed matter physics by presenting a unified understanding of symmetry-protected topological (SPT) order protected by subsystem symmetries and its relation to measurement-based quantum computation (MBQC). The key unifying ingredient is the concept of quantum cellular automata (QCA) which we use to define subsystem symmetries acting on rigid lower-dimensional lines or fractals on a 2D lattice. Notably, both types of symmetries are treated equivalently in our framework. We show that states within a non-trivial SPT phase protected by these symmetries are indicated by the presence of the same QCA in a tensor network representation of the state, thereby characterizing the structure of entanglement that is uniformly present throughout these phases. By also formulating schemes of MBQC based on these QCA, we are able to prove that most of the phases we construct are computationally universal phases of matter, in which every state is a resource for universal MBQC. Interestingly, our approach allows us to construct computational phases which have practical advantages over previous examples, including a computational speedup. The significance of the approach stems from constructing novel computationally universal phases of matter and showcasing the power of tensor networks and quantum information theory in classifying subsystem SPT order.
Quantum phases of matter are resources for notions of quantum computation. In this work, we establish a new link between concepts of quantum information theory and condensed matter physics by presenting a unified understanding of symmetry-protected topological (SPT) order protected by subsystem symmetries and its relation to measurement-based quantum computation (MBQC). The key unifying ingredient is the concept of quantum cellular automata (QCA) which we use to define subsystem symmetries acting on rigid lower-dimensional lines or fractals on a 2D lattice. Notably, both types of symmetries are treated equivalently in our framework. We show that states within a non-trivial SPT phase protected by these symmetries are indicated by the presence of the same QCA in a tensor network representation of the state, thereby characterizing the structure of entanglement that is uniformly present throughout these phases. By also formulating schemes of MBQC based on these QCA, we are able to prove that most of the phases we construct are computationally universal phases of matter, in which every state is a resource for universal MBQC. Interestingly, our approach allows us to construct computational phases which have practical advantages over previous examples, including a computational speedup. The significance of the approach stems from constructing novel computationally universal phases of matter and showcasing the power of tensor networks and quantum information theory in classifying subsystem SPT order.
We consider ground states of quantum spin chains with symmetry-protected topological (SPT) order as resources for measurement-based quantum computation (MBQC). Using tensor network methods, we show that SPT phases protected by a finite abelian on-site symmetry group exhibit uniform computational power. That is, any state from a given phase leads to the same Lie group of executable gates when used as a resource for MBQC. This Lie group is determined by the same algebraic information that labels the SPT phase itself, and we give a necessary condition on the phase that guarantees a full set of single-qubit gates. To obtain our results, we construct several new techniques in MBQC and refine the structure of quantum states with abelian SPT order. Our results are analogous to similar results relating topological order and topological quantum computation, and we comments on their implications on the general connection between quantum phases of matter and quantum computation.
Certain symmetry-protected topological (SPT) phases also possess the property that every state in the phase is a universal resource for measurement-based quantum computation (MBQC). These phases are called computational phases of quantum matter. Computational phases have been classified in 1D, and several examples are known in 2D. 2D computational phases are of interest because we can simulate any quantum computation using a 2D phase. Therefore, the classification of 2D phases may lead to a better understanding of the relationship between symmetry and quantum computation. Many known 2D phases have a projected entangled pair state (PEPS) representation where the local tensor symmetries define a quantum cellular automaton (QCA) acting on correlation space. However, not every tensor symmetry defines a QCA, which motivates the definition and study of a larger class of PEPS tensors called stabilizer tensors. Stabilizer tensors have symmetries that act as a tensor product of Pauli operators on correlation space but do not necessarily define a QCA. In this thesis, I present a classification of stabilizer tensors by their channel capacity for quantum wire. In particular, I consider the quantum wire capacity of translationally invariant, cylindrical PEPS constructed from stabilizer tensors and find that it falls into one of 13 classes. Furthermore, I prove that no other types of channel capacity exist for stabilizer tensors, regardless of the size of the cylinder. I also discuss the significance of this result for the classification of 2D computational phases along with possible next steps.
We present the first examples of topological phases of matter with uniform power for measurement-based quantum computation (MBQC). This is possible due to a new framework for analyzing the computational properties of phases of matter that is more general than previous constructions, which have been limited to short-range entangled phases in one dimension. We show that ground states of the toric code in an anisotropic magnetic field yield a natural, albeit noncomputationally universal, application of our framework. We then present a new model with topological order the ground states of which are universal resources for MBQC. Both topological models are enriched by subsystem symmetries and these symmetries protect their computational power. Our framework greatly expands the range of physical models that can be analyzed from the computational perspective.
While quantum computers can achieve dramatic speedups over the classical computers familiar to us, identifying the origin of this quantum advantage in physical systems remains a major goal of quantum information science. A useful tool here is measurement-based quantum computation (MQC), a computational framework utilizing the quantum entanglement found in many-body resource states. Not all resource states are useful for quantum computation however, so an important question is what properties of many-body entanglement characterize universal resource states, which can implement any quantum computation. Many-body states are also studied in condensed matter physics, where the collective behavior of quantum many-body systems sometimes define topological phases of matter. These phases are defined by nonlocal many-body entanglement, making topologically-ordered states natural candidates for MQC. We might wonder if these topological phases could be organized as phases of quantum computation, so that every state within the phase is universal for MQC. While phases of symmetry-protected topological order (SPTO) have arisen as natural candidates, previous attempts to demonstrate an MQC-SPTO correspondence were mostly limited to nonuniversal 1D spin chains, leaving the important 2D setting wide open. In this dissertation, we explore the wide and varied connections between MQC and SPTO, and obtain new results for 1D and 2D systems. After identifying a new MQC-SPTO correspondence within 1D spin chains, we move up and explore the operational use of 2D states with two complementary forms of SPTO. We create a new Union Jack resource state, whose different form of SPTO than previous 2D resource states permits a hierarchical notion of MQC universality. This state leads us to consider an idealized model of 2D SPTO, where we show that an additional symmetry condition makes these model states form universal resources for MQC only when they have nontrivial SPTO. We finally study the intrinsic complexity of SPTO-inspired states for classically intractable sampling, and identify inherent advantages of MQC for this purpose. Our work highlights the rich complexity available in states of entangled quantum matter, providing new evidence which sharpens our understanding of the diverse connections between MQC and SPTO.
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 this observation, we analyze the computational capability of SPTO cluster phases on all vertex-translative 2D Archimedean lattices. There are four subsystem symmetries here called ribbon, cone, fractal, and 1-form symmetries, and the former three are fundamentally in one-to-one correspondence with three classes of Clifford quantum cellular automata. We conclude that nine out of the eleven Archimedean lattices support universal cluster phases protected by one of the former three symmetries, while the remaining lattices possess 1-form symmetries and have a different capability related to error correction.