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 5 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
Charged ln N a number, the count comes out right; charged two, it takes all it is offered. Two information criteria over the same seven segmentations, each shown above its own minimum. Both add the log of the residual to a charge for every number the model spends — four for each piece's placement and one for each seam's position. BIC charges ln N, 6.6 for 720 coordinates, and is least at 2 seams, the number made. AIC charges two, and is least at 6, the most it was offered: each extra seam buys more than two units of fit because its position and its projection are both chosen by search, and a charge for the numbers alone does not pay for the search.

A residual cannot count the pieces of a map

A compiled map does not say how many sheets went into it, and trying every count and keeping the best fit cannot tell. Seven pieces always fit better than two, because they contain them. A criterion that charges ln N for each number a piece spends recovers the true count in every trial, for one copied stretch and for two, until the digitising error reaches a thousandth of the map. AIC charges two and takes every piece it is offered. And an eased copy defeats the right criterion the other way: it is not a projection, so BIC buys pieces to explain it, three seams, then four, then six.

wrong · Identify
With the drift's length known, the count comes back. A compiled coast of 360 points traced with a drifting error — each point's error mostly the last one's, over a correlation length of 18 points, three ten-thousandths of the map in size — and the number of seams BIC chooses once the error is whitened at an assumed length, eight tracings each. No copy (0 seams made): 0/8 right at none, 1/8 right at 2, 8/8 right at 6, 8/8 right at 12, 8/8 right at 18, 8/8 right at 30, 0/8 right at 60; one copy (2 seams made): 0/8 right at none, 6/8 right at 2, 8/8 right at 6, 8/8 right at 12, 8/8 right at 18, 7/8 right at 30, 0/8 right at 60; two copies (4 seams made): 1/8 right at none, 7/8 right at 2, 8/8 right at 6, 8/8 right at 12, 8/8 right at 18, 5/8 right at 30, 0/8 right at 60. Unwhitened the criterion buys pieces for the drift in every compilation; whitened at 6, 12, 18 points it counts every compilation right; assumed 3.3 times too long, it takes the most it is offered.

A second tracing tells a drifting hand from a copied stretch

A hand tracing a coast drifts rather than jitters, and a drifting error is a smooth departure no projection explains — so the criterion that counted copied stretches correctly under independent noise counts four or five seams where two were made, and three or four on a coast with no copy at all. Undo the drift before fitting and every count comes back, for no copy, one and two, in every tracing. That needs the drift's correlation length from outside the coast, known to within a factor of three on the short side and much less on the long, and a second tracing of the same coast supplies it: the difference between two tracings holds nothing but the two errors, and read that way the count is right in 22 tracings of 24, and never too high.

wrong · Identify
Given an easing to fit, the criterion counts an eased copy as one copy until the two easings run well into each other. One copied stretch, eased into place over a stated share of the coast either side of each seam, traced to a ten-thousandth of the map. Hollow: the rigid count, offered up to six seams — two for a rigid copy, then 4, 5, 6, 6, 6, 6, 6, 6 from 5.0% of easing. Filled: the count when each seam may be eased over a width the fit finds and pays for, offered up to four — two at every easing to 17.5%, then 4, 4. The dotted line is half the copy's length, 15% of the coast: past it the two easings overlap, and the copy is nowhere drawn as itself.

An easing is a seam with a width, and a drifting hand hides the width

A copy eased into a compiled coast is not a projection, so a count that explains the coast in rigid pieces buys four, five or six seams for one copy. Give each seam a width — the copy blended into the host over that width, the same linear fit at every width, the width charged as one more number — and the count is two seams at every easing up to 17.5 per cent of the coast, and the width it reports is the one drawn, wherever the copy departs from the host by many times the digitising error. Where it departs by seven, the width is a guess. On a tracing made by a drifting hand the easing disappears: whitened for the drift, the rigid count already calls two seams in every tracing, because an easing as long as the drift is a stretch of drift, and its width can no longer be read until it is twice the drift's length.

wrong · Identify

Named alongside it

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

CompilationDegrees of freedomEstimatorProjection identificationResidualSeamVerificationLeast-squaresSearchBearingConstraintDigitising

All concepts