Interference — where it appears
Named by 28 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 in these essays 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 in these essays 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.
Four arcs and the false alarm is gone
A swept region forgets when, so two parts whose regions overlap may never meet: Chebyshev's two arms share 4.66 square units of ground and never come within 0.38. Cut the drive into arcs, sweep each part over each arc, and compare regions only arc against the same arc. The test stays sound and costs the same sweep, and it forgets less with every cut. Four arcs clear Chebyshev's arms and eight clear Peaucellier's worst pair. A certificate that needs no grid asks for three times as many, and the same arms made wide enough to touch are refused at every number of arcs.
A flat holds the wheel to second order
A Geneva wheel is held between indexes by a disc on its driver sitting in a concave arc, and that disc is so large that one pin is all a wheel of four slots or more can carry. Hold the wheel on a flat chord instead and the disc must shrink to the crank times sin(π/n). Its cut-away falls from 236° to 127° on six slots, and a second pin fits at every count from four to twelve. The cost is the hold itself. An arc lets the locked wheel rock in proportion to the running clearance and a flat as its square root: 0.022° against 1.48° at a clearance of 0.02 on a crank of 30.
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.
Three arcs, cut in the right places
Equal arcs clear Chebyshev's two arms at four and Peaucellier's long arm and rhombus bar at eight. Each cell of ground the two parts share is visited by each part in one unbroken stretch of the drive, so each asks for exactly one cut, somewhere between the two visits — and the fewest cuts that answer every cell are found greedily from one sweep and proved least by the intervals that forced them. Three arcs clear Chebyshev's arms and five clear Peaucellier's pair, and halving only the arcs that still flag finds four and five at three and four times the sweeping.
Four cuts serve the whole cell
A region test between moving parts needs its drive cut where each pair's two visits to shared ground separate, and one pair of Peaucellier's arms needs four cuts. The cell has six such pairs, and cut one at a time they would need sixteen. Cut together they need four, the same four moments, because every pair crosses its shared ground on either side of them. Built from a whole-drive region test the cell would take six planes; the four cuts give back the true four, where equal arcs need eight to do it.
A cam machine is cut at its handovers
In one symmetric linkage, every pair of parts crosses its shared ground on either side of the same few moments, so the whole machine needs no more cuts of its drive than its worst pair. Four tools driven by four cams into one work station do not share their moments. Each pair needs one cut, the pairs need six between them, and the machine needs three: one for each time the station changes hands. Each cut can move only within the time the station stands empty, which is the cam diagram's own timing margin, and when a schedule is squeezed until that margin closes, the tools collide.
Two stations share a cut when they hand over together
A cam machine's region test needs one cut of its drive for every time its shared ground changes hands. A cell with two work stations has two pieces of shared ground, each with its own handovers, and a single cut can serve both if it falls when both stations stand empty. So the cell needs somewhere between its busier station's count and the two stations' sum, and its cams decide where. Out of step, a press-and-transfer cell needs four cuts; with the same tools and strokes put in step, two. The transfer arm that carries the part between stations makes one shared cut for free, because while it swings it is at neither.
Where the boundary moved
An earlier essay drew a line around what the essays here compute 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 clearanceClearanceConfiguration spaceLayer assignmentSwept volumeWitness pairDesign ruleFree spaceSwept regionBearing pedestalBoss