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

Projection family — where it appears

A set of projections sharing one construction and differing by a parameter or a function, such as the cylindricals, the conics and the pseudocylindricals. Whether a family's founding construction is true of its members is a separate question, and for the developable surfaces the answer is six of eleven.

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

The taught rule against the measurement, on 30 regions. Each cell is a region built to order — a box of the stated height and width-to-height ratio, centred at the stated latitude — with the family that actually scores best over it, and whether that is what the rule says. Every family is given its own parameters for the region: the conic its cone constant, the cylindrical its standard parallel and the choice of a normal or transverse axis, the azimuthal its centre. The rule is right on 19 of 30, and where it is wrong it is wrong in one direction: it keys on latitude, and what decides the answer is shape.

The rule of thumb, scored

Cylindrical near the equator, conic in the middle latitudes, azimuthal at the poles. It is the most repeated piece of practical advice in cartography and it has never been run against a population of regions. Run against thirty, it is right nineteen times, and every one of its failures has the same shape.

wrong · Audit Everywhere within 3,000 km of London, drawn in Lambert cylindrical. The set of places exactly 3,000 kilometres from London by the shortest route, projected point by point. On the ground it is a circle — every point of it is the same distance from the centre, in every direction. On this page the longest radius from the drawn centre is 4.17 times the shortest, so a reader with a ruler measures two different distances for one ground distance depending on which way the ruler points. The two extreme radii are drawn.

A circle of a distance is not a circle

Eleven essays in this field have followed a route across a map. A range ring is not a route — it is the edge of a set — and drawing one exposes a failure the route essays cannot: the same ground distance comes out 4.17 times longer in one direction than another on a common projection, and 13.03 times at 70° north.

paths · Reach Two rules, three populations. The taught rule keys on latitude; the replacement keys on shape. On the thirty regions the replacement was read from it scores 83 per cent against the taught rule's 63. On forty-five different regions built the same way it scores 91 — higher, not lower, so the generalisation the shortfall doubted is real. On the seven named regions this collection actually uses, both rules score 29 per cent, and following either costs a mean factor of 14.6. The third bar of each group puts the taught rule's polar clause back into the shape rule, which is what the out-of-sample failures ask for: it repairs four of them, breaks two that were right, and reaches 43 of 45.

The rule scored out of sample

A replacement rule was read off thirty regions and scored on the same thirty, and this collection recorded that as not being evidence about any other thirty. It is: on forty-five different regions the rule scores 91 per cent against the 83 it managed at home. What it cannot do is the seven regions the collection actually uses, where both it and the rule it replaced name the winner twice out of seven and cost a mean factor of 14.6.

wrong · Audit Three solutions of one condition, all exactly equal-area. The pseudocylindrical ansatz is x = λ·C(φ) and y = Y(φ) — two unknown functions — and the equal-area condition is one equation, C·Y′ = cos φ. So Y may be chosen freely and C follows, and these three choices give three maps that are equal-area to 1.8e-11 and look nothing like one another: their pole lines are 10%, 100%, 19% of their own equators. That is why the cylindrical family has one equal-area member and this family has as many as anybody cares to name.

The condition does not always decide the map

Write a family as a shape with an unknown function in it and every classical property becomes a differential equation. In three families the equation has one solution and the named projection is what comes back. In the fourth it has a whole function of solutions, which is why that family has forty members and the others have three.

families · Families Two members, their average, and the family's best answer to it. Two equal-area conics at cone constants 0.25 and 0.85, the average of the two, and the member of the family nearest that average — at 0.540, which is not the parameter midpoint. The average is not a conic at all: its parallels are still arcs but they are arcs of circles about different centres, so no single cone constant reproduces it and the residual is 0.1722.

A family is not closed under averaging

A family is a set of maps with a parameter running through it, and the compromise projections here are averages of members. An average of two members is not a member: two conics far apart average to something 31 per cent of their own separation outside the family — and averaging within a family makes the map worse every time, while averaging across two makes it 16 per cent better.

families · Families Three named members of the family, and one the family has no name for. The equal-area pseudocylindricals are not a list of maps. They are the solutions of one equation — C(φ)·Y′(φ) = cos φ — in two unknown functions, so one function is free and the named members are points in a space of them. Writing Y as six numbers and searching over them finds a map at 25.03° of mean angular deformation against Eckert IV's 28.08, Mollweide's 31.83 and the sinusoidal's 38.86 — 12.2 per cent better than the best map the family has a name for, and every one of the four is equal-area to the same precision.

A family is a function, not a list

The equal-area pseudocylindricals are the solutions of one equation in two unknown functions, so one function is free and the named members are points in a space of them. Writing that function as six numbers and searching over them finds a map at 25.03° of mean angular deformation against Eckert IV's 28.08 — and two numbers are already enough to beat every map the family has a name for.

