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

The thread: Measured, not named — page 12

A projection is usually called conformal because that is its name. Here it is called conformal only after the angular deformation has been computed at several hundred points and found to be zero. Essays 265 to 288 of 292.
How far the two routes end up apart. The distance between a line simplified directly at the final tolerance and the same line simplified through two intermediate products, as a multiple of the final tolerance, with a stated extra step applied to each intermediate. With nothing in between the two are the same line to the last bit, because Douglas–Peucker's outputs are nested. Rounding the intermediate to half the tolerance, smoothing it for legibility, or running it through a moving average each break that, and the last of them puts the final product 0.142 away from where a direct route would have put it — nine times the tolerance the product is published under. What a machine does with it

Two routes to one scale

A national series is cascaded — the million is derived from the quarter-million, which was derived from the fifty — and the folklore is that the errors accumulate. They do not: Douglas–Peucker and Visvalingam both cascade to the same line the direct route produces, bit for bit, because both output a sublevel set of a per-vertex number. What breaks it is anything else in the chain, and a moving average puts the product nine tolerances away.

 Conformality helps and does not save it. The proportion of a stated terrain whose plan curvature changes sign when it is read off a grid in each projection. A conformal map turns every direction through the same angle, so the contour and the slope line stay perpendicular and the sign ought to survive — and it mostly does, at 0.30 per cent against 13.3. It is not zero, and the term that flips it is the gradient of the scale factor: the curvature of a curve under a conformal map is (κ − ∂ₙ log λ)/λ, and Mercator's λ has a gradient. Measuring distortion

The curvature of a field is not the curvature of its picture

Whether a place is a spur or a hollow is the sign of a second derivative, and every automatic terrain classification is built on it. Read off an equal-area grid, that sign is wrong on 13.25 per cent of a sheet — and conformality reduces it to 0.30 per cent without removing it.

 A surface whose curvature changes sign, and integrates to nothing. a wide ring of major radius 3 and minor radius 1, shaded by its Gaussian curvature. The outer half is positively curved like a sphere, at up to 0.250; the inner half is saddle-shaped and negative, down to -0.500; and the two circles between them, drawn as lines, are exactly flat. The integral of the curvature over the whole surface is zero, which is 2π times the Euler characteristic — and every impossibility in this collection rests on that number being 2 rather than 0. What the numbers refer to

On a body with a hole, north can be up everywhere

Twelve rungs vary the body's shape and none varies its topology, which is what every impossibility here actually rests on. A torus has a nowhere-zero tangent field, a total curvature of zero rather than 4π, and a conformal world map with no cut and no singular point — and it still cannot be flattened, for the one reason that survives.

 Millimetres of horizontal move per kilometre of assumed height. How far the transformed latitude and longitude move when the height fed into a datum transformation changes by one kilometre, for four published transformations at five places. It runs from 7.7 to 121 millimetres per kilometre. A latitude and a longitude do not carry a height, so a two-dimensional coordinate cannot be transformed until somebody supplies one that is not in it. What the numbers refer to

The height a coordinate does not carry

Ten rungs treat a datum shift as a map from one pair of angles to another. It is not one: the transformation runs through Cartesian coordinates, so the answer depends on the height — by 7.7 to 121 millimetres per kilometre depending on the datum and the place, which puts Lhasa 432 millimetres from where a height of zero would have said.

 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. Measuring distortion

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.

 The same tiling, turned. The cube's eight vertices, ringed, and eight cities, with the aspect of the cell each city falls in written beside it. The two panels are the same tiling: the same cells, the same areas, the same shapes, in the same numbers. Only where they sit has changed, and the eight cities get cells whose areas spread by 1.26 in one and 1.39 in the other. Drawn on Mollweide, in which equal ground areas are equal page areas. What a machine does with it

The orientation is a policy

A polyhedral cell system has three free angles nobody scores. They cannot improve it: rotating the solid rotates every cell rigidly, so the distribution of cell areas is identical for every orientation there is. What they decide is who stands on the bad cells — and the eight cities measured here get a spread of cell area of 1.00 under the best turn and 1.50 under the worst.

 Two conventions for one indicatrix field on Mercator. The left panel is the convention nearly every published field uses: every ellipse drawn at the same area on the paper, so the picture carries the shape and throws the size away. The right panel draws the image of the same ground circle at every place, so the drawn area IS the areal scale factor. On Mercator the axis ratio spans 1.0000 and the areal factor spans 14.93, so the left panel shows nothing the other one shows. Neither caption states which is which, on any published map this collection has found. Measuring distortion

The ellipses are a sample, drawn at a size somebody chose

