Direct continuum quantization of the anisotropic Landau–Lifshitz model and the continuum origin of the Sklyanin algebra

The isotropic $su(1,1)$ Landau–Lifshitz (LL) model was quantized directly in the continuum by Melikyan and Pinzul (2009) through simultaneous regularization of the ill-defined operator products and construction of self-adjoint extensions on vector-like states, yielding the local quantum Hamiltonian, the arbitrary $n$-particle spectrum and S-matrix factorization. The same work poses the anisotropic extension as its central open problem: in the anisotropic continuum theory the standard passage from the classical to the quantum transfer matrix fails, the monodromy matrix must essentially be guessed, and its construction requires an additional spin operator that deforms the spin algebra into the quadratic Sklyanin algebra — a structure that arises naturally in lattice systems but is unexplained in the continuum. The problem is to quantize the $1+1$-dimensional anisotropic $su(1,1)$ LL model (single-ion anisotropy with parameter $\gamma\neq 0$) directly in the continuum — the regularized local Hamiltonian (the first non-trivial conserved charge), self-adjoint extensions, spectrum and factorized S-matrix consistent with the lattice-route results — so that the Sklyanin algebra and the additional spin operator emerge from the construction rather than being imposed on it.

Background

The Landau–Lifshitz (LL) model is a classical field theory in one space dimension describing the dynamics of a continuous spin field of fixed length — the continuum limit of the Heisenberg spin chain and the standard model of one-dimensional classical magnets. Its target manifold is either a two-sphere (the $su(2)$, compact, case) or a two-sheeted hyperboloid (the $su(1,1)$, non-compact, case), and the model may carry a single-ion anisotropy — a term singling out one axis, with a single anisotropy parameter $\gamma$ — and is classically integrable for all values of $\gamma$. Classical integrability here means that the equations of motion are the compatibility condition of a Lax pair — an auxiliary linear problem whose scattering data generate an infinite tower of conserved charges through the monodromy matrix, the path-ordered exponential of the Lax connection (the charge–monodromy relations are the trace identities).

Quantizing continuum integrable models is delicate. Products of quantum fields at the same point are ill-defined, so the conserved charges cannot be obtained by naive substitution into the classical trace identities; the standard cure is a lattice regularization, where operator products are finite and the continuum limit is taken at the end. For the LL model the lattice version is known and can be obtained from an anisotropic Heisenberg spin chain, and in the quantum inverse scattering method (QISM) its transfer matrix is built from an R-matrix satisfying the Yang–Baxter equation, the consistency condition of the factorized-scattering framework. The matrix elements of the quantum monodromy matrix then close a quadratic associative algebra — the Sklyanin algebra, introduced by Sklyanin in 1982–83 in the theory of the eight-vertex lattice model — whose representations supply the local lattice Hamiltonians. In the algebraic Bethe ansatz, eigenstates are built by acting with monodromy entries on a ferromagnetic vacuum, a reference state annihilated by part of the monodromy matrix; diagonalization then reduces to functional (Bethe) equations.

For the LL model even the lattice route has a checkered history, and Sklyanin in 1988 attempted a direct quantization of the isotropic continuum Heisenberg ferromagnet. The resulting quantum-mechanical Hamiltonian is highly singular — its interaction contains second derivatives of the delta function — and only its two-particle sector could be fixed, through guess-work tempered by classical and quasi-classical limits, on an unusual space of vector-like quantum states. Melikyan and Pinzul (2009) completed this program for the isotropic $su(1,1)$ LL model: they regularized the ill-defined operator products by a split-point prescription (separating coincident operators by a small distance and removing the separation after renormalization), constructed self-adjoint extensions — the von Neumann theory of making a formally symmetric singular differential operator genuinely self-adjoint via boundary or matching conditions at the singularities — on a space of vector-like states, obtained the local quantum Hamiltonian and its spectrum for arbitrary $n$-particle sectors, reproduced Sklyanin's two-particle result, and showed that S-matrix factorization follows from the matching conditions. The $su(1,1)$ signature is essential there: only in the non-compact case does the ferromagnetic vacuum carry a usable scalar product, whereas in the $su(2)$ case it is not positively defined.

