Why five-fold is impossible

The trace argument settles the question in one line, and it settles it so quickly that it can leave a reader unsatisfied. Nothing was constructed, no case was examined, and the impossibility arrived as a remark about integers.

Here is a second proof of the five-fold case that constructs the contradiction explicitly. It is longer, it uses distances instead of matrices, and it shows why the impossibility is about how close lattice points can get.

The one property being used #

A lattice is discrete. Its points are separated, not packed arbitrarily close, and the consequence is that there is a shortest non-zero lattice vector.

That is the entire input to the argument. Discreteness is what distinguishes a lattice from an arbitrary set of points closed under addition — the set of all rational multiples of a vector is closed under addition and has no shortest member, and it is not a lattice.

The existence of a shortest vector gives the proof something to contradict. Construct a shorter one and something has gone wrong, and the only assumption available to blame is the one made at the start.

The construction #

Assume the pattern has a five-fold rotation centre. Let $\mathbf{a}$ be a shortest non-zero lattice vector, and let $R$ be the rotation by $72°$ about the centre.

Because $R$ is a symmetry, it maps the lattice onto itself, so $R\mathbf{a}$ is a lattice vector, and so is $R^{-1}\mathbf{a}$. Both have the same length as $\mathbf{a}$, since rotations preserve length.

Now form the sum $R\mathbf{a} + R^{-1}\mathbf{a}$. It is a lattice vector, being the sum of two of them. Its length is computable directly: the two vectors each make an angle of $72°$ with $\mathbf{a}$, one on each side, so their sum lies along $\mathbf{a}$ and has length

$$2|\mathbf{a}|\cos 72° \approx 0.618\,|\mathbf{a}|.$$

That is shorter than $\mathbf{a}$, and it is not zero. So the lattice contains a non-zero vector shorter than its shortest non-zero vector, which is a contradiction, and the five-fold centre cannot exist.

Why the sum is a lattice vector at all #

The step that does the work is easy to read past, so it is worth slowing down on.

$R\mathbf{a}$ is a lattice vector because $R$ is assumed to be a symmetry of the pattern, and a symmetry maps the pattern’s translation set onto itself. $R^{-1}\mathbf{a}$ is a lattice vector for the same reason, since the inverse of a symmetry is a symmetry. And their sum is a lattice vector because the lattice is closed under addition — which is not an extra assumption but part of what being a lattice means.

So all three facts come from the same place: the translations of a pattern form a group, and a group is closed under its operation. Take away the closure and the construction has nothing to construct with.

It is also worth noticing what is not assumed. Nothing is said about the motif, about the pattern’s other symmetries, or about which of the five lattice types is underneath. The argument runs on the existence of a shortest vector and on closure, and those are properties every lattice has.

Where the golden ratio walks in #

The factor $2\cos 72° = 0.618\ldots$ is not an accidental decimal. It is $1/\varphi$, the reciprocal of the golden ratio, and it is the same number that governs the inflation of a Penrose tiling.

That is a pleasing coincidence at first sight and it is not a coincidence at all. The golden ratio is the fundamental unit of the algebra generated by five-fold rotation, so any quantity built out of $72°$ angles tends to be an expression in $\varphi$. The number that makes five-fold periodicity impossible is the same number that makes five-fold aperiodic order self-similar, and the connection runs deeper than the shared symbol: it is because $0.618$ is irrational that the tiling never repeats, and because it is a quadratic irrational that the tiling has an inflation rule at all.

So the shrinking construction is not merely a proof of impossibility. It is the first sighting of the structure that replaces periodicity when periodicity is unavailable.

The same argument at seven, eight and above #

The construction adapts, and adapting it is the best way to see what the number $2\cos\theta$ is doing.

For a rotation of order $n$, the sum $R\mathbf{a} + R^{-1}\mathbf{a}$ has length $2|\mathbf{a}|\cos(2\pi/n)$. Whenever that factor lies strictly between zero and one, the sum is a non-zero lattice vector shorter than the shortest, and the same contradiction follows.

For $n = 7$ the factor exceeds one, so a slightly different combination is needed: subtract rather than add, or take the difference $R\mathbf{a} - \mathbf{a}$, and a short vector appears again. For $n \geq 7$ generally the difference $R\mathbf{a} - \mathbf{a}$ has length $2|\mathbf{a}|\sin(\pi/n)$, which is less than $|\mathbf{a}|$ as soon as $\pi/n < \pi/6$, that is as soon as $n > 6$.

So above six every order fails by the difference construction, and at five the sum construction does it. Orders one, two, three, four and six survive because in each of those cases both combinations land exactly on a lattice vector of permitted length rather than in between.

The construction, checked rather than drawn #

The figures on this page are not illustrations of a known result. Each one computes the descent and reports what it finds.

The generator takes the order, builds the star of rotated copies of the shortest vector, forms both candidate combinations — the sum of the two neighbours and the difference of a neighbour with the original — measures whichever is shorter, and declares a contradiction when that length falls below the vector it started from. It then asserts that the verdict matches the crystallographic restriction: a contradiction for every order except one, two, three, four and six, and none for those five.

That assertion earned its place immediately. An earlier version of the generator computed the shrink factor by a formula that fires at threefold and stays silent at fivefold — the result exactly inverted. The picture it produced was entirely convincing: a five-pointed star, some vectors, a confident label. Nothing about it looked wrong, and nothing would have caught it except making the figure state a claim that could be tested against an independently known answer.

That is the case worth staring at, because it is where the answer changes. At six the constructed vector is exactly as long as the one it came from; at seven it is shorter and the order dies. There is nothing gradual about the transition and no tolerance involved in detecting it.

