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

Every essay — page 12

Essays 265 to 288 of 339, in the same order.
The same deflection, from a compact mass and from a broad root. Each curve is the deflection of the vertical across a mass buried 8 km down, with the mass solved so that all of them peak at 10″. The narrow one is the buried sphere the earlier measurement used; the broad ones are crustal roots 40 and 160 km wide, modelled as that mass spread along a line. They agree where it matters most and disagree everywhere else: the signal is 30 km wide for the compact body and 188 km for the widest, which is the difference the plumb line feels as it descends. What the numbers refer to

A mountain is not a buried sphere

The plumb line's drift was measured over a compact buried body and grows as the 0.69 power of the column's height — an exponent that is a statement about how quickly a buried sphere's field weakens with distance rather than about mountains. Spread the same mass into a crustal root and the exponent climbs to 0.84, while the proportionality to the deflection survives exactly.

6 figures · Height The same tolerance, applied in two orders, at 65°. The faint line is the region's boundary as built, 1025 vertices across 400 km of ground. Both pipelines were given the same tolerance of 2000 m on the ground. Simplifying in degrees and then projecting keeps 311 of them; projecting into Mercator and then simplifying keeps 129; doing it on the ground itself, which no pipeline does, keeps 129. The two drawn lines separate by 1883 m, which is 94 per cent of the tolerance that was supposed to bound the whole operation. What a machine does with it

Simplification does not commute with the projection

A pipeline either simplifies the geometry and then projects it, or projects it and then simplifies. Both orders are in use, neither is recorded, and given the same tolerance in ground metres they keep different vertices — 129 of them on the ground, 367 in degree space at 80°, and 459 on an equal-area page.

8 figures · Generalise Two regions, three answers. Britain and New Zealand, 166° apart, with the pole of the best oblique conic under each of three objectives. Pooling the samples and taking an area-weighted score puts the pole in one place; refusing to let either region be worse than the other puts it somewhere else. The regions are drawn on Mollweide so that equal ground areas are equal page areas. What each projection optimises

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.

6 figures · Choosing Three boundaries, three tripoints. Three bilateral boundaries drawn through one nominal point, each described as the line between two monuments and each realised under a different convention — a geodesic, a rhumb line and a straight line on a Mercator sheet. The tripoint is defined three times, once by each pair of boundaries, and the three definitions are the three marked crossings. They are 21.33 kilometres apart at the widest and enclose 194.960 square kilometres. Under one convention throughout, the same construction puts all three crossings within 0.0 millimetres of each other — which is the refusal this figure carries, and the reason the triangle is a fact about the conventions rather than about the crossing arithmetic. Grids, and what a survey does

A tripoint defined three times

A tripoint is very often not a coordinate in any treaty. It is a description — the point where the boundary between A and B meets the boundary between B and C — and each of those boundaries is itself a description. So the point is defined three times, once by each pair, and under one convention throughout the three definitions agree to half a micrometre. Under three they enclose 6.69 square kilometres.

5 figures · Boundary The test the ladder 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 rung eight recorded 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 families

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.

5 figures · Families What a sheet does to the points before anybody measures them. The graticule crossings of a map drawn on Conformal conic, with an arrow at each one showing where the same crossing has moved to after the sheet dried — 0.1 per cent along the grain and 0.4 across it, with the grain at 23° to the map's axis, and the displacement magnified 60 times so it can be seen at all. The pattern is a stretch along one direction and a squeeze along the perpendicular, which is what an anisotropic scaling looks like. It is a property of the paper and has nothing to do with the map printed on it. A similarity fit to these points leaves 3.66e-4 of the map's own width unexplained, against 1.22e-10 on the unshrunk sheet. What is taught wrongly

The sheet moved before it was measured

Nine rungs take control points off a map and assume the sheet they came from is the sheet the cartographer drew. Paper shrinks across its grain three times as fast as along it, and on a map whose grain runs along its own axis that shrinkage is EXACTLY a change of standard parallel — one per cent moves the recovered parallel by 0.57 degrees with the residual sitting at the solver's floor.

5 figures · Identify The picture is kept, at four tolerances. One closed curve of 3001 vertices, simplified at four tolerances. Douglas–Peucker's promise holds in every panel: no discarded vertex is further than ε from the line drawn in its place, measured at 0.1158 against 0.128 in the last. The picture survives. The enclosed area does not: it falls by 5.43 per cent, and it falls rather than wandering, because cutting a corner takes area off and never puts it back. What a machine does with it

A tolerance is a promise about the picture

