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

Every essay — page 11

Essays 241 to 264 of 339, in the same order.
The piece count rises and falls. The number of connected pieces of the near-optimal aspect set for robinson over japan, swept finely through the threshold rather than sampled once below it. It is one piece at a wide threshold, reaches 23 at 1.256, and returns to one as the set shrinks onto the single best aspect. The set first disconnects at 2.244, which is above the peak: the pieces keep multiplying after the first break. This is the sweep the rung below could not afford and it costs one grid, because every threshold reads the same 4992 evaluations. What each projection optimises

The threshold is not a percolation

The rung below found the near-optimal aspect set breaking into twelve pieces rather than two, called the transition a percolation, and recorded that it had not measured the exponent. Swept finely, the piece count rises from one to twenty-three and falls back to one — and refining the grid by a factor of fifteen does not move the peak, while an uncorrelated field on the same lattice grows by a factor of twelve.

6 figures · Choosing A transformation is more certain in some places than others. The horizontal position uncertainty a Helmert transformation carries, from the stated widths of its own seven parameters, along three meridians. It runs from 40 mm to 68 mm — a factor of 1.71 — and it falls towards the poles, because the rotation terms act on the distance from the Earth's axis. A single figure quoted for "the accuracy of the transformation" is the value at some latitude nobody wrote down. What the numbers refer to

The seven parameters have their own uncertainty

Nine essays on this ladder print a datum transformation as seven exact numbers. Every published set is the output of a least-squares fit and arrives with standard errors as much a part of the result as the parameters — and pushing those widths through to the ground gives an ellipse, not a number, that is 68 mm across at the equator and 43 mm at 70°.

7 figures · Datum One field, one round trip between two cell schemes. Left: a stated field binned into an equal-angle grid of 36 by 18 cells. Right: the same field after being rebinned into an equal-area grid of 30 by 15 offset by six degrees of longitude, and rebinned back. Every step is exact area-weighted averaging, the total is preserved to 2 × 10⁻¹⁶, and the root-mean-square difference between the two pictures is 0.144 on a field whose own standard deviation is 0.370. What a machine does with it

The same data on two grids

Five essays have addressed, queried and ordered cells within one scheme and nobody has moved a number between two. Doing it exactly — area-weighted, both directions — preserves the total to 2 × 10⁻¹⁶ and loses 39 per cent of the field's own standard deviation in a single round trip; six round trips leave 23 per cent of its variance. The quantity that would reveal the damage is the one that never moves.

6 figures · Cells Four radii of the Earth, and one that is a range. The four constants called the mean radius of the Earth, on a scale of kilometres, with the range of the local Gaussian radius √(MN) drawn behind them. Three of the four agree to about a part per million; the rectifying radius is 3560 metres smaller, which is 559 parts per million. The Gaussian radius spans twelve times that range on its own, which is why there is no such thing as the conformal sphere. The families

Four radii of the Earth

Ten rungs handle the ellipsoid with an auxiliary latitude. Every one of those constructions also needs a radius, and the radius that makes each property exact is a different number: the published 6371 km is right for an area to half a part per million and wrong for a meridian distance by 559 — while the radius a conformal map needs is not a constant at all, and spans 6,739.

6 figures · Ellipsoid One sentence, three readings of it. "a straight line from the initial point on the Rio Grande to a point on the Colorado" — Treaty of Mesilla, 1853. Every curve here answers to those words. the geodesic, the rhumb line, straight on the sheet, drawn between the same two monuments on a conformal conic fitted to the segment itself. The widest pair, the geodesic against the rhumb line, are 7.53 kilometres apart at their worst and enclose 3,925 km². The shading is that ground. It is not an artefact of the drawing: the same figure of the 141st meridian shows one line, because on a meridian every one of these readings is the same curve. Grids, and what a survey does

One sentence, and the ground between its readings

Every land boundary in the world is defined by a sentence, and a sentence naming two monuments does not name a curve. "A straight line" between the Rio Grande and the Colorado admits at least three answers 7.53 kilometres apart at their worst; "the forty-ninth parallel" admits four, 96 kilometres apart, with 130,972 square kilometres between the extremes.

7 figures · Boundary One unit of a vector tile, in metres of ground. A vector tile's coordinates are integers on a lattice 4096 units across the tile, and the tile halves at every level, so one unit is a distance that halves too: 5.48 m at z10 and 0.086 m at z16, at 55°. It is also a different distance at every latitude, by cos φ, because the tile is in Web Mercator — the same factor that makes a grid metre a different quantity of ground at every latitude, arriving in the file format rather than in the projection. What a machine does with it

