---
title: Quasi-Exact Solvable Systems
url: https://www.emergentmind.com/topics/quasi-exact-solvable-systems
type: topic
---

# Quasi-Exact Solvable Systems

Quasi-exactly solvable (QES) systems are quantum mechanical models for which a finite, nontrivial part of the spectrum—specifically, a finite number of energy levels and corresponding eigenfunctions—can be constructed algebraically in closed form, while the remainder of the spectrum is not explicitly accessible. QES systems occupy an intermediate position between exactly solvable (ES) models, where the entire spectrum is accessible, and non-solvable systems, where only numerical or perturbative techniques are available [1603.02992]. QES theory provides a powerful framework to systematically uncover algebraic structures and invariant subspaces, underpinning partial solvability in both differential and difference operator settings.

## 1. Defining Quasi-Exact Solvability

A quantum mechanical operator (usually a Schrödinger Hamiltonian, but sometimes a discrete or matrix operator) is called *quasi-exactly solvable* if there exists a finite-dimensional invariant subspace of the Hilbert space, typically a space of polynomials of degree ≤ $n$, that is preserved by the operator. Explicitly, in the one-dimensional Schrödinger context,
- **Exactly solvable:** all eigenfunctions belong to an infinite flag of polynomial spaces $P_0 \subset P_1 \subset \cdots$, and the entire spectrum is algebraically accessible.
- **QES:** only a single finite-dimensional space $P_{n+1} = \mathrm{span}\{1, x, \ldots, x^n\}$ is invariant; exactly $n+1$ eigenfunctions and eigenvalues can be constructed algebraically [1603.02992, 2511.21412].
- **Non-solvable:** no such finite-dimensional invariant subspace exists.

The physical significance lies in explicit knowledge of a segment of the spectrum, which reveals nontrivial algebraic, analytic, and symmetry properties of the system.

## 2. Lie-Algebraic and Algebraic Structures

The emergence of quasi-exact solvability is deeply linked to hidden algebraic structures, most famously the embedding of the Hamiltonian (after a gauge transformation and change of variable) into the enveloping algebra of a Lie algebra—often $\mathfrak{sl}(2)$ or its deformations:
- **One-dimensional cases:** QES differential operators are quadratic polynomials of $\mathfrak{sl}(2)$ generators. The standard realization is
  \[
    J^+ = x^2 \frac{d}{dx} - n x, \quad
    J^0 = x \frac{d}{dx} - \frac{n}{2}, \quad
    J^- = \frac{d}{dx}
  \]
  ensuring that $T_2(J^+, J^0, J^-)$ preserves $P_{n+1}$ [1603.02992, 2511.21412, 1111.1050].
- **Deformed algebras and higher dimensions:** QES systems can arise from deformations of $\mathfrak{sl}(2)$—for example, cubic or quadratic polynomials in the commutator algebra of generalized Heun equations [1304.2225]—or from higher-rank algebras ($gl(n)$ for QES systems on spheres $S^n$ [1411.2113]).
- **Difference operators:** Discrete QES systems utilize structures such as the Askey–Wilson algebra and involve "sinusoidal coordinates" to produce finite-dimensional polynomial invariant spaces [1004.4712].
- **Non-Hermitian cases:** $E_2$-QES operators, built from the Euclidean algebra in two dimensions, especially in PT-symmetric contexts, illustrate how the concept generalizes beyond $\mathfrak{sl}(2)$ [1411.4300, 1808.03547].

This algebraic underpinning leads to systematic recipes for constructing QES operators and classifying their polynomial sectors.

## 3. Construction Methods: Polynomial Invariance and Bethe Ansatz

QES systems are identified by two main techniques: direct Lie-algebraic construction and Bethe ansatz solutions.
- **Lie-algebraic construction:** After an appropriate gauge transformation and change of variable, the Hamiltonian is written as a quadratic polynomial in the generators of the underlying Lie algebra; invariance of $P_{n+1}$ fixes the allowed model parameters and the dimension of the solvable subspace [1603.02992, 2511.21412].
- **Bethe ansatz method:** Solutions are constructed as products over roots $\{z_i\}$, $\varphi_n(z) = \prod_{i = 1}^n (z - z_i)$. The roots solve the algebraic *Bethe ansatz equations* where the residues at simple poles vanish, yielding quantization conditions for the eigenvalues and model parameters [2309.11731, 1111.1050].
- **Prepotential approach:** An alternative, symmetry-agnostic method determines solvability in terms of two polynomials and associated Bethe ansatz equations for the roots, simultaneously constructing potential, eigenvalues, and eigenfunctions [2310.14272].

