Concept

Trade-off — where it appears

Two desirable properties that cannot both hold, so that improving one is measurable as a cost in the other rather than as an engineering difficulty. The one this whole collection is about follows in two lines from Gauss's theorem, and it is a theorem rather than an engineering limitation.

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

Every projection in the library, measured against both properties. Maximum angular deformation across the bottom, maximum areal error up the side, both on logarithmic scales and both measured over several hundred sample points rather than taken from the projection's description. Conformal projections lie on the left edge, equal-area ones along the bottom, and the corner where both vanish is empty because a projection there would be an isometry of the sphere onto the plane. All 26 are plotted; the five named here are Mercator, Stereographic, Gall–Peters, Mollweide, Winkel tripel.

The trade-off is two lines

Conformal means the two principal scales are equal. Equal-area means their product is one. Both at once forces both to one, which is an isometry, which the curvature forbids. That is the entire argument.

impossibility · Curvature
A 1,000 km bar on Mercator, drawn at 0° and read elsewhere. The same length of paper, carried up the map. Each pair of bars is the ground distance that length actually spans at that latitude — the filled bar along the parallel, the outline along the meridian. At 75° the reading along the parallel is 259 km against the 1,000 the bar claims, an error of 74 per cent. The two readings agree everywhere, because Mercator is conformal — so one number per latitude corrects any measurement taken off it.

A scale bar is right in one place

The bar in the corner of a world map is a picture of a distance, and it is a true picture along one line. On Mercator it reads 500 kilometres for a thousand at 60° north — and on an equal-area map it reads 500 one way and 2,000 the other, so the projection recommended for measuring is the one on which no single correction exists.

applied · Screen
The scale factor was chosen, and the choice is a V. The worst departure of the grid scale factor from unity across a region 9° wide and 9° tall, for every scale factor between 0.998108 and 1.0002, on a central meridian of 2°W. A tangent projection touches at one meridian and is too big everywhere else, at 1987 ppm. Scaling the whole grid down slides that interval until it straddles unity, and the minimum sits at 1/√k_max = 0.999008102, where the worst departure is 993 ppm — a factor of 2.00, which is the most this construction can buy and is reached exactly. The published value marked beside it was chosen the same way, for this region, in the 1930s.

The scale factor was chosen

A grid's scale factor is not a constant of nature. Britain's 0.9996012717 is the reciprocal square root of the worst distortion a tangent projection would have had over the country, it halves the worst-case error exactly, and the halving is the most that construction can ever buy.

practice · Grid
The cut at 85.0511°, and the alternatives that are not square. Mercator's northing runs to infinity at the pole, so a tiling has to stop somewhere, and the latitude is not a rounding: 85.0511° is where the northing equals half the world's width, which is the only cut that makes the projected world a square. The bars are what other cuts would give — at 89° the world is 1.51 times as tall as it is wide, and a single square root tile cannot cover it. The price is 0.373 per cent of the Earth's surface, 1,901,487 square kilometres in two caps, computed from 2πR²(1 − sin φ) rather than estimated.

The square costs the poles

The cut at 85.0511287798° is the most-quoted number in web mapping and is almost never derived. It is where Mercator's northing equals half the world's width — the condition for a square — and it drops 1,901,487 square kilometres. A two-tile root would have reached 89.786° and dropped 3,558.

applied · Screen
Sinusoidal, cut into 6 lobes. six lobes, cut through the oceans so each continent stays whole. Each lobe is the same projection about its own central meridian, so each point is near a line where the shape distortion vanishes: the mean angular deformation over the mapped world falls from 38.6° uninterrupted to 17.8° here. What is given up is that the map is no longer one surface — the graticule stops at every cut because there is nothing on the other side of it.

Giving up continuity

Cutting a map into lobes really does reduce the distortion, by a factor that can be measured. What is paid is that the map stops being one surface — and the size of the tear is the number that pictures of interrupted maps never carry.

choosing · Choosing
What a grid of one's own is worth. For every candidate central meridian, the best worst-case distortion achievable over the region once the scale factor has also been optimised — so each point on the curve is already the bottom of its own V. The minimum is at 2.9°W with k₀ = 0.9993009, giving 700 ppm. The dashed line is UTM zone 30, whose meridian and scale factor were chosen for no region in particular, at 1059 ppm. The national grid is better by a factor of 1.51 — which is the whole of the answer to why a country publishes a grid rather than using the zones, and it is a smaller factor than the argument is usually made to sound.