A vector tile has an integer grid

Six essays on this ladder treat a vector tile as the thing a raster tile is not: geometry, resolution-free, styled at draw time. Its coordinates are integers on a lattice 4,096 units across a tile, the tile halves at every level, and at 55° north one unit is 88 metres at zoom 6 and 21 millimetres at zoom 18.

7 figures · Screen The same patch, pinned six ways. Two vertices have to be held or the conformal energy has a similarity's worth of null space. Which two turns out to decide two of the three numbers reported. The median angular deformation is the same to 8 per cent across all six — that is the map. The areal spread runs from 2.68 to 7.44, so the 3.07 reported for this body was a statement about its corners. And pinning two adjacent vertices, which fixes the similarity through a very short lever, ruins the worst point without touching the median: a badly conditioned constraint pays for its scale in one corner. What the numbers refer to

The map depends on where it was cut

The previous rung solved the discrete conformal equations on a triangulated body and reported an areal spread of 3.07, then recorded that the number might belong to the patch, the boundary and the two pinned vertices rather than to the surface. It belongs to the pins: hold a different pair and it runs from 2.68 to 7.44, while the typical angular deformation does not move at all.

8 figures · Bodies Where the condition holds, and where it was asked to. The boundary scale of a fit collocated at 20 points, drawn all the way round the boundary. The marked points are the ones the condition was imposed at, and the curve passes very near zero at every one of them; between them it does not. The largest departure on the samples is 3.92e-5 and the largest anywhere is 3.27e-4, and the second is the one the map has. What each projection optimises

A condition imposed at points is not a condition

Nine rungs state a condition and solve it, and every solve imposes the condition at a finite set of samples because that is what a linear system is. With barely more equations than unknowns the residual the solver reports is 8.3 times too good — and refining the collocation twentyfold does not improve the map at all, it only makes the report honest.

6 figures · Condition Three projections that run in a circle. Mercator beats Sinusoidal beats Eckert IV beats Mercator, each on a majority of the same seven criteria over the whole sphere. Every margin is four to three, the narrowest a majority of seven can be, and the criteria that decide each edge are different ones. There is no way to place these three in an order that agrees with all three comparisons, and the obstruction is not a measurement error: every number is exact to the precision the sampler reaches. What is taught wrongly

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.

5 figures · Audit The line a commission can actually run. A boundary described as a parallel of latitude and marked by monuments 220 kilometres apart, with the offset exaggerated 700 times so that it can be seen at all. A commission cannot run a parallel: it can set a monument, sight a straight line to the next and clear the trees between, and a straight line between two points of equal latitude is a geodesic, which passes POLEWARD of the parallel everywhere between them. So the marked line lies north of the described one, by 1176.5 metres at the middle of each of its 9 chords, and encloses 1611.2 square kilometres that the words put on the other side. At the 20-kilometre spacing this ladder measures at, the same offset is 9.03 metres. Grids, and what a survey does

The line a commission can actually run

A boundary commission cannot run a parallel of latitude. It can sight a straight line between monuments, and a straight line between two points of equal latitude passes poleward of the parallel — by s² tan φ / 8R, which at a mile of spacing is fifty-eight millimetres and at a hundred kilometres is two hundred and twenty-six metres. The described line and the marked line are different curves, and the marked one governs.

6 figures · Boundary Three face maps on a cube, over a shrinking span. The corner a feature gets crossing the seam of a cube, measured by reading the tangent over an arc and then shrinking the arc by a factor of sixteen. A chord differs from a tangent in proportion to the arc, so a perfectly smooth join reports a corner that HALVES when the span halves — a slope of one on these axes. None of the three lines has a slope of one. The fitted slopes are 0.000, 0.000, -0.018, which is a flat line in each case, and a flat line is a real corner. The three differ in size and not in kind: 20.1513°, 7.2772°, 0.7687°. The families

The span ladder, run on all five

A recorded shortfall said the exact map's span ladder was one loop away from settling the seam on the five Platonic solids. The loop was run and the answer is the other one: the series conformal face map has a corner that does not shrink with the measurement span on any of them — 4.10° on the tetrahedron, 0.77 on the cube, 0.004 on the icosahedron — and it belongs to the truncation rather than to conformality.

5 figures · Polyhedral How many projections the map could be in. The number of candidates whose residual sits below the measurement noise, against the size of the region, at four noise levels. At one per cent of the map's width — a hand-digitised graticule — a four-degree region admits ten of the twenty candidates and a forty-degree one admits exactly one. Every curve falls, none of them crosses another, and all four end at one: identification works, and what it needs is extent rather than precision. What is taught wrongly

The answer is a set

