Skip to main content

Thank you for visiting nature.com. You are using a browser version with limited support for CSS. To obtain the best experience, we recommend you use a more up to date browser (or turn off compatibility mode in Internet Explorer). In the meantime, to ensure continued support, we are displaying the site without styles and JavaScript.

Self-verifying variational quantum simulation of lattice models

An Author Correction to this article was published on 03 April 2020

This article has been updated

Abstract

Hybrid classical–quantum algorithms aim to variationally solve optimization problems using a feedback loop between a classical computer and a quantum co-processor, while benefiting from quantum resources. Here we present experiments that demonstrate self-verifying, hybrid, variational quantum simulation of lattice models in condensed matter and high-energy physics. In contrast to analogue quantum simulation, this approach forgoes the requirement of realizing the targeted Hamiltonian directly in the laboratory, thus enabling the study of a wide variety of previously intractable target models. We focus on the lattice Schwinger model, a gauge theory of one-dimensional quantum electrodynamics. Our quantum co-processor is a programmable, trapped-ion analogue quantum simulator with up to 20 qubits, capable of generating families of entangled trial states respecting the symmetries of the target Hamiltonian. We determine ground states, energy gaps and additionally, by measuring variances of the Schwinger Hamiltonian, we provide algorithmic errors for the energies, thus taking a step towards verifying quantum simulation.

This is a preview of subscription content, access via your institution

Relevant articles

Open Access articles citing this article.

Access options

Buy article

Get time limited or full article access on ReadCube.

$32.00

All prices are NET prices.

Fig. 1: Classical–quantum feedback loop of VQS.
Fig. 2: Schwinger ground state (20 ions).
Fig. 3: Schwinger ground state (eight ions).
Fig. 4: Quantum phase transition.

Data availability

All data generated and analysed in this study are available from the corresponding author on reasonable request.

Code availability

The optimization algorithm developed during this study is available from the corresponding author on reasonable request.

Change history

  • 03 April 2020

    An amendment to this paper has been published and can be accessed via a link at the top of the paper.

