Integrable Systems

2026-01-07T16:44:44Z

These notes are based on lecture courses I gave to third year mathematics students at Cambridge. They could form a basis of an elementary one--term lecture course on integrable systems covering the Arnold-Liouville theorem, inverse scattering transform, Hamiltonian methods in soliton theory and Lie point symmetries. No knowledge beyond basic calculus and ordinary differential equation is assumed.

Heavy rigid body with a gyroscope in $\mathbb R^n$

2026-01-07T14:28:40Z

Starting from the following multidimensional integrable generalizations of the heavy rigid body systems: the Euler top, the Lagrange top, the Lagrange bitop, and the totally symmetric case, we add to each of them a gyroscope. For each of the newly constructed systems, we provide a polynomial matrix Lax representation and prove Liouville integrability. We also present Zhukovskiy's geometric representation of motion of the Euler top with a gyroscope.

PT-symmetric branched optical lattices: Spectral properties and stability of solitons

2026-01-06T17:10:35Z

We investigate branched PT-symmetric optical lattices. We consider both the linear and nonlinear Schrödinger equations with a PT-symmetric periodic potential on the graph and solve them by imposing weighted vertex boundary conditions. A constraint derived from these vertex conditions determines the exceptional point of the system. In the PT unbroken phase, this constraint enforces PT-symmetric boundary conditions at the vertices, ensuring a purely real spectrum; its violation leads to the emergence of complex eigenvalues in the linear regime. In the nonlinear regime, the same constraint determines the linear stability of solitons: satisfying the constraint yields stable solitons, whereas violating it corresponds to unstable solitons.

Multiple double-valley and single-valley dark solitons in the complex modified Korteweg-de Vries equation: shape-preserving collisions and shape-altering collisions

2026-01-06T08:39:08Z

The shape-preserving and shape-altering collisions of dark solitons are investigated in the complex modified Korteweg-de Vries equation. The obtained dark soliton solutions are classified into two distinct types, referred to as type-I and type-II dark solitons, which exhibit fundamentally different structural and dynamical characteristics. A single type-I dark soliton is symmetric about its center and admits three distinct valley profiles, namely single-valley, double-valley, and flat-bottom structures, whereas a single type-II dark soliton only supports a single-valley profile. These two types of dark solitons differ in their phase behaviors as the spatial variable varies from $-\infty$ to $+\infty$, as well as in their velocity--amplitude relations. For multiple pure type-I dark solitons, collisions are shape-preserving; however, a nontrivial collective effect is revealed in which modifying the parameters of one soliton can induce changes in the profiles and amplitudes of the other solitons, even though all collisions remain elastic in nature. In contrast, multiple pure type-II dark solitons behave independently, undergoing only phase shifts without any modification of their shapes or amplitudes. When type-I and type-II dark solitons coexist, their interactions lead to genuine shape-altering collisions, where the valley structures and amplitudes of type-I dark solitons are modified, while type-II solitons remain unaffected except for phase shifts. Asymptotic analysis further shows that the influence of type-II dark solitons on type-I dark solitons is confined to the pre-collision stage and disappears after the interaction.

Integrable systems on multiplicative quiver varieties from cyclic quivers

2026-01-06T08:03:03Z

We consider a class of complex manifolds constructed as multiplicative quiver varieties associated with a cyclic quiver extended by an arbitrary number of arrows starting at a new vertex. Such varieties admit a Poisson structure, which is obtained by quasi-Hamiltonian reduction. We construct several families of Poisson subalgebras inside the coordinate ring of these spaces, which we use to obtain degenerately integrable systems. We also extend the Poisson centre of these algebras to maximal abelian Poisson algebras, hence defining Liouville integrable systems. By considering a suitable set of local coordinates on the multiplicative quiver varieties, we can derive the local Poisson structure explicitly. This allows us to interpret the integrable systems that we have constructed as new generalisations of the spin Ruijsenaars-Schneider system with several types of spin variables.

New Instantons for Matrix Models

2026-01-05T17:05:35Z