Thirteen essays measure with the indicatrix and none audits it as an instrument. A published field has a gauge nobody states and a placement nobody states: on Mercator the standard convention draws twenty-five identical circles while the areal factor runs over a factor of 14.9, and the average a reader takes off any of these fields is between 22 and 64 per cent too high.

 Waiting longer buys almost nothing under the spectrum that is actually there. The scatter of block means against the block length, for the three spectra. White noise falls with a slope of -0.484 — the inverse square root everybody assumes. Flicker falls with a slope of -0.111, so a hundredfold longer average buys a factor of 1.67 rather than ten. A random walk is very nearly flat. Measuring distortion

The error that does not average down

Five rungs give a coordinate a width, and all five assume the observations it was averaged from are independent. They are not. Under the noise spectrum every published analysis of a position time series reports, the standard error falls as the eleventh root rather than the square root — so a factor of ten costs a hundred observations if the noise is white and a thousand million if it is not.

 The bias is σ² over the length, over two decades. The amount by which a measured baseline is longer than the true one, against its length, for a twenty-millimetre error on each end. The line is the second-order prediction σ²/d. The measured bias times the length is constant to a factor of 1.0014 across the whole range, and it sits 8.2 per cent below the prediction — which is the fourth-order term the expansion drops. The estimate is antithetic, so the first-order scatter cancels exactly and a bias of thirty-seven microns is measured at a t-statistic of 349. Measuring distortion

A length measured from noisy points is too long

A distance is a square root, a square root is concave, and the average of the distances is not the distance between the averages. The gap is a bias with one sign: 37 microns on a ten-metre baseline with twenty-millimetre marks, following σ² over the length across two decades, and it adds rather than cancelling — so the same boundary is 1.5 parts per million longer when it is measured in more pieces.

 Two compromises along one path, and they do not agree. The angular deformation and the flexion of every blend between Mercator and Lambert cylindrical, each divided by the straight line between the two parents' own values. A value of one means the blend is exactly the average of the two errors and has bought nothing. The angular deformation dips to 0.649 at a weight of 0.13; the flexion dips only to 0.955, and it does so at 0.50. Anybody choosing a compromise is choosing a weight, and the two orders want different ones. Measuring distortion

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.

 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. Measuring distortion

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.

 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. Measuring distortion

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.

 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. Measuring distortion

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.

 One field, one classifier, two sets of breaks. A field that varies with latitude put into 5 classes by area-weighted quantiles, on Mercator. The upper panel weights each region by its ground area and the lower by the area it occupies on this page, which is what a classifier handed projected geometry does. 60 of 150 regions land in a different class, marked in the lower panel. The data has not changed and neither has the number of classes. Measuring distortion

The class breaks were computed on the page

The three rungs below price what a reader does with a finished map. A classifier is software, it runs on the geometry it has, and the geometry it has is projected: a five-class quantile classification of one stated field puts half of the three hundred and eighty-four regions in a different colour on Mercator, and 87.5 per cent of them at nine classes.

 The areal factor over 0° to 60° north, and the points it is measured at. Mercator's areal factor shaded over 0° to 60° north, from 1.0001 to 3.8473, with the 12 × 12 grid of cell centres a regional measurement uses drawn on top of it. The cross marks where the quantity is actually largest, found by a search that is allowed to leave the sample; the ring marks the largest value the sample contains. The grid's answer is 3.4639 and the real one is 4.0000, short by 13.40% — and the reason is visible in the picture, because no cell centre is ever on an edge. Measuring distortion

The worst point is not on the grid

Every maximum distortion this collection has printed is a maximum over a sample, and a maximum over a sample is a lower bound. On Mercator over a sixty-degree band a twelve-by-twelve grid reports 3.464 where the answer is exactly 4, and the shortfall does not go away with refinement so much as decay at a rate that says where the extreme is hiding.

 One of these averages exists. Mercator's area-weighted mean areal factor, and its Kavrayskiy number, against how close the sampled band comes to the pole. The first is artanh(sin Φ)/sin Φ in closed form and has no limit: it passes 7.04 at a tenth of a degree from the pole and keeps going, gaining a fixed amount every time the remaining gap is halved. The second settles by 85° and does not move again. Both are published as summary distortion figures for the same map. Measuring distortion

A mean that does not exist can still be printed

Mercator's area-weighted mean areal factor is artanh(sin Φ)/sin Φ, and it has no limit. A sampler asked for it returns the logarithm of its own sample count plus 1.512 — measured slope 1.001 against ln n — so the number is a property of the person who computed it. The Kavrayskiy number for the same map over the same sphere settles at 0.52124 and is a number.

 Three ways to cover a sphere with 900 points. The three samplers this collection's numbers are computed with, each with about 900 points, drawn on the Mollweide projection so that equal areas on the sphere are equal areas on the page and the crowding is the samplers' rather than the map's. The graticule piles points at the poles; the equal-area rings space them evenly by area and unevenly by distance; the Fibonacci lattice trades a little of each. None of them is equal-area, and no finite set is. Measuring distortion

There is no equal-area lattice on a sphere

