The Bethe Ansatz as a Quantum Circuit

Roberto Ruiz1, Alejandro Sopena1, Max Hunter Gordon1,2, Germán Sierra1, and Esperanza López1

1Instituto de Física Teórica, UAM/CSIC, Universidad Autónoma de Madrid, Madrid, Spain
2Normal Computing Corporation, New York, New York, USA

Find this paper interesting or want to discuss? Scite or leave a comment on SciRate.

Abstract

The Bethe ansatz represents an analytical method enabling the exact solution of numerous models in condensed matter physics and statistical mechanics. When a global symmetry is present, the trial wavefunctions of the Bethe ansatz consist of plane wave superpositions. Previously, it has been shown that the Bethe ansatz can be recast as a deterministic quantum circuit. An analytical derivation of the quantum gates that form the circuit was lacking however. Here we present a comprehensive study of the transformation that brings the Bethe ansatz into a quantum circuit, which leads us to determine the analytical expression of the circuit gates. As a crucial step of the derivation, we present a simple set of diagrammatic rules that define a novel Matrix Product State network building Bethe wavefunctions. Remarkably, this provides a new perspective on the equivalence between the coordinate and algebraic versions of the Bethe ansatz.

Presently, there is a considerable focus on the development of quantum circuits aimed at producing many-body states with distinct characteristics, such as serving as eigenstates of quantum lattice Hamiltonians. Among the proposed algorithms to address this challenge are the Quantum Approximate Optimization Algorithm (QAOA) and the Variational Quantum Eigensolver (VQE). In this paper, we introduce an alternative approach, which involves starting with the Bethe ansatz solution of the renowned spin-1/2 XXZ Hamiltonian and leveraging it to derive a quantum circuit capable of preparing the exact energy eigenstates. The method for constructing this circuit entails reframing the Bethe ansatz in the context of Matrix Product States (MPS). We subsequently reconstruct these MPS using a set of intuitive diagrammatic rules, which, in the process, yield the unitary gates for the circuit that prepares the desired state. As a result, we have successfully derived the analytical expressions for the gates required to generate not only the ground state but also the excited states of the XXZ Hamiltonian. This breakthrough paves the way for a deeper understanding of the practical preparation of such states.

► BibTeX data

► References

[1] H. Bethe. ``Zur Theorie der Metalle. I. Eigenwerte und Eigenfunktionen der linearen Atomkette''. Z. Phys. 71, 205–226 (1931).
https:/​/​doi.org/​10.1007/​BF01341708

[2] R. J. Baxter. ``Exactly solved models in statistical mechanics''. Pages 5–63. Series on Advances in Statistical Mechanics. World Scientific. (1982).
https:/​/​doi.org/​10.1142/​9789814415255_0002

[3] César Gómez, Martí' Ruiz-Altaba, and Germán Sierra. ``Quantum groups in two-dimensional physics''. Cambridge Monographs on Mathematical Physics. Cambridge University Press. (1996).
https:/​/​doi.org/​10.1017/​CBO9780511628825

[4] Giuseppe Mussardo. ``Statistical Field Theory: An Introduction to Exactly Solved Models in Statistical Physics''. Oxford University Press. (2020).
https:/​/​doi.org/​10.1093/​oso/​9780198788102.001.0001

[5] C. N. Yang and C. P. Yang. ``One-Dimensional Chain of Anisotropic Spin-Spin Interactions. II. Properties of the Ground-State Energy Per Lattice Site for an Infinite System''. Phys. Rev. 150, 327–339 (1966).
https:/​/​doi.org/​10.1103/​PhysRev.150.327

[6] Elliott H. Lieb and Werner Liniger. ``Exact Analysis of an Interacting Bose Gas. I. The General Solution and the Ground State''. Phys. Rev. 130, 1605–1616 (1963).
https:/​/​doi.org/​10.1103/​PhysRev.130.1605

[7] Elliott H. Lieb and F. Y. Wu. ``Absence of Mott Transition in an Exact Solution of the Short-Range, One-Band Model in One Dimension''. Phys. Rev. Lett. 20, 1445–1448 (1968).
https:/​/​doi.org/​10.1103/​PhysRevLett.21.192.2

[8] V. E. Korepin, N. M. Bogoliubov, and A. G. Izergin. ``Quantum inverse scattering method and correlation functions''. Cambridge Monographs on Mathematical Physics. Cambridge University Press. (1993).
https:/​/​doi.org/​10.1017/​CBO9780511628832

[9] Bill Sutherland. ``Beautiful models: 70 years of exactly solved quantum many-body problems''. World Scietific Publishing. (2004).
https:/​/​doi.org/​10.1142/​5552

[10] Michel Gaudin. ``The Bethe Wavefunction''. Cambridge University Press. (2014).
https:/​/​doi.org/​10.1017/​CBO9781107053885

[11] Frank Göhmann. ``Bethe ansatz''. arXiv:2309.02008 [math-ph] (2023).
arXiv:2309.02008

