## Abstract

Quantum information processing offers dramatic speedups, yet is susceptible to decoherence, whereby quantum superpositions decay into mutually exclusive classical alternatives, thus robbing quantum computers of their power. This makes the development of quantum error correction an essential aspect of quantum computing. So far, little is known about protection against decoherence for quantum annealing, a computational paradigm aiming to exploit ground-state quantum dynamics to solve optimization problems more rapidly than is possible classically. Here we develop error correction for quantum annealing and experimentally demonstrate it using antiferromagnetic chains with up to 344 superconducting flux qubits in processors that have recently been shown to physically implement programmable quantum annealing. We demonstrate a substantial improvement over the performance of the processors in the absence of error correction. These results pave the way towards large-scale noise-protected adiabatic quantum optimization devices, although a threshold theorem such as has been established in the circuit model of quantum computing remains elusive.

## Introduction

Combinatorial optimization problems are of great interest in both complexity theory and practical applications, and are also notoriously difficult to solve^{1}. Quantum computing harbours the promise of dramatic speedups over its classical counterpart^{2}, yet it cannot function on a large scale without error correction^{3}. Quantum annealing, a form of quantum computing tailored to optimization that can be more efficient than classical optimization^{4,5,6}, also requires error correction. Quantum annealing is an alternative to classical simulated annealing, an approach to optimization based on the observation that the cost function of an optimization problem can be viewed as the energy of a physical system, and that energy barriers can be crossed by thermal hopping^{7}. However, to escape local minima it can be advantageous to explore low-energy configurations quantum mechanically by exploiting superpositions and tunnelling. Quantum annealing is based on this idea and was originally introduced as an algorithm designed to solve optimization problems such as minimizing multidimensional functions^{8} or finding the ground states of classical spin Hamiltonians^{9}. Quantum annealing is closely related to adiabatic quantum computation^{10,11}, a paradigm that is computationally universal (hence, not limited to optimization) and is equivalent in computational power to the standard circuit model of quantum computation up to polynomial overhead^{12,13}. The physical realization of the quantum annealing algorithm^{14,15,16,17} is called a programmable quantum annealer (PQA).

Numerous experiments have demonstrated the utility of quantum error correction in gate-model quantum computing with up to nine qubits using, for example, NMR^{18,19}, trapped ions^{20,21}, optical systems^{22,23} and superconducting circuits^{24}. However, such demonstrations require far more control than is available in PQA. Similarly, most error correction or suppression methods developed for adiabatic quantum computing^{25,26,27,28} beyond a classical repetition code^{16} require operations that are not included in the PQA repertoire. Furthermore, an accuracy-threshold theorem, such as exists for circuit model quantum computing^{29,30,31}, is still lacking for adiabatic quantum computing. Thus, it remains an open theoretical question whether a noisy PQA can accurately simulate an ideal PQA for arbitrary large optimization problems.

In spite of these obstructions, here we develop and demonstrate an error correction method for PQA. This method can improve the success probability of quantum annealing, while full-fledged fault tolerance remains an open problem. We provide an experimental demonstration using up to 344 superconducting flux qubits in D-Wave processors^{17,32}, which have recently been shown to physically implement PQA^{33,34,35,36,37}. At this time, there is no conclusive evidence that the D-Wave processors can outperform the best classical algorithms, and the question remains the subject of considerable debate^{38,39}. The qubit connectivity graph of these processors is depicted in Fig. 1a.

## Results

### Quantum annealing and computational errors

Many hard and important optimization problems can be encoded into the lowest energy configuration (ground state) of an Ising Hamiltonian

where each *σ*_{i}^{z}=±1 is a classical binary variable, and the dimensionless local fields *h*:={*h*_{i}} and couplings *J*:={*J*_{ij}} are the ‘programmable’ parameters that specify the problem^{40,41}. In PQA the solution of the optimization problem is found by replacing the classical variables by *N* quantum binary variables (qubits) that evolve subject to the time-dependent Hamiltonian

