Concept

Similarity — where it appears

A transformation that scales, rotates and moves a figure without changing its shape. It is the group a copied stretch of coast is moved by when a compiler lifts it from another sheet, and preserving ratios of length is what lets the piece still name the projection it came from.

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

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

The same copied stretch, dropped in rigidly and eased into place. One coast drawn twice. In the first ink the copied stretch is moved as a rigid, scaled piece and meets the rest of the coast at two corners — the dots. In the second it is pinned at the same two points and then eased along 30 per cent of the outline either side of each of them, which is what a compiler fitting a sheet by eye does. The dashed line is the coast the graticule predicts. The eased version departs from it by 6.1 thousandths of the map's width against the rigid one's 9.4: easing moves the departure about, and removes very little of it.

A copy eased into place loses its seams before its source

A stretch of coast lifted from another sheet and dropped in rigidly leaves two sharp corners where it joins, and both of them are findable. A compiler does not work that way: they pin the ends and ease the middle until it looks continuous. Easing halves the corner within five per cent of the outline and the seams survive it — until forty per cent, where the located seam jumps from four per cent of the coast out to twenty. The source projection survives twice as far, to seventy-five. The piece goes on naming where it came from after the method has lost track of which piece it is.

wrong · Identify

Named alongside it

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

Verification Bearing Compilation Constraint Degrees of freedom Digitising Embedding Enumeration Estimator Matroid Outline Over determined

All concepts