---
title: ODE/IM Correspondence
url: https://www.emergentmind.com/topics/ode-im-correspondence
type: topic
---

# ODE/IM Correspondence

The ODE/IM correspondence is the exact equivalence between spectral determinants associated with certain generalized Sturm–Liouville problems and the Baxter \(T\) and \(Q\) functions emerging within the Bethe Ansatz framework, and more generally the identification of spectral data of a differential equation with eigenvalues of commuting operators in an integrable quantum field theory [1911.13290]. In the conformal setting it links ordinary differential equations, Stokes multipliers, connection coefficients, and WKB periods to the integrable structure of quantum KdV and \(W\)-algebra conformal field theories; in its off-critical and generalized forms it extends to modified affine Toda equations, thermodynamic Bethe ansatz systems, minimal surfaces in \(AdS\), supersymmetric models, line defects, and quantum spectral curves [1312.6759][1911.13290][2409.07866].

## 1. Conceptual dictionary

At the level of its basic dictionary, the correspondence identifies distinguished solutions of a differential equation with the analytic objects of an integrable model. On the ODE side one works with local solutions near regular singular points, subdominant solutions near irregular singularities, Wronskians, Stokes multipliers, and spectral determinants. On the IM side one encounters Baxter \(\mathcal Q\)-operators, transfer matrices, \(T\)- and \(Y\)-systems, Bethe ansatz equations, and commuting local or non-local integrals of motion [1911.13290][2409.07866].

A standard example is the anharmonic oscillator
\[
\frac{d^2\psi}{dx^2}=\left(x^{2\alpha}+\frac{\ell(\ell+1)}{x^2}-E\right)\psi,
\]
viewed on the universal cover of \(\mathbb C^\*\). In the quantum-KdV realization, one introduces Frobenius solutions near \(x=0\), denoted \(\chi_\pm^{(\alpha)}(x;E,\ell)\), and Sibuya solutions near \(x=\infty\), denoted \(\psi_k^{(\alpha)}(x;E,\ell)\), and defines spectral determinants by the Wronskians
\[
\mathcal Q_\pm^{(\alpha)}(E;\ell)=\mathcal W\!\left[\psi_0^{(\alpha)}(x;E,\ell),\chi_\pm^{(\alpha)}(x;E,\ell)\right].
\]
These \(\mathcal Q_\pm^{(\alpha)}\) are exactly the objects whose zeros encode the central connection problem, and under the ODE/IM dictionary they correspond to the ground-state eigenvalues of the quantum \(\mathbf Q_\pm\)-operators, while the Stokes multiplier corresponds to the transfer-matrix eigenvalue [2409.07866].

The same pattern recurs in higher-rank and higher-spin settings. The distinguished ODE solutions are expanded in local bases, the expansion coefficients become \(Q\)-functions, and Wronskian or Plücker identities among these solutions become the functional relations of the integrable model. A concise summary, already explicit in the modified affine Toda framework, is
\[
\text{modified affine Toda field theory}
\Longrightarrow
\text{Lax/linear problem}
\Longrightarrow
\text{(pseudo-)ODE in conformal limit}
\Longrightarrow
\text{Wronskian/Q-system}
\Longrightarrow
\text{Bethe ansatz equations}
\]
[1312.6759].

## 2. Differential-equation structures and analytic mechanisms

The ODE side is organized by Stokes geometry. For the anharmonic oscillator, the irregular singularity at infinity produces Stokes sectors, sectorial subdominant solutions, and Stokes phenomena under analytic continuation. In the complex WKB treatment, the relevant reduced potential is the Langer-modified expression
\[
V(x;E,\ell)=x^{2\alpha}-E+\frac{(\ell+\tfrac12)^2}{x^2},
\]
and the basic WKB approximant is
\[
\Psi^W(x)=\exp\!\left(\int_{x'}^x\left[\sqrt{V(y)}-\frac{V'(y)}{4V(y)}\right]dy\right).
\]
The fundamental theorem of the WKB approximation on curves is then formulated through Volterra-type integral equations, with admissible curves selected by the quadratic differential \(V(x)\,dx^2\) [2501.05957].

This analytic framework does more than produce formal asymptotics. It supplies basis-independent global coordinates on the space of connection data. The lectures on complex WKB introduce asymptotic values, cross-ratio coordinates of Fock–Goncharov type, and a distinguished coordinate \(R_0\) encoding the spectral condition; for the anharmonic oscillator,
\[
Q_+(E,\ell)=0 \quad \Longleftrightarrow \quad R_0=-1.
\]
A WKB approximation of such coordinates is given by exponential period integrals of \(\sqrt V\,dx\) along suitable cycles, making the spectral problem into a question about periods of the quadratic differential [2501.05957].

