Interference — where it appears
Named by 22 essays across 7 fields — each of them below, with the objects they name alongside it.
A link that takes up room
For twenty-three fields a link on this site has been a distance between two points, and a distance cannot collide with anything, because it is not anywhere. Give every link a body and a question arrives that none of the constraint equations can ask.
A gap is a number
A collision test that answers yes or no cannot say by how much, and therefore cannot say what would fix it. The quantity this field is built on is one signed number: positive is a gap, negative is how far the parts would have to be moved to stop overlapping.
A shape with a dent in it
The separating-axis theorem is not approximately right about a non-convex shape; it is wrong, and it returns a confident number while being wrong. The repair is to cut the shape into convex pieces — and the shortcut everybody takes instead adds a hundred per cent more material.
A gap with corners in it
The clearance between two parts is a function of the crank angle, and it is not a smooth one. It has a corner wherever the closest pair of features changes hands, so its minimum is not where a derivative vanishes and is not at either end of the travel.
A sweep that missed nothing
A swept clearance check looks at finitely many positions of a machine that has infinitely many, and cannot report what it did not look at. Here is a twelve-sample sweep declaring a machine clear by 0.007 while it is 0.010 inside a stud — and the bound that refuses to certify it.
Two bars that have to cross
The site's own four-bar has its coupler inside its frame by a full link width for the whole of a turn. It is not an impossible mechanism; it is a mechanism that cannot be built in one plane — and the plane it has been drawn in for twenty-three fields was a convenience nobody had to pay for.
A plane is a colour
Assigning links to parallel planes so that no two conflicting parts share one is a graph colouring, and the answer for a four-bar is three. Then the pins have to get through, and the problem stops being a colouring: of the six proper three-plane colourings, two can be built.
The room a machine sweeps
Every point any part of a machine occupies at some position of its drive. It is a region rather than a curve, its area is an integral computed two ways, and the one shape in the field with a closed form is what the grid is calibrated against.
The hole the machine needs
A four-bar's joints fit in a box five units by four. Its material needs a box twenty per cent larger in area, and fills barely half of it. Both numbers are design quantities, and until a link had a width neither could be stated.
Where a hinge pin can go
A cabinet door's front corner moves sideways as it opens at a rate equal to how far the pin sits behind it, so with the doors touching, no pin behind the door's face can open one without going through the next. Three millimetres of gap buys nine and a half millimetres of depth, and that is the whole reason a concealed hinge has four bars instead of a pin.
The crank that cannot turn all the way
Grashof's inequality says which four-bars turn fully. Ask instead how wide their links may be with a bearing at each ground pivot, and the same inequality answers the opposite question: every four-bar that turns all the way round sweeps a link straight over one of its own pivots.
Free space comes in pieces
Every arc on this site has ended at a configuration the mechanism cannot reach. Put two studs in a four-bar's way and its drive falls into two arcs whose ends are configurations it reaches perfectly well and cannot occupy — and no quantity the solver computes tells one arc from the other.
The cutter takes back the tooth
Undercutting is usually explained as a shape: a tooth with a waist in it. It is better understood as an event — the corner that leaves the fillet comes back through flank the straight edge has already generated — and seen that way the threshold at seventeen teeth is a comparison of two measured points that passes through zero.
Where two shapes stop touching
A conjugate pair is exact at every instant it has a contact. It does not have one for ever: a profile is an arc rather than a curve, and both ends of that arc are somebody's decision — which is why the useful question about a pair of shapes is not whether they mesh but for how long.
The gap is a straight line in the metal
Thickening every link by the same amount subtracts the same amount from every clearance, exactly, and moves the angle at which the worst one occurs by nothing at all. So a whole swept check can be done once on bars of any width and every other width read off by subtraction — until the closest pair changes hands, and never past zero.
The regions overlap and the parts never meet
A swept region is a projection along time, and a projection cannot be undone. Chebyshev's two arms share thirty-six per cent of the ground the smaller of them covers and never come within twice a link's width of each other — a false alarm the region test cannot avoid, and one it cannot make at all against anything that stands still.
Six things a body is not
A verdict read as a measurement, a hull read as a part, a sweep read as a proof, a drawing read as a configuration, a geometry read as a force, and a plane read as a place. Six claims, each of them what a careful person would say, each answered with a number.
A link may be bent
A link is two pins at a fixed distance and the metal between them is a free choice. Bending it moves no joint of the mechanism by more than 10⁻¹³ and moves the clearance by a tenth of a link length — enough to build a machine that a straight bar refuses, and worth exactly nothing against a bearing pedestal the link sweeps over.
The disc decides the pin count
A Geneva's pin count is usually bounded by the slots: p indexes must not overlap, so fewer than 2n/(n−2) pins fit. The other half of the mechanism has its own inequality and nobody had measured it. The locking disc must be cut away wherever the wheel passes through it, that cut-away is wider than the index sweep at every slot count, and it is the binding condition everywhere — one pin only, from four slots upward.
The arm that hits itself
A three-link arm's joint space is a cube of angles and it may not use a fifth of it, because its own material is in the way. The forbidden set does not depend on where the arm is pointing — which is why it can be drawn as a picture rather than described as a volume.
Where the boundary moved
Three phases ago this site drew a line around what it computes and listed one thing on the far side as a gap rather than a boundary: interference between links, which needed no new physics, only a body and a test. Here is what that turned out to cost and what it turned out to open.
A clearance inside a tolerance box
Every quantity derived from the lengths becomes an interval when the lengths become ranges. This one has a sign, and an interval that reaches zero is not a wider answer to the same question — it is a different answer, because on that side of it the parts do not go together.
Named alongside it
The objects these essays reach for when they reach for this one.
Link bodySigned clearanceWitness pairClearanceDesign ruleFree spaceLayer assignmentSwept regionBearing pedestalBossConfiguration spaceConvex hull