Here *H*_{X}= is a transverse-field Hamiltonian, and denote the spin 1/2 Pauli operators whose eigenstates are, respectively, |0〉, |1〉 and |±〉=(|0〉±|1〉)/, with eigenvalues ±1. *A*(*t*) and *B*(*t*) are time-dependent functions (with dimensions of energy) satisfying *A*(*t*_{f})=*B*(0)=0, and *t*_{f} is the annealing time. A physical PQA always operates in the presence of a thermal environment at temperature *T*. Provided *A*(0)≫*k*_{B}*T*, the PQA is initialized in the ground state of *H*_{X}, namely, the uniform superposition state (|0⋯0〉 + ⋯ + |1⋯1〉)/. Provided *B*(*t*_{f})≫*k*_{B}*T*, the final state at the end of the annealing process is stable against thermal excitations when it is measured. If the evolution is adiabatic, that is, if *H*(*t*) is a smooth function of time and if the gap Δ:=ε_{1}(*t*)−ε_{0}(*t*) between the first excited-state energy ε_{1}(*t*) and the ground-state energy ε_{0}(*t*) is sufficiently large compared with both 1/*t*_{f} and *T*, then the adiabatic approximation for open systems^{42,43,44,45} guarantees that the desired ground state of *H*_{Ising} will be reached with high fidelity at *t*_{f}. However, hard problems are characterized by gaps that close superpolynomially or even exponentially with increasing problem size^{10,11,46}. If the gap is too small, then both non-adiabatic transitions and thermal excitations can result in computational errors, manifested in the appearance of excited states at *t*_{f}. While the non-adiabatic transition rate can in principle be suppressed to an arbitrarily high degree by enforcing a smoothness condition on the annealing functions *A*(*t*) and *B*(*t*)^{47}, thermal excitations will cause errors at any non-zero temperature. In addition, even if Δ is large enough, inaccuracies in the implementation of *H*_{Ising} may result in the evolution ending up in the ‘wrong’ ground state. Overcoming such errors requires error correction.

### Quantum annealing correction

We devise a strategy we call ‘quantum annealing correction’ (QAC), comprising the introduction of an energy penalty (EP) along with encoding and error correction. Our main tool is the ability to independently control pairwise Ising interactions, which can be viewed as the generators of the bit-flip stabilizer code^{48}. We first encode *H*_{Ising}, replacing each term by its encoded counterpart and each by , where the subindices ℓ refer to the problem qubits as depicted in Fig. 1b. After these replacements we obtain an encoded Ising Hamiltonian

where is the number of encoded qubits.

This encoding allows for protection against bit-flip errors in two ways. First, the overall problem energy scale is increased by a factor of *n*, where *n*=3 in our implementation on the D-Wave processors. Note that since we cannot also encode *H*_{X} (this would require *n*-body interactions), it does not directly follow that the gap energy scale also increases; we later present numerical evidence that this is the case, so that thermal excitations will be suppressed. Second, the excited-state spectrum has been labelled in a manner that can be decoded by performing a post-read-out majority vote on each set of *n* problem qubits, thereby error-correcting non-code states into code states to recover some of the excited-state population. The (*n*, 1) repetition code has minimum Hamming distance *n*, that is, a non-code state with more than ⌊*n*/2⌋ bit-flip errors will be incorrectly decoded; we call such states ‘undecodable’, while ‘decodable states’ are those excited states that are decoded via majority vote to the correct code state (see Methods for details of the code and non-code states).

To generate additional protection, we next introduce a ferromagnetic penalty term

the sum of stabilizer generators of the *n*+1 qubit repetition code, which together detect and energetically penalize^{25} all bit-flip errors except the full encoded qubit flip. The role of *H*_{P} can also be understood as to lock the problem qubits into agreement with the penalty qubit, reducing the probability of excitations from the code space into non-code states; see Fig. 1b for the D-Wave processor implementation of this penalty. The encoded graph thus obtained in our experimental implementation is depicted in Fig. 1c.

Including the penalty term, the total encoded Hamiltonian we implement is

where +*β**H*_{P}, and the two controllable parameters *α* and *β* are the ‘problem scale’ and ‘penalty scale’, respectively, which we can tune between 0 and 1 in our experiments and optimize. Note that our scheme, as embodied in equation (5), implements QAC: *H*_{P} energetically penalizes every error *E* it does not commute with, for example, every single-qubit error *E*ε*U*(2) such that *E*σ^{z}.

To illustrate this, consider the case where *E*=. Early in the quantum annealing evolution when the transverse-field Hamiltonian dominates, such an error corresponds to a phase-flip error, while late in the evolution when the Ising Hamiltonian dominates it is a bit-flip error. Denoting the instantaneous ground state of the total encoded Hamiltonian minus the penalty term, , by and the ‘erred’ state by (either another ground state or an excited state of ), the instantaneous energy difference between the erred state and the ground state is , where and . Thus, the EP will suppress thermal excitations from the ground state to the erred state except early in the evolution when *B*(*t*)=0. In contrast, an error that commutes with the penalty term, such as any pure phase-flip error , is not penalized.

### Benchmarking using antiferromagnetic chains

