For equivalent minima with nearest-neighbour hopping magnitude , paths with right steps and left steps have . Summing and applying the Fourier representation of a Kronecker delta gives the displayed modified Bessel function kernel in a normalized localized-site basis. Its Fourier exponent gives the tight-binding model energy . Position-endpoint kernels can have an additional common local-wavefunction prefactor.
The low-energy localized-well basis gives the tight-binding model
A Bloch state with coefficients is an eigenstate because the two neighbouring coefficients add to . Thus
Here is a Bloch wavenumber; physical momentum is , and writing for physical momentum would require . Spectral evolution of these eigenstates is exactly the Fourier integral in the preceding solution. The negative hopping lowers the symmetric state, and coherent quantum tunnelling spreads a formerly degenerate family of localized levels into a band of width . Using the printed positive Euclidean prefactor instead would give on-site energy , showing its contradiction directly.
Bloch theorem states that the energy eigenstates of a Hamiltonian invariant under translations by a Bravais lattice can be chosen as Bloch states
Indeed, the unitary operators commute with one another because , and they commute with by hypothesis. The simultaneous diagonalization theorem therefore lets us diagonalize all translations within each energy eigenspace. Their eigenvalues form a unitary character of the additive lattice:
Writing on a primitive basis gives . In position space, with , this implies . Hence is lattice-periodic. Adding a reciprocal lattice vector to leaves the character unchanged, so the crystal momentum lies in a Brillouin zone.
For
the equations give the reciprocal basis
The reciprocal lattice is triangular, so the first Brillouin zone is its Wigner-Seitz cell, a regular hexagon. Its six corners are
Reciprocal-lattice translations identify these corners in two classes of three. Representatives are
For example, , while the other equivalences follow by symmetry and reciprocal translations. This gives the requested sketch: a regular hexagon with the vertical edge from to at and alternating corner classes.
For the tight-binding model, introduce the normalized Bloch sum
Each hop by multiplies this state by . Thus the two-direction nearest-neighbour tight-binding dispersion is
Along the boundary edge from to , and , so
For , it rises from at either corner to at the midpoint; for the ordering reverses. Globally the two cosines in the first expression can simultaneously equal or , and therefore
Each orbital band contains two one-electron states per lattice site because an electron has two spin states. By band filling, a valency of one leaves this band half-filled and the material conducts, whereas a valency of two fills it. A filled band can be insulating only if it is separated from every empty band by a positive band gap.
The first band's maximum is . If the second band's minimum is , a gap exists precisely when . Consequently, among the nontrivial fillings described here,
For valency one the first band is partially filled. If , the bands overlap or touch, so even at valency two the overlapping energy bands prevent a band insulator.
The minima occur at , where . Writing gives
The harmonic approximation near a potential minimum therefore has frequency
because . The two lowest localized energies are
In the tight-binding model, tunnelling between neighbouring wells broadens each localized level into a band,
For large , the hopping amplitudes are exponentially small compared with the oscillator spacing. Hence the gap between the first two bands is
up to exponentially small tight-binding bandwidth corrections.