Gap Labelling Theorem via Rotation Numbers

• Gap labelling is a framework that connects the integrated density of states (IDS) in spectral gaps to rotation numbers derived from underlying ergodic dynamics.
• It employs the Schwartzman homomorphism to translate invariant rotation dynamics into precise gap labels, linking spectral theory with topological invariants.
• The theorem applies to diverse operators—such as discrete Schrödinger, Jacobi, Sturm–Liouville, and CMV matrices—demonstrating robust implications in both dynamical systems and spectral analysis.

The gap labelling theorem describes a precise connection between the spectral gaps of ergodic families of operators—especially discrete Schrödinger, Jacobi, Sturm–Liouville, and CMV/OPUC matrices—and underlying rotation numbers derived from the associated dynamical system. It rigorously identifies which values the integrated density of states (IDS) may take within spectral gaps, asserting that these values correspond to the images of rotation numbers under the Schwartzman (asymptotic cycle) homomorphism. This correspondence is robust under generalizations to higher-dimensional cocycles and more complex dynamical settings, comprising a fundamental bridge between operator spectrum theory, ergodic dynamics, and topological group invariants.

1. Fundamental Framework: Ergodic Operators and Integrated Density of States

Consider a family of ergodic operators defined over an underlying dynamical system $(\Omega, T, \mu)$, where $T: \Omega \to \Omega$ is an ergodic transformation on a compact metric space with an invariant probability measure $\mu$. For the archetypal case, the discrete one-dimensional Schrödinger operators are given by

$$H_{f, \omega}: \ell^2(\mathbb{Z}) \to \ell^2(\mathbb{Z}), \qquad [H_{f, \omega}\psi](n) = \psi(n-1) + \psi(n+1) + f(T^n \omega) \psi(n)$$

with $f \in C(\Omega, \mathbb{R})$ (Damanik et al., 2022). The almost sure spectrum $\Sigma$ and the density-of-states measure $\kappa$ are determined via

$$\int g(E)\,d\kappa(E) = \int_\Omega \langle \delta_0, g(H_{f,\omega}) \delta_0 \rangle \, d\mu(\omega),$$

for bounded measurable $g$. The integrated density of states (IDS), $N(E) = \kappa((-\infty, E])$, is nondecreasing, continuous, and reflects the spectral distribution in the thermodynamic limit.

For Jacobi operators, Sturm–Liouville operators, and CMV/OPUC matrices, analogous ergodic frameworks and density-of-states measures are constructed, adapting the definitions to their specific matrix or differential forms (Teschl et al., 26 Jan 2026, Damanik et al., 2022, Damanik et al., 2022).

2. Rotation Numbers and the Schwartzman Homomorphism

The central insight is that, for energies $T: \Omega \to \Omega$0 lying in spectral gaps, there exists a natural rotation number associated with the operator's transfer cocycle or solution flows. Formally, given a continuous flow $T: \Omega \to \Omega$1 on a compact metric space $T: \Omega \to \Omega$2 preserving an ergodic measure $T: \Omega \to \Omega$3, the group of homotopy classes $T: \Omega \to \Omega$4 admits the Schwartzman homomorphism,

$T: \Omega \to \Omega$5

defined by lifting continuous maps $T: \Omega \to \Omega$6 and considering the orbit average,

$T: \Omega \to \Omega$7

for $T: \Omega \to \Omega$8 a lift of $T: \Omega \to \Omega$9, existing $\mu$0-almost everywhere and independent of $\mu$1 (Damanik et al., 2022).

In the OPUC/CMV and Jacobi settings, this formalism appears analogously: the "rotation number" is tied to invariant sections for hyperbolic cocycles and gives the asymptotic winding or growth rates along suspensions of the base dynamics (Damanik et al., 2022, Damanik et al., 2022).

3. Gap Labelling Theorem: Statement and Characterization

The gap labelling theorem asserts that the constant values taken by the IDS $\mu$2 inside spectral gaps align precisely with the image of the Schwartzman homomorphism. For discrete ergodic Schrödinger operators,