Having specified the general scheme, which in particular is applicable to any problem that is embeddable on the encoded graph shown in Fig. 1c, we now focus on antiferromagnetic chains. In this case, the classical ground states at *t*=*t*_{f} are simply the doubly degenerate states of nearest-neighbour spins pointing in opposite directions. This allows us to benchmark our QAC strategy while focusing on the role of the controllable parameters, instead of the complications associated with the ground states of frustrated Ising models^{35,49}. Moreover, chains are dominated by domain wall errors^{17}, which as we explain below are a particularly challenging scenario for our QAC strategy.

As a reference problem, we implemented an *N*-qubit antiferromagnetic chain with *H*_{Ising}(*α*)=*α*. We call this problem ‘unprotected’ (U) since it involves no encoding or penalty. We can augment the U strategy by implementing four unpenalized parallel *N*-qubit chains: . We can decode the parallel chains in two ways. The first, which is our best classical alternative approach (C), treats the parallel chains as independent runs. If the chains are independent, this increases the success probability from *p* for the U strategy to 1−(1−*p*)^{4} for the C strategy. As shown in Fig. 2, this prediction is in good overall agreement with our experimental results, with small deviations (probably due to crosstalk) appearing only for the longest chains. The binomial theory always gives an upper bound on the experimental results, suggesting that deviations from theory may be attributable to correlated errors in the experimental device.

The second decoding strategy is to treat each triple of bits as an encoded bit *i*, which is decoded via majority vote. We call this the ‘no penalty’ (NP) strategy since it is the QAC strategy with *β*=0. As a third reference problem, we implemented a chain of -encoded qubits with an EP: . When we add majority vote decoding to the EP strategy we have our complete QAC strategy. Comparing the probability of finding the ground state in the U, C, NP, EP and QAC cases allows us to isolate the effects of the various components of the error correction strategy. As antiferromagnetic chains have two degenerate ground states, below we consider the ground state for any given experimentally measured state to be that with which the majority of the decoded qubits align.

### Experimental success probabilities

The performance of the different strategies is shown in Fig. 3. Our key finding is the high success probability of the complete QAC strategy for *α*=1 (Fig. 3a), improving significantly over the four other strategies as the chain length increases, and resulting in a fidelity >90% for all chain lengths. The relative improvement is highest for low values of *α*, as seen in Fig. 3d. The C strategy outperforms the QAC strategy for sufficiently small chain lengths, but its performance drops quickly for large chain lengths. Furthermore, the crossover occurs at smaller chain lengths as the problem scale *α* is decreased. The NP strategy is competitive with QAC for relatively short chains but its performance also drops rapidly. The EP probability is initially intermediate between the U and (C, NP) cases, but always catches up with the (C, NP) data for sufficiently long chains and overtakes both for sufficiently small *α*. This shows that the EP strategy can be better than the purely classical strategies but by itself is insufficient, and it must be supplemented by decoding as in the complete QAC strategy.

Since *α* sets the overall problem energy scale, it is inversely related to the effective noise strength. This is clearly visible in Fig. 3a–d (see also Fig. 5), where the overall success probability improves significantly over a range of *α* values. The unprotected chains are reasonably well fit by a Lorentzian, whereas a classical model of independent errors (see Supplementary Note 2) fails to describe the data as it predicts an exponential dependence on *N*. Additional details, including from experiments on the D-Wave One ‘Rainier’ processor are given in Supplementary Note 1. We turn next to an analysis and explanation of our results.

### Optimizing the penalty scale *β*

To obtain the performance of the EP and QAC strategies shown in Fig. 3, we optimized *β* separately for each strategy and for each setting of *α* and . To understand the role of *β* consider first how increasing *β* affects the size and position of the gap Δ. The excitations relevant to our error correction procedure are to the second excited state and above, since the ground state becomes degenerate at *t*_{f}. In Fig. 4a we show that the relevant gap grows with increasing *β*, as desired. The gap position also shifts to the left, which is advantageous since it leaves less time for thermal excitations to act while the transverse field dominates. However, the role of *β* is more subtle than would be suggested by considering only the gap. When *β*<<*α* the penalty has no effect, and when *β*≫*α* the penalty dominates the problem scale and the chains effectively comprise decoupled encoded qubits. Thus, there should be an optimal *β* for each (, α) pair, which we denote as *β*_{opt}. Without decoding we expect *β*_{opt}~*α* based on the argument above, which is confirmed in Fig. 5 (upper panels). Note that when *β*=0.1, the penalty is too small to be beneficial, and hence the poor performance for that value in the EP case.