Designing a grid for one region

A country with a grid of its own beats the international zone that would otherwise carry it by a factor of 1.51. That is worth having and it is much less than the argument is usually made to sound, and the difference between the two numbers is the whole case for and against national grids.

practice · Grid
Two square worlds: Mercator's areas against an equal-area scheme's angles. Both projections give a world exactly as wide as it is tall, so either could carry a quadtree of square tiles. Mercator keeps every angle and inflates area by sec²φ — 132-fold at 85°. The cylindrical equal-area scheme whose world is square has standard parallels at ±55.65° — the solution of π cos²φ₀ = 1 — and keeps every area exactly, at a cost of nothing there and 145° of angular deformation at the edges. At the standard parallel itself Mercator's areal factor is 3.142, which is π, because the square-world condition and sec²φ are the same equation.

The pyramid did not have to be Mercator

The usual defence is that a quadtree needs a square world and Mercator supplies one. So does the cylindrical equal-area with standard parallels at ±55.654° — the solution of π cos²φ₀ = 1 — and it needs no polar cut at all. What Mercator actually buys is conformality, and the price of giving it up is 13.8° of shear at 60° north.

applied · Screen
What a pole line buys, and what it costs. four pseudocylindrical projections placed by the two numbers the decision moves. Across the bottom, the angular deformation averaged over the whole sphere, where the pole-line projections — Eckert IV and Robinson — are the better maps. Up the side, on a log axis, the factor by which the last parallel is stretched, where they are worse by more than tenfold: 49× at best against 4.6× at worst for a pole drawn as a point. A pole line represents one point of the globe by a line of the map, and that is the price.

Where a pseudocylindrical puts its error

Every projection in this family has to decide what to do at the pole, which on the globe is a point where every meridian meets. Drawing it as a point and drawing it as a line are the two answers, and the trade between them is measurable in both directions.

families · Families
A grid scaled to the ground, and where it stops being one. A surface coordinate system on the British National Grid: the grid multiplied by 1.0004044, the reciprocal of the combined factor at a project origin 120 m above the ellipsoid, so that a grid distance equals a ground distance there. It is exact at the origin by construction and wrong everywhere else, and the two directions are not comparable — the axis is logarithmic across five decades. 60 km due east the set-out distance is out by 5559 mm, and the same distance due north by 20.5 mm. The scale factor of a transverse Mercator depends on the easting and almost not at all on the northing, so a system sold as good "within a few kilometres" has a useful area that is a strip rather than a circle.

A grid scaled to the ground is not a map

Construction sites work in coordinates where a tape reading equals a computed distance, which is achieved by multiplying the national grid by a constant. The result is exact at one point, degrades east–west forty times faster than north–south, and is not a map projection at all.

practice · Grid
Which corrections a 10 mm job may leave out. Each correction inverted: the line length — or, for the last row, the patch radius — at which that correction alone reaches 10 mm, for a job 150 m above the ellipsoid on 2° of ground, 0.0° from the British National Grid's central meridian. The tightest is the slope reduction at 16 m. Three of the four rows are linear in the tolerance, so this ranking is the same at a millimetre and at a decimetre; what does change it is the site — move the job up a mountain or onto steeper ground and the order is different, which is why a specification's list is not transferable.

The tolerance decides the model

Every correction inverts to a distance — the line length at which it alone exceeds a stated tolerance. The ranking those distances produce is the same at a millimetre and at a decimetre, and it is different for two jobs at the same tolerance on different ground.

practice · Reduction
Past the five solids: what more faces buy, and what they cost. The icosahedron subdivided 2, 3, 4, 6, 8 ways, giving 20, 80, 180, 320, 720, 1280 faces. The worst angular deformation inside a face falls from 13.1° to 0.26°, with a fitted exponent of -0.947 against the face count — the reciprocal, as it must be, because a face's angular size goes as the inverse square root of the count and the gnomonic's deformation goes as the square of that. The total cut length rises from 11.6 to 96 sphere radii, fitted at 0.509. Both exponents together say the whole economics of the family in one line: halving the distortion costs √2 times the cutting, for ever.

More faces, less distortion, more cutting

The five regular solids are where polyhedral mapping stops, and they stop because there are only five rather than for any reason about maps. Subdivide instead, and the family runs to any number of faces with two fitted exponents: distortion falls as the reciprocal of the count and cutting rises as its square root.

