Transitions in the quantum computational power

Transitions in the quantum computational power

Tzu-Chieh Wei C. N. Yang Institute for Theoretical Physics and the Department of Physics and Astronomy, State University of New York at Stony Brook, Stony Brook, NY 11794-3840, USA    Ying Li Centre for Quantum Technologies, National University of Singapore, 2 Science Drive 3, Singapore Department of Materials, University of Oxford, Parks Road, Oxford OX1 3PH, United Kingdom    Leong Chuan Kwek Centre for Quantum Technologies, National University of Singapore, 2 Science Drive 3, Singapore National Institute of Education and Institute of Advanced Studies, Nanyang Technological University, 1 Nanyang Walk, Singapore
July 11, 2019

We construct two spin models on lattices (both two and three-dimensional) to study the capability of quantum computational power as a function of temperature and the system parameter. There exists a finite region in the phase diagram such that the thermal equilibrium states are capable of providing a universal fault-tolerant resource for measurement-based quantum computation. Moreover, in such a region the thermal resource states on the 3D lattices can enable topological protection for quantum computation. The two models behave similarly in terms of quantum computational power. However, they have different properties in terms of the usual phase transitions. The first model has a first-order phase transition only at zero temperature whereas there is no transition at all in the second model. Interestingly, the transition in the quantum computational power does not coincide with the phase transition in the first model.

03.67.Ac, 03.67.Lx, 05.70.Fh, 75.10.Jm

I Introduction

Transitions in phases of matter, such as melting of ice and boiling of water, is common in everyday life Thermodynamics (). They also occur in zero temperature, where properties of the system are governed, instead of thermal effect, by quantum mechanical fluctuations Sachdev (). Tremendous understanding has been gained on the transitions in phases of matter. Recently, ideas from quantum information and computation NielsenChuang00 () give rise to new perspectives on examining phases of matter, such as topological phases and their classification Wen (). Moreover, from the viewpoint of computational universality in measurement-based quantum computation (MBQC) GoChua (); NielsenLeungChilds (); Oneway (); Oneway2 (); RaussendorfWei12 (), a few works have suggested that resource states can emerge from certain quantum phases of matter DohertyBartlett (); Miyake (); BartlettBrennenMiyakeRenes (); ElseSchwarzBartlettDoherty (); ElseBartlettDoherty (); FujiiNakataOhzekiMurao () and that the transition in the quantum computational capability results in a new notion of phase transitions GrossEisertEtAl (); Browne (); BarrettBartlettDohertyJenningsRudolph (); Darmawan ().

Here, we construct two models to investigate their ground states and thermal states for providing universal quantum computational resource for MBQC. As we shall see both models exhibit similar ‘phase diagrams’ in terms quantum computational power, in both two and three dimensions. The advantage of 3D offers the possibility of topological protection in carrying out quantum computation, even at higher temperatures than in 2D. The two models are natural extension from a symmetric model that we considered previously Thermal (), and the asymmetric parameter introduced here can be used study its effect on computational universality, as well as the possibility to tune the system through a quantum phase transition. They are exactly solvable, and thus also allow us to study and compare with the usual transitions in phases of matter. The first model has a first-order phase transition only at zero temperature and it does not coincide with the transition in the quantum computational power. Moreover, even though there is no phase transition at any finite temperature, there is a region at finite temperature that supports universal quantum computation. The second model does not have a phase transition at zero temperature but has a transition in quantum computational power at both zero and finite temperatures.

The remaining of the paper is organized as follows. In Sec. II we introduce the two models, which are defined on any trivalent lattices either in two or three dimensions. We focus on the ground-state properties as well as the phase diagram at finite temperatures. In Sec. III we discuss zero-temperature quantum computational capability and show the existence of a range of the system parameter, where the ground state can provide a useful resource for universal MBQC. In Sec. IV we turn to the finite temperatures and consider the thermal effects on quantum computational universality. We use the techniques of fault-tolerance quantum computation (FTQC) to map out regions in the phase diagram where FTQC can still be carried out by using thermal states for the universal MBQC. The corresponding phase diagrams of quantum computational power are obtained for both models in both two and three dimensions. It is worth mentioning that the 3D models provide topological protection and hence the transition temperature in QC power is higher than that in 2D. We make concluding remarks in Sec. V.

Ii Two model Hamiltonians

