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

Parameter search — where it appears

A systematic exploration of a projection's free parameters to minimise a stated criterion over a stated region. Its answer is reproducible in the map it produces and not in the parameters it reports, which is a distinction worth making before the parameters are published.

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

Every candidate fitted to one map's graticule, ranked by what is left over. The map is drawn in Conformal conic over a region 40° tall centred at 45° north, and the projection is not told to the fit. Each candidate is evaluated at the same 121 graticule crossings, its own parameters are searched, the best plane similarity between its output and the picture is removed, and what remains is drawn as a proportion of the map's own width on a logarithmic scale. Conformal conic fits to 1.3e-10, which is the arithmetic's floor; the next candidate is 3.7e+7 times worse.

A map does not say what it is

Every map on this site is one the site drew, from a projection it chose. Every map a reader has ever used is the other kind — a picture whose projection is a sentence in a corner, a legend, or nothing at all. The graticule is enough to recover it: fit every candidate to the crossings and rank what is left over.

wrong · Identify One slice of the aspect objective, at the best γ. The Kavrayskiy score for Robinson over Japan, as the pole is moved over the whole sphere with the third rotation held at the value the search settled on. Dark is good. The marks are local minima of the full three-dimensional grid that happen to lie in this slice: there are 6 of them here and 58 in the cube, and a search that walks downhill from a random start reaches the best of them 7 per cent of the time.

The landscape the search walks on

The three-parameter aspect search was run and its answer recorded with a note admitting nothing proved it global. Mapping the objective finds 26 to 34 local minima for every projection and region tried, a downhill walk from a random start reaching the best of them 6 to 35 per cent of the time — and one seed from the coarse grid the search already uses reaching it in all four cases. The score is reproducible to two per cent across a sevenfold refinement; the pole it names moves 60 degrees.

choosing · Choosing The set of aspects within a stated distance of the best, for Robinson over Japan. Each row takes every point of a 36 × 19 × 24 grid in the three aspect parameters that scores within (1 + t) of the best, joins neighbouring points, and identifies the pieces the exact degeneracy relates. At t = 3 it is one connected piece spanning 170° of pole; by t = 1 it has broken into 14 pieces; and by t = 0.3 the largest of them spans 11°. So it is not one valley and it is not one basin — it is a sheet that fractures.

The shape of the valley

An aspect search returns three numbers, two searches return triples that differ by a hemisphere, and the maps they produce agree. One cause is an exact degeneracy and the rest was called a valley and left unmeasured. Sampled densely, it is neither a valley nor a basin: a connected sheet spanning 170° of pole that fractures into fourteen pieces once the threshold tightens.

choosing · Choosing Where Robinson's valley breaks, against how large the region is. The threshold at which the set of near-optimal aspects stops being one connected piece, for square regions of growing size at 38° north. It falls from 2.13 at 6° to 0.27 at 30°, a factor of 8.0. The previous rung measured this at one region and quoted "about twice the optimum"; that value belongs to a small region, and the prediction that it should fall as the region grows is what this tests.

Where the valley breaks in two

The previous rung found a near-optimal set that is one connected sheet at a loose threshold and fourteen basins at a tight one, and explained the transition without testing it. The explanation is a prediction about region size and projection sharpness: swept over both, the threshold falls from 2.13 to 0.27 as a region grows from 6° to 30°, three projections lie on nearly one curve, and a fourth declines to join for a reason worth having.

choosing · Choosing 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

Nine rungs treat a family as a set of maps with a parameter running through it, and this collection's own compromise projections 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

Named alongside it

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

OptimisationAspectIdentifiabilityLocal minimumObjective functionReproducibilitySearchCone constantDegeneracyLevel setProjection familySymmetry

All concepts