We argue that a complete description of quantum annealing implemented with continuous variables must take into account the non-adiabatic Aharonov-Anandan geometric phase that arises when the system Hamiltonian changes during the anneal. We show that this geometric effect leads to the appearance of non-stoquasticity in the effective quantum Ising Hamiltonians that are typically used to describe quantum annealing with flux qubits. We explicitly demonstrate the effect of this geometric non-stoquasticity when quantum annealing is performed with a system of one and two coupled flux qubits. The realization of non-stoquastic Hamiltonians has important implications from a computational complexity perspective, since it is believed that in many cases quantum annealing with stoquastic Hamiltonians can be efficiently simulated via classical algorithms such as Quantum Monte Carlo. It is well known that the direct implementation of non-stoquastic Hamiltonians with flux qubits is particularly challenging. Our results suggest an alternative path for the implementation of non-stoquasticity via geometric phases that can be exploited for computational purposes.
It is well known that the solution of computational problems can be encoded into the ground state of a time-dependent quantum Hamiltonian. This approach is known as adiabatic quantum computation (AQC),1,2,3 and is universal for quantum computing4 (for a review of AQC, see ref. 5). Quantum annealing (QA) is a framework that incorporates algorithms6,7,8 and hardware9,10,11,12,13 designed to solve computational problems via quantum evolution toward the ground states of final Hamiltonians that encode classical optimization problems, without necessarily insisting on universality or adiabaticity.
QA thus inhabits a regime that is intermediate between the idealized assumptions of universal AQC and unavoidable experimental compromises. Perhaps the most significant of these compromises has been the design of stoquastic quantum annealers. A Hamiltonian H is stoquastic with respect to a given basis if H has only real nonpositive off-diagonal matrix elements in that basis. This means that its ground state can be expressed as a classical probability distribution,14, 15 and that the standard quantum-to-classical mapping16 used in quantum Monte Carlo algorithms does not result in a “sign problem” (a partition function with Boltzmann weights taking positive as well as unphysical negative, or even complex values).14, 15, 17,18,19,20,21 The computational power of stoquastic Hamiltonians has been carefully scrutinized, and is suspected to be limited in the ground-state AQC setting.5 For example, it is unlikely that ground-state stoquastic AQC is universal.22 In many cases ground-state stoquastic AQC can be efficiently simulated by classical algorithms, but certain exceptions are known.23, 24
One is thus naturally motivated to consider a departure from the stoquastic setting. Indeed, this is the setting of proofs of the universality of AQC and of various specific results that use non-stoquasticity to improve upon the performance of a stoquastic Hamiltonian.25,26,27,28,29,30,31 For example, it is known that non-stoquastic interactions that are turned on temporarily during QA can modify the annealing path so that it encounters a polynomially small gap rather than an exponentially small one, by replacing a first-order quantum phase transition by a second-order one.31 Note that (non-)stoquasticity is a global property of the entire Hamiltonian (since once can always change the stoquasticity of a local term by a local change of basis), and henceforth when we—with slight abuse of language—refer to (non-)stoquastic interactions (or terms) we have in mind a fixed basis. Motivated by experimental considerations, we shall focus on the computational basis, i.e., the basis in which the final Hamiltonian is diagonal.
Introducing non-stoquastic interactions is especially important in the physical implementation of QA devices, in order to allow them to escape the trap of efficient classical simulability. The D-Wave devices,10,11,12 e.g., can only implement the Hamiltonian of the quantum transverse field Ising model, which is stoquastic. To remedy this would require additional couplings between the flux qubits, to realize, e.g., σx ⊗ σx interactions, in addition to the existing σz ⊗ σz interactions. However, the implementation of a scalable architecture with such interactions is highly demanding, at least with superconducting flux qubits.
Rather than attempt to introduce non-stoquasticity via new components, here we revisit the assumptions that lead to the derivation of the Hamiltonian generating the effective time evolution of a continuous-variable system, such as inductively coupled flux qubits. We show that non-stoquastic terms arise naturally as a non-adiabatic geometric phase, due to the Aharonov-Anandan effect,32, 33 when QA is performed in systems of inductively coupled flux qubits. The geometric effect discussed here is distinct from earlier work on holonomic quantum computation,34,35,36 and non-adiabatic geometric phases in quantum computation using Josephson devices.37, 38
We study these geometric terms in detail, and show that the geometric effect is amplified in proportion to the inverse gap of the flux Hamiltonian, appearing and then disappearing during the anneal. The geometric effect can thus be considered as a type of non-stoquastic catalyst,5 with the potential to lead to quantum speedups.25,26,27,28,29,30,31 From a more general experimental perspective, the presence of the geometric terms studied in this paper has clear signatures that must be taken into account in the validation and characterization of current and future QA devices.
General formalism and the geometric term
For concreteness, we assume that QA is performed by implementing a time-dependent Hamiltonian that can be generically expressed as follows:
Such Hamiltonians can be realized with superconducting flux qubits,39 in which case the continuous variables are the magnetic fluxes trapped by the n flux qubits, and EC represents a charging energy. The term P(ϕ, t) is a time-dependent potential that controls both the anneal and the interactions between qubits. We assume that the lowest 2n energy levels of the Hamiltonian (1) are separated from the rest of the spectrum by an energy gap. For a slowly variable potential P(ϕ, t), the system of Eq. (1) is then confined to an N = 2n dimensional Hilbert space .
To proceed, we follow the approach introduced by Anandan in the discussion of non-adiabatic non-Abelian geometric phases.33 We first consider the time-evolved N-dimensional subspace , which is defined by the map
where is the unitary time-evolution operator ( denotes time ordering) and H(t) is the Hamiltonian (1). Let denote an orthonormal basis for . Thus, has a basis whose orthonormal elements obey the Schrödinger equation:
We now define another (arbitrary) orthonormal basis for , such that . Then there exists an N × N unitary transformation W(t) between the two bases such that . An arbitrary state thus evolves according to: , where . The unitary W(t) can thus be considered as describing the effective evolution of the state inside the subspace in the frame rotating with the basis (see SM, section A, for more details). By substituting the basis transformation into Eq. (3) one easily finds:
where and G(t) are the N × N matrices defined by the following matrix elements, respectively:
Let us now assume that H(t) depends on t only via the invertible and differentiable “annealing schedule” s ≡ κ−1(τ), where τ ≡ t/t f , and t f denotes the final time. Then it follows directly from Eq. (5b) that G(t)dt = G(s)ds (see SM, section B), which shows that G(s) is a geometric term, i.e., it depends only on the schedule s (and not on its parametrization).40, 41 Consequently, with the dimensionless effective Hamiltonian
where from hereon a dot denotes d/ds, and we set s ≡ τ for simplicity. Note that the geometric term is negligible only in the adiabatic limit t f →∞.
Application to QA with superconducting flux qubits
Let , with a = 1, …, N, denote the N lowest instantaneous energy eigenstates of the original Hamiltonian (1), i.e., . We identify the earlier with these eigenstates, so that W(s) describes the unitary evolution in the subspace rotating with the instantaneous eigenbasis of H(s). In this basis, the QA process is described by the dimensionless effective Hamiltonian (6) with:
in which , with b = 1, …, N, also labels the N lowest instantaneous energy eigenstates. In QA applications, the Hamiltonian (1) is designed such that its N = 2n lowest energy levels can be put into 1-to-1 correspondence with the energy levels of a transverse field Ising model with n qubits. Thus, there exists a unitary V(s) such that, up to a term proportional to the identity matrix42:
where the profile functions A(s) and B(s) are particular to the qubit Hamiltonian (see SM, section C), is the usual transverse field driver, and
is the problem Hamiltonian whose ground state encodes the answer to the optimization problem of interest. The unitary V(s) is the transformation between the energy eigenbasis and the computational basis . Note that the geometric term transforms as a geometric connection33 (see SM, section D):
QA of a system of n flux qubits controlled by the Hamiltonian (1) is then described by the following effective Hamiltonian in the computational basis:
The first term, proportional to t f , is the usual Hamiltonian discussed in literature in the context of QA. The second term has a geometric origin and is non-vanishing for finite annealing times t f . The geometric term is non-stoquastic. To see this, note that the original Hamiltonian (1) is real, and thus there is a basis choice in which the energy eigenbasis states have only real amplitudes. Consequently, the geometric term G(s) in Eq. (7) is then a purely imaginary Hermitian matrix. The transformed geometric term GC(s) (Eq. (10)) is also purely imaginary in the computational basis, since the basis change of Eq. (8) can be performed with a real unitary (i.e., orthogonal) matrix V(s). Therefore, including only interactions up to two-body terms, the geometric term can be written in the most general form as follows:
QA with geometric terms: one qubit
We now apply the results obtained so far to QA with one qubit. For concreteness we focus on the C-shunt flux qubit with three Josephson junctions. This qubit can be described by the following Hamiltonian43,44,45 (see SM, section E):
where ϕ is the flux (in units of Φ0/2π) trapped in the superconducting ring, ES is the charging energy of the shunting capacitor, and and ϕx(s) are external fluxes used to control the anneal.
We next construct the effective Hamiltonian of Eq. (11). We start by numerically computing the ground state and first excited state of the flux qubit Hamiltonian Eq. (13) (examples are given in the SM, Fig. 5b, d), from which we numerically obtain the effective Hamiltonian (Eq. (6)) in the instantaneous energy eigenbasis:
(we have ignored a term proportional to the identity matrix) where Δ(s) ≡ E1(s) − E0(s) is the gap (plotted in the left panel of Fig. 1) and . We now transform to the computational basis using the unitary , after which the Hamiltonian of Eq. (14) becomes
This has the form of the most general single-qubit Hamiltonian: . It can be checked easily that (see SM, section F):
It is interesting to note that the second term in Eq. (16b) is similar to, but different from, the counterdiabatic term needed to obtain a “shortcut to adiabaticity”46, 47 when QA is modeled directly in terms of a spin-system Hamiltonian with a transverse field.
By defining the computational basis as the basis of states with well-defined persistent current, the annealing schedule functions A(s) and B(s) (shown in the left panel of Fig. 1) can be determined in terms of the external fluxes and ϕx of Eq. (13b) (see the SM, section C). Thus, Eq. (16b) shows that these flux parameters in turn control the properties of the geometric term gy. The profile function gy(s) for the geometric term, also shown in the left panel of Fig. 1, is non-vanishing toward the middle of the adiabatic evolution, when the gap closes. The effects of the geometric term are shown in the right panel of Fig. 1, obtained by numerically solving for the corresponding unitary evolution. The effects become significant when the gap is small. There is also a significant effect on the final ground-state population.
QA with geometric terms: two qubits
where the flux qubit Hamiltonian is given by
and the interaction potential is explicitly written as:
Proceeding as in the single-qubit case, we start from the Hamiltonian (17) to numerically compute and G appearing in Eq. (7), and construct the effective Hamiltonian in the instantaneous energy eigenbasis (Eq. (6)). Once again, the effective Hamiltonian can be expressed in the computational basis by (numerically) finding a unitary V such that the final Hamiltonian reads:
This is the usual transverse field Ising model, plus an additional geometric term, whose general form is given in Eq. (12). The left panel of Fig. 2 shows the gaps Δ k,0 = Ek − E0, where are the ordered eigenvalues of , and the components of the geometric term GC(s, h1, h2, J12) in the computational basis as defined in Eq. (12). The left panel of Fig. 2 shows that, in general, the geometric functions are all non-vanishing, and their magnitude grows as the ground-state gap shrinks. In particular, as in the single-qubit case, geometric effects introduce a non-stoquastic contribution to the driver term which is non-vanishing toward the middle of the anneal. As in the single-qubit case, the right panel of Fig. 2 shows that ignoring the geometric terms results in consistently different final populations in the computational basis.
Dependence on the annealing time
The contribution of the geometric terms is inherently a non-adiabatic effect, arising when diabatic transitions populate the excited states. In Fig. 3 we show the fidelity between the time-evolved states with and without geometric terms, as a function of the total annealing time. As expected, the effect of the geometric terms increases with decreasing annealing time and it is reflected in the decreasing fidelity. Figure 3 shows that the total annealing time over which this contribution is significant is on the order of a few nanoseconds, for parameters relevant for current QA devices. While this is significantly shorter than the typical microsecond timescale of current QA experiments using the D-Wave devices, this is the case for the one and two-qubit cases which we have analyzed here. Since, as is clear from Eq. (16b) and from Fig. 2, the magnitude of the geometric term grows in inverse proportion to the gap, we expect it to become more significant for multi-qubit problems whose gap dependence can be inverse polynomial or even exponential. This effect is already visible in Fig. 3, which shows that the fidelity for the two-qubit system tends to be smaller than the one-qubit system for larger annealing times.
We have shown that even the simplest implementation of QA with flux qubits induces effective Hamiltonians with non-stoquastic interactions arising from a geometric phase. The appearance of such interactions is ubiquitous when the Hamiltonian of a continuous-variable system is changed over time, and the evolution is non-adiabatic, due to the appearance of the Aharonov-Anandan effect. Since arbitrarily small gaps are inevitable in QA for hard optimization problems, non-adiabatic evolutions are ultimately inescapable. We thus argue that, similarly, the geometric effects studied here are unavoidable and relevant in practical applications of QA. It is possible that inclusion of non-adiabatic excitations is enough to prevent the existence of efficient classical simulations of stoquastic Hamiltonians: strikingly, an example of an exponential quantum speedup is known in this case for the “glued trees” problem,48 and stoquastic AQC is universal when the computation is crafted to carefully exploit excited states.49 The inclusion of geometric effects provides an alternative and desirable mechanism to include non-stoquastic interactions in the effective Hamiltonian of QA realized with continuous-variables systems. It is likely that, in order to exploit geometric terms for computational purposes, a certain level of controllability will be required. For example, the relative strength of the geometric term can be directly controlled by modifying the annealing schedule (e.g., the function in Eq. (6)) while keeping the total annealing time t f constant. We leave to future work the important question of whether new designs of flux qubits might enable a higher level of controllability of the geometric terms discussed here.
Publisher's note: Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
We are grateful to Dr. Andrew Kerman for useful discussions. This work was supported under ARO grant number W911NF-12-1-0523, ARO MURI Grant Nos. W911NF-11-1-0268 and W911NF-15-1-0582, and NSF grant number INSPIRE-1551064. The research is based on work partially supported by the Office of the Director of National Intelligence (ODNI), Intelligence Advanced Research Projects Activity (IARPA), via the U.S. Army Research Office contract W911NF-17-C-0050. The views and conclusions contained herein are those of the authors and should not be interpreted as necessarily representing the official policies or endorsements, either expressed or implied, of the ODNI, IARPA, or the U.S. Government. The U.S. Government is authorized to reproduce and distribute reprints for Governmental purposes notwithstanding any copyright annotation thereon.
Electronic supplementary material
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/.