In
condensed matter physics
Condensed matter physics is the field of physics that deals with the macroscopic and microscopic physical properties of matter, especially the solid and liquid phases which arise from electromagnetic forces between atoms. More generally, the s ...
, Hofstadter's butterfly is a graph of the spectral properties of non-interacting two-dimensional electrons in a perpendicular
magnetic field
A magnetic field is a vector field that describes the magnetic influence on moving electric charges, electric currents, and magnetic materials. A moving charge in a magnetic field experiences a force perpendicular to its own velocity and t ...
in a
lattice. The fractal,
self-similar nature of the spectrum was discovered in the 1976 Ph.D. work of
Douglas Hofstadter and is one of the early examples of modern scientific data visualization. The name reflects the fact that, as Hofstadter wrote, "the large gaps
n the graph
N, or n, is the fourteenth letter in the Latin alphabet, used in the modern English alphabet, the alphabets of other western European languages and others worldwide. Its name in English is ''en'' (pronounced ), plural ''ens''.
History
...
form a very striking pattern somewhat resembling a butterfly."
The Hofstadter butterfly plays an important role in the theory of the integer
quantum Hall effect and the theory of
topological quantum numbers.
History
The first mathematical description of electrons on a 2D lattice, acted on by a perpendicular homogeneous magnetic field, was studied by
Rudolf Peierls and his student R. G. Harper in the 1950s.
Hofstadter first described the structure in 1976 in an article on the
energy levels of
Bloch electrons in perpendicular magnetic fields.
It gives a graphical representation of the spectrum of Harper's equation at different frequencies. One key aspect of the mathematical structure of this spectrum – the splitting of energy bands for a specific value of the magnetic field, along a single dimension (energy) – had been previously mentioned in passing by Soviet physicist
Mark Azbel
Mark Yakovlevich Azbel (russian: Марк Яковлевич Азбель; 12 May 1932 — 31 March 2020) was a Soviet and Israeli physicist. He was a member of the American Physical Society.
Between 1956 and 1958, he experimentally demonstrate ...
in 1964
(in a paper cited by Hofstadter), but Hofstadter greatly expanded upon that work by plotting ''all'' values of the magnetic field against all energy values, creating the two-dimensional plot that first revealed the spectrum's uniquely recursive geometric properties.
Written while Hofstadter was at the
University of Oregon
The University of Oregon (UO, U of O or Oregon) is a public research university in Eugene, Oregon. Founded in 1876, the institution is well known for its strong ties to the sports apparel and marketing firm Nike, Inc, and its co-founder, billion ...
, his paper was influential in directing further research. It predicted on theoretical grounds that the allowed energy level values of an electron in a two-dimensional
square lattice, as a function of a magnetic field applied perpendicularly to the system, formed what is now known as a
fractal set. That is, the distribution of energy levels for small scale changes in the applied magnetic field
recursively repeat
pattern
A pattern is a regularity in the world, in human-made design, or in abstract ideas. As such, the elements of a pattern repeat in a predictable manner. A geometric pattern is a kind of pattern formed of geometric shapes and typically repeated li ...
s seen in the large-scale structure.
"Gplot", as Hofstadter called the figure, was described as a
recursive structure
Recursion (adjective: ''recursive'') occurs when a thing is defined in terms of itself or of its type. Recursion is used in a variety of disciplines ranging from linguistics to logic. The most common application of recursion is in mathematics ...
in his 1976 article in ''
Physical Review B'',
written before
Benoit Mandelbrot's newly coined word "fractal" was introduced in an English text. Hofstadter also discusses the figure in his 1979 book ''
Gödel, Escher, Bach''. The structure became generally known as "Hofstadter's butterfly".
David J. Thouless
David James Thouless (; 21 September 1934 – 6 April 2019) was a British condensed-matter physicist. He was the winner of the 1990 Wolf Prize and a laureate of the 2016 Nobel Prize for physics along with F. Duncan M. Haldane and J. Michael Ko ...
and his team discovered that the butterfly's wings are characterized by
Chern integers, which provide a way to calculate the
Hall conductance in Hofstadter's model.
Confirmation