We have previously constructed a model Hamiltonian whose thermal states can be used for universal MBQC even without turning off the Hamiltonian Thermal (). The idea is to take a small unit of a few spins, e.g., one spin-3/2 at the center coupled to three outer spin-1/2 that interact via the Heisenberg interaction ; see Fig. 1. Then we stack up many such units to form a higher dimensional structure, e.g., the decorated 2D honeycomb or other trivalent lattices, or even 3D lattices, and then “glue” or map two smaller spins (i.e. spin-1/2 particles) from neighboring units to single larger spin; see e.g. Fig. 1. Each merged spin, which we shall refer to as a bond particle, possesses a Hilbert space of dimension (i.e. two copies of a qubit) and hence is equivalent to a spin-3/2 entity. One advantage of this approach is that the ground state and its spectral gap can be readily solved and checked. As we shall see, the exactly solvable Hamiltonians thereby constructed allow for fault-tolerant, universal quantum computation with thermal states, and even with topological protection in three dimensions Thermal ().

There was no free parameter in the Hamiltonians in Ref. Thermal (). It was not clear whether or not such quantum computational universality only occurred for the specific Hamiltonian or could be extended to a region in a phase diagram. Here we use as building blocks two different types of interactions beyond the Heisenberg interaction to allow a free system parameter: the XXZ interaction and an additional on-site anisotropic term , and investigate relation between the statistical mechanical and quantum computational features of the resultant two- and three-dimensional models as the system parameter and the temperature vary. (Note the upper case is a spin operator for the center particle of larger spin magnitude, where is a spin-1/2 operator, i.e., ‘half’ of the degree of freedom in a bond particle and will be denoted by or later). These interactions might be engineered in cold atoms or trapped ions.) It turns out to be useful to relate the ground state wavefunctions of the two models if we parameterize by in the first model and thus the Heisenberg point is at .

We thus arrive at two spin models. The Hamiltonian for model I consists of two types of interactions: , where


where ’s and ’s are two independent spin-1/2 operators for the two virtual qubits of a bond particle. For model II, ,


the is a local term on the center particles. These two models can be placed on two- and three-dimensional lattices; see e.g. the hexagonal lattice in Fig. 1 and the 3D lattice in Fig. 3c.

Figure 1: Illustration of bottom-up approach. (a) & (b) illustrate the building block of one unit, which consists of one center spin-3/2 and three outer three virtual bond qubits. Two virtual bond qubits, each from a neighboring unit, form a physical bond spin-3/2 particle, as shown by circles enclosing them in (c). A two-dimensional or three-dimensional structure can be constructed.

ii.1 Model 1: XXZ interaction in a building block

Consider the XXZ interaction for each unit. The Hamiltonian within each unit can be exactly solved. For the ground state energy is (see Fig. 2) and the ground-state wavefunction for a unit (which is unique and gapped) is


where is a normalization constant such that the wavefunction is properly normalized, the symbol denotes the joint state of the center spin-3/2 () and three outer virtual spin-1/2 particles (collectively denoted by ). The examples of the latter are, and . The ground-state wavefunction for the whole 2D system is simply a product of over all units (modulo appropriate merging).

For , , which is a four-spin GHZ state. Because of the merging of outer spin-1/2 particles across two units, such entanglement is useful for quantum computation, as explained in Refs. GoChua () and VerstraeteCirac (). As approaches , it reduces to Heisenberg interaction within a unit and universal quantum computation can be done on such a two-dimensional structure Thermal ().

For , the ground states are doubly degenerate: and , each of which is ferromagnetic within the unit (where we have used and to denote the of the center particle). The ground-state energy is . At a small but finite temperature (smaller than the gap above the ground space), the thermal state will be approximately , possessing no entanglement. Therefore, for , the whole system is not useful for universal quantum computation due to lack of entanglement.

The ground state energy has discontinuity in its first-order derivative with respect to (see Fig. 2), i.e., there is a first-order phase transition. As the ground state in the ferromagnet-like phase, , cannot enable universal quantum computation, one is led to inquire whether universal quantum computation is possible for and whether emergence of such computational power coincide with the phase transition.

ii.2 Model 2: Heisenberg interaction with an on-site anisotropic term

In this section we consider interaction of the form . As Pauli operators square to identity , there is no need to add a term for spin-1/2 particles. As it is exactly solvable, the ground state energy for a unit consof one center spin-3/2 and three outer spin-1/2 particles is for all range of ; see Fig. 2. Furthermore, the ground state (which is unique and gapped) is


