Large-spin Bose-gas limit conjecture for the XXZ spectral gap

Let $\gamma(\mathbb{Z},J,M,\Delta)$ be the spectral gap, let $\mu\in\mathbb{R}$, and let $M=\mu J$. For $\eta$ determined by the anisotropy, define the bi-infinite Jacobi operator $A=A(\Delta,\mu)$ on $l^2(\mathbb{Z})$ by

$$A e_n=2e_n-\operatorname{sech}(\eta)e_{n-1}-\operatorname{sech}(\eta)e_{n+1}-\frac{4\sinh^2(\eta)}{\cosh(2\eta(n-r))+\cosh(2\eta)}e_n,$$

where $r=r(\mu,\Delta)$ is implicitly defined by

$$\mu=\lim_{n\to\infty}\sum_{k=-n+1}^{n}\tanh(\eta(k-r)).$$

Large-spin Bose-gas conjecture. There is a function $\gamma_\infty:(1,\infty)\times\mathbb{R}\to\mathbb{R}$ such that

$$\lim_{J\to\infty}J^{-1}\gamma(\mathbb{Z},J,\mu J,\Delta)=\gamma_\infty(\mu,\Delta).$$

Moreover,

$$\gamma_\infty(\mu+2,\Delta)=\gamma_\infty(\mu,\Delta),\qquad \gamma_\infty(-\mu,\Delta)=\gamma_\infty(\mu,\Delta),$$

and $\gamma_\infty(\mu,\Delta)$ equals the spectral gap of $A$. The conjecture describes the large-spin, low-energy limit through a free-boson/Jacobi-operator model. The supplied note records that Caputo and Martinelli proved a lower bound of order $J$, but does not establish the full limit or operator identification.