Coordinate-energy transformation and the one-point function for the Heisenberg-Ising XXZ spin-1/2 chain on the ring

Technical Summary: Coordinate-Energy Transformation and the One-Point Function for the Heisenberg-Ising XXZ Spin-1/2 Chain

Problem Statement
The paper addresses the completeness of the Bethe Ansatz for the Heisenberg-Ising XXZ spin-1/2 chain on a discrete ring of odd length $L$ with $N$ up-spin particles. While the coordinate Bethe Ansatz provides a method to construct eigenvectors (Bethe vectors) from solutions to the Bethe equations, it is not a priori guaranteed that these vectors span the entire Hilbert space or that the mapping from the coordinate basis to the energy (eigen) basis is invertible. Specifically, the authors seek an explicit, closed-form formula for the inverse transformation: expressing the coordinate basis states $|x\rangle$ as linear combinations of the Bethe eigenvectors $|\xi\rangle$. Establishing this inverse transformation would prove the completeness of the Bethe Ansatz for the system and enable exact calculations of dynamical observables, such as the one-point function (occupation probability).

Methodology
The authors employ a constructive approach combining algebraic manipulation, complex analysis (contour integration), and numerical verification:

1. Definitions and Setup: The Hilbert space $\mathcal{H}$ is defined by configurations of $N$ particles on a ring of length $L$. The Hamiltonian $H_{XXZ}$ is defined with anisotropy parameter $\Delta$.
2. Bethe Ansatz Framework: The authors review the standard Bethe Ansatz, defining Bethe vectors $|\xi\rangle$ via amplitudes $u(\xi, x)$ determined by the Bethe equations. They introduce the set $\Xi$ of solutions to the Bethe equations (modulo permutation) and the associated vector space $W$.
3. Inverse Transformation Conjecture: The core proposal is Conjecture 3.11 (stated as Theorem 3.11 in the abstract), which posits an explicit formula for the inverse transformation:
   $$|x\rangle = \sum_{[\xi] \in \Xi} \ell(x, \xi) |\xi\rangle$$
   Here, $\ell(x, \xi)$ is a newly derived coefficient involving the determinant of a matrix $\Lambda(\xi)$ (related to the Gaudin matrix) and specific symmetrization factors.
4. Analytical Proofs:
   • Case $\Delta = 0$: A rigorous proof is provided for the free-fermion point ($\Delta = 0$) for arbitrary $N$, utilizing properties of roots of unity and Vandermonde determinants.
   • Case $N=2$: A rigorous proof is established for the two-particle sector ($N=2$) under the specific constraints of Assumption 7.1: $L > 2$, $|\Delta| < \frac{L-1}{2L}$, $\Delta \neq \cos(2\pi k/(L-2))$ for $k \in [L-2]$, and $\Delta$ excluding a finite set of values determined in the proof of Theorem 7.9. This proof utilizes nested contour integrals to represent the indicator function of configurations, deforming contours to capture residues corresponding to the Bethe roots.
   • General $N > 2$: The general case is left as a conjecture, supported by numerical evidence.
5. Numerical Verification: The authors implement a Newton-Kaczmarz method to numerically solve the Bethe equations for small non-zero $\Delta$. They verify that the transition matrix constructed via the proposed inverse formula is the identity matrix, confirming the conjecture for various small $N, L$ and $\Delta$.
6. One-Point Function Derivation: Assuming the validity of the inverse transformation, the authors derive an exact formula for the one-point function $\rho(x, t)$. This involves simplifying a double sum over Bethe roots and configurations using identities related to the Izergin-Korepin determinant, reducing the computational complexity significantly.

Key Contributions

• Inverse Coordinate Bethe Ansatz Formula: The paper provides an explicit closed-form expression for the transformation from the energy basis back to the coordinate basis (Theorem 3.11). This is the inverse of the standard coordinate Bethe Ansatz.
• Proof of Completeness for Specific Cases: The authors prove that the Bethe vectors form a complete basis for the Hilbert space when $\Delta = 0$ (arbitrary $N$) and when $N=2$ under the specific constraints of Assumption 7.1.
• Exact One-Point Function Formula: Under the assumption of the conjecture's validity, the paper derives a simplified, determinant-based formula for the one-point function (Theorem 1.2 and Theorem 6.1), generalizing previous results for the integer line to the periodic ring.
• Numerical Framework: The development of a robust numerical method (Newton-Kaczmarz) to solve Bethe equations for non-trivial $\Delta$ and the verification of the inverse transformation for $N > 2$.

Results

• Theorem 3.11: The inverse transformation formula is proven for $\Delta = 0$ and $N=2$ (under the constraints of Assumption 7.1). For $N > 2$ and $\Delta \neq 0$, the formula is numerically confirmed but remains a conjecture.
• Completeness: If Theorem 3.11 holds, the Bethe Ansatz is complete for the XXZ chain on an odd-length ring for all but a finite number of $\Delta$ values (Conjecture 1.1).
• One-Point Function: The derived formula (Eq. 78/79) expresses the occupation probability as a sum over pairs of Bethe roots, involving the inverse transformation coefficients $\ell$ and a function $F$ derived from Izergin-Korepin identities.
• Numerical Evidence: Simulations for $N=3, L=21$ and other parameters confirm that the constructed transition matrix is the identity, supporting the conjecture for $N > 2$.

Significance and Claims
The paper presents a constructive approach to the completeness of the Bethe Ansatz by explicitly constructing the inverse transformation. The authors argue that if this formula holds, the Bethe vectors span the entire Hilbert space, thereby resolving the question of completeness for the periodic XXZ chain in the cases where the formula is proven or conjectured to hold.

The authors state that this result may provide an avenue for a precise asymptotic analysis of the spin-up profile of the periodic XXZ chain, particularly for non-equilibrium initial conditions. The derived one-point function formula is presented as a generalization of gap probability functions found in previous literature (e.g., [STW22]) and is intended to facilitate the study of large-scale spin transport and potential KPZ-type fluctuations on the ring.

The paper remains modest regarding the general case ($N > 2, \Delta \neq 0$), explicitly labeling the general validity of the inverse transformation and the resulting completeness as a conjecture. The authors identify the precise characterization of exceptional values of $\Delta$ and the behavior of the Gaudin-type determinant as the primary remaining challenges for future work.