$\mu$3

with $\mu$4 the interpolated transfer cocycle and $\mu$5 in a spectral gap (Damanik et al., 2022). The possible gap labels are

$\mu$6

For Jacobi matrices (Damanik et al., 2022), CMV matrices (Damanik et al., 2022), and almost-periodic Sturm–Liouville operators (Teschl et al., 26 Jan 2026), the form is similar: for gaps $\mu$7,

$\mu$8

where $\mu$9 is the additive frequency module of the coefficients, and $$H_{f, \omega}: \ell^2(\mathbb{Z}) \to \ell^2(\mathbb{Z}), \qquad [H_{f, \omega}\psi](n) = \psi(n-1) + \psi(n+1) + f(T^n \omega) \psi(n)$$0 is the Johnson–Moser-type rotation number.

In the case of symplectic cocycles of arbitrary dimension,

$$H_{f, \omega}: \ell^2(\mathbb{Z}) \to \ell^2(\mathbb{Z}), \qquad [H_{f, \omega}\psi](n) = \psi(n-1) + \psi(n+1) + f(T^n \omega) \psi(n)$$1

for dimension $$H_{f, \omega}: \ell^2(\mathbb{Z}) \to \ell^2(\mathbb{Z}), \qquad [H_{f, \omega}\psi](n) = \psi(n-1) + \psi(n+1) + f(T^n \omega) \psi(n)$$2 and fibered rotation number $$H_{f, \omega}: \ell^2(\mathbb{Z}) \to \ell^2(\mathbb{Z}), \qquad [H_{f, \omega}\psi](n) = \psi(n-1) + \psi(n+1) + f(T^n \omega) \psi(n)$$3, with all gap labels lying in the Schwartzman group of the suspension of the base dynamics (Li et al., 25 Mar 2025).

4. Oscillation Theory, Cocycles, and IDS–Rotation Number Equivalence

Oscillation theory links spectral data to rotation numbers. In the discrete Sturm theory for Schrödinger (or Jacobi) operators, for a solution $$H_{f, \omega}: \ell^2(\mathbb{Z}) \to \ell^2(\mathbb{Z}), \qquad [H_{f, \omega}\psi](n) = \psi(n-1) + \psi(n+1) + f(T^n \omega) \psi(n)$$4 with Dirichlet initial data, the sign-flip count $$H_{f, \omega}: \ell^2(\mathbb{Z}) \to \ell^2(\mathbb{Z}), \qquad [H_{f, \omega}\psi](n) = \psi(n-1) + \psi(n+1) + f(T^n \omega) \psi(n)$$5 in large $$H_{f, \omega}: \ell^2(\mathbb{Z}) \to \ell^2(\mathbb{Z}), \qquad [H_{f, \omega}\psi](n) = \psi(n-1) + \psi(n+1) + f(T^n \omega) \psi(n)$$6 approximates the number of eigenvalues exceeding $$H_{f, \omega}: \ell^2(\mathbb{Z}) \to \ell^2(\mathbb{Z}), \qquad [H_{f, \omega}\psi](n) = \psi(n-1) + \psi(n+1) + f(T^n \omega) \psi(n)$$7; asymptotically,

$$H_{f, \omega}: \ell^2(\mathbb{Z}) \to \ell^2(\mathbb{Z}), \qquad [H_{f, \omega}\psi](n) = \psi(n-1) + \psi(n+1) + f(T^n \omega) \psi(n)$$8

This asymptotic density realizes the IDS as a rotation number, counted either by argument growth (Schwartzman) or node density (Prüfer transformation) (Damanik et al., 2022, Teschl et al., 26 Jan 2026). This underpinning provides the foundation for the gap labelling theorem: rotation numbers encode the asymptotic spectral data, with IDS plateaus in gaps corresponding to constant topological rotation numbers for the associated cocycle.

For higher-dimensional or generalized cocycles, fibered rotation numbers are defined via cocycle properties and Birkhoff averages of cocycle arguments, and coincide—modulo group ambiguities—with scaled and shifted IDS (Li et al., 25 Mar 2025).