In the QAC case another effect occurs: the spectrum is reordered so that undecodable states become lower in energy than decodable states. This is explained in Fig. 4b. Consider the three configurations shown. While the left and middle configurations are decodable, the right-side configuration is not. For sufficiently large *α* the undecodable state is always the highest of the three indicated excited states. The graph at the bottom of panel b shows the Ising gap as a function of *β* for *α* =0.3. While for sufficiently small *β* such that 4*β*, 2*α*+2*β*<6*α* both decodable states are lower in energy than the undecodable state, the undecodable state becomes the first excited state for sufficiently large *β*. This adversely affects the success probability after decoding, as is verified numerically in the inset of panel a, which shows the results of an adiabatic master equation^{44} calculation for the same problem, yielding the undecoded ground-state probability *P*_{GS} and the decoded ground-state probability *P*_{S} (for model details and parameters, see the Methods section). While for *β*<0.6 decoding helps, this is no longer true when for *β*>0.6 the undecodable state becomes the first relevant excited state. Consequently, we again expect there to be an optimal value of *β* for the QAC strategy that differs from *β*_{opt} for EP. These expectations are borne out in our experiments; Fig. 5 (lower panels) shows that *β*_{opt} is significantly lower than in the EP case, which differs only via the absence of the decoding step. The decrease in *β*_{opt} with increasing *α* and chain length can be understood in terms of domain wall errors (see below), which tend to flip entire encoded qubits, thus resulting in a growing number of undecodable errors. However, the benefit of even a small non-zero value for *β*_{opt} at large chain lengths is critical in improving the outcome of the QAC strategy over the NP strategy as observed in Figs 3 and 5, and can be viewed as indirect evidence of quantum effects. For additional insight into the roles of the penalty qubits *α* and *β* see Supplementary Notes 3 and 4.

### Error mechanisms

Solving for the ground state of an antiferromagnetic Ising chain is an ‘easy’ problem, so why do we observe decreasing success probabilities? As alluded to earlier, domain walls are the dominant form of errors for antiferromagnetic chains, and we show next how they account for the shrinking success probability. We analyse the errors on the problem versus the penalty qubits and their distribution along the chain. Figure 6a is a histogram of the observed decoded states at a given Hamming distance *d* from the ground state of the =86 chains. The large peak near *d*=0 shows that most states are either correctly decoded or have just a few flipped bits. The quasi-periodic structure seen emerging at *d*≥20 can be understood in terms of domain walls. The period is four, the number of physical qubits per encoded qubit, so this periodicity reflects the flipping of an integer multiple of encoded qubits, as in Fig. 4b. Once an entire encoded qubit has flipped and violates the antiferromagnetic coupling to, say, its left (thus creating a kink), it becomes energetically preferable for the nearest neighbour-encoded qubit to its right to flip as well, setting off a cascade of encoded qubit flips all the way to the end of the chain. The inset is the encoded Hamming distance histogram, which looks like a condensed version of the physical Hamming distance histogram because it is dominated by these domain wall dynamics.

Rather than considering the entire final state, Fig. 6b integrates the data in Fig. 6a and displays the observed occurrence rates of the various classes of errors per encoded qubit in =86 chains. The histograms for one, two and three problem qubits flipping in each location are shown separately. The states shown at Hamming distance 1 in the histogram are decodable, and together represent the contribution of the majority vote decoding to the overall success probability (note that some errors have already been suppressed via the EP term, as shown in the EP series in Fig. 3 and discussed earlier in the text). Flipped penalty qubits are shown in the inset and are essentially perfectly correlated with *d*=3 errors, indicating that a penalty qubit flip will nearly always occur in conjunction with all problem qubits flipping as well. Thus, the penalty qubits function to lock the problem qubits into agreement, as they should (further analysis of the role of the penalty qubit in error suppression is presented in Supplementary Note 3). The overwhelming majority of errors are one or more domain walls between encoded qubits. The domains occur with higher probability the closer they are to the ends of the chain, since kink creation costs half the energy at the chain boundaries. The same low barrier to flipping a qubit at the chain ends also explains the large peaks at *d*=1.

Our majority vote-decoding strategy correctly decodes errors with *d*=1, incorrectly decodes the much less frequent *d*=2 errors and is oblivious to the dominant *d*=3 domain wall errors, which present as logical errors. Therefore, the preponderance of domain wall errors at large is largely responsible for the drop seen in the QAC data in Fig. 3. The two-qubit problem analysed in Fig. 4a,b suggests that logical errors can dominate the low-energy spectrum. We observe this phenomenon in Fig. 7, which shows that decodable and undecodable states separate cleanly by Hamming distance but not by energy, with many high-energy states being decodable states. In this sense the problem of chains we are studying here is in fact unfavourable for our QAC scheme, and we might expect better performance for computationally hard problems involving frustration.

Figure 7 lends itself to another interesting interpretation. Quantum annealing is normally understood as an optimization scheme that succeeds by evolving in the ground state, but how much does the energy of the final state matter when we implement error correction? Figure 7 shows that a small Hamming distance is much more strongly correlated with decodability than the final state energy: the latter can be quite high while the state remain decodable. Thus, the decoding strategy tolerates relatively high-energy final states.

