Cartographic Projection
every map is wrong, and by exactly how much
Concept

Hierarchy — where it appears

The property that a cell's identifier begins with its parent's, which makes a coarse query one range scan and an aggregation a truncation. It is what a quadkey encodes, and it is the property that makes a tile scheme cacheable and a cell scheme aggregable without a join.

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

The same address length, a tenth of the area. Every cell of a lon/lat quadtree at level 4 carries an identifier of the same length. The heavy curve is each cell's area as a fraction of the largest, against its latitude: a polar cell is 10.2 times smaller than an equatorial one. The light curve is the inverse of the cell's aspect ratio, which falls from 1.00 near the equator to 0.10 at the top — the cells stop being anything like square long before they stop being usable.

An address is an area

A cell identifier does not name a place, it names a region — so its precision is an area rather than a length. On the obvious lon/lat scheme that area varies by a factor of 10 at level 4 and 163 at level 8, and the factor doubles with every level: the same identifier length means less ground the further north it is used.

applied · Cells Hilbert order on one face, as a curve. The order in which Hilbert numbering visits the 64 cells of one cube face at level 3. The line never leaves a cell without entering one that shares an edge with it — that is what makes it a space-filling curve, and it is why two cells with nearby identifiers are usually near each other on the ground.

The address is a curve through the sphere

A database does not fetch a set of cells, it reads ranges of identifiers — so the cost of a query is how many runs its cells form, not how many cells it needs. Hilbert order wins that measurement and loses the one usually quoted for it: its neighbouring cells are further apart in identifier than row-major's, on average and at worst.

applied · Cells One field, one round trip between two cell schemes. Left: a stated field binned into an equal-angle grid of 36 by 18 cells. Right: the same field after being rebinned into an equal-area grid of 30 by 15 offset by six degrees of longitude, and rebinned back. Every step is exact area-weighted averaging, the total is preserved to 2 × 10⁻¹⁶, and the root-mean-square difference between the two pictures is 0.144 on a field whose own standard deviation is 0.370.

The same data on two grids

Five essays have addressed, queried and ordered cells within one scheme and nobody has moved a number between two. Doing it exactly — area-weighted, both directions — preserves the total to 2 × 10⁻¹⁶ and loses 39 per cent of the field's own standard deviation in a single round trip; six round trips leave 23 per cent of its variance. The quantity that would reveal the damage is the one that never moves.

applied · Cells A local station's error ellipse is the national network's, arriving. Three orders of a stated survey, each a network of distances adjusted with the stations of the order above held fixed: a national network of seven stations 60 km apart, a regional one of ten stations inside one of its triangles, and a local one of five stations about a kilometre apart tied to three regional stations 10 km away. Every error ellipse is drawn at one scale in all three panels. Dashed: the ellipse each adjustment reports from its own observations. Solid: the full ellipse, with the error of every order above carried in. The national network's centre station is its origin and its eastern station fixes its bearing, so the one has no ellipse and the other's is a line; it reports its full error because nothing is above it. The local stations report 11.2 mm and carry 59.4 mm: their solid ellipses are the size of the national network's at that place.

The control carries the error of every network above it

A local survey is adjusted with its control stations held fixed, and the error ellipses it reports come from its own observations alone. On a stated three-order network a local station reports 11 millimetres and sits 59 from where the national origin puts it: 52 of them from the national order and 26 from the regional. Its own residuals can see almost none of that. What it does own outright is its lengths, and nothing of those is inherited.

practice · Reduction Ties ten kilometres long locate the control along themselves and hardly at all across. The local order of the stated survey: five stations about a kilometre apart, and the twenty-five lines from them to one another and to three control stations 10 km away. Adjusted on its own lines, the network knows where each control station lies along its ties to within a few centimetres and across them only to 179.0 mm, because five lines leaving a cluster a kilometre wide are nearly parallel ten kilometres out. The long ellipses at the control stations are that knowledge, drawn at one scale. At the local cluster, drawn at the same scale: dashed, the error the held-fixed adjustment reports for each station, 8.0 mm on its long axis at the first station; solid, the same station's own error after an equal-weight rigid fit of the free network onto the three control stations, 70.2 mm. The equal-weight fit trusts each control coordinate as much as every other, and the across-tie ones are worth almost nothing.