In higher-rank systems the same role is played by \(\psi\)-systems, Wronskians, and Symanzik rotations. In the modified \(B_2^{(1)}\) affine Toda case, wedge-product relations among subdominant solutions in the vector and spinor representations yield algebraic identities among the associated \(Q\)-functions, and evaluating these identities at zeros gives Bethe ansatz equations. The resulting \(T\)- and \(Y\)-systems are of \(A_3/\mathbf Z_2\)-type, with monodromy around the origin controlling the boundary conditions [1605.04668]. Numerical work on untwisted affine Lie algebras makes this mechanism explicit by representing \(Q\)-functions as inner products of a dual local solution with the subdominant solution and computing their zeros by Cheng’s algorithm [2004.09856].

A central symmetry on the ODE side is discrete rotational covariance. In the large-degree study of the quantum-KdV anharmonic oscillator, the quantum monodromy or Dorey–Tateo symmetry
\[
\mathcal M^{(\alpha)}\psi^{(\alpha)}(x;E,\ell)
=
\psi^{(\alpha)}\!\left(xe^{\frac{i\pi}{\alpha+1}};Ee^{-\frac{2i\pi}{\alpha+1}},\ell\right)
\]
underlies the functional equations for \(\mathcal Q\)-functions and transfer matrices [2409.07866]. In broader ODE/IM settings, Symanzik rotation plays the same structural role by relating sectorial solutions and enforcing the functional relations that become Bethe equations or \(T\)-systems [1312.6759][1707.03596].

## 3. Modified affine Toda origins and algebraic generalizations

A major structural formulation begins from affine Toda field theory rather than from a guessed ODE. For an affine Lie algebra \(\hat{\mathfrak g}\), the modified affine Toda equation is obtained by a conformal transformation and a shift by the co-Weyl vector, introducing a prescribed function \(p(z)\) into the affine-root term. The nonlinear equation is equivalent to the flatness condition of a Lax connection \((d+\mathcal A)\Psi=0\), and in the conformal limit this linear problem collapses to an ODE or pseudo-ODE whose spectral data reproduce the Bethe equations of the associated integrable model [1312.6759].

In the simply-laced \(A_r^{(1)}\) case this reduction produces a scalar differential operator of generalized Gel'fand–Dikii type. In the \(D_r^{(1)}\) case it yields a pseudo-differential equation, and for non-simply-laced algebras the relevant operator is naturally associated with the Langlands dual affine algebra. The identifications
\[
(B_r^{(1)})^\vee=A_{2r-1}^{(2)},
\qquad
(C_r^{(1)})^\vee=D_{r+1}^{(2)}
\]
are explicit examples of this rule [1312.6759]. This Langlands-dual appearance is not an auxiliary feature; it is the algebra naturally associated with the integrable-model Bethe equations.

The massive generalization replaces the conformal ODE by the linear problem of a modified affine Toda field equation at finite mass scale. For \(A_r^{(1)}\), the \(\psi\)-system of subdominant solutions yields Bethe ansatz equations, from which one derives nonlinear integral equations and an ultraviolet effective central charge. With trivial monodromy around the origin, the ultraviolet limit reproduces the effective central charge of non-unitary \(WA_r\) minimal models [1805.08062]. The modified \(B_2^{(1)}\) theory extends the massive correspondence to a non-simply-laced affine algebra, with a \(T\)-/\(Y\)-system related to \(A_3/\mathbf Z_2\) and monodromy-dependent boundary data [1605.04668].

Supersymmetric extensions replace ordinary affine Lie algebras by affine Lie superalgebras with purely odd simple root systems. After superconformal reduction and bosonic projection, the linear problem typically splits into a couple of ODEs, one for each bosonic subalgebra. In the special case \(osp(2,2)^{(2)}=C(2)^{(2)}\), the resulting second-order equation has squared potential,
\[
\left[
-\frac{d^2}{dx^2}
+(x^{2M}-E)^2
+\left(M-\frac12\right)x^{2M-2}
\right]\psi(x)=0,
\]
which is related to \(\mathcal N=1\) supersymmetric minimal models [2206.08024]. A more recent treatment diagonalizes the full \(C(2)^{(2)}\)-type linear problem, computes WKB periods and non-local conserved quantities, and verifies that the local periods match Neveu–Schwarz-sector local integrals of motion up to sixth order [2604.14899].

Exceptional Lie algebras also fit into this pattern. For \(E_6^{(1)}\), the ODE side is a first-order linear system in the \(27\)-dimensional fundamental representation. Its diagonalized WKB periods agree, up to sixth order, with the eigenvalues of local integrals of motion in the \(WE_6\) conformal field theory, after the same kind of parameter identification familiar from the \(A_r^{(1)}\) and \(D_r^{(1)}\) cases [2604.07829].

## 4. Semiclassical regimes, period integrals, and special-function limits