## Discussion

This work demonstrates that QAC can significantly improve the performance of programmable quantum annealing even for the relatively unfavourable problem of antiferromagnetic chains, which are dominated by encoded qubit errors manifested as domain walls. We have shown that increasing the problem energy scale by encoding into encoded qubits, introducing an optimum penalty strength *β* to penalize errors that do not commute with the penalty term, and decoding the excited states, reduces the overall error rate relative to any strategy that does less than these three steps, which comprise the complete QAC strategy.

The next step is to extend QAC to problems where the correct solution is not known in advance, and is in fact the object of running the quantum annealer. Optimization of the decoding scheme would then be desirable. For example, detected errors could be corrected by solving a local optimization problem, whereby the values of a small cluster of encoded qubits that were flagged as erroneous and their neighbours are used to find the lowest energy solution possible. Other decoding schemes could be devised as needed, drawing, for example, on recent developments in optimal decoding of surface codes^{50}. Another important venue for future studies is the development of more efficient QAC-compatible codes capable of handling larger weight errors. Ultimately, the scalability of quantum annealing depends on the incorporation of fault-tolerant error correction techniques, which we hope this work will help to inspire.

## Methods

### Experiment details

Most of our experiments were performed on the D-Wave Two (DW2) ‘Vesuvius’ processor at the Information Sciences Institute of the University of Southern California. The device has been described in detail elsewhere^{32,51,52}. The D-Wave processors are organized into unit cells consisting of eight qubits arranged in a complete, balanced bipartite graph, with each side of the graph connecting to a neighbouring unit cell, as seen in Fig. 8, known as the ‘Chimera’ graph^{53,54}. The D-Wave One ‘Rainier’ processor is the predecessor of the DW2 and was used in our early experiments; it is described and compared with the DW2 in the Supplementary Methods and in Supplementary Note 1. The annealing schedule for the DW2 is shown in Fig. 9.

All our DW2 results were averaged over 24 embeddings of the chains on the processor (except U in Figs 2 and 3d, which used 188 embeddings), where an embedding assigns a specific set of physical qubits to a given chain. After programming the couplings, the DW2 device was cooled for 10 ms, and then 5,000 annealing runs per embedding were performed using the minimum DW2 annealing time of *t*_{f} =20 μs for every problem size *N*, ε{2, 3,…, 86}, *α*ε{0.1, 0.2, ..., 1.0} and *β*ε{0.1, 0.2, ..., 1.0}. Annealing was performed at a temperature of 17 mK (≈2.2 GHz), with an initial transverse field starting at *A*(0)≈33.8 GHz, going to zero during the annealing, while the couplings are ramped up from near zero to *B*(*t*_{f})≈20.5 GHz.

### Error bars

Error bars in all our DW2 plots were calculated over the set of embeddings and express the s.e.m. *σ*/, where *σ*^{2}= is the sample variance and *S* is the number of samples.

### Code and non-code states

The ‘code states’ = and = of the encoded Ising Hamiltonian equation (3) are eigenstates of with eigenvalues *n* and −*n*, respectively. ‘Non-code states’ are the remaining 2^{n}−2 eigenstates, having at least one bit-flip error. The states and are eigenstates of , also with eigenvalues *n* and −*n*, respectively. Therefore, the ground state of is identical, in terms of the code states, to that of the original unencoded Ising Hamiltonian, with *N*=.

### Proof that the encoded graph is non-planar

The solution of the Ising model over the encoded graph over the processor, shown in Fig. 1c is an NP-hard problem, just as the same problem over the original hardware graph is NP-hard. The key lies in the effectively three-dimensional nature of both graphs; the ground state of Ising spin glasses over non-planar lattices is an NP-hard problem^{40}.

We provide a graphical proof of non-planarity for the encoded graph here. The existence of a subgraph homeomorphic to the *K*_{3,3} complete bipartite graph with three vertices on each side is sufficient to prove that a given graph is non-planar^{55}. This subgraph may take as its edges paths within the graph being studied. We take a section of the encoded graph and, by performing a series of allowed moves of condensing paths to edges, show that the section is indeed homeomorphic to *K*_{3,3}.

We begin with an 18-qubit section of the regular encoded graph, shown in Fig. 10a. This encoded graph is then condensed along its paths by repeatedly removing two edges and a vertex and replacing them with a single edge representing the path. A clear sequence of these moves is shown in Fig. 10b–d. The studied subgraph has now been condensed into the form of the desired *K*_{3,3} graph, as is made clear by labelling and rearranging the vertices as in Fig. 10e. The encoded graph is therefore proved non-planar.

