---
title: Fibonacci Hamiltonian Analysis
url: https://www.emergentmind.com/topics/fibonacci-hamiltonian
type: topic
---

# Fibonacci Hamiltonian Analysis

Searching arXiv for relevant Fibonacci Hamiltonian papers to ground the article in published work.
The Fibonacci Hamiltonian is the standard one-dimensional tight-binding model with a Fibonacci, equivalently Sturmian, potential. In its most common form it acts on \(\ell^2(\mathbb{Z})\) by
\[
[H_{V,\omega}\psi](n)=\psi(n+1)+\psi(n-1)+V\,\chi_{[1-\alpha,1)}(n\alpha+\omega \!\!\!\!\mod 1)\,\psi(n),
\]
with coupling \(V>0\), phase \(\omega\in\mathbb{T}=\mathbb{R}/\mathbb{Z}\), and \(\alpha=(\sqrt{5}-1)/2\). It is a canonical model for one-dimensional quasicrystals: simple enough to admit a detailed trace-map analysis, but rich enough to exhibit zero-measure Cantor spectrum, purely singular continuous spectral measures, anomalous transport, and a highly nontrivial density of states. A large part of the modern theory identifies its spectral invariants with entropy, Lyapunov exponents, and equilibrium states of the Fibonacci trace map [1206.5560], [1403.7823].

## 1. Standard one-dimensional model

The underlying Hilbert space is \(\mathcal{H}=\ell^2(\mathbb{Z})\), and the potential
\[
V_\omega(n)=\chi_{[1-\alpha,1)}(n\alpha+\omega \bmod 1)
\]
is a Sturmian sequence with frequency \(\alpha\). As \(\omega\) varies, one obtains all translates of the Fibonacci sequence viewed as a \(0\)–\(1\) sequence, and the model is strictly ergodic. A basic consequence is that the spectrum
\[
\Sigma_V:=\sigma(H_{V,\omega})
\]
is independent of \(\omega\) [1206.5560].

At \(V=0\), the operator reduces to the free discrete Laplacian, with spectrum \(\Sigma_0=[-2,2]\). The integrated density of states is then explicit:
\[
N_0(-\infty,E)=
\begin{cases}
0,&E\le -2,\\[1mm]
\displaystyle \frac{1}{\pi}\arccos\Big(-\frac{E}{2}\Big),&-2<E<2,\\[1mm]
1,&E\ge 2.
\end{cases}
\]
For general \(V\), the density of states measure \(dN_V\) is defined either as the phase average of the spectral measure at \(\delta_0\),
\[
\int_{\mathbb{T}} \langle \delta_0,g(H_{V,\omega})\delta_0\rangle\,d\omega=\int g(E)\,dN_V(E),
\]
or as the limit of normalized eigenvalue-counting measures for finite-volume Dirichlet restrictions. It is non-atomic and has topological support equal to \(\Sigma_V\) [1206.5560].

## 2. Trace-map formulation and hyperbolic dynamics

The decisive dynamical object is the Fibonacci trace map
\[
T(x,y,z)=(2xy-z,\ x,\ y),
\]
which preserves the Fricke–Vogt invariant
\[
G(x,y,z)=x^2+y^2+z^2-2xyz-1.
\]
Hence each surface
\[
S_V=\left\{(x,y,z)\in\mathbb{R}^3:x^2+y^2+z^2-2xyz=1+\frac{V^2}{4}\right\}
\]
is \(T\)-invariant, and one writes \(T_V=T|_{S_V}\) [1206.5560].

Energy is embedded through the line of initial conditions
\[
\ell_V=\left\{\left(\frac{E-V}{2},\frac{E}{2},1\right):E\in\mathbb{R}\right\}\subset S_V.
\]
A theorem of Sütő identifies the spectrum with bounded forward orbits:
\[
E\in\Sigma_V \Longleftrightarrow T^n\!\left(\frac{E-V}{2},\frac{E}{2},1\right)\ \text{is bounded for }n\ge 0.
\]
Equivalently,
\[
\Sigma_V=J_V^{-1}\big(W^s(\Omega_V)\cap \ell_V\big),
\]
where \(\Omega_V\subset S_V\) is the non-wandering set of \(T_V\) and \(W^s(\Omega_V)\) is its stable lamination [1206.5560].

For every \(\lambda>0\) in the notation standard in the trace-map literature, the spectrum is a dynamically defined Cantor set, and the line of initial conditions intersects the stable lamination transversally for all couplings. This global transversality is what allows a uniform treatment of spectral dimension, gap opening, and exact-dimensionality of the density of states [1403.7823].