where is a normalization constant such that the wavefunction is properly normalized. We see that the ground state wavefunction and its energy are of the same form as in model 1 when . Hence, the computational power of the two models at zero temperature will be the same in the corresponding range. However, in contrast with model 1, this model does not have a phase transition in the state of matter. As this model contains the Heisenberg point, which is universal for MBQC, one is led to inquire whether the whole phase is universal (as there is no phase transition), as opposed to the first model.

Figure 2: Ground-state and the first excited-state energies in each unit for the two models (top: model 1; bottom: model 2). The difference in the two energies is also the gap of the corresponding two- or three-dimensional models (for any finite system as well as in the thermodynamic limit). For the first model, the lowest two energy levels are degenerate for . The ground-state energy exhibits discontinuity in its first derivative w.r.t. , implying a first-order quantum phase transition in the model. However, for the second model, the ground-state energy is analytic for all range of , implying non-existence of phase transition.

Iii Creating a 2D cluster state from ground states

We shall first consider the range of the parameters for the two models where ground state is of the same form within a unit:


For Model 1: the relation of to (for ) is given by


For Model 2: the relation of to (for all range of ) is given by


Since the two models possess the same form of the ground-state wavefunction in the appropriate range of the parameters, we can deal with the quantum computational universality at zero temperature with equal footing. We note that, however, at finite temperatures the region of quantum computational universality will differ due to the different structures in the excited states and their energies. This will be treated in the next section.

The case reduces to the Heisenberg interaction and the use for MBQC has been shown and detailed in Ref. Thermal () and this corresponds to . Examining the wavefunction (8), we see that we can recover the wavefunction if we can apply the following operation on the center spin-3/2 particle:


in the basis of , , , and . However, such a filtering operation cannot be realized with unit probability of success. This is because to implement a filtering operation such as , one needs to include another element to represent the unsuccessful filtering so that .

The solution is to use generalized measurement that can incorporate the filtering. For , the filtering is not needed and a generalized measurement has been used Thermal () so that a GHZ state, such as , can be obtained within each unit. The POVM elements (for spin-3/2’s) were first constructed in Refs. WeiAffleckRaussendorf11 (); Miyake11 (),


For general , we use a deformed POVM with elements ( and the proportional constants are to be determined below) to act on the center particle so as to distill a GHZ state. The reason that works can be illustrated by the example . First restores the wavefunction back to the case. Then filters out the GHZ state , or equivalently, . If we choose to encode the effective qubit for the center particle by and , and for the virtual spin-1/2’s by the usual definition and , then the resultant GHZ state for outcome is


As the wavefunction is symmetric under rotation, the case of simply produces the GHZ state in the and bases, respectively. By imposing the completeness relation, , we find and . This can be verified easily by direction calculation that yields


In order for the above expressions to remain non-negative, such construction is valid only when . We note that a similar construction of POVM has been first used in Ref. Darmawan () in the context of a deformed AKLT model. The POVM ’s give rise to three possible outcomes, and any of them is a good outcome. This effectively generates product of GHZ states among all units. However, the GHZ states are in different bases, depending on the outcome . To fix the outcome basis in the basis, we can imagine applying a unitary transformation to the post-POVM state if or . This is equivalent to using a different measurement basis for the effective qubits. For outcomes and , we perform operations and , respectively, where


so that the resultant GHZ state is always of the form (13). Then measurement on the bond particle (i.e., a joint measurement on the two virtual qubits) can be used to induce a control-Z (CZ) gate between two center particles Cai10 (); Thermal (); WeiRaussendorfKwek11 (). The result is a cluster state, a universal resource state. To summarize, we have thus shown that for , the ground state is universal for MBQC.

For , we need to use a different POVM Darmawan (), i.e.,


One can easily verify the completeness relation , via a direct calculation that yields


In this case, the outcome is not desirable, i.e., it needs to be regarded as an error (specifically a qubit loss) as a GHZ cannot be obtained. The outcomes from and still yield a perfect GHZ state. To arrive at the same GHZ state (13) as in the case of , we further perform operations and , for outcomes and , respectively. Sites with undesirable outcome is equivalent to having leakage out of logical qubit space (or a qubit loss) but can be removed without affecting neighboring center sites by performing measurement on the surrounding bond particles so as to disentangle the unit (the center spin and the three virtual qubits) from the neighboring ones. Thus the qubit loss rate corresponds to the probability of obtaining a outcome, where


