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

Density — where it appears

A quantity per unit area, stated here as a closed-form function on the sphere rather than taken from a dataset. Its integral over any region is exact, which is what lets a cartogram's residual be a measurement rather than a comparison of two approximations.

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

The drift is a straight line in the deflection. The horizontal distance between where a plumb line hangs at the top of a column of rock and where it hangs at the bottom, against the deflection of the vertical the mass produces at the surface. Four heights of column. Every line is straight through the origin: 12.54 mm of drift per arcsecond of deflection over a 4,000 m line, to two parts in ten thousand across a fortyfold range of deflection. Which is what makes the number transferable — the 47 mm the ladder started from was a statement about one buried sphere, and this is a statement about any mass that produces the same deflection.

How far the plumb line bends

The previous rung dropped a plumb line down a four-kilometre column of rock beside one buried mass and found it arrived 47 millimetres from the point below the summit. That is a number about that mass. Parameterising by the deflection of the vertical instead — the quantity surveyors actually measure — gives 12.54 mm per arcsecond, exactly linear across a fortyfold range.

datums · Height Twenty-four versions of one shape, and not one of them gains area. The same closed boundary rotated twenty-four times and simplified at the same tolerance. If the area error were noise the values would straddle zero and their mean would fall towards it; they do not. Every one is negative, the mean is -0.4644 per cent, and the mean is 71 standard errors from zero. A bias of that size cannot be removed by averaging over more boundaries, which is the only defence anybody has against a rounding error.

A thousand features are wrong in the same direction

The area a simplification costs is unpredictable in sign for one feature. Over a population it is not: twenty-four presentations of one shape all lose area, the mean is seventy standard errors below zero, and no amount of aggregation removes it.

applied · Generalise Four cities, met — the triangular, x first construction. Every cell drawn here holds the same area of ground and a different area of page: the map has been constructed so that its areal scale factor is the density it was handed, cell by cell, over a contrast of 25.99 to one. The residual against that target is 5.1e-6, measured from the map's own derivatives rather than from the construction. What it cost is the shape: the redistribution alone reaches 139.1° of angular deformation and averages 70.4°, on top of whatever the equal-area projection under it was already doing.

A map drawn to a density it was handed

Two hundred and twenty-six essays measure distortion after the fact. This one specifies it: a density is handed to a map as a boundary condition, the areal scale factor comes out equal to it to five parts in a million, and every other invariant the site owns becomes the price.

distortion · Cartogram Four cartograms of one density. The same stated density — four cities — met four different ways, drawn on the same cells. Every panel is a correct cartogram of the same numbers: a region's page area is proportional to its mass in all four. They do not look alike, because the areal scale factor fixes one number per point and a map has four derivatives, so three degrees of freedom per point are left over and each construction spends them differently.

Every density can be met and none is free

Four maps of the same data, all of them correct, charging between 57.6° and 104.4° of angular deformation for it. There is no such thing as the cartogram of a density — there is an infinite family, and somebody picked a member of it without saying so.

distortion · Cartogram The straight line between two correct maps passes through an incorrect one. Both ends of this sequence are exact cartograms of four cities: the triangular, x first construction at s = 0 and the triangular, y first at s = 1, each meeting the density to arithmetic noise. The panels between them are the straight-line blend of the two, which is what an animation between two maps computes. The cells drawn solid have turned inside out — their signed area is negative, so the map has folded over itself there and two places on the sphere are drawn at one place on the page.

A map that meets its target can fold

The flow a diffusion cartogram integrates is a diffeomorphism at every instant and cannot fold. Every discretisation of it can, and the point at which one does is a root of a quadratic — written down rather than searched for.

distortion · Cartogram A ruler on a cartogram is not measuring anything. Twelve pairs of places, each measured on the ground and on the page of the triangular, x first cartogram of four cities, with the page scaled so that the median pair reads exactly right — the most generous calibration available. The line is that calibration. The worst pair, Tokyo to Quito, reads 21598 km for a ground distance of 14439 km, an error of 49.6%. The open marks are the same pairs on the equal-area map the cartogram was built from.

Everything else on the page pays for the areas

A cartogram gets one quantity exactly right and every other reading a page supports is collateral. A ruler on it is out by 35 per cent after the most generous calibration available, and ten of sixty triples of places change which one is in the middle.

distortion · Cartogram Two maps of one density: one costs nothing and one costs forty-four degrees. Both drawings meet the same areal request — an exponential ramp of contrast 79.8 to one, whose logarithm is harmonic — to arithmetic noise. The first is a conformal map written down in closed form, the conformal map that meets an exponential ramp, log-harmonic, whose angular deformation is 2.4e-8 degrees. The second is the triangular construction the previous rungs use, at 43.8° on the same request. A grid of squares is drawn through each: the first keeps every angle and the second does not.

The cheapest map that meets its areas

