Self-contact — the series
-
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.
-
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.
-
An order with no least element
Enumerating every way a folded pattern can be stacked works by building upward from a panel with nothing below it. The smallest square twist patch has exactly one such stacking and takes eleven thousand steps to find it. The pattern that patch was cut from has no panel with nothing below it at all, so the enumeration has nothing to start from — and the sheet is perfectly well stacked anyway.
-
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.