Article | Open

Hierarchy of universal entanglement in 2D measurement-based quantum computation

  • npj Quantum Information 2, Article number: 16036 (2016)
  • doi:10.1038/npjqi.2016.36
  • Download Citation
Received:
Revised:
Accepted:
Published online:

Abstract

Measurement-based quantum computation (MQC) is a paradigm for studying quantum computation using many-body entanglement and single-qubit measurements. Although MQC has inspired wide-ranging discoveries throughout quantum information, our understanding of the general principles underlying MQC seems to be biased by its historical reliance upon the archetypal 2D cluster state. Here we utilise recent advances in the subject of symmetry-protected topological order (SPTO) to introduce a novel MQC resource state, whose physical and computational behaviour differs fundamentally from that of the cluster state. We show that, in sharp contrast to the cluster state, our state enables universal quantum computation using only measurements of single-qubit Pauli X, Y, and Z operators. This novel computational feature is related to the ‘genuine’ 2D SPTO possessed by our state, and which is absent in the cluster state. Our concrete connection between the latent computational complexity of many-body systems and macroscopic quantum orders may find applications in quantum many-body simulation for benchmarking classically intractable complexity.

Introduction

The idea of measurement-based quantum computation (MQC), where computation is carried out solely through single-qubit measurements on a fixed many-body resource state and classical feed-forward of measurement outcomes,1,​2,​3 is quite surprising. This is because it highlights the origins of quantum advantage in terms of entanglement and non-commutative measurements, uniquely quantum effects without counterparts in classical mechanics. In particular, so-called universal resource states, the states that are capable of efficiently implementing universal MQC, represent a class of maximal entanglement in the classification of many-body entanglement,4 so that the structure and complexity of their entanglement is of great interest for advancing the understanding of quantum computation. Following the canonical example of the two-dimensional (2D) cluster state,5 many other universal resource states have been found, including cluster states defined on various lattices,4 some tensor network states,4,6,​7,​8,​9,​10 and model ground states in condensed matter physics such as 2D Affleck-Kennedy-Lieb-Tasaki (AKLT) states.10,​11,​12,​13,​14,​15

Given the existence of these various known universal resource states, a natural question is whether we might be able to find any common key feature, so as to explore more their variety in fundamental structures as well as in practical applications. Although the earliest resource states for MQC were found in short-range correlated states described as somewhat artificial tensor network states,4,6,​7,​8,​9,​10 a new insight has been that a class of short-ranged entangled states structured by symmetry, endowed with so-called symmetry-protected topological order (SPTO),16,​17,​18,​19,​20,​21,​22,​23,​24 make excellent candidate resource states systematically. Indeed, in the setting of 1D spin chains, the ground states of several SPTO phases have already been shown to possess entanglement that can be leveraged to achieve various quantum computational tasks.25,​26,​27,​28,​29,​30,​31

Here, in adopting the concept of SPTO, we carry out such an investigation for the first time in 2D MQC, and discover a completely new kind of MQC universal resource state. Specifically, we first examine the 2D cluster state as well as a wide range of other universal resource states, and show that their 2D SPTO is trivial, of the same nature as that of unentangled product states. Looking more closely, we find that these previously known resource states do possess some ‘weaker’ SPTO, but essentially of a type closer to that of 1D spin chains. Our discovery is made possible owing to the recent progress of research into SPTO, which has revealed a hierarchy of SPTO as representing different levels of nonlocality of quantum information (see the next section for details). We then introduce our ‘Union Jack’ state, which in contrast possesses SPTO entirely of a 2D nature, and demonstrate that it is not only a universal resource state but additionally is ‘Pauli universal,’ in that it can implement arbitrary quantum computation using only single-qubit measurements in the Pauli bases. As elaborated later, this feature is forbidden in the 2D cluster state on account of the Gottesman-Knill theorem,32 which proves the efficient classical simulability of certain quantum gates. We will conclude with the outlook that our proof of principle result about Pauli universality may be true for more general 2D SPTO resource states, which we connect to a possible deep connection between a hierarchy of SPTO in condensed matter physics and the so-called Clifford hierarchy of quantum computation.