An earlier essay bracketed a cartogram's least cost between a construction charging eighty degrees and a bound valid only for symmetric densities, and recorded the gap as a shortfall. One request settles it: a density of contrast eighty whose least cost is exactly zero, met by a map written down in closed form, while the standard construction charges 43.8° for it.

distortion · Cartogram The density every real cartogram is handed. Two islands in an ocean that is not lightly populated but empty: the density is exactly zero over 83.7 per cent of the sphere. Four rungs of this anchor assume a positive density, because the construction divides by it — and the conditional cumulative of a column with no mass in it is zero over zero. Drawn on the equal-area base, so a cell's ink is a density and its area is ground.

A density that asks for no room at all

Five rungs assume the density is positive everywhere, because the construction divides by it. Every cartogram anybody draws has an ocean, and an ocean is not sparsely populated but empty — 83.7 per cent of the sphere, exactly zero, and the construction returns nothing at all for a third of the probes.

distortion · Cartogram The same field, the same statistic, two pages. A single northern concentration — v = 10 + 90 exp(−d²/(25°)²), d the distance from 20°E 55°N — drawn twice, with the shading rule and the data identical. The ground's own area-weighted mean is 14.009. A reader weighting by the area actually on the page takes 17.490 off Mercator, which is +24.85%, and 14.009 off Gall–Peters, which is +0.00%. Neither map has misdrawn a single cell.

A choropleth is read by area

Every cartography course states the rule — use an equal-area projection for a thematic map — and states it as advice. It is a theorem, and it has a residual: the error a page puts into a reading is exactly the covariance of the value with the areal factor, which is 24.85 per cent for a northern concentration read off Mercator and 0.00 per cent for the same field read off a map that spreads area by 7.7 to one.

distortion · Thematic The same totals, drawn as symbols, on two pages. A band field, largest in the mid latitudes carried by each region and drawn as a circle whose area is proportional to the total. Every symbol is right: a total is a total wherever it is drawn, and the two maps carry identical numbers. What differs is the ground under each symbol. On Mercator the symbol at 60° sits on a region drawn 4.0 times larger than it would be on an equal-area sheet, so the density a reader forms — symbol against region — is out by that factor.

A symbol has a size on the page and an area on the ground

A proportional symbol is right as a total wherever it is drawn — a count is a count. Read against the region beneath it, which is how a reader forms a density, it is wrong by exactly the reciprocal of the areal factor: 0.083 at 73° north on Mercator, a factor of twelve, with the correction available as one multiplication that no atlas makes.

distortion · Thematic The same count, scattered two ways. 22 dots in every cell of a 30-cell covering, drawn on Mercator. The upper panel places them uniformly on the GROUND — uniform in longitude and in the sine of latitude, which is what uniform on a sphere means — and the lower places them uniformly on the PAGE, which is what a drawing routine handed a polygon does. Both panels carry exactly the same number of dots in exactly the same regions, so both are honest as totals. They are different pictures, and a reader reads a dot map by density.

A dot map's density is partly the projection's

A dot map carries the right number of dots in every region whichever way it is drawn, so it is honest as a total under both placements. It cannot be honest as a density under both: ground on a uniform field reads 0.099 of its equatorial density at 72° north on Mercator, and scattering inside the polygon on the page moves 64.3 per cent of a cell's dots into its northern half without one of them leaving the cell.

distortion · Thematic One number changed, and the whole map moved. Two cartograms of the same density differing in one bump's weight — London's, raised from 6 to 9 — with an arrow at each sample showing how far the second puts that place from where the first does. Every other density in the specification is identical. The largest movement is 0.255 of the rectangle's half-height and it is not at London: it is about forty-five degrees away, and places on the far side of the world move by a tenth of it.

One number changed and the whole map moved

Raise one bump's weight in a density specification, leave every other number identical, and solve again. London's own value is what changed; London moves 0.054 and Delhi moves 0.226 — four times as far, with its own number untouched. The largest displacement anywhere is thirty degrees from the change, and the antipodal band still moves a fifth of the peak.

distortion · Cartogram Six regions, before and after. Six circular regions of unequal size on the equal-area rectangle, and the same six after the cartogram of four cities has been solved. Each drawn area is exactly its base area times the density it was asked for. The four that grow stay recognisably round; the two that shrink are drawn out into shapes that no longer resemble what they were, and nothing in the construction chose to treat them differently.

A cartogram keeps the shapes it inflates

Seven rungs build cartograms and none reads one back. Reading means recognising a region and dividing its drawn area by its base area, and the construction is against the reader twice: the correlation between how much a region grows and how much of its shape it keeps is −0.996, and the base area a reader has to divide by is the map the cartogram replaced.

distortion · Cartogram

Named alongside it

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

Areal factorCartogramEqual-areaAngular deformationJacobianQuadratureShape distortionThematic mappingTriangular mapArea weightingBiasMercator

All concepts