Douglas–Peucker guarantees exactly one thing: no vertex it discarded is further than ε from the line drawn in its place. It says nothing about the enclosed area, nothing about which side of the boundary a point ends up on, and nothing about whether the curve still fails to cross itself — and all three are what the geometry is usually being asked.

7 figures · Generalise The solve's cost is a U in the shape; the curvature is not. Solid: how many conjugate-gradient steps the conformal solve needs, against the window's aspect ratio, at constant surface area. It has a minimum at the square window — 174 steps — and rises to 265 and 275 at the two extremes, which are elongated by the same factor in opposite directions. Dashed: the total Gaussian curvature the window encloses, on its own scale, which falls from 0.311 to -0.012 across the same sweep and is least at one end of it. The cost has its minimum where the window is square and the curvature has its minimum somewhere else, so whatever is making the solve expensive is not what is making the map spread. What the numbers refer to

A long window and a square one

Rung nine held the patch's area and found that where the cut goes still changes the map by a third, with the curvature it encloses predicting the change at r = 0.969. It recorded that it had held area and curvature and not shape. Sweeping the shape at constant area separates two things that had looked like one: the map is curvature and the cost is shape.

8 figures · Bodies The whole of what an unlabelled map gives you. The outline of Japan as drawn on Conformal conic, delivered as an ordered list of page positions with nothing attached to any of them. No latitude, no longitude, no scale, no north. The rung's question is whether a projection can be recovered from that, and it can: the correspondence between the ink and the ground is found by sweeping the starting point round the curve and both directions, and the true candidate comes back with a residual of 2.88e-14 against the runner-up's 4.57e-4. What is taught wrongly

A map with no graticule

Ten rungs are handed control points, and a great many maps have none. Handed an outline with no labels on it at all, the method still works — and works better: the correspondence between ink and ground is recoverable exactly, because a similarity preserves ratios of arc length, and the margin on clean observations is 1.6 × 10¹⁰ against a graticule's 9.9 × 10⁶. What breaks it is noise, at three parts in a thousand.

5 figures · Identify A ring round the pole at 80°, and the two pieces it makes. the boundary of a small polar cap — and of everything else. A closed curve divides a sphere into two pieces and neither of them is the outside: one is 4 thousand square kilometres and the other is 506 thousand, a ratio of 130.6 to one, and the coordinates are the same either way. The two colours are the two pieces, sampled at points rather than shaded, because shading one of them would already be the decision this figure is about. What a machine does with it

A polygon on a sphere has no outside

Seven essays have treated a stored ring as a boundary between inside and outside. A closed curve on a sphere divides it into two pieces and neither of them is the outside, so every polygon in every file depends on a convention that no coordinate carries — and the two conventions in common use disagree by a factor of fourteen on any ring that contains a pole.

7 figures · Dataset What a seven-parameter fit's residual is made of. A published transformation accuracy is the root-mean-square residual at the common points, and here it is 1.51 metres. Almost all of it — 1.51 — is the network's own distortion, which a rigid motion and a scale cannot follow and which is present at every point of the country whether it was used in the fit or not. The transformation's own error, measured as the disagreement between the fitted parameters and the true ones over a clean grid, is 0.091 metres: 6 per cent of the quoted figure. The last bar is the control — the same fit with the distortion switched off, at 2.9e-4 metres. What the numbers refer to

What another common point buys

Rung three finds that a seven-parameter datum fit leaves a pattern rather than noise. Six per cent of the residual it reports is the transformation's own error and the other ninety-four is distortion no seven parameters can follow — so adding common points improves a term that was already small and cannot touch the one that is quoted.

8 figures · Datum What simplifying a boundary does to the number stored beside it. One region, simplified at five tolerances, with the error in the two quantities a consumer computes from the pair. If the density was stored, the total it implies moves by exactly the area's error — -1.55 per cent at the loosest tolerance. If the total was stored, the density it implies moves the other way by the same amount. Nothing in the file says which of the two was measured and which is being derived, and the simplification is normally done by a tool that never opens the attribute table. What a machine does with it

The attribute is a claim about the geometry

Fourteen essays price what a stored coordinate means and not one asks what the number stored beside it means. A rate is a quantity divided by an area, the area belongs to the geometry, and no format records which area — so a simplification that moves the outline by nothing visible moves the implied total by 1.55 per cent, an unweighted average of densities is 4.09 per cent out, and a choropleth gives a polar square kilometre fifteen times the ink of an equatorial one.