Results

Measurement-based quantum computation and the Clifford hierarchy

MQC is a means of utilising an entangled resource state to perform computation using (generally adaptive) single-qubit measurements. Given a particular resource state, we specify our computational process by choosing a specific pattern of single-qubit measurements. Owing to the probabilistic nature of measurement, different measurement outcomes will generally implement different computations. However, rather than attempting to correct for unintended measurement outcomes at every step, we can instead represent the effect of such outcomes as the product of our intended operation with a so-called byproduct operator. When these byproduct operators are sufficiently simple (e.g., Pauli operators), we can commute them through much of our computation, allowing disjoint measurements to be performed in parallel without adaptation of our measurement settings.

The canonical MQC resource state is the 2D cluster state,5 which is a universal resource state, in which arbitrary quantum circuits can be simulated efficiently using an appropriate sequence of arbitrary single-spin measurements.1,​2,​3 The 2D cluster state is formed by preparing qubit states |+X=12(|0+|1) on the vertices of a square lattice (with open boundary conditions), and applying entangling controlled-Z (CZ) operations, defined in the computational basis by CZ|α,β=(1)αβ|α,β, between nearest-neighbour qubits. It is described by stabiliser generators, (1)SC(i)=X(i)jneigh(i)Z(j), where neigh (i) is the set of nearest neighbours of site i. An n-qubit cluster state |ψC is the unique state satisfying SC(i)|ψC=|ψC for i=1, 2, …, n.

The Clifford hierarchy is an ordered collection of unitary gates of increasing computational generality.33 The unitary gates in the d’th level of the Clifford hierarchy Cd are defined inductively, with C1 consisting of tensor products of Pauli operators, and Cd+1={U|PC1,UPUCd}. Each level of the Clifford hierarchy represents a greater degree of quantum gate complexity in which, intuitively speaking, higher levels contain gates that are more ‘quantum’ than those in lower levels. The gates in C2 form a group, known as the Clifford group, that preserves the group of Pauli operators under conjugation. Exploiting this fact, the Gottesman–Knill theorem32 gives an efficient means of classically simulating any poly-sized circuit composed of gates in C2, provided that initialisation and measurement occur in the single-qubit Pauli bases. By contrast, the gates in C3 form a universal gate set for quantum computation.

In MQC, a stronger notion of universality for resource states is Pauli universality, where the measurements used to carry out MQC are only of single-qubit Pauli operators X, Y or Z. Although the 2D cluster state is a universal resource state, it is formed from CZ gates in C2 and therefore can be efficiently classically simulated when only Pauli measurements are used, making the cluster state not Pauli universal.

Symmetry-protected topological order

Symmetry-protected topological order (SPTO)16,​17,​18,​19,​20,​21,​22,​23,​24 is a many-body phenomenon arising from many-body entanglement present in quantum states invariant under a symmetry group G. Given a state defined in d spatial dimensions with a finite correlation length, we say that this state has nontrivial d-dimensional SPTO precisely when it cannot be reduced to a product state using a finite-depth quantum circuit whose gates are of constant size and commute with G. In this sense, nontrivial SPTO can be thought of as an indicator of persistent entanglement, protected by G. More generally, two d-dimensional states are said to be in different (d-dimensional) SPTO phases when they cannot be transformed into each other using such a finite-depth, symmetry-respecting quantum circuit.

Mathematically, d-dimensional SPTO phases are classified by elements of Hd+1(G,U(1)), the (d+1)’th cohomology group of G, with the identity element of the group corresponding to the trivial phase of G-invariant product states (see the Supplementary Information Section A for an introduction to group cohomology theory). For example, when G=Z2 there is only one (trivial) 1D SPTO phase, but there are two 2D SPTO phases, one trivial and one nontrivial. Nontrivial SPTO can be detected and characterised by examining the manner in which G acts on edge degrees of freedom when a state is prepared on a manifold with boundaries.34,​35,​36,​37 Nontrivial 1D SPTO manifests as a product of individual ‘fractionalised’ degrees of freedom on the edge, which transform under projective representations of G. On the other hand, nontrivial 2D SPTO manifests in the form of long-range correlated edge modes, which transform under non-separable matrix product unitary representations of G.34 Concrete examples of this distinctive behaviour of 1D and 2D SPTO are shown in Figure 1.