If is smaller than the site percolation threshold (which depends on the lattices, such as honeycomb, cross, and square-octagon), then there is not sufficient connection in the remaining network and thus no two-dimensional graph state can be distilled Browne (). Fortunately, it turns out that there is a finite range of below such that the remaining sites still possess enough connection, i.e., the corresponding graph resides in the supercritical phase of percolation. For universal MBQC, it is thus required that , i.e., . This gives for honeycomb, square-octagon, and cross lattices, respectively. For the honeycomb lattice, the threshold translates to . Therefore, at zero temperature, there is a transition in the quantum computational power in both models and, in the first model, before the system reaches its phase transition at as decreases. The exact location of the transition point in the quantum computational power depends on the underlying lattices, due to the connection to percolation. Connection to percolation and quantum computation has been previously explored, such as site percolation in noisy cluster states Browne () and bond percolation in nondeterministic gates for cluster state preparation Kieling ().

The above analysis shows that for model 1 the transition in the quantum computational power (at on the honeycomb lattice) does not coincide with the transition in the phase of matter (at ). Moreover, even though model 2 possesses only one phase of matter, the quantum computational universality only exists in part of the phase. In the following we shall investigate the finite-temperature effect on the quantum computational universality and determine the corresponding ‘phase diagram’ in terms of quantum computational capability.

Iv Thermal states and fault tolerance: two and three dimensions

Because of the structure that the Hamiltonian for both models can be divided into units independent with one another, the free energy at finite temperatures are non-singular, and thus there are no phase transition at finite temperatures. As we shall see below, the region with universal quantum computational power exists up to certain finite temperatures. For a finite temperature, the system is not in the exact ground state but a thermal state. This means that the production of a GHZ state in each unit (and thus the global cluster state) is faulty. Therefore, whether the ‘phase’ of universal quantum computational power exists depends on how one can deal with errors. In particular, the ‘phase’ boundary will depend on the error rates and the thresholds for fault-tolerant quantum computation (FTQC). Our goal is to establish the existence of a nonzero-temperature region that universal MBQC is possible rather than to pin point the absolute boundary of such a region. In the following we describe in detail the error analysis and how the ‘phase diagram’ of the computational power is obtained. For those readers who wish to skip the details, the ‘microscopic’ construction is in Fig. 3 and the resultant phase diagrams for both models are in Fig. 4 for 2D and in Fig. 5 for 3D.

Figure 3: Lattices of cluster states and microscopic construction of qubits. (a) is the 2D square-lattice cluster state, and (c) is the unit cell of the 3D bcc (body-center cubic lattice) cluster state. Both could be constructed from trivalent lattices (with degree-3 nodes) using the modification as shown in (b) and (d), respectively, which converts a degree-4 node to combinations of degree-3 nodes; see also Ref. Fujii (). Note that with such a construction, (a) will be turned to a brickwall structure equivalent to the honeycomb lattice shown in Fig. 1c. See also Fig. 6 and the Appendix for the conversion. In the above (b) and (d), each logical qubit (oval) is composed of spins from two units. The spins inside each oval will eventually be converted to one logical qubit. The circle (which includes two virtual qubits, i.e., a single bond particle) between the two ovals are used to entangle neighboring two effective qubits (within the ovals) via measurement of a bond particle. Essentially, the product of two GHZ states from two such units can be converted to a single GHZ via local measurement on the bond particle inside the oval as well as one of the center particle.

For each set of particles, the thermal state reads


where is the Hamiltonian of four spins including one spin-3/2 and three spin-1/2, and is the temperature. As the input state is a thermal state, the output state after the POVM and the associated unitary operations is a noisy GHZ state. If , the output state is


and the success probability is . If , the output state is


where the success probability is , due to ‘loss’ of logical quits.

Probability Probability
Table 1: The Pauli operators that appear in Eq. (27). denotes Pauli and denotes Pauli . There are in total different inequivalent errors that may occur on the noisy GHZ state. Subscript denotes the center spin (i.e. in Fig. 1a), and subscripts denote the surrounding virtual qubits. The list only considers inequivalent errors; e.g., and errors produce the same consequence for the GHZ state (13), and hence either one of them, say, , is needed in Eq. (27) and listed in the table. Moreover, the triple X error is equivalent to a single error, i.e., . The probabilities of these inequivalent errors for the example of the isotropic model, , are also listed at a temperature .
Figure 4: 2D Phase diagrams in terms of computational power: (a) Upper: the XXZ model; (b) bottom: the anisotropic model. In the region below the solid black curve the equilibrium thermal states provide universal resource for MBQC. For reference, the energies for the ground state and the first excited is shown in white curves (solid and dashed, respective).