[12] Jean-Sébastien Caux and Jorn Mossel. ``Remarks on the notion of quantum integrability''. J. Stat. Mech. 1102, P02023 (2011). arXiv:1012.3587.
https:/​/​doi.org/​10.1088/​1742-5468/​2011/​02/​P02023
arXiv:1012.3587

[13] L. D. Faddeev. ``How algebraic bethe ansatz works for integrable model''. Les Houches School of Physics: Astrophysical Sources of Gravitational RadiationPage 149 (1996). arXiv:hep-th/​9605187.
https:/​/​doi.org/​10.48550/​arXiv.hep-th/​9605187
arXiv:hep-th/9605187

[14] J. Ignacio Cirac and Frank Verstraete. ``Renormalization and tensor product states in spin chains and lattices''. J. Phys. A 42, 504004 (2009). arXiv:0910.1130.
https:/​/​doi.org/​10.1088/​1751-8113/​42/​50/​504004
arXiv:0910.1130

[15] Román Orus. ``A practical introduction to tensor networks: Matrix product states and projected entangled pair states''. Annals Phys. 349, 117–158 (2014). arXiv:1306.2164.
https:/​/​doi.org/​10.1016/​j.aop.2014.06.013
arXiv:1306.2164

[16] J. Ignacio Cirac, David Pérez-García, Norbert Schuch, and Frank Verstraete. ``Matrix product states and projected entangled pair states: Concepts, symmetries, theorems''. Rev. Mod. Phys. 93, 045003 (2021). arXiv:2011.12127.
https:/​/​doi.org/​10.1103/​RevModPhys.93.045003
arXiv:2011.12127

[17] Francisco C. Alcaraz and Matheus J. Lazo. ``The Bethe ansatz as a matrix product ansatz''. J. Phys. A 37, L1–L7 (2004). arXiv:cond-mat/​0304170.
https:/​/​doi.org/​10.1088/​0305-4470/​37/​1/​L01
arXiv:cond-mat/0304170

[18] Francisco C. Alcaraz and Matheus J. Lazo. ``Exact solutions of exactly integrable quantum chains by a matrix product ansatz''. J. Phys. A 37, 4149–4182 (2004). arXiv:cond-mat/​0312373.
https:/​/​doi.org/​10.1088/​0305-4470/​37/​14/​001
arXiv:cond-mat/0312373

[19] F. C. Alcaraz and M. J. Lazo. ``Generalization of the matrix product ansatz for integrable chains''. J. Phys. A 39, 11335 (2006). arXiv:cond-mat/​0608177.
https:/​/​doi.org/​10.1088/​0305-4470/​39/​36/​014
arXiv:cond-mat/0608177

[20] Hosho Katsura and Isao Maruyama. ``Derivation of the matrix product ansatz for the Heisenberg chain from the algebraic Bethe ansatz''. J. Phys. A 43, 175003 (2010). arXiv:0911.4215.
https:/​/​doi.org/​10.1088/​1751-8113/​43/​17/​175003
arXiv:0911.4215

[21] V. Murg, V. E. Korepin, and F. Verstraete. ``Algebraic bethe ansatz and tensor networks''. Physical Review B 86 (2012). arXiv:1201.5627.
https:/​/​doi.org/​10.1103/​physrevb.86.045125
arXiv:1201.5627

[22] Frank Verstraete, J. Ignacio Cirac, and José I. Latorre. ``Quantum circuits for strongly correlated quantum systems''. Physical Review A 79, – (2009). arXiv:0804.1888.
https:/​/​doi.org/​10.1103/​physreva.79.032316
arXiv:0804.1888

[23] Alba Cervera-Lierta. ``Exact Ising model simulation on a quantum computer''. Quantum 2, 114 (2018). arXiv:1807.07112.
https:/​/​doi.org/​10.22331/​q-2018-12-21-114
arXiv:1807.07112

[24] Ian D. Kivlichan, Jarrod McClean, Nathan Wiebe, Craig Gidney, Alán Aspuru-Guzik, Garnet Kin-Lic Chan, and Ryan Babbush. ``Quantum simulation of electronic structure with linear depth and connectivity''. Phys. Rev. Lett. 120, 110501 (2018).
https:/​/​doi.org/​10.1103/​PhysRevLett.120.110501

[25] Rafael I. Nepomechie. ``Bethe ansatz on a quantum computer?''. arXiv:2010.01609 [quant-ph] (2020).
arXiv:2010.01609

[26] Balázs Pozsgay. ``Excited state correlations of the finite heisenberg chain''. Journal of Physics A: Mathematical and Theoretical 50, 074006 (2017). arXiv:1605.09347.
https:/​/​doi.org/​10.1088/​1751-8121/​aa5344
arXiv:1605.09347

[27] Daniel Malz, Georgios Styliaris, Zhi-Yuan Wei, and J. Ignacio Cirac. ``Preparation of Matrix Product States with Log-Depth Quantum Circuits''. Phys. Rev. Lett. 132, 040404 (2024). arXiv:2307.01696.
https:/​/​doi.org/​10.1103/​PhysRevLett.132.040404
arXiv:2307.01696

