Abstract
Many discrete optimization problems are exponentially hard due to the underlying glassy landscape. This means that the optimization cost exhibits multiple local minima separated by an extensive number of switched discrete variables. Quantum computation was coined to overcome this predicament, but so far had only a limited progress. Here we suggest a quantum approximate optimization algorithm which is based on a repetitive cycling around the tricritical point of the many-body localization (MBL) transition. Each cycle includes quantum melting of the glassy state through a first order transition with a subsequent reentrance through the second order MBL transition. Keeping the reentrance path sufficiently close to the tricritical point separating the first and second order transitions, allows one to systematically improve optimization outcomes. The running time of this algorithm scales algebraically with the system size and the required precision. The corresponding exponents are related to critical indexes of the continuous MBL transition.
Similar content being viewed by others
Introduction
Optimization problems are ubiquitous1,2. A large subclass of them is discrete optimization tasks, which may be mapped onto spin models with the optimal solution being a ground state of a certain classical spin Hamiltonian. The optimization problems are hard due to the spin-glass phase3,4,5, i.e., the presence of multiple local minima in the energy landscape of the corresponding model. The idea of utilizing quantum tunneling in order to facilitate transitions between these local minima was coined a long time ago. Probably the earliest and most transparent way of doing it is realized via the adiabatic quantum annealing (QA) procedure6,7,8. Its bottleneck is associated with exponentially small energy gaps between instantaneous energy levels of the corresponding quantum Hamiltonian9,10,11,12,13,14,15. Those lead to Landau–Zener transitions16,17,18,19, which take the system out of its adiabatic ground state. As a result in order to succeed, the QA should be performed exponentially slow.
This stimulates interest in constructing approximate diabatic protocols20,21, collectively known as quantum approximate optimization algorithms22,23,24,25,26. The idea is to force the system to gradually approach its GS with relatively fast running cycles27,28,29,30. The goal of such algorithms is not finding the exact ground-state configuration, which corresponds to an NP-hard optimization problem but searching for a state within a given energy distance, δϵ, from the ground state.
Iterative version of optimization, which runs along a closed cycle in the space of parameters, turns to be efficient and has already appeared in the literature, see e.g., refs. 27,28,29,30. Combining it with the idea of the reference Hamiltonian31,32,33 leads to new protocol. The latter calls for using a control parameter (e.g., a longitudinal magnetic field) which is collinear with a local Bloch sphere direction of the individual qubits. The key observation is that, with the existence of reference Hamiltonian, the cycle must encircle a tricritical point34,35 of the many-body localization (MBL)36,37,38,39,40,41,42,43,44,45,46 transition. Here the MBL is understood as taking place in the many-body Hilbert space36,43, rather than in the real space37,38. The three phases coming together at the tricritical point are the spin glass, the MBL paramagnet, and the delocalized paramagnet, see Fig. 1.
In this work, we suggest an iterative quantum algorithm which runs along a closed cycle in the space of parameters. The cycle starts in the spin glass and goes successively into MBL and delocalized paramagnets before returning back to the spin glass, where the projective measurement is performed. This leads to an adjustment of the cycle parameters according to a result of the measurement taken at the end of the previous cycle. We show that such a strategy allows one to navigate the system arbitrarily close to the MBL tricritical point, as required by the proposed algorithm. As an example of optimization in a spin-glass system, we use Sherrington–Kirkpatrick (SK) model47 (a classical NP-hard problem48), whose MBL properties are discussed in refs. 41, 42, 44, 45.
The idea mimics a conventional refrigeration engine with the MBL transition in place of the exothermic condensation transition. We show that iterations of such cycle lead to a systematic decrease of energy of the measured state. Given a desired precision of the optimization, the cycle trajectory should pass increasingly close to the tricritical point. The cycle duration and the number of required cycles scale algebraically, both with the system size, N, and the desired precision, δϵ. The corresponding exponents are expressed through static and dynamic critical indexes of the MBL transition. Though we can not prove it, we conjecture that MBL critical exponents provide bounds on the performance efficiency of approximate optimization algorithms.
Results
Iterative quantum optimization protocol
As an example of an optimization problem with a glassy landscape, we choose a realization of the Sherrington–Kirkpatrick (SK) model47 specified by a Hamiltonian
Here \({\sigma }_{i}^{z}\) are z-Pauli matrices, which represent binary optimization variables, labeled by i = 1, 2, … N. The cost function is chosen to be quadratic in these parameters given by a cost matrix, Jij. In our examples its matrix elements are taken from independent Gaussian distributions with zero mean and variance J2/N. Eigenstates of the Hamiltonian, denoted as α = 1, 2, …, 2N, are encoded by bit-strings, \(\{{s}_{i}^{\alpha }\}\), with \({s}_{i}^{\alpha }=\pm 1\) showing “up” or “down” polarization of the ith spin. The corresponding eigenenergies are \({E}_{\alpha }=\mathop{\sum }\nolimits_{ij}^{N}{J}_{ij}{s}_{i}^{\alpha }{s}_{j}^{\alpha }\). Since all the terms in the Hamiltonian (1) commute with each other, the problem is purely classical.
It is known5,49,50 that Eα form a glassy landscape with exponentially many local minima (i.e., states such that flipping any one (or even a few) spins results in energy being increased). Simulated classical annealing is typically trapped into one of such local minima. The local minima are separated from each other by the Hamming distance of the order N spin flips. The goal of the optimization is to find progressively deeper local minima, eventually hitting the global one.
The conventional adiabatic QA procedure calls for modifying the Hamiltonian (1) to add non-commutative (aka quantum) terms. The simplest of such quantum terms is (in general time-dependent) magnetic field applied in the x-direction:
If the x-magnetic field is initiated to be large, Bx ≫ J, the ground state is close to all spins being polarized in the x-direction42,44. Such ground state is separated by a large gap, ∼ Bx, from the rest of the spectrum. Cooling the system down to a temperature T ≪ Bx puts it almost surely in its true ground state. One then slowly decreases Bx(t) down to zero so that the Hamiltonian goes back to the pure SK model (1). If this process is adiabatic, the state of the system follows its instanteneous ground state and arrives at the global SK minimum. For the system to not undergo any Landau–Zener transition, the annealing rate should be \({\tau }_{{{{{{{{\rm{anneal}}}}}}}}}^{-1}\; \ll \;{{{\Delta }}}_{\min }^{2}/{B}_{x}\), where \({{{\Delta }}}_{\min }\) is a minimal avoiding crossing gap, encountered by the ground state, and dBx(t)/dt ≈ Bx/τanneal. As argued in refs. 9,10,11 some of these gaps are exponentially small, demanding an exponentially long annealing time, τanneal.
Hereby, we suggest an iterative cyclic algorithm capable of systematically approaching the ground state, while not being exponentially slow. Before the first cycle starts, one performs a simulated classical annealing, arriving at one of the local minima, which we will call a reference state, \(\{{s}_{i}^{r}\}\). Each cycle consists of the four successive steps summarized in Fig. 1:
Step 1. The qubit array is initialized to the reference state and is programed to represent the following Hamiltonian
where the z-field in the reference Hamiltonian is tailor-made to be co-directed with all the spins of the given reference bit-string, \(\{{s}_{i}^{r}\}\),
One starts from the pure SK model, Bx = Bz = 0, and then increases Bz(t) from zero passing the critical field \({B}_{z}^{c}\), separating the spin-glass phase from the paramagnet. Since Bx = 0 in step 1, the Hamiltonian is purely classical and the system remains in the reference state, no matter how fast Bz is increased. In fact, all the states remain to be pure bit-strings of HSK, but their relative energies do change. The \({H}_{{{{{{{{\rm{ref}}}}}}}}}^{r}\) is chosen in a way to push the energy of the reference state sharply down: Er(Bz) = Er(0) − NBz, since every spin in the reference state is aligned with the local Bz direction, by construction. The other local minima are far in the Hamming distance from the reference state and thus evolve typically as \({E}_{\alpha }({B}_{z})={E}_{\alpha }(0)\pm \sqrt{N}{B}_{z}\). As a result, soon enough the reference state is the unique ground state, separated by the gap. This first happens at the critical field \({B}_{z}^{c} \ \approx \ {\delta }_{\epsilon }\), where δϵ = (Er(0) − EGS(0))/N is the currently achieved energy separation between the reference state and the exact ground state.
Step 2: Bx is increased while Bz is fixed. The gap in the paramagnetic phase is proportional to the total magnetic field \(\sqrt{{B}_{x}^{2}+{B}_{z}^{2}}\), and is independent of the system size. One does not need an exponential or even a power law (in system size) long time to increase Bx while keeping the system in the ground state of the full Hamiltonian (3). However, since the full Hamiltonian is now quantum, its ground state is a superposition of many bit-string states. The Bx is increased until it reaches a certain ratio with the z-field: χ = Bx/Bz. Reaching large enough Bz in step 1 is crucial for the efficiency of the step 2. If one fails to cross the first order transition along step 1, the state of the system is located within a continuum of other states. It then undergoes uncontrollable Landau–Zener transitions within the spin-glass phase, resulting typically in a higher energy state.
Step 3: Decreasing Bz and Bx keeping the fixed ratio χ between them. Along this path, the system again crosses the phase boundary between the paramagnetic and the glassy phases. This boundary is marked by the first avoiding crossing transition between the ground state and the lowest excited state. The size of the corresponding gap strongly depends on the slope χ, which we discuss in detail in the next section. The upshot is that Landau–Zener transitions may occur during this part of the cycle, but with an overwhelming probability they leave the system in a state with an energy, which is lower than that of the initial reference state. The main danger is that the system remains in the reference state. This may be avoided, however, by a careful choice of the slope χ.
Step 4. After both Bx and Bz reach zero in the end of step 3, the system ends up in a superposition state. Now the measurement of each qubit is performed and the state collapses to a certain bit-string. Starting from this measured bit-string, the simulated annealing leads the system down to a nearest local minimum. If the energy of this new local minimum is less than that of the reference state, it is taken as the new reference state and the cycle is repeated from step 1. If, however, its energy is larger or the same, the system is initiated back to the old reference state and the cycle is again repeated from step 1.
Three key features of this protocol qualitatively improve its performance vis-a-vis the conventional QA. First, the reference state is iteratively set to be the minimal energy local minimum found in all previous trials. This way the reference energy never increases. Second, the choice of the reference Hamiltonian guarantees that Zener transitions in step 3 almost always decrease the energy. Third (and most significant), cycling around the tricritical point of the MBL transition allows to accomplish such energy decrease in a polynomial time. The second and the third items on this list are explained in the next section.
MBL transition and the phase diagram
To illustrate the statements made above, consider Fig. 2 depicting schematically the energy spectrum of instanteneous Hamiltonian (3) vs. Bz for several fixed slopes χ, such that Bx = χBz. Figure 2a shows χ = 0 case, which corresponds to step 1 of the protocol. Since Bx = 0, the Hamiltonian is classical, and there are no transitions between the states. The corresponding energy levels cross each other. The reference Hamiltonian (4) is chosen in a way to ensure that the reference state (red line in Fig. 2a) goes down with a maximal slope. As a result, the reference state is destined to become a ground state at a certain critical field \({B}_{z}^{c}\). For \({B}_{z} \; > \; {B}_{z}^{c}\), there is a finite energy gap between the ground reference state and the rest of the spectrum. We thus refer to this phase as the paramagnet. Since all the states of such a paramagnet are represented by pure bit-strings, they are perfectly many-body localized in the bit-string basis. Notice that within the glassy phase, \({B}_{z} \; < \; {B}_{z}^{c}\), the reference state crosses only the states whose SK energy is less than Er.
Figure 2b shows the spectrum for χ < χc. Due to the presence of Hq, spin flips are allowed leading to avoiding crossings gaps in the spectrum. At small Bx, these gaps are exponentially small, because of typically large (order N) Hamming distance between low-energy local minima. This makes the critical field \({B}_{z}^{c}(\chi )\) to be well defined in the large N limit. It marks the first order transition between MBL glass and MBL paramagnet phases. If the step 3 of the protocol is run (right to left) along this trajectory (dotted blue line in Fig. 1) with a non-exponentially small rate, the state of the system most likely follows the dashed red line. This brings the system back to the initial reference state, making the protocol fail. Notice, however, that in rare cases when the state does follow the adiabatic trajectories, the energy of the system is bound to be below the initial energy, Er.
To increase the probability of adiabatic transitions lowering the energy, the gaps need to be increased. This is achieved by working at χ > χc, Fig. 2c. Such a strategy comes with a steep prize, however. Indeed, the reference state may also hybridize now with higher energy states. This leads to undesirable transitions increasing the energy (dashed red line in Fig. 2c). The question is if one can benefit from energy decreasing adiabatic trajectories, without being handicapped by Zener transitions to higher energy states (the latter phenomenon is responsible for the failure of the conventional QA9,10,11,14,15).
To answer this question, one needs to examine MBL transition on the phase diagram of our protocol, Fig. 1. Being defined by the Hamiltonian (3), the latter is tight to a specific reference state. Depending on the quantum component Bx, this state and its neighbors may be either localized (small Bx) or delocalized (large Bx) in the bit-string basis. The transition between the two is characterized by a divergent localization–Hamming-length in the many-body Fock (i.e., bit-string) space36,37,38,39,40. Therefore the MBL transition is of the 2nd order42,44,45,51. It divides the phase space, Fig. 1, onto two disconnected regions. Notice that for any Bx there is the MBL transition at some energy within the many-body spectrum. The full red line in Fig. 1 refers to the MBL transition at (Bz-dependent) energy of the reference state.
As explained above, there is also the 1st order transition between gapless52 (in the large N limit) spin-glass phase and the gaped paramagnet, both within the localized phase. The latter transition is not associated with a divergent Hamming distance. Since to the right of the 1st order transition line, the reference state is the ground state, this line terminates at a tricritical point somewhere along the 2nd order MBL transition boundary, Fig. 1.
Position of the tricritical point defines a critical slope χc of step 3 part of the cycle. For χ < χc step 3 encounters the 1st order transition within the MBL phase. Since all states below the reference one are many-body localized, the avoiding crossing gaps are exponentially small. Unless performed adiabatically (i.e., within exponentially long time), the step 3 is bound to bring the system back to its initial reference state.
The situation is qualitatively different for χ > χc. Here the step 3 trajectory passes through the second-order transition from a delocalized paramagnet to a localized glass phase. Above the transition, the eigenstates are mixtures of resonances formed by bit-strings which are remote in hamming distance and spread around the Fock space. At the second-order phase transition point the avoiding crossing, defined by energy difference between the ground and the first excited state, exhibits algebraic finite-size scaling i.e., \({{\Delta }}\propto 1/{N}^{z/{d}_{{{{{{{{\rm{eff}}}}}}}}}}\)14. This is a direct consequence of the divergent localization–Hamming length at the MBL transition53. We use z/deff notation for the corresponding critical exponent, having in mind that Δ ∝ ξ−z, while for a finite-size system the localization length at the transition is \(\xi \sim {N}^{1/{d}_{{{{{{{{\rm{eff}}}}}}}}}}\), where deff is an effective dimensionality of the many-body Hilbert space. Once entering into the spin-glass phase, the states become localized, and subsequent avoiding crossings scale exponentially \({{\Delta }}\propto \exp \{-Nf({B}_{x})\}\), where f(Bx) goes to zero coming to the transition from below. Thus away from the finite-size vicinity of the transition, the tunneling events are suppressed. The essence of the algorithm is utilizing the adiabatic transitions within this small region near the localization transition.
The avoiding crossing gap also depends on the slope χ. The second-order gap closing is terminated at the tricritical point χc, below which the transition is of the first order and the gap scales exponentially. When approaching χc from above, we define the critical exponent θ describing the gap closing while approaching χc as,
According to numerical estimate of ref. 54, z/deff ≈ 0.6 for SK model. For Hopfield model (a cousin of SK), z/deff = 1/314.
Therefore if step 3 is performed within the power-law time, \({\tau }_{3} \sim {{{\Delta }}}^{-2} \sim {N}^{2z/{d}_{{{{{{{{\rm{eff}}}}}}}}}}\), it results in a certain number of the avoiding crossing transitions taking the adiabatic turn. What remains to be shown is that these transitions indeed lead to a systematic energy decrease, not overshadowed by transitions to the higher energy states, as in Fig. 2c. The key insight is that this may be achieved by tuning the slope χ closer to the critical one from above, \(\chi \to {\chi }_{c}^{+}\).
To show this we numerically isolate local minima states along with their simulated annealing basins of attraction from other local minima basins. One may diagonalize Hamiltonian (3) in each of such basins (details of this procedure are described in “Methods”). This way we keep the geometry of the levels, undisturbed by avoiding crossings generated by tunneling between the local minima. It allows us to track exact identities of all local minima, in particular the reference state. Figure 3 shows energies of such isolated local minima vs. Bz. One can now calculate the number of local minima, with both higher energy, \({{{{{{{{\mathcal{N}}}}}}}}}_{{ > }}\), and lower energy, \({{{{{{{{\mathcal{N}}}}}}}}}_{{ < }}\), crossing the reference state. Figure 4 shows the ratio \({{{{{{{{\mathcal{N}}}}}}}}}_{ { > }}/{{{{{{{{\mathcal{N}}}}}}}}}_{{ < }}\) vs. slope χ. As expected, for χ < χc there are practically no higher energy states getting in contact with the reference one. On the other hand, the fraction of the higher energy states grows rapidly for χ > χc. The smaller the energy of the reference state the faster this fraction grows. This is expected since, for a deep local minimum, there are not too many other local minima below it, but there are plenty above. The most important lesson from Fig. 4 is what the ratio grows continuously as
where γ ≈ 1.2 and δ ≈ 2.0 are critical exponents (see inset in Fig. 4) and ϵα = Eα/(NJ). The critical slope can depend on the reference state. In our simulations, this dependence appears to be very weak, if any, with χc ≈ 3.6.
Equations (5) and (6) allow to estimate efficiency of the algorithm vis-a-vis its running time, precision, and other requirements. First one fixes the desired precision, i.e., the energy deviation from the global minimum: δϵ = (Er(0) − EGS(0))/N = ϵr − ϵGS. For simplicity, let us settle with the regime where every other cycle, in average, results in lowering the energy of the reference state. This amounts to an equal number of upper and lower-energy local minima intersections, \({{{{{{{{\mathcal{N}}}}}}}}}_{ { > }}/{{{{{{{{\mathcal{N}}}}}}}}}_{{ < }\,}=1\). This dictates that the protocol should be run at \(\chi -{\chi }_{c} \; \lesssim \;{\delta }_{\epsilon }^{\,\delta /\gamma }\). Although it requires a more and more precise knowledge of χc, if precision is increased, the good news is that the required χ − χc does not scale with the system size. We discuss ways of “on the fly” measurement of χc in next section.
The running time is given by a number of required cycles, nc, multiplied by duration of the step 3, τ3 (steps 1, 2 and 4 are typically faster). The latter is given \({\tau }_{3}\; \gtrsim \; {{{\Delta }}}^{-2}\propto {N}^{2z/{d}_{{{{{{{{\rm{eff}}}}}}}}}}{\delta }_{\epsilon }^{-2\theta \delta /\gamma }\). Finally, assuming that every successful cycle eliminates a fraction p < 1 of remaining lower-energy states (see Supplementary Note 1 for details), one may estimate a number of required cycles as \({n}_{c} \sim N/|\log (1-p)|\). This leads to the total optimization time, which scales as
This is our central result. It shows the algebraic scaling of the approximate optimization time with the system size and the desired precision. Importantly the exponents are expressed through those of the MBL transition. It is possible that MBL critical indexes provide hard bounds, which no approximate algorithm can exceed.
A recent study55 proposed a classical approximate message-passing algorithm with the duration N2C(δϵ) (with an unspecified function C(δϵ)). Our algorithm can match the performance of ref. 55, if 2z/deff ≤ 1. It can’t exceed it vis-a-vis N-scaling, since each cycle includes simulated annealing with the required time τsa ~ N. This limits the total duration by N ⋅ τsa ~ N2. Notice, however, that such N2 part is independent on δϵ and therefore is not a bottleneck for δϵ → 0. On the other hand, Eq. (7)," provides the N-scaling in this limit.
Discussion
We have outlined the quantum approximate optimization algorithm, which is capable of systematically approaching the global minimum of glass within the power-law (in the system size) time (7). It is based on a variant of the quantum annealing, with the reference state-specific Hamiltonian (3) and the iterative cycle encircling the tricritical point of the MBL transition. Though SK model is used here for illustration purposes, we expect the algorithm to be applicable to a wider class of discrete optimization tasks with the continuous transition from the gapless spin-glass phase to the polarized (gapped) paramagnet (as function of Bx). While it is known to be the second order in many models (e.g., SK, Hopfield14), there are instances where this is the first order transition. Examples are provided by the p-spin models with large (possibly infinit) p (approaching random-energy universality class)42,44. In such cases, the algorithm will not succeed. Moreover, the proposed algorithm essentially relies on a single 2nd order phase transition separating the localized and delocalized regimes, as opposed to a sequence of transitions with intermediate “ergodic non-extensive” phases in between. Recent works on random regular graphs56 and SYK4 + SYK2 model57 indeed support the single transition scenario. There is no guarantee, however, that all discrete optimization problems belongs to this class and therefore our algorithm may fail in cases which do not.
An attractive feature of the algorithm is that it does not require an exceedingly long qubit coherence time. Indeed, the projective measurement is done after every cycle. Therefore the required coherence time scales as a period of the single cycle, \({\tau }_{3}\propto {N}^{2z/{d}_{{{{{{{{\rm{eff}}}}}}}}}}\). Moreover, if one or a few qubits produce a faulty readout, it will be automatically corrected by simulated classical annealing, performed after every quantum state measurement. Another advantage is a limited number of the required dynamical control parameters. In fact, after the Hamiltonian (3) is set, all qubits are subject to only two dynamically varying controls: Bx(t) and Bz(t). There is also the measurement step, requiring a simultaneous measurement of all \({\sigma }_{i}^{z}\).
The algorithm does not provide an exact solution of NP-hard problem. Such solution would require reaching exponentially small δϵ and thus an exponentially long time. The main bottleneck is step 3 annealing, which requires algebraically long (in δϵ) time. On the other hand, iterative determination of χc does not constitute a significant overhead on the algorithm performance. To get approximate location of χc, one can bound it from above and below. The lower bound is obtained from returning to the initial reference state. The upper bound is determined from repeated measurements of higher energy states distant from the reference one. By tuning χ half way between the two bounds and repeating the process, the number of trials scales logarithmically with the desired precision \(\propto|\log ({\delta }_{\epsilon })|\sim \log N\).
Methods
Local minima isolation
Here, we discuss a phenomenological approach to numerically isolate local minima states along with their simulated annealing basins of attraction from other local minima basins. The low-energy Landau–Zener transitions occur only between the local minima states, \(\left|l\right\rangle\), due to the fact that local minima are repelled down by their Hamming distance neighbors. To simplify the spectrum in the spin-glass phase, one may identify a basin state \(\widetilde{\left|l\right\rangle }\), which is a wave packet localized at local minimum state \(\left|l\right\rangle\), i.e., it is a superposition of \(\left|l\right\rangle\) and its Hamming-neighbor states. Upon simulated annealing, all these states lead to the corresponding local minimum state, i.e., \(\widetilde{\left|l\right\rangle }\to \left|l\right\rangle\). Therefore in the spin-glass phase, one can approximate the spectrum of Eq. (3) by the spectrum of local minima.
A hopping between any two local minima is typically exponentially small, since the Hamming distance is of the order of the system size N. An effective Hamiltonian between two basin states is
where \({t}_{l{l}^{\prime}}\) is the effective hopping between l and \({l}^{\prime}\) basin states with energy \({\tilde{E}}_{l}\) and \({\tilde{E}}_{{l}^{\prime}}\), which is renormalized by the Zeeman effect of Bz and by repulsion from local Hamming neighborhood due to Bx, i.e.,
Here, Σl(Bz, Bx) is the self-energy which gives the energy curves \({\tilde{\epsilon }}_{l}={\tilde{E}}_{l}/(NJ)\) of Fig. 3 without the anti-crossing effect.
By analyzing a small system-size exact diagonalization, shown in Fig. 5, we found that the self-energy is well approximated by
where ml and fl are basin-dependent phenomenological parameters discussed below. This expression interpolates between the limiting cases of χ ≪ 1 and χ ≫ 1. For χ ≪ 1 one may put Bx = 0, finding Σl = − mlNBz. The corresponding slope, ml, for a given local minimum l measures the spin configuration overlap with the reference state r:
where dl is the Hamming distance from the reference state to the basin l. We found that dl’s are distributed according to a binomial distribution
which is natural, if one assumes totally random spin flipping (or not) to reach another local minimum.
For χ ≫ 1, one may start assuming Bz = 0. At Bx/J ≪ 1, Eq. (10) is approximate by
This may be viewed as a result of the second order, in Bx, perturbation of the SK model. The energy of the local minimum goes down due to the level of repulsion, and the second-order perturbation comes from the one-spin flip states. The factor 1/(2flJ) describes the average inverse energy difference between the local minimum and one-spin flip states. The distribution of fl’s is approximated by a uniform box in the interval 1/4 < fl < 3/4. Finally at Bx ≫ J, the system is fully polarized with Σl ≈ − NBx. Equation (10) is the simplest way to interpolate between all these limits, which works extremely well for small system-size simulations.
To perform larger system-size simulations, leading to Fig. 4, we statistically generate multiple local minima energy curves according to Eqs. (9)–(13). The distribution of SK local energies, El is taken from refs. 49, 50 and is assumed to be statistically independent from the other random parameters, ml and fl. We simulated system sizes up to N = 200 and verified that the qualitative features of Fig. 4 are robust against variations in specific distributions of the random parameters. The first order (red dashed) line in Fig. 1 is determined by the position of \(({B}_{z}^{c}(\chi ),\; \chi {B}_{z}^{c}(\chi ))\) for a fixed reference state, while \({B}_{z}^{c}(\chi )\) is given by the last intersection of the reference state.
Data availability
The data used to create the plots are available from the authors upon reasonable request.
Code availability
The numerical codes to obtain the data are available from the authors upon reasonable request.
Change history
06 October 2022
A Correction to this paper has been published: https://doi.org/10.1038/s41467-022-33655-5
References
Garey, M. R. & Johnson, D. S. Computers and Intractability: A Guide to the Theory of NP-Completeness (W. H. Freeman & Co., New York, 1979).
Arora, S. & Barak, B. Computational Complexity: A Modern Approach (Cambridge University Press, Cambridge, 2009).
Barahona, F. On the computational complexity of Ising spin glass models. J. Phys. A: Math. Gen. 15, 3241 (1982).
Lucas, A. Ising formulations of many NP problems. Frontiers Phys. 2, 5 (2014).
Mézard, M., Parisi, G. & Virasoro, M. A. Spin Glass Theory and Beyond (World Scientific, Singapore, 1987).
Kadowaki, T. & Nishimori, H. Quantum annealing in the transverse Ising model. Phys. Rev. E 58, 5355 (1998).
Farhi, E., Goldstone, J., Gutmann, S. & Sipser, M. Quantum computation by adiabatic evolution. Preprint at https://arxiv.org/abs/quant-ph/0001106 (2000).
Farhi, E. et al. A quantum adiabatic evolution algorithm applied to random instances of an NP-complete problem. Science 292, 472–475 (2001).
Amin, M. H. & Choi, V. First-order quantum phase transition in adiabatic quantum computation. Phys. Rev. A 80, 062326 (2009).
Altshuler, B., Krovi, H. & Roland, J. Anderson localization makes adiabatic quantum optimization fail. Proc. Natl Acad. Sci. USA 107, 12446–12450 (2010).
Jörg, T., Krzakala, F., Kurchan, J., Maggs, A. C. & Pujos, J. Energy gaps in quantum first-order mean-field–like transitions: the problems that quantum annealing cannot solve. Europhys. Lett. 89, 40004 (2010).
Jörg, T., Krzakala, F., Kurchan, J. & Maggs, A. Simple glass models and their quantum annealing. Phys. Rev. Lett. 101, 147204 (2008).
Knysh, S. & Smelyanskiy, V. On the relevance of avoided crossings away from quantum critical point to the complexity of quantum adiabatic algorithm. Preprint at https://arxiv.org/abs/1005.3011 (2010).
Knysh, S. Zero-temperature quantum annealing bottlenecks in the spin-glass phase. Nat. Commun. 7, 12370 (2016).
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).
Zener, C. Non-adiabatic crossing of energy levels. Proc. R. Soc. London, Ser. A 137, 696–702 (1932).
Sinitsyn, N. A. Multiparticle Landau-Zener problem: application to quantum dots. Phys. Rev. B 66, 205303 (2002).
Sinitsyn, N. A. & Li, F. Solvable multistate model of Landau-Zener transitions in cavity QED. Phys. Rev. A 93, 063859 (2016).
Theis, L., Schuhmacher, P. K., Marthaler, M. & Wilhelm, F. Gap-independent cooling and hybrid quantum-classical annealing. Preprint at https://arxiv.org/abs/1808.09873 (2018).
Albash, T. & Lidar, D. A. Adiabatic quantum computation. Rev. Mod. Phys. 90, 015002 (2018).
Crosson, E. & Lidar, D. Prospects for quantum enhancement with diabatic quantum annealing. Nat. Rev. Phys. 3, 466–489 (2021).
Farhi, E., Goldstone, J. & Gutmann, S. A quantum approximate optimization algorithm. Preprint at https://arxiv.org/abs/1411.4028 (2014).
Farhi, E. & Harrow, A. W. Quantum supremacy through the quantum approximate optimization algorithm Preprint at https://arxiv.org/abs/1602.07674 (2016).
Wang, Z., Hadfield, S., Jiang, Z. & Rieffel, E. G. Quantum approximate optimization algorithm for maxcut: a fermionic view. Phys. Rev. A 97, 022304 (2018).
Zhou, L., Wang, S.-T., Choi, S., Pichler, H. & Lukin, M. D. Quantum approximate optimization algorithm: performance, mechanism, and implementation on near-term devices. Phys. Rev. X 10, 021067 (2020).
Headley, D. et al. Approximating the quantum approximate optimisation algorithm. Preprint at https://arxiv.org/abs/2002.12215 (2020).
Ohkuwa, M., Nishimori, H. & Lidar, D. A. Reverse annealing for the fully connected p-spin model. Phys. Rev. A 98, 022314 (2018).
Yamashiro, Y., Ohkuwa, M., Nishimori, H. & Lidar, D. A. Dynamics of reverse annealing for the fully connected p-spin model. Phys. Rev. A 100, 052321 (2019).
Passarelli, G., Yip, K.-W., Lidar, D. A., Nishimori, H. & Lucignano, P. Reverse quantum annealing of the p-spin model with relaxation. Phys. Rev. A 101, 022331 (2020).
King, A. D. et al. Observation of topological phenomena in a programmable lattice of 1,800 qubits. Nature 560, 456–460 (2018).
Perdomo-Ortiz, A., Venegas-Andraca, S. E. & Aspuru-Guzik, A. A study of heuristic guesses for adiabatic quantum computation. Quant. Inf. Proc. 10, 33–52 (2011).
Chancellor, N. Modernizing quantum annealing using local searches. New J. Phys. 19, 023024 (2017).
Cao, C., Xue, J., Shannon, N. & Joynt, R. Speedup of the quantum adiabatic algorithm using delocalization catalysis. Phys. Rev. Research 3, 013092 (2021).
Nogueira Jr., E., Nobre, F. D., da Costa, F. A. & Coutinho, S. Tricritical behavior in the Sherrington-Kirkpatrick spin glass under a bimodal random field. Phys. Rev. E 57, 5079 (1998).
Xi, Q. & Ma, Y. Q. Tricritical points and reentry in the quantum Hopfield neural-network model. Commun. Theor. Phys. 34, 217 (2000).
Altshuler, B. L., Gefen, Y., Kamenev, A. & Levitov, L. S. Quasiparticle lifetime in a finite system: a nonperturbative approach. Phys. Rev. Lett. 78, 2803 (1997).
Basko, D. M., Aleiner, I. L. & Altshuler, B. L. Metal–insulator transition in a weakly interacting many-electron system with localized single-particle states. Ann. Phys. 321, 1126–1205 (2006).
Gornyi, I. V., Mirlin, A. D. & Polyakov, D. G. Interacting electrons in disordered wires: Anderson localization and low-T transport. Phys. Rev. Lett. 95, 206603 (2005).
Oganesyan, V. & Huse, D. A. Localization of interacting fermions at high temperature. Phys. Rev. B 75, 155111 (2007).
Pal, A. & Huse, D. A. Many-body localization phase transition. Phys. Rev. B 82, 174411 (2010).
Laumann, C., Moessner, R., Scardicchio, A. & Sondhi, S. L. Quantum adiabatic algorithm and scaling of gaps at first-order quantum phase transitions. Phys. Rev. Lett. 109, 030502 (2012).
Laumann, C. R., Pal, A. & Scardicchio, A. Many-body mobility edge in a mean-field quantum spin glass. Phys. Rev. Lett. 113, 200405 (2014).
Gornyi, I. V., Mirlin, A. D. & Polyakov, D. G. Many-body delocalization transition and relaxation in a quantum dot. Phys. Rev. B 93, 125419 (2016).
Baldwin, C., Laumann, C., Pal, A. & Scardicchio, A. Clustering of nonergodic eigenstates in quantum spin glasses. Phys. Rev. Lett. 118, 127201 (2017).
Mukherjee, S., Nag, S. & Garg, A. Many-body localization-delocalization transition in the quantum Sherrington-Kirkpatrick model. Phys. Rev. B 97, 144202 (2018).
Bölter, N. & Kehrein, S. Scrambling and many-body localization in the XXZ chain. Phys Rev. B 105, 104202 (2022).
Sherrington, D. & Kirkpatrick, S. Solvable model of a spin-glass. Phys. Rev. Lett. 35, 1792 (1975).
Montanaro, A. Quantum speedup of branch-and-bound algorithms. Phys. Rev. Res. 2, 013056 (2020).
Crisanti, A., Leuzzi, L., Parisi, G. & Rizzo, T. Complexity in the Sherrington-Kirkpatrick model in the annealed approximation. Phys. Rev. B 68, 174401 (2003).
Cavagna, A., Giardina, I. & Parisi, G. Numerical study of metastable states in ising spin glasses. Phys. Rev. Lett. 92, 120603 (2004).
Young, A. P. Stability of the quantum Sherrington-Kirkpatrick spin glass model. Phys. Rev. E 96, 032112 (2017).
Andreanov, A. & Müller, M. Long-range quantum Ising spin glasses at T = 0: gapless collective excitations and universality. Phys. Rev. Lett. 109, 177201 (2012).
Roy, S. & Logan, D. E. Fock-space anatomy of eigenstates across the many-body localization transition. Phys. Rev. B 104, 174201 (2021).
Koh, Y. W. Effects of low-lying excitations on ground-state energy and energy gap of the Sherrington-Kirkpatrick model in a transverse field. Phys. Rev. B 93, 134202 (2016).
Montanari, A. Optimization of the Sherrington–Kirkpatrick Hamiltonian. SIAM J. Comput. FOCS19-1–FOCS19-38 https://doi.org/10.1137/20M132016X (2021).
Tikhonov, K. S. & Mirlin, A. D. From Anderson localization on random regular graphs to many-body localization. Ann. Phys. 435, 168525 (2021).
Monteiro, F., Tezuka, M., Altland, A., Huse, D. A. & Micklitz, T. Quantum ergodicity in the many-body localization problem. Phys. Rev. Lett. 127, 030601 (2021).
Acknowledgements
This work was supported by the NSF grant DMR-2037654. We are grateful to Vadim Smelyanskiy for the valuable discussions.
Author information
Authors and Affiliations
Contributions
All authors participated in developing the theory. H.W. and H.-C.Y. performed the analysis of numerical simulation. A.K. conceived and supervised the project. All authors contributed significantly to the writing of the manuscript.
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.
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
Wang, H., Yeh, HC. & Kamenev, A. Many-body localization enables iterative quantum optimization. Nat Commun 13, 5503 (2022). https://doi.org/10.1038/s41467-022-33179-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41467-022-33179-y
This article is cited by
-
Many-body localization transition of disordered Heisenberg XXX spin-1 chains
Quantum Information Processing (2024)
-
Properties of many-body localization in quasi-disordered Haldane–Shastry model
Quantum Information Processing (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.