The complete, nonperturbative content of random matrix models is described by resurgent-transseries -- general solutions to their corresponding string-equations. These transseries include exponentially-suppressed multi-instanton amplitudes obtained by eigenvalue tunneling, but they also contain exponentially-enhanced and mixed instanton-like sectors with no known matrix model interpretation. This work shows how these sectors can be also described by eigenvalue tunneling in matrix models -- but on the non-physical sheet of the spectral curve describing their large-N limit. This picture further explains the full resurgence of random matrices via analysis of all possible eigenvalue integration-contours. How to calculate these "anti" eigenvalue-tunneling amplitudes is explained in detail and in various examples, such as the cubic and quartic matrix models, and their double-scaling limit to Painleve I. This further provides direct matrix-model derivations of their resurgent Stokes data, which were recently obtained by different techniques.

Exactly solved model of a one dimensional self gravitating system

2026-01-04T03:29:58Z

A model one-dimensional self consistent steady state collisionless self-gravitating system in which all the particles have the same energy is presented. This has the remarkable property that the position and velocity of the particles orbiting in their own self consistent potential are given exactly, in terms of time, by the truncations of sine and cosine functions to the first two terms in their respective Taylor series. The potential and density also have simple analytic expressions in terms of time as parameter. It is not being claimed that this system has any direct astronomical application. However, it does motivate a conjecture about the behaviour of the density, potential, and orbits near caustics in simulations of cold collisionless dark matter. It is a rather surprising result which might interest practitioners of stellar dynamics and serve as an elementary example in teaching the subject.

Bethe Vectors in Quantum Integrable Models with Classical Symmetries

2026-01-02T15:11:30Z

The first goal of this paper is to give a precise and simple definition for off-shell Bethe vectors in a generic $g$-invariant integrable model for $g=gl_n$, $o_{2n+1}$, $sp_{2n}$ and $o_{2n}$. We prove from our definition that the off-shell Bethe vectors indeed become on-shell when the Bethe equations are obeyed. Then, we show that some properties for these off-shell Bethe vectors, such as the action formulas of monodromy entries on these vectors, their rectangular recurrence relations and their coproduct formula, are a consequence of our definition.

Hamiltonian representation of isomonodromic deformations of twisted rational connections: The Painlevé $1$ hierarchy

2026-01-02T13:46:59Z

In this paper, we build the Hamiltonian system and the corresponding Lax pairs associated to a twisted connection in $\mathfrak{gl}_2(\mathbb{C})$ admitting an irregular and ramified pole at infinity of arbitrary degree, hence corresponding to the Painlevé $1$ hierarchy. We provide explicit formulas for these Lax pairs and Hamiltonians in terms of the irregular times and standard $2g$ Darboux coordinates associated to the twisted connection. Furthermore, we obtain a map that reduces the space of irregular times to only $g$ non-trivial isomonodromic deformations. In addition, we perform a symplectic change of Darboux coordinates to obtain a set of symmetric Darboux coordinates in which Hamiltonians and Lax pairs are polynomial. Finally, we apply our general theory to the first cases of the hierarchy: the Airy case $(g=0)$, the Painlevé $1$ case $(g=1)$ and the next two elements of the Painlevé $1$ hierarchy.

Exact solvability of an Ising-type model, and exact solvability of the 6-vertex, and 8-vertex, models

2026-01-01T06:24:16Z

We compute the action-angle coordinates for an Ising type model whose L-operator has been previously studied in the literature by Bazhanov and Sergeev. In comparison to computations with such operators that have been examined previously by the author for the 4-vertex, 6-vertex, and 20-vertex, models, computations for asymptotically approximating a collection of sixteen identities with the Poisson bracket, which together constitute the Poisson structure of the Ising type model, exhibit dependencies upon nearest neighbor interactions. Inspite of the fact that L-operators for the 20-vertex model are defined in terms of combinatorial, and algebraic, constituents unlike such operators for the 6-vertex model which are defined in terms of projectors and Pauli basis elements, L-operators for the Ising-type model can be used for concluding that a model which interpolates between the 6-vertex, and 8-vertex, models is exactly solvable.

Genus zero Whitham hierarchy via Hurwitz--Frobenius manifolds

2025-12-31T22:31:40Z

