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

Exponent — where it appears

The power in a fitted law, which is the part of a relationship that survives a change of units. Reporting one rather than a coefficient is what makes two measurements comparable, and a prediction of an exponent is a much stronger claim than a fit to a curve.

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

The pass between the basins, measured rather than bracketed. The height of the lowest path from one near-optimal basin to the other, for regions of growing size. It is found by sorting the score surface and joining cells in order, so it is the minimax path's own height rather than the level at which a bisection stops finding two pieces. The fitted exponent is -1.34 at a coefficient of determination of 0.986. The earlier level-set measurement on the same projection gave -1.57 and the argument predicts −1, so measuring the height directly moves the answer towards the prediction, though not onto it.

The height of the pass between two basins

One thing was left owed: the fracture threshold falls faster than the argument predicts, and the difference was supposed to be the level set's blindness to the height of the pass. Measured directly, the pass between the two deepest basins falls as the −1.34 power at R-squared 0.986 — nearer the predicted −1 than the level set's −1.57 on the same projection, and not onto it. It is not the pass that breaks the set first, and at five of six sizes the second basin is the first one's mirror twin.

choosing · Choosing The basin has three widths, and they differ by a factor of 4.6. Two sections through the near-optimal basin of the Robinson aspect over Japan, drawn at one scale. Each ellipse is the set of aspects whose score is twice the optimum's, from the objective's own second derivative at the optimum: 32.1°, 16.0°, 6.9° along the three principal directions. A single number for "the width of the basin" is the cube root of their product, 15.3°, and it is not any of them.

The basins have widths as well as depths

Measuring the height of the pass left one thing owed: shape means widths too. Measured, the basin has three of them — 32°, 16° and 7° at Japan — it gets wider rather than narrower as the region grows, and the exponent it predicts overshoots the measured one by half again.

choosing · Choosing The piece count rises and falls. The number of connected pieces of the near-optimal aspect set for Robinson over Japan, swept finely through the threshold rather than sampled once below it. It is one piece at a wide threshold, reaches 13 at 1.010, and returns to one as the set shrinks onto the single best aspect. The set first disconnects at 1.941, which is above the peak: the pieces keep multiplying after the first break. This is the sweep the earlier measurement could not afford and it costs one grid, because every threshold reads the same 4992 evaluations.

The threshold is not a percolation

The near-optimal aspect set was found breaking into twelve pieces rather than two, the transition was called a percolation, and the exponent went unmeasured. Swept finely, the piece count rises from one to thirteen and falls back to one — and refining the grid by a factor of fifteen moves the peak from ten to nineteen, at the rate the surface's own minima grow, while an uncorrelated field on the same lattice grows by a factor of twelve.

choosing · Choosing A radius of 37.7 km makes a flat picture of four cities exact. Each row is one pair of London, New York, Tokyo, Sydney. The bar is the range of distances between two places of radius 37.7 km — the true centre-to-centre distance, plus or minus 75.4 km — and the solid dot is where the best picture for places of that size draws the pair. Every dot is inside its bar, and the pairs at the bars' ends are the ones that fix the radius. The hollow dots are the picture that is best about ratios instead: its worst pair is 103.3 km off, so it would need places of 51.6 km. The best picture of points is not the best picture of places.

A place with a size can be drawn to scale

Points on a sphere have distances no flat picture holds. Places are not points: give every place a radius and the distance between two of them becomes a range, and some flat picture is right about every range once the radius passes a threshold — 38 kilometres for London, New York, Tokyo and Sydney, six metres for five towns in Britain, growing as the cube of the set.

impossibility · Embedding One quantity, one region, and the exponent left free. The scale departure of six projections over the world, aggregated as a p-norm, against p on a logarithmic axis. At p = 1 the best is Eckert IV; at p = 64 it is Winkel tripel. Nothing about the maps changed between the two ends of the axis — only how much of the region a bad point is allowed to spoil. Drawn in no projection: the axes are an exponent and a score.

The average was a choice of norm

Ten projections, one region, one measured quantity, and the only free decision left is how to turn a field into a number. Over the world's scale departure the ordering at the mean and the ordering at the worst case have a rank correlation of −0.04, all ten maps change position, and the exponent that produced each answer is stated nowhere.

wrong · Audit The pass that fails first stands above the pass between the two deepest basins. For a region grown from 6° to 40° of span at 38° N, the threshold at which the near-optimal aspect set first comes apart — the highest merge in the whole filtration — against the merge between the two deepest basins, which is what the earlier measurement of this quantity reported. The first is higher at every size, by a factor of 1.02 to 2.09. At every size the deciding merge is the last basin joining the optimum's own — a basin whose floor stands 0.019 to 0.191 above the best score — so the set is held together by a near-rival to the best placement, reached over higher ground than the second-best basin is.

The pass that fails first is not the one that was measured

Three attempts to explain why the near-optimal aspect set comes apart when it does have fitted the height of the pass between the two deepest basins. That is not the pass that fails first. At every region size the set is held together by the last near-rival to join the best placement's own basin — a basin between 2 and 19 per cent worse than the best — over ground 1.02 to 2.09 times higher than the deep pair's pass. The two passes fall at nearly one rate, −1.42 and −1.31 powers of the region's span, so what separates them is a factor, not a law.

choosing · Choosing Its level belongs to the projection more than to the latitude. The absolute depth of the pass that fails first, averaged over regions of 6° to 18° span, for three projections at four latitudes. Across the twelve rows it runs from 1.80e-2 to 7.86e-2, a factor of 4.4, and most of that is between projections: Robinson 1.80e-2 to 2.06e-2 over the four latitudes, Winkel tripel 2.74e-2 to 3.81e-2 over the four latitudes, Mollweide 4.02e-2 to 7.86e-2 over the four latitudes. Within a row the depth spreads by 4 to 35 per cent over the four region sizes, so it is not a constant of the case either. The whiskers are that spread.