Every number in this collection is an average over a point set, and the three point sets available all fail to be equal-area in different ways. The equal-area ring sampler this site has used since its early essays is the one whose outermost ring sits half a step inside the rim — which is how a measured scale spread once came in 3.42 parts in a thousand below a proved bound.

 The doubling ladder is the one sequence that cannot see it. The largest departure of a small circle from its own indicatrix that a grid of n latitudes over 10° to 70° north finds on the Robinson projection. The filled marks are 4, 8, 16, 32, 64 and 128 — the doubling ladder every convergence study runs — and they rise smoothly to about 4.66e-4 with the increments halving, which is what a convergent first-order sequence looks like. The open marks are grids whose samples land on the projection's five-degree table entries. They report 1.28e-2, twenty-seven times higher, and whether a grid does that is decided by whether n is a multiple of four. Measuring distortion

A refinement that stops moving

Doubling the sample and watching the answer settle is how every quadrature in every field is checked. On the Robinson projection the doubling ladder — 4, 8, 16, 32, 64, 128 — converges beautifully, with its increments halving at every step, on a limit that is wrong by a factor of twenty-seven. Whether a grid finds the answer is decided by whether n is a multiple of four.

 Which of this collection's numbers are the sampler's. How much each of two published quantities moves when the sampler behind it goes from twenty samples a side to sixty, for eight projections over the whole sphere. The Kavrayskiy numbers — the summary means the rankings are built from — move by at most 1.15 per cent. The worst-point angular deformations move by up to 19.0 per cent, all in the same direction, because they are maxima over a sample and a maximum over a sample is a lower bound. The split is clean, and it says which numbers here need refining and which do not. Measuring distortion

Which of these numbers are the sampler's

Four rungs have shown that a sampled maximum understates, a sampled mean can be a report on the sampler, no arrangement of points is neutral, and refining until the answer settles proves nothing. So the collection re-measured itself. The means move by at most 1.1 per cent, the worst points by up to 19, and the rankings — which is what the essays actually argue with — do not move at all.

 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. Measuring distortion

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.

 Two special lines, and they are not the same line. Each projection's true-scale parallels, found by solving for a parallel scale of exactly one, and the parallels along which its second-order failure vanishes, found by minimising the flexion. Five of eleven put them more than five degrees apart, and Gall–Peters puts them forty-five. The pattern is tangency: a projection with one standard parallel has both lines there, and a secant one has its true-scale lines moved off the centre while the bending zero stays. Measuring distortion

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.

 Densifying helps one and hurts the other. The standard deviation of the shoelace area, and the bias of the perimeter, against the number of vertices on the same 100-metre circle with the same 5-centimetre noise on each. The area's spread falls from 9.9 m² to 2.0 — the closed form says it goes as the square root of the vertex count's reciprocal, because a vertex's influence on the area is the vector between its two neighbours and densifying shortens it. The perimeter's bias rises from 0.07 mm to 261, a factor of 3697, because every leg contributes its own σ²/d and shorter legs contribute more. Measuring distortion

The area is unbiased and the perimeter is not

A boundary measured from noisy vertices comes out long, always, by σ²/d on every leg. The area enclosed by the same vertices comes out exactly right, because a shoelace is bilinear and the cross terms vanish. So densifying a boundary makes its area five times more precise and its perimeter three thousand times more wrong, and every compactness score computed from it falls short.

 Two maps with the same ellipses. Mollweide, and the same projection with the sheet turned 37° on the desk. Every ellipse is the same size and the same shape as its counterpart, and its angle to its own graticule is the same — the two indicatrix fields agree to 1.8e-12, which is arithmetic noise. The rotation differs by 37° at every point. So the classical description of a map's distortion is exactly blind to the difference between these two, and the difference is the whole of what a surveyor calls convergence. Measuring distortion

The fourth number the ellipse does not carry

A Jacobian has four independent entries and an indicatrix reports three. The missing one is the rigid rotation in the polar decomposition A = R·S, the indicatrix is exactly S, and R is what turns north into grid north: for the transverse Mercator it agrees with the survey formula for convergence to 5 × 10⁻¹⁰ degrees, from a different library and a different derivative.

 One map, two samples, two answers. The same Miller cylindrical projection carrying two sets of sample points of the same size. On the left the points are uniform over the SPHERE — equal ground area between them, which is what every mean in this collection integrates against. On the right they are uniform over the PAGE, which is what a raster, a pixel loop or any figure that walks its own canvas produces. The right-hand set crowds where the map stretches, and the mean angular deformation it returns is 18.0° against the left-hand set's 7.2°. Measuring distortion

The sample was drawn on the page

Every mean in this collection integrates over the sphere, because that is where the ground is. A raster, a pixel loop and any figure that walks its own canvas integrate over the page instead, and the difference is exactly the covariance between the quantity being measured and the map's own area distortion — 7.2° of mean angular deformation on Miller becoming 18.0°.

All threads