Three numbers are all a local survey can check of its control

Adjust a local network on its own lines, then fit it onto its three control stations, and the misfit at the control is the only place the control's error can show. It is exactly the excess the held adjustment's variance factor already carried, counted on three degrees of freedom instead of fifteen, and it catches a disturbed monument 79 times in a hundred where the held report catches it 49. Give the fit a scale and it hides 98 per cent of that excess, and lends the control's error to every length.

practice · Reduction Moved five centimetres, one station of three looks like all three, and one of five looks like itself. The local cluster at the centre, tied to three control stations (left) and to five (right) ten kilometres away, drawn on their true bearings with the distance shortened. The northern station, filled, has been moved 50 mm along its tie and nothing else is wrong. The bar at each station is the expected value of its own test for a displacement along its tie, noise-free. With three stations the three tests read 3.25, 3.22, 3.22: the data say only that the triangle is too large, and any of its corners could have made it so. With five, the moved station reads 4.31 and no other more than 2.44.

Naming the control station that moved takes a fifth

A local survey tied to distant control can tell that a monument has moved, and with three control stations it cannot say which. Each station gives the local lines one number they know well — its distance — and a shift of the whole control uses up two of them, so three stations leave one and four leave two. Five evenly spaced name a station moved five centimetres 83 times in a hundred; three name it 20. Better lines cannot stand in for the missing stations, and every station added also exposes more of the control's own published error.

practice · Reduction Told the control has an error, the test must see a larger move before it names a station. The local cluster at the centre and its 5 control stations ten kilometres away, drawn on their true bearings with the distance shortened. The shaded ellipse at each station is its published error, 53 by 31 mm on average. Outward along each tie, at the same scale, the smallest move of that station its test finds four times in five at a size of 0.001: the thick bar for a test that carries the published error, 74, 79, 78, 78, 78 mm; the thin dashed bar for a test that holds the control exact, 48, 48, 49, 48, 48 mm.

Honest about its control, the test needs eight centimetres where it needed five

A test that holds the control exact reads the control's published error as movement, and at five stations flags a good survey sixteen times in a hundred. Carry the published covariance into the adjustment and the false alarms fall to half a per cent — and the smallest move the test can find grows from 48 millimetres to 77. A five-centimetre move is then named 29 times in a hundred instead of 63, the naming rate of perfect control takes twenty-four stations, and above ten centimetres the two tests agree. What the honest test buys is a flag that means what it says.

practice · Reduction A parent and its children, twice. An aperture-7 hexagonal hierarchy beside a square one. The heavy outline is the parent and the light ones are its children. On the right every child is wholly inside and the four of them tile the parent exactly. On the left the child lattice is turned by 19.107° relative to the parent's, only the central child is wholly inside, and 7.14% of the parent is covered by no child of its own. The two families have exactly the same total area — a hexagon cannot be tiled by smaller hexagons at any ratio at all, which is why the mismatch is a construction rather than an approximation.

A cell's children do not fit inside it

Ten rungs price one cell system at one resolution, and every one of them is used hierarchically. A hexagonal hierarchy does not nest: at the aperture-seven scheme the discrete global grids use, one fourteenth of a parent is covered by no child of its own, exactly, and each of the six ring children is eleven twelfths inside.

applied · Cells How far the two routes end up apart. The distance between a line simplified directly at the final tolerance and the same line simplified through two intermediate products, as a multiple of the final tolerance, with a stated extra step applied to each intermediate. With nothing in between the two are the same line to the last bit, because Douglas–Peucker's outputs are nested. Rounding the intermediate to half the tolerance, smoothing it for legibility, or running it through a moving average each break that, and the last of them puts the final product 0.142 away from where a direct route would have put it — nine times the tolerance the product is published under.

Two routes to one scale

A national series is cascaded — the million is derived from the quarter-million, which was derived from the fifty — and the folklore is that the errors accumulate. They do not: Douglas–Peucker and Visvalingam both cascade to the same line the direct route produces, bit for bit, because both output a sublevel set of a per-vertex number. What breaks it is anything else in the chain, and a moving average puts the product nine tolerances away.

applied · Generalise

Named alongside it

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

AdjustmentAggregationCellControl pointsCovarianceDiscrete global gridLeast-squaresNetworkRedundancyVerificationAddressClosed form

All concepts