The creases a sheet gives itself
Assumes Almost every pattern fails.
Every crease pattern elsewhere on this site was designed. A twist, a Miura, a molecule, a circle packing turned into creases — somebody or something chose where the lines went, and the choosing was constrained by the theorems the pattern then satisfies.
There is another way to get a crease pattern, and everybody has produced one: crumple a sheet of paper, then flatten it out and look at what is on it.
The obvious prediction is that such a pattern is hopeless. Kawasaki’s condition is one equation per interior vertex and a drawing satisfies an equation with probability zero; this site has measured that and the failure is total. So a crumpled sheet, which looks like the most arbitrary crease pattern anybody could produce, ought to fail everywhere.
It fails nowhere. Not approximately, not usually — nowhere, at every vertex, on every seed.
Two random processes, and only one of them is random about lines
The reason is a tautology, and the tautology is worth stating slowly because it is what the prediction missed.
A sheet that has been folded flat is flat folded. Every vertex it carries is a vertex of an object lying in a plane, so every local condition that a flat folded state must satisfy is satisfied there — not because the folds were chosen well, but because there is nothing else for them to be.
So random is doing two completely different jobs in the two experiments. Drawing lines at random puts randomness in the crease pattern directly, and the pattern is then asked whether it folds. Folding at random puts the randomness in the process, and the pattern that comes out is whatever a folded sheet happens to have on it. The first is a sample from the space of drawings. The second is a sample from the space of foldings, and every point of that space folds.
The rule, and what it is a model of
The simulation is deliberately plain. Start with a square. Pick a line at random, fold every layer that crosses it, and repeat. Unfold at the end and the creases left behind are the pattern.
That move — turn everything on one side of a line through 180° — is the all-layers simple fold, which this site already decides for strips as a question about machines. Here it is run in two dimensions on a stack of polygons, because a crumple is a plane object and a strip cannot be crumpled.
Each layer carries the piece of the sheet it is, and the isometry that has brought it to where it now lies. So the crease a fold leaves is found by intersecting the fold line with the layer where it currently is, and carrying that intersection back through the isometry — which is why a crease made on the fourth fold can land anywhere at all on the sheet, including across an earlier one, exactly as it does on paper.
It is a model of a crumple and not a crumple. A real crumpled sheet is a three-dimensional object with curved ridges and conical points, and its creases are not made one at a time by a person choosing lines. What this shares with it is the thing being claimed: the creases were produced by folding, and the claim is about what that does to a crease pattern. Paper is not the ideal sheet in several ways that matter here and are named at the end.
Every vertex, and the numbers behind that word
Five seeds, six folds each, forty-eight interior vertices between them: forty-eight satisfy Kawasaki. At eight folds, at ten, at twelve — the same. The worst alternating-sum residual anywhere in the sweep is at the level of arithmetic noise.
The drawn control is measured the same way with the same routines: at sixteen lines it has 359 interior vertices and none of them satisfies Kawasaki; at twenty-four lines, 797 vertices and none. Not one, ever, at any size.
The pattern is not nearly foldable — it is exactly foldable
One more distinction deserves stating, because “satisfies Kawasaki” can mean two rather different things and only the strong one is true here.
A pattern can satisfy a condition within a tolerance, which is what a measurement of a physical object gives and what a fitted construction gives. The crumple’s vertices do not satisfy Kawasaki within a tolerance; they satisfy it the way a reflected angle equals the angle it was reflected from. Each fold is an isometry, the sectors on the two sides of a crease are images of one another, and the alternating sum of the four sectors at a crossing is a difference of quantities that are equal by construction.
That is why the claim survives at every fold count without degrading. A construction that satisfied a condition approximately would drift as the folds accumulated and the residual would grow with depth; there is nothing to drift.
The letters were not searched for either
The stronger half of the claim is about the mountain-valley assignment, and it needs care, because it would be easy to cheat here without noticing.
Kawasaki is a condition on angles alone, so it can be checked without deciding anything. Maekawa and the big-little-big lemma need letters. The tempting move is to search for letters that work and report success — which would be a weaker claim, since a search finding something is a fact about the search.
The letters are not searched for. Every layer in the simulation is either showing its front face upward or its back, which is the sign of the isometry that brought it there, and the whole stack turns the same way when it folds. So the letter each fold writes on each layer is decided by that sign, and it is written down as the fold happens. Those letters — the folding’s own, not a solver’s — pass Maekawa and the big-little-big lemma at every vertex of every sheet in the sweep.
That distinction earned itself. An earlier version of this work did use a solver, and on some sheets the solver reported that no assignment existed — for patterns that had demonstrably been folded flat, since folding them is how they were made. The solver was wrong: its search budget was shared across the whole recursion, so a long search exhausted the budget and reported the exhaustion as a contradiction. A negative answer from a search looks exactly like a result, which is a lesson this site has now learned twice.
Even degrees, which nothing asked for
There is a second witness, and it is independent of the first.
Every interior vertex of every crumpled sheet in the sweep has degree four. Not merely an even degree — four, throughout. Nothing in the simulation enforces parity, checks a degree, or knows that an interior vertex of a flat-foldable pattern must have an even number of creases and at least four. It falls out.
The drawn control has degree four everywhere as well, which is the point: degree is not what distinguishes them. Straight lines drawn across a square cross in pairs and make degree-four vertices as reliably as folds do. The two populations of vertex are identical in their combinatorics and completely different in their angles, and only the second is visible to a theorem.
Why the drawn control fails, exactly
The control fails at every vertex and the essay reports that as a measurement. It has a reason, it is two lines long, and having it makes the contrast sharp rather than merely large.
Two straight lines crossing at a point cut the neighbourhood into four sectors, and opposite sectors are equal: the sizes read , , , round the point. Kawasaki asks the alternating sum to vanish, which here is , and that is nought only when is a right angle.
So a vertex made by two drawn lines satisfies Kawasaki if and only if the lines cross squarely, and lines drawn at random cross squarely with probability zero. The control’s 359 vertices and its 797 do not fail for a statistical reason that might occasionally relent. They fail because every one of them is two straight lines crossing at an angle that is not ninety degrees, and there is no other kind of vertex a drawing of straight lines can produce.
And why the crumple’s vertices are not that
Which raises the question the contrast now demands. If two straight creases crossing can only pass at a right angle, and a crumple’s vertices are crossings, how do all of them pass?
The answer is that a crumple’s creases are not straight lines in the flat sheet. A fold line is straight in the folded stack, and the crease it writes on a layer is that line carried back through whatever isometry brought the layer there — so where a later fold crosses an earlier crease, the two halves of its preimage are related by a reflection in that earlier crease. Unfold the sheet and the later crease has a bend in it, and the bend sits exactly at the earlier crease.
Now redo the arithmetic at such a vertex. One crease runs straight through, so the sectors on either side of it pair up to a straight angle twice over. The other crease arrives at some angle and leaves at another. Writing the four sectors in order, Kawasaki’s demand comes out as: the angle the bent crease leaves at must equal the angle it arrived at, measured on the other side of the straight one.
That is exactly what reflection means. The condition Kawasaki imposes at a crumple’s vertex is the later crease reflects in the earlier one, and reflecting in the earlier one is what folding along it did.
So the tautology at the top of this essay has a local form as well as a global one. The sheet’s vertices pass not merely because the object is flat folded, but because the specific geometric relation Kawasaki demands at a four-crease vertex — a bend that mirrors — is the relation a fold physically performs. A drawing has no reason to produce it and never does; a fold cannot do anything else.
What the crease pattern still does not settle
None of this says the sheet folds flat as a whole. Every condition used is local, deciding the global question is NP-hard, and the fact that these particular patterns did fold flat is known from the construction rather than from any check. What has been established is the converse-shaped statement: a pattern produced by folding satisfies the local conditions everywhere, which no amount of drawing achieves.
The simulation folds cleanly and paper does not. A real fold has a radius, the sheet stretches slightly at every crease, and a crumpled ball is held in three dimensions by ridges that are curved rather than straight. The crease has a radius and that radius is where the model and the material part company.
Every fold here takes the whole stack. A person crumpling paper does not fold every layer at once; they crush a region, and different parts of the sheet do different things. The all-layers model is the strongest of the three machine models and the one furthest from a hand, and a model that folded only some layers would produce a different population of pattern. Whether it would produce one with the same property is a question the same machinery could answer and this essay does not.
A physical crumple is not a sequence of chosen folds. It is a buckling process in which many creases form at once under load, and what a sheet does under load is structural-engineering-statics.com’s subject. Nothing here is a claim about force, energy or why a crumpled ball springs back; every number above is an angle, a length, a count or an area.
The refusal the model has to survive
A simulator that quietly did nothing would pass every claim above. No creases, no vertices, no failures — a perfect score over an empty set, which is the shape of result this site distrusts most.
So the check is run against the two cases it must not survive. One fold leaves a crease and no interior vertex at all, and a census of it must come back empty rather than perfect: there is nothing for a condition to hold at, and reporting that as a pass would be reporting the absence of a test as the result of one. Eight folds must leave a pattern with vertices in it, so that the claim being made has something to be about — thirty-three of them on the seed the figures use.
Between those two the claim is a claim. Above about ten folds the patterns get dense enough that the interesting quantity stops being whether they pass — they always do — and starts being how the counts grow, which is the next rung.
Why the prediction was wrong, and what kind of wrong it was
The prediction that a crumpled sheet fails everywhere is not a careless one. It follows from a correct result — flat-foldable patterns are of measure zero among drawn ones — applied to the wrong population.
That is a specific and recognisable mistake: taking a genericity statement about one probability distribution and applying it to a sample from another. The set of flat-foldable patterns is tiny inside the set of all patterns and it is everything inside the set of patterns produced by folding. Both facts are about the same set; they differ in what they are a fraction of.
The reason it is worth an essay rather than a footnote is that the intuition it corrects is load-bearing. “Flat-foldability is rare” is one of the more quotable results in the subject, and it gets used to explain things it does not explain — including, occasionally, why crumpled paper is such a mess. Crumpled paper is not a mess in this sense at all. It is a flat-folded object that has been opened out, and every theorem in the subject applies to it exactly.
Who has looked at this, and how
Crumpling has a substantial physics literature and almost none of it is about crease patterns. The interest there is in energy: how the energy of a crumpled sheet scales with how hard it is squeezed, how it concentrates on ridges, why a ball of paper is mostly air. Those are questions about a three-dimensional object under load and they are answered with elasticity, not with Kawasaki.
The geometric side has been studied mostly in the other direction — from a crumple’s ridges and conical points toward the surfaces they belong to — and the crease pattern left behind, considered as a crease pattern, is not much looked at. That is understandable. It arrives with no design intent, it repeats nothing, and it teaches nothing about how to fold anything.
What it does carry is a clean statement about the subject’s central condition, available nowhere else: a population of vertices that satisfies it universally and was produced by no one’s care. Everything else on this site satisfies Kawasaki because a generator was written to; a crumple satisfies it because it was folded, which is the only other way there is.
Where the ladder goes next
The natural continuation is what more folding does. Each fold adds creases, and the counts turn out to be tied together exactly: the facets of the flattened sheet and the layers of the folded stack are the same number, always, on every seed — which makes the depth of a crumpled stack readable off its flat pattern without folding anything.
The other direction is the gap between this model and the material. A crumple’s real creases are not sharp, its ridges are curved, and the same region of sheet is worked repeatedly until the fibres give. Each of those is a way the ideal sheet is wrong, and each of them is measurable against a pattern that would otherwise be exactly right.
What this makes readable
Essays that name this one as a prerequisite.
Named alongside this one
Essays reaching for the same objects. Nobody chose these; they are what the concept index makes visible.
- The loop a vertex cannot close assignment · kawasaki's theorem · vertex degree
- A knife edge nine decimals wide assignment · vertex degree
- A region with no lettering assignment · genericity
- A vertex creases the paper twice idealisation · vertex degree
- An alternating sum of angles genericity · kawasaki's theorem
- Crimp it away and ask again kawasaki's theorem · vertex degree
What links here
The 8 essays that link to this one and share the most of its objects, of 14 that link here.
The objects this essay names
Each one links to every other essay that touches it.
AssignmentGenericityIdealisationKawasaki's theoremSimple foldVertex degree