What the picture makes visible that the algebra does not #

The two proofs are equivalent and they leave a reader with different intuitions, which is the argument for meeting both.

The trace proof says: a rotation compatible with a lattice must have an integer trace, and only five angles manage it. It is exact, complete and slightly opaque. Nothing in it suggests why a lattice should care.

The shrinking proof says: a lattice has a minimum spacing, and a forbidden rotation manufactures points closer together than the minimum. That is a statement about crowding, and it makes the result feel inevitable rather than arithmetical. It also explains what goes wrong physically: an attempt to build a five-fold periodic structure produces atoms that would have to sit impossibly close together.

Neither intuition is complete. The trace argument generalises immediately to any dimension and the shrinking argument does not, at least not without work. The shrinking argument explains the failure and the trace argument merely certifies it.

The physical reading #

The algebra says a forbidden rotation manufactures points too close together. It is worth asking what that means for actual matter, since the restriction is a statement about crystals and not only about drawings.

Atoms have effective sizes, and a structure that places two of them at a distance much shorter than the sum of their radii is not a structure — it is an arrangement no material adopts, because the energy cost is enormous. The descent construction, read physically, says that a five-fold periodic arrangement would demand exactly that: given any repeat distance, the five-fold symmetry generates a shorter one, and iterating generates shorter ones still without limit.

That last point is the sharpest version. The construction can be applied to its own output. Starting from a shortest vector of length $\ell$ it produces one of length $0.618\ell$; applying it again gives $0.382\ell$; and the sequence descends to zero. A periodic five-fold structure would need lattice points arbitrarily close together, which is not a matter of being energetically expensive but of not being discrete at all.

Discreteness is the property that fails, and it fails catastrophically rather than marginally. That is why the restriction admits no near misses and no exceptions at high pressure or low temperature. It is not a statement about what is favourable. It is a statement about what is a lattice.

Two routes matter more than one route checked twice #

There is a methodological point here that this site applies well beyond this essay.

A fact carrying as much weight as the crystallographic restriction should be reachable by more than one road. Not because either proof is doubted, but because independent routes fail differently: an error in a chain of reasoning tends to be invisible from inside that chain and obvious from outside it.

The same principle governs the diffraction figures here. A pattern figure asserts a group directly from its point set; a diffraction figure computes what the same point set would scatter, and reads the symmetry off the reflections that vanish. Two calculations sharing nothing but the atom positions. When they agree, the agreement is evidence; when a single calculation agrees with itself, that is not evidence of anything.

Where the argument stops #

The proof has a hypothesis, and it is worth naming precisely, because the famous counterexample of 1982 attacks exactly that hypothesis and nothing else.

The proof assumes a lattice — a discrete set of translations, with a shortest vector. Remove that and every step fails. There is no shortest vector to contradict, the sum $R\mathbf{a} + R^{-1}\mathbf{a}$ need not be anything in particular, and the argument has no purchase.

A Penrose tiling has no translational symmetry whatever. No slide, however large, maps it onto itself. So it is not restricted, and its five-fold symmetry costs it nothing.

What the tiling does instead #

If five-fold periodicity is impossible, and five-fold order is nevertheless observed, something has to take periodicity’s place. The something has a name and a mechanism.

A Penrose tiling is built from two rhombi with matching rules that forbid any periodic arrangement. It has five-fold rotational symmetry about certain points, it fills the plane completely, and it never repeats. What it has instead of translations is repetitivity: every finite patch that occurs anywhere occurs infinitely often, and within a bounded distance of any point. That is enough to make the pattern determinate — knowing a large enough patch constrains the rest — without giving it a single translation.

The scaling symmetry is the substitute. A Penrose tiling maps onto itself not under any slide, but under an inflation: rescale by $\varphi$, redraw, and the same tiling reappears. That is a symmetry of a kind the four plane motions do not include, which is why the classification of the seventeen has nothing to say about it and why the restriction does not bind it.

What Shechtman measured #

In April 1982 Dan Shechtman, working at the American National Bureau of Standards, put an aluminium–manganese alloy in an electron microscope and obtained a diffraction pattern with sharp spots arranged with tenfold symmetry.

Sharp spots meant long-range order. Tenfold symmetry meant no lattice. The two were believed to be inseparable, and the standard interpretation of such a pattern was twinning: several crystallites in different orientations, each perfectly ordinary, superimposing their patterns. Shechtman ruled that out and was not believed. His notebook entry for the day reads, in Hebrew, “10 fold???”.

Publication took two years. Linus Pauling, then the most decorated chemist alive, maintained the twinning explanation publicly until his death in 1994, saying that there were no quasicrystals, only quasi-scientists. Shechtman received the Nobel Prize in Chemistry in 2011.

The resolution is the one this essay has been building toward. The theorem was never in danger. What failed was the unstated assumption that sharp diffraction requires a lattice, and separating order from periodicity is what the episode forced.

Where the ladder goes next #

The immediate companion is the trace proof, if it has not already been read, since the two arguments illuminate different halves of the same fact.

The immediate consequence is the seventeen, which is what the five permitted orders generate when combined with everything compatible.

And the sequel is the exception that turns out not to be one: Penrose tilings, the inflation that generates them, and what a quasicrystal replaces periodicity with.

What the pictures here cannot show. The construction on this page is drawn at one scale with one starting vector; the proof is about every lattice and every choice. A drawing can illustrate a contradiction and cannot establish it, and the establishing is done by the algebra rather than by the picture.