Series

Bands in a solid — the series

14 essays on one idea, from the one that introduces it to the one that assumes the rest.
  1. Chains of 2, 4, 8, 16, 40: the levels crowd, the edges do not move. Every level of a chain of 2, 4, 8, 16, 40 sites, drawn at its computed energy on one axis. Adding sites adds levels inside a fixed interval rather than widening it, which is what makes the large system a band rather than a wider molecule.

    A solid is a molecule that did not stop

    Diagonalise a chain of two atoms, then four, then forty. Nothing new happens at any point, and by forty the levels are a band. The passage from molecule to solid is not a change of subject; it is the same matrix at a different size, and every step of it can be watched.

    part 1 · solids
  2. ⟨x²⟩ is the average number of neighbours. For each structure, the mean coordination counted off the edge list beside the mean of x² measured off the eigenvalues. They are equal by an identity about graphs, not by a limit — the full band width beside them obeys no such rule.

    The width of a band is a count of neighbours

    The mean of the squared level energies equals the average coordination — exactly, for any structure, with no limit taken and no periodicity assumed. It is the one statement in this field that is arithmetic rather than physics, and the usual textbook formula for band width is a special case of something weaker.

    part 2 · solids
  3. The density of states of a chain of 2000. The 2000 levels of a linear chain, binned into 34 intervals across the band, with the closed-form density drawn through them. The density piles up at both edges because that is where the level spacing turns over, and nothing periodic was assumed to get it.

    A density of states is not a spectrum

    A molecule's spectrum is a list of positions and a solid's is a shape, and the shape is not the density of states. Between the two sits everything the count leaves out — which transitions are allowed, how strongly, and from where to where.

    part 3 · solids
  4. Chains of 4, 16, 64, 160: the levels crowd, the edges do not move. Every level of a chain of 4, 16, 64, 160 sites, drawn at its computed energy on one axis. Adding sites adds levels inside a fixed interval rather than widening it, which is what makes the large system a band rather than a wider molecule.

    A band with no structure in it

    Everything in this field is computed from a finite matrix with no periodicity assumed, which is a real method and a real limitation. It produces a band and cannot produce a band structure — and the difference between those two words is worth an essay, because it is the boundary of what a finite matrix can honestly say.

    part 4 · solids
  5. How long a chain has to be before its ends stop mattering. The difference in energy per site between a ring and a chain of the same length, against that length. It falls as one over the length, which is what it means for the difference to be an end effect, and the size at which it drops below a thousandth of a β is printed.

    Where a molecule stops being one

    There is no size at which a molecule becomes a solid, and the useful question is a different one — how large must it be before a given property has stopped changing? The answers differ by a factor of several hundred between one property and the next, and every one of them is a measurement.

    part 5 · solids
  6. The gap against size: uniform against δ = 0.15. The HOMO–LUMO gap of a half-filled chain plotted against the number of sites, on log axes, for a uniform chain and for one whose bonds alternate. The uniform sequence falls without limit; the alternating one settles at four times the alternation.

    A band gap is not a bond energy

    Silicon's gap is 1.1 electronvolts and its Si–Si bond is 2.3. Both are quoted in the same units, both describe the same material, and neither is convertible into the other — one is the cost of promoting an electron and the other is the cost of taking two atoms apart.

    part 6 · wrong
  7. A ring of 60: binding against filling. The occupied-level sum per site of a ring of 60, swept from an empty band to a full one. It rises to a maximum at half filling, falls symmetrically, and reaches exactly zero when every level is occupied. The thin curve is the closed form the finite sum approaches, and the second trace is the same sweep for the structure with ends.

    Half filled is as bonded as it gets

    Sweep a band from empty to full and the binding it supplies rises to a maximum at half filling and returns to exactly zero when every level is occupied. A completely filled band holds a solid together no more than a filled shell holds two helium atoms together, and for the same reason.

    part 7 · solids
  8. One band width, three shapes. three densities of states, each computed from a wrapped structure of 4,096 levels and drawn against the band scaled to run from −1 to +1. A chain piles its states into the two edges; a cubic structure piles them into the middle and thins to nothing at the edges.

    Where the states pile up

    Two bands of the same width can be entirely different objects. Scale a chain, a square net and a cubic structure to one width and what is left varies by a factor of four — a chain puts more than half its levels in the outer thirds of its band and a cubic structure puts more than half in the middle third — and that difference alone decides how strongly each of them binds.

    part 8 · solids
  9. A band becomes a bell curve, and the dimension is the sample size. The normalised fourth moment of a wrapped hypercubic structure's density of states against its dimension, with the closed form 3 − 3/2d drawn through it. They agree to eight decimal places at every dimension from one to 6, and the reason is a limit theorem: a hypercubic spectrum is the sum of d independent one-dimensional ones, so its cumulants fall as powers of d exactly as a sum of independent samples does. The Gaussian value of three is approached and never reached.

    A band becomes a bell curve

    The normalised fourth moment of a hypercubic structure's density of states is 3 − 3/2d exactly, from one dimension to six, to eight decimal places — because the spectrum is a sum of d independent one-dimensional ones and the central limit theorem is what it is obeying. Reach further in one dimension instead and the shape overshoots a Gaussian rather than approaching it: a chain touching its third neighbour has a cubic structure's coordination and a fourth moment of 3.389 against 2.500.

    part 9 · solids
  10. How anisotropic a structure has to be. The fourth moment of a layered band, divided by the square of its second so that the width drops out, against the coupling between layers. The curve is the closed form that follows from adding cumulants — 3 − 3(2 + λ⁴)/(2(2 + λ²)²) — with nothing fitted; the points are eigenvalues. At λ = 1 it is the three-dimensional value 2.5 and at λ = 0 the two-dimensional 2.25, and it is halfway between them at λ = 0.47 — so the question of when a band is effectively two-dimensional has a number rather than an opinion.

    Two bands, and the shape of each

    A band's shape has a closed form when the structure it belongs to factorises. Put a second band beside it and the form survives exactly while the two do not talk, and fails as the square of the coupling once they do. Make one direction weaker instead and the form survives everywhere — 3 − 3(2 + λ⁴)/(2(2 + λ²)²), agreeing with eigenvalues to nine decimal places — so how anisotropic a structure has to be before its band is two-dimensional is a number: λ = 0.46518.

    part 10 · solids
  11. Two curves that cross, and two that do not. Every pair of parameters that reproduces one measured number, for three numbers, with the true system marked at Δ = 12 and t⊥ = 0.06. The lower band's shape is a function of the ratio of the two, so its curve is a straight line through the origin; the excess gap is a function of the coupling squared over the separation, so its curve bends. The two cross at one point. The upper band's shape draws a line almost on top of the first, because it is a function of the same ratio — a second measurement lying along the first fixes nothing the first had not already fixed.

    Two ways of being second order

    A band's shape and a band's gap are both second order in the coupling that mixes two bands, which sounds like a reason to measure only one of them. They are second order in different ways — one goes as the square of the ratio and the other as the square over the separation — and that single difference of one power is what turns a curve of possible answers into a point.

    part 11 · solids
  12. Two bands, square below, triangular above. The 128 levels of a structure carrying two orbitals on every one of its 64 sites, where the lower orbitals hop on a square net and the upper ones on a triangular net, separated by 12 and coupled at 0.06. The two bands have different widths and different shapes before anything mixes, which is the situation a single net cannot construct. Every level here is also reproduced by a two-by-two problem, one per mode, to 3e-13.

    The constant that belonged to one net

    Divide one second-order departure by another and the coupling cancels, leaving one constant times the gap — which reads as arithmetic. It was arithmetic about a square net. On a triangular one — the same graph for both bands, nothing else changed — the quotient drifts by a hundred and twenty-eight per cent.

    part 12 · solids
  13. Seven nets, and the one column that sorts them. Every wrapped net here, with its dimension, coordination, third moment and band shape, beside the exponent the coupled-band measurement returns for it. The 4 nets whose third moment vanishes all give an exponent within 0.03 of −2 and a quotient constant to a fiftieth of a per cent; the 3 that do not all give one near −1 and no constant at all. Dimension does not sort them and neither does coordination — each takes values in both groups.

    Seven points that looked like a switch

    A constant belongs to a square net and not to a triangular one, which points at the coupling graph. Seven wrapped nets say which property of it: the third moment, and neither the dimension nor the coordination. They also say it is a switch — and made continuous, it is a crossover that every one of the seven sits twenty-five times past.

    part 13 · solids
  14. Nine combinations, and the column that sorts them is not the bands'. Two bands and a coupling, varied separately. The composite graph's third moment splits into triangles that lie inside a band and triangles that use two coupling bonds, and only the second sorts the table: every row with no gap-crossing triangle gives an exponent near −2 and a nearly constant quotient, whatever its bands are made of. Triangular bands carrying an intra-band moment of 7.296 behave exactly like square ones when the coupling is a matching.

    The triangles that were never in the bands

    A switch in how a gap scales is usually attributed to a band's third moment, and the attribution cannot be tested while the coupling runs along one of the bands. Separated, the bands turn out to decide nothing. Two triangular bands coupled along a matching — which cannot close a triangle across the gap — behave exactly like square ones.

    part 14 · solids

All series