families · Polyhedral
five planes a dataset might be stored in, scored on three operations. Each candidate measured over -10° to 30° east and 35° to 60° north: the worst areal error, the worst angular deformation, and the spread of the scale factor, which are what an area query, a shape and a distance respectively depend on. The best plane for areas is Gall–Peters, for shapes Lambert conformal conic, and for distances Lambert conformal conic — three different answers, and no fourth candidate would collapse them, because a projection exact in two of these columns has a = b = 1 everywhere and is the isometry Gauss's theorem forbids. area of a polygon costs 3.06× too large in the wrong plane; drawing a line between two points costs 194 km from the ground it claims.

The operation decides the coordinate system

Five candidate planes over one region, scored on the three things a spatial operation depends on. The conformal conic wins shape and distance and is 11.7 per cent out on area; the equal-area member is exact on area and 38.9° out on shape. No candidate is exact in two columns, and no candidate ever will be, because one that was would be an isometry.

applied · Dataset
One level surface, 1000 m up at the equator, in two height systems. A single equipotential surface — the shape a body of water takes — with the number each height system gives it, all the way from the equator to the pole. The orthometric height, which is the distance up the plumb line and therefore a length, falls by 5.28 metres along it, because level surfaces converge polewards. The dynamic height, which is the geopotential number divided by one constant gravity value, is flat to 0.000 millimetres — it is the same number everywhere on the surface, and it is not a distance from anything.

A height that is not a length

Level surfaces converge polewards, so the surface a lake sits on is 5.28 metres lower at the pole than at the equator and a height system that reports lengths says a lake runs downhill. The fix reports a number that is constant on the surface and is not a distance from anything: a hundred-metre climb raises it by 99.73 metres at the equator and 100.26 at the pole.

datums · Height
Every library projection over Europe, on the two axes it can be wrong on. Each dot is one projection, scored over Europe on the two independent failures: how much it turns angles and how much it changes areas. The lower-left corner is the isometry that does not exist. The line joins the five projections nothing beats on both counts — the rest are inside it, and a reader who prefers either failure to the other should still not choose one of them, whatever weighting they hold.

The projections that are beaten on both counts

Two rungs of this ladder scored a rule of thumb over thirty regions and then forty-five. The same populations answer a harder question the ladder has never put: which library members are never the right answer at all. Two are beaten outright on both criteria everywhere, one is on no regional front in any population — and it is on the world's.

wrong · Audit
Two nets of the same solid, cut to the same length. Every net of a Platonic solid severs exactly the same number of edges, all of the same length, so the total length of the cut is a constant and cannot choose between them. Each line joins the two places a severed edge ends up. Left: the net that keeps them closest, 11.30 edge lengths in total. Right: the net that puts them furthest apart, 17.97 — a factor of 1.59 for the same amount of cutting.

The net that loses the fewest neighbours

Every one of the cube's 384 nets cuts exactly seven edges of exactly the same length, so the quantity this collection has been pricing cutting by is a constant that cannot choose between them. Measured on the reader's side — how far apart a net puts two places that touch on the globe — the best net scores 11.30 and the worst 17.97, for identical cutting.

families · Polyhedral
The whole sphere, in two sheets. Two stereographic charts, one centred on each pole, each carried to 100° from its own centre. Two caps cover a sphere exactly when each reaches 90°, so this is the minimal atlas with a little overlap, and the heavy circle in each is the equator — the one curve both sheets contain. Nothing smaller works: one chart cannot cover the sphere at all, which is what this field's first rung proves. What the counting also fixes is a price: the worst point of any two-chart atlas is at 90° from a centre, where a conformal chart's areal factor is exactly 6 and an equal-area one's angular deformation is 49.07°.

Two charts are enough, and one is not

The topological minimum for an atlas of the sphere is two sheets, and the counting fixes a price nobody chose: the worst point of any two-chart atlas is 90° from a chart's centre, where a conformal chart's areal factor is exactly 4 and an equal-area one's angular deformation is 38.94°. A national series has a hundred and twenty thousand sheets, and a hundred and twenty thousand minus two of them are bought by accuracy.

impossibility · Topology

A cell system trades area for shape

A grid can hold every cell to exactly the same area or hold every cell nearly square, and the measurement says it cannot do both: the equal-area cube's areas agree to a part in a thousand and its worst cell is 1.29 times as long as it is wide, while the tangent-warped cube holds shape to 1.19 and lets area vary by 20 per cent.

applied · Cells

What a cut buys

