Abstract The Bethe ansatz is an analytical method to solve exactly solvable models in quantum mechanics. It has been shown that the states of the Bethe ansatz can be prepared by a deterministic quantum circuit whose quantum gates were determined numerically. We report our progress in recasting the Bethe ansatz as a deterministic quantum circuit. We present the analytical expressions of the quantum gates. Formulae rely upon diagrammatic rules that define the wave functions of the Bethe ansatz by matrix product states. Based on the analytical expressions, we prove the unitarity of the quantum gates. We use our results to clarify on the equivalence between the coordinate and algebraic Bethe ansatze in light of matrix-product states.
Abstract The Bethe ansatz is an analytical method to solve exactly solvable models in quantum mechanics. It has been shown that the states of the Bethe ansatz can be prepared by a deterministic quantum circuit whose quantum gates were determined numerically. We report our progress in recasting the Bethe ansatz as a deterministic quantum circuit. We present the analytical expressions of the quantum gates. Formulae rely upon diagrammatic rules that define the wave functions of the Bethe ansatz by matrix product states. Based on the analytical expressions, we prove the unitarity of the quantum gates. We use our results to clarify on the equivalence between the coordinate and algebraic Bethe ansatze in light of matrix-product states.
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.
The Bethe Ansatz is a method for constructing exact eigenstates of quantum-integrable spin chains. Recently, deterministic quantum algorithms, referred to as “algebraic Bethe circuits”, have been developed to prepare Bethe states for the spin- 1/2 1 / 2 XXZ model. These circuits represent a unitary formulation of the standard algebraic Bethe Ansatz, expressed using matrix-product states that act on both the spin chain and an auxiliary space. In this work, we systematize these previous results, and show that algebraic Bethe circuits can be derived by a change of basis in the auxiliary space. The new basis, identical to the “F-basis” known from the theory of quantum-integrable models, generates the linear superposition of plane waves that is characteristic of the coordinate Bethe Ansatz. We explain this connection, highlighting that certain properties of the F-basis (namely, the exchange symmetry of the spins) are crucial for the construction of algebraic Bethe circuits. We demonstrate our approach by presenting new quantum circuits for the inhomogeneous spin- 1/2 1 / 2 XXZ model.
The Algebraic Bethe Ansatz (ABA) is a highly successful analytical method used to exactly solve several physical models in both statistical mechanics and condensed-matter physics. Here we bring the ABA into unitary form, for its direct implementation on a quantum computer. This is achieved by distilling the non-unitary R matrices that make up the ABA into unitaries using the QR decomposition. Our algorithm is deterministic and works for both real and complex roots of the Bethe equations. We illustrate our method on the spin- 12 XX and XXZ models. We show that using this approach one can efficiently prepare eigenstates of the XX model on a quantum computer with quantum resources that match previous state-of-the-art approaches. We run small-scale error-mitigated implementations on the IBM quantum computers, including the preparation of the ground state for the XX and XXZ models on 4 sites. Finally, we derive a new form of the Yang-Baxter equation using unitary matrices, and also verify it on a quantum computer.
The algebraic Bethe ansatz is a prosperous and well-established method for solving one-dimensional quantum models exactly. The solution of the complex eigenvalue problem is thereby reduced to the solution of a set of algebraic equations. Whereas the spectrum is usually obtained directly, the eigenstates are available only in terms of complex mathematical expressions. This makes it very hard, in general, to extract properties from the states, for example, correlation functions. In our work, we apply the tools of tensor-network states to describe the eigenstates approximately as matrix product states. From the matrix product state expression, we then obtain observables like the structure factor, dimer-dimer correlation functions, chiral correlation functions, and one-particle Green function directly.
The Bethe ansatz in its several formulations is a common tool for the exact solution of one-dimensional quantum Hamiltonians. This ansatz asserts that several eigenfunctions of the Hamiltonians are given in terms of a sum of permutations of plane waves. We present results that induce us to expect that, alternatively, the eigenfunctions of all the exact integrable quantum chains can also be expressed by a matrix product ansatz. In this ansatz several components of the eigenfunctions are obtained through the algebraic properties of properly defined matrices. This ansatz allows an unified formulation of several exact integrable Hamiltonians. We show how to formulate this ansatz for a large family of quantum chains such as the anisotropic Heisenberg model, Fateev–Zamolodchikov model, Izergin–Korepin model, Sutherland model, t – J model, Hubbard model, etc.
Several quantum many-body models in one dimension possess exact solutions via the Bethe ansatz method, which has been highly successful for understanding their behavior.Nevertheless, there remain physical properties of such models for which analytic results are unavailable and which are also not well described by approximate numerical methods.Preparing Bethe ansatz eigenstates directly on a quantum computer would allow straightforward extraction of these quantities via measurement.We present a quantum algorithm for preparing Bethe ansatz eigenstates of the spin-1/2 XXZ spin chain that correspond to real-valued solutions of the Bethe equations.The algorithm is polynomial in the number of T gates and the circuit depth, with modest constant prefactors.Although the algorithm is probabilistic, with a success rate that decreases with increasing eigenstate energy, we employ amplitude amplification to boost the success probability.The resource requirements for our approach are lower than for other state-of-the-art quantum simulation algorithms for small error-corrected devices and thus may offer an alternative and computationally less demanding demonstration of quantum advantage for physically relevant problems.