At \(V=0\), the invariant surface has a central compact component
\[
\mathbb{S}=S_0\cap\{|x|\le 1,\ |y|\le 1,\ |z|\le 1\},
\]
on which the trace map is semiconjugate to the hyperbolic toral automorphism
\[
\mathcal{A}(\theta,\varphi)=(\theta+\varphi,\ \theta)\ (\mathrm{mod}\ 1)
\]
through
\[
F(\theta,\varphi)=\big(\cos 2\pi(\theta+\varphi),\ \cos 2\pi\theta,\ \cos 2\pi\varphi\big).
\]
This degenerate case organizes the perturbative theory for weak coupling [1206.5560].

## 3. Spectrum, gaps, and density of states

For every nonzero coupling, the spectrum is a Cantor set of zero Lebesgue measure, and the spectral measures are purely singular continuous. In the standard diagonal model, this places the Fibonacci Hamiltonian among the canonical one-dimensional quasicrystal operators with singular continuous spectral type [1403.7823].

The density of states measure is exact-dimensional. In weak coupling this was established by identifying \(dN_V\) with the projection, via stable holonomy, of the unstable conditional of the measure of maximal entropy for the trace map. In that regime there is a number \(d_V\in(0,1)\) such that for \(dN_V\)-almost every \(E\),
\[
\lim_{\varepsilon\downarrow 0}\frac{\log N_V(E-\varepsilon,E+\varepsilon)}{\log\varepsilon}=d_V,
\]
with \(d_V\) a \(C^\infty\) function of \(V\) and \(d_V\to 1\) as \(V\downarrow 0\) [1206.5560]. A later global result shows exact-dimensionality for every \(\lambda>0\), together with exact identities relating the main spectral characteristics to entropy and Lyapunov exponents of the trace map [1403.7823].

One consequence is a strict hierarchy of four quantities:
\[
\gamma_\lambda < \dim_H \nu_\lambda < \dim_H \Sigma_\lambda < \tilde{\alpha}_u^\pm(\lambda),
\]
where \(\gamma_\lambda\) is the optimal Hölder exponent of the integrated density of states, \(\nu_\lambda\) is the density of states measure, and \(\tilde{\alpha}_u^\pm\) are the upper transport exponents. In particular, the dimension of the density of states measure is strictly smaller than the Hausdorff dimension of the spectrum [1403.7823].

Gap structure is equally rigid. The values of the integrated density of states on spectral gaps satisfy the Fibonacci gap-labeling theorem, and in fact all labels allowed by that theorem are realized as open gaps for every coupling:
\[
\{ N_\lambda(E): E\in\mathbb{R}\setminus\Sigma_\lambda\}
=
\{\{m\varphi\}:m\in\mathbb{Z}\}\cup\{1\},
\]
with \(\varphi=(1+\sqrt5)/2\) and \(\{x\}\) the fractional part [1403.7823].

## 4. Weak coupling: perturbative geometry and Fourier decay

The weak-coupling regime is unusually regular. The thickness of the spectral Cantor set diverges like \(V^{-1}\), more precisely
\[
C_3V^{-1}\le \tau(\Sigma_V)\le \theta(\Sigma_V)\le C_4V^{-1}
\]
for sufficiently small \(V\), and therefore \(\dim_H(\Sigma_V)\to 1\) as \(V\downarrow 0\) [1001.2552]. At the same time, every spectral gap allowed by gap labeling opens linearly:
\[
\lim_{V\to 0}\frac{|U_V|}{|V|}\in (0,\infty)
\]
for any continuous family of gaps \(U_V\), and for the gap labeled by \(m\neq 0\),
\[
\lim_{V\to 0}\frac{|U_m(V)|}{|V|}=\frac{C_m}{|m|},
\qquad C_m\in(0,C^*).
\]
Thus the weakly coupled model is close to the free Laplacian in global dimension, but not in topology: the spectrum remains a zero-measure Cantor set for every nonzero coupling [1001.2552].

For the density of states, weak coupling yields the exact-dimensional exponent \(d_V\) described above and the strict inequality
\[
d_V<\dim_H(\Sigma_V)
\]
for sufficiently small \(V\), confirming in that regime a conjecture of Barry Simon about the dimension of full-measure subsets of the spectrum with respect to the density of states [1206.5560].