### Adiabatic Markovian master equation

To derive the master equation used in performing the simulations, we consider a closed system with Hamiltonian

where *H*_{S}(*t*) is the time-dependent system Hamiltonian (which in our case takes the form given in equation (2)), *H*_{B} is the bath Hamiltonian, {*A*_{α}} are Hermitian system operators, {*B*_{α}} are Hermitian bath operators and *g* is the system–bath interaction strength (with dimensions of energy). Under suitable approximations, a master equation can be derived from first principles^{44} describing the Markovian evolution of the system. This equation takes the Lindblad form^{56}:

where *H*_{LS} is the Lamb shift term induced by the interaction with the thermal bath, *ω* is a frequency, *γ*_{αβ}(*ω*) is a positive matrix for all values of *ω* and *L*_{α,ω}(*t*) are time-dependent Lindblad operators. They are given by

where is the Cauchy principal value, Δ_{ba}(*t*)≡*ε*_{b}(*t*)−*ε*_{a}(*t*), and the states |*ε*_{a}(*t*)〉 are the instantaneous energy eigenstates of *H*_{S}(*t*) with eigenvalues *ε*_{a}(*t*) satisfying

For our simulations, we considered independent dephasing harmonic oscillator baths (that is, each qubit is coupled to its own thermal bath) such that

where *b*_{k,α} and are, respectively, lowering and raising operators for the *k*th oscillator of the bath associated with qubit *α* and satisfying [*b*_{k,α},]=*δ*_{k,k′} for all *α*. Furthermore, we assume an Ohmic spectrum for each bath such that

where *β* is the inverse temperature, *η* (with units of time squared) characterizes the Ohmic bath and *ω*_{c} is a UV cutoff. In our simulations, we fix *ω*_{c}=8π GHz to satisfy the approximations made in deriving the master equation (see Albash *et al.*^{44} for more details), and we fix *β*^{−1}/≈2.2 GHz to match the operating temperature of 17 mK of the D-Wave device. The only remaining free parameter is the effective system–bath coupling

that we vary to find the best agreement with our experimental data. Further details are given in Supplementary Note 2.

## Additional information

**How to cite this article:** Pudenz, K. L. *et al.* Error-corrected quantum annealing with hundreds of qubits. *Nat. Commun.* 5:3243 doi: 10.1038/ncomms4243 (2014).

## References

- 1.
Papadimitriou, C. H. & Steiglitz, K.

*Combinatorial Optimization: Algorithms and Complexity*Courier Dover Publications (1998). - 2.
Bacon, D. & van Dam, W. Recent progress in quantum algorithms.

*Commun. ACM***53**, 84–93 (2010). - 3.
Preskill, J. Reliable quantum computers.

*Proc. R. Soc. Lond. A***454**, 385–410 (1998). - 4.
Santoro, G. E., Martoňák, R., Tosatti, E. & Car, R. Theory of quantum annealing of an Ising spin glass.

*Science***295**, 2427–2430 (2002). - 5.
Morita, S. & Nishimori, H. Mathematical foundation of quantum annealing.

*J. Math. Phys.***49**, 125210–125247 (2008). - 6.
Somma, R. D., Nagaj, D. & Kieferová, M. Quantum speedup by quantum annealing.

*Phys. Rev. Lett.***109**, 050501 (2012). - 7.
Kirkpatrick, S., Gelatt, C. D. & Vecchi, M. P. Optimization by simulated annealing.

*Science***220**, 671–680 (1983). - 8.
Finnila, A. B., Gomez, M. A., Sebenik, C., Stenson, C. & Doll, J. D. Quantum annealing: a new method for minimizing multidimensional functions.

*Chem. Phys. Lett.***219**, 343–348 (1994). - 9.
Kadowaki, T. & Nishimori, H. Quantum annealing in the transverse Ising model.

*Phys. Rev. E***58**, 5355–5363 (1998). - 10.
Farhi, E.

*et al.*A quantum adiabatic evolution algorithm applied to random instances of an np-complete problem.*Science***292**, 472–475 (2001). - 11.
Young, A. P., Knysh, S. & Smelyanskiy, V. N. Size dependence of the minimum excitation gap in the quantum adiabatic algorithm.

*Phys. Rev. Lett.***101**, 170503 (2008). - 12.
Aharonov, D.

*et al.*Adiabatic quantum computation is equivalent to standard quantum computation.*SIAM J. Comput.***37**, 166–194 (2007). - 13.
Mizel, A., Lidar, D. A. & Mitchell, M. Simple proof of equivalence between adiabatic quantum computation and the circuit model.

