Concept

Over determined — where it appears

A system with more conditions than unknowns, so that no exact solution generally exists. What is left over after the best fit is a residual, and the residual is a measurement of the observations rather than an embarrassment to the fit.

Named by 4 essays across 3 fields — each of them below, with the objects they name alongside it.

Three distances, two degrees of freedom. The Chamberlin trimetric construction with its three centres marked. A point is placed by intersecting circles of its true distance from each centre — but three circles in a plane do not meet in a point, and the three candidate positions obtained by taking the conditions two at a time are 17.0 km apart at the sample point. They are drawn here magnified 120 times about their own centroid, which is where Chamberlin's rule puts the point. The residual is not an error in the arithmetic; it is the amount by which the sphere refuses to be a plane, and it grows as the cube of the size of the region.

Three conditions are one too many

Two distances fix a point in a plane and a third has no freedom left to be satisfied with. Chamberlin's trimetric construction averages the three positions that satisfy two conditions each, and the spread between them — never zero anywhere, 22 km over North America, growing as the cube of the region — is the price of the extra clause.

choosing · Condition
Four lines of position, two unknowns, and four gaps that do not close. Four bodies at azimuths of 20°, 110°, 200°, 290° from the ship, each sight given an independent error of about 2 km along its azimuth. No point lies on all four lines. The least-squares point — the hollow dot — is the one whose squared distances to the four lines are smallest, and the dashed perpendiculars are those distances: 0.31, 2.83, 0.32, 2.83 km. The ship, the solid dot, is 3.21 km away. Three lines would have left a triangle and no residual worth the name; four leave two degrees of freedom, and the four gaps are the first quantity here that can be read as a measurement of the sights themselves.

The residual reports the error the fix was immune to

A fourth sight gives a four-line fit something three lines never had: a leftover. The leftover is a real measurement of the sights, and it is useless exactly where it is needed. One number computed from the four azimuths alone — before any star is observed — says how much of a common error reaches the residual, and it is 1 when the bodies stand at the quarters of the compass, where such an error moves the fix by nothing at all, and 0.004 when they are bunched within sixty degrees, where it moves the fix by two kilometres.

paths · Position fix
A picture of four places, and the one constraint that is about the sheet. The best flat picture of four world cities, with the six distances it could be asked to hold drawn between the dots and the twelve bearings implied by them. Every one of those is a statement about how two places stand to one another, so every one is blind to where the whole picture sits on the paper. The cross is a constraint of a third kind: a stated position for one place — this dot goes here — which is two numbers and is blind to nothing. Adding both of them takes the largest independent set from 6 to 8.

Two numbers about the paper buy nothing about the places

A picture of n places has four freedoms, and a constraint holds only what its own blindness leaves: distances reach 2n − 3, bearings 2n − 3, the two together 2n − 2. Position is reached by neither, because nothing about how places stand to one another says where on the sheet to put them. A stated position does reach it, and two of them take the budget to 2n exactly. What the count conceals is that the extra two buy nothing: a largest picture holds six place constraints with the pins and six without, the same 7,596 of them, holding the same pairs at the same rates. The constraint system is a direct sum, and a pin is a different currency.

impossibility · Embedding
Pins at one place move where the picture sits; pins at four reshape it. The best flat picture of four cities, fitted to every distance with a tolerance of 1 per cent, one bearing a pair to 0.01 radians, and pins to the sheet good to 50 km. Each ellipse is the error in a city's position relative to the picture's centre — its shape, which no shift changes — drawn 30 times its size. Solid: the part the distances and bearings put there. Dashed: the part the pins put there. Pinned at London alone, the pins put 0.00 km into the shape and the places 63.0 km. Pinned at all four, the pins put 30.5 km and the places 29.7 km, and the shape as a whole is 42.6 km against 63.0.

A second pin is a measurement of the places

Counted exactly, a picture of places is a direct sum: the distances and bearings spend its shape and two pins spend where it sits on the sheet. Given tolerances, the sum survives in one form and fails in another. Pins at one place put none of their error into the shape at any tolerance, and wherever the pins are, their average takes none of the distances' error. But every place pinned after the first is a statement about the geography, and held exact it makes the shape worse once its error passes about two thirds of the shape's own.

impossibility · Embedding

Named alongside it

The objects these essays reach for when they reach for this one.

Degrees of freedomLeast-squaresVerificationConstraintEmbeddingResidualAzimuthBearingCompromise projectionConditionConformalityControl points

All concepts