families · Families The test the conjecture asked for, and it refutes the conjecture. How much better the best asymmetric projection is than the best symmetric one, under weightings of four different symmetries, with every symmetric map allowed to re-aim its axis at twelve candidate poles. The conjecture was that the seven earn their place by PLACING distortion where a symmetric map cannot, so their advantage should collapse under a criterion with no place preference. It does the opposite: the advantage is largest at 1.343 under the uniform weighting and smallest at 1.144 under a band, with the fully asymmetric concentration at 1.204 in between. The winner is named on each row and the map it beat is Equirectangular throughout. The seven are simply better maps.

The maps with no family are simply better

Seven projections have no continuous symmetry, and they are almost exactly the set anybody would choose for a world map. That coincidence came with a conjecture and a test attached: their advantage should collapse under a criterion that does not care where anything is. Run, it does the opposite — 1.343 times under a uniform weighting and 1.204 under a concentration. The conjecture is refuted.

families · Families One map made of two, and the latitude where they meet. Goode's homolosine drawn without its interruptions: sinusoidal between 40°44′11.98″ north and south and Mollweide beyond, joined at the latitude where a parallel has the same length in both. Dashed: the join. Heavy: four meridians, drawn from 60° south to 60° north, which cross it. The central meridian crosses smoothly; the others turn a corner there, reaching 13.30° at 110° of longitude, marked. The map is equal-area everywhere, and every parallel keeps its length across the join.

Joined where the parallels agree, and the meridians turn a corner

Goode's homolosine is two projections joined at 40°44′11.98″, and three quantities match there: the length of the parallel, the areal factor, and the spacing of the parallels on the central meridian. The fourth does not. Every meridian but the central one turns a corner at the join, up to 13.30° at 110° of longitude, and the angular deformation drops 26° across a line of no width. Moving the join decides where that corner is paid, not whether.

families · Families Goode's composite with a strip of a generalised Eckert II, whose meridians are straight. The sinusoidal to 32.28°, a strip of the generalised Eckert II projection with r = 0.8311 from there to 49.27°, and the unscaled Mollweide beyond, both hemispheres; the strip's edges are dashed. Inside the strip every meridian is a straight line, as Eckert II's are, and it leaves the sinusoidal's meridian and joins the Mollweide's along their own tangents, so the 11.9° corner Goode's join turns at 180° of longitude is gone. The composite is equal-area throughout, and its strip is 17.0° wide and centred at 40.78°, four hundredths of a degree from Goode's own join.

Only Eckert II's family can be the strip, and its meridians are straight

The cubic that smooths Goode's seam is four conditions on the length of a parallel, and equal area turns them into four conditions on how the parallels are spaced. The sinusoidal's spacing is flat, so a strip can leave it only where its own spacing is momentarily flat — and of eleven named equal-area maps, only Eckert II's spacing ever turns over. One member of its family meets all four conditions exactly, over seventeen degrees centred four hundredths of a degree from Goode's join, with every meridian straight. The cubic over the same span is the same map to four parts in a hundred thousand.

families · Families The curve that does the whole job has no kink and does not turn over. The parallel spacing along the central meridian, as a share of the equator's, for the best single smooth curve found and for three maps it is being compared with. Goode's composite is flat to its join at 40.7° and then follows the Mollweide's, and the kink where the two meet is the join every essay before this one has been about. The fitted curve has no kink, and it is not the shape the question expected either: it is flat only through the first fifteen degrees (97.2 per cent at 15°), then closes monotonically and faster than the Mollweide — 54.3 against 77.3 at 60° — and it never turns over.

One curve beats the three maps it would replace

Goode's composite is a sinusoidal, a Mollweide and now a splice strip between them, and the question left open was whether one smooth spacing curve could do the whole job or whether the joins are doing work no single curve can. One term does it: a curve with a single coefficient carries 6.8 degrees less angular deformation than the composite, two beat every named equal-area pseudocylindrical in the library, and the composite turns out to be worse than the Mollweide it is half made of.

families · Families The level is flat through the family, climbs over its last twentieth, and jumps at the cylinder. Each member's pass depth averaged over its 36 regions. From m = 0.2 to 0.9 it stays between 0.0224 and 0.0450 with no trend. From 0.95 it rises at every step — 0.0436, 0.0844, 0.0919, 0.1082, 0.1235, 0.1388 — a factor of 3.2 to the sinusoidal. And the cylinder at m = 0 stands at 0.2506, 8.5 times its nearest neighbour: a cylindrical map's pattern slides unchanged when it is turned about the Earth's axis, and no other member's does.

The sinusoidal is the edge of its family, not outside it

The sinusoidal is the last member of a family of equal-area maps that begins at Lambert's cylindrical, and it was thought to be the one projection whose pass depth has no curve. Along the family the curve comes and goes: present at m = 0 and 0.8, absent at 0.6 and 0.9. What does move smoothly is the pass depth's level. It is flat from m = 0.2 to 0.9, then rises at every step over the last twentieth, 3.2-fold, to the sinusoid — whose high ridges are the end of that rise, not an exception to the family — while the cylinder at m = 0 stands eight times above its neighbour.

choosing · Choosing

Named alongside it

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

OptimisationEqual-areaPseudocylindricalVerificationPurposeSinusoidalAngular deformationAspectAzimuthalConicDegrees of freedomDistortion criterion

All concepts