The ideal GHZ state  (13) is the common eigenstate the stabilizer elements , , , and (this set denoted by ) with the same eigenvalue . Here, and are Pauli operators of the center qubit, and similarly for other three qubits. In order to use the fault-tolerant quantum computing (FTQC) theory to analyze the computational power, we convert imperfections in the noisy GHZ state into Pauli errors by randomly performing stabilizer operations, which results in


where . Here, is the set of the above stabilizer generators. Such randomization can be effectively performed by updating the basis of the ensuing single-particle measurements rather than actively by actively applying ’s. The state is thus diagonal in the basis of stabilizers and can be written as


where are Pauli operators listed in Table 1, each corresponds to a common eigenstate of stabilizers, and is the probability of the corresponding Pauli error. If the eigenvalue of is in an eigenstate, there is an error in the state. Note that for convenience of notation we use to denote the Pauli and the Pauli and one could also attribute eigenvalue of to an error instead of , but it is equivalent. Similarly, the eigenvalue of corresponds to an error. Therefore, error probabilities can be obtained from diagonal elements of .

As seen above, in addition to single-qubit errors, some errors occur simultaneously, such as and . In our numerical results, we find that only the type of correlated errors are significant (see e.g. Table 1), and other correlated errors are negligible even at the transition point of the computation power, i.e., the FTQC threshold. Actually, these other correlated errors constitute less than of the overall errors. Therefore, only the errors , , and will be taken into account in the following.

We can construct a 2D cluster state on the square lattice from the models sitting on the honeycomb lattice, as well as 3D cluster state from the models on the lattice proposed in Ref. Fujii (), modified from a construction in Ref. Thermal () (see Fig. 3). In both cases, each qubit on the cluster state corresponds to two GHZ states. The procedure for obtaining a 2D cluster state on a square lattice is explained in detail in the Appendix, and is easily adapted to the 3D case. Moreover, the effect of errors on the cluster state can be analyzed straightforwardly, and is summarized in Table 2. We describe them now. On the two GHZ states, each error is propagated to a error on the corresponding cluster-state qubit. We label the spin-1/2 bond particle measured for fusing two GHZ states as qubit-1. Then, each error is propagated to a correlated error on two neighbouring cluster-state qubits (see Table 2). And, and errors are propagated to independent errors on neighbouring cluster-state qubits. Similarly, each is propagated to a correlated error on the corresponding cluster-state qubit and two neighboring cluster-state qubits, and and errors are propagated to a correlated error on the corresponding cluster-state qubit and one neighboring cluster-state qubit. Other types of errors on GHZ states have been neglected as they rarely occur. Therefore, on the final cluster state, the total probability of phase errors on each qubit is


where , , and are probabilities of errors , , and on each GHZ state, respectively. The overall factor of 2 comes from the usage of two units to build one qubit in the cluster state. On the finial cluster state, there exist (i) correlated errors with a probability on some pairs of qubits connected to the same qubit, (ii) correlated errors with a probability or on each pair of directly connected qubits, and (iii) correlated errors with a probability on some trimers formed by connected qubits. All the contribution of correlated errors to each single qubit has been included in . Furthermore, because a cluster-state qubit is missing if one or two GHZ states are not successfully generated, the loss rate of cluster qubits is .

Figure 5: 3D Phase diagrams in terms of computational power: (a) Upper: the XXZ model; (b) bottom: the anisotropic model. (a) Upper: the XXZ model; (b) bottom: the anisotropic model. In the region below the solid black curve the equilibrium thermal states provide universal resource for MBQC. For reference, the energies for the ground state and the first excited is shown in white curves (solid and dashed, respective). Note that the transition temperatures are about 3 to 4 times higher than in 2D at the Heisenberg point.

