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

Triangular map — where it appears

The construction that meets an areal request by two nested quadratures: a cumulative marginal in one coordinate and a cumulative conditional in the other. Its Jacobian is triangular, so its determinant is the request exactly and it can never fold.

Named by 4 essays across one field — each of them below, with the objects they name alongside it.

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 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

Named alongside it

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

Areal factorCartogramDensityAngular deformationJacobianBoundary conditionContrastDiffusion cartogramEqual-areaNon uniquenessPrincipal scale factorsQuadrature

All concepts