References

  1. Preskill, J. Quantum computing in the NISQ era and beyond. Quantum 2, 79 (2018).

    Google Scholar 

  2. Georgescu, I. M., Ashhab, S. & Nori, F. Quantum simulation. Rev. Mod. Phys. 86, 153–185 (2014).

    ADS  Google Scholar 

  3. Gross, C. & Bloch, I. Quantum simulations with ultracold atoms in optical lattices. Science 357, 995–1001 (2017).

    ADS  CAS  PubMed  Google Scholar 

  4. Bernien, H. et al. Probing many-body dynamics on a 51-atom quantum simulator. Nature 551, 579–584 (2017).

    ADS  CAS  PubMed  Google Scholar 

  5. Labuhn, H. et al. Tunable two-dimensional arrays of single Rydberg atoms for realizing quantum Ising models. Nature 534, 667–670 (2016).

    ADS  CAS  PubMed  Google Scholar 

  6. Britton, J. W. et al. Engineered two-dimensional Ising interactions in a trapped-ion quantum simulator with hundreds of spins. Nature 484, 489–492 (2012).

    ADS  CAS  PubMed  Google Scholar 

  7. Zhang, J. et al. Observation of a many-body dynamical phase transition with a 53-qubit quantum simulator. Nature 551, 601–604 (2017).

    ADS  CAS  PubMed  PubMed Central  Google Scholar 

  8. Blatt, R. & Roos, C. F. Quantum simulations with trapped ions. Nature Phys. 8, 277–284 (2012).

    ADS  CAS  Google Scholar 

  9. Houck, A. A., Türeci, H. E. & Koch, J. On-chip quantum simulation with superconducting circuits. Nature Phys. 8, 292–299 (2012).

    ADS  CAS  Google Scholar 

  10. Zache, T. V. et al. Quantum simulation of lattice gauge theories using Wilson fermions. Quant. Sci. Technol. 3, 034010 (2018).

    ADS  Google Scholar 

  11. Lloyd, S. Universal quantum simulators. Science 273, 1073–1078 (1996).

    ADS  MathSciNet  CAS  PubMed  MATH  Google Scholar 

  12. Lanyon, B. P. et al. Universal digital quantum simulation with trapped ions. Science 334, 57–61 (2011).

    ADS  CAS  PubMed  Google Scholar 

  13. Martinez, E. A. et al. Real-time dynamics of lattice gauge theories with a few-qubit quantum computer. Nature 534, 516–519 (2016).

    ADS  CAS  PubMed  Google Scholar 

  14. Salathé, Y. et al. Digital quantum simulation of spin models with circuit quantum electrodynamics. Phys. Rev. X 5, 021027 (2015).

    Google Scholar 

  15. McClean, J. R., Romero, J., Babbush, R. & Aspuru-Guzik, A. The theory of variational hybrid quantum-classical algorithms. New J. Phys. 18, 023023 (2016).

    ADS  Google Scholar 

  16. Moll, N. et al. Quantum optimization using variational algorithms on near-term quantum devices. Quant. Sci. Technol. 3, 030503 (2018).

    ADS  Google Scholar 

  17. Farhi, E., Goldstone, J. & Gutmann, S. A quantum approximate optimization algorithm. Report number MIT-CTP/4610. Preprint at https://arxiv.org/abs/1411.4028 (2014).

  18. O’Malley, P. J. J. et al. Scalable quantum simulation of molecular energies. Phys. Rev. X 6, 031007 (2016).

    Google Scholar 

  19. Otterbach, J. S. et al. Unsupervised machine learning on a hybrid quantum computer. Preprint at https://arxiv.org/abs/1712.05771 (2017).

  20. Hempel, C. et al. Quantum chemistry calculations on a trapped-ion quantum simulator. Phys. Rev. X 8, 031022 (2018).

    CAS  Google Scholar 

  21. Peruzzo, A. et al. A variational eigenvalue solver on a photonic quantum processor. Nature Commun. 5, 4213 (2014).

    ADS  CAS  Google Scholar 

  22. Dumitrescu, E. F. et al. Cloud quantum computing of an atomic nucleus. Phys. Rev. Lett. 120, 210501 (2018).

    ADS  CAS  PubMed  Google Scholar 

  23. Kandala, A. et al. Hardware-efficient variational quantum eigensolver for small molecules and quantum magnets. Nature 549, 242–246 (2017).

    ADS  CAS  PubMed  Google Scholar 

  24. Klco, N. et al. Quantum-classical computations of Schwinger model dynamics using quantum computers. Phys. Rev. A 98, 032331 (2018).

  25. Wecker, D., Hastings, M. B. & Troyer, M. Progress towards practical quantum variational algorithms. Phys. Rev. A 92, 042303 (2015).

    ADS  Google Scholar 

  26. Yang, Z.-C., Rahmani, A., Shabani, A., Neven, H. & Chamon, C. Optimizing variational quantum algorithms using Pontryagin’s minimum principle. Phys. Rev. X 7, 021027 (2017).

    Google Scholar 

  27. Pichler, H., Wang, S.-T., Zhou, L., Choi, S. & Lukin, M. D. Quantum optimization for maximum independent set using Rydberg atom arrays. Preprint at https://arxiv.org/abs/1808.10816 (2018).

  28. Carleo, G. & Troyer, M. Solving the quantum many-body problem with artificial neural networks. Science 355, 602–606 (2017).

    ADS  MathSciNet  CAS  PubMed  MATH  Google Scholar 

  29. Lloyd, S. & Montangero, S. Information theoretical analysis of quantum optimal control. Phys. Rev. Lett. 113, 010502 (2014).

    ADS  CAS  PubMed  Google Scholar 

  30. Schwinger, J. Gauge invariance and mass. II. Phys. Rev. 128, 2425–2429 (1962).

    ADS  MathSciNet  MATH  Google Scholar 

  31. Hamer, C., Kogut, J., Crewther, D. & Mazzolini, M. The massive Schwinger model on a lattice: background field, chiral symmetry and the string tension. Nucl. Phys. B 208, 413–438 (1982).

    ADS  Google Scholar 

  32. Brydges, T. & Elben, A. et al. Probing Rényi entanglement entropy via randomized measurements. Science 364, 260–263 (2019).

  33. Kim, K. et al. Entanglement and tunable spin-spin couplings between trapped ions using multiple transverse modes. Phys. Rev. Lett. 103, 120502 (2009).

    ADS  CAS  PubMed  Google Scholar 

  34. Richerme, P. et al. Non-local propagation of correlations in quantum systems with long-range interactions. Nature 511, 198–201 (2014).

    ADS  CAS  PubMed  Google Scholar 

  35. Jurcevic, P. et al. Quasiparticle engineering and entanglement propagation in a quantum many-body system. Nature 511, 202–205 (2014).

    ADS  CAS  PubMed  Google Scholar 

  36. Schwinger, J. The theory of quantized fields. I. Phys. Rev. 82, 914–927 (1951).

    ADS  MathSciNet  MATH  Google Scholar 

  37. Hamer, C. J., Weihong, Z. & Oitmaa, J. Series expansions for the massive Schwinger model in Hamiltonian lattice theory. Phys. Rev. D 56, 55–67 (1997).

    ADS  CAS  Google Scholar 

  38. Jordan, S. P., Lee, K. S. M. & Preskill, J. Quantum algorithms for quantum field theories. Science 336, 1130–1133 (2012).

    ADS  CAS  PubMed  Google Scholar 

  39. Jones, D. R., Perttunen, C. D. & Stuckman, B. E. Lipschitzian optimization without the Lipschitz constant. J. Optim. Theory Appl. 79, 157–181 (1993).

    MathSciNet  MATH  Google Scholar 

  40. Liu, H., Xu, S., Wang, X., Wu, J. & Song, Y. A global optimization algorithm for simulation-based problems via the extended direct scheme. Engin. Optim. 47, 1441–1458 (2015).

    MathSciNet  Google Scholar 

  41. Nicholas, P. E. A dividing rectangles algorithm for stochastic simulation optimization. Proc. INFORMS Comput. Soc. Conf. 14, 47–61 (2014).

    Google Scholar 

  42. Colless, J. I. et al. Computation of molecular spectra on a quantum processor with an error-resilient algorithm. Phys. Rev. X 8, 011021 (2018).

    CAS  Google Scholar 

  43. Byrnes, T., Sriganesh, P., Bursill, R. & Hamer, C. Density matrix renormalization group approach to the massive Schwinger model. Nucl. Phys. B 109, 202–206 (2002).

    MATH  Google Scholar 

  44. Doria, P., Calarco, T. & Montangero, S. Optimal control technique for many-body quantum dynamics. Phys. Rev. Lett. 106, 190501 (2011).

    ADS  PubMed  Google Scholar 

  45. Cirac, J. I. & Sierra, G. Infinite matrix product states, conformal field theory, and the Haldane-Shastry model. Phys. Rev. B 81, 104431 (2010).

    ADS  Google Scholar 

  46. Jordan, J., Orús, R., Vidal, G., Verstraete, F. & Cirac, J. I. Classical simulation of infinite-size quantum lattice systems in two spatial dimensions. Phys. Rev. Lett. 101, 250602 (2008).

    ADS  CAS  PubMed  Google Scholar 

  47. Giovannetti, V., Montangero, S. & Fazio, R. Quantum multiscale entanglement renormalization ansatz channels. Phys. Rev. Lett. 101, 180503 (2008).

    ADS  CAS  PubMed  Google Scholar 

  48. Weimer, H., Müller, M., Lesanovsky, I., Zoller, P. & Büchler, H. P. A Rydberg quantum simulator. Nature Phys. 6, 382–388 (2010).

    ADS  CAS  Google Scholar 

  49. Chiu, C. S., Ji, G., Mazurenko, A., Greif, D. & Greiner, M. Quantum state engineering of a Hubbard system with ultracold fermions. Phys. Rev. Lett. 120, 243201 (2018).

    ADS  CAS  PubMed  Google Scholar 

  50. Esslinger, T. Fermi-Hubbard physics with atoms in an optical lattice. Ann. Rev. Condensed Matter Phys. 1, 129–152 (2010).

    ADS  CAS  Google Scholar 

  51. Finkel, D. E. & Kelley, C. Convergence analysis of the direct algorithm. Optim. Online 14, 1–10 (2004).

    Google Scholar 

  52. Tavassoli, A., Hajikolaei, K. H., Sadeqi, S., Wang, G. G. & Kjeang, E. Modification of direct for high-dimensional design problems. Eng. Optim. 46, 810–823 (2014).

    MathSciNet  Google Scholar 

  53. Rasmussen, C. E. & Williams, C. K. I. Gaussian Processes for Machine Learning (Adaptive Computation and Machine Learning) (MIT Press, 2005).

  54. Li, Y. & Benjamin, S. C. Efficient variational quantum simulator incorporating active error minimization. Phys. Rev. X 7, 021050 (2017).

    Google Scholar 

  55. Fu, M. C., Chen, C.-H. & Shi, L. Some topics for simulation optimization. In Proc. 40th Conf. on Winter Simulation 27–38, https://dl.acm.org/citation.cfm?id=1516744 (ACM, 2008).

  56. Santagati, R. et al. Witnessing eigenstates for quantum simulation of Hamiltonian spectra. Sci. Adv. 4, 9646 (2018).

    ADS  Google Scholar 

  57. Ho, W. W. & Hsieh, T. H. Efficient variational simulation of non-trivial quantum states. SciPost Phys. 6, 029 (2019).

  58. Rico, E., Pichler, T., Dalmonte, M., Zoller, P. & Montangero, S. Tensor networks for lattice gauge theories and atomic quantum simulation. Phys. Rev. Lett. 112, 201601 (2014).

    ADS  Google Scholar 

  59. Buyens, B., Montangero, S., Haegeman, J., Verstraete, F. & Van Acoleyen, K. Finite-representation approximation of lattice gauge theories at the continuum limit with tensor networks. Phys. Rev. D 95, 094509 (2017).

    ADS  MathSciNet  Google Scholar 

  60. Bañuls, M. C., Cichy, K., Jansen, K. & Cirac, I. The mass spectrum of the Schwinger model with matrix product states. J. High Energy Phys. 11, 158 (2013).

    ADS  Google Scholar 

  61. Bañuls, M. C., Cichy, K., Cirac, I., Jansen, K. & Saito, H. Matrix product states for lattice field theories. Proc. Sci. 332, https://pos.sissa.it/187/332/pdf (2013).

  62. van Frank, S. et al. Optimal control of complex atomic quantum systems. Sci. Rep. 6, 34187 (2016).

    ADS  PubMed  PubMed Central  Google Scholar 

  63. Lanyon, B. P. et al. Efficient tomography of a quantum many-body system. Nature Phys. 13, 1158–1162 (2017).

    ADS  CAS  Google Scholar 

