Origami & Folding
what one sheet can do
Concept

Non-crossing condition — where it appears

A rule forbidding one part of a folded sheet from passing through another. Two of them apply to a flat folded state: a panel may not lie between the two panels a crease joins where that crease runs across it, and two creases in the same place may not interleave. Both are necessary, so an ordering search that exhausts itself has proved the sheet cannot be folded.

Named by 12 essays across 4 fields — each of them below, with the objects they name alongside it.

the bar is the pairs of panels that lie over one anotherThe preliminary base288 panels · 12 rules · an ordering existsThe Miura fold22824 panels · 228 rules · not decidedThe square twist369 panels · 48 rules · an ordering existsThe hexagon twist6613 panels · 96 rules · an ordering existsThe Yoshimura pattern205565 panels · 1187 rules · not decidedFold and cut — the triangle217 panels · 15 rules · an ordering existsThe tapered corrugation28228 panels · 351 rules · not decidedThe waterbomb tessellation92652 panels · 654 rules · not decideda pattern with no bar has no two panels over one another, and its order is not a question

No height to swap

A folded strip is a permutation of segments, and the smallest change a hand can make to it is a swap of two heights: 672 stackings, 560 of them isolated. A folded sheet has no height. Its layers are ordered by statements about which panels share ground, and on every printed pattern the search can finish, the answer is one stacking and no way out of it.

flat-folding · Layer multiplicity the upper bar is the rim, the lower is the middlethe value is how many other panels an average panel of that kind lies overThe Miura fold18.0 · 21.016 at the rim, 8 away from itThe square twist8.0 · 8.08 at the rim, 1 away from itThe hexagon twist10.0 · 12.012 at the rim, 1 away from itThe Yoshimura pattern61.6 · 64.021 at the rim, 44 away from itThe tapered corrugation19.0 · 22.218 at the rim, 10 away from itThe waterbomb tessellation31.0 · 37.716 at the rim, 36 away from itthe difference is small and it has the same sign every time

The rim lies over less

A folded sheet's boundary is usually discussed as the place the theorems stop applying. It is also visible in the pile: a panel carrying a raw edge of the paper lies over fewer of the other panels than one that does not, on every printed pattern that has both kinds — 18.0 against 21.0 on a Miura, 31.0 against 37.7 on a waterbomb tessellation, and never once the other way round.

flat-folding · Boundary the square twist, sieved three timesevery lettering4,0962 to the 12passes every vertex2566.3% of themletters are consistent2524 force a loop of panelshas a folded state80.20% of themthe bars are on one scale, so the last one is the size of the answer against the size of the question

The lettering that folds nowhere

The conditions at a vertex admit 256 letterings of the square twist. Eight of them have a folded state. The other 248 satisfy developability, Kawasaki, Maekawa and the big-little-big lemma at every vertex of the pattern and cannot be folded by anyone — and this site printed one of them for years, at true scale, with instructions to fold it first.

flat-folding · Flat-foldability the bar is the average number of distinct folded statesevery printed pattern on this site has exactly one, and none of its swaps is legal2 folds1.1724 of 24 measured · 2 of 71 swaps legal3 folds1.3824 of 24 measured · 2 of 164 swaps legal4 folds2.1619 of 24 measured · 6 of 335 swaps legal5 folds2.336 of 24 measured · 0 of 121 swaps legala refused row is a sheet with too many panels to search, and refusals are counted rather than dropped

The crumple keeps its options

Every crease pattern this site prints has exactly one folded state and not one of its thirty-nine available rearrangements is legal. A sheet creased by folding it at random four times has an average of 2.16 folded states, one of them has nine, and six of three hundred and thirty-five rearrangements are legal. The sheet nobody designed is the one with room left in it.

material · Crumpling the bar is the number of foldings, on a logarithmic scaleboth routes give the number printed; a disagreement anywhere would be a defect in one of them2 × 122 letterings · 1 creases3 × 164 letterings · 2 creases4 × 1168 letterings · 3 creases5 × 15016 letterings · 4 creases6 × 114432 letterings · 5 creases2 × 288 letterings · 4 creases3 × 26032 letterings · 7 creases4 × 2320128 letterings · 10 creases3 × 31,368256 letterings · 12 creasesa strip of stamps is the one-row case, and the classical sequence 2, 6, 16, 50, 144 is the top of the table

The map counted from the layers

The classical map-folding counts are computed from a rule that never places a panel: work out which edge of the folded square each fold wraps around, and refuse the orderings that interleave two folds at one edge. Place the panels instead and order them by the general non-crossing rules, and the same numbers come out — 2, 6, 16, 50, 144, 8, 60, 320, 1368 — on nine sizes, by machinery that shares no line of code with the first.

complexity · Map folding the bar is the share of the population with a folded stateevery pattern in all four passes every condition at every interior vertexthe printed patterns4 of 80 cannot be placed · 0 cannot be ordered · 4 undecidedtwist tessellations2 of 125 cannot be placed · 2 cannot be ordered · 3 undecidedquadrilateral meshes2 of 60 cannot be placed · 4 cannot be ordered · 0 undecidedfold-and-cut patterns5 of 70 cannot be placed · 0 cannot be ordered · 2 undecidedundecided is a real answer here and is not rounded toward either side

A collision is an order

Paper passing through paper is treated here as a thing that happens during a motion and is caught by watching for it. At the flat state it is not an event at all: it is the absence of an ordering, and it can be proved rather than observed. Four of the six quadrilateral meshes this site solves for rigid folding place perfectly and admit no ordering of their nine panels — so every one of them must pass through itself, and none of them was ever driven to find out.