[28] John S. Van Dyke, George S. Barron, Nicholas J. Mayhall, Edwin Barnes, and Sophia E. Economou. ``Preparing Bethe Ansatz Eigenstates on a Quantum Computer''. PRX Quantum 2, 040329 (2021). arXiv:2103.13388.
https:/​/​doi.org/​10.1103/​PRXQuantum.2.040329
arXiv:2103.13388

[29] John S. Van Dyke, Edwin Barnes, Sophia E. Economou, and Rafael I. Nepomechie. ``Preparing exact eigenstates of the open XXZ chain on a quantum computer''. J. Phys. A 55, 055301 (2022). arXiv:2109.05607.
https:/​/​doi.org/​10.1088/​1751-8121/​ac4640
arXiv:2109.05607

[30] Wen Li, Mert Okyay, and Rafael I. Nepomechie. ``Bethe states on a quantum computer: success probability and correlation functions''. J. Phys. A 55, 355305 (2022). arXiv:2201.03021.
https:/​/​doi.org/​10.1088/​1751-8121/​ac8255
arXiv:2201.03021

[31] Alejandro Sopena, Max Hunter Gordon, Diego García-Martín, Germán Sierra, and Esperanza López. ``Algebraic Bethe Circuits''. Quantum 6, 796 (2022). arXiv:2202.04673.
https:/​/​doi.org/​10.22331/​q-2022-09-08-796
arXiv:2202.04673

[32] E. K. Sklyanin. ``Quantum version of the method of inverse scattering problem''. J. Soviet Math. 19, 1546–1596 (1982).
https:/​/​doi.org/​10.1007/​BF01091462

[33] Elliott Lieb, Theodore Schultz, and Daniel Mattis. ``Two soluble models of an antiferromagnetic chain''. Annals of Physics 16, 407–466 (1961).
https:/​/​doi.org/​10.1016/​0003-4916(61)90115-4

[34] Stavros Efthymiou, Sergi Ramos-Calderer, Carlos Bravo-Prieto, Adrián Pérez-Salinas, Diego García-Martín, Artur Garcia-Saez, José Ignacio Latorre, and Stefano Carrazza. ``Qibo: a framework for quantum simulation with hardware acceleration''. Quantum Sci. Technol. 7, 015018 (2022). arXiv:2009.01845.
https:/​/​doi.org/​10.1088/​2058-9565/​ac39f5
arXiv:2009.01845

[35] Alejandro Sopena and Roberto Ruiz. ``The-bethe-ansatz-as-a-quantum-circuit 1.0''. ZenodoPages – (2024).
https:/​/​doi.org/​10.5281/​zenodo.10936252

[36] V. E Korepin. ``Calculation of norms of Bethe wave functions''. Communications in Mathematical Physics 86, 391–418 (1982).
https:/​/​doi.org/​10.1007/​BF01212176

[37] Rafael Hernández and Juan Miguel Nieto. ``On Correlation Functions in the Coordinate and the Algebraic Bethe Ansatz''. Int. J. Theor. Phys. 62, 264 (2023). arXiv:1403.6651.
https:/​/​doi.org/​10.1007/​s10773-023-05519-1
arXiv:1403.6651

[38] Richard Jozsa, Barbara Kraus, Akimasa Miyake, and John Watrous. ``Matchgate and space-bounded quantum computations are equivalent''. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 466, 809–830 (2010). arXiv:0908.1467.
https:/​/​doi.org/​10.1098/​rspa.2009.0433
arXiv:0908.1467

[39] B. Kraus. ``Compressed Quantum Simulation of the Ising Model''. Physical Review Letters 107, 250503 (2011). arXiv:1109.2455.
https:/​/​doi.org/​10.1103/​PhysRevLett.107.250503
arXiv:1109.2455

[40] Edward Farhi, Jeffrey Goldstone, Sam Gutmann, and Michael Sipser. ``Quantum computation by adiabatic evolution''. arXiv:quant-ph/​0001106 (2020).
arXiv:quant-ph/0001106

Cited by

[1] Lorenzo Piroli, Georgios Styliaris, and J. Ignacio Cirac, "Approximating many-body quantum states with quantum circuits and measurements", arXiv:2403.07604, (2024).

[2] David Raveh and Rafael I. Nepomechie, "Deterministic Bethe state preparation", arXiv:2403.03283, (2024).

[3] David Raveh and Rafael I. Nepomechie, "Estimating Bethe roots with VQE", arXiv:2404.18244, (2024).

[4] Roberto Ruiz, Alejandro Sopena, Max Hunter Gordon, Germán Sierra, and Esperanza López, "The Bethe Ansatz as a Quantum Circuit", Journal of Physics Conference Series 2667 1, 012022 (2023).

The above citations are from SAO/NASA ADS (last updated successfully 2024-06-18 01:27:24). The list may be incomplete as not all publishers provide suitable and complete citation data.

On Crossref's cited-by service no data on citing works was found (last attempt 2024-06-18 01:27:23).