The 2D cluster state on a square lattice can tolerate qubit loss up to a rate Browne (). With a tolerable loss rate, a 2D graph-state network can be identified from the cluster state with qubit loss, which can be converted to a new 2D cluster state on a hexagonal lattice without qubit loss. The expected fraction of the new cluster state Browne (), i.e., the average length of the path between nodes on the network is , depends on the loss rate (such a relation has been worked out numerically in Ref. Browne ()). The errors on each path may affect the two qubits, corresponding to the two connected nodes, on the final hexagonal lattice. Therefore, on the new cluster state, the probability of errors can be estimated as . Here the factor is due to the three paths connected to each node on the network. The thresholds for FTQC on the 2D cluster state are more stringent than the thresholds for FTQC on one-dimensional circuit architectures by a factor of approximately Raussendorf (). Because the one-dimensional-architecture thresholds (for the circuit model) are approximately Stephens08 (); Stephens09 (), we thus use as the corresponding threshold of the 2D cluster-state model without qubit loss to estimate the phase boundary for the transition in quantum computational power. Therefore, the threshold of 2D models can be estimated as


We numerically solve the temperature such that the above equation holds to determine the ‘phase’ boundary. The resultant ‘phase diagrams’ for both models are shown in Fig. 4.

On 3D cluster states, one can encode quantum information with topological codes, and hence error rates much higher than the 2D threshold are tolerable. Without qubit loss, the error rate threshold of 3D cluster states is for independent phase-flip errors if the minimum-weight perfect matching algorithm is used to find the likely distribution of errors.

On the 3D cluster state obtained from the construction in Fig. 3 (c), there are both independent errors and correlated errors. By choosing the arrangement of particles as shown in Fig. 3 (d), the correlations occur between errors either on directly connected qubits or two qubits oppositely connected to the same qubit. The correlations of errors on directly connected qubits can be neglected due to the error correction algorithm, and the other type of correlations may affect the threshold but not significantly RaussendorfAP (); LiNJP (). Numerical evidence suggests that the threshold decreases approximately linearly with the probability of qubit loss and it can be tolerated up to  Barrett (). As shown in Barrett (), the threshold of 3D models can therefore be approximated as follows Barrett ()


Below this critical line, errors are correctable and the resource state can be used for universal quantum computation. This relation is then used to estimate the phase boundary for quantum computational power, as shown in Fig. 5.

V Concluding remarks

We have worked out the ‘phase diagrams’ for the quantum computational power for two different models in both two and three dimensions. Our initial guess would be that such transition might coincide with that in phases of matter Darmawan (). However, we find that instead quantum computational universality is more intricate and may not persist at all points of a certain phase of matter. The first model has a first-order phase transition at at zero temperature but no phase transitions at nonzero temperatures. The isolated transition point does not locate at the boundary in the quantum computational power. Said equivalently, in this model the transition in the quantum computational power does not coincide with the transition in phases of matter. Such a non-coincidence was already hinted in Ref. Darmawan (), where in the quantum computational universality is likely to disappear at certain point in the valence-bond solid phase. The second model does not have a phase transition at all but has a transition in quantum computational power at both zero and finite temperatures. The region with quantum computational capability for both models survives to higher temperatures in 3D than in 2D.

We also note that the ability to keep the interaction on while performing quantum computation is not a general feature of the model. It requires that all excited eigen-energies measured from the ground energy must be rational relative to one another Thermal (). This only occurs when , at which the models possess the highest symmetry. Incidentally, the closer to the symmetric point, the quantum computational power appears to sustain to a higher temperature. The only other model known to possess such a feature is actually the cluster-state model itself Oneway ().

In our discussions of the FTQC thresholds, we have considered the error sources come from the thermal effect, as we are interested in the computational-power ‘phase diagram’ of the states themselves. By doing so we have assumed that measurements and other operations are perfect. These other errors can be included in the FTQC, and as long as their error rates are small enough, they can also be corrected by the error correction algorithm, but of course, will reduce the tolerable temperature.

Acknowledgment. We thank J. Eisert for useful discussions. This work was supported by the National Science Foundation under Grants No. PHY 1314748 and No. PHY 1333903 (TCW) and by the National Research Foundation & Ministry of Education of Singapore (YL & LCK).

Figure 6: Generation of a cluster state on a square lattice: (a) original honeycomb (i.e. brickwall) lattice; (b) a block of spins that give rise to one logical cluster-state qubit; (c) a center logical block and its neighbor four blocks on a square lattice.

Appendix A Generation of cluster states and error analysis

