On the properties of the density matrix of the $\mathfrak{sl}_{n+1}$-invariant model

TL;DR

This work develops a higher-rank generalization of the BJMST recursion framework for correlation functions in $rak{sl}_{n+1}$-invariant models by analyzing the density matrix $D_m$ through the reduced quantum KZ equation and transfer-matrix techniques. Central to the approach is the Snail Operator, $ ilde{X}_k$, whose residues encode a recursive reduction and fuse through T-systems to representations such as Kirillov–Reshetikhin modules in the $rak{sl}_2$ case and to minimal snake modules in higher rank. The authors demonstrate two residue relations in $rak{sl}_3$ (one a natural generalization and one novel) and extend the machinery to $rak{sl}_{n+1}$ via extended T-systems, leveraging Mukhin–Young's snake-module framework. The work links density-matrix properties to deep representation-theoretic structures (snake modules, extended T-systems) and proposes a Fibonacci-count pattern for the composition factors, offering a pathway to systematic computations of long-range correlations in higher-rank integrable systems. Overall, the paper advances a unifying, algebraic approach to recursion relations for density matrices in higher-rank quantum integrable models, with potential implications for exact results in correlation functions and connections to cluster algebras.

Abstract

We present an ansatz of generalizing the construction of recursion relations for the correlation functions of the $\mathfrak{sl}_2$-invariant fundamental exchange model in the thermodynamic limit by Jimbo, Miwa, Smirnov, Takeyama and one of our present authors in 2004 for higher rank. Due to the structure of the correlators as functions of their inhomogeneity parameters, a recursion formula for the reduced density matrix was proven. In the case of $\mathfrak{sl}_3$, we use the explicit results of Kluemper and Ribeiro, and Nirov, Hutsalyuk and one of our present authors for the reduced density matrix of up to operator length three to verify whether it is possible to relate the residues of the density matrix of length $n$ to the density matrix of length smaller than $n$ as in $\mathfrak{sl}_2$. This is unclear, since the reduced quantum Knizhnik--Zamolodchikov equation splits into two parts for higher rank. In fact, we show two relations, one of which is a straightforward generalisation to the $\mathfrak{sl}_2$ case and one which is completely new. This allows us to construct an analogue of the operator $X_k$ which we call Snail Operator. In the $\mathfrak{sl}_2$-case, this operator has many nice properties including in particular the fact that only one irreducible representation of the Yangian $Y(\mathfrak{sl}_2)$, the Kirillov--Reshetikhin module $W_k$, contributed the residue at $λ_i-λ_j=-(k+1)$. Here, we give an overview of the mathematical background, T-systems, and show a new application of the extended T-systems introduced by Mukhin and Young in 2012 regarding the Snail Operator.

Figures (24)

• Figure 1: $A\cdot B {| v \rangle}$.
• Figure 2: The rational $R$-matrix.
• Figure 3: The Yang--Baxter equation (YBE).
• Figure 4: The Singlet and the projector $P^{-}$
• Figure 5: The monodromy matrices $T_{a}(\lambda;(\mu_i)_1^L)$ and $\overline{T}_{a}(\lambda;(\mu_i)_1^L)$.

Theorems & Definitions (38)

• Definition 2.1: the second Drinfeld realization of the Yangian
• Proposition 2.2: the Hopf algebra automorphism $\tau_a$
• Remark 2.3
• Definition 2.4: the second Drinfeld realization of $U_q(\tilde{\mathfrak{g}})$
• Remark 2.5
• Remark 2.6: type 1
• Remark 2.7
• Definition 2.8: the rational $R$-matrix
• Remark 2.9
• Definition 2.10