The semiclassical side of the correspondence is governed by WKB period integrals, turning points, and asymptotic zero distributions. In the large-degree analysis of
\[
\frac{d^2\psi}{dx^2}=\left(x^{2\alpha}+\frac{\ell(\ell+1)}{x^2}-E\right)\psi,
\]
the limit \(\alpha\to+\infty\) turns the potential \(x^{2\alpha}\) into a sharply localized barrier near \(|x|=1\), and the spectral determinants admit explicit limiting forms. When \(E\) and \(\ell\) remain in bounded domains, the central spectral determinants converge uniformly to expressions written in terms of Bessel functions of order \(\ell+\frac12\), and their zeros converge to the corresponding Bessel zeros [2409.07866].

In the scaled regime
\[
E=4p^2(\alpha+1)^2\varepsilon^2,
\qquad
\ell=2p(\alpha+1)-\frac12,
\]
with \(\varepsilon>1\), the determinant becomes highly oscillatory and admits a WKB cosine asymptotic with error \(O(\log(\alpha+1)/(\alpha+1))\). The real zeros in an interval accumulate with continuous density
\[
\frac{2p}{\pi}\frac{\sqrt{\varepsilon^2-1}}{\varepsilon}.
\]
Near the turning point \(\varepsilon=1\), under the scaling
\[
\varepsilon=1+\frac{\eta}{(\alpha+1)^{2/3}},
\]
the spectral determinant converges instead to an Airy-function expression, and the zeros converge to Airy zeros [2409.07866]. These Bessel, oscillatory, and Airy regimes provide a concrete description of how an ODE-side \(Q\)-function degenerates into classical special-function asymptotics in a singular semiclassical limit.

The same WKB-period logic persists in higher rank. For \(WA_r\) and \(WD_r\) conformal field theories, the higher-order ODEs obtained from \(A_r^{(1)}\) and \(D_r^{(1)}\) modified affine Toda theories admit WKB expansions along a Pochhammer contour, and the coefficients \(S_n(x)\) are interpreted as classical conserved densities of the Drinfeld–Sokolov hierarchy. The period integrals \(Q_i=\oint_{\mathcal C} S_i(x)\,dx\) agree with vacuum eigenvalues of local integrals of motion up to sixth order, with \(A_r^{(1)}\) data further computed up to eighth order [2408.12917]. For the \(\mathcal W_3\) case, the same strategy yields vacuum and first excited-state eigenvalues of the quantum Boussinesq charges [2405.12636].