rigid · Self-contact the square twist, sieved three timesevery lettering4,0962 to the 12passes every vertex2566.3% of themletters are consistent2524 force a loop of panelshas a folded state80.20% of themthe bars are on one scale, so the last one is the size of the answer against the size of the question

Consistent is not foldable

The square twist has 4,096 mountain-valley labellings. Two hundred and fifty-six satisfy every condition at every vertex; two hundred and fifty-two of those have letters that do not contradict themselves; and eight have a folded state. So the cheap proof that reads the letters in one pass accounts for four of the two hundred and forty-eight failures, and the other two hundred and forty-four are refused by a search over orderings that nothing shorter replaces.

flat-folding · Layer multiplicity the bar is the nodes the ordering search visitedthe letters are consistent on every one of these, so the one-pass test says nothing about any of themmesh 37,4739 panels · 7,473 nodes · no order existsmesh 58,0079 panels · 8,007 nodes · no order existsmesh 89,3469 panels · 9,346 nodes · no order existsmesh 111,0159 panels · 1,015 nodes · an order existsmesh 141449 panels · 144 nodes · an order existsmesh 199,0629 panels · 9,062 nodes · no order existsa red bar is a pattern with no folded state, found only by visiting every ordering it might have had

Two refusals that refuse differently

Four of the six developable quadrilateral meshes this collection solves have no ordering of their nine panels — they must pass through themselves, and a search over every ordering proves it. On all four, the letters agree with themselves perfectly. The linear proof and the exponential search are not a fast test and a slow one: they answer different questions, and neither contains the other.

rigid · Self-contact the bar is how many letterings pass every condition at every vertexand the note is how many of those close a loop in the arcs2 by 122 panels · 2 letterings pass every vertex · 0 close a loop3 by 143 panels · 4 letterings pass every vertex · 0 close a loop4 by 184 panels · 8 letterings pass every vertex · 0 close a loop5 by 1165 panels · 16 letterings pass every vertex · 0 close a loop2 by 284 panels · 8 letterings pass every vertex · 0 close a loop3 by 2326 panels · 32 letterings pass every vertex · 0 close a loop4 by 21288 panels · 128 letterings pass every vertex · 0 close a loop3 by 32569 panels · 256 letterings pass every vertex · 4 close a loopa map's difficulty is not here — it is in the rules about which panels may lie between which

The test that never fires on a map

The cheapest refusal this collection has reads a crease list once and reports that no arrangement of the layers exists. Enumerate every labelling of every map from two panels to nine and it fires on four of the four hundred and fifty-four — all four on the largest map, none at all below it. On the oldest open problem in the subject, the cheap test has essentially nothing to say.

complexity · Map folding the bar is how many letterings of the mesh can have their panels stackedout of every labelling of its twelve creases, enumeratedmesh 3016 pass every vertex · 16 agree with themselves · arrived refusedmesh 5032 pass every vertex · 32 agree with themselves · arrived refusedmesh 8832 pass every vertex · 32 agree with themselves · arrived refusedmesh 11832 pass every vertex · 32 agree with themselves · arrived foldablemesh 141416 pass every vertex · 14 agree with themselves · arrived foldablemesh 19416 pass every vertex · 16 agree with themselves · arrived refusedtwo of the meshes have none at all, and two more were refused only at the lettering they came with

Refused at one lettering

Four of six quadrilateral meshes here have no arrangement of their nine panels — established by searching every ordering, at the labelling each mesh arrived with. Enumerate every labelling instead and two of the four fold perfectly well at a different one. What was reported as a fact about four meshes is a fact about two meshes and two labellings.

rigid · Self-contact the bar is how many letterings of the mesh can have their panels stackedout of every labelling of its twelve creases, enumeratedmesh 3016 pass every vertex · 16 agree with themselves · arrived refusedmesh 5032 pass every vertex · 32 agree with themselves · arrived refusedmesh 8832 pass every vertex · 32 agree with themselves · arrived refusedmesh 11832 pass every vertex · 32 agree with themselves · arrived foldablemesh 141416 pass every vertex · 14 agree with themselves · arrived foldablemesh 19416 pass every vertex · 16 agree with themselves · arrived refusedtwo of the meshes have none at all, and two more were refused only at the lettering they came with

A search with nothing to reorder

One search on a crease pattern costs eighty steps or fifteen thousand depending on the order it takes its decisions in. The other search on the same crease pattern costs 1,188,571 steps whatever order it is given — twelve permutations of the panels, twelve identical counts. The difference between them is one line of code that neither has and one has.

rigid · Self-contact one period of the square grid's twist tessellationa ring is where a crease leaves and returns on the far side40 crease pieces → 32 creases25 drawn panels → 16 panels16 vertices, every one interiorV − E + F = 0mountainvalleyraw edge

Two panels that are one panel

Paper cannot pass through paper, and every test for it compares pairs of panels. On a glued sheet two pieces of the drawing can be the same piece of paper — so a test that does not know the identification either reports a collision between a panel and itself, or misses one where the sheet meets itself round the loop.

rigid · Self-contact

Named alongside it

The objects these essays reach for when they reach for this one.

Folded stateLayer orderingLayer orderNecessary conditionEnumerationQuadrilateral meshSelf-intersectionThe taco-taco conditionPanelAssignmentCrease assignmentCrease pattern

All concepts