Download references

Acknowledgements

We thank J. Bollinger, A. Elben, K. Holmström, K. Jansen, M. Lukin, E. A. Martinez, S. Montangero, P. Schindler and U. J. Wiese for discussions. The numerical results presented were achieved (in part) using the HPC infrastructure LEO of the University of Innsbruck. The research at Innsbruck is supported by the ERC Synergy Grant UQUAM, by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme under grant agreement number 741541, by the SFB FoQuS (FWF project number F4016-N23) and by QTFLAG—QuantERA. This project (or publication) has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement no. 817482 (PASQuanS). We thank A. Elben and B. Vermersch for the development of the software used for evaluating the Rényi entropies measurement.

Reviewer information

Nature thanks Juergen Berges, Christof Wunderlich and the other anonymous reviewer(s) for their contribution to the peer review of this work.

Author information

Authors and Affiliations

Authors

Contributions

The research topic was developed by C.K., R.v.B., C.A.M., P.S. and C.F.R. (following a suggestion by P.Z.). C.K., R.v.B., P.S. and P.Z. developed the theoretical protocols. Software for the classical-quantum feedback loop and classical simulations was developed by R.v.B. and C.K. C.M., M.K.J., T.B., P.J., C.F.R. and R.B. contributed to the experimental setup. Experimental data were taken by C.M., T.B., P.J. and M.K.J. R.v.B., C.K., C.M., C.A.M., P.S., C.F.R. and P.Z. wrote the manuscript. All authors contributed to the discussion of the results and the manuscript.

