A tolerance is a direction
Assumes Solved is not built and Solving every face at once.
Cut a solved mesh’s every dimension a fifth of a millimetre wrong on a sheet 150 millimetres across and the closure is gone. Cut a Miura’s every dimension five per cent wrong and it still folds exactly, because what makes a Miura fold is a property of its structure and what makes a solved mesh fold is an equation.
Both halves of that are right — the Miura’s exactness comes from one vertex repeated and the mesh’s from a system of equations — and the first one has a hidden quantifier in it. A fifth of a millimetre is a size, and the errors it was measured over all pointed the same way. The solutions are not a point, and once that is taken seriously the number stops being a tolerance and becomes a tolerance in one direction.
Four equations in twenty lengths
A four-by-four quadrilateral mesh has twenty free lengths and four interior faces. Each face contributes one closure equation — walk the fold angles round that face’s loop and come back to where the walk started — and solving all four together is what makes the mesh fold.
Four equations in twenty unknowns do not have a solution; they have a solution set, and near any solution that set is a surface of dimension sixteen. The four is not an assumption: it is the rank of the closure’s own derivative, computed at the solution and reported with the singular values that produced it.
So a cutting error is a vector in a twenty-dimensional space, and the space splits into two parts that behave completely differently.
Across the surface — along one of the four directions the closure’s derivative points in — the residual grows in proportion to the step, which is the behaviour an error has when it has nowhere to go. That is the direction in which a fifth of a millimetre matters, and it is where the earlier number came from.
Along the surface — along any of the sixteen the equations do not see — the residual does not change to first order at all. What is left is second order, which is to say small and getting smaller as the step shrinks.
What the difference costs, in millimetres
Numbers, on a sheet 150 millimetres across, with the mesh’s own lengths at about one panel each.
A step of a hundredth of a millimetre across the surface leaves a closure mismatch of 8×10⁻⁴ radians. The same step along it leaves 1.3×10⁻⁸ — sixty thousand times smaller. At half a millimetre the two are 5×10⁻² and 5×10⁻⁵, a factor of about a thousand; and at the largest step measured the ratio is five thousand.
The ratio moves with the step because the two curves have different shapes: one is a straight line through the origin and the other is a parabola. On a logarithmic plot they have different slopes, which is the visible signature of first order against second, and it is the reason the phrase a tolerance of 0.2 mm cannot be repaired by choosing a better number.
The 0.211 millimetres is worth pausing on. It is, to three figures, the fifth of a millimetre the earlier rung reported — so nothing there was wrong. What was missing is that the number describes one direction out of twenty, and the other sixteen do not have one.
A random error is mostly harmless
The third line on the first figure is the one a manufacturer actually cares about, because a real error does not point along an axis anybody chose.
A direction taken without regard to the surface has a component along each part, and in twenty dimensions with only four of them constrained, most of its length lies in the sixteen. Measured: a random direction costs about six times less than the worst one, and within the whole range swept it never spends the budget at all.
That is not luck and it is not an argument for carelessness. Where an error goes in a quadrilateral mesh has an answer of its own — a mistake in one row has no consequence in that row — and this is the same fact counted in directions rather than in rows. It is a statement about proportions: the constrained subspace is a fifth of the whole, so a random unit step has about a fifth of its length in it. What it means practically is that the same tolerance specification produces wildly different failure rates depending on what the errors are correlated with — a systematic error, such as every panel cut from a template that is slightly wrong, points in one direction and can point in the worst one; independent random errors spread themselves over the space and mostly do not.
The measurement a workshop would recognise
Put the same numbers the way a drawing office would.
Take the mesh, cut every one of its twenty lengths wrong by the same amount, and ask how far the closure has drifted. That is one experiment with one answer, and it is the experiment behind every tolerance ever quoted. What it hides is that cut every length wrong by the same amount names a direction — the one where all twenty errors are equal and positive — and there was never a reason to think that direction was representative.
Three experiments instead of one:
The last column is the allowance for a budget of 0.02 radians:
| the errors point | 0.03 mm | 0.27 mm | allowance |
|---|---|---|---|
| across the surface | 3.2×10⁻³ | 2.6×10⁻² | 0.211 mm |
| without regard to it | 5.5×10⁻⁴ | 4.4×10⁻³ | never reached |
| along the surface | 2.0×10⁻⁷ | 1.3×10⁻⁵ | never reached |
The first row is the specification. The third row is the same twenty numbers rearranged. A workshop that hit the first tolerance would be paying for a precision that sixteen of its twenty dimensions did not need, and a workshop that missed it in a free direction would ship a mechanism that folds.
The two laws are in the table
The claim that one curve is first order and the other second is the whole of the argument, and the table above settles it without any appeal to the plot’s slopes.
Across the surface, the step goes from 0.03 mm to 0.27 mm — a factor of nine — and the residual goes from 3.2×10⁻³ to 2.6×10⁻², a factor of 8.1. A straight line through the origin would give nine, and the shortfall is the curve beginning to bend at the far end, where the mesh is approaching the point at which it stops folding at all.
Along the surface, the same factor of nine in the step takes the residual from 2.0×10⁻⁷ to 1.3×10⁻⁵, a factor of sixty-five. A parabola would give eighty-one. Nothing else in the neighbourhood of those two numbers is a plausible law: a straight line would have given nine and a cubic seven hundred.
The middle row settles the third claim. A direction taken without regard to the surface goes from 5.5×10⁻⁴ to 4.4×10⁻³, a factor of exactly eight — so it is first order too, as it must be, because a direction chosen without regard to a subspace is not orthogonal to it. What it is is first order with a smaller coefficient, and the size of that coefficient is the next question.
Why six, and not some other number
The random direction costs about six times less than the worst one, and that factor is not arbitrary. It is a consequence of the dimension count and can be predicted before the measurement.
A unit vector taken without regard to any particular direction in a space of twenty dimensions has, on average, a component of about one over the square root of twenty along any single chosen direction — which is 0.224, a factor of four and a half. The worst direction is the steepest of the four constrained ones, so four and a half is the factor to expect from the geometry alone.
The measured six is a little larger, and the difference is the spread among the four sensitivities. The constrained directions are not equally expensive: the closure’s derivative has four singular values and they are not equal, so a random vector’s cost is an average weighted across all four while the worst-direction cost uses only the largest. The more unequal those four are, the further the ratio rises above the square root of the dimension.
That gives the finding a shape a specification can use. The protection a random error enjoys is roughly the square root of the number of dimensions divided by the number of constraints — a property of the mesh’s size and shape rather than of the workshop — and it can be estimated from the drawing before anything is cut. A mesh with more free directions protects a random error better; a mesh with more faces protects it less; and neither fact is visible in any tolerance quoted per dimension.
The bar that is not drawn
The tangent allowance is reported as an absence rather than as a number, and it is worth saying what the number would have been and why it is not quoted.
Extrapolating the parabola gives a coefficient of about 1.8×10⁻⁴ radians per square millimetre, so a budget of 0.02 radians is spent at roughly ten millimetres — fifty times the across-surface allowance, and seven per cent of the sheet.
That number must not be used, and the reason is in the section above about where the model stops. Ten millimetres is far outside the neighbourhood the derivative describes; the surface curves, the free directions at the start are not the free directions ten millimetres away, and the mesh stops folding entirely somewhere past half a millimetre in the worst direction. An extrapolation across four orders of magnitude of a locally fitted parabola is arithmetic rather than a measurement. The honest report is that within the range where the measurement means anything, the tangent direction never spends the budget — which is what the empty bar says.
Which theorem was checked, and how
The claim is a claim about a derivative, so the derivative is computed rather than argued about.
The rank is measured. The closure’s Jacobian — one row per equation, one column per length — has its singular values computed by a Jacobi sweep on the small matrix its rows produce, and the number of them above a threshold is the count of constrained directions. It comes out four, at every solution reached from every starting mesh tried, and it must be capable of coming out lower: the whole point of the earlier rung was that a mesh whose crease families run straight is degenerate, and the rank is what detects that.
The tangent direction is constructed rather than found. The four rows are orthonormalised, a fixed pseudo-random vector has the row space projected out of it, and what remains is a direction the closure’s derivative cannot see. Fixed rather than random, so that the same figure is the same figure twice.
The residual is recomputed from scratch at every step. Nothing is linearised: each point of each curve is a mesh with different lengths, put through the same propagation that produced the original solution, and the mismatch reported is the one that propagation leaves.
The refusal is asserted. A step along the surface must have no allowance to report within the range measured, and if one were found the figure would say so rather than drawing an empty bar. That check is what makes the empty bar mean something.
Where the model stops
Past about half a millimetre the mesh stops folding at all. The last point of the worst-direction curve is not a residual: it is the propagation failing to find any configuration, which is a different failure from a large mismatch and is reported as one. The curves are drawn to the last point that is a residual.
Sixteen directions is a count at one point. The solution set is a surface and its tangent space turns as it is walked, so a direction that is free here is free here; a step large enough to matter has left the neighbourhood the derivative describes, which is exactly why the tangent curve is a parabola rather than a flat line.
Nothing here is a statement about how errors are distributed. There is no estimator, no error bar and no distribution anywhere in the measurement: each number is the residual of a stated perturbation of a stated mesh. The word random above describes one particular direction that was constructed without regard to the surface, and it is one direction rather than a sample of anything.
And nothing here is about a pattern that folds for a structural reason. A Miura folds because a crease family runs straight through every vertex, which is a property no perturbation of its lengths destroys; the surface described here is what a mesh has instead of that property.
And a mesh that closes is still not necessarily an object. Some solved meshes drive a panel through another at every angle of their motion, so a point on this surface can be a mesh that folds and cannot be built — a second condition on the same surface that no equation in it mentions.
What the picture cannot show
A twenty-dimensional space has been drawn as three lines. The three directions are real and the choice of them is not neutral: the worst one is the steepest of the four constrained directions, the tangent one is a particular member of a sixteen-dimensional family, and the random one is a single draw. A figure that showed the distribution of costs over all directions would be a better picture of the situation and would need a way to draw a sphere in twenty dimensions.
What the picture also cannot show is that the surface is curved. Every claim above is about a neighbourhood; the plot’s horizontal axis runs to a millimetre on a 150-millimetre sheet, and whether the sixteen free directions are still free at ten millimetres is a question the derivative cannot answer.
The idealisation, named
The panels are rigid and the hinges are perfect. A real hinge has clearance, and clearance is exactly a small amount of freedom in the fold angle — which changes the problem qualitatively, because a mechanism whose joints have play can absorb a closure mismatch that a mechanism with perfect hinges cannot.
That cuts in the direction that makes the finding matter more rather than less. Play in the joints widens the acceptable region around the surface of solutions; it does not change which directions are cheap and which are expensive, and a specification given as a single number is still describing one direction while being applied to twenty.
The generalisation
A tolerance is a property of a direction, not of a part. The habit of quoting one is not a mistake about arithmetic; it comes from the case everybody learns on, where a dimension is constrained by an equation of its own and the two coincide. Error is folded too makes the same correction to a different intuition: an error does not stay where it was made. A system with more unknowns than equations has a solution set with shape, and on a set with shape the question how far may this be wrong has a different answer at every angle.
The practical form is a rule about specifications. A dimension that is free should be specified loosely and a dimension that is constrained should be specified tightly, and which is which is not visible in the drawing — it is the null space of a derivative, and it takes a linear-algebra step to find. Specifying every dimension to the tightest of them is expensive; specifying every dimension to the loosest is a mechanism that does not close.
And the surprising half, which is the one worth carrying: being close to a solution is not the same as being close to the solution set. A mesh cut half a millimetre wrong in a free direction is nowhere near the mesh that was designed and is exactly on the surface of things that fold. The design was never the point; the surface was.
Where the ladder goes next
Two directions lead out of here and only one of them is short.
The short one is the specification: turning the four constrained directions into a set of dimensions a workshop could be given, which means expressing a direction in length space as a statement about particular panels — a change of basis, and a piece of engineering rather than of geometry.
The longer one is the surface itself, and it is the same freedom the family the Miura belongs to describes from the inside. Sixteen dimensions of solutions is a great deal of freedom, and none of it has been used for anything: a designer who needs a mesh that folds and is solid and has panels above some minimum size is choosing a point on that surface subject to conditions nobody has written down. What the surface is for is the question this rung leaves open.
What this makes readable
Essays that name this one as a prerequisite.
Named alongside this one
Essays reaching for the same objects. Nobody chose these; they are what the concept index makes visible.
- The motion has no letters to choose closure · fold angle · quadrilateral mesh · rigid folding
- One crease decides the sheet fold angle · quadrilateral mesh · rigid folding
- The condition that is not flat-foldability closure · fold angle · quadrilateral mesh
- The hardest instant fold angle · quadrilateral mesh · rigid folding
- A loop takes choices away quadrilateral mesh · rigid folding
- Only four creases decide a Miura quadrilateral mesh · rigid folding
What links here
Every essay whose body links to this one.
The objects this essay names
Each one links to every other essay that touches it.
ClosureFold angleQuadrilateral meshRigid foldingSensitivityTolerance