Six rungs count cuts and none measures one. A cut is a curve on the sphere with a length in kilometres, the shape distortion it removes is a falling function of that length, and the interruption everybody prints spends a hundred thousand kilometres to reach a figure the even-lobed curve reaches with sixty.

impossibility · Topology

A query is a disc, and a disc is not a cell

Everything a cell system does is an address lookup except the one question anybody actually asks it: find everything within five kilometres of here. That is a disc, and the number of cells it fetches is not its area divided by a cell's — at the radii a query is really made at, it is three to seventeen times that.

applied · Cells

The address is a curve through the sphere

A database does not fetch a set of cells, it reads ranges of identifiers — so the cost of a query is how many runs its cells form, not how many cells it needs. Hilbert order wins that measurement and loses the one usually quoted for it: its neighbouring cells are further apart in identifier than row-major's, on average and at worst.

applied · Cells

An edge has no order of convergence

On a smooth field the three resampling kernels converge at orders 1, 2 and 3 and the choice is obvious. Across a discontinuity they converge at 0.78, 0.58 and 0.60 — within a factor of 1.4 of each other, in an order that puts nearest-neighbour first, and a real raster is mostly edges.

applied · Dataset

The best flat picture is not a map

A set of dots whose separations are as nearly right as separations can be made beats every projection in this collection — by a factor of thirteen on four world cities, and by eight per cent on sixteen. The collapse between those two numbers is not about cartography. It is that a picture of n places has 2n − 3 free numbers and n(n − 1)/2 distances to spend them on.

impossibility · Embedding

The exact map says the seam is smooth

The previous rung could only bound the conformal seam's corner at about two degrees, because the series it was fitted with holds its boundary condition to three parts in a thousand. An exact map exists — the stereographic projection composed with ∫dt/√(1 − t⁴) — and it settles it: the corner falls in exact proportion to the arc the tangent is read over, fitted exponent 0.99, while the gnomonic's 21.4572° is the same to four decimals at every span.

families · Polyhedral

Which projection a weighting can make best

Rung eight finds the seven world projections nothing beats on both counts and tells a reader with a preference that one of them is their answer. Four of the seven are not: they sit in dents of the front, undominated and unreachable, and no weighting of angle against area can ever put them first. Robinson can be first, on 2.8 per cent of the weight range.

wrong · Audit

The ranking is not an order

The previous rung showed that a weighting can make almost any projection best. Remove the weights entirely, let each of the seven criteria vote once, and the answer is worse: over the whole sphere Mercator beats the sinusoidal, the sinusoidal beats Eckert IV, and Eckert IV beats Mercator — four such circles, every margin four to three, with a Condorcet winner sitting above them all.

wrong · Audit

The first break is mostly its denominator

Three rungs have fitted the near-optimal set's fracture threshold against region size and read the answer as a statement about the landscape. It is a ratio, and separating it takes one multiplication: the pass's own depth is constant to 12 per cent below twenty degrees of span, and the whole of the threshold's movement there is the denominator — the best score the region admits at all — rising with exponent 0.92.

choosing · Choosing

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 pooled score abandons a region

Fifteen rungs optimise for one region. An atlas is several, and pooling their samples into one area-weighted score is what everybody does — which on Britain and New Zealand serves Britain 1.2 times worse than it could be served alone and New Zealand 125 times worse. The worst-case objective makes them equal at 33 and 59, and the cost of sharing rises with separation from 1.4 to 59.

choosing · Choosing

The maps with no family are simply better

Rung eight found seven projections with no continuous symmetry and noticed they are almost exactly the set anybody would choose for a world map, then offered a conjecture with 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

The best compromise for angle is not the best for bending

Every compromise projection in the library is an average of two others, and averaging is a first-order operation — so the second derivative was never part of the bargain. Swept along five ordinary blend paths, the weight that minimises angular deformation and the weight that minimises flexion are between a quarter and a half of the axis apart, and how much a compromise buys at one order predicts nothing about the other.

distortion · Flexion

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

The lines where the bending vanishes

Every projection has a line printed in its margin — the standard parallel, where the scale is exactly one. It has a second special line nobody prints: the one along which a geodesic is drawn straight to second order. On Gall–Peters they are forty-five degrees apart, and the rule turns out to be tangency — a tangent construction puts both lines at its point of contact and a secant one moves only the first.

distortion · Flexion

Named alongside it

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

PurposeVerificationToleranceAngular deformationEqual-areaOptimisationClosed formScale factorConformalityAggregationConventionRanking

All concepts