How much coincidence a flat-foldable pattern is
kawasaki-residual is one function. Everything below was drawn by it when the site was
last published, at settings taken from the essays rather than invented for this page — so a figure
here is the same figure a reader meets in an essay, and when the generator changes, this
page changes with it.
With nothing specified
view: "distance", trials: 40000
view: "random", trials: 40000
view: "jitter", jitters: [0.002, 0.005, 0.01, 0.02, 0.04], cols: 4, rows: 3
What it checked while it drew
Collected while it drew, not written by hand. The count is how many separate times that claim was put to the test.
- over 40000 random vertices the fraction within a tolerance falls as that tolerance to the power of the number of vertices ×3
- moving 6 vertices by as little as 0.002 of a cell leaves none of them flat-foldable ×2
- moving each of a vertex's four sectors by a quarter of its residual makes the alternating sum exactly zero and leaves the angles summing to a full turn ×1
- only 1.6% of random vertices are within one degree per sector of folding flat, so a near miss is nearly as rare as a hit ×1
Where it is called
Every figure listed here is drawn by the same rule, so a mistake in the rule would be in all of them at once, and so would a correction.
A near miss is nearly as rare
Flat-foldability is a coincidence of measure zero, which is usually where the argument stops. Measure how far a random vertex is from folding rather than whether it does, and the answer is thirty-one degrees a sector — so the tolerance real paper has does not buy back anything at all, and a pattern that nearly folds had to start near one that did.
A no costs more than a yes
When a folding question comes back yes, it comes back with an object: a labelling, a stacking, a folded state that anybody can check in one pass. When it comes back no, it comes back with nothing but the assurance that a search looked everywhere — and that assurance is the first thing to break.
Almost every pattern fails
Kawasaki's condition is one equation for each interior vertex, and a drawing satisfies an equation with probability zero. Every pattern on this site folds because it was constructed to, and the fraction that would fold by accident can be measured.
All the figures · The flat-folding field · The patterns a reader can fold