In 1997 the Hofstadter butterfly was reproduced in experiments with microwave guide equipped by an array of scatterers. Similarity between the mathematical description of the microwave guide with scatterers and Bloch's waves in magnetic field allowed the reproduction of the Hofstadter butterfly for periodic sequences of the scatterers.
In 2001, Christian Albrecht,
Klaus von Klitzing and coworkers realized an experimental setup to test Thouless ''et al.''
's predictions about Hofstadter's butterfly with a
two-dimensional electron gas in a superlattice potential.
In 2013, three separate groups of researchers independently reported evidence of the Hofstadter butterfly spectrum in
graphene
Graphene () is an allotrope of carbon consisting of a Single-layer materials, single layer of atoms arranged in a hexagonal lattice nanostructure. devices fabricated on hexagonal
boron nitride substrates. In this instance the butterfly spectrum results from interplay between the applied magnetic field and the large scale
moiré pattern that develops when the graphene lattice is oriented with near zero-angle mismatch to the boron nitride.
In September 2017, John Martinis’s group at Google, in collaboration with the Angelakis group at
CQT Singapore, published results from a simulation of 2D electrons in a perpendicular magnetic field using interacting photons in 9 superconducting
qubits. The simulation recovered Hofstadter's butterfly, as expected.
In 2021 the butterfly was observed in twisted
bilayer graphene at the second magic angle.
Theoretical model

In his original paper, Hofstadter considers the following derivation:
a charged quantum particle in a two-dimensional square lattice, with a lattice spacing
, is described by a periodic
Schrödinger equation
The Schrödinger equation is a linear partial differential equation that governs the wave function of a quantum-mechanical system. It is a key result in quantum mechanics, and its discovery was a significant landmark in the development of th ...
, under a perpendicular static homogeneous magnetic field restricted to a single Bloch band. For a 2D square lattice, the
tight binding energy
dispersion relation
In the physical sciences and electrical engineering, dispersion relations describe the effect of dispersion on the properties of waves in a medium. A dispersion relation relates the wavelength or wavenumber of a wave to its frequency. Given t ...
is
:
,
where
is the energy function,
is the
crystal momentum
In solid-state physics crystal momentum or quasimomentum is a momentum-like vector associated with electrons in a crystal lattice. It is defined by the associated wave vectors \mathbf of this lattice, according to
:_ \equiv \hbar
(where \hba ...
, and
is an empirical parameter. The magnetic field
, where
the
magnetic vector potential
In classical electromagnetism, magnetic vector potential (often called A) is the vector quantity defined so that its curl is equal to the magnetic field: \nabla \times \mathbf = \mathbf. Together with the electric potential ''φ'', the magnetic ...
, can be taken into account by using
Peierls substitution, replacing the crystal momentum with the canonical momentum
, where
is the particle
momentum operator and
is the charge of the particle (
for the electron,
is the
elementary charge
The elementary charge, usually denoted by is the electric charge carried by a single proton or, equivalently, the magnitude of the negative electric charge carried by a single electron, which has charge −1 . This elementary charge is a funda ...
). For convenience we choose the gauge
.
Using that
is the
translation operator, so that
, where
and
is the particle's two-dimensional
wave function
A wave function in quantum physics is a mathematical description of the quantum state of an isolated quantum system. The wave function is a complex-valued probability amplitude, and the probabilities for the possible results of measurements m ...
. One can use
as an effective
Hamiltonian to obtain the following time-independent Schrödinger equation:
:
Considering that the particle can only hop between points in the lattice, we write
, where
are integers. Hofstadter makes the following
ansatz:
, where
depends on the energy, in order to obtain Harper's equation (also known as
almost Mathieu operator
In mathematical physics, the almost Mathieu operator arises in the study of the quantum Hall effect. It is given by
: ^_\omega un) = u(n+1) + u(n-1) + 2 \lambda \cos(2\pi (\omega + n\alpha)) u(n), \,
acting as a self-adjoint operator on the Hil ...
for
):
:
where
and
,
is proportional to the magnetic flux through a lattice cell and
is the
magnetic flux quantum. The flux ratio
can also be expressed in terms of the magnetic length
, such that
.
Hofstadter's butterfly is the resulting plot of
as a function of the flux ratio
, where
is the set of all possible
that are a solution to Harper's equation.
Solutions to Harper's equation and Wannier treatment

Due to the cosine function's properties, the pattern is periodic on
with period 1 (it repeats for each quantum flux per unit cell). The graph in the region of
between 0 and 1 has
reflection symmetry
In mathematics, reflection symmetry, line symmetry, mirror symmetry, or mirror-image symmetry is symmetry with respect to a reflection. That is, a figure which does not change upon undergoing a reflection has reflectional symmetry.
In 2D the ...
in the lines
and
.
Note that
is necessarily bounded between -4 and 4.
Harper's equation has the particular property that the solutions depend on the rationality of
. By imposing periodicity over
, one can show that if
(a
rational number
In mathematics, a rational number is a number that can be expressed as the quotient or fraction of two integers, a numerator and a non-zero denominator . For example, is a rational number, as is every integer (e.g. ). The set of all ra ...
), where
and
are distinct
prime numbers
A prime number (or a prime) is a natural number greater than 1 that is not a product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime because the only ways ...
, there are exactly
energy bands.
For large
, the energy bands converge to thin