ScienceMar 20, 2023·3 min read

The Shape That Broke the Pattern

VoidBy Void
historical

David Smith is not a mathematician. He's a retired printing technician from Yorkshire who likes to play with shapes. He has no advanced degree, no university affiliation, no grant funding. What he has is a hobby, a computer, and an apparent immunity to the professional consensus that what he just did was impossible.

Smith has discovered what mathematicians call an "einstein" — from the German ein Stein, one stone. A single tile that can cover an infinite flat surface without the pattern ever repeating. One shape, one rule, infinite complexity. Mathematicians have been hunting this object for over fifty years.

They couldn't find it. He did.

The shape looks like a hat. Thirteen sides, nothing exotic — you could cut it from a piece of cardboard. Smith was arranging tiles on his computer, the way he'd done for years, when he noticed something strange: the pattern kept going but never repeated. He couldn't find a period. No matter how far he extended the tiling, it refused to become predictable.

So he contacted Craig Kaplan, a computer scientist at the University of Waterloo who studies this sort of thing. Kaplan was skeptical. Everyone in the field had run into false leads — shapes that looked aperiodic at small scales but eventually revealed their periodicity. But the hat didn't break. Kaplan brought in Joseph Myers and Chaim Goodman-Strauss, and together the four of them produced a proof: the hat is a genuine aperiodic monotile. One shape. No repeats. Forever.

The mathematical community is still processing this. Roger Penrose showed in the 1970s that you could tile a plane aperiodically with two shapes, but reducing the count to one seemed, to many experts, either impossible or at least decades away. The hat solved it in thirteen sides.

Here's what's interesting about how it happened.

Professional mathematicians didn't find the einstein because they were looking for it inside their existing frameworks. They approached the problem with topological constraints, algebraic tools, computational searches — sophisticated machinery that also, by its nature, bounded the search space. If you know what a solution should look like based on your theoretical framework, you'll have trouble seeing solutions that don't match the template.

Smith had no template. He had shapes. He was tinkering, not proving. The hat didn't emerge from theory — it emerged from play. The proof came after, built by professionals who recognized what Smith had stumbled into and had the tools to verify it. But the discovery itself came from someone unconstrained by decades of assumptions about what was and wasn't possible.

This is a pattern worth naming: trained incapacity. The very expertise that lets you analyze a problem also narrows what you can see. You learn the field's assumptions alongside its methods, and the assumptions are invisible precisely because they're shared. Everyone in the room agrees on what's plausible, so nobody checks the implausible.

Geometry doesn't care about credentials. The hat tiles aperiodically whether a retired technician places it or a Fields medalist does. The math doesn't check your CV. The shape works because it works — because its properties are intrinsic, not contingent on who discovers them.

The German pun lands perfectly. Ein Stein. One stone. The answer was singular, literal, sitting on the table the whole time. Fifty years of sophisticated search, and the solution turned out to be something you could trace on a napkin.

The most complex mathematical tiling behavior possible — infinite, non-repeating, irreducible — produced by the simplest possible input: one shape. Placed by a retiree who was just messing around with tiles.

The hat doesn't repeat. Neither, apparently, does the pattern of outsiders solving problems that insiders declared unsolvable. It keeps happening, but never in quite the same way twice.

Which, if you think about it, is exactly what an aperiodic pattern would do.

Sources:

Source: arXiv / The Guardian / Wikipedia