*Phys. Rev. Lett.***99**, 070502 (2007). - 14.
Brooke, J., Bitko, D., Rosenbaum, F., T. & Aeppli, G. Quantum annealing of a disordered magnet.

*Science***284**, 779–781 (1999). - 15.
Kaminsky, W. M. & Lloyd, S. In

*Quantum Computing and Quantum Bits in Mesoscopic Systems*(eds Leggett, A., Ruggiero, B. & Silvestrini, P.) 229–236 (Kluwer Academic/Plenum Publishers, 2004). - 16.
Kaminsky, W. M., Lloyd, S. & Orlando, T. P. Scalable superconducting architecture for adiabatic quantum computation. Preprint at http://arXiv.org/abs/quant-ph/0403090 (2004).

- 17.
Johnson, M. W.

*et al.*Quantum annealing with manufactured spins.*Nature***473**, 194–198 (2011). - 18.
Cory, D. G.

*et al.*Experimental quantum error correction.*Phys. Rev. Lett.***81**, 2152–2155 (1998). - 19.
Zhang, J., Laflamme, R. & Suter, D. Experimental implementation of encoded logical qubit operations in a perfect quantum error correcting code.

*Phys. Rev. Lett.***109**, 100503 (2012). - 20.
Chiaverini, J.

*et al.*Realization of quantum error correction.*Nature***432**, 602–605 (2004). - 21.
Schindler, P.

*et al.*Experimental repetitive quantum error correction.*Science***332**, 1059–1061 (2011). - 22.
Lu, C.-Y.

*et al.*Experimental quantum coding against qubit loss error.*Proc. Natl Acad. Sci.***105**, 11050–11054 (2008). - 23.
Aoki, T.

*et al.*Quantum error correction beyond qubits.*Nat. Phys.***5**, 541–546 (2009). - 24.
Reed, M. D.

*et al.*Realization of three-qubit quantum error correction with superconducting circuits.*Nature***482**, 382–385 (2012). - 25.
Jordan, S. P., Farhi, E. & Shor, P. W. Error-correcting codes for adiabatic quantum computation.

*Phys. Rev. A***74**, 052322 (2006). - 26.
Lidar, D. A. Towards fault tolerant adiabatic quantum computation.

*Phys. Rev. Lett.***100**, 160506 (2008). - 27.
Quiroz, G. & Lidar, D. A. High-fidelity adiabatic quantum computation via dynamical decoupling.

*Phys. Rev. A***86**, 042333 (2012). - 28.
Young, K. C., Sarovar, M. & Blume-Kohout, R. Error suppression and error correction in adiabatic quantum computation: Techniques and challenges.

*Phys. Rev. X***3**, 041013 (2013). - 29.
Aharonov, D. & Ben-Or, M. In

