Assignment — where it appears
Named by 73 essays across 8 fields — each of them below, with the objects they name alongside it.
Two conditions at a point
Whether a single vertex folds flat is decided completely by two tests — one on the angles, one on the assignment. They are independent, they are easy to check, and together they settle the case entirely.
Why the difference is two
Maekawa's theorem says mountains and valleys differ by exactly two at every flat-foldable vertex. The constant is not empirical — it is a full turn, and the theorem is about winding rather than about paper.
The smallest sector decides
Two assignments can satisfy both flat-folding theorems and only one of them folds. What separates them is a condition about the smallest angle, and it is the first rule in the subject that is not about counting.
One vertex, repeated
Take a single flat-foldable vertex and tile the plane with it. The sheet stops being a sheet and becomes a material — with a stiffness, a packing behaviour and a Poisson's ratio that the paper never had.
How many assignments fold
The local conditions throw away most of the ways a pattern could be creased. They throw away a smaller and smaller fraction as the pattern grows, and what survives grows faster than what is discarded — which is why a strong filter is not a decision procedure.
The gadgets that make it hard
Flat-foldability is NP-hard, and the proof is a construction rather than an obstruction: a machine for turning any satisfiability problem into a sheet of paper that folds exactly when the problem has an answer.
A state no motion reaches
Flat-foldability asks whether a folded state exists. Rigid-foldability asks whether there is a path to it. The two sets are different, and the difference can be counted on a single vertex.
Which polygons twist
Twist tessellations come in three kinds — triangle, square, hexagon — and it is natural to read that as a fact about twists. It is not. A twist can be built around any regular polygon and every one of them folds; what stops at three is the tiling, and the tiling is a fact about the plane.
Found before it was designed
Crush a thin cylinder and it falls into a diamond lattice. That pattern was published in aeronautics in 1951, twenty years before anybody designed with it — and what the buckling load chose was not only the creases but the mountain-and-valley assignment, which is the part a designer gets wrong.
More than one way to lie flat
A crease pattern with its mountains and valleys marked is spoken of as though it named a folded object. It does not. The legal stackings can be counted exactly in one dimension, the count is routinely more than one, and its size is a property of the pattern that nobody quotes.
Fenced at both ends
The twist angle of a tessellation looks like a free dial, and it is fenced twice. Turn too far and the pleats have no paper left. Turn too little and something stranger happens: every angle condition in the subject goes on holding and the pattern loses its mountain-valley assignment entirely.
The creases a sheet gives itself
A crease pattern drawn at random satisfies the flat-folding condition at essentially none of its vertices. A sheet crumpled at random satisfies it at every single one, on every seed, at every size — and the reason is a tautology that is very easy to miss.
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.
Where the lemma says nothing
The big-little-big lemma asks for a sector strictly smaller than both its neighbours, and the word doing the work is strictly. At a vertex whose two smallest sectors are equal the lemma has no opinion at all — and those are the vertices origami actually uses. The count of markings the conditions admit doubles, discontinuously, at exactly the angles everybody folds.
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.
The dial that decides nothing
Turn a twist tessellation's angle from one fence to the other and every measurable thing about it changes: the smallest sector goes from 88 degrees to under one, the pleats swallow a quarter of the sheet and then almost none of it, the folded footprint changes by a third. The number of ways it can be creased does not change at all — sixteen, at every angle tested — because the lemma reads which sector is smallest and never how small.
The whole alphabet of a grid
Box pleating is defended as a trade — give up packing efficiency, buy creases that land where they should. There is a third thing it buys and it is much stronger than either: on a forty-five degree grid there are exactly six kinds of interior vertex a flat-foldable design can contain, ever. On a thirty degree grid there are thirty.
The pieces without the list
The letterings a pattern folds in fall into pieces no folder can cross, and the count was found by writing every lettering down — which stops at eighteen creases. The Miura has thirty-eight, the Yoshimura eighty-six, and the number of pieces can be read off the drawing without listing anything: four million and two hundred and eighty-one million million.
The symmetry the letters cannot keep
Every pattern in this subject is drawn symmetric and the symmetry is always quoted of the drawing. A folded object is a drawing and a lettering together, so a symmetry survives only if the letters keep it — and the preliminary base loses every rotation while the square twist, drawn with the same eight, loses the other half.
The decision a crumple has taken
A sheet crumpled at random satisfies every condition in the subject, because it just folded. It also wrote itself a lettering — one of very many the pattern admits — and it is now in a piece of that space it cannot leave: at six folds a crumpled sheet carries thirty-nine buried creases, which is half a million million million pieces, and every change it admits stays inside one of them.
A cut is not local
Cutting one crease of a square twist takes its letterings from sixteen mutually unreachable pieces to two. The cut crease is one of the four that were settled when the pattern was drawn — and it takes two others with it, because the vertices it releases were the far ends of those. Even a cut along a crease that was never settled quarters the count.
Thirty-two rules, thirty-two pieces
The waterbomb tessellation's surviving repeating rules fold to one object — same panels, same places, same areas. Put them in the space of letterings the patch admits and they occupy thirty-two different pieces of a quarter of a million, so no two of them can be reached from one another without unfolding the sheet.
A proof in one pass
Deciding whether a crease pattern has a flat folded state is hard, and the search that decides it gives up at twenty-four panels. One line of the same machinery does not search at all: each crease says which of the two panels it joins lies above the other, and a circle in what those statements demand is a proof that no folded state exists. It costs one pass over the crease list, and on a tessellation patch of a hundred and fifty-seven panels it answers in milliseconds.
The loop a vertex cannot close
A crease pattern's letters can contradict themselves, and the contradiction is never local. Enumerate every mountain-valley labelling of a single interior vertex at degree four, six and eight — a hundred and fifty pass every condition the subject has — and not one of them sends its panels round in a circle. The one labelling that would is refused by Maekawa, alone: Kawasaki holds on it and so does the big-little-big lemma.
The loop is not the tangle
A search that finds a contradiction in a pattern's letters reports the first circle it meets, and on a tessellation patch that is eight to twelve panels of forty-nine. It reads as a local fault. Decompose the same arrows a second way and the set of panels that lie on some circle is thirty-five of forty-nine on the square patch and ninety-nine of a hundred and fifty-seven on the rhombille — which is why the smallest available repair does not reach it, and cannot be tried on most of the creases at all.
A contradiction is even
A crease pattern's letters can demand a circle of panels each of which lies below the next, which is a proof that the sheet has no folded state. Every such circle found here — one thousand one hundred and forty-nine of them, across every family of patterns this collection draws — has an even number of panels in it, and none has four. Both facts are theorems rather than observations, and they come from opposite ends of the subject.
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.
Letters that agree get rarer
Two hundred letterings drawn independently from a square twist tessellation patch, and twenty-six of them have letters that do not contradict themselves. On the next patch up it is five, then two, then none, then none. What the share falls with is not the size of the patch and not the angle of its twist: it is the number of independent closed chains its panels form, which is Euler's relation on the drawing and is fixed before a single letter is chosen.
A corrugation agrees with itself
A Miura fold of forty-eight panels and a twist tessellation patch of forty-nine have almost exactly the same number of independent closed chains for their letters to contradict themselves round — thirty-five against thirty-six. Sixty-four per cent of the Miura's drawn letterings are consistent and thirteen per cent of the patch's. A Yoshimura at thirty-three chains manages ninety-three. The room to fail sets the scale; the construction decides where in it a pattern lands.
The rule that breaks the count
The waterbomb tessellation has five hundred and twelve repeating rules for its letters and thirty-two of them fold. A hundred and twenty of the other four hundred and eighty send four panels round in a circle — the shortest circle a crease pattern can have — and every single one of those hundred and twenty has broken Maekawa's count at the very vertex the circle goes round. The theorem that closes the shortest circle, caught doing it, a hundred and twenty times.
A population that cannot fail
Thirty-three crease patterns are kept here to run the checkers over, and every one of them has letters that agree with themselves. That is not a property of the patterns. It is a property of how they were made: each came from a construction that returns a lettering, so a test looking for letters that contradict themselves has nothing to fire on. Reletter the same thirty-three and the failure is available at once — on one member, four of sixty redraws.
The letters a crumple was given
A sheet creased by folding it and folding it again arrives with a mountain-valley labelling that cannot be wrong, because a folding produced it. Nothing about the pattern protects it: reletter the same creases and the share of labellings whose letters agree falls from every one of forty at eight panels to eleven of forty at forty-one. The foldability of a crumple is a fact about its history, not about its drawing.
One cut removes one arc
A crease pattern whose letters contradict themselves has, in principle, an obvious smallest repair: cut one crease and the statement it was making goes away. Cut every crease of four tessellation patches in turn — four hundred and seventy-four cuts — and sixteen of them leave a sheet whose panels still land anywhere at all. A cut gives the paper a freedom, and a sheet with a freedom in it has no folded state to order.
A tree cannot argue
A molecule fills a polygon with creases taken from its straight skeleton, and a straight skeleton is a tree. So a molecule's panels have almost no closed chains for its letters to contradict themselves round — one to three, against thirty-six on the smallest tessellation patch. Two hundred and eighty independent letterings across seven outlines, including an L and a five-pointed star, and not one of them disagrees with itself.
The file records no verdict
A crease pattern file records vertices, edges and letters. Every one of the square twist's two hundred and fifty-six admissible letterings makes a perfectly valid file, and two hundred and forty-eight of them describe an object that does not exist. The format has a field for the layer order — the one thing that would settle it — and nothing fills it in, so a file is a drawing rather than a claim, and the field exchanges them as though they were claims.
The first thing about layers
A folder is taught four conditions at a vertex, or is taught nothing at all, and neither one says anything about the layers — which is where most of what goes wrong actually goes wrong. There has never been a rule about layer order simple enough to teach, because the question is global and every answer to it was a search. A chain of panels whose arrows all point the same way is the first one that fits on a finger.
The taper decides nothing
A leaf's corrugation narrows toward its margin, and the taper is what the pattern is for. It has no effect whatever on how often the pattern's letters agree with themselves: four width profiles from perfectly even to strongly tapered give a hundred and seventy-four consistent letterings of two hundred, identically. What moves the number is the count of rows, and on that measure a leaf tracks a Miura rather than the corrugation it most resembles.
The lettering nobody could draw
Two hundred letterings drawn at random from the rhombille tessellation patch, and not one of them agrees with itself. Two thousand, and still not one. The patch was left as an open question — and it has an answer, found in five hundred and sixty-one steps by a search that tests the arcs while it is choosing the letters instead of after it has chosen them all.
Which condition does the refusing
A search for a lettering carries five conditions: developability, Kawasaki, Maekawa, the big-little-big lemma, and the demand that the arcs the letters force have no circle in them. Run it on five tessellation patches and count what makes it take a letter back. The four everybody checks refuse nothing at all. Every single backtrack is the fifth.
One solution of a search nobody ran
A crease pattern arrives with its letters already on it, and they look like part of the drawing. They are not. Every construction here ends in a propagation, a propagation ends wherever its first guess took it, and the lettering that comes out differs from the one a search finds on between a half and three-fifths of the creases — on patterns whose own letters are perfectly good.
Every move leaves the verdict
The only change a folder can make to a lettering without breaking it is to push one vertex through, flipping two creases at once. Try every such move on five tessellation patches, from two different letterings each: nineteen of two thousand nine hundred and sixty-four survive the conditions, and not one of the nineteen turns a lettering that agrees with itself into one that does not, or the other way about.
Sixty-four rules, sixteen fold
The Miura fold's letters are usually given as a recipe: rows one way, columns changing at every row. Write down every rule of that shape — the letter on a crease depending only on which row and which column it is in — and there are sixty-four. Sixteen fold flat. They are exactly the ones whose columns change at every row, the row letters do not matter at all, and every one of the forty-eight refusals is the counting theorem's alone.
Rare is not hard
Crumple a sheet deeper and the share of its labellings that agree with themselves falls from thirty-four in forty to eleven. The number of steps a search needs to find one of them does not move at all: it stays at about one per panel, with no backtracking, the whole way down. How often an answer turns up at random and how much work it takes to find one are different quantities, and a crumpled sheet is where they come apart.
Half the recipe is decoration
Every account of the Miura fold gives its letters as two instructions: the rows go one way, and the columns change letter every time they cross a row. Enumerate all sixty-four repeating rules and the second instruction is the whole of the condition — all four ways of writing the rows appear among the sixteen that fold, in every combination. The first instruction has never constrained anything.
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.
What a grid costs in circuits
Box-pleating puts every crease on a square grid, and a square grid is the shape with the most short circuits per panel that this collection draws. On the sixteen-by-sixteen grid a designer actually works on, one mountain-valley labelling in a hundred agrees with itself. A search still finds one in two hundred and sixty-one steps.
The leaf's rules are the Miura's
A plicate leaf packs into a corrugation that is broad in the middle and narrow at both ends. Enumerate every repeating mountain-valley rule it admits and the table is the Miura fold's table, rule for rule, number for number — and it stays that table when the leaf is redrawn with even columns, a violent taper, taller rows or a steeper zigzag. The plant's geometry cannot reach its own letters.
The difficulty was in the coin
One tessellation patch, one search, one test at every node — and a cost that runs from eighty-six steps to fifteen thousand depending on nothing but the starting seed. The heavy tail is real, it was measured carefully, and it was made by a single line of the search that nobody had thought of as a choice at all.
The order that is its own mirror
Trying a mountain first and trying a valley first are two different searches, and on a hundred and forty-two crease patterns they cost the same number of steps — not on average, not nearly, but identically, pattern for pattern. The reason is a symmetry of every condition the subject has, and it is four lines long.
Which choice the cost lives in
A backtracking search takes two decisions at every step — which thing to decide, and what to decide about it. The literature is almost entirely about the first. On these crease patterns the whole of the cost was in the second, and the structural improvement everybody reaches for first makes matters worse on fifty-two patterns out of eighty-seven.
The order that proves nothing exists
Twelve crease patterns with no consistent lettering at all. Proving it takes fifteen steps under one rule and half a million under another — and on three of the twelve the two rules swap places, so neither is the good one. The cost of a negative is two to the power of how many free choices sit above the contradiction.
One witness or forty
Taking the randomness out of a search made it three orders of magnitude cheaper in the worst case and cost it thirty-nine of its forty answers. The compromise everybody reaches for — randomise only the choices that cannot matter — recovers four of the forty on two patches and none on the other three, because the diversity was never where it looked.
A region with no lettering
One turn angle at which a tessellation patch has no consistent lettering was found by sweeping a dial. Sweeping two dials finds nine patches with none, across three tilings, filling a corner of the parameter space — and never touching the square tiling, whose sectors have no sixty degrees to cross.
A corrugation never backtracks
As a box-pleating grid goes from two divisions to sixteen, the share of random letterings that agree with themselves falls from a hundred in a hundred to one. The cost of finding one that does stays at exactly one step per panel — four, nine, sixteen, twenty-five, and two hundred and fifty-six — with not a single wrong guess anywhere in the family.
A crumple has no tail
The least structured crease pattern this collection can produce is a sheet folded at random and flattened. Its consistent letterings get rarer as it deepens — thirty-four of forty down to eleven — and finding one costs one step per panel from beginning to end, with no wrong guess anywhere. Disorder and difficulty turn out to be unrelated quantities.
Ninety-nine in a hundred pass
A designer checks a box-pleated pattern the way every text teaches: vertex by vertex, counting mountains and valleys, watching the smallest sector. At sixteen divisions that check passes a hundred letterings in a hundred, and one of them folds. The check that separates them costs a single sweep over the crease list and is in no recipe anywhere.
The plant's pattern is not a hard case
A hornbeam leaf packs into its bud by corrugating, and the pattern it uses gives up a consistent lettering at nine, twelve, fifteen, eighteen, twenty and twenty-four steps on nine, twelve, fifteen, eighteen, twenty and twenty-four panels. Nothing about the plant's problem is combinatorially difficult, and saying so is worth as much as finding a case that is.
What the rim was doing
One rectangle of a twist tessellation, cut out of the plane in the ordinary way, gives up a consistent lettering in forty-eight steps. Join its opposite edges so that no crease is divided and the same drawing, at the same vertices, under the same conditions, takes fifty-six thousand seven hundred and seventy-two. The edge of the paper was never the difficulty. It was the slack.
A loop that goes somewhere
Every crease says which of its two panels lies above the other, and a loop in those statements is a proof that the pattern has no flat folded state. On a sheet with no edge that sentence is false. The loops of a periodic pattern carry a lattice step each, and a loop that ends one cell to the right is not a contradiction — it is a stack of paper with no bottom layer.
The lettering that was proved impossible
A search closed its whole tree on a glued square tessellation and reported that no mountain-and-valley assignment of it is consistent. Written onto ordinary patches of one, four and nine periods and handed to the four vertex theorems and a folded sheet rebuilt from scratch, the assignment it says cannot exist passes every check, on four tilings, up to fifteen hundred creases.
The rim is four letters a cell
Cut a rectangle out of a tessellation and it asks exactly the vertices the tessellation asks, exactly the same questions. What it adds is four free letters for every period of edge — the creases the cut divides, which become two independently answerable creases instead of one. Eight letters on a two-period square, sixteen on a four-period one, and nothing else about the two objects differs at all.
The bottom layer is at the rim
A hundred and sixty-nine panels of folded tessellation, and three of them have nothing underneath. All three touch the paper's edge, and the same is true on every tiling at every size measured. Which panel is at the bottom of a stack turns out to be a fact about where the sheet was cut rather than about the pattern, and the pattern itself has no bottom at all.
One step per panel is a table size
Four families of crease pattern search at exactly one step per panel — a grid at nine sizes, a leaf, a Miura, six crumples — and it was read as a law about patterns that fill their own sheet. It is a number: the conditions at each of their vertices admit eight labellings. Where the conditions admit four, the cost is half. Where they admit thirty, it moves again, and the same pattern at two proportions demonstrates it with everything else held still.
Six creases and the same straight line
The one family here whose vertices are degree six was said to break the arithmetic that every other family obeys, on the strength of a single pattern. Built as a family — six sizes from twenty-one panels to a hundred and nineteen — the Yoshimura is exactly as linear as a grid, with no decision ever withdrawn. What degree changes is the constant, and it changes it in both directions depending on one angle.
A knife edge nine decimals wide
Draw the Yoshimura with its rows 1.7320508 half-columns tall and each vertex admits thirty labellings and the pattern costs fifty-seven steps. Draw it at 1.7320509 and each admits eight and it costs nineteen. The number between them is √3, which is the proportion everybody draws — and below it the sectors are unequal and the lemma is still silent, because the small ones sit next to each other.
Pruning on proofs alone
A search that discards a branch it cannot prove wrong is not a search. Deciding whether a periodic pattern's layer relations really contradict themselves is far dearer than the disc's one-pass test, so the cheap test is asked first — it is sufficient, so it settles almost everything — and the expensive one runs only on what the cheap one rejects. Five of nine steps on a small cell, fifty thousand of fifty-seven on a large one.
The cost of proving something false
A search closing its whole tree is the strongest result this collection can produce, and on a glued tessellation it produces one that is wrong. What it costs to reach is three steps at one period, thirty-five at four, three thousand four hundred and fifty-five at nine, and more than two hundred thousand at sixteen — growing far faster than the cost of finding the lettering it says does not exist.
The most decided vertex here
Sixteen ways to letter four creases; Maekawa allows eight; the big-little-big lemma allows four. A twist polygon's corner is one of the few vertices in this collection where the second cut applies, so it keeps four labellings where a grid, a leaf, a Miura and a crumple all keep eight — and the family the collection long called difficult turns out to be the one whose conditions decide the most.
The designer's grid is the dearest thing here
Two hundred and fifty-six panels of box-pleating grid take two hundred and fifty-six search steps to letter — exactly one per panel, at every size from two divisions to sixteen, with not one decision withdrawn. That is the most any pattern in this collection costs per panel of paper. A twist tessellation costs half of it, and a tilted corrugation a quarter.
A test imported without its hypothesis
The rule that a loop in a folded sheet's layer relations proves the pattern cannot fold arrives from the layer-ordering literature, where the sheet is a disc and the panels are finitely many. This collection took the rule and not the sentence that says which sheets it is about, then applied it for years to patterns whose whole interest is that they repeat.
Nothing grown was cut out of anything
A leaf's corrugation costs twelve steps on twelve panels, sixteen on sixteen, twenty on twenty, twenty-four on twenty-four — exactly one per panel at every geometry, which is the most any pattern here costs. A tessellation patch costs half that, and the reason is that somebody cut it out of something. A leaf's creases stop at the margin because the plant stopped there.
A recipe needs degree four
The Miura's letters are taught as a recipe of same-and-differ clauses, and the recipe is exact: the sixteen repeating rules that fold are precisely the rules two clauses allow. The Yoshimura's twenty-six cannot have such a recipe, because twenty-six is not a power of two. The waterbomb's thirty-two is a power of two and still has none — its clauses allow sixty-four rules and half of them fail. The difference is one vertex: at degree four the counting theorem leaves a parity, and at degree six it leaves 'not all alike', which no clause of that kind can say.
Two sentences for the Yoshimura
No recipe made only of same-and-differ clauses picks out the Yoshimura pattern's twenty-six folding rules, because its vertices have six creases. A recipe allowed one other kind of sentence does, and it is short: an even number of the four zigzag classes are mountains, and no course carries the letter all four zigzags share. That is three clauses, one parity and a prohibition for each of the pattern's two kinds of vertex, and it allows exactly the twenty-six. The waterbomb tessellation, with four kinds of six-crease vertex, needs three parities and only two prohibitions, because its parities do half the prohibiting.
Named alongside it
The objects these essays reach for when they reach for this one.
Layer orderingMaekawa's theoremTessellationSearch costFlat-foldabilityNecessary conditionConstraint propagationLayer orderThe big-little-big lemmaCrease patternPeriodicitySearch