Abstract
Ising spin Hamiltonians are often used to encode a computational problem in their ground states. Quantum Annealing (QA) computing searches for such a state by implementing a slow timedependent evolution from an easytoprepare initial state to a low energy state of a target Ising Hamiltonian of quantum spins, H_{I}. Here, we point to the existence of an analytical solution for such a problem for an arbitrary H_{I} beyond the adiabatic limit for QA. This solution provides insights into the accuracy of nonadiabatic computations. Our QA protocol in the pseudoadiabatic regime leads to a monotonic powerlaw suppression of nonadiabatic excitations with time T of QA, without any signature of a transition to a glass phase, which is usually characterized by a logarithmic energy relaxation. This behavior suggests that the energy relaxation can differ in classical and quantum spin glasses strongly, when it is assisted by external timedependent fields. In specific cases of H_{I}, the solution also shows a considerable quantum speedup in computations.
Similar content being viewed by others
Introduction
The ground state of a classical Ising spin Hamiltonian H_{I}(σ^{1}, … , σ^{N}), where σ^{k} are binary variables, can be found after QA by mapping σ^{k} to the zprojection Pauli operators \({\sigma }_{z}^{k}\) of quantum spins1/2 (qubits). The Hamiltonian for QA is generally defined as^{1,2,3,4}
where f(t) is monotonically increasing with time from zero to a finite value and r(t) is monotonically decreasing from a finite value to zero; H_{M} is the initial “mixing" Hamiltonian whose ground state is easy to prepare, and
The number of different terms in (2) can be exponentially large as H_{I} can have arbitrary klocal terms that couple k spins directly with different coefficients a_{{k}}.
Allowing only binary couplings in (2), this already includes NPcomplete problems^{5,6,7,8}, which means that many important QA problems that are usually formulated with a different from (2) target Hamiltonian, can be mapped to the model (1) with only a polynomial overhead. The integer number factorization and the Grover algorithm can be also formulated as QA problems with some H_{I}^{9,10}.
Today, accessible hardware for a large number, over 100, qubits uses only heuristic approaches to QA^{11}, for which the operator H_{M} and the annealing schedule, f(t) and r(t), in (1) are not specifically tuned to the choice of H_{I}. The QA protocol is chosen then mainly for the simplicity of implementing it in practice. Still, H_{M} must not commute with H_{I}, and have a large gap between the lowest eigenvalue and the rest of its spectrum. According to the adiabatic theorem, if the timedependent parameters change sufficiently slowly, the system remains in the instantaneous ground state and thus transfers to the ground state of H_{I} as t → ∞. Measuring the qubit polarizations \({\sigma }_{z}^{k}\), k = 1, …, N, we then obtain the desired configuration of Ising spins that minimize H_{I}.
In real heuristic QA experiments, time is restricted by the coherence time of qubits, so the adiabatic regime is practically never achievable. Given the widths ΔE_{I} of the energy band of H_{I}, it is possible to perform a pseudoadiabatic evolution with T ≫ 1/ΔE_{I}, where T is the achievable QA time. However, the gap between nearest levels of H_{I} is generally δ ∼ ΔE_{I}/2^{N}, i.e., exponentially smaller than ΔE_{I}, during the QA. The ground state of the full Hamiltonian H(t) with a complex H_{I} then usually passes through avoided crossings with exponentially small gaps to other levels. Hence, the practical situation corresponds to the nonadiabatic regime.
Thus, the experimentally accessible QA computing is inspired by a phenomenological assumption that there are computational problems whose partial solutions, i.e., the low Ising spin energy states can be obtained during the nonadiabatic QA process faster than during classical computations. If this assumption is correct, the quantum coherent evolution can be used in combination with incoherent classical annealing for a longer time.
Whether this is true or not is hard to verify either numerically or analytically because we deal with driven and nonadiabatic manybody dynamics. We still do not have definite answers on how quickly the useful information is gained during nonadiabatic QA computations, and whether there can be quantum algorithms that outperform classical computations during the time that is accessible in practice.
Results
Solvable model
To address these problems, first, let us show that the original model (1) can be rewritten in the form of a scattering problem that depends on a single timedependent parameter g(t). In the Schrödinger equation,
we switch to a new time variable
Here, f(τ) is positive, so s(t) is a singlevalued function, which is growing monotonically with t. Moreover, since both f(t) and r(t) are changing monotonically with t, they are singlevalued functions of s: f(s) ≡ f(t(s)) and r(s) ≡ r(t(s)). Using that
in (3), we find that (3) is equivalent to
Since f(s) → 0 as s → 0, the initial conditions become
and since r(s) decays to zero as s → ∞, so does the redefined coupling g(s). Thus, the QA problem in (1) is equivalent to a model with the Hamiltonian
where g(t) is decaying from an infinite value to zero.
Next, if the goal is to study the accuracy of computations, one needs the probabilities of nonadiabatic excitations that are produced during QA starting from the ground state. Here, we point to the fact that there is a fully solvable model that provides all excitation probabilities for evolution (5) with an arbitrary H_{I}. This model has g(t) and H_{M}, which satisfy the basic requirements for a QA protocol. Namely,
and H_{M} is the projection operator onto the state with all spins pointing along x axis:
This H_{M} has been considered for QA problems previously in relation to the adiabatic Grover algorithm^{10}. In Methods, we show that the model remains solvable even when the state \(\left{\psi }_{0}\right\rangle\) is chosen arbitrarily. This means that the model generally depends on 2^{N} different complex parameters that encode this state. However, having no information about H_{I}, a wise choice of H_{M} would be to consider \({\psi }_{0}\rangle\) that does not discriminate among possible eigenstates of H_{I}, which is achieved by initially polarizing all spins along the x axis.
As t → 0_{+}, the state \({\psi }_{0}\rangle\) is the ground state of H with energy
Since all the other eigenvalues of H_{M} are zero, ∣E_{0}∣ is also the leading order energy gap to the rest of the spectrum of H as t → 0.
Let \(\leftn\right\rangle\) be the state of an arbitrary configuration of all the spins with definite projections along the z axis. For this state,
where
is the dimension of Hilbert space of N spins1/2’s. Thus, the matrix form of H_{M} in the computational basis has identical exponentially small but nonzero entries. Let us also introduce the Ising energies
where we reserve n = 0 for the ground state of H_{I}, and assume that the state indices are chosen so that
We postpone the case of H_{I} with eigenvalue degeneracy to a later section. We will call n in ε_{n} the number of excitations, because this index tells how many basis states have smaller Ising energy than the given state.
Let \({a}_{0}(t),\ldots ,{a}_{{{{{{{{\mathcal{N}}}}}}}}1}(t)\) be the amplitudes of the basis states in the Schrödinger equation solution:
For our QA protocol, the Schrödinger equation is given by
The solvability of equations (11) follows from the fact that, after the Laplace transform, the \({{{{{{{\mathcal{N}}}}}}}}\) coupled equations reduce to a single firstorder ordinary differential equation in the Laplace transform of v, which can always be solved analytically (see Methods). This model is a special case of a model that was solved by one of us^{12}. Algebraic properties of this model were also mentioned in refs. ^{13,14}, but the relation of its solution to the QA problem has not been discussed before.
The analytical solution gives a simple formula for the probabilities of excitation numbers at the end of the evolution. If as t → 0_{+} the system is in the ground state, \({\psi }_{0}\rangle\), the probability to produce n excitations as t → ∞ is given by
Note that the final state probabilities do not depend on the particular expressions for the eigenstates \(\leftn\right\rangle\), and in this sense tell nothing about the ground state of H_{I}. However, equation (12) gives complete information about the performance of the given QA protocol. For example, the probability to obtain the ground state is given by
and the average number of excitations is
These expressions simplify for a large number of interacting qubits N ≫ 1, for which \({{{{{{{\mathcal{N}}}}}}}}\) is exponentially large, and we can disregard \({p}^{{{{{{{{\mathcal{N}}}}}}}}}\) in comparison to p. For g ≫ 1 we find \({p}^{{{{{{{{\mathcal{N}}}}}}}}}\ll 1\), and P_{n} follows the geometric distribution, with
To provide an intuition about the properties of the distribution (12), we also note that if the energy dispersion of H_{I} were linear, i.e., if ε_{n} = nδ, then the distribution (12) would be the Gibbs distribution
where 1/Z is a normalization factor and
As the dimensionless parameter g is growing, the effective temperature (16) of the final excitation distribution is decreasing.
Characteristic annealing times
The currently studied QA systems use a slowly changing transverse magnetic field with
where \({\sigma }_{x}^{k}\) are Pauli xoperators acting in space of individual spins. In later sections, we will argue that the model with schedule g(t) in (6) and H_{M} from (7) is, for a certain large subclass of H_{I}, optimal. Therefore, its solution can be used to learn about the entire strategy of using nonadiabatic QA for finding lowenergy states. To show this, we must first introduce a method to compare the performance of different QA protocols with g(t) ∼ 1/t^{α} and different H_{M}, but the same H_{I} and the computation time T.
There is an additional time scale that characterizes the speed of QA. The operator g(t)H_{M} has a bounded spectrum. Due to the exponentially large Hilbert space, this spectrum must have a highdensity region at some distance ΔE_{M} from the ground state of g(t)H_{M}. The Ising part H_{I} also has a characteristic energy scale ΔE_{I}, that is, the bandwidth of its spectrum (Fig. 1, left panel). Since H_{I} and g(t)H_{M} do not commute, the resonant nonadiabatic transitions between the ground level of g(t)H_{M} and the dense region of its spectrum become most probable near the time τ_{a}, when the operators H_{I} and g(τ_{a})H_{M} become comparable (Fig. 1, left and middle panels), i.e.,
For example, for our solvable model (see Methods)
where
is the characteristic time of dephasing that can be induced by the Ising part H_{I}. We will call τ_{a} the annealing time, in contrast to the total evolution time T that we will call computation time.
Any QA protocol must pass through the moment (18). Hence, τ_{a} can always be defined consistently. We will say that two different protocols with powerlaw decays of g(t) and the same H_{I} and T, have the same speed of QA if they also have the same τ_{a}. The practically interesting values of τ_{a} are restricted to the range
The first inequality in (19) follows from the fact that the case of τ_{a} < τ_{I} corresponds to a strongly nonadiabatic regime, for which the gap in the spectrum of g(t)H_{M} closes faster than the characteristic interaction rates of H_{I}. We will say that one of the compared protocols is better if it produces fewer excitations, 〈n〉, when \(T/{\tau }_{a}={{{{{{{\rm{const}}}}}}}}\gg 1\) and the same characteristic times, τ_{I} and τ_{a}, are set for the different protocols.
If a protocol is optimal, i.e., outperforms all other protocols at some imposed conditions on the QA schedule and for a certain class of H_{I}, it must remain optimal after timerescaling, t → λt, in the Schrödinger equation, because the latter merely means the change of timecounting procedure. It has been recently proved^{15} that if such a protocol exists, it must correspond to a powerlaw decay of the coupling: g(t) ∼ t^{a}. We will use this result because it strongly restricts the class of the schedules that should be tested in order to prove the optimality. Here we also note that the solvable protocol has g(t) ∼ 1/t, which means that it may be optimal for some classes of H_{I}, which we will identify later.
Computational convergence rates
The analytical solution says that the probability to find the ground state configuration is growing linearly with τ_{a}, however, starting from an exponentially small value. Thus, if we assume that g = τ_{a}/τ_{I} ≫ 1, then
Hence, in order to make P_{0} ∼ 1, we need the QA time
The theory of simulated QA has previously produced various bounds on the rate of change of the coupling^{16,17,18}. The simulated QA is a MonteCarlo algorithm, which performance dependence on N and T can be different from the performance of the physical QA but both algorithms are interesting to compare. According to ref. ^{17}, to guarantee the convergence of the simulated QA for binary couplings in the Ising Hamiltonian, as t → ∞, to O(1) ground state probability, the field should change as
where ξ is exponentially small for large N. Our solution agrees with this estimate. It shows the convergence of QA computing to the ground state in the adiabatic limit, during a finite nonpolynomial in N annealing time (20). However, for a fair comparison, the result in ref. ^{17} must be extended to the limit of maximal complexity of (2). At least the fact that the number of terms in H_{I} can be exponentially large adds an extralarge overhead on the MonteCarlo algorithms, such as the simulated QA, because the time to calculate just one eigenvalue becomes, itself, exponentially large. In the worstcase then, the calculation time should grow as \(\sim {{{{{{{{\mathcal{N}}}}}}}}}^{2}\). In contrast, programming such a complex H_{I} for QA means setting \(O({{{{{{{\mathcal{N}}}}}}}})\) different couplings only once. This takes only \(O({{{{{{{\mathcal{N}}}}}}}})\) amount of time and therefore this preparation step for QA can change only the exponential prefactor but not the exponential scaling in (20).
The result (20) also shows that the generally exponentially hard computational problem requires exponentially large calculation time for a precise solution. Hence, computational difficulties reemerge in some form in different computational approaches. For specific problems, this annealing time can be generally obtained by the gap analysis and finetuning of the protocol for a specific H_{I}. For example, if the minimal gap over the ground state scales as \(\sim 1/\sqrt{{{{{{{{\mathcal{N}}}}}}}}}\), this imposes the same constraint for the annealing time \({\tau }_{a} \sim {{{{{{{\mathcal{N}}}}}}}}\). However, we stress that the gap analysis for complex H_{I} can be very challenging, and a proper choice of the annealing protocol, g(t) and H_{M}, requires individual tuning^{19,20}. In contrast, our analytic solution applies to all H_{I} with a fixed simple form of the annealing protocol.
The time estimate (20) can be compared to the one for a classical search algorithm that would identify the ground state of the diagonal matrix H_{I}. If the entries of H_{I} are random, there is no other way but to compare all eigenvalues, which requires \({{{{{{{\mathcal{N}}}}}}}}\) computational steps. Using this analogy, equation (20) suggests that τ_{I} can be considered as an analog of the single computation time step and τ_{a} is the analog of the full computation time in the classical search algorithms.
Scaling for the average excitation number
The modern attempts to develop QA hardware are largely based on a heuristic assumption that at moderate QA rates we can obtain a considerable reduction in computational error rate even when the true ground state cannot be found. The needed intuition for this regime can be gained from physics using the similarity of the complex Ising Hamiltonians with spinglass systems that correspond to randomly chosen couplings between spins^{21}. The glass phase appears at low temperatures and corresponds to logarithmically slow relaxation of standard measurable characteristics^{22}. Indeed, classical annealing simulations of spin glasses generally show a logarithmic residual energy dependence on time T of the temperature decay from a finite value to zero^{16,23}:
where β = O(1) is a constant. The transition to the glass phase is also expected for QA but the scaling of the residual energy with QA time is not clear. On one hand, quantum tunneling is more efficient than thermal fluctuations when overcoming spikes of a potential barrier. On the other hand, such barrier spikes can be bypassed in the multidimensional phase space of many qubits, whereas stochastic fluctuations are more efficient for transiting over shallow but broad potential barriers. Moreover, disordered quantum systems show purely quantum effects, such as manybody localization, that resist the propagation of information inside a system. An example of this behavior is found in gammamagnets^{24}—the models of arbitrarily many interacting spins that resist flipping even a single spin in response to arbitrarily strong and fast magnetic fields. Thus, there are arguments both in favor and against QA in comparison with classical annealing performance.
Early numerical studies found that QA leads to an inverse power of the logarithmic decay (22) as well, where T is the time of the QA protocol, but with a larger power β, and hence outperforms classical annealing^{25,26}. However, later studies^{27} claimed that this behavior might be a numerical artifact caused by time discretization, and the improvement of QA reduces only to a small finite offset in the timecontinuum limit. If the system passes into a glassy phase, there are analytical arguments showing that QA has no advantage over classical annealing at all^{28}. In any case, if slow energy relaxation (22) describes QA of spin glasses in the pseudoadiabatic regime generally, the heuristic QA method looks impractical for computations, apart from niche applications that avoid the spinglass behavior.
Returning to our solvable model, QA superiority in the nonadiabatic regime would correspond to a fast suppression of the average number of excitations, for \({{{{{{{\mathcal{N}}}}}}}}\gg 1\), which is given by
As expected, 〈n〉 decreases with the growing annealing time τ_{a} but nonexponentially and starting from an exponentially large initial value.
Let us now discuss the fact that, formally, the computation time T in the solvable model is infinite but in practice, it has to be finite. Let us set T to be proportional to τ_{a}. The same scaling then would be found for the dependence of 〈n〉 on T if the deviation of the QA result at finite T from the exact solution is suppressed by a small parameter τ_{a}/T. Numerically, we always found that 〈n〉 saturates for T > τ_{a} close to the T → ∞ value, up to corrections of some order of τ_{a}/T (Fig. 1, right panel).
The following analytical arguments show that, indeed, a sudden termination of the protocol at finite T ≫ τ_{a} produces a negligible difference from our analytical prediction. Using the Landau–Zener formula, the nonadiabatic transitions may not be suppressed during t > T for the states within the energy difference δε^{2} ∼ ∣dΔE_{M}/dt∣ ≤ g/T^{2}. For spin glasses with a smooth density of states, the introduced deviations from 〈n〉 are suppressed, at least, by a factor O(τ_{I}/T), which has the same dependence on T as the 〈n〉 dependence on τ_{a} but the factor 1/T is much smaller. For example, if we set τ_{a}/T ∼ 0.01, then the deviations from the analytical prediction for 〈n〉 should not exceed ∼ 1%. Thus, we find the scaling
assuming that \({\tau }_{a}/T={{{{{{{\rm{const}}}}}}}}\ll 1\).
Equation (24) is the main result of our article. We showed analytically that QA with the solvable protocol does not lead to a logarithmically slow relaxation for arbitrarily complex H_{I}. In fact, the exact solution does not show any sharp changes in the relaxation curve, which are expected for the transition to a glass phase.
We now analyze the behavior of the residual energy
For spin glasses with random H_{I}, the middle of the density of states is smooth and broad, and can be well described with a constant density, i.e., E_{n} = δn, where \(\delta ={{\Delta }}{E}_{I}/{{{{{{{\mathcal{N}}}}}}}}\) is the characteristic distance between nearest energy levels. In this case, for a broad range of annealing times, 〈n〉 and the average energy after QA are linearly related: ε_{res} ∼ 〈n〉δ. Then, equation (23) means a surprising fact that the energy relaxation as a function of the annealing time follows a power law:
rather than a logarithmic relaxation with growing τ_{a}, which is found in the classical annealing of spin glasses.
In interactingspin systems, the density of state typically follows a Gaussian form^{29}, whose tail near the ground state can be distorted, e.g., to an exponential shape. Hence, for truly slow QA, deviations from (26) are expected because the residual energy becomes sensitive to the exact form of the density of states near the ground level. However, any powerlaw energy dispersion near the ground level, ε_{n} ∼ n^{α}, leads to a power law \({\varepsilon }_{res} \sim 1/{\tau }_{a}^{\alpha }\) rather than logarithmic residual energy dependence on 1/τ_{a} after averaging over the distribution (12). This allows us to analyze the residual energy scaling with various forms of lowenergy spectral density. In Methods, we show that the powerlaw relaxation for the residual energy is typically expected, including for the Gaussian and exponential spectral densities.
Numerically, we could not find a spectrum that would produce a clearly logarithmic residual energy relaxation for the solvable excitation distribution. We attribute this to the fact that the inverse power law for the average excitation (24) is a sufficiently strong constraint to lead to a powerlaw relaxation for a broad type of energy spectra. We leave the question open: whether this behavior is a consequence of the nonlocal nature of the mixing Hamiltonian (7).
Below, we discuss other properties of the solvable protocol, which should be of interest for the heuristic QA hardware developments.
Degenerate ground state
The exponentially large QA time is needed for the solvable protocol to obtain the ground state only if this state is nondegenerate. We consider now the case with the ground state degeneracy: ε_{1} = … = ε_{M−1} = ε_{0}. Summing the first M equations in (11), we then find that the superposition
is coupled to any \(\leftn\right\rangle\), where n ≥ M, with a larger coupling \(g\sqrt{M}\). All other orthogonal superpositions of the Ising ground states then decouple and have zero probability to be at the end of the evolution.
The solvable model in Appendix B of ref. ^{12} (see also Methods) is applied even when all \({{{{{{{\mathcal{N}}}}}}}}\) states are coupled to each other with different independent \({{{{{{{\mathcal{N}}}}}}}}\) parameters. Thus, the modification of the effective coupling to state \(\left+\right\rangle\) is still described by the exact solution in ref. ^{12}, which leads to the probability of the final state \(\left+\right\rangle\):
whereas the probabilities of the energy excitations do not change. This gives us an estimate for the time to prepare the state \(\left+\right\rangle\) with probability P_{+} ∼1:
If M is large, e.g.,
this leads to an exponential speedup for extracting nonlocal information that can be obtained from measurements on the prepared superposition \(\left+\right\rangle\).
For example, suppose that all excitation energies of H_{I} are random positive and ε_{0} = … = ε_{M−1} = 0 appear periodically, so that, when sorted in the known standard computational basis, they correspond to the eigenstates \({x}_{0}+rT\rangle\), where x_{0} and T are integers, such that \({x}_{0} \, < \, T \sim {\log }_{e}^{a}{{{{{{{\mathcal{N}}}}}}}}\); r = 0, 1, 2, …, and \({{{{{{{\mathcal{N}}}}}}}}/T\) is also an integer. This corresponds to \(M \sim {{{{{{{\mathcal{N}}}}}}}}/{\log }_{e}^{a}{{{{{{{\mathcal{N}}}}}}}}\), so during the QA time of an order
the solvable protocol prepares a state of the qubits as a symmetric superposition:
The Quantum Fourier Transform then can be used to change this state into a superposition of the states \(\leftk\right\rangle\), where k is the integer multiple of \({{{{{{{\mathcal{N}}}}}}}}/T\). Finding only two different k, one can then find their greatest common divisor by classical means, and thus determine the period T faster than by classical means.
The possibility to solve the period finding problem on a quantum computer is an essential ingredient in many quantum algorithms, such as Shor’s factorization algorithm. An important step in such algorithms is to find a symmetric superposition of equal energy eigenstates of a quantum function that has a high degeneracy of eigenstates in the entire phase space. Such a function can be usually encoded in the target Hamiltonian H_{I} and thus one of its eigenstates can be found using QA. However, it is clear from our solution why such algorithms are hard to implement with other heuristic protocols, such as with the transverse field (17). This field couples different Ising ground states with the higher Ising energy states differently. Hence, even if we assume that the ground state can be prepared quickly, it will appear generally in a nonsymmetric superposition
where the coefficients C_{r} have not only different absolute values but also different phases which depend on all parameters of H_{I}. Hence, further manipulations, such as making the Quantum Fourier Transform, may not provide the desired effect on this state, which is needed to complete the algorithm.
Effectiveness of the solvable protocol in the limit of maximal complexity of H _{I}
The annealing protocol in our solvable model is unbiased in the sense that the amplitudes a_{n}(t)(11) do not depend on the specific structure of the basis states. This is not the case for the protocol with a transverse field^{30}, which couples directly only to the basis states whose net spin polarization differs by ±1. Our protocol is also unbiased in the sense that degenerate ground state configurations as a symmetric superposition couple to the other states equally, which results in equal probabilities to find such ground states of H_{I}.
Moreover, the statistical learning theory^{31} says that direct approaches, which avoid the gain of irrelevant information, should be favorable for learning algorithms. This is partly addressed by our finding that the final state probabilities obtained by solving equation (11) are independent of the precise values of ε_{k}, i.e., the transition probability to any state \(\leftn\right\rangle\) depends only on how many other states have smaller Ising energies. For example, the probability to find the ground state does not depend on the choice of H_{I} at all. This independence of the scattering probabilities of certain basic parameters is shared by all integrable models with timedependent Hamiltonians^{13} but is not expected otherwise. Hence, it must be unique for g(t) ∼ 1/t annealing protocol because other g(t) is not among the known solvable models with arbitrary H_{I}. This property means that our solvable protocol does not produce irrelevant information about specific values of ε_{k}, as needed because only the ordering of these eigenvalues matters for finding good approximations to the ground energy.
Such properties altogether are unique among the possible QA protocols, which suggests that the solvable protocol, for some types of problems, could be favorable. Owing to the universality of the analytical solution, if true, this should be true for the most complex form of H_{I}. Thus, let H_{I} be the sum of all possible terms in (2) with independent random coefficients a_{{k}}. Such a highcomplexity limit reduces the problem of identifying the minimal value from an unsorted array of independent random energies ε_{n} that are sampled from some distribution. For instance, for Gaussian random coupling coefficients, ε_{n} forms a Gaussian distribution as well (Fig. 1, left panel). Such a construction of H_{I} does not favor any particular ground state spin configuration and even any systematic correlations between the excited states. Hence, it is expected that the lowenergy states are estimated faster with a maximally unbiased QA protocol, which is our solvable protocol.
To test this hypothesis, we employ the result in^{15} that allows us only to compare the performance of the solvable protocol with a family of the protocols with a powerlaw decay of the coupling, g(t) ∼ 1/t^{α}, and identical for each protocol fully random H_{I}, as well as τ_{a} and T/τ_{a}. First, we note that the protocols with α < 1 produce definitely worse than 〈n〉 ∼ 1/τ_{a} scaling for the excitations if we set \(T/{\tau }_{a}={{{{{{{\rm{const}}}}}}}}\). This follows from the fact that even in the adiabatic approximation the term H_{M}/t^{α} mixes any Ising eigenstate with other states within the window of energy ε ∼ 1/t^{α}. Hence, sudden termination of such protocols at a finite time T cannot resolve the states within the energy window that scales as 1/T^{α}, which decays slower than 1/T.
For α ≥ 1, we resort to the numerical investigation. Figure 2 compares numerically calculated final 〈n〉 for different protocols at N = 12 and the Hamiltonian (2) with randomly chosen all possible couplings. For large g, which we define for all protocols as g ≡ τ_{a}/τ_{I}, the excitation number decays as a power law. For any g and N, our analytically solvable model (Protocol 1) always outperforms the other protocols, although all of them show scaling similar to 1/g for large g. In numerous other tests (not shown), we found that all nonpowerlaw schedules, e.g., with g(t) decaying exponentially, had a much worse performance for the same values of τ_{I}, τ_{a}, and T, in agreement with^{15}. Figure 3 also shows the data that we used to extrapolate the results to larger N. For such interpolations, we always found that the solvable protocol produced smaller residual energy for the fully random Hamiltonian H_{I}. Hence, as far as we could test numerically and extrapolate our results, the solvable protocol was, indeed, optimal for our comparison criteria and the most complex form of H_{I}.
An alternative argument for the optimality of the solvable protocol for fully random H_{I}s follows from the estimate (23), which says that the performance of this protocol is actually the same as in the classical MonteCarlo search. Indeed, a random search for the lowest eigenvalue has probability \({n}_{\max }/{{{{{{{\mathcal{N}}}}}}}}\) per step to pick up an eigenvalue from the first \({n}_{\max }\) excitations. Hence it takes time \(\tau \sim {{{{{{{\mathcal{N}}}}}}}}{\tau }_{{{{{{{{\rm{step}}}}}}}}}/{n}_{\max }\) to find an eigenvalue with \(0\le n\le {n}_{\max }\), where τ_{step} is the time of one eigenvalue of H_{I} computation and its comparison to a previously found lowest value. This is precisely the estimate of equation (23), in which we identify τ_{a} with τ, τ_{I} with τ_{step} and 〈n〉 with \({n}_{\max }\). Since our QA protocol has the same convergence rate as the classical MonteCarlo search of the completely unsorted array, any improvement over its performance on H_{I} with all random entries, either for the full or the partial search, would mean the quantum supremacy that does not rely on hints such as the oracle in the Grover algorithm, which is believed to be impossible.
Thus, our protocol gives an explicit example of heuristic QA computations leading to the same performance as for one of the known classical algorithms. This includes all possible H_{I} with nondegenerate spectra, and all possible time restrictions. As our QA protocol, the unbiased random search MonteCarlo is the preferable choice for searching through a completely random array but then by classical means. This raises a question of whether many other heuristic approaches, such as using the practically most accessible QA protocols without correlating them with the desired task, or postprocessing the final state as in the case of the ground state degeneracy, have also the same performance for all possible tasks as certain classical algorithms.
Avoiding the bound
The limit of fully random H_{I} represents the largest class of all possible computational problems (5). Classical optimization algorithms usually trade between good and bad performance in different applications, which is known as the “nofreelunch” property. Although similar results are not known for QA, it is expected that the effectiveness of the solvable protocol for the big class of the most complex problems generally means that there are protocols that outperform it on simpler problems with more structured H_{I}. Below, let us show several examples in support of this hypothesis.
A wellknown example of a problem with a structured H_{I} is the one that is solvable by the Grover algorithm. It prepares the ground state of an operator H_{I} that has all but one zero eigenvalues, whereas the ground state energy is −1. Let η_{k} = ± 1, where the sign depends on whether this ground state has the kth spin, respectively, up or down. Then, H_{I} for Grover’s problem can be written as
In comparison with the most complex version of (2), this Hamiltonian is much simpler. It depends only on N sign parameters, and it has considerable symmetry: changes in these parameters do not affect the spectrum of \({H}_{I}^{G}\). It is, indeed, known that the ground state of \({H}_{I}^{G}\) can be found by adiabatic QA during the time that scales only as \({{{{{{{{\mathcal{N}}}}}}}}}^{1/2}\)^{10}. Achieving this adiabatically requires a very finetuned choice of the schedule g(t). However, if our solvable protocol is not optimal for the structured problems there must be protocols that achieve better estimates for the ground state for Grover’s problem also beyond the adiabatic regime, and such protocols may not need to be very complex.
Let us show that this expectation is true. Consider the QA Hamiltonian
where H_{M} is given by (7). Due to the degeneracy of eigenvalues of \({H}_{I}^{G}\), the evolution equation (11) reduces to two coupled differential equations for the amplitude a_{0} of the ground state and the normalized sum of the other amplitudes:
Namely,
The initial conditions, as t → 0_{+}, correspond to \({a}_{0}=1/\sqrt{{{{{{{{\mathcal{N}}}}}}}}}\approx 0\) and, hence, \({a}_{+}\approx 1\). The protocol that makes P_{0} ≡ ∣a_{0}∣^{2} ∼ 1 is obtained by immediately setting the schedule to a constant value
and then letting the system evolve under such conditions during time
One can verify that this makes P_{0} \(\approx\) 1 by noting that equations (32) with condition (33) are equivalent to the evolution equations for a spin 1/2 in a transverse magnetic field, which rotates this spin. Condition (33) is needed to remove the component of this field that points along the spin axis. Time T corresponds to a rotation angle that switches between orthogonal states of this spin.
Unlike the time of the solvable protocol with g(t) = − g/t, which scales as \(T \sim {{{{{{{\mathcal{N}}}}}}}}\), the time in (34) scales as \(\sim \sqrt{{{{{{{{\mathcal{N}}}}}}}}}\), which is expected for Grover’s computational problem.
This efficient protocol to solve Grover’s problem is finetuned for \({H}_{I}^{G}\) and cannot show good performance on other tasks. Identifying such algorithms for heuristic computations requires additional optimization steps, e.g., using the methods of machine learning^{32}, which would correlate the annealing protocol to a given structured H_{I}. Such methods, however, become inefficient in the limit of maximal complexity with fully random H_{I} because of the emergence of the barren plateau^{33}.
Another example corresponds to the systems with small connectivity between qubits in H_{I}. It is expected then that a QA protocol that emphasizes interactions without many direct spin flips can achieve a better performance, such as the protocol induced by the decaying transverse field.
To test this, we performed simulations for H_{I} with limited connectivity ranges, i.e., a rangek Hamiltonian is of the form (2) but only contains terms with at most k simultaneously coupled spins. This allows the control of the problem complexity by tuning the connectivity range. Our numerical simulations (Fig. 4) show that, for finite size systems of up to 12 spins and the transverse field (17), the final excitation numbers always scale as a power law of g, i.e., \(\langle n\rangle \sim 1/{g}^{\alpha } \sim 1/{\tau }_{a}^{\alpha }\), and α increases with the decrease of the connectivity range of H_{I}. At k = 2, which is known as the Sherrington–Kirkpatrick model^{34}, α reaches the value 2.
Figure 4 demonstrates the convergence of the performance to the universality domain of the solvable protocol with increasing complexity. In agreement with our expectations, as far as we could see numerically, the protocol with the decaying transverse field produced better performance on the structured problems than the solvable protocol, in agreement with the “nofreelunch” property.
Let us now return to the question of whether QA computations in the nonadiabatic regime can provide a better performance, in terms of scaling with the number of qubits, than the adiabatic quantum computations for the same problem. Our solvable protocol, as well as the nonadiabatic Grover protocol, do not show this feature, as their performances scale equally with the adiabatic QA. Generally, this may not be true.
Here, we note that there is one more solvable model of QA that can be used to explore the scaling of τ_{a}(N) for a specific simple H_{I}: Consider
that is subject to a nonlocal constraint \(\mathop{\sum }\nolimits_{k = 1}^{N}{\sigma }_{z}^{k}=0\). Let us assume that ∣ε_{k}∣ are of the order ε. The ground state of \({H}_{I}^{\varepsilon }\) has N/2 spins pointing up. They correspond to the smaller half of ε_{k} values. The other N/2 spins point down. Here, H_{I} is parametrized by only N numbers ε_{k}. Naturally, a wise algorithm should not look through all 2^{N} eigenvalues of H_{I} but rather learn those parameters.
Due to the constraint, the ground state of (35) has zero total qubit polarization. To find this state, one can use the protocol with H_{M} that also has the ground state with zero initial total spin^{35}:
As t → 0, the ground state energy of H(t) is separated from the dense region of g(t)H_{M} nearzero energy by \({{\Delta }}{E}_{M} \sim \frac{gN(N1)}{2t}\), and the \({H}_{I}^{\varepsilon }\) bandwidth scales linearly with N: ΔE_{I} ∼ εN. The exact solution of this model was found in ref. ^{35}. It says that the ground state is determined if g \(\approx\) 1.
Using our definition of the annealing time, we can now compare the performance of such QA computations with the performance of classical algorithms for the same problem. We find for the model (36) that g \(\approx\) 1 corresponds to
The same solution in ref. ^{35} also shows that if we need only a partial search by allowing a fraction α ≪ 1 of mistakes, i.e., allowing αN spins pointing in a wrong direction, then it is sufficient to choose g ∼ 1/(Nα), i.e., the computation time reduces by a factor ∼ 1/(Nα), so in our notation
Classically, finding the smaller half of N/2 of ε_{k} values takes ∼ N steps. The partial QA solution thus has a better Nscaling than both the best available classical algorithm and the complete solution in the adiabatic limit. This example supports the speculations that a hybrid approach that involves a moderately fast QA step combined with a subsequent classical relaxation may improve the search for the true ground state.
Estimates for the physical time of computation
The tests of QA hardware^{36,37,38,39,40,41} on specific problems gave contradictory results. There are claims for superior performance of QA in some instances^{42}, but achieving scalable quantum supremacy^{11} using QA is still far from conclusive.
Let us estimate the performance of our solvable protocol at the current level of technology. The coupling energy of a single qubit to the rest of the quantum processor is physically restricted to some value \({\epsilon }_{\max }\). For example, for a superconducting qubit, a coupling larger than the superconducting gap may produce unwanted excitations outside the qubit phase space. The bandwidth for H_{I} is then restricted by \({{\Delta }}{E}_{I} \, < \, {\epsilon }_{\max }N\). Hence, τ_{I} for N qubits is restricted by
If we assume \({\epsilon }_{\max }=10\)GHz as the upper bound for a superconducting qubit, then to find the ground state of only 20 qubits, from (19), we need at least time τ_{a} ∼ 0.1 μs, which is the typical upper bound on coherence time of such qubits. The required computation time τ_{a} is growing exponentially with extra qubits, so chances to solve an optimization problem for >20 qubits with the modern level of quantum technology are quickly vanishing.
One practical advantage of the solvable protocol that may justify the efforts to implement it in hardware may follow the complexity to retrieve the H_{I} eigenvalues. Namely, when the sorting problem is encoded in the Hamiltonian of spin projection operators the direct classical algorithm requires the additional computation of eigenvalues of H_{I} at each step, which can be exponentially long on its own for the most complex H_{I}, but is not required during QA. To exploit this resource, one should create a small processor, with only ∼25 highquality qubits, but with H_{I} that depends on ∼2^{25} different coupling parameters.
Discussion
Finding the ground state of an arbitrary Ising spin Hamiltonian is generally an exponentially hard computational problem. Even harder, it seems, is to study dynamics with a timedependent quantum Hamiltonian that implements quantum annealing computation in the nonadiabatic regime. Nevertheless, we showed that a fully solvable model for the most general case of Ising spin interactions exists.
In other branches of physics, integrable manybody models have been very influential—often not for a particular experimental application but for the opportunity to understand the behavior of complex matter in the regimes unreachable to numerical simulations. Similarly, our exact solution produces an insight into both spinglass physics and quantum computing from an original perspective. Thus, we used it to set new limits on the computation precision and proved the better relaxation scaling of the residual energy for quantum over classical annealing computations.
Numerically, we found considerable evidence to our conjecture that in the limit of the maximal complexity of the computational problem our solvable QA protocol outperforms other protocols for arbitrary QA rate at identical conditions for the time of computation. Given also the “nofreelunch" property of algorithms, this leads to a new conjecture that more structured computational problems can be solved by certain QA protocols faster than in our solvable model. We provided the arguments in support of this conjecture too. Hence, our analytical solution can serve as a reference for the performance that can be achievable in the nonadiabatic regime for arbitrary H_{I}.
A currently discussed technical question, besides improving quantum coherence, is how to redesign the interqubit connections and the annealing protocol in order to improve heuristic QA^{41}. It is often stated that the performance can improve if onetomany qubit couplings are implemented in the Ising Hamiltonian, and if the annealing protocol has a simpler spectrum in order to make it less biased and thus reduce the effects of resonances that are specific to H_{M}. Our results show that such approaches may not lead to a boost in performance. In fact, the solvability of our model follows from a high symmetry that makes the solvable protocol maximally unbiased. We showed that this provides the advantage, over other protocols, only for the tasks with the maximal complexity but not for more structured Ising spin Hamiltonians. Hence, by adding onetomany qubit connections and preparing less biased QA protocols, we may only bring the complexity of the QA computations closer to the domain of our model’s superiority.
Our findings suggest that the quantum annealing superiority, for a specific problem, over all classical algorithms should be searched either in small size processors but with combinatorially complex interactions in H_{I} or among relatively simplestructured H_{I}, with a polynomial number of parameters but a transverse part g(t)H_{M} that is tailormade for this specific computational task. It is thus important to understand how the QA performance depends on the correlations between H_{I} and H_{M}, and on the prepared correlations in the initial state for quantum annealing.
Methods
Solution for QA model with arbitrary target Hamiltonian
The annealing problem is sometimes formulated so that the target Hamiltonian, H_{0}, is different from the Ising Hamiltonian:
Let us show that our protocol with g(t) = g/t and H_{M} given by (7) is still solvable in the sense that we can write the probabilities of the final eigenstates of H_{0} in terms of the parameters of H_{0}.
Suppose that U is the unitary operator that diagonalizes H_{0}, i.e.,
is a diagonal matrix. The latter means that it can be written in the Ising form (2), and we can define the basis states \(\leftn\right\rangle\) where n is the index of the excitation, as in the main text. Let us define the state
In the basis \(n\rangle\), the entire Hamiltonian has the form
It is now almost the same as in the problem considered in the main text but the state \(\psi ^{\prime} \rangle\) is dependent on the matrix U. Hence, the matrix elements of the mixing part are given by
where
Thus, unlike the model in the main text, the mixing Hamiltonian gH_{M} depends on \({{{{{{{\mathcal{N}}}}}}}}\) generally different parameters that depend on the eigenstates of H_{0} via the matrix elements of U.
Nevertheless, the most general form of the model that was solved in Appendix B of ref. ^{12} includes this particular case. Thus, if we define the probabilities
then equation (12) for the excitation probabilities (see also equation (B13) in ref. ^{12}) is extended to
Returning to the original problem (5) in the main text, it follows from (39) that knowledge of a unitary transformation UH_{I}U^{†}, such that its action increases the overlap of the ground state with the state \({\psi }_{0}\rangle\), can be used to increase the probability to find the ground state.
Solution of the model
Following steps from Appendix B in ref. ^{12}, we perform Laplace transformation
where \({{{{{{{\mathcal{A}}}}}}}}\) is a contour in the complex plane such that the integrand vanishes when \({{{{{{{\mathcal{A}}}}}}}}\) originates and escapes to infinity (Fig. 5). Substituting (40) into (11), we find a firstorder differential equation with a simple solution for b_{n}(s), which we substitute to (40) to find
where c is a normalization constant that is fixed by the initial conditions. Following^{12}, as t → ∞ this integral is evaluated using the saddle point method and suitable deformation of \({{{{{{{\mathcal{A}}}}}}}}\) into the paths that go around the branch cuts in Fig. 5. This results in the analytical expression for a_{n}(t → ∞) in terms of the Gamma function of the parameters. The excitation probability is then obtained from P_{n} = ∣a_{n}(t → ∞)∣^{2}, and using the properties of the Gamma function.
Setting parameters of protocols to compare their performance
First, we note that H with H_{M} in (7) and \({H}_{M}^{0}\) in (17) have the same ground states both as t → 0_{+} and t → ∞. For both of them, the maximum density of states is at zero energy. Hence, for H_{M}, ΔE_{t} = g(t), and for \({H}_{M}^{0}\), \({{\Delta }}{E}_{t}^{0}=Ng(t)\), where N is the number of spins. If, for the analytically solvable protocol with H_{M}, we choose the timedependent form g(t) = g/t and fix the quench parameter g, then the annealing time is given by g/τ_{a} = ΔE_{I}, or
where τ_{I} = 1/ΔE_{I}. This also gives the meaning to the parameter g, that is, the ratio of the annealing time and the characteristic time of the dephasing by H_{I}. For the transverse field protocol (7) with \({H}_{M}^{0}\), the same annealing time τ_{a} in [(42)] is achieved if we set
Similar arguments for g_{0}(t) ∼ 1/t^{2} lead to g(t) = − g/(at^{2}), where a = ΔE_{I}/g, as listed in Table 1.
Scaling of the residual energy
In the main text, we have shown that for a uniform spectral density, \(\rho (E)={{{{{{{\rm{constant}}}}}}}}\), the residual energy (25) scaling is a powerlaw in the annealing time τ_{a} (or in the parameter g).
The powerlaw scaling of the residual energy can be generalized to any powerlaw dependence of ε_{n}, by readily evaluating the average over the probability distribution (12). Namely, for ε_{n} ∝ n^{α}, and in the limit of \({{{{{{{\mathcal{N}}}}}}}}\gg 1\), it can be shown that ε_{res} ∼ 1/g^{α}.
For a generic spectral density ρ(ε), the energy level index n can be written as a function of the energy,
Without loss of generality, let us assume that the ground state has zero energy, ε_{0} = 0. The residual energy can be evaluated as
where P_{n} is the probability distribution (12). The behavior of the residual energy is determined by the shape of the spectral density. However, we argue that its powerlaw scaling is generally expected.
Consider the Gaussian and exponential spectral densities. Both of the spectra are restricted to the energy range [0, 2] and are centered at ε = 1. The Gaussian spectral density we simulated is
and the exponential spectrum is
where A and B are normalization factors. At large annealing time, when the system approaches the ground state, we can expand the spectral density to the leading order of the energy. Note that the exponential spectrum modeled above vanishes at the ground state, hence, with (44), n(ε) ∝ ε^{2}. Using the result for powerlaw ε_{n} aforementioned, we expect a scaling of the residual energy \({\varepsilon }_{res} \sim 1/\sqrt{g}\). The Gaussian spectrum studied above has a finite value at the ground state cutoff. This constant value can dominate the subleading terms when the total number of states is sufficiently large. In this case, we get ε_{n} ∝ n and consequently ε_{res} ∼ 1/g. These two types of scaling behavior are verified in Fig. 6.
We now consider an analytically solvable model case. Suppose the spectral density near the ground state is given by an exponential function
with a finite but small density at the ground state, ρ(0) = a. The number of states below energy ε is
where \({{{{{{{\mathcal{N}}}}}}}}\) is the total number of states. Therefore,
The average of this energy over the distribution P_{n}(12) can be computed exactly. We note that the exponential density of the state is only valid at small energies since it diverges when ε becomes large. Hence, to get a physically sensible result representing the correct lowenergy behavior, the total number of states \({{{{{{{\mathcal{N}}}}}}}}\) must be sufficiently large, so the decay of P_{n} at large n compensates for the nonphysical growth of the exponential spectral density. With this, we get
where \(p={e}^{2\pi g/{{{{{{{\mathcal{N}}}}}}}}}\approx 12\pi g/{{{{{{{\mathcal{N}}}}}}}}\), Φ(x, y, z) is the Lerch transcendent function, and f ^{(0, 1, 0)} is the derivative of f with respect to its second argument. This function at large \({{{{{{{\mathcal{N}}}}}}}}\) simplifies to a powerlaw scaling ∼ 1/g (see Fig. 7).
As the last example, consider a model of many noninteracting spin 1/2’s. Each spin has eigenenergies ±1. The number of states for a fixed number of spin excitations is given by the binomial distribution. This allows us to compute the energy levels exactly. This model has a global spectral density well described by a Gaussian function. Figure 8 shows a finite size simulation of the residual energy, which scales as a powerlaw 1/g^{α}, with the exponent fitted to α \(\approx\) 0.34. Note that α = 1/3 is expected for a Gaussian spectrum, whose density of states vanishes at the ground state, because it expands to the leading order as ∼ε^{2}, which results in ε_{n} ∝ n^{1/3}. Our simulation fits into this picture very well. The residual energy eventually switches to an exponential decay near the truly adiabatic regime (as shown in the inset). This is expected because the energy relaxation is dominated then by only a few states that all decay with time exponentially.
Data availability
The data that support the findings of this study are available from the corresponding author on reasonable request.
Code availability
The code used to generate the data in this study is available from the corresponding author upon reasonable request.
References
Finnila, A., Gomez, M., Sebenik, C., Stenson, C. & Doll, J. Quantum annealing: a new method for minimizing multidimensional functions. Chem. Phys. Lett. 219, 343–348 (1994).
Kadowaki, T. & Nishimori, H. Quantum annealing in the transverse Ising model. Phys. Rev. E. 58, 5355–5363 (1998).
Das, A. & Chakrabarti, B. Colloquium: quantum annealing and analog quantum computation. Rev. Mod. Phys. 80, 1061–1081 (2008).
Hauke, P., Katzgraber, H., Lechner, W., Nishimori, H. & Oliver, W. Perspectives of quantum annealing: methods and implementations. Rep. Prog. Phys. 83, 054401 (2020).
Barahona, F. On the computational complexity of Ising spin glass models. J. Phys. A Math. Gen. 15, 3241 (1982).
Childs, A., Farhi, E., Goldstone, J. & Gutmann, S. Finding cliques by quantum adiabatic evolution. Quant. Info. Comput. 2, 181–191 (2002).
Hogg, T. Adiabatic quantum computing for random satisfiability problems. Phys. Rev. A. 67, 022314 (2003).
Lucas, A. Ising formulations of many NP problems. Front. Phys. 2, 5 (2014).
Jiang, S., Britt, K., McCaskey, A., Humble, T. & Kais, S. Quantum annealing for prime factorization. Sci. Rep. 8, 17667 (2018).
Roland, J. & Cerf, N. Quantum search by local adiabatic evolution. Phys. Rev. A. 65, 042308 (2002).
Katzgraber, H. Viewing vanilla quantum annealing through spin glasses. Quantum Sci. Technol. 3, 030505 (2018).
Sinitsyn, N. Exact results for models of multichannel quantum nonadiabatic transitions. Phys. Rev. A. 90, 062509 (2014).
Sinitsyn, N., Yuzbashyan, E., Chernyak, V., Patra, A. & Sun, C. Integrable timedependent quantum Hamiltonians. Phys. Rev. Lett. 120, 190402 (2018).
Yuzbashyan, E. Integrable timedependent Hamiltonians, solvable LandauZener models and Gaudin magnets. Ann. Phys. 392, 323–339 (2018).
Galindo, O. & Kreinovich, V. What Is the Optimal Annealing Schedule in Quantum Annealing. 2020 IEEE Symposium Series On Computational Intelligence (SSCI). pp. 963–967 (2020).
Morita, S. & Nishimori, H. Convergence theorems for quantum annealing. J. Phys. A: Math. Gen. 39, 13903 (2006).
Morita, S. & Nishimori, H. Convergence of quantum annealing with realtime Schrödinger dynamics. J. Phys. Soc. Japan. 76, 064002 (2007).
Morita, S. & Nishimori, H. Mathematical foundation of quantum annealing. J. Math. Phys. 49, 125210 (2008).
Cubitt, T., PerezGarcia, D. & Wolf, M. Undecidability of the spectral gap. Nature. 528, 207–211 (2015).
Albash, T. & Lidar, D. Adiabatic quantum computation. Rev. Mod. Phys. 90, 015002 (2018).
Edwards, S. & Anderson, P. Physics of the spinglass state. J. Phys. F: Met. Phys. 5, 695 (1975).
Dotsenko, V. Physics of the spinglass state. Usp. Fiz. Nauk. 163, 1–37 (1993).
Geman, S. & Geman, D. Stochastic relaxation, gibbs distributions, and the bayesian restoration of images. IEEE Trans. Pattern Anal. Mach. Intell. 6, 721–741 (1984).
Chernyak, V., Sinitsyn, N. & Sun, C. Dynamic spin localization and γmagnets. Phys. Rev. B. 100, 224304 (2019).
Santoro, G., Martonák, R., Tosatti, E. & Car, R. Theory of quantum annealing of an Ising spin glass. Science. 295, 2427–2430 (2002).
Martoňák, R., Santoro, G. & Tosatti, E. Quantum annealing by the pathintegral Monte Carlo method: the twodimensional random Ising model. Phys. Rev. B. 66, 094203 (2002).
Heim, B., Rønnow, T., Isakov, S. & Troyer, M. Quantum versus classical annealing of Ising spin glasses. Science. 348, 215–217 (2015).
Liu, C., Polkovnikov, A. & Sandvik, A. Quantum versus classical annealing: insights from scaling theory and results for spin glasses on 3regular graphs. Phys. Rev. Lett. 114, 147203 (2015).
Kota, V. Embedded Random Matrix Ensembles in Quantum Physics. (Springer International Publishing, 2014).
Mandrà, S., Zhu, Z. & Katzgraber, H. Exponentially biased groundstate sampling of quantum annealing machines with transversefield driving hamiltonians. Phys. Rev. Lett. 118, 070502 (2017).
Vapnik, V. Statistical Learning Theory. 1st Edition September 30. Wiley Interscience. (1998).
Cincio, L., Rudinger, K., Sarovar, M. & Coles, P. Machine learning of noiseresilient quantum circuits. PRX Quantum. 2, 010324 (2021).
Holmes, Z. et al. Barren plateaus preclude learning scramblers. Phys. Rev. Lett. 126, 190501 (2021).
Sherrington, D. & Kirkpatrick, S. Solvable model of a spinglass. Phys. Rev. Lett. 35, 1792–1796 (1975).
Li, F., Chernyak, V. & Sinitsyn, N. Quantum annealing and thermalization: insights from integrability. Phys. Rev. Lett. 121, 190601 (2018).
Johnson, M. et al. Quantum annealing with manufactured spins. Nature. 473, 194–198 (2011).
Dickson, N. et al. Thermally assisted quantum annealing of a 16qubit problem. Nat. Commun. 4, 1903 (2013).
Bunyk, P. et al. Architectural considerations in the design of a superconducting quantum annealing processor. IEEE Trans. Appl. Supercond. 24, 1–10 (2014).
Rosenberg, D. et al. 3D integrated superconducting qubits. Npj Quant. Inform. 3, 1–5 (2017).
Weber, S. et al. Coherent coupled qubits for quantum annealing. Phys. Rev. Appl. 8, 014004 (2017).
McGeoch, C., Harris, R., Reinhardt, S. & Bunyk, P. Practical annealingbased quantum computing. Computer. 52, 38–46 (2019).
Boixo, S. et al. Evidence for quantum annealing with more than one hundred qubits. Nat. Phys. 10, 218–224 (2014).
Acknowledgements
This work was carried out under the support of the U.S. Department of Energy, Office of Science, Basic Energy Sciences, Materials Sciences, and Engineering Division, Condensed Matter Theory Program. B.Y. also acknowledges partial support from the Center for Nonlinear Studies.
Author information
Authors and Affiliations
Contributions
N.S. proposed the project. B.Y. and N.S. conducted the research and wrote the paper.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Peer review
Peer review information
Nature Communications thanks the anonymous, reviewer(s) for their contribution to the peer review of this work. Peer reviewer reports are available.
Additional information
Publisher’s note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supplementary information
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Yan, B., Sinitsyn, N.A. Analytical solution for nonadiabatic quantum annealing to arbitrary Ising spin Hamiltonian. Nat Commun 13, 2212 (2022). https://doi.org/10.1038/s41467022298870
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41467022298870
This article is cited by

Quantum annealing for microstructure equilibration with longrange elastic interactions
Scientific Reports (2023)

Spintronics intelligent devices
Science China Physics, Mechanics & Astronomy (2023)
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.