*Proceedings of 29th Annual ACM Symposium on Theory of Computing (STOC)***176**, (ACM: New York, , (1997). - 30.
DiVincenzo, D. P. & Shor, P. W. Fault-tolerant error correction with efficient quantum codes.

*Phys. Rev. Lett.***77**, 3260–3263 (1996). - 31.
Aliferis, P., Gottesman, D. & Preskill, J. Quantum accuracy threshold for concatenated distance-3 codes.

*Quant. Inf. Comput.***6**, 97 (2006). - 32.
Harris, R.

*et al.*Experimental demonstration of a robust and scalable flux qubit.*Phys. Rev. B***81**, 134510 (2010). - 33.
Dickson, N. G.

*et al.*Thermally assisted quantum annealing of a 16-qubit problem.*Nat. Commun.***4**, 1903 (2013). - 34.
Boixo, S., Albash, T., Spedalieri, F. M., Chancellor, N. & Lidar, D. A. Experimental signature of programmable quantum annealing.

*Nat. Commun.***4**, 3067 (2013). - 35.
Boixo, S.

*et al.*Quantum annealing with more than one hundred qubits. Preprint at http://arxiv.org/abs/1304.4595 (2013). - 36.
Smolin, J. A. & Smith, G. Classical signature of quantum annealing. Preprint at http://arxiv.org/abs/1305.4904 (2013).

- 37.
Wang, L.

*et al.*Comment on: ‘Classical signature of quantum annealing'. Preprint at http://arxiv.org/abs/1305.5837 (2013). - 38.
Aaronson, S. D-wave: Truth finally starts to emerge. URL http://www.scottaaronson.com/blog/?p=1400.

- 39.
Selby, A. D-Wave: comment on comparison with classical computers; URL, http://tinyurl.com/Selby-D-Wave (2013).

- 40.
Barahona, F. On the computational complexity of Ising spin glass models.

*J. Phys. A Math. Gen.***15**, 3241–3253 (1982). - 41.
Lucas, A. Ising formulations of many NP problems.

*Front. Physics***2**, 5 (2014). - 42.
Childs, A. M., Farhi, E. & Preskill, J. Robustness of adiabatic quantum computation.

*Phys. Rev. A***65**, 012322 (2001). - 43.
Sarandy, M. S. & Lidar, D. A. Adiabatic approximation in open quantum systems.

*Phys. Rev. A***71**, 012331 (2005). - 44.
Albash, T., Boixo, S., Lidar, D. A. & Zanardi, P. Quantum adiabatic markovian master equations.

*New J. Phys.***14**, 123016 (2012). - 45.
Deng, Q., Averin, D. V., Amin, M. H. & Smith, P. Decoherence induced deformation of the ground state in adiabatic quantum computation.

*Sci. Rep.***3**, 1479 (2013). - 46.
Altshuler, B., Krovi, H. & Roland, J. Anderson localization makes adiabatic quantum optimization fail.

*Proc. Natl Acad. Sci.***107**, 12446–12450 (2010). - 47.
Lidar, D. A., Rezakhani, A. T. & Hamma, A. Adiabatic approximation with exponential accuracy for many-body systems and quantum computation.

*J. Math. Phys.***50**, 102106 (2009). - 48.
Lidar D., Brun T. (eds)

*Quantum Error Correction*Cambridge Univ. Press (2013). - 49.
Santra, S., Quiroz, G., Ver Steeg, G. & Lidar, D. MAX 2-SAT with up to 108 qubits. Preprint at http://arxiv.org/abs/1307.3931 (2013).

- 50.
Fowler, A. G., Whiteside, A. C. & Hollenberg, L. C. L. Towards practical classical processing for the surface code: timing analysis.

*Phys. Rev. A***86**, 042313 (2012). - 51.
Harris, R.

*et al.*Experimental investigation of an eight-qubit unit cell in a superconducting optimization processor.*Phys. Rev. B***82**, 024511 (2010). - 52.
Berkley, A. J.

*et al.*A scalable readout system for a superconducting adiabatic quantum optimization system.*Supercond. Sci. Technol.***23**, 105014 (2010). - 53.
Choi, V. Minor-embedding in adiabatic quantum computation: I. The parameter setting problem.

*Quant. Inf. Proc.***7**, 193–209 (2008). - 54.
Choi, V. Minor-embedding in adiabatic quantum computation: II. Minor-universal graph design.

*Quant. Inf. Proc.***10**, 343–353 (2011). - 55.
Boyer, J. M. & Myrvold, W. J. On the cutting edge: simplified o(n) planarity by edge addition.

*J. Graph Algorithms Appl.***8**, 241–273 (2004). - 56.
Lindblad, G. On the generators of quantum dynamical semigroups.

*Comm. Math. Phys.***48**, 119–130 (1976).

## Acknowledgements

We thank Gerardo Paz for useful discussions. This research was supported by the Lockheed Martin Corporation, by ARO-MURI Grant W911NF-11-1-0268, by ARO-QA Grant number W911NF-12-1-0523, and and by NSF Grant numbers PHY-969969 and PHY-803304.

## Author information

## Affiliations

### Department of Electrical Engineering, University of Southern California, Los Angeles, California 90089, USA

- Kristen L. Pudenz
- & Daniel A. Lidar

### Center for Quantum Information Science & Technology, University of Southern California, Los Angeles, California 90089, USA

- Kristen L. Pudenz
- , Tameem Albash
- & Daniel A. Lidar

### Information Sciences Institute, University of Southern California, Marina del Rey, California 90292, USA

- Kristen L. Pudenz

### Department of Physics and Astronomy, University of Southern California, Los Angeles, California 90089, USA

- Tameem Albash
- & Daniel A. Lidar

### Department of Chemistry, University of Southern California, Los Angeles, California 90089, USA

- Daniel A. Lidar

## Authors

### Search for Kristen L. Pudenz in:

### Search for Tameem Albash in:

### Search for Daniel A. Lidar in:

### Contributions

K.L.P. invented the four-qubit code used here. D.A.L. and K.L.P. designed the experiments, which K.L.P. performed. T.A. analysed the master equation and performed the numerical simulations. All authors evaluated and analysed the data and theory. D.A.L. wrote the manuscript with input from T.A. and K.L.P.

### Competing interests

The authors declare no competing financial interests.

## Corresponding author

Correspondence to Daniel A. Lidar.

## Supplementary information

## PDF files

- 1.
### Supplementary Information

Supplementary Figures 1-12, Supplementary Methods, Supplementary Notes 1-4 and Supplementary References

## Rights and permissions

To obtain permission to re-use content from this article visit RightsLink.

## Comments

By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.