6 figures · Dataset Two source geometries of 96 cells each, rebinned to the same three targets. Both curves start from a source of 96 cells and rebin to targets of 32, 128, 512 cells, so the count ratio is identical along them and the only difference is the shape of the source cells: gnomonic squares on a cube against rectangles in longitude and latitude. The ratio dominates — both curves fall by more than half across the range — and the shapes still separate by 25 points at the middle target. The cube loses less, because its cells are all much the same size and the lon/lat source's collapse towards the poles. What a machine does with it

The same number of cells, in two shapes

Moving a field between two cell schemes loses 18 per cent of it per cell in one geometry and 39 in another, and the earlier measurement could not say whether that was the shape of the cells or the ratio of their sizes, because changing the schemes changed both. Holding the counts settles it: the count ratio decides most of the loss, and the shape is still worth a quarter of the field.

6 figures · Cells An error in a rotation rate is a longitude error that never stops growing. Where the prime meridian of each body has got to, if its published rotation rate is wrong by one unit in its last published decimal. Every line is straight through the origin, because the error is the rate error multiplied by the elapsed time and nothing else — there is no date after which it settles. Jupiter reaches 2279 metres at the equator after a century; Mars, whose rate is published to twelve decimals rather than seven, reaches 0.0011 metres over the same interval. What the numbers refer to

A longitude that drifts with the rotation rate

Ten essays here map bodies whose shape is the problem. A longitude is not about shape: it is a landmark plus an extrapolation over however many days have passed, and an error in the last published decimal of a rotation rate is a coordinate error that grows without bound in time.

7 figures · Bodies What reading the seven parameters under the wrong convention costs. The distance between the two published conventions' answers for the same parameter set, at the worst point of the world. The difference is 2s(r × X) exactly — twice the rotation, crossed into the position — so a parameter set with no rotations is immune and one with a large rotation is not: DHDN reaches 152.3 metres and NAD27, whose published transformation is three translations and nothing else, reaches zero. The note beside each bar is the size of that datum's rotation. What the numbers refer to

The rotation has two sign conventions

Eleven essays price a datum transformation's parameters, their fit, their residuals and their uncertainty. None asks what the numbers mean: three of the seven are published under two conventions whose rotations differ in sign, and reading one set with the other formula costs exactly twice the rotation — 55 metres on OSGB36 and 152 on DHDN.

6 figures · Datum What a rebinning loses depends on where the target's edges are. Two grids of fixed counts, fixed shapes and fixed resolution, with the target slid across the source from perfect alignment to a full cell. Nothing about either grid changes except where its boundaries fall. The loss runs from 27.5 per cent at zero to 56.3 at half a cell — a factor of 2.04 — and the longitude-only curve returns to its starting value at a full cell to six decimal places, which is the periodicity check. A cell boundary that coincides with a target boundary loses nothing, and a grid comparison that does not say where its boundaries are has left that out. What a machine does with it

When the edges do not line up

Rung eight held the cell counts equal so that shape could be compared without the count ratio drowning it, and recorded a doubt: a longitude–latitude source shares its boundaries with a longitude–latitude target wherever their counts share a factor. The mechanism is real and worth a factor of two. It was not what the published number was made of.

8 figures · Cells There is no such thing as the radius of the Earth at a latitude. The two principal radii of curvature of WGS84, against latitude, with the mean radius that every table prints drawn across them. The meridional radius M runs from 6335.44 km at the equator to 6399.59 at the pole; the prime-vertical radius N from 6378.14 to the same value. They differ by 42.70 km at the equator and meet only at the pole, and the single number 6,371 km lies between them at no latitude where either is right. What the numbers refer to

The radius of curvature is two numbers

Twelve essays work on the ellipsoid and every one of them takes a radius when it needs one. There are two at every point, they differ by 42.70 kilometres at the equator, and the single number every table prints is out by 5,583 parts per million on a line running north.

7 figures · Ellipsoid The same 2-pixel road at three latitudes, zoom 5. The dark bar is the mark as drawn — 2 pixels, identical in all three panels, because that is what the stylesheet says. The pale band behind it is the ground that mark covers, drawn to one common ground scale: 9.78 kilometres at the equator, 6.92 at 45° and 1.70 at 80°. The reader sees the dark bar and is being told about the pale one. What a machine does with it

The road is drawn two pixels wide

Seven rungs measure what a screen map does to position. Nothing on a map is a point: every mark has a width, the width is chosen in pixels, and a two-pixel road covers 9.78 kilometres of ground at the equator and 1.70 at 80° north. That is a generalisation applied at a strength varying by a factor of six across one sheet, by a stylesheet with no latitude in it.

