New invariants tell when a spectral parameter in semi‑discrete Lax pairs is essential
This paper studies matrix Lax representations for semi‑discrete (differential‑difference) evolution equations and finds explicit quantities that do not change under matrix gauge transformations. In plain terms, the author gives computable tests to tell whether a parameter that appears in a Lax pair is truly essential or can be removed by a change of variables called a gauge transformation.
A matrix Lax representation (MLR) is a pair of square matrices M and W that depend on the discrete space index n, the field variables and a parameter λ, and that satisfy a compatibility relation equivalent to the evolutionary equation. A gauge transformation is an invertible matrix G that converts one MLR into another by the rules M ↦ S(G) M G−1 and W ↦ Dt(G) G−1 + G W G−1, where S is the shift in n and Dt is the total time derivative. Two MLRs that are related this way are called gauge equivalent. The paper works in the semi‑discrete setting and assumes M is invertible except at excluded exceptional points.
The main construction is an operator Δ_{u_j} built from M and its derivatives with respect to the dynamical variables. The explicit invariants are the determinants det(Δ_{u_j}(M)) and the traces Tr((Δ_{u_j}(M))^q) for positive integers q and for each component index j. Theorem 2 in the paper proves these functions do not change when an MLR is replaced by a gauge‑equivalent one. In other words, they are true invariants of the gauge action.
Two simple consequences follow. First, if any of these invariants computed for a given MLR depends nontrivially on the spectral parameter λ, then no gauge transformation can remove λ from that MLR. That gives a concrete test for when a parameter is essential for integrability in the soliton theory sense. Second, the invariants give necessary conditions for two different MLRs to be gauge equivalent. They thus provide practical checks when comparing representations of the same equation.