Figure 1
Figure 1

Manifestation of 1D and 2D SPTO in boundary symmetry operators, where X, Y, Z and CZ represent the application of the corresponding unitary operation. The transversal application of X is only a symmetry when each state is prepared on closed boundaries. Near edges of the system, the symmetry operator must be augmented with additional boundary terms that reflect the distinct nature of 1D versus 2D SPTO. (a) The cluster state is invariant under the application of X to all sites within a region with closed boundaries. When X is instead applied to a region with open boundaries (boxed area), we must add additional Z (and hence Y, whenever X and Z overlap) gates near the edges to obtain a genuine symmetry. (b) The Union Jack state is invariant under the application of X to a region with closed boundaries. When X is instead applied to a region with open boundaries (boxed area), we must add additional CZ gates near the edges to obtain a genuine symmetry. The higher-dimensional SPTO manifests here as a symmetry representation which does not factorise into disjoint unitaries, and is built from gates at a higher level of the Clifford hierarchy.

An important—and often neglected—fact is that states in d spatial dimensions can be classified not only by a label specifying its d-dimensional SPTO phase but also by other labels associated with k-dimensional SPTO, for 0≤k<d.18 We call this collection of SPTO labels the SPTO signature of a state, denoted by Ωd in d dimensions. For d=2, Ω2 has the form Ω2=θ2;θ1(x),θ1(y);θ0, with Θk denoting a k-dimensional SPTO label. For general d, Ωd contains (dk) k-dimensional SPTO labels, corresponding to the (dk) independent k-dimensional surfaces in d-dimensional space. When classifying phases, the Θk labels are chosen from Hk+1(G,U(1)), the collection of k-dimensional SPTO phases for symmetry G. However, as we are concerned here mainly with the existence of nontrivial SPTO, we will use an abbreviated notation where Θk=0 or 1 indicates trivial or nontrivial k-dimensional SPTO, respectively. Unlike d-dimensional labels, the lower-dimensional components of a state’s SPTO signature can be altered by a local G-symmetric quantum circuit. However, these labels are unchanged by quantum circuits that respect both on-site and lattice translational symmetries. See the Supplementary Information Section A for details about SPTO signatures.

Trivial 2D SPTO of the 2D cluster state

In this section, we determine the SPTO signature of the 2D cluster state, stated in Theorem 1.

Theorem 1. The SPTO signature of the 2D cluster state with respect to on-site (Z2)4 symmetry is Ω2(C)=0;1,1;0, corresponding to trivial 2D SPTO and nontrivial 1D SPTO.

The on-site (Z2)4 symmetry of the cluster state comes from treating a 2×2 unit cell as a single site, as shown in Figure 2a. We refer to the four qubits within a unit cell by the labels NW, NE, SE and SW. From Equation (1) , we see that the global application of X to any of these four classes of qubits preserves the cluster state stabilisers, giving the system (Z2)4 on-site symmetry. This is the largest on-site symmetry group of the cluster state, and its SPTO phase with respect to this group sets its SPTO phase with respect to any on-site symmetry subgroup. We do not discuss SPTO of the 2D cluster state with respect to time reversal, inversion, or lattice rotations, as these symmetries would not alter Theorem 1.

Figure 2
Figure 2

