Self-intersection — where it appears
Named by 8 essays across 2 fields — each of them below, with the objects they name alongside it.
Local is not global
Every vertex can satisfy every condition and the sheet still not fold. Deciding whether a whole crease pattern folds flat is NP-hard, which means no figure will settle it and no algorithm will scale.
Which layer goes on top
The mountain-valley assignment says which way each crease turns. It says nothing at all about which sheet ends up above which, and that second question is a different object with its own rules — and all of the difficulty.
Paper through paper
Every test the subject has for rigid folding is a statement about a neighbourhood, and a neighbourhood cannot see the far side of the sheet. So a pattern can satisfy all of them while driving one panel straight through another, and the sharpest witness has no interior vertex in it at all.
Closing is not building
A quadrilateral mesh solved so that every loop closes to within a millionth of a radian is a mesh whose fold angles are consistent. It is not necessarily an object. One of the six solved here drives a panel through another at every angle of its motion — there is no part of the fold at which it could be made of solid panels — and the pair that crosses is two steps apart in the sheet, where nothing evaluated at a vertex could see it.
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.
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.
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.
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.
Named alongside it
The objects these essays reach for when they reach for this one.
Layer orderingNon-crossing conditionQuadrilateral meshNecessary conditionPanelEnumerationLayer orderRigid foldingStackingThe taco-taco conditionAssignmentBoundary