8 figures · Screen Two features, one shared boundary, simplified apart. Two neighbouring areas whose common boundary is a curve with structure at every scale — a river or a ridge, in effect — each stored with its own copy of that boundary and each simplified on its own at a tolerance of 0.01. The faint outlines are the originals and the solid ones what came back. The two copies of the shared boundary were within 0.01 of each other before the simplification and are not afterwards: 144 probe cells of 40000 now lie inside both features and 0 inside neither. What a machine does with it

A boundary that two features share

Three rungs simplify one curve and price what a tolerance covers. Almost no boundary in a real dataset belongs to one feature: a county's edge is the next county's edge, it is stored twice, and it is simplified twice. What opens between the two answers is a region belonging to both features or to neither, and its area is not bounded by the tolerance.

7 figures · Generalise The same baseline, turned. The part of a 20 km height difference a degree-360 geoid model omits, against the direction the baseline runs, at four anisotropy ratios. A ratio of one is the model rung 9 used and is a flat line — the isotropic covariance cannot depend on a direction, by construction, which is the whole of the objection. At a ratio of two the same baseline omits 165 millimetres along the grain and 241 across it. What the numbers refer to

The correlation is not the same in every direction

Every number in the previous rung came out of Σ cₙ Pₙ(cos ψ) — a covariance that depends on the angular distance and nothing else. Ground has grain: at a modest anisotropy the same 20 km baseline omits 165 millimetres along it and 241 across, and the isotropic answer understates the worse direction by 18.4 per cent.

6 figures · Height Twenty-four versions of one shape, and not one of them gains area. The same closed boundary rotated twenty-four times and simplified at the same tolerance. If the area error were noise the values would straddle zero and their mean would fall towards it; they do not. Every one is negative, the mean is -0.4644 per cent, and the mean is 71 standard errors from zero. A bias of that size cannot be removed by averaging over more boundaries, which is the only defence anybody has against a rounding error. What a machine does with it

A thousand features are wrong in the same direction

The area a simplification costs is unpredictable in sign for one feature. Over a population it is not: twenty-four presentations of one shape all lose area, the mean is seventy standard errors below zero, and no amount of aggregation removes it.

6 figures · Generalise a transform boundary: what the ground is doing to itself. The same 72 places as the velocity field, with the strain rate computed from the motion's own four partial derivatives rather than from its size. Each cross carries two principal rates: the long stroke is the greater extension, the barred one is shortening. The largest second invariant anywhere here is 241.0 nanostrain/yr, and the arithmetic is the same arithmetic that reads a projection's indicatrix. Drawn in Azimuthal equidistant centred on the window. What the numbers refer to

The ground has an indicatrix too

Two hundred and forty-six essays hold the Earth still while the page is measured. The ground is moving at tens of millimetres a year, and the motion is a map with four partial derivatives — so the same construction that draws Tissot's ellipse draws one for the ground, and the fastest plate in the model returns exactly nothing.

8 figures · Strain One degenerate zero, nudged, becomes two ordinary ones. The direction of steepest ascent within twelve degrees of the north pole, for the sectoral harmonic alone and with two amounts of the tesseral added. On the left is one zero of index −2, a monkey saddle: three ways up and three ways down, and a Hessian that vanishes. On the right are two ordinary saddles of index −1 each, both of which the second-derivative test names correctly. Nothing has been added to the field but a term whose size can be made as small as anyone likes, and the classification changes at every nonzero value of it while the total does not change at all. Measuring distortion

The second derivative cannot classify

Seven essays have used a second derivative to measure a size. The one thing a second derivative is classically used to do is say what KIND of thing is at a point, and on a sphere that use fails: the determinant test totals six where the truth is two, its failure is confined to exactly the field it is asked about, and the count that gets it right never differentiates twice.

7 figures · Flexion One velocity field, three frames. a transform boundary, drawn three times. The ground is the same ground and the arrows are not the same arrows: the fastest velocity anywhere in the 3 panels is 70.6 mm/yr and in the quietest panel the same places are nearly still. A frame is a choice of which rotation to subtract, and there is no measurement that picks one. Every panel has the same strain rate at every point. What the numbers refer to

A velocity needs a frame and a strain rate does not

One place on a plate boundary moves at 5.3, 7.0, 10.2 or 54.6 millimetres a year, and towards the south-east or the north-west, depending on which rotation was subtracted first. Every one of those readings reports the same strain rate, to two parts in a hundred thousand million.

7 figures · Strain