In this appendix we describe how the merging and CZ gates are implemented by measuring bond particles. We also discuss the effect of errors on qubits. To simplify notation, we will omit the overall normalization. We assume that POVM’s on all center particles have been carried out and these particles become effectively qubits. We illustrate how to obtain a cluster state on the square lattice, but it is easily adapted to the bcc lattice.

(I) First let us consider how to merge two GHZ states of the form . This will be done by measuring the two virtual qubits that form a bond particle. Denote other qubits not involved by an underline, i.e., . The two virtual qubits will be measured in the basis , i.e., a particular basis for the associated spin-3/2 bond particle. For example, an outcome of will project the two pairs of GHZ to . Other outcomes are equivalent to this up to a logical Pauli operation and translate to basis change in the final cluster-state qubit. The resulting state is a six-qubit GHZ state: .

(II) Second, to further shrink this to a five-qubit GHZ state we measure one of the center spins in the basis of , and the resultant state for the remaining five qubits is , up to a logical Pauli Z correction, which can be accounted for by a basis changed in later measurement procedure.

errors on 0-3 or 0’-3’ errors on C, U, L, D, and R
(no error)
(for all )
Table 2: Consequence of qubit errors (from 0-3 and 0’-3’ of block C in Fig. 6) on logical cluster-state qubits. The logical error is equivalent to due to the cluster-state stabilizer operator . Note that the ’s result in , and the probability of all such errors is already included in .

(III) Next we consider how to achieve the operation of CZ on two center qubits of two GHZ pairs. This again is done by measuring an associated bond particle (i.e. two virtual qubits) in a suitable basis. The four basis states are . It is equivalent to applying a CZ gate between the two virtual qubits, followed by a measurement in basis. For illustration, we again denote the two GHZ pairs by . The CZ operation between the two virtual qubits transforms the state to . Suppose is obtained from measuring the two virtual qubits (i.e. the bond particle), the remaining spins are projected to , i.e., a CZ gate has effectively applied between two center spins.

If all the bond particles are measured so as to induce CZ gates between neighboring center spins, as in (III), then the center spins will form a cluster-state on the original honeycomb lattice at the end of the procedure. The consideration of faulty cluster state on the honeycomb lattice could be carried out as done in the case of the square lattice by Browne et al. Browne () to extract the corresponding ratio . But doing this is beyond the scope of the present paper. Instead we use the result of obtained in Ref. Browne () for the faulty square-lattice cluster state to estimate the region where FTQC can be still be carried out. To do this, we should aim to convert our spin network to a cluster state on a square lattice. We note that although this may underestimate the region of universality our goal is to show the existence of such a region in both zero and non-zero temperatures.