For Virasoro and \(\mathcal W_N\) systems, a systematic WKB algorithm makes the relation operational. Starting from the oper
\[
\mathcal O=\partial_x^N + x^K - u + \sum_{k=1}^N \frac{b_k}{x^k}\partial_x^{N-k},
\]
one expands
\[
\psi(x)=\exp\!\left[\sum_{n=0}^\infty \hbar^{n-1}\int^x Y_n(x')\,dx'\right],
\]
and interprets the coefficients \(Y_n(x)\,dx\) as meromorphic one-forms on the WKB curve. Period integrals of these one-forms reproduce eigenvalues of local integrals of motion in Virasoro, \(\mathcal W_3\), and \(\mathcal W_4\) theories, with explicit checks in Argyres–Douglas minimal models [2508.20793].

## 5. Conformal field theory, gauge theory, and geometry

On the conformal-field-theory side, the ODE/IM correspondence equates WKB periods or spectral determinants with eigenvalues of local integrals of motion. In the \(WE_6\) theory, the spins \(2,5,6,8,9,12\) of the \(W\)-currents mirror the Casimir data appearing in the \(E_6^{(1)}\) WKB expansion, and the quantities \(Q_2\), \(Q_5\), and \(Q_6\) match the corresponding integrals of motion \(I_2\), \(I_5\), and \(I_6\) up to overall factors [2604.07829]. For \(WA_r\) and \(WD_r\), the vacuum eigenvalues on the cylinder match higher-order WKB periods of the associated higher-order ODEs through sixth order [2408.12917]. For \(\mathcal W_3\), vacuum and level-one excited-state data extracted from the ODE coincide with quantum Boussinesq charges reconstructed from torus correlators and Zhu recursion [2405.12636].

The correspondence is equally natural in gauge-theoretic settings. For Argyres–Douglas theories in the Nekrasov–Shatashvili limit, the quantum Seiberg–Witten curve becomes an ODE such as
\[
\left(-\partial_z^2+z^{n+1}-E\right)\psi(z)=0
\]
in the \((A_1,A_n)\) case, or higher-order analogues for \((A_m,A_n)\) theories. The Stokes data of these ODEs yield \(A_n\)-type or more general \(T\)- and \(Y\)-systems, and the \(Y\)-functions are exponentials of quantum-corrected Seiberg–Witten periods. The exact Bohr–Sommerfeld condition is written directly in terms of \(Y\)-functions, and for \(A_{2N}\)-type theories the associated integrable model is identified with a non-unitary coset model
\[
(A_1)_1\times (A_1)_L /(A_1)_{L+1},
\qquad
L=\frac{2}{2N+1}-2
\]
[1707.03596].

A distinct but closely related off-critical branch of the subject is geometric. In the review on geometric aspects, the modified sinh-Gordon equation
\[
\frac{1}{2}\varphi_{,z\bar z}=e^{\varphi}-P\bar P e^{-\varphi}
\]
is presented as the Gauss–Mainardi–Codazzi equation for minimal surfaces in \(AdS_3\). The associated linear problem produces Stokes data whose \(T\)- and \(Y\)-systems lead to TBA equations, with WKB periods giving mass parameters. For polygonal boundaries determined by a polynomial \(P(z)\), the regularized area of the minimal surface equals the free energy of the TBA system, linking ODE/IM to minimal surfaces, Wilson loops, and strong-coupling amplitude problems [1911.13290].

The same off-critical logic survives irrelevant deformations. For the sine-Gordon/modified sinh-Gordon correspondence, a \(T\bar T\) deformation acts quantum mechanically by the standard spectral flow of finite-volume energies and classically by a dynamical change of coordinates. Both deformations satisfy the same Burgers-type equation
\[
\frac{\partial}{\partial\tau}E(R,\tau)
=
E(R,\tau)\frac{\partial}{\partial R}E(R,\tau)
+\frac{P(R)^2}{R},
\]
with momentum fixed, so the ODE/IM identification of conserved quantities persists along the flow [2212.13957].

## 6. Exact identities, completeness, and computational directions

Recent work has extended the correspondence from spectral matching to exact algebraic control of global spectral data. For \(\mathcal{PT}\)-symmetric and Hermitian oscillators unified by the ODE/IM framework, the fusion hierarchy of the \(A_{2M-1}\) \(T\)-system generates exact sum rules and zeta generating formulas for sector-dependent spectral zeta functions
\[
\zeta_n(s)=\sum_{\alpha\in\mathbb N_0} E_{n,\alpha}^{-s}.
\]
The exact sum rules are polynomial relations among zeta values within a fixed sector, while the zeta generating formulas give explicit sector-to-sector maps between entire towers \(\{\zeta_n(s)\}_{s\in\mathbb N}\). Their structure is governed by a selection rule controlled by the \(\mathbb Z_{2M+2}\) Symanzik symmetry together with Chebyshev-polynomial reductions of the fusion identities [2508.06366].

Representation-theoretic refinements also appear. Guided by ODE/IM, conjectural polynomial relations among \(q\)-characters of \(U_q(\mathfrak b)\)-modules have been proposed for quantum affine algebras of types \(A\), \(B\), \(C\), and \(D\). On the ODE side these relations mirror \(\psi\)-system identities for canonical solutions of a Langlands-dual connection; on the representation-theoretic side they take the form of discrete Wronskian or Casorati determinant identities among formal series built from asymptotic Kirillov–Reshetikhin characters [1201.1614].

A particularly strong exact result is available at the free-fermion point \(c=-2\). There the ODE/IM correspondence for quantum KdV is proved to be complete: every admissible solution of the Bethe or \(QQ\) system is realized by a monodromy-free rational extension of the harmonic oscillator, and conversely every such ODE solution comes from the \(QQ\) system. The ODE side is classified by Laguerre Wronskians and pairs of partitions, while on the IM side the first three Hamiltonians are diagonalized explicitly, with eigenstates given by Schur functions and eigenvalues by shifted symmetric functions on partitions [2605.24563].

Computationally, the subject now combines exact analysis, WKB recursion, and numerical methods. For untwisted affine Lie algebras, Cheng’s algorithm together with a dual-linear-problem formula
\[
Q(E,l)=\langle \mathcal X_1^\*,\Psi\rangle
\]
allows direct numerical determination of Bethe roots, with agreement against nonlinear integral equations for simply-laced types including \(E_6^{(1)}\), \(E_7^{(1)}\), and \(E_8^{(1)}\), and with non-simply-laced cases obtained by folding Dynkin diagrams [2004.09856]. In higher-spin and \(W_N\) theories, formal WKB algorithms now extract local-integral-of-motion eigenvalues directly from Bethe roots and period integrals, making the ODE/IM dictionary substantially more explicit [2508.20793].

Taken together, these developments show that the ODE/IM correspondence is not a single relation between one Schrödinger equation and one Bethe ansatz system. It is a broad integrable framework in which Stokes data, Wronskians, period integrals, fusion identities, and spectral zeta data organize the spectra of conformal, massive, supersymmetric, and defect integrable models into a common analytic structure [1911.13290][2409.07866].

Source: https://www.emergentmind.com/topics/ode-im-correspondence