Math 2.0

Statistical mechanics, structure of matter Condensed matter and the structure of matter Object

Hofstadter's butterfly

Builds on Electronic band structureAlmost Mathieu operatorSpectrum of an operatorCantor set

Description

For α,θ∈ℝ\alpha, \theta \in \R let Hα,θH_{\alpha,\theta} be the Harper operator on ℓ2(ℤ)\ell^2(\Z), (Hα,θu)(n)=u(n+1)+u(n−1)+2cos⁡(2π(nα+θ))u(n),(H_{\alpha,\theta} u)(n) = u(n+1) + u(n-1) + 2\cos\big(2\pi(n\alpha + \theta)\big) u(n), the almost Mathieu operator with coupling λ=1\lambda = 1. Let σ(α)\sigma(\alpha) be the union over θ\theta of the spectra of Hα,θH_{\alpha,\theta}, a subset of [−4,4][-4, 4]. Hofstadter's butterfly is the set {(α,E):0≤α≤1, E∈σ(α)}\set{(\alpha, E) : 0 \le \alpha \le 1, \ E \in \sigma(\alpha)}, drawn in the plane. It describes an electron hopping on the square lattice in a perpendicular magnetic field with α\alpha flux quanta per plaquette. Douglas Hofstadter computed and drew it in 1976. It is a picture of how the band structure of a lattice electron depends on the magnetic flux.

Remarks

Check at α=0\alpha = 0: the potential is the constant c=2cos⁡(2πθ)c = 2\cos(2\pi\theta), the spectrum is [c−2,c+2][c - 2, c + 2], and the union over θ\theta is [−4,4][-4, 4], one band.

Check at α=1/2\alpha = 1/2: the potential is (−1)nc(-1)^n c with c=2cos⁡(2πθ)c = 2\cos(2\pi\theta), of period 22. Its two bands are given by E2=c2+4cos⁡2kE^2 = c^2 + 4\cos^2 k, k∈[−π,π]k \in [-\pi, \pi], so they are [−c2+4,−∣c∣][-\sqrt{c^2 + 4}, -\abs{c}] and [∣c∣,c2+4][\abs{c}, \sqrt{c^2 + 4}]. Taking the union over c∈[−2,2]c \in [-2, 2] gives [−22,0]∪[0,22][-2\sqrt2, 0] \cup [0, 2\sqrt2]: two bands that touch at E=0E = 0.

For α=p/q\alpha = p/q in lowest terms, σ(α)\sigma(\alpha) is a union of qq closed intervals, the two central ones touching when qq is even. For irrational α\alpha, σ(α)\sigma(\alpha) does not depend on θ\theta; it is a Cantor set (the ten martini problem) of Lebesgue measure zero. The picture is symmetric under α↦1−α\alpha \mapsto 1 - \alpha and E↦−EE \mapsto -E, and its parts repeat on smaller scales, which makes it look like a fractal.

Reading path

To understand this page from the ground up, read these 5 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Almost Mathieu operator example
  2. Cantor set example
  3. Electronic band structure concept
  4. Spectrum of an operator concept
  5. Hofstadter's butterfly object

Further reading

  1. Web https://en.wikipedia.org/wiki/Hofstadter%27s_butterfly
About this page
TagCM2YHK9F0V
URIm2://CM2YHK9F0V
Kindobject
WritingW0 stub
MSC82D20, 81Q10, 47B36
UsesElectronic band structure, Almost Mathieu operator, Spectrum of an operator, Cantor set
Same as
Changed3 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.