The pass's depth belongs to the projection, and it is not a constant

Separating the fracture threshold into a pass depth and the best score a region admits raised the question of what the pass depth is. Across three projections and four latitudes it runs over a factor of 4.4, and most of that is the projection: Robinson's stays between 0.018 and 0.021 at every latitude, Mollweide's between 0.040 and 0.079. It is not a constant of anything — it falls as the region grows in ten cases of twelve — and it does not follow how much of the projection the region sees. The denominator, over the same cases, moves by half again.

choosing · Choosing Two of six projections have a curve. The depth of the pass that decides when a near-optimal aspect set comes apart, against how much of its own scale variation the region sees, for six projections at nine latitudes and four region sizes each, with each projection's own power law. A curve, R² 0.8 or better: Mollweide (0.47, R² 0.81), Hammer (1.35, R² 0.95). Partial: Eckert IV (0.34, R² 0.52). No curve: Robinson (0.02, R² 0.01), Winkel tripel (-0.06, R² 0.05), Sinusoidal (0.28, R² 0.15). Pooled over all six the fit is R² 0.03, because the six sit at different levels.

Six projections have two curves, and the refusal has company

Three projections at four latitudes gave three pass-depth exponents, and the question was what sets them. Six at nine latitudes say that most of them have none to set: the Hammer's pass depth rises with what the region sees at R-squared 0.95 and Mollweide's at 0.81, Eckert IV's half-follows, and Robinson's, the Winkel tripel's and the sinusoidal's do not follow it at all. Neither candidate explanation predicts a left-out projection's exponent better than guessing the average — and the sinusoidal, once the lone refusal, is one of three.

choosing · Choosing The seam corner falls faster than the paper and crosses it at 720 faces. For an icosahedron globe of 100 mm radius with every face divided ν ways, the gnomonic face map's worst seam corner against what a hand-folded paper net is accurate to. On twenty faces the corner is 9.19°, 12.8 times the whole budget of 0.716°. The corner falls as ν to the power -1.97 and the fold's error as ν to the -0.97, so the two lines converge; the budget stops falling once the crease, a fixed quarter-millimetre radius of paper, is larger than the fold. The corner passes under it at ν = 6, 720 faces, where it is 0.315° against 0.321°.

The seam falls faster than the paper

Divide each face of an icosahedron ν ways and two things shrink at different rates. The fold's error falls as 1/ν, because it is the face's own radius times a degree. The gnomonic seam corner falls as 1/ν², because it needs both a tilt between faces and a distance along their edge. So the gnomonic, 12.8 times the whole assembly budget on twenty faces, goes under it at 720 faces on a 100 mm globe. No globe of any size needs more than 5,120, and what it costs is paper folded out of sight: 5.8 per cent of the sheet at that crossing.

families · Polyhedral Twelve cells of the grid's pole row are one map. The pole row of the aspect grid for Robinson over a 10° square region centred at 38° N: 24 pole longitudes across, 12 turns of the third angle down, with the projection's pole on the south geographic pole. There, moving the pole in longitude and turning the third angle are the same rotation, so every cell whose longitude less its turn is the same is the same map. The twelve filled cells are one map, the lowest on the row at 1.71 times the region's best score, and they score alike to 2e-11. No two of them are neighbours. The hollow cells are the maps one 15° step round the axis, the lowest at 2.33 times the best, and on the grid as it was the copies could join only through them.

The pass was a map meeting itself

Four measurements fitted a power law to the depth of the pass that splits a near-optimal set of aspects, and found it tight — R-squared of 0.98 for Robinson, 0.996 along most of a family of maps. On the grid those aspects were searched over, a pole row holds every normal-aspect map twelve times at cells that are not neighbours, and in 28 of Robinson's 36 regions the published pass was two copies of one map meeting through the map one step round the axis. Joined as the one map they are, Robinson's curve falls to R-squared 0.008, and the sinusoidal's famous refusal turns out to be the one measurement the copies never reached.

choosing · Choosing Three selection rules, and what each one keeps. Keeping one feature in ten from a stated population whose size distribution has a Pareto exponent of a half — the exponent Töpfer's law is a theorem about. Keeping the largest carries 99.99 per cent of the total size and inflates the median feature by a factor of 95. A random sample keeps the median to 1.068 and carries 5.0 per cent of the total. The two rules are right about different things and there is no rule that is right about both, because the total lives in the tail and the median does not.

Which features survive is not a sample

How many features a scale can carry is answered and treats the population as a number. Which ones survive is a different question: keeping one feature in ten carries 99.99 per cent of the total length and inflates the median feature by a factor of 95, and the shape of the size distribution survives both exactly.

applied · Generalise Waiting longer buys almost nothing under the spectrum that is actually there. The scatter of block means against the block length, for the three spectra. White noise falls with a slope of -0.484 — the inverse square root everybody assumes. Flicker falls with a slope of -0.111, so a hundredfold longer average buys a factor of 1.67 rather than ten. A random walk is very nearly flat.

The error that does not average down

Five rungs give a coordinate a width, and all five assume the observations it was averaged from are independent. They are not. Under the noise spectrum every published analysis of a position time series reports, the standard error falls as the eleventh root rather than the square root — so a factor of ten costs a hundred observations if the noise is white and a thousand million if it is not.

distortion · Precision

Named alongside it

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

VerificationAspectAspect searchBasinObjective functionOptimisationOptimisation landscapePurposeRegionToleranceDegeneracyEstimator

All concepts