[Paper Review] New non-diagonal solutions to the $a_n^{(1)}$ boundary Yang-Baxter equation

G.M. Gandenberger|ArXiv.org|Nov 23, 1999

Nonlinear Waves and Solitons3 references18 citations

TL;DR

This paper presents explicit, non-diagonal K-matrices that solve the boundary Yang-Baxter equation for the $a_n^{(1)}$ affine Toda field theories on the half-line. Unlike previous diagonal solutions, these multiplet-changing K-matrices map fundamental representations to their conjugate counterparts, enabling their use as soliton reflection matrices in integrable field theories with boundary scattering that transforms particles into antiparticles.

ABSTRACT

Extending previous work on $a_2^{(1)}$, we present a set of reflection matrices, which are explicit solutions to the $a_n^{(1)}$ boundary Yang-Baxter equation. Unlike solutions found previously these are multiplet-changing $K$-matrices, and could therefore be used as soliton reflection matrices for affine Toda field theories on the half-line.

Motivation & Objective

• To construct explicit solutions to the boundary Yang-Baxter equation (BYBE) for the $a_n^{(1)}$ affine Lie algebra, specifically for non-diagonal, multiplet-changing $K$-matrices.
• To extend prior work on $a_2^{(1)}$ to the general $a_n^{(1)}$ case, providing a systematic solution for higher-rank algebras.
• To enable the description of soliton reflection in imaginary-coupled $a_n^{(1)}$ affine Toda field theories, where solitons reflect into antisolitons.
• To address the lack of known solutions for multiplet-changing BYBEs in the $a_n^{(1)}$ case, which are essential for boundary integrability in field theories with charge conjugation symmetry.

Proposed method

• The study uses the trigonometric $R$-matrix for the fundamental representation of $U_q(a_n^{(1)})$, derived from Jimbo's construction and adapted via a modified notation and normalization.
• The $R$-matrix is expressed in terms of matrix units $E_{ij}$, with non-zero entries defined by spectral parameter $x$ and the Coxeter number $h = n+1$, under both homogeneous and principal gradations.
• A general ansatz for the $K$-matrix is proposed, mapping $V_1 \to V_n$, allowing for multiplet-changing scattering processes.
• The boundary Yang-Baxter equation is verified by direct algebraic computation for all non-zero matrix elements, reducing the $n^4$-element check to manageable cases using sparsity of the $R$-matrix.
• The verification is performed using symbolic computation in MapleV, confirming that the proposed $K$-matrices satisfy the BYBE for both gradations.
• The method relies on checking individual matrix element components, exploiting the fact that only specific combinations of indices yield non-zero contributions, thus simplifying the verification process.

Experimental results

Research questions

• RQ1 Can non-diagonal, multiplet-changing $K$-matrices be constructed as solutions to the $a_n^{(1)}$ boundary Yang-Baxter equation?
• RQ2 Do these $K$-matrices correctly describe soliton-antisoliton reflection in affine Toda field theories on the half-line?
• RQ3 How do the solutions differ structurally between the homogeneous and principal gradations of the $R$-matrix?
• RQ4 Can the ansatz for $K$-matrices be systematically verified for general $n$ using algebraic and symbolic computation?
• RQ5 What is the role of crossing symmetry and gradation in determining the form of the $K$-matrix solutions?

Key findings

• The paper constructs explicit, non-diagonal $K$-matrices that solve the multiplet-changing boundary Yang-Baxter equation for $a_n^{(1)}$, valid for all $n$.
• The solutions are verified algebraically for both homogeneous and principal gradations using symbolic computation, confirming their consistency with the BYBE.
• The $K$-matrices map the fundamental representation $V_1$ to the conjugate representation $V_n$, enabling soliton-to-antisoliton reflection, which is essential for affine Toda field theories on the half-line.
• The verification process is efficient due to the sparsity of the $R$-matrix, reducing the number of non-trivial checks from $n^4$ to a manageable set of index-dependent cases.
• The solutions are shown to satisfy the BYBE for all tested cases, with explicit algebraic identities confirming equality of both sides of the equation in representative configurations.
• The method provides a systematic framework for verifying candidate $K$-matrices, though it is not suited for deriving new solutions from scratch.