Eight rungs have produced a best fit — one projection, ranked first, with a margin. A best fit without a spread is not a measurement, and the spread is free: a control point has a width, and every candidate whose residual is inside that width has not been ruled out. At one per cent noise a four-degree region admits ten of twenty candidates and a forty-degree one admits exactly one.

5 figures · Identify The threshold, and the two things it is a ratio of. The near-optimal set's fracture threshold on Robinson, against the size of the region, with the two quantities it is a ratio of drawn beside it. The threshold falls with fitted slope -1.293. The best score a region admits at all rises with slope 0.923 — a bigger region is harder to map — and the absolute score of the pass falls with slope -0.370. The first is the sum of the other two by construction, and the arithmetic says which of them is doing the work: the denominator carries 71 per cent of it. What each projection optimises

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.

5 figures · Choosing The drift is a straight line in the deflection. The horizontal distance between where a plumb line hangs at the top of a column of rock and where it hangs at the bottom, against the deflection of the vertical the mass produces at the surface. Four heights of column. Every line is straight through the origin: 12.54 mm of drift per arcsecond of deflection over a 4,000 m line, to two parts in ten thousand across a fortyfold range of deflection. Which is what makes the number transferable — the 47 mm the ladder started from was a statement about one buried sphere, and this is a statement about any mass that produces the same deflection. What the numbers refer to

How far the plumb line bends

The previous rung dropped a plumb line down a four-kilometre column of rock beside one buried mass and found it arrived 47 millimetres from the point below the summit. That is a number about that mass. Parameterising by the deflection of the vertical instead — the quantity surveyors actually measure — gives 12.54 mm per arcsecond, exactly linear across a fortyfold range.

7 figures · Height The piece two schemes share, clipped rather than assumed. A cell of a gnomonic cube, whose four edges are great-circle arcs because a straight line on a gnomonic face is one, against a cell of a longitude–latitude grid, whose north and south edges are parallels and are not. Their overlap is neither a rectangle nor a spherical polygon of any standard kind, and it is 5965687 km² of the cube cell's 5965687 km² — 100.0 per cent. Computing it needs the arc of one boundary intersected with the plane of the other, which is three equations and two roots, and it is exact. What a machine does with it

Cells that are rectangles in no coordinate

The previous rung measured what moving a field between two cell schemes costs, and did it between two schemes whose cells are longitude–latitude rectangles — which is what made every overlap a rectangle with a closed-form area. The schemes anybody actually argues about have cells that are rectangles in no coordinate, and their overlaps have to be clipped.

8 figures · Cells What a geoid model leaves out, against the degree it stops at. The RMS of everything above the model's highest degree, from Kaula's rule — the statement that the normalised coefficients at degree n are about 10⁻⁵/n². The line is R × 10⁻⁵ ÷ n, so a model to degree 360 omits 17.7 centimetres and one to 2190 omits 2.9. Every orthometric height derived from such a model carries that as an error, and it is not quoted with the height. What the numbers refer to

The geoid model stops at a degree

Eleven essays treat the geoid as a surface that exists. Every geoid anybody uses is a series truncated at a degree, so every orthometric height derived from one carries an omission error nobody quotes with the height — eighteen centimetres at degree 360 — and the same truncation removes two thirds of the slope, which does not converge at all.

6 figures · Height One meridian, two datums, and the ground between them. "the meridian line of the 141st degree of west longitude" — Anglo-Russian Convention, 1825. The line whose longitude is exactly 141° west, drawn twice: once on nad27 and once on WGS84, with the east–west separation exaggerated 3,000 times. The two are 129.0 metres apart, and remarkably constant — the shift changes by five centimetres over nine degrees of latitude — so the strip between them is a ribbon 129 metres wide and 1039 kilometres long, which is 134.0 square kilometres. The sentence has not changed. The surface the number refers to has. Grids, and what a survey does

A meridian boundary moves when its datum does

The 141st meridian is the one boundary description in this collection with no geometric ambiguity in it: every reading of it is the same curve, exactly. It has a different one. A longitude refers to a datum, the 1825 convention named none, and the line of longitude exactly 141° west sits 129.0 metres apart on NAD27 and WGS84 — a ribbon 1,039 kilometres long and 134 square kilometres in area.

5 figures · Boundary Walking the crossing all the way to a cube's vertex. The corner a feature gets crossing the seam, at crossings that approach the vertex geometrically — the last is 3.5e-4 degrees from it. Every face map is singular at a vertex, so the expectation is that the corner runs away. It does not. The gnomonic settles at 53.1295° and the equal-area map at 12.9656°, and both are finite. The dashed line is the solid's angle deficit, 90.0°, which is what the surface loses at that point and is not what either map's corner reaches. The families