To convert our original network of spins on the honeycomb lattice (see e.g. Fig. 6) to form a cluster state on a square lattice, we group two units of spin blocks as shown in Fig. 3 to generate one logical qubit of a cluster state. We label the spins as shown in Fig. 6c. Virtual spins 1 and 1’ are used to merge two GHZ states. Center spin 0 will be removed so as to shrink the 6-qubit GHZ to a 5-qubit GHZ state. The remaining virtual qubits 2,3,2’,3’ will combine with their partner virtual qubits to enact CZ gates on the center qubit 0’ with neighboring such center qubits. The result will be a cluster state on a square lattice. However, at finite temperatures thermal errors occur and the result is a faulty cluster state. We thus summarize the effect of (single-spin) errors on the logical qubits of the cluster state in Table 2 for reference.


  • (1) E. Fermi, Thermodynamics, Dover Publications (New York, 2011).
  • (2) S. Sachdev, Quantum Phase Transitions, Cambridge University Press (Cambridge, 1999).
  • (3) M. Nielsen and I. Chuang, Quantum Computation and Quantum Information, Cambridge University Press (Cambridge, 2000).
  • (4) X.-G. Wen, Quantum Field Theory of Many-Body Systems, Oxford University Press (Oxford, 2004).
  • (5) D. Gottesman and I. L. Chuang, Nature 402, 390 (1999).
  • (6) M. A. Nielsen, Phys. Lett. A 308, 96 (2003); D. W. Leung, Int. J. Quantum Inform. 2, 33 (2004); A. M. Childs, D. W. Leung, and M. A. Nielsen, Phys. Rev. A 71, 032318 (2005).
  • (7) R. Raussendorf and H. J. Briegel, Phys. Rev. Lett. 86, 5188 (2001); R. Raussendorf, D. E. Browne, H. J. Briegel, Phys. Rev. A 68, 022312 (2003).
  • (8) H. J. Briegel, D. E. Browne, W. Dür, R. Raussendorf, and M. Van den Nest, Nature Phys. 5, 19 (2009).
  • (9) R. Raussendorf and T.-C. Wei, Annu. Rev. Condens. Matter Phys. 3, 239-261 (2012).
  • (10) A. C. Doherty and S. D. Bartlett, Phys. Rev. Lett 103, 020506 (2009).
  • (11) A. Miyake, Phys. Rev. Lett. 105, 040501 (2010).
  • (12) S. D. Bartlett, G. K. Brennen, A. Miyake, and J. M. Renes, Phys. Rev. Lett. 105, 110502 (2010).
  • (13) D. V. Else, I. Schwarz, S. D. Bartlett, and A. C. Doherty, Phys. Rev. Lett. 108, 240505 (2012).
  • (14) D. V. Else, S. D. Bartlett, and A. C. Doherty, New J. Physics 14, 113016 (2012).
  • (15) K. Fujii, Y. Nakata, M. Ohzeki, and M. Murao, Phys. Rev. Lett. 110, 120502 (2013).
  • (16) D. Gross, J. Eisert, N. Schuch, and D. Perez-Garcia, Phys. Rev. A 76, 052315 (2007).
  • (17) D. E. Browne, M. B. Elliott, S. T. Flammia, S. T. Merkel, A. Miyake, and A. J. Short, New. J. Phys. 10, 023010 (2008).
  • (18) S. D. Barrett, S. D. Bartlett, A. C. Doherty, D. Jennings, and T. Rudolph, Phys. Rev. A 80, 062328 (2009).
  • (19) A.S. Darmawan, G.K. Brennen and S.D. Bartlett, New. J. Phys. 14, 013023 (2012).
  • (20) Y. Li, D. E. Browne, L. C. Kwek, R. Raussendorf, and T.-C. Wei, Phys. Rev. Lett. 107, 060501 (2011).
  • (21) F. Verstraete and J. I. Cirac, Phys. Rev. A 70 060302(R) (2004).
  • (22) K. Kieling, T. Rudolph, and J. Eisert, Phys. Rev. Lett. 99, 130501 (2007).
  • (23) J.-M. Cai, A. Miyake, W. Dür, and H. J. Briegel, Phys. Rev. A 82, 052309 (2010).
  • (24) T.-C. Wei, I. Affleck, and R. Raussendorf, Phys. Rev. Lett. 106, 070501 (2011).
  • (25) A. Miyake, Ann. Phys. (Leipzig) 326, 1656 (2011).
  • (26) T.-C. Wei, R. Raussendorf, and L. C. Kwek, Phys. Rev. A 84, 042333 (2011).
  • (27) K. Fujii, and T. Morimae, Phys. Rev. A 85, 010304(R)(2012).
  • (28) R. Raussendorf, IJQI 7, 1053 (2009).
  • (29) A. M. Stephens, A. G. Fowler, and L. C. L. Hollenberg, Quantum Inf. Comput. 8, 330 (2008).
  • (30) A. M. Stephens, and Z. W. E. Evans, Phys. Rev. A 80, 022313 (2009).
  • (31) R. Raussendorf, J. Harrington, and K. Goyal, Annals of Phys. 321, 2242 (2006).
  • (32) Y. Li and S. C. Benjamin, New. J. Phys. 14, 093008 (2012).
  • (33) S. D. Barrett, and T. M. Stace, Phys. Rev. Lett. 105, 200502 (2010).
Comments 0
Request Comment
You are adding the first comment!
How to quickly get a good reply:
  • Give credit where it’s due by listing out the positive aspects of a paper before getting into which changes should be made.
  • Be specific in your critique, and provide supporting evidence with appropriate references to substantiate general statements.
  • Your comment should inspire ideas to flow and help the author improves the paper.

The better we are at sharing our knowledge with each other, the faster we move forward.
The feedback must be of minimum 40 characters and the title a minimum of 5 characters
Add comment
Loading ...
This is a comment super asjknd jkasnjk adsnkj
The feedback must be of minumum 40 characters
The feedback must be of minumum 40 characters

You are asking your first question!
How to quickly get a good answer:
  • Keep your question short and to the point
  • Check for grammar or spelling errors.
  • Phrase it like a question
Test description