Corresponding author

Correspondence to P. Zoller.

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.

Extended data figures and tables

Extended Data Fig. 1 Energy minimization for 16 ions.

a, Experimentally measured energies \({E}^{(0)}({{\boldsymbol{\theta }}}_{i})\equiv \langle \varPsi ({{\boldsymbol{\theta }}}_{i})|{\hat{H}}_{{\rm{T}}}|\varPsi ({{\boldsymbol{\theta }}}_{i})\rangle \) (upper panel, dots) in the course of a single optimization run for 16 ions, plotted versus iteration number i of the DIRECT optimization algorithm (see text), for \(m=0.6,w= {\bar{g}} =1\). Energy values E(0)(θi) are colour-coded to indicate the Euclidean distance of θi to the final optimized parameter vector θopt, as selected by theoretical fidelity. The solid red line indicates the algorithm’s current estimate of the ground-state energy and its 2σ uncertainty (shaded area), from modelling the energies observed so far as jointly Gaussian distributed random variables (Methods). The inset shows a close-up of a late stage of the optimization, where statistical error bars (Methods) are displayed, and theoretically simulated values are plotted as crosses. The lower panel of a displays the theoretically calculated fidelities \({\mathscr{F}}\) corresponding to the experimentally applied parameters θi. b, Visualization of the energy landscape. Sampled energies are plotted as a function of their distance in the 15-dimensional parameter space \(| \Delta {\boldsymbol{\theta }}| \) relative to the optimal point θopt, and the cell size that each sampling point represents in the DIRECT algorithm (Methods). The algorithm encountered several local minima, appearing as distinct ‘fingers’ with low energies at specific parameter distances and extending towards the direction of smaller representative cell sizes, which is indicative of an increasingly dense sampling around each of the local minima.