Recent work adds a Fourier-analytic layer to this picture. For all sufficiently small \(V>0\), the Fourier transform of the density of states measure obeys a power-law estimate
\[
\left|\int_{\Sigma_V} e^{-itE}\,dN_V(E)\right|
\le \frac{C(V)}{1+|t|^{\rho(V)}},
\]
which proves positivity of the lower Fourier dimension of the density of states and, up to arbitrary \(C^{1+}\) reparametrizations, of the spectrum itself [2507.23731]. A related phase-averaged dispersive result shows that for small coupling, any \(\psi\in\ell^1(\mathbb{Z})\) and \(\varphi\in\ell^2(\mathbb{Z})\) satisfy
\[
\int_{\omega\in\mathbb{T}}
\langle e^{itH_\omega}\psi,\varphi\rangle\,d\omega \to 0
\qquad (t\to\infty),
\]
via a weaker spectral condition termed eventual absolute continuity [2512.06844].

## 5. Quantum transport and square models

The Fibonacci Hamiltonian has purely singular continuous spectrum for every nonzero coupling, yet its dynamics is not localized. In the weakly coupled regime the upper transport exponents are almost ballistic:
\[
\tilde{\alpha}_u^\pm(\lambda)\to 1
\qquad (\lambda\to 0),
\]
and for sufficiently small coupling they strictly exceed the fractal dimension of the spectrum [1307.0925]. This complements the global inequality
\[
\dim_H \Sigma_\lambda < \tilde{\alpha}_u^\pm(\lambda)
\]
valid for all couplings [1403.7823].

Higher-dimensional separable models are built by taking sums of one-dimensional Fibonacci Hamiltonians. For the square Fibonacci Hamiltonian on \(\ell^2(\mathbb{Z}^2)\), the spectrum is
\[
\Sigma_{\lambda_1,\lambda_2}^{(2)}=\Sigma_{\lambda_1}+\Sigma_{\lambda_2},
\]
and the density of states is the convolution
\[
\nu_{\lambda_1,\lambda_2}^{(2)}=\nu_{\lambda_1}*\nu_{\lambda_2}.
\]
For all but countably many \(\lambda>0\),
\[
\dim_H(\Sigma_\lambda+\Sigma_\lambda)=\min\{2\dim_H\Sigma_\lambda,1\},
\]
so the square-spectrum dimension is the expected sumset dimension except on a countable resonance set [1410.3102].

This square setting exhibits several distinct regimes. For sufficiently small \(V\), the sumset \(\Sigma_V+\Sigma_V\) is an interval [1001.2552]. For almost every pair of small couplings, the square density of states is absolutely continuous, even though each one-dimensional density of states measure is singular [1306.4284]. More generally, there are open parameter regions where the square spectrum has positive Lebesgue measure while the density of states remains singular, and in the square tridiagonal Fibonacci Hamiltonian there are open sets of parameters with mixed interval–Cantor spectrum and mixed density of states measure, with both absolutely continuous and singular continuous components nonzero [1601.01639], [1504.01754].

## 6. Variants, generalizations, and usage of the term

In mathematical physics, the term “Fibonacci Hamiltonian” is used primarily in two contexts: quasiperiodic tight-binding or Schrödinger operators with Fibonacci potentials, and anyonic chains such as the golden chain for Fibonacci anyons [2511.10672]. The standard usage in spectral theory remains the one-dimensional quasiperiodic operator discussed above.

Within that standard lineage there are several operator-theoretic variants. Off-diagonal and tridiagonal Fibonacci Jacobi operators allow the hopping amplitudes, or both hopping and diagonal terms, to follow the Fibonacci substitution. In the genuinely tridiagonal case, the spectrum is again a zero-measure Cantor set, but the local Hausdorff dimension can vary with energy, so the spectrum is multifractal rather than dimensionally homogeneous [1111.0953].

Another line of work studies periodic approximants and interpolating models. A one-parameter family connecting the Harper model to Fibonacci crystals at rational frequency exhibits topological phase transitions: band degeneracies transfer Chern numbers as the potential is deformed from cosine to step-like Fibonacci form [1709.10127]. More recent off-diagonal realizations appear in waveguide QED, where Fibonacci–Lucas hopping patterns produce singular continuous spectra and critical eigenstates, and induce effective emitter Hamiltonians that inherit Fibonacci or multifractal structure [2507.06308].

These extensions do not displace the standard meaning of the term. Rather, they show that the original Fibonacci Hamiltonian has become a template: a model whose trace-map hyperbolicity, fractal spectrum, exact-dimensional density of states, and anomalous transport now organize a wider class of quasicrystal, Jacobi, higher-dimensional, and engineered quantum systems.

Source: https://www.emergentmind.com/topics/fibonacci-hamiltonian