(a) Part of the 2D cluster state on a square lattice, with 2×2 unit cells shown. The four generators of the (Z2)4 on-site symmetry are labelled. (b) Part of the circuit which disentangles the 2D cluster state. Solid lines indicate a CZ applied between two sites. The gate VE is shown in centre, which is the product of 6 CZ operations between sites (4, 8), (8, 12), (12, 14), (14, 10), (10, 6) and (6, 4). Also shown are portions of the VE gates directly above and below. Because of the ‘diagonal’ CZ’s of adjacent VE’s cancelling, a global tiling of these gates applies CZ between all adjacent NE and SE sites. This tiling is done in two layers, so that the gates in each layer do not overlap. By applying displaced and rotated versions of these gates, we arrive at a symmetry-respecting circuit of depth 8, which disentangles the 2D cluster state to a trivial product state.

We prove the 2D part of Theorem 1 by constructing a finite-depth quantum circuit, shown in Figure 2b, whose gates each respect the on-site symmetry of the cluster state, but which disentangles the state to a trivial product state. As the 2D component of a state’s SPTO signature is invariant under local symmetric quantum circuits,18 this suffices to prove our claim. A more careful analysis of the 2D cluster state is needed in order to prove its nontrivial 1D SPTO. In the Supplementary Information Section C, we study a projected entangled pair state (PEPS)38 representation of the cluster state, which lets us characterise the transformation of its boundary under the (Z2)4 symmetry.37 We find that individual sites along both horizontal and vertical boundaries transform under a projective representation of (Z2)4, giving us a ‘smoking gun’ indication of nontrivial 1D SPTO. This fact, demonstrated rigorously in the Supplementary Information Section C, completes our proof of Theorem 1.

Importantly, a similar analysis of edge modes can be used to prove results analogous to Theorem 1 for many other known universal resource states, including cluster states defined on various lattices4 and certain 2D AKLT states.10,​11,​12,​13,​14,​15 In this sense, the impact of Theorem 1 is that not just the cluster state, but in fact the majority of commonly studied universal resource states, are characterised by the absence of 2D SPTO, with at most nontrivial 1D SPTO.

The resource state with nontrivial 2D SPTO