The central remaining puzzle is the anisotropic model. In the anisotropic continuum theory the standard passage from the classical to the quantum transfer matrix fails: the R-matrix and the monodromy matrix must essentially be guessed to satisfy the Yang–Baxter and bilinear relations, and constructing the monodromy matrix requires an additional spin operator which modifies the algebra of the spin generators, giving rise precisely to the Sklyanin algebra. On the lattice this quadratic, non-local algebra of observables arises naturally; in the continuum, in the words of the source paper, its appearance 'is not very clear and remains an open problem'. Since for more complicated continuum integrable models even the construction of the lattice regularization is a poorly understood task, the source paper poses — and its 2010 continuation explicitly re-poses — the problem of quantizing the anisotropic LL model directly in the continuum, with the Sklyanin-algebra structure derived from, rather than imposed on, the continuum theory.

Problem Statement

Construct the quantum theory of the anisotropic Landau–Lifshitz model in $1+1$ dimensions directly in the continuum — that is, without passing through a spin-chain lattice regularization — in a construction from which the Sklyanin algebra emerges rather than being imposed.

The target model is the one of the source program: the $su(1,1)$ LL model with single-ion anisotropy, whose classical Hamiltonian, in the source's conventions, is

$H=\frac{\epsilon}{2}\int dx\,\left[-(\partial_x\mathbf{S},\partial_x\mathbf{S})+4\gamma^{2}\left((S^{3})^{2}-1\right)\right],\qquad (\mathbf{S},\mathbf{S})=(S^{3})^{2}-\epsilon (S^{1})^{2}-\epsilon (S^{2})^{2}=1,$

where $\gamma$ is the anisotropy parameter: $\gamma=0$ is the isotropic model quantized by the source construction, and $\gamma\neq 0$ is the anisotropic model sought here. As in that construction, the signature is fixed to $\epsilon=1$ (the $su(1,1)$ hyperboloid), because only in the non-compact case does the ferromagnetic vacuum carry physically meaningful states with a positively defined scalar product; the positive-metric $su(2)$ model is recorded in the source as a separate open problem and is not the target here.