An archetypal example is the sextic anharmonic oscillator, with quasi-exactly solvable energies and wavefunctions constructed via both approaches and analyzed via truncated series and Bender–Dunne polynomials [1209.4736, 1402.5868].

## 4. Invariant Subspaces and Polynomial Sectors

A central feature of QES systems is the existence of a single finite-dimensional invariant subspace under the action of the transformed Hamiltonian:
- For QES models, only the first $n+1$ eigenvalues and eigenfunctions can be found algebraically. The truncation in the polynomial ansatz or moment equation (as a "kink" in the recurrence order) reflects this non-extendability to higher degrees [1402.5868, 1209.4736].
- In difference operator settings (discrete QES), the invariant subspace is spanned by $\{1, \eta(x), \ldots, \eta(x)^M\}$ for a suitable sinusoidal coordinate $\eta(x)$, and invariance is achieved only for degrees $\leq M$ [1004.4712].

Beyond the algebraic sector, the system admits no further closed-form solutions; higher eigenvalues require numerical or perturbative computation.

## 5. Extensions: Deformations, Supersymmetry, Superintegrability

- **Algebraic deformations:** QES systems are not restricted to conventional $\mathfrak{sl}(2)$ embeddings. Heun-type equations, for instance, yield cubic deformations, and certain QES models cannot be represented with standard $\mathfrak{sl}(2)$ generators [1304.2225, 1406.2643].
- **Supersymmetric QES models:** Supersymmetric quantum mechanics techniques, such as the Krein–Adler construction, extend QES theory to the systematic state addition/deletion beyond shape-invariant potentials. This allows for the creation of finite-dimensional chains of QES partner Hamiltonians, often entirely classified via their Bethe ansatz roots [2511.21412].
- **Multi-dimensional QES systems:** QES theory extends to higher dimensions (e.g., on $S^n$ or the plane), with invariance under $gl(n)$ or other higher-rank algebras, allowing for superintegrable or non-maximally superintegrable structures [1411.2113, 0904.0738].

## 6. Physical Realizations and Applications

- **Potentials:** QES structure is exhibited in families such as the sextic and symmetrized quartic oscillators [1602.07088], singular and non-polynomial oscillators, isotonic and soft-core Coulomb potentials [1111.1050], and magnetic two-body problems [1509.07502].
- **Non-Hermitian and PT-symmetric models:** QES concepts extend to non-Hermitian, PT-symmetric models with logical extensions of the Lie-algebraic machinery and occurrence of truncated orthogonal polynomial recurrences [1411.4300, 1808.03547].
- **Higher-order ODEs:** QES methods generalize to third- and higher-order ordinary differential equations under specific algebraic constraints detectable via projective triviality criteria [1209.4736].
- **Time-dependence:** Explicitly time-dependent QES Hamiltonians can be constructed using dynamical invariants and appropriate metrics, extending solvable subspaces and spectral results to non-stationary scenarios [1808.03547].

## 7. Moment Methods, Orthogonal Polynomials, and Further Developments

- **Moment equation and OPPQ:** The order-changing "kink" in finite-difference moment recursions precisely signals the existence and boundaries of the QES subspace. Orthogonal Polynomial Projection Quantization (OPPQ) utilizes this for robust and unified computation of both QES and non-QES spectra [1402.5868].
- **Canonical and difference-operator correspondence:** There exists an isospectral mapping between continuous QES operators and their difference- or $q$-difference analogs, leveraging Fock-space structures and quantum canonical transformations [1603.02992].
- **Stäckel transform and coupling constant metamorphosis:** These tools systematically relate QES systems with distinct parameterizations, enabling the algebraization and solution of otherwise inaccessible models (notably Hooke's atoms in magnetic fields, cosmological models) via transformations that interchange energy and coupling constants [2502.13365].

---

For comprehensive technical expositions, see foundational works and systematic classifications in [2511.21412], [1603.02992], [2309.11731], [1411.2113], [1004.4712], and references therein. Current frontiers include the extension to higher ranks, multi-variable systems, rational extensions, non-Hermitian and time-dependent models, and deeper analysis of root distributions and spectral transitions across parameter space.

Source: https://www.emergentmind.com/topics/quasi-exact-solvable-systems