In this section, we present a new MQC resource state that is both Pauli universal and possesses nontrivial 2D SPTO, as summarised in Theorem 2. This is in contrast to the 2D cluster state, which is universal but not Pauli universal, and only possesses 1D SPTO. Our ‘Union Jack’ resource state is composed of qubits, each of which is located at a vertex of the Union Jack lattice shown in Figure 3a. It is constructed by preparing a |+X state at every vertex, and then applying a three-body doubly controlled-Z unitary operation, CCZ, to every triangular cell in the lattice. CCZ is diagonal in the qubits’ computational basis with non-zero matrix elements (2)i1i2i3|CCZ|i1i2i3={1,if(i1,i2,i3)=(1,1,1),+1,otherwise, and belongs to the 3rd level of the Clifford hierarchy C3. The stabilisers generated by these gates are (3)SUJ(i)=X(i)(j,k)tri(i)CZ(j,k), where (j, k)tri (i) refers to all pairs of sites (j, k) that, together with i, form a triangle in the lattice of Figure 3a. Our resource state |ψUJ is the unique state satisfying SUJ(i)|ψUJ=|ψUJ for i=1, 2, …, n. Note, however, that it is not a so-called stabiliser state because its stabiliser group is not contained in the n-qubit Pauli group.

Figure 3
Figure 3

(a) The Union Jack lattice on which our resource state is defined. Every vertex represents a qubit initialised in a |+X state, and every triangular cell represents an applied three-body unitary CCZ. A 2×2 unit cell is shown, with respect to which our system has (Z2)3 symmetry generated by X applied to sites a,b or c. The Z2 symmetry of this state is a subgroup of (Z2)3 generated by applying X to all sites. (b) Measuring the control sites (red) in the computational basis collapses the remaining system into a random graph state. The edges of the graph lie on the ‘domain walls’ between different control site outcomes.

Our resource state is an example of a ‘renormalisation group fixed point’ state used previously to study properties of Z2 SPTO,18 and consequently has Z2 symmetry. However, if we redefine a single site of our system to be a particular 2×2 unit cell (shown in Figure 3a), then our system in fact has (Z2)3 symmetry. With respect to this latter group, our resource state can be seen as an example of a d=2 decorated domain wall state,39 a method for creating systems with d-dimensional Z2×G SPTO in terms of systems with (d−1)-dimensional G SPTO (here G=(Z2)2). We should, however, emphasise the importance of our state being defined on the Union Jack lattice for proving Theorem 2, as the 2D state in refs 18,39 is essentially defined on a triangular lattice, so that it disallows the intersection of domain walls under the procedure we use below for locally converting to a graph state,40,41 and thus may not be a universal resource state. On the other hand, our state is also an example of a generalisation of graph states, called hypergraph states in the quantum information community,42,43 although their application for MQC has not been studied previously.

Theorem 2. The Union Jack state is a Pauli universal resource state for MQC, meaning that arbitrary quantum circuits can be efficiently simulated using only measurements of single-qubit Pauli operators and feed-forward of measurement outcomes. Furthermore, its SPTO signature with respect to on-site (Z2)3 symmetry is Ω2(UJ)=1;0,0;0, corresponding to nontrivial 2D SPTO and trivial 1D SPTO.

Note that although we phrase Theorem 2 in terms of our state’s (Z2)3 SPTO for generality, the same statement holds true if we replace (Z2)3 with Z2. Here we demonstrate the Pauli universality of our state by efficiently simulating quantum circuits composed of Hadamard (H) and Toffoli (TOFF) gates—a universal set of gates for quantum computation44—using only measurements of single-qubit Pauli operators. Our means of simulating these circuits using the Union Jack state are divided into two parts. We first show that portions of our state can be converted into ‘cluster regions’, regions that are locally identical to the 2D cluster state. These cluster regions are used to prepare and readout qubit states, teleport these states over arbitrarily long distances, and apply Clifford gates (which include H gates) to them, all with the use of only Pauli measurements. We then demonstrate that we can implement CCZ using certain ‘interaction gadgets’, which are prepared using Pauli measurements. As we can implement both H and CCZ gates, and because TOFF and CCZ are related by TOFF(123)=H(3)CCZ(123)H(3), the combination of cluster regions and interaction gadgets lets us implement H and TOFF gates, and therefore arbitrary quantum circuits.

Our technique for creating cluster regions within the Union Jack state is to induce a symmetry-breaking phase transition from 2D to 1D SPTO. This involves first performing a computational basis measurement of all the Union Jack control qubits, shown in Figure 3b. This symmetry-breaking measurement forces the remaining part of our system, which lives on a regular square lattice, into a random graph state whose edges (associated with nontrivial 1D SPTO) appear along the domain walls in our measurement outcomes. In particular, we obtain an edge (CZ gate) in our graph whenever two adjacent measurement outcomes differ, and no edge whenever they agree. We can then use the exact same protocol as in ref. 45 to reduce this random graph state to a state that is locally identical to the regular 2D cluster state. This protocol succeeds with a probability that converges exponentially fast to either 0 or 1 in the limit of large cluster regions, depending on whether our random graph state percolates and has a macroscopic spanning cluster of connected vertices. We perform numerical simulations of this percolation problem for different system sizes, and conclude (Figure 4) that our Union Jack system is in a supercritical percolation phase and thus can be used to efficiently prepare connected cluster regions.

Figure 4
Figure 4

A simulation of our percolation problem with increasing linear size, L. The exponential decay of the non-spanning probability is characteristic of the percolation supercritical phase, demonstrating that portions of our Union Jack state can be locally reduced to a 2D cluster state with arbitrarily high probability. These cluster regions are used to perform Clifford operations upon our computational qubits, as well as to shuttle these qubits between spatially separated interaction gadgets, which can be connected together to produce logical CCZ gates.

Our technique for preparing interaction gadgets involves taking a small area of the Union Jack state and applying an appropriate pattern of Pauli measurements to it (Figure 5a). When embedded within a cluster region, these gadgets implement a three-body non-Clifford logical gate UI, defined by UI(123)=CCZ(123)CZ(12)CZ(23), where CZ acts as CZ|α,β=(i)αβ|α,β Using UI, we can obtain CCZ by applying UI three times to the same triple of qubits, but with the qubits cyclically permuted each time. This permutation involves crossing adjacent wires, something that is forbidden in a strictly planar graph structure, but we can simulate a nonplanar wire crossing using a SWAP operation within our cluster regions (Figure 5b). The identity UI(123)UI(231)UI(312)=CCZ(123)CZ(12)CZ(13)CZ(23) shows that this gives the desired operation of CCZ, up to byproduct CZ gates. These byproduct gates, as well as other byproduct Clifford gates that appear in our protocol, are adaptively eliminated within cluster regions by applying the appropriate inverse Clifford operations. This adaptive cancellation of byproduct operators is generally necessary before the application of subsequent H or CCZ logical gates, as attempting to commute them through these gates would lead to a byproduct group which does not close at any level of the Clifford hierarchy. Additional information about our protocol for establishing Pauli universality of the Union Jack state is given in the Supplementary Information Section D.

Figure 5
Figure 5

(a) Our ‘interaction gadget’ implements the non-Clifford operation UI, and is formed by measuring X and Z on seven logical sites, Y on one control site, and Z on the surrounding control sites. Postselection on 13 of the latter Z measurement outcomes is required in order for us to connect our gadget to the surrounding cluster region; however, this only introduces a constant overhead to the number of sites measured in our protocol, as shown in the Supplementary Information Section D. (b) A gadget for implementing SWAP within a cluster region. This allows us to implement nonplanar wire crossings that are necessary for simulating arbitrary circuits composed of H and TOFF gates. (c) A protocol for implementing a logical CCZ gate, where solid lines indicate teleportation of logical qubits. The majority of the sites involved have been converted to an extended cluster region, with the exception of the sites used to construct interaction gadgets. Our diagram only reflects the topology of the relevant logical connections, whereas a realistic implementation would involve a detailed measurement pattern to perform teleportation throughout the cluster region, as well as a significantly greater distance between neighbouring gadgets. More explicit details of our protocol can be found in the Supplementary Information Section D.

Looking at the proof just given, we see that the disparity between the universality of the cluster state and the Pauli universality of the Union Jack state arises from the difference in gates implementable by each state under Pauli measurements, C2 for the former and C3 for the latter. Some insight can be gained by comparing this computational difference to the fact that the cluster state and Union Jack state, respectively, possess 1D and 2D SPTO, as summarised in Table 1. Generalising from these examples, we might expect this correspondence between SPTO and the Clifford hierarchy to extend to a wider class of SPTO states, providing a general link between types of SPTO and degrees of quantum gate complexity. Such a correspondence was demonstrated in refs 46,47 for topological quantum-error-correcting codes, but proving this in the setting of MQC would give a means of directly associating computational characteristics to SPTO states, without the need for an auxiliary higher-dimensional topologically ordered system.

Table 1: A summary of the SPTO present in our representative resource states, the quantum circuit used to form each state, the logical byproduct operators appearing during a computation, and the single-qubit operators whose eigenbasis we need to measure to achieve universal MQC.

Discussion

Although pertaining most immediately to MQC, our main results can be fruitfully interpreted as general statements about the interplay of two intrinsically quantum ingredients, entanglement and measurement, which have a leading role in quantum information science. Our Theorem 1 demonstrates that previously studied resource states, despite differing in their microscopic details, possess identical forms of macroscopic entanglement, namely 1D SPTO. Although such entanglement is sufficient for universal quantum computation using arbitrary single-qubit measurements, our Theorem 2 demonstrates that the use of more complex forms of entanglement, namely 2D SPTO, lets us achieve the same results using simpler Pauli measurements. As argued in the previous section, we expect that this tradeoff between entanglement and measurement is not only true of more general quantum systems, but in fact is evidence of a deep connection between the hierarchies of SPTO and the Clifford hierarchy of quantum computation. Such a connection between the computational complexity of many-body systems and their emergent macroscopic behaviour would give a means of converting canonical condensed matter tools, such as order parameters, into interesting indicators of computational behaviour, as was done with 1D spin chains in ref. 30. The natural connection we demonstrate between the computational complexity of many-body systems and emergent macroscopic order may find applications for better understanding the emergence of classically intractable complexity within quantum many-body simulation.48,49

Methods

Additional information regarding SPTO and the proofs of our Theorems 1 and 2 can be found in the Supplementary Information.

References

  1. 1.

    & A one-way quantum computer. Phys. Rev. Lett. 86, 5188 (2001).

  2. 2.

    , & Measurement-based quantum computation on cluster states. Phys. Rev. A 68, 022312 (2003).

  3. 3.

    An introduction to measurement based quantum computation. Preprint at (2005).

  4. 4.

    , , & Universal resources for measurement-based quantum computation. Phys. Rev. Lett. 97, 150504 (2006).

  5. 5.

    & Persistent entanglement in arrays of interacting particles. Phys. Rev. Lett. 86, 910 (2001).

  6. 6.

    & Valence-bond states for quantum computation. Phys. Rev. A 70, 060302 (R), (2004).

  7. 7.

    & Novel schemes for measurement-based quantum computation. Phys. Rev. Lett. 98, 220503 (2007).

  8. 8.

    , , & Measurement-based quantum computation beyond the one-way model. Phys. Rev. A 76, 052315 (2007).

  9. 9.

    , , , & Gapped two-body hamiltonian whose unique ground state is universal for one-way quantum computation. Phys. Rev. Lett. 102, 220501 (2009).

  10. 10.

    , , & Universal quantum computer from a quantum magnet. Phys. Rev. A 82, 052309 (2010).

  11. 11.

    Quantum computational capability of a 2D valence bond solid phase. Ann. Phys 326, 1656 (2011).

  12. 12.

    , & Affleck-Kennedy-Lieb-Tasaki state on a honeycomb lattice is a universal quantum computational resource. Phys. Rev. Lett. 106, 070501 (2011).

  13. 13.

    , & Measurement-based quantum computation in a 2D phase of matter. New J. Phys. 14, 013023 (2012).

  14. 14.

    Quantum computational universality of Affleck-Kennedy-Lieb-Tasaki states beyond the honeycomb lattice. Phys. Rev. A 88, 062307 (2013).

  15. 15.

    & Universal measurement-based quantum computation with spin-2 Affleck-Kennedy-Lieb-Tasaki states. Phys. Rev. A 92, 012310 (2015).

  16. 16.

    & Tensor-entanglement-filtering renormalization approach and symmetry-protected topological order. Phys. Rev. B 80, 155131 (2009).

  17. 17.

    , , & Symmetry protected topological orders in interacting bosonic systems. Science 338, 1604 (2012).

  18. 18.

    , , & Symmetry protected topological orders and the group cohomology of their symmetry group. Phys. Rev. B 87, 155114 (2013).

  19. 19.

    Periodic table for topological insulators and superconductors. AIP Conf. Proc 1134, 22 (2009).

  20. 20.

    , , & Topological insulators and superconductors: ten-fold way and dimensional hierarchy. New J. Phys. 12, 065010 (2010).

  21. 21.

    , , & Symmetry protection of topological phases in one-dimensional quantum spin systems. Phys. Rev. B 85, 075125 (2012).

  22. 22.

    , & Classification of gapped symmetric phases in one-dimensional spin systems. Phys. Rev. B 83, 035107 (2011).

  23. 23.

    , & Classifying quantum phases using matrix product states and projected entangled pair states. Phys. Rev. B 84, 165139 (2011).

  24. 24.

    , , & Entanglement spectrum of a topological phase in one dimension. Phys. Rev. B 81, 064439 (2010).

  25. 25.

    & Measurement-based quantum computer in the gapped ground state of a two-body Hamiltonian. Phys. Rev. Lett. 101, 010502 (2008).

  26. 26.

    Quantum computation on the edge of a symmetry-protected topological order. Phys. Rev. Lett. 105, 040501 (2010).

  27. 27.

    , , & Quantum computational renormalization in the Haldane phase. Phys. Rev. Lett. 105, 110502 (2010).

  28. 28.

    , , & Symmetry-Protected phases for measurement-based quantum computation. Phys. Rev. Lett. 108, 240505 (2012).

  29. 29.

    , & Symmetry protection of measurement-based quantum computation in ground states. New J. Phys. 14, 113016 (2012).

  30. 30.

    & Resource quality of a symmetry-protected topologically ordered phase for quantum computation. Phys. Rev. Lett. 114, 120506 (2015).

  31. 31.

    & Ground states of one-dimensional symmetry-protected topological phases and their utility as resource states for quantum computation. Phys. Rev. A 92, 022310 (2015).

  32. 32.

    The Heisenberg Representation of Quantum Computers. talk at International Conference on Group Theoretic Methods in Physics. Preprint at . (1998).

  33. 33.

    & Demonstrating the Viability of universal quantum computation using teleportation and single-qubit operations. Nature 402, 390 (1999).

  34. 34.

    , & Two-dimensional symmetry-protected topological orders and their protected gapless edge excitations. Phys. Rev. B 84, 235141 (2011).

  35. 35.

    & Detection of symmetry-protected topological phases in one dimension. Phys. Rev. B 86, 125441 (2012).

  36. 36.

    & Classifying symmetry-protected topological phases through the anomalous action of the symmetry on the edge. Phys. Rev. B 90, 235137 (2014).

  37. 37.

    et al. Matrix Product Operators for Symmetry-Protected Topological Phases. Preprint at (2014).

  38. 38.

    , & Matrix product states, projected entangled pair states, and variational renormalization group methods for quantum spin systems. Adv. Phys 57, 143 (2008).

  39. 39.

    , & Symmetry-protected topological phases from decorated domain walls. Nat. Commun. 5, 3507 (2014).

  40. 40.

    , & Multiparty entanglement in graph states. Phys. Rev. A 69, 062311 (2004).

  41. 41.

    et al. in Quantum Computers, Algorithms and Chaos Vol. 162, (eds Casati, G. et al.) 115–218 (IOS Press, 2006). Preprint at

  42. 42.

    , , & Quantum hypergraph states. New J. Phys. 15, 113022 (2013).

  43. 43.

    et al. Entanglement and nonclassical properties of hypergraph states. J. Phys. A 47, 335303 (2014).

  44. 44.

    Both Toffoli and Controlled-not need little help to do universal quantum computation. Quant. Inform. Comput. 3, 84 (2003).

  45. 45.

    et al. Phase transition of computational power in the resource states for one-way quantum computation. New J. Phys. 10, 023010 (2008).

  46. 46.

    Topological color code and symmetry-protected topological phases. Phys. Rev. B 91, 245131 (2015).

  47. 47.

    Gapped boundaries, group cohomology and fault-tolerant logical gates. Preprint at (2015).

  48. 48.

    & Goals and opportunities in quantum simulation. Nat. Phys. 8, 264–266 (2012).

  49. 49.

    , & Quantum simulation. Rev. Mod. Phys. 86, 153–185 (2014).

Download references

Acknowledgements

This work was supported in part by National Science Foundation grants PHY-1212445, PHY-1314955, PHY-1521016 and PHY-1620651.

Author information

Affiliations

  1. Center for Quantum Information and Control, Department of Physics and Astronomy, University of New Mexico, Albuquerque, NM, USA

    • Jacob Miller
    •  & Akimasa Miyake

Authors

  1. Search for Jacob Miller in:

  2. Search for Akimasa Miyake in:

Contributions

Both authors contributed equally to this work.

Competing interests

The authors declare no conflict of interest.

Corresponding authors

Correspondence to Jacob Miller or Akimasa Miyake.

Supplementary information

Creative Commons BYThis work is licensed under a Creative Commons Attribution 4.0 International License. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in the credit line; if the material is not included under the Creative Commons license, users will need to obtain permission from the license holder to reproduce the material. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/