5. Explicit Examples, Frequency Modules, and Dynamical Scenarios

The structure of gap labels depends intricately on the dynamical system's topology:

Dynamical System	Gap Labelling Group	Spectrum Structure
Irrational circle rotation ($$H_{f, \omega}: \ell^2(\mathbb{Z}) \to \ell^2(\mathbb{Z}), \qquad [H_{f, \omega}\psi](n) = \psi(n-1) + \psi(n+1) + f(T^n \omega) \psi(n)$$9)	$f \in C(\Omega, \mathbb{R})$0	Cantor-type, gaps labelled by $f \in C(\Omega, \mathbb{R})$1
Translation on compact abelian group	$f \in C(\Omega, \mathbb{R})$2 (character group)	Gaps labelled by $f \in C(\Omega, \mathbb{R})$3
Affine toral automorphism (e.g., Arnold’s cat map)	$f \in C(\Omega, \mathbb{R})$4	No nontrivial gaps if group is $f \in C(\Omega, \mathbb{R})$5
Subshifts/Fibonacci hull	$f \in C(\Omega, \mathbb{R})$6	Gaps labelled algebraically (Fibonacci case)

In all cases, the group of gap labels corresponds to a subgroup of $f \in C(\Omega, \mathbb{R})$7 generated via the dynamical system's frequency module or topological invariants (Damanik et al., 2022, Teschl et al., 26 Jan 2026, Damanik et al., 2022, Damanik et al., 2022).

6. Extensions: Sturm–Liouville, CMV/OPUC, and Higher-Dimensional Cocycles

For almost periodic Sturm–Liouville operators, the rotation number is defined through Prüfer coordinates: setting

$f \in C(\Omega, \mathbb{R})$8

the rotation number

$f \in C(\Omega, \mathbb{R})$9

is continuous, monotonic, and its possible gap values satisfy $\Sigma$0, with $\Sigma$1 generated by the Fourier exponents of the coefficients (Teschl et al., 26 Jan 2026).

For CMV matrices associated to OPUC and Ising partition functions, gap labels are identified as the images of argument growth under the Schwartzman homomorphism, and numerically coincide with explicit computations in quasi-periodic or subshift settings (Damanik et al., 2022).

In higher dimensions, for symplectic or Hermitian-symplectic cocycles,

$\Sigma$2

with the fibered rotation number and Schwartzman group generalizing the rotation number labelling (Li et al., 25 Mar 2025).

7. Key Lemmas, Proof Schemes, and Structural Outcomes

The gap labelling theorem fundamentally depends on:

• The existence of dominated splittings/uniform hyperbolicity for the associated cocycle in spectral gaps, yielding invariant sections and well-defined rotation numbers (Damanik et al., 2022, Li et al., 25 Mar 2025).
• The ergodic theorem to ensure almost sure constancy and independence of initial point for long-term averages (Li et al., 25 Mar 2025).
• Sturm oscillation theory and the density of sign changes/zero crossings aligning with rotation numbers in the thermodynamic limit (Damanik et al., 2022, Teschl et al., 26 Jan 2026).
• The topological identification of possible gap labels with the additive subgroup of $\Sigma$3 derived from the base dynamics: frequency modules, character groups, or Schwartzman cycles (Damanik et al., 2022).

In all settings, the gap labelling theorem establishes a bijective correspondence between constant values of the IDS in spectral gaps and the rotation numbers realized via invariant sections/cycles of the cocycle associated with the underlying dynamical/ergodic system.

---

Gap labelling in terms of rotation numbers, realized through the Schwartzman homomorphism, provides an exact and universal framework for the topological and dynamical classification of spectral gaps of ergodic operators across a broad variety of one-dimensional and multi-dimensional settings (Damanik et al., 2022, Teschl et al., 26 Jan 2026, Li et al., 25 Mar 2025, Damanik et al., 2022, Damanik et al., 2022).