---
title: Gap Labelling Theorem via Rotation Numbers
url: https://www.emergentmind.com/topics/gap-labelling-theorem-in-terms-of-rotation-numbers
type: topic
---

# Gap Labelling Theorem via Rotation Numbers

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})\) [2203.03696]. 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 [2601.18312, 2208.01143, 2211.01558].

## 2. Rotation Numbers and the Schwartzman Homomorphism

The central insight is that, for energies \(E\) 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 \(\{\Phi^t\}_{t\in\mathbb{R}}\) on a compact metric space \(X\) preserving an ergodic measure \(\overline\mu\), the group of homotopy classes \(C^\sharp(X, \mathbb{T})\) admits the Schwartzman homomorphism,
\[
\mathfrak{A}_{\overline\mu}: C^\sharp(X, \mathbb{T}) \longrightarrow \mathbb{R},
\]
defined by lifting continuous maps \(\varphi \in C(X, \mathbb{T})\) and considering the orbit average,
\[
\mathfrak{A}_{\overline\mu}([\varphi]) = \lim_{t \to \infty} \frac{\widetilde\varphi_x(t)}{t},
\]
for \(\widetilde\varphi_x: \mathbb{R} \to \mathbb{R}\) a lift of \(\varphi_x(t) = \varphi(\Phi^t x)\), existing \(\overline\mu\)-almost everywhere and independent of \(x\) [2203.03696].

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 [2211.01558, 2208.01143].

## 3. Gap Labelling Theorem: Statement and Characterization

The gap labelling theorem asserts that the constant values taken by the IDS \(N(E)\) inside spectral gaps align precisely with the image of the Schwartzman homomorphism. For discrete ergodic Schrödinger operators,
\[
1 - N(E) = \mathfrak{A}_{\overline\mu}(\Phi_E),
\]
with \(\Phi_E\) the interpolated transfer cocycle and \(E\) in a spectral gap [2203.03696]. The possible gap labels are
\[
\{ N(E) : E \not\in \Sigma \} = \mathfrak{A}_{\overline\mu}(C^\sharp(X, \mathbb{T})) \subset [0,1].
\]

For Jacobi matrices [2208.01143], CMV matrices [2211.01558], and almost-periodic Sturm–Liouville operators [2601.18312], the form is similar: for gaps \(J \subset \mathbb{R} \setminus \sigma(L_v)\),
\[
\text{for all } \lambda \in J: \quad 2\rho(\lambda, v) \in \mathcal{M}_v,
\]
where \(\mathcal{M}_v\) is the additive frequency module of the coefficients, and \(\rho(\lambda, v)\) is the Johnson–Moser-type rotation number.

In the case of symplectic cocycles of arbitrary dimension,
\[
m(1-N(E)) = \rho_f(T, A_E) \mod p(C(\Theta, \mathbb{Z})),
\]
for dimension \(m\) and fibered rotation number \(\rho_f\), with all gap labels lying in the Schwartzman group of the suspension of the base dynamics [2503.19845].

## 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 \(u_E\) with Dirichlet initial data, the sign-flip count \(F_N(E)\) in large \(N\) approximates the number of eigenvalues exceeding \(E\); asymptotically,
\[
1 - N(E) = \lim_{N\to\infty} \frac{F_N(E)}{N}.
\]
This asymptotic density realizes the IDS as a rotation number, counted either by argument growth (Schwartzman) or node density (Prüfer transformation) [2203.03696, 2601.18312]. 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 [2503.19845].

## 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 (\(\mathbb{T}, \omega \to \omega+\alpha\)) | \(\mathbb{Z} + \mathbb{Z}\alpha\)            | Cantor-type, gaps labelled by \(\mathbb{Z}+\mathbb{Z}\alpha\) |
| Translation on compact abelian group     | \(\widehat{G}\) (character group)                   | Gaps labelled by \(\chi(\alpha) \bmod 1\)    |
| Affine toral automorphism (e.g., Arnold’s cat map) | \(\{n + \langle k, b \rangle | (A^* - I)k=0\}\) | No nontrivial gaps if group is \(\mathbb{Z}\) |
| Subshifts/Fibonacci hull                    | \(\mathbb{Z} + \alpha \mathbb{Z}\)                     | Gaps labelled algebraically (Fibonacci case)  |

In all cases, the group of gap labels corresponds to a subgroup of \(\mathbb{R}\) generated via the dynamical system's frequency module or topological invariants [2203.03696, 2601.18312, 2211.01558, 2208.01143].

## 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
\[
r(x) e^{i\theta(x)} = p(x) \phi'(x) + i \phi(x), \qquad \theta=\theta_\lambda(x),
\]
the rotation number
\[
\rho(\lambda, v) = \lim_{x\to\infty} \frac{\theta_\lambda(x) - \theta_\lambda(0)}{x}
\]
is continuous, monotonic, and its possible gap values satisfy \(2\rho(\lambda, v) \in \mathcal{M}_v\), with \(\mathcal{M}_v\) generated by the Fourier exponents of the coefficients [2601.18312].

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 [2211.01558].

In higher dimensions, for symplectic or Hermitian-symplectic cocycles,
\[
mN(G) \in \Gamma(\Theta, T, \mu),
\]
with the fibered rotation number and Schwartzman group generalizing the rotation number labelling [2503.19845].

## 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 [2203.03696, 2503.19845].
- The ergodic theorem to ensure almost sure constancy and independence of initial point for long-term averages [2503.19845].
- Sturm oscillation theory and the density of sign changes/zero crossings aligning with rotation numbers in the thermodynamic limit [2203.03696, 2601.18312].
- The topological identification of possible gap labels with the additive subgroup of \(\mathbb{R}\) derived from the base dynamics: frequency modules, character groups, or Schwartzman cycles [2208.01143].

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 [2203.03696, 2601.18312, 2503.19845, 2211.01558, 2208.01143].

Source: https://www.emergentmind.com/topics/gap-labelling-theorem-in-terms-of-rotation-numbers