This chapter focuses on the diagonalization of a set of commuting scattering operators, or equivalently, transfer matrices, in models involving higher-rank symmetries. The discussion centers on modules more intricate than those of [N – M, M] type, ultimately considering arbitrary irreducible representations of the symmetric group. The core idea is to construct a suitable basis in the representation space that enables the reduction of a higher-dimensional diagonalization problem to a sequence of lower-dimensional ones that are already solved. This reduction is achieved through a recursive scheme in which each step lowers the matrix dimension, enabling its diagonalization–a procedure known as nested Bethe ansatz. The method is framed as a successive dimensional reduction, systematically building on solutions from simpler cases. Special attention is given to Yang’s connection formula and its role in enabling this recursive approach. The chapter extends the framework introduced in Chapter 3, developing a coordinate version of the nested Bethe ansatz and generalizing it to accommodate multiple levels of nesting. This recursive structure reveals deep algebraic insights and plays a pivotal role in the study of integrable systems with rich internal symmetries.

This chapter focuses on the derivation and interpretation of functional relations among commuting transfer matrices, which underpin a wide range of powerful techniques in quantum integrable systems. These include spectral equations, Baxter’s TQ-relations, and the analytic Bethe ansatz, as well as methods based on wronskian Bethe equations. Rather than isolated tools, these structures are intricately connected and reveal deep algebraic insights with significant implications, including quantum–classical duality and the completeness problem.

Further emphasis is placed on the group-theoretic structure underlying these functional relations. Connections are drawn with the classical theory of characters, where objects such as Schur polynomials and Jacobi–Trudi formulae lead to bilinear relations naturally interpreted as Hirota equations in the context of transfer matrices. This perspective offers a conceptual bridge between quantum integrable models and classical representation theory, highlighting the unifying role of functional relations in both structure and application. Special attention is given to Q-functions governed by Baxter’s TQ-relations and, more broadly, by determinant identities from the wronskian formalism. These functions encode the transfer matrix eigenvalues and serve as fundamental algebraic objects. Functional methods thus offer powerful tools for exploring integrable models, especially when conventional Bethe ansatz techniques become impractical.

Bethe ansatz is a fascinating device in the theory of quantum integrable models. It enables the exact determination of the energy spectrum of dynamical systems ranging from integrable spin chains of magnetism to integrable models in high energy physics. It is particularly valuable for computing critical exponents in solvable models of statistical mechanics and plays a significant role in bootstrapping correlation functions in integrable gauge and string theories. Originally introduced in 1931 by Hans Bethe for solving the Heisenberg model of magnetism, the Bethe ansatz has since been extensively generalized and expanded. It now appears in various forms — the algebraic, analytic, functional, and thermodynamic — and has evolved into a universal framework for understanding integrability in quantum many-body systems. This book offers a comprehensive introduction to the Bethe ansatz techniques. It covers the factorized scattering theory and coordinate and algebraic versions of the Bethe ansatz, including the case of nested structures. Advanced methods based on functional relations among commuting transfer matrices and separation of variables are also addressed. A wealth of detailed calculations is included to facilitate the reader's swift engagement with the original literature.

This chapter presents a selection of foundational topics from classical mechanics relevant to integrable systems. It includes a concise overview of the Arnold–Liouville theorem and its implications for integrability, along with a discussion of the Lax representation and its role in the formulation of classical scattering theory. Special attention is given to the Calogero–Moser–Sutherland models as illustrative examples. We explore how the rich structure of conserved quantities in classical integrable systems constrains the dynamics of scattering, leading to non-diffractive behavior. In particular, we demonstrate how the classical S-matrix factorizes into a sum of elementary two-body phase shifts, reflecting the underlying integrability of the system.

To analyze integrable multiparticle systems in the thermodynamic limit, one typically confines the system to a large periodic box, ensuring that the Bethe wave function resides in the asymptotic regime of free motion. The resulting periodic boundary conditions give rise to a system of coupled nonlinear equations for particle momenta, known as the Bethe equations. Solving these equations requires constructing common eigenvectors for a family of commuting operators acting on the Hilbert space of an auxiliary spin chain. This approach, known as the coordinate Bethe ansatz, is grounded in the generalized Bethe hypothesis, which posits the coordinate-space structure of eigenstates. This chapter introduces the formalism of the coordinate Bethe ansatz and its algebraic underpinnings, including the role of the Bethe–Yang equation, permutation modules, and Specht modules. The chapter concludes by applying this framework to the Lieb–Liniger model for spin-1/2 particles, setting the stage for more advanced developments.

This chapter introduces an alternative framework for solving spectral problems in classical and quantum integrable systems via separation of variables, grounded in the Hamilton–Jacobi theory. The method is first outlined in the classical context and then extended to quantum integrable spin chains with glell symmetry and associated Yangians.

A key objective is to construct separated representations for the spectrum, reducing multidimensional eigenvalue problems to a set of one-dimensional ones solvable through algebraic and representation-theoretic techniques. This approach proves especially effective in cases where the completeness of the Bethe ansatz is unclear, offering complementary insights.

Focusing on the classical glell magnets, the chapter details the construction of separated variables using the Baker–Akhiezer function and its role in identifying canonical coordinates on the spectral curve. In the quantum case, complete diagonalization of the gl2 spin chain is achieved through separation of variables.

For higher-rank models and generic local representations of glell, the full construction remains an open and active area of research. The chapter closes with an overview of current developments and challenges in advancing this method.

This chapter addresses the long-standing challenge of constructing the Bethe wave function in large but finite volumes via the diagonalization of the transfer matrix within the spin representation. While the coordinate Bethe ansatz provides effective tools for specific models, it becomes increasingly cumbersome in systems with internal degrees of freedom, such as the Lieb–Liniger model. The algebraic Bethe ansatz offers a more general and systematic framework, particularly well suited for handling nested structures. Spin chains serve as a natural setting for this formalism, offering both mathematical richness and physical relevance as models of interacting quantum spins. Starting from the Heisenberg spin chain, the chapter introduces the algebraic structure underpinning the method, including the R-matrix formulation, quantum group symmetries, and the construction of the transfer matrix. To connect the algebraic formalism with thermodynamic behavior, the chapter explores the string hypothesis, which organizes solutions to the Bethe equations into regular complex patterns. This leads naturally to the Bethe–Takahashi equations, which govern the thermodynamic limit of integrable spin chains. These tools enable a tractable analysis of excited states and physical observables, establishing a foundation for applying the algebraic Bethe ansatz to a broader class of quantum integrable systems.

The generalized Bethe hypothesis, though conceptually powerful, becomes increasingly unwieldy when approached through direct state-by-state analysis, particularly for systems with multiple excitations. While one- and two-particle states allow straightforward generalizations, a universal proof valid for arbitrary permutation modules remains a central challenge. This chapter introduces the transfer matrix method as a systematic and elegant framework to address this issue. Based on the spin chain realization of permutation modules, the method facilitates the analysis of a broad class of integrable systems and serves as a powerful computational tool. A particularly appealing feature is the diagonal form of the transfer matrix on the common eigenspace of scattering operators. For the case gl2, the inhomogeneous spin chain transfer matrix is diagonalized using Lieb’s method, thereby confirming the generalized Bethe hypothesis in this setting. In addition, representation theory is applied to classify spin chain states according to their transformation properties under the global symmetry algebra, highlighting the rich algebraic structure underlying the solvability of these models.