Locality — where it appears
Named by 11 essays across 5 fields — each of them below, with the objects they name alongside it.
Two things called folding
A protein folds and a sheet folds, and the word is the same word by accident. Both have exponentially many states and that is not the difference. The difference is that one of them can be filtered by four conditions checked at a single point, and the other cannot be filtered by anything local at all.
Even is not enough
Every vertex theorem in the subject is a statement about one point, and the two-colouring of the panels looks like the exception. It is not — on a square of paper it is a parity at each vertex and nothing more. Cut a hole and the two come apart: a loop of paper with three creases has no interior vertices at all, satisfies every theorem there is, and cannot be folded flat.
How little the conditions decide
Local is not global is a statement about sufficiency: every vertex can pass and the sheet still fail. There is a sharper complaint available, and it is about strength. Fix one crease of a tessellation and propagate every condition the subject has to a fixed point: three creases out of a hundred and fifty-eight follow, and sixty-six vertices are still holding more than one answer.
A cut that removes no paper
Cuts in this subject are graded. Take a wedge out and the angle at a point falls by exactly the wedge; take twice as much and it falls twice as far. A hole is not like that. Its effect on what the sheet can do is the same whether it is a tenth of the paper or a ten-thousandth, and it is the same because it is not a quantity at all.
The cost of asking the wrong sheet
A test written for a sheet with an edge, run on a sheet without one, does not fail. It exhausts — proving, at three, thirty-five and three thousand four hundred and fifty-five nodes, that no lettering exists — and the letterings it proved impossible fold, on the collection's own machinery, at every size they were tried at.
A theorem with an unstated hypothesis
Maekawa's and Kawasaki's conditions are quoted everywhere without saying which sheet they are about, and they do not need to be — they are conditions at a point and every point is the same. The two-colouring is quoted the same way and it is not a condition at a point, and the omission there is not harmless.
A row the route cannot leave
Every rectangular block of helices up to ten by eight routes on the square lattice. On the honeycomb, the lattice a double helix's pitch prefers, twenty of the eighty do not — and every block odd in both directions fails for a reason visible along one row: every second helix on the top row has no neighbour off it, the two corners have one neighbour each, and a route forced through them runs the length of the row and ends. The colour count passes all of them, and a degree count along a single row refuses them.
Nearly every cutting fails at one crane
Six by six connected cranes have twenty-five joins and thirty-three million ways to keep some of them, and an exhaustion over all of them takes a fifth of a second. Of the 33,412,811 that fail, 99.64 per cent fail at a single crane — one left holding none of the joins at its corners — which a maker can check by looking at each crane in turn. The arrangements that pass that check hold together less often as the grid grows: all of them at three by three, 54 per cent at six by six.
The border is where the cranes come apart
Counted one join at a time rather than one subset at a time, the slit grid of connected cranes runs to twelve by twelve, where there are 2¹²¹ ways to keep some of the joins. Among the cuttings that hold every crane by something, the share that also hold together keeps falling — 54.3 per cent at six by six, 35.1 at twelve — and from eight by eight on it falls by the same factor at every size. A constant factor is the signature of the border: at six by six, 99.5 per cent of the sound cuttings that come apart do so through a stray piece touching the outermost ring of joins.
Every cheap test misses a shape
A strand routed through a bundle of helices has to visit each once, and whether a shape allows that is hard to decide — so the cheap tests that refuse shapes are necessary and never sufficient, and for every set of them there is a smallest shape they pass and no route reaches. Listing every connected shape and searching the ones the tests let through finds it: nine helices on the square lattice for the colour count, the ends and the cuts, eleven once the steps a route's ends force are added, and still eleven once the ends' colours are checked. On the honeycomb the same three stages give twelve, fifteen and sixteen. Each test pushes the smallest unroutable shape out or leaves it where it is; none removes it.
A test that only knows one lattice
The cheapest argument that refuses the smallest shape no cheap test could refuse was read off that shape: cut at one helix, find the piece with no end in it, and count the colours of the stretch the route is then forced to cross. Added to the census it refuses every one of the square lattice's thirty-two eleven-helix survivors and pushes the smallest survivor to twelve, where twelve placements of two shapes survive out of half a million. On the honeycomb it refuses none of the six at sixteen. A test inherits the lattice of the witness it was read off, and the staircase is two staircases.
Named alongside it
The objects these essays reach for when they reach for this one.
Necessary conditionBoundaryParityDNA origamiMaekawa's theoremRoutingTwo-colouringConnectivityThe counting problemGluingHamiltonian pathKawasaki's theorem