Extended Data Fig. 2 Analysis of the algorithmic error bar.

The theoretically expected standard deviations of the target Hamiltonians, obtained from a numerically simulated experiment optimizing the ground state for eight ions, are plotted as a function of the bare mass m around the critical point, and of the circuit depth (with \(w= {\bar{g}} =1\). As expected, algorithmic error bars decrease for increasing circuit depth. This is especially visible in proximity of the critical point (orange dots on peaks in the black curves) where the target states are more entangled, requiring deeper circuits to achieve a required precision.

Extended Data Fig. 3 Protection of target model symmetries.

The left-hand panel shows the Schwinger spin model in the Kogut–Susskind formulation, where matter fields are represented by spin degrees of freedom: \({\hat{H}}_{{\rm{T}}}=2w\mathop{\sum }\limits_{n=1}^{N-1}({\hat{\sigma }}_{n}^{x}{\hat{\sigma }}_{n+1}^{x}+{\hat{\sigma }}_{n}^{y}{\hat{\sigma }}_{n+1}^{y})+\mathop{\sum }\limits_{i=1}^{N}{c}_{i}{\hat{\sigma }}_{i}^{z}+\sum _{i,j > 1}{c}_{ij}{\hat{\sigma }}_{i}^{z}{\hat{\sigma }}_{j}^{z}\). The gauge fields were eliminated using the Gauss law, which results in complicated long-range spin–spin interactions cij (see Supplementary Information section I). The Schwinger Hamiltonian \({ {\hat{H}} }_{{\rm{T}}}\) is block-diagonal with respect to different sectors of \({\sigma }_{{\rm{t}}{\rm{o}}{\rm{t}}}^{z}\). Furthermore, the \({\sigma }_{{\rm{t}}{\rm{o}}{\rm{t}}}^{z}=0\) sector decomposes into two blocks corresponding to quantum numbers \(\hat{{\rm{C}}{\rm{P}}}=+1\) and \(\hat{{\rm{C}}{\rm{P}}}=-1\). We investigate the ground state of \({ {\hat{H}} }_{{\rm{T}}}\) restricted to the symmetry sector with quantum numbers 0 and +1, respectively, for the \({\sigma }_{{\rm{t}}{\rm{o}}{\rm{t}}}^{z}\) and the \(\widehat{{\rm{C}}{\rm{P}}}\) symmetries. The right-hand panel shows that the native resources on an ion trap platform can be exploited to engineer symmetry-preserving quantum circuits specifically tailored to the Schwinger model. Taking \(B\gg {\rm{\max }}\{| {J}_{ij}| \}\) (equation (3) in the main text), results in an approximate protection of the \({\sigma }_{{\rm{t}}{\rm{o}}{\rm{t}}}^{z}\) symmetry (see Supplementary Information). Likewise, single-qubit rotations around the z axis can be forced to be \(\widehat{{\rm{C}}{\rm{P}}}\)-symmetric by linking the rotation angles between the left and the right half of the chain according to \({\theta }_{{\ell }}^{n}=-{\theta }_{{\ell }}^{N-n+1}\) (see Supplementary Information). Such a circuit will thus protect the target symmetries, restricting the variational search to be only within the portion of Hilbert space of interest.

Extended Data Fig. 4 Measurement scheme.

Strategy for measuring the squared Schwinger Hamiltonian \({ {\hat{H}} }_{T}^{2}\) from single-qubit operations and measurements. This diagram shows the scheme for measuring the remaining components of the anticommutator {ΛX, ΛZ} not present in ΛY (see Supplementary Information section IV). They are four-body correlators of the form \({\hat{\sigma }}_{j}^{x}{\hat{\sigma }}_{j+1}^{x}{\hat{\sigma }}_{{j}^{{\rm{{\prime} }}}}^{z}{\hat{\sigma }}_{{j}^{{\rm{{\prime} }}{\rm{{\prime} }}}}^{z}\), with all Pauli operators acting on different sites. On the experiment, all such correlators for a specific j are obtained by rotating sites j and j + 1 under exp(iπσy/4) and then projective measuring in the canonical basis. The procedure has to be repeated for all j, thus N − 1 times.

Extended Data Fig. 5 Qubit chain encoding of the lattice Schwinger model.

Illustration of a specific product state for eight lattice sites in the Schwinger model and its encoding in the corresponding spin configuration. The curves between sites represent the long-range spin–spin interaction pattern, where the thickness of each curve encodes the coupling strength. The inset shows the encoding of particles into spins, with empty sites (vacuum) denoted by ‘vac’.

Extended Data Fig. 6 Theoretical scalability.

Numerical simulation of the VQS for Schwinger ground states with trapped-ion resources. The infidelity of the optimized ground state with respect to the exact ground state is plotted as a function of the number of qubits N and the circuit depth, or number of circuit layers nlayers. Different panels refer to the simulation of the Schwinger model for different values of the bare mass m, reported via the parametric distance δm = (mmc) from the critical point mc (for \(w= {\bar{g}} =1\)). The black dashed line marks the minimal circuit depth required to achieve an optimized infidelity of 5% or less, as a function of the system length N.

Supplementary information

Supplementary Information

This file contains and Supplementary Text and Data Sections 1-6 and Supplementary References.

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Kokail, C., Maier, C., van Bijnen, R. et al. Self-verifying variational quantum simulation of lattice models. Nature 569, 355–360 (2019). https://doi.org/10.1038/s41586-019-1177-4

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1038/s41586-019-1177-4

Further reading

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.

Search

Quick links

Nature Briefing

Sign up for the Nature Briefing newsletter — what matters in science, free to your inbox daily.

Get the most important science stories of the day, free in your inbox. Sign up for Nature Briefing