The requested solution comprises the following jointly linked results, which together constitute the anisotropic extension of the direct continuum quantization program established for the isotropic $su(1,1)$ model: (1) a regularization, defined purely in continuum terms, of the ill-defined operator products entering the local quantum Hamiltonian of the anisotropic continuum theory — the first non-trivial local conserved charge (extending the construction to the infinite tower of higher charges is a natural continuation that the source treats as a distinct open problem and is not part of the requirement here); (2) the action of the regularized quantum Hamiltonian on an explicitly constructed space of states, together with the self-adjoint-extension (matching) conditions that render it a well-defined self-adjoint operator — a structure expected, on the evidence of the isotropic construction, to differ substantially from the vector-like state spaces used there; (3) the spectrum in arbitrary $n$-particle sectors and the factorized S-matrix — paralleling the corresponding isotropic results — checked for consistency with the results obtainable from the lattice route (the lattice chain's continuum limit and the Sklyanin-algebra Bethe ansatz); and (4) a derivation of the algebra of the quantum monodromy (transition) matrix of the anisotropic continuum theory — including the origin of the additional spin operator and the resulting quadratic Sklyanin relations — from the continuum construction itself, thereby explaining why the anisotropic continuum quantum theory requires this modified, non-local algebra of observables.

References

1. A. Melikyan and A. Pinzul, 'On quantum integrability of the Landau-Lifshitz model', J. Math. Phys. 50, 103518 (2009). DOI: 10.1063/1.3231789; arXiv:0812.0188; https://doi.org/10.1063/1.3231789
2. E. K. Sklyanin, 'Quantization of the Continuous Heisenberg Ferromagnet', Lett. Math. Phys. 15, 357-368 (1988). DOI: 10.1007/BF00419595; https://doi.org/10.1007/BF00419595
3. E. K. Sklyanin, 'Some algebraic structures connected with the Yang-Baxter equation', Funct. Anal. Appl. 16, 263-270 (1982). DOI: 10.1007/BF01077848; https://doi.org/10.1007/BF01077848
4. E. K. Sklyanin, 'Some algebraic structures connected with the Yang-Baxter equation. Representations of quantum algebras', Funct. Anal. Appl. 17, 273-284 (1983). DOI: 10.1007/BF01076718; https://doi.org/10.1007/BF01076718
5. A. Melikyan, A. Pinzul and G. Weber, 'Higher charges and regularized quantum trace identities in su(1,1) Landau-Lifshitz model', J. Math. Phys. 51, 123501 (2010). DOI: 10.1063/1.3509374; arXiv:1008.1054; https://doi.org/10.1063/1.3509374
6. A. Melikyan and A. Pinzul, 'Thermodynamics of the quantum su(1,1) Landau-Lifshitz model', J. Stat. Mech. (2010) P06007. DOI: 10.1088/1742-5468/2010/06/P06007; arXiv:1001.5450; https://doi.org/10.1088/1742-5468/2010/06/P06007
7. A. Melikyan, A. Pinzul, V. O. Rivelles and G. Weber, 'Quantum integrability of the Alday-Arutyunov-Frolov model', JHEP 09 (2011) 092. DOI: 10.1007/JHEP09(2011)092; arXiv:1106.0512; https://doi.org/10.1007/JHEP09(2011)092
8. A. Melikyan and G. Weber, 'The r-matrix of the Alday-Arutyunov-Frolov model', JHEP 11 (2012) 165. DOI: 10.1007/JHEP11(2012)165; arXiv:1209.6042; https://doi.org/10.1007/JHEP11(2012)165
9. A. Melikyan and G. Weber, 'Integrable theories and generalized graded Maillet algebras', J. Phys. A 47, 065401 (2014). DOI: 10.1088/1751-8113/47/6/065401; arXiv:1307.2831; https://doi.org/10.1088/1751-8113/47/6/065401
10. A. Melikyan, E. Pereira and V. O. Rivelles, 'On the equivalence theorem for integrable systems', J. Phys. A 48, 125204 (2015). DOI: 10.1088/1751-8113/48/12/125204; arXiv:1412.1288; https://doi.org/10.1088/1751-8113/48/12/125204
11. A. Melikyan and G. Weber, 'On the quantization of continuous non-ultralocal integrable systems', Nucl. Phys. B 913, 716-746 (2016). DOI: 10.1016/j.nuclphysb.2016.10.009; arXiv:1611.02622; https://doi.org/10.1016/j.nuclphysb.2016.10.009
12. A. Melikyan and G. Weber, 'Exceptional solutions to the eight-vertex model and integrability of anisotropic extensions of massive fermionic models', Nucl. Phys. B 938, 640-670 (2019). DOI: 10.1016/j.nuclphysb.2018.12.011; arXiv:1809.04460; https://doi.org/10.1016/j.nuclphysb.2018.12.011
13. L. Gerotto and T. McLoughlin, 'Diagonal Form Factors in Landau-Lifshitz Models', JHEP 03 (2019) 180. DOI: 10.1007/JHEP03(2019)180; arXiv:1710.02138; https://doi.org/10.1007/JHEP03(2019)180
14. T. Kameyama and K. Yoshida, 'Anisotropic Landau-Lifshitz sigma models from q-deformed AdS5 x S5 superstrings', JHEP 08 (2014) 110. DOI: 10.1007/JHEP08(2014)110; arXiv:1405.4467; https://doi.org/10.1007/JHEP08(2014)110
15. T. Klose and K. Zarembo, 'Bethe ansatz in stringy sigma models', J. Stat. Mech. (2006) P05006. DOI: 10.1088/1742-5468/2006/05/P05006; arXiv:hep-th/0603039; https://doi.org/10.1088/1742-5468/2006/05/P05006
16. L. F. Alday, G. Arutyunov and S. Frolov, 'New Integrable System of 2dim Fermions from Strings on AdS5 x S5', JHEP 01 (2006) 078. DOI: 10.1088/1126-6708/2006/01/078; arXiv:hep-th/0508140; https://doi.org/10.1088/1126-6708/2006/01/078
17. A. Melikyan, A. Pinzul, V. O. Rivelles and G. Weber, 'On S-Matrix factorization of the Landau-Lifshitz model', JHEP 10 (2008) 002. DOI: 10.1088/1126-6708/2008/10/002; arXiv:0808.2489; https://doi.org/10.1088/1126-6708/2008/10/002
18. A. Das, A. Melikyan and V. O. Rivelles, 'The S-matrix of the Faddeev-Reshetikhin Model, Diagonalizability and PT Symmetry', JHEP 09 (2007) 104. DOI: 10.1088/1126-6708/2007/09/104; arXiv:0707.0511; https://doi.org/10.1088/1126-6708/2007/09/104
19. L. D. Faddeev and N. Yu. Reshetikhin, 'Integrability of the principal chiral field model in 1 + 1 dimension', Ann. Phys. 167, 227-256 (1986). DOI: 10.1016/0003-4916(86)90201-0; https://doi.org/10.1016/0003-4916(86)90201-0