The corner that is the curvature

Every face map is singular at a vertex, so a corner that grows as the crossing walks towards one should run away. It does not: the gnomonic settles at 53.1295° on a cube and the equal-area map at 12.9656, both finite, both reached like the first power of the remaining gap. What does not settle is the deficit beside them — 90 degrees, fixed by Descartes before any projection is chosen.

5 figures · Polyhedral Seven cuts of the same size, in different places on one body. The body's own colatitude and longitude, with the seven windows drawn on it. Each covers the same surface area to 0.24 per cent — the longitude extent is divided by sin θ and a scale is then solved per window — so their sizes are held and only their positions differ. Each is shaded by the areal spread of the conformal map solved on it, listed beside the grid and running from 1.03 to 1.36. The darker windows are the worse ones, and they are the ones over the body's lobes. What the numbers refer to

Cuts of the same size in different places

Where a body is cut decides how well it can be mapped, by a factor of ten — established with five windows of five different sizes, so *where* and *how much* were confounded and the factor could have been entirely about extent. Held to the same surface area to a quarter of a per cent, the answer survives at a factor of 1.32, and what predicts it is the curvature the window encloses.

6 figures · Bodies A curve built to have dimension 1.2619. The generator replaces every segment with four of equal length at headings 0, +60.0°, −60.0° and 0. Closing the displacement fixes the length ratio at 0.33335, and four copies at that ratio give a dimension of exactly log 4 / log(2 + 2 cos θ) = 1.2619. Nothing here is measured yet: this is the construction the measurement will be checked against. Drawn at depth 5, which is 1024 segments, with the second-level shape shown faint beneath it. What a machine does with it

A line has a length only at a scale

Every measurement on this site so far has been of a curve given by a formula, sampled as finely as the picture needed. A map is not that: the geometry that reaches the page has been through an algorithm whose job is to throw most of it away. The first thing that goes is the idea that the line had a length.

8 figures · Generalise One of these settles. The largest departure of the fitted map's boundary scale from constant — the quantity the previous rung showed the solver cannot see — against the number of collocation nodes, for the two placements. The clustered fit reaches 7.030e-5 at forty-eight nodes and returns exactly that at every count above it. The evenly spaced fit does not settle at all: it wanders by a factor of 1.43 across the same range, going up as often as down. Refining an evenly collocated fit is not convergence, and the previous rung's finding that more samples improve the report and not the map is this seen from one side. What each projection optimises

The nodes were evenly spaced

The previous rung showed that refining an evenly collocated fit improves the solver's report and leaves the map alone. Moving the same number of nodes to the Chebyshev positions — crowded toward the corners, where a conformal map of a polygon is singular — makes the fit settle: 7.030 × 10⁻⁵ at forty-eight nodes and exactly that at every count above it, against an even fit that wanders by 43 per cent and never converges at all.

5 figures · Condition One quantity, one region, and the exponent left free. The scale departure of six projections over the world, aggregated as a p-norm, against p on a logarithmic axis. At p = 1 the best is Eckert IV; at p = 64 it is Winkel tripel. Nothing about the maps changed between the two ends of the axis — only how much of the region a bad point is allowed to spoil. Drawn in no projection: the axes are an exponent and a score. What is taught wrongly

The average was a choice of norm

Ten projections, one region, one measured quantity, and the only free decision left is how to turn a field into a number. Over the world's scale departure the ordering at the mean and the ordering at the worst case have a rank correlation of −0.04, all ten maps change position, and the exponent that produced each answer is stated nowhere.

6 figures · Audit One equidistance line, computed five ways. The line equidistant from two facing coasts — Jan Mayen and Greenland — traced by bisection along a fan of parallels, with the two distances measured on the ellipsoid, on the sphere, and with a ruler on three different pages. The basepoints are the same four in every case and the rule is the same words in every case. The sphere sits 20 metres from the ellipsoid; with a ruler on Lambert's cylindrical sits 13.2 kilometres from it, with 324 km² of seabed in between. A delimitation is a sentence about distances, and a distance is a statement about a surface. Grids, and what a survey does

An equidistance line belongs to a surface

A maritime boundary is very often defined as the line equidistant from two coasts — a description with no coordinate in it and no curve to choose between. It has a third ambiguity: equidistant measured how. On the ellipsoid, on the sphere, and with a ruler on three different charts, the same four basepoints give lines up to 39.6 kilometres apart and 2,816 square kilometres of seabed between them.

6 figures · Boundary 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. The families

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.

5 figures · Families