B. Dubrovin introduced the structure of a Dubrovin--Frobenius manifold on a space of ramified coverings of a sphere by a genus $g$ Riemann surface with the prescribed ramification profile. This is now known as a genus $g$ Hurwitz--Frobenius manifold. We investigate the genus zero Hurwitz--Frobenius manifolds and their connection to the integrable hierarchies. In particular, we prove that the Frobenius potentials of the genus zero Hurwitz--Frobenius manifolds stabilize and therefore define an infinite system of commuting PDEs. We show that this system of PDEs is equivalent to the genus zero Whitham hierarchy of I. Krichever. Our result shows that this system of PDEs has both Fay form, depending heavily on the flat structure fo the Hurwitz--Frobenius manifold and coordinatefree Lax form. We also show how to extend this system of PDEs to the multicomponent KP hierarchy via the $\hbar$--deformation of the differential operators.

Bilinear tau forms of quantum Painlevé equations and $\mathbb{C}^2/\mathbb{Z}_2$ blowup relations in SUSY gauge theories

2025-12-31T18:47:43Z

We derive bilinear tau forms of the canonically quantized Painlevé equations, thereby relating them to those previously obtained from the $\mathbb{C}^2/\mathbb{Z}_2$ blowup relations for the $\mathcal{N}=2$ supersymmetric gauge theory partition functions on a general $Ω$-background. We fully fix the refined Painlevé/gauge theory dictionary by formulating the proper equations for the quantum nonautonomous Painlevé Hamiltonians. We also describe the symmetry structure of the quantum Painlevé tau functions and, as a byproduct of this analysis, obtain the $\mathbb{C}^2/\mathbb{Z}_2$ blowup relations in the nontrivial holonomy sector of the gauge theory.

Classical integrability in 2D and asymptotic symmetries

2025-12-31T12:55:26Z

These lecture notes are a contribution to the proceedings of the school "Geometric, Algebraic and Topological Methods for Quantum Field Theory", held in Villa de Leyva, Colombia, from 31st of July to 9th of August 2023. Its intention is to put together several basic tools of classical integrability and contrast them with those available in the formulation of asymptotic symmetries and the definition of canonical charges in gauge theories. We consider as a working example the Chern-Simons theory in 3D dimensions, motivated by its various applications in condensed matter physics, gravity, and black hole physics. We review basic aspects of the canonical formulation, symplectic geometry, Liouville integrability, and Lax Pairs. We define the Hamiltonian formulation of the Chern-Simons action and the canonical generators of the gauge symmetries, which are surface integrals that subject to non-trivial boundary conditions, realize transformations that do change the physical state, namely large (or improper gauge transformations). We propose asymptotic conditions that realize an infinite set of abelian conserved charges associated with integral models. We review two different cases: the Korteweg-de Vries equation for its connection with the Virasoro algebra and fluid dynamics, and the Ablowitz-Kaup-Newell-Segur (AKNS) hierarchy, as it embeds an infinite class of non-linear notable integrable evolution equations. We propose a concrete example for gravity in 3D with $Λ<0$, where we find a near-horizon asymptotic dynamics. We finalize offering some insights on the initial value problem, its connection with integrable systems and flat connections. We study some properties of the Monodromy matrix and recover the infinite KdV charges from the trace invariants extracted from the Monodromy evolution equation that can be written in a Lax form.

General Zakharov-Shabat equations without Lax operators

2025-12-30T13:27:11Z

The operators in the Zakharov-Shabat equations of integrable hierarchies are usually defined from the Lax operators. In this article it is shown that the Zakharov-Shabat equations themselves recover the Lax operators under suitable change of independent variables in the case of the KP hierarchy and the modified KP hierarchy (in the matrix formulation).

Bethe Ansatz solution for a model of global-range interacting bosons on the square lattice

2025-12-30T06:01:47Z

Quantum systems on a one-dimensional lattice are ubiquitous in the study of models exactly-solved by Bethe Ansatz techniques. Here it is shown that including global-range interaction opens scope for Bethe Ansatz solutions that are not constrained to one-dimensional quantum systems. A bosonic model on a square lattice is defined, and the exact Bethe Ansatz solution is provided for open, cylindrical, and toroidal boundary conditions. Generalising the result for an integrable defect leads to a Bethe Ansatz solution that is not expressible in an exact, closed-form manner.