Algebraic and field-theoretic structure of the corner transfer matrix of the exact continuous matrix product state for the Lieb-Liniger model

Maruyama and Katsura (J. Phys. Soc. Jpn. 79, 073002 (2010)) constructed an exact continuous matrix product state (cMPS) for the $n$ -particle Bethe eigenstates of the Lieb-Liniger model, the one-dimensional Bose gas with delta-function interaction, by taking the continuum limit of an algebraic-Bethe-ansatz matrix product state on an integrable lattice discretization; factorizing $F$ -matrices are indispensable to the limit and reduce the world-line representation to a five-vertex structure. The paper observes that a corner transfer matrix (CTM) of this cMPS arises as a mapping from the momentum-space auxiliary description into real space and, since Baxter's lattice CTM is known to act as a Lorentz boost, explicitly poses the problem of studying the field theory and algebraic structure behind the CTM of the cMPS. The stated problem is to construct the CTM of the exact cMPS explicitly, derive its algebraic relations with the auxiliary operators $Q_n$ , $K_n$ , $R_n$ and the $F$ -matrices, and decide whether the Lorentz-boost interpretation of the lattice CTM survives in this nonrelativistic continuum setting.

Background

The Lieb-Liniger model describes a one-dimensional gas of bosons with point interaction $V(x,y)=\kappa\,\delta(x-y)$ and is the paradigmatic exactly solvable continuum many-body system: its eigenfunctions are Bethe-ansatz superpositions of plane waves whose exchange amplitudes are the two-body scattering matrix elements. The matrix product state (MPS) is the variational ansatz underlying the density-matrix renormalization group for one-dimensional lattice systems; Verstraete and Cirac extended it to continuum one-dimensional systems as the continuous matrix product state (cMPS), in which a state is written as $\mathrm{Tr}\,\mathcal{P}\exp\int_0^L[M_0(x)+M_1(x)\psi^\dagger(x)]\,dx\,|0\rangle$ , with $\mathcal{P}$ a path-ordering symbol, $\psi^\dagger$ the boson creation field, and $M_0$ , $M_1$ finite-dimensional matrices acting on an auxiliary space.

Maruyama and Katsura asked whether an exact Bethe eigenstate of the Lieb-Liniger model admits such a form. They started from an integrable lattice discretization, one whose local $L$ -operator satisfies the Yang-Baxter relation — the compatibility condition among scattering amplitudes that makes the model exactly solvable and yields commuting transfer matrices — built the Bethe state there by the algebraic Bethe ansatz (the monodromy matrix $T(\lambda)$ is a 2-by-2 matrix of operators $A,B,C,D$ , and products of its $B$ -operators create the Bethe state from the vacuum), reorganized it as a lattice MPS, and took the continuum limit of lattice spacing $a\to 0$ at fixed particle number $n$ . Two ingredients proved indispensable. First, the factorizing $F$ -matrices, a change of basis in the auxiliary space (known as a Drinfel'd twist) that renders the relevant local matrices upper triangular, are needed to diagonalize the matrix $D_n$ that must be raised to a diverging power in the limit; the same simplification reduces the graphical (vertex) representation of the Bethe state from infinitely many vertex types to a five-vertex model, in analogy with the six-to-five-vertex reduction for the Heisenberg chain. Second, a boundary operator $Q_n=|\Rightarrow\rangle\langle\Leftarrow|$ acting on the $2^n$ -dimensional auxiliary space $\bar{H}$ projects the apparently number-fluctuating exponential onto a fixed particle number. The outcome is an exact cMPS with $M_0=iK_n$ , where $K_n=-\sum_{j=1}^{n}(\lambda_j/2)\sigma_j^z$ is built from the Bethe momenta $\lambda_j$ and generates free propagation, and $M_1=R_n$ , an operator assembled from the $F$ -matrices that plays the role of a reflection operator. In the world-line representation, whose two directions are real space and the discrete momentum labels $k_j=\lambda_j$ , the $F$ -matrices eliminate one of the three local connections, and for $n=2$ the cMPS collapses to the familiar coordinate-Bethe wavefunction $\Psi(x_1,x_2)\propto e^{ik_1x_1}e^{ik_2x_2}+S(k_1,k_2)\,e^{ik_1x_2}e^{ik_2x_1}$ .

For two-dimensional vertex models, Baxter's corner transfer matrix (CTM) is the transfer matrix of one quadrant of the lattice; its product structure underlies exact solvability and the corner-transfer-matrix renormalization group. In the six- and eight-vertex setting the CTM carries a remarkable algebraic meaning: it acts as a Lorentz boost on the scattering data (Thacker), is tied to the boost operator of the algebraic Bethe ansatz (Sogo and Wadati) and to a lattice Virasoro algebra (Itoyama and Thacker), and its eigenstates are themselves Bethe states of an associated spin chain (Frahm and Thacker). Maruyama and Katsura note that, for the statistical-mechanical world-line model underlying their cMPS, a CTM 'is obtained as a mapping from momentum space into real space', that is, by the ninety-degree rotation of the world-line picture exchanging the real-space transfer direction for the momentum-space auxiliary direction. They then pose, as an explicitly interesting problem, the study of the field theory and algebraic structure behind the CTM of the cMPS. Nothing is currently known about this continuum CTM: it has never been constructed, its algebraic relations with $Q_n$ , $K_n$ , $R_n$ and the $F$ -matrices have not been derived, and it is not known whether the Lorentz-boost interpretation of the lattice CTM has any counterpart in this nonrelativistic continuum setting.

Problem Statement

Construct the corner transfer matrix of the exact continuous matrix product state of the $n$ -particle Lieb-Liniger Bethe state, the transfer matrix of the rotated world-line quadrant that realizes the mapping of the momentum-space auxiliary description into the real-space transfer direction, and determine the algebraic and field-theoretic structure behind it. A complete answer should: (i) give the explicit form of this CTM in terms of the cMPS data, namely the Bethe momenta $\lambda_j$ , the momentum operator $K_n=-\sum_{j}(\lambda_j/2)\sigma_j^z$ , the reflection-type operator $R_n$ , the boundary operator $Q_n$ , and the factorizing $F$ -matrices or their continuum limits; (ii) derive the algebraic relations and spectral structure of the CTM, in particular the relations it satisfies with $Q_n$ , $K_n$ , $R_n$ and the two-body scattering phases; and (iii) settle whether the Lorentz-boost interpretation of Baxter's lattice CTM carries over to this continuum integrable system, by determining the transformation of the cMPS and scattering data that the continuum CTM effects. Any construction must reproduce the known exact cMPS at fixed $n$ , $|\Psi\rangle=\mathrm{Tr}_{\bar{H}}\,Q_n\,\mathcal{P}\exp\int_0^L[iK_n+R_n\,\psi^\dagger(x)]\,dx\,|0\rangle$ , and must reduce for $n=2$ to the coordinate-Bethe wavefunction $\Psi(x_1,x_2)\propto e^{ik_1x_1}e^{ik_2x_2}+S(k_1,k_2)\,e^{ik_1x_2}e^{ik_2x_1}$ .

References

I. Maruyama, H. Katsura, 'Continuous Matrix Product Ansatz for the One-Dimensional Bose Gas with Point Interaction', J. Phys. Soc. Jpn. 79, 073002 (2010). DOI:10.1143/JPSJ.79.073002, arXiv:1003.5463, https://arxiv.org/abs/1003.5463 (primary source)
E. H. Lieb, W. Liniger, 'Exact Analysis of an Interacting Bose Gas. I. The General Solution and the Ground State', Phys. Rev. 130, 1605 (1963). DOI:10.1103/PhysRev.130.1605, https://doi.org/10.1103/PhysRev.130.1605
F. Verstraete, J. I. Cirac, 'Continuous Matrix Product States for Quantum Fields', Phys. Rev. Lett. 104, 190405 (2010). DOI:10.1103/PhysRevLett.104.190405, arXiv:1002.1824, https://arxiv.org/abs/1002.1824
H. Katsura, I. Maruyama, 'Derivation of the matrix product ansatz for the Heisenberg chain from the algebraic Bethe ansatz', J. Phys. A: Math. Theor. 43, 175003 (2010). DOI:10.1088/1751-8113/43/17/175003, arXiv:0911.4215, https://arxiv.org/abs/0911.4215
R. J. Baxter, 'Corner transfer matrices of the eight-vertex model. I. Low-temperature expansions and conjectured properties', J. Stat. Phys. 15, 485 (1976). DOI:10.1007/BF01020802, https://doi.org/10.1007/BF01020802
H. B. Thacker, 'Corner transfer matrices and Lorentz invariance on a lattice', Physica D 18, 348 (1986). DOI:10.1016/0167-2789(86)90196-X, https://doi.org/10.1016/0167-2789(86)90196-X
K. Sogo, M. Wadati, 'Boost Operator and Its Application to Quantum Gelfand-Levitan Equation for Heisenberg-Ising Chain with Spin One-Half', Prog. Theor. Phys. 69, 431 (1983). DOI:10.1143/PTP.69.431, https://doi.org/10.1143/PTP.69.431
H. Itoyama, H. B. Thacker, 'Lattice Virasoro algebra and corner transfer matrices in the Baxter eight-vertex model', Phys. Rev. Lett. 58, 1395 (1987). DOI:10.1103/PhysRevLett.58.1395, https://doi.org/10.1103/PhysRevLett.58.1395
H. Frahm, H. B. Thacker, 'Corner transfer matrix eigenstates for the six-vertex model', J. Phys. A: Math. Gen. 24, 5587 (1991). DOI:10.1088/0305-4470/24/23/023, https://doi.org/10.1088/0305-4470/24/23/023
D. Draxler, J. Haegeman, T. J. Osborne, V. Stojevic, L. Vanderstraeten, F. Verstraete, 'Particles, Holes, and Solitons: A Matrix Product State Approach', Phys. Rev. Lett. 111, 020402 (2013). DOI:10.1103/PhysRevLett.111.020402, arXiv:1212.1114, https://arxiv.org/abs/1212.1114
S. S. Chung, K. Sun, C. J. Bolech, 'Matrix product ansatz for Fermi fields in one dimension', Phys. Rev. B 91, 121108 (2015). DOI:10.1103/PhysRevB.91.121108, arXiv:1501.00228, https://arxiv.org/abs/1501.00228
A. Tilloy, J. I. Cirac, 'Continuous Tensor Network States for Quantum Fields', Phys. Rev. X 9, 021040 (2019). DOI:10.1103/PhysRevX.9.021040, arXiv:1808.00976, https://arxiv.org/abs/1808.00976
W. Tang, H.-H. Tu, L. Wang, 'Continuous Matrix Product Operator Approach to Finite Temperature Quantum States', Phys. Rev. Lett. 125, 170604 (2020). DOI:10.1103/PhysRevLett.125.170604, arXiv:2004.12928, https://arxiv.org/abs/2004.12928
W. Tang, J. Haegeman, 'Kac-Moody symmetries in one-dimensional bosonic systems', Phys. Rev. B 108, 035153 (2023). DOI:10.1103/PhysRevB.108.035153, arXiv:2304.00609, https://arxiv.org/abs/2304.00609
A. Tilloy, 'A study of the quantum Sinh-Gordon model with relativistic continuous matrix product states' (2022). arXiv:2209.05341, https://arxiv.org/abs/2209.05341
R. Ruiz, A. Sopena, E. Lopez, G. Sierra, B. Pozsgay, 'Bethe Ansatz, quantum circuits, and the F-basis', SciPost Phys. 18, 187 (2025). DOI:10.21468/SciPostPhys.18.6.187, arXiv:2411.02519, https://arxiv.org/abs/2411.02519
J. C. Peacock, A. Ljepoja, C. J. Bolech, 'Quantum coherent states of interacting Bose-Fermi mixtures in one dimension', Phys. Rev. Research 4, L022034 (2022). DOI:10.1103/PhysRevResearch.4.L022034, arXiv:2110.13899, https://arxiv.org/abs/2110.13899
H.-H. Chen, 'Exact overlaps in the Lieb-Liniger model from coordinate Bethe ansatz', Phys. Lett. B 808, 135631 (2020). DOI:10.1016/j.physletb.2020.135631, arXiv:2003.02711, https://arxiv.org/abs/2003.02711
W. Tang, B. Tuybens, J. Haegeman, 'Numerical study of boson mixtures with multi-component continuous matrix product states' (2025). arXiv:2512.24998, https://arxiv.org/abs/2512.24998
S. Dutta, A. Buyskikh, A. J. Daley, E. J. Mueller, 'Density-Matrix Renormalization Group for Continuous Quantum Systems', Phys. Rev. Lett. 128, 230401 (2022). DOI:10.1103/PhysRevLett.128.230401, arXiv:2108.05366, https://arxiv.org/abs/2108.05366
K. Yamada, K. Fukai, 'Matrix product operator representations for the local conserved quantities of the Heisenberg chain', SciPost Phys. Core 6, 069 (2023). DOI:10.21468/SciPostPhysCore.6.4.069, arXiv:2306.03431, https://arxiv.org/abs/2306.03431
H. Katsura, 'On integrable matrix product operators with bond dimension D=4', J. Stat. Mech. (2015) P01006. DOI:10.1088/1742-5468/2015/01/P01006, arXiv:1407.4262, https://arxiv.org/abs/1407.4262
N. Crampe, E. Ragoucy, D. Simon, 'Matrix coordinate Bethe Ansatz: applications to XXZ and ASEP models', J. Phys. A: Math. Theor. 44, 405003 (2011). DOI:10.1088/1751-8113/44/40/405003, arXiv:1106.4712, https://arxiv.org/abs/1106.4712
H. Ueda, I. Maruyama, K. Okunishi, 'Uniform Matrix Product State in the Thermodynamic Limit', J. Phys. Soc. Jpn. 80, 023001 (2011). DOI:10.1143/JPSJ.80.023001, arXiv:1011.0576, https://arxiv.org/abs/1011.0576
E. Tirrito, N. J. Robinson, M. Lewenstein, S.-J. Ran, L. Tagliacozzo, 'Characterizing the quantum field theory vacuum using temporal Matrix Product states' (2018). arXiv:1810.08050, https://arxiv.org/abs/1810.08050
H. Matsueda, 'Analytic Optimization of a MERA network and its Relevance to Quantum Integrability and Wavelet' (2016). arXiv:1608.02205, https://arxiv.org/abs/1608.02205