Abstract
We prove the existence of a unitary transformation that enables two arbitrarily given Hamiltonians in the same Hilbert space to be transformed into one another. The result is straightforward yet, for example, it lays the foundation to implementing or mimicking dynamics with the most controllable Hamiltonian. As a promising application, this existence theorem allows for a rapidly evolving realization of adiabatic quantum computation by transforming a Hamiltonian where dynamics is in the adiabatic regime into a rapidly evolving one. We illustrate the theorem with examples.
Similar content being viewed by others
Introduction
Understanding quantum dynamics and control is essential to modern quantum technologies such as adiabatic quantum computation1,2. A quantum dynamical processes is driven by its corresponding Hamiltonian, where the Hamiltonian represents a physical realization. For instance, spin dynamics can be driven by the Zeeman Hamiltonian, which is physically realized by applying magnetic fields3. Different realized dynamics, for example fast vs. adiabatically controlled passage4,5,6 may seem remote from one another. However, in this paper we show that they can well be intimately related.
For example, a physical realization of adiabatic quantum computation (AQC) suffers from its slowness, with the resultant destructive effects of decoherence and the occurrence of quantum phase transitions during dynamics7,8,9,10. Here, we prove rigorously that different dynamics, described by two Hamiltonians defined on the same Hilbert space, can always be transformed into one another. As a consequence, the physical outcome of AQC can be made equivalent to the outcome of a dynamical process that can be extremely fast. This relationship between different dynamics is based on a straightforward but profound proposition described below, implying, for example, that an adiabatic process may be physically realized with a fast Hamiltonian. Similarly, it implies a hidden adiabaticity amongst rapid dynamics.
The transformability proposition
Given any two Hamiltonians, \({\hat{H}}\) and \({\hat{h}}\) in the same Hilbert space, which can be time-independent or time-dependent, the corresponding Schrödinger equations are
and
where \({\hat{U}}\) and \({\hat{u}}\) are propagators of \({\hat{H}}(t)\) and \({\hat{h}}(t)\), respectively.
Proposition
Two Hamiltonians \({\hat{H}}\) and \({\hat{h}}\) can always be transformed into one another. Mathematically, this claim can be expressed as: For given \({\hat{H}}\) and \({\hat{h}}\), there exists at least one unitary operator \({\hat{S}}\) such that
and
where the overdot indicates a time derivative.
Proof
The operator \({\hat{S}}\) enables the transformation \({\hat{U}}={\hat{S}}{\hat{u}}\). Substituting it into the Schrödinger equation (1), we obtain Eq. (2) with the effective Hamiltonian \({\hat{h}}={\hat{S}}^{\dagger } {\hat{H}} {\hat{S}}-i{\hat{S}}^{\dagger }\dot{{\hat{S}}}\). Similarly, if we begin with the Schrödinger equation (2) we transform it to Eq. (1) by identifying its Hamiltonian with \({\hat{H}}={\hat{S}} {\hat{h}} {\hat{S}}^{\dagger }-i{\hat{S}}\dot{{\hat{S}}}^{\dagger }\). Because the solutions \({\hat{u}}\) and \({\hat{U}}\) of the Schrödinger equations (1) and (2) always exist, so does the product \({\hat{U}}{\hat{u}}^{\dagger }\). By setting \({\hat{S}}={\hat{U}}{\hat{u}}^{\dagger }\), we can reproduce the Hamiltonians (3) and (4) and therefore formally prove the universal existence of the unitary transformation \({\hat{S}}\). In other words, there is always a unitary transformation that enables two arbitrarily given Hamiltonians in the same Hilbert space to be transformed into one another. We term this property transformability, and the two Hamiltonians \({\hat{H}}\) and \({\hat{h}}\) are transformable. The special case of the proposition with \({\hat{h}}\) being time-independent was proven a quarter-century ago in Ref.11. In this context, Ref.12 proved a universal existence theorem of constant Hamiltonians for shortcuts to adiabaticity (STA)7. The theorem states that time-independent shortcuts can be immediately derived from the generalized phase mimicking the adiabatic evolution. This provides a direct way to implement a constant shortcut, an application that goes beyond the proof of existence that we provide here.
Note that in the STA protocol, corresponding to the adiabatic Hamiltonian (\({\hat{h}}\)), a shortcut to the adiabatic Hamiltonian (\({\hat{H}}\)) is identified with a counter-diabatic term7. Based on our theorem, a unitary \({\hat{S}}(t)\) is guaranteed to exist, allowing the transformation between the adiabatic and the STA Hamiltonians according to Eqs. (3)–(4) , which was exemplified e.g. in Ref.13 for the Rabi model.
Rapid adiabatic quantum computation
Adiabatic quantum computation is one of the most promising candidates to realize quantum computing14. The approach is based on the adiabatic theorem: The solution to a computational problem of interest is encoded in the ground state of a potentially complicated Hamiltonian. To approach the solution, one prepares a system with a simpler Hamiltonian and initializes it at its ground state. By evolving the Hamiltonian sufficiently slowly towards the desired (complex) one, the adiabatic theorem guarantees that the system follows the instantaneous ground state, finally realizing the target ground state. Evidently, the slowness of AQC could be the main impediment to its utility for quantum algorithms.
The universal transformability property suggests that a slow AQC process \({\hat{u}}\) can be mapped onto a fast quantum process \({\hat{U}}\)—that is more controllable, and suffers reduced decoherence during processing. Previous studies on adiabatic processes have shed light on the transformability in case studies. For example, Ref.15 examined conditions for adiabaticity by transforming a Hamiltonian in a specific non-adiabatic regime (for instance, due to the resonance phenomenon) to another Hamiltonian in the adiabatic regime. Our proposition here points to the mathematical proof of the universal existence of (at least one) unitary operator \({\hat{S}}(t)\) connecting an arbitrarily-given (could be adiabatic) Hamiltonian and another (adiabatic or not) arbitrarily-given Hamiltonian. Note that as a convention, we use lower (upper) cases to denote the slow (fast) dynamics throughout the paper. Consequently, AQC can be physically realized by a fast process. Nevertheless, if “fastness” means less number of quantum gates, it might contradict results of computational complexity theory. In this case, the total number of gates of the quantum process described by \({\hat{U}}\) should be compensated in the implementation of \({\hat{S}}\).
The eigenstate \(|E(T)\rangle \) of the problem Hamiltonian at time T is given by implementing the adiabatic process
The second equality suggests to physically implement \(|E(T)\rangle \) by the following circuit: the first gate \({\hat{U}} (T)\) is governed by \({\hat{H}}\). The transformation \({\hat{S}}^{\dagger } (T)\) acts on the output.
Adiabatic algorithms and their fast counterparts
Consider now the proposition in the context of a realistic AQC, i.e. an ensemble of qubits described by a family of slowly-varying Hamiltonians,
Here, \(\Gamma (t)\) is large at \(t=0\), and slowly evolves towards zero at \(t=T\). The Hamiltonian \({\hat{h}}_P(\{{\hat{Z}}_i\})\) contains the \({\hat{Z}}_i\) component of the i-th qubit. The solution of a hard problem is encoded within \({\hat{h}}_P\). For example, Grover’s search problem14 is realized with
where \(|B\rangle \) is the marked state, and \(|B\rangle \langle B|\) is a function of \({\hat{Z}}_i\).
Alternatively, in the D-Wave system, the Hamiltonian (6) is given by
with the parameters \(h_i\) and \(J_{ij}\). Applying a fast magnetic field, we can enable the corresponding fast-varying Hamiltonian
where \(\gamma (t)=\Gamma (t)+{\dot{\phi }}\) is a fast-varying function. Here, the transformation matrix is given by \({\hat{S}}(t)=\Pi _i e^{-i\phi _i(t){\hat{X}}_i }\). Thus, instead of evolving the system slowly under \({\hat{h}}\), the two gates \({\hat{U}}(t)\) and \({\hat{S}}(t)\) should be realized, Eq. (5), allowing for a fast implementation.
Built-in adiabaticity
The discussion above focuses on implementing fast dynamics to achieve the adiabatic result, i.e. to replace slow dynamics by fast dynamics. Here we show that the opposite is also the case, That is, fast dynamics can be shown to have a “hidden adiabaticity”. As an example, consider a qubit under external fields, with the NMR-type Hamiltonian
Here, \({\hat{X}}\), \({\hat{Y}}\) and \({\hat{Z}}\) are the Pauli operators, \(\omega _0(t)\) and \(\phi (t)\) potentially depend on time and are allowed to be fast-varying. A unitary transformation \({\hat{S}}=\exp \left[ i\frac{\theta (t)-\phi (t)}{2}{\hat{Z}}\right] \) brings \({\hat{H}}\) into \({\hat{h}}\),
We assume that g is a constant and that the newly introduced time-dependent parameter \(\theta (t)\), as well as \(\frac{\omega _0(t)+{\dot{\theta }}-{\dot{\phi }}}{2}\) are controlled such that they vary slowly. The transformation \({\hat{S}}\) thus brings the system into the adiabatic domain. In other words, a system driven by fast-varying \({\hat{H}}\) has built-in hidden adiabaticity characterized by \({\hat{h}}\).
In the particular case where \(\phi (t)=\omega t\) and \(\omega _0\), \(\omega \) are constants, we can easily obtain the solution, that is the time evolution operator corresponding to \({\hat{H}}\),
where \(\Omega =\omega -\omega _0\). We can control parameters and realize the function \(\theta (t)=\Omega t\), resulting in
The instantaneous eigenstates of \({\hat{h}}=g\exp \left( -i\frac{\Omega {\hat{Z}}}{2}t\right) {\hat{X}}\exp \left( i\frac{\Omega {\hat{Z}}}{2}t\right) \) are
These states are proportional to the wave function \({\hat{u}}|\pm \rangle \) (\({\hat{X}}|\pm \rangle =\pm |\pm \rangle \)) as stated by the adiabatic theorem for the adiabatic regime \(g\gg \Omega \). Therefore, in order to physically realize \(|E_{\pm }(T)\rangle \), say at \(T=\pi /2\Omega \) when \({\hat{h}}(T)=g{\hat{Y}}\), one needs to implement two gates: \({\hat{U}}(T)\), then \({\hat{S}}^\dagger (T)= \exp (i\frac{\pi \omega _0}{4\Omega } {\hat{Z}})\).
We now come to a simple but nontrivial corollary following immediately from the Transformability proposition.
The transformability corollary at different times
Let \({\hat{H}}\) (the fast Hamiltonian) be a function of the normalized or scaling time \(\tau =t/T\), where T a characteristic time of the dynamical system. Equation (1) can then be rewritten as
Likewise,
where \(\tau =t'/T'\) and the latter describes a slower process so that \(T<T'\), \(t'(T')\) is the real time (characteristic time) of the Schrödinger equation (16). The scaling times of two equations may be identical or different. Here we set the same scaling time \(\tau \) with the constraint \(t'/T'=t/T\). As proved in the transformability proposition, mathematically there is at least one unitary operator \({\hat{S}}\) such that
and
for a given scaling time \(\tau \). The simplest non-trivial example is \({\hat{S}}=1\), such that \({\hat{H}}=\frac{T'}{T}{\hat{h}}\) and \({\hat{U}}(\tau )={\hat{u}}(\tau )\). The latter equality, rewritten as \({\hat{U}}(t)={\hat{u}}(\frac{T'}{T}t)\) with \(T<T'\), is an exact proof that the runtime of an adiabatic quantum process can be reduced \(\frac{T'}{T}\) times—exact trade-off between energy and time. Specifically, Eq. (12) can be rewritten as
where \(\tau =t/T=t'/T'\), \(gT=g'T'\) and we have set \(\omega _0=0\). \({\hat{U}}(\tau )\) (\({\hat{u}}(\tau )\)) may denote a fast (adiabatic) evolution if \(T'\) is in the adiabatic regime while T is not in. The one-qubit gate \({\hat{U}}\) takes shorter total time \(t=T\) (setting \(\tau =1\)) with strength g. Meanwhile, the gate \({\hat{u}}\) takes longer time \(t'=T'\) but with a reduced strength \(g'=gT/T'\). This reflects that the trade-off between energy and time may cause the fastness of evolution for this specific case. This result suggests a strategy of experimentally implementing an expedited adiabatic processes: simply enhancing the strength of the driving Hamiltonian to its strongest possible value.
In general, the universal existence of S and the equality
manifests that an adiabatic quantum algorithm can always be mimicked by at most two fast gates where \(T' \gg T\) is in the adiabatic regime.
Conclusion
Two arbitrarily given Hamiltonians within the same Hilbert space can be always transformed to each other via a unitary transformation. This seemingly simple but rigorous theorem is powerful: It allows one to implement a slowly varying evolution within a fast protocol, which is less susceptible to errors. We exemplified this result on a qubit system and on problems in the context of quantum adiabatic computing. The transformability of open quantum system Hamiltonians is left for future work.
References
Farhi, E. et al. A quantum adiabatic evolution algorithm applied to random instances of an NP-complete problem. Science 292, 472 (2001).
Childs, A. M., Farhi, E. & Preskill, J. Robustness of adiabatic quantum computation. Phys. Rev. A 65, 012322 (2001).
Messiah, A. Quantum Mechanics (North-Holland, Amsterdam, 1962).
Demirplak, M. & Rice, S. A. Adiabatic population transfer with control fields. J. Phys. Chem. A 107, 9937 (2003).
Demirplak, M. & Rice, S. A. Assisted adiabatic passage revisited. J. Phys. Chem. B 109, 6838 (2005).
Berry, M. V. Transitionless quantum driving. J. Phys. A Math. Theor. 42, 365303 (2009).
del Campo, A. Shortcuts to adiabaticity by counterdiabatic driving. Phys. Rev. Lett. 111, 100502 (2013).
Gueacutery-Odelin, D. et al. Shortcuts to adiabaticity: Concepts, methods, and applications. Rev. Mod. Phys. 91, 045001 (2019).
Jing, J., Wu, L. A., Sarandy, M. S. & Muga, J. G. Inverse engineering control in open quantum systems. Phys. Rev. A 88, 053422 (2013).
Jing, J. et al. One-component dynamical equation and noise-induced adiabaticity. Phys. Rev. A 89, 032110 (2014).
Wu, L.-A., Sun, J. & Zhong, J. Y. A new approach to calculating the Berry phase. Phys. Lett. A 183, 257 (1993).
Santos, A. C. & Sarandy, M. S. Generalized shortcuts to adiabaticity and enhanced robustness against decoherence. J. Phys. A Math. Theor. 51, 025301 (2018).
Chen, Y.-H., Qin, W., Wang, X., Miranowicz, A. & Nori, F. Shortcuts to adiabaticity for the quantum Rabi model: Efficient generation of giant entangled cat states via parametric amplification. Phys. Rev. Lett. 126, 023602 (2021).
Albash, T. & Lidar, D. Adiabatic quantum computing. Rev. Mod. Phys. 90, 015002 (2018).
Hu, C.-K. et al. Validation of quantum adiabaticity through non-inertial frames and its trapped-ion realization. Sci. Rep. 9, 10449 (2019).
Acknowledgements
L.A. Wu acknowledges grant support from the Basque Government (Grant No. IT986-16), the Spanish MICINN (Grant No. FIS2015-67161-P). D. S. acknowledges the Canada Research Chairs Program. We thank Professor P. Brumer for helpful discussions.
Author information
Authors and Affiliations
Contributions
L.W. performed the initial proof of the presented no-go theorem. L.W. and D.S. discussed the results and implications, and wrote the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Publisher's note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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 licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence 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 licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Wu, LA., Segal, D. Hamiltonian transformability, fast adiabatic dynamics and hidden adiabaticity. Sci Rep 11, 4648 (2021). https://doi.org/10.1038/s41598-021-84289-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41598-021-84289-4
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.