Concept

Verification — where it appears

Checking a claim by a route independent of the one that produced it, which is the only thing that makes agreement between two numbers evidence. It is the habit the whole collection runs on: every claim is given a test it could fail, and every assertion is shown to reject something.

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

The tile pyramid, four levels down to quadkey 120. The world as a square, quartered three times. Each level's tile is exactly half the width of its parent, so a tile is four tiles at the next level and never needs resampling to serve one — the property the whole scheme rests on, and one that holds only because the projected world is square. Level 3 has 64 tiles at 19567.9 metres per pixel, which at 51.5° north is 12181.3 metres of ground per pixel rather than the number the scheme publishes.

A screen map is a pyramid of tiles

The scheme every slippy map runs on is a coordinate system with three integers and one projection, and almost all of it is forced. A square world is what makes the quadtree work, the levels are exact powers of two, and the published resolution — 156,543 metres per pixel at zoom zero — is a distance on the ground at exactly one latitude.

applied · Screen
What "1:136,495" means at each latitude, at zoom 12. A screen map at zoom 12 prints one scale for the whole world. The curve is how much larger in scale the map really is, measured from the projection's own derivatives rather than from a formula: at 60° it is 1.98 times, so the map labelled 1:136,495 is a 1:68,765 map. The hollow marks are sec φ, the textbook answer. They do not sit on the curve — the worst gap is 9949 parts per million at 85° — because Web Mercator puts a geodetic latitude into a spherical formula, and the same spherical Mercator measured the same way reproduces sec φ exactly.

The scale of a screen map is not one number

A zoom level prints one scale for the whole world, and the map is at that scale along exactly one line. At 60° north the picture labelled 1:136,495 is a 1:68,765 map — and the factor is not quite sec φ either, because the projection puts a geodetic latitude into a spherical formula.

applied · Screen
A scale factor is a property of a point, and a distance is not. The grid scale factor sampled along a 362 km line on the British National Grid at a bearing of 90°, with the three rules in use drawn as the constants they replace it by. In a transverse Mercator k depends on the easting almost alone and goes as its square, so along an east–west line the curve is very nearly a parabola. The endpoint mean is the chord across it and lands 268.6 ppm high, which is 97.3 m over this line. Simpson's rule integrates a parabola exactly and lands 0.004 ppm out — 1.3 mm. Neither number is about the line's length.

The scale factor of a line

A scale factor is a property of a point and a distance is not measured at a point. The three rules in use for averaging one along a line differ by a hundred metres on a 362-kilometre baseline, and which of them is adequate is decided by the line's direction rather than its length.

practice · Grid
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 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
What 4 parts per million of network strain leaves behind. Each arrow is where the best-fitting seven-parameter transformation leaves a marker, over 36 markers laid out as a grid across OSGB36's ground. The RMS residual is 1.64 metres and the worst is 3.00 metres. Seven parameters span the constant and linear parts of a displacement field; this one is quadratic, so no choice of the seven can reach it. The arrows are drawn 27× life size.

Where a fit leaves residuals

Seven parameters can carry a rigid motion and a size exactly. A triangulation network is neither, so the best possible transformation between two datums leaves metres on the table — in a pattern, not as noise — and which seven parameters come out depends on where the markers were.

datums · Datum
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 six named here are Mercator, Web Mercator, Gall–Peters, Mollweide, Equirectangular, Stereographic.

Measuring instead of naming

A projection is called conformal because that is its name. Running the definition as a computation over several hundred points takes about twenty lines, catches a projection the whole internet uses, and is almost never done.

distortion · Tissot
One pixel at zoom 11: 76.4 m projected, 47.6 m at 51.5°. The grid squares are pixels, at their own size. The open mark is the stored coordinate and the filled one is where it is drawn: rounding moves it 20.2 metres, against a worst case of 33.6 — half a pixel's diagonal, which is the whole of the bound. The second point sits 43 metres away, 0.58 of a pixel east and 0.70 north, so whether the two are drawn as one dot or two is decided by where the tile grid happens to fall: they merge for 12 per cent of the possible offsets, against the 12 per cent the two fractions predict.

The pixel is a place with a size

Drawing a coordinate rounds it to a pixel, which moves it by up to half a diagonal — 16.8 metres at zoom 12. Whether two points 43 metres apart appear as two dots is not a property of the data at all: they merge for 12 per cent of the positions the tile grid could take, and the closed form predicts 12.4.

applied · Screen
Molodensky against the exact route, NAD27. The distance on the ground between where each shortcut puts the transformed point and where the exact Cartesian route puts it, at 0 metres of ellipsoidal height, on a logarithmic scale. The full formulae stay within 0.8 centimetres across every latitude drawn; the abridged form, which replaces two ellipsoid-difference coefficients with one combined term, is worst at 40 centimetres — a factor of 48. The abridged curve dips near 45°, where the combined coefficient happens to equal the pair it replaces.

Molodensky's shortcut

The exact way to shift a datum needs an iteration nobody wanted to run on a 1950s machine, so a direct formula was derived instead. It lands within centimetres — and the abridged version everybody quotes is a different formula, worse by a factor of fifty.

datums · Datum
Two feet, and the one that is not a rounding. The US survey foot is 1200/3937 m and the international foot is exactly 0.3048 m, so the first is longer by 2.0000 parts per million. Read a coordinate in the wrong one and the error is proportional to the coordinate, not to any distance in the job: at 2.5 million feet from the false origin it reaches 1.52 m, and it crosses a survey's own closing tolerance of twenty millimetres at 33 thousand feet. Across a 300-foot site the same mistake changes every dimension by 0.18 mm — below every tolerance there is, which is why a plan in the wrong foot passes every check and is in the wrong place.

The units are part of the coordinate

Two feet were in use in the United States until 2022, differing by exactly two parts per million. A plan drawn in the wrong one has every dimension right to a fifth of a millimetre and sits three-quarters of a metre from where it belongs, which is why it passes every check anybody runs.

practice · Grid
What grid spacing a tolerance buys. The worst bilinear interpolation error across OSGB36's ground, against the spacing of the table it is interpolated from, both axes logarithmic. The smooth shift falls by exactly four for every halving, which is what second-order interpolation does. Adding a 30 centimetre ripple 2 degrees across — three parts in a thousand of the 99 metre shift it rides on — moves the spacing needed for 20 millimetres from 1° to 0.125°, which is 64 times as many nodes.

When a formula is not enough

National mapping agencies distribute datum shifts as tables of numbers on a grid rather than as parameters. What decides the spacing that table needs is not the size of the shift — a hundred-metre shift tabulates coarsely, and a thirty-centimetre ripple riding on it does not.

datums · Datum
A feature across nine tiles at zoom 4, and the nine labels it gets. A rectangle from -10° to 30° east and 36° to 62° north, drawn in the projected plane with the tile boundaries over it. A renderer that draws each tile from the geometry inside that tile puts the label at the centroid of the piece, marked hollow; the whole feature's centroid is the filled mark. The furthest piece's label is 1863 kilometres from it. The pieces' areas sum to the whole to 2.2e-16 of a relative part, so the clipping is exact and the displacement is the operation rather than an error in it.

A tile is drawn without its neighbours

Independence is what makes the scheme scale: one request touches one square of the world. It also means a feature crossing nine tiles is nine features, each labelled at its own centroid — up to 1,863 kilometres from the whole one — and the displacement is bounded by the size of the feature rather than the size of a tile, so it grows as the reader zooms out.

applied · Screen
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
Both zones are right, and one of each is not. A 20 km baseline straddling the boundary between UTM zones 31 and 32 at 52°N, computed from grid coordinates three ways, on logarithmic bars. Taking both ends in zone 31 and taking both in zone 32 give answers 0 nanometres apart — the resolution a double has left after carrying a six-figure easting rather than a disagreement — so a job may use either and the overlap belt every zone publishes exists to let it. Taking each end from the zone it nominally belongs to gives 392 km, because the two eastings are measured from meridians six degrees apart and subtracting them measures nothing at all. The same ground point is 706 km east in one zone and 294 km east in the other, and both coordinates are correct.

Where two zones meet

A twenty-kilometre baseline across a zone boundary is computed correctly in either zone — the two answers differ by nanometres — and taking one end from each returns 392 kilometres. Both zones are right and the seam between them is not a small error but a category one.

practice · Grid
Where the ground is going, six plates. The velocity of the ground under a coordinate, computed as the cross product of each plate's rotation vector with the position, and drawn along the band where that rotation is fastest rather than over an outline this site does not hold. The quickest arrow is 75 millimetres a year on the Pacific plate, which is 1.89 metres in twenty-five years. drawn in Robinson — the arrows' directions are the projection's as much as the plates'.

The epoch is part of the coordinate

A latitude and a longitude with no date on them are incomplete, because the ground they refer to is moving at between ten and seventy millimetres a year. Australia crosses an ordinary survey tolerance in under two years and moved 1.8 metres between two versions of its own datum.

datums · Datum
London to Tokyo, round a 15° exclusion. The direct great circle, dashed, runs through the disc. The admissible shortest route leaves it along a great circle tangent to the rim, follows the rim, and leaves along another tangent — which is the closed-form answer and is checked against a shortest-path search over the rim that knows nothing about tangents. It costs 39 kilometres on 9559, which is 0.41 per cent. The rim stretch is 293 kilometres of it, and it is the only part of the route that is not a geodesic anywhere along its length. Drawn in Orthographic.

A route that must go round

A shortest route is usually free to go anywhere, and no real route is. The shortest path past a circular exclusion is two tangent great circles and an arc of the rim — a closed form that agrees with a shortest-path search to three metres in 9,598 kilometres — and it costs not the obstacle's size but the square of how far the obstacle reaches past the route.

paths · Paths

A direction carried round a loop

Carry a bearing round a circuit, keeping it as parallel to itself as the surface allows, and it comes back turned. Round a parallel at 45° the turn is 4.443 radians and the cap enclosed is 1.840, and they sum to exactly one revolution — so the turning is not the curvature, and on a cone it is all of one and none of the other.

impossibility · Curvature

A coordinate without its system is not a location

The same two numbers name ground 103 metres apart on one datum, 195 on another, and 7,942 kilometres away if the pair is read in the other order. The datum errors are the dangerous ones because they are plausible — and the axis swap, which everyone calls obvious, does nothing at all along a line that crosses three continents.

applied · Dataset

The average of two projections

The Winkel tripel is literally the arithmetic mean of two other projections, and this site's implementation of it agrees with that mean to the last bit. Averaging beats both ingredients by 26 per cent — and it preserves conformality exactly, destroys equal-area completely, and can turn eighteen per cent of the world inside out without either distortion measure saying so.

choosing · Choosing

Conformal does not mean the angles are right

A conformal projection preserves angles between curves at a point. Draw a triangle on one with a ruler and its angles are wrong by degrees — and the total error is fixed before the projection is chosen, because a plane triangle sums to 180° and the real one does not.

wrong · Audit

The indicatrix is a limit

Tissot's ellipse describes an infinitesimal circle, and every published one is drawn finite. The error of the description falls as the radius rather than as its square — halving the circle halves the lie — and on the Robinson projection at a table entry it does not fall at all: sixty metres and six kilometres are both 1.17 per cent wrong.

distortion · Tissot

A degree is not a unit of length

"Within 0.01 degrees" is a condition anybody can write and no instrument can measure. On the ground it is an ellipse — 1,106 metres north–south and 558 east–west at 60° — and even on the equator it is not a circle, because the meridian's radius of curvature is smaller than the parallel's by the flattening.

applied · Dataset

Equal-area on the wrong body

The site's headline is that Web Mercator puts geodetic latitudes into a spherical conformal formula and stops being conformal. The same sentence is true with "equal-area" in it and nobody says it: the areal factor is 1.00674 at the equator, 0.99332 at 88°, and averages to almost exactly one — so every check that adds up areas passes while every cell is wrong.

wrong · Audit

The ellipsoid is a level surface

WGS84 publishes two dozen constants and defines four of them. The other twenty are consequences — polar gravity, the potential of the ellipsoid, the coefficient that dominates the Earth's gravity field — and every one comes back here from a, f, GM and ω to the last digit published.

datums · Height

What a tape measures

Four steps stand between an instrument reading and a coordinate, and their sizes are not in the order anybody expects. On a 77-kilometre line the slope reduction is 120 metres, the grid reduction 30, and a step nobody names — using the height above sea level where the height above the ellipsoid is wanted — is 583 millimetres.

practice · Reduction

Computing an area needs a surface

A shoelace over a ring of coordinates returns a number whatever the coordinates are. For one twenty-by-ten-degree cell it returns 1.75 times the true area in degrees, 3.06 in a conformal plane, and exactly the closed form in an equal-area one — and the closed form itself is 0.45 per cent out, because the sphere is a model too.

applied · Dataset

A traverse must close

The check every survey specification leans on cannot see the error this whole field is about. Scale every leg of a closed figure by four hundred parts per million and it closes to the last bit of a double, while every dimension in it is wrong.

practice · Reduction

A levelled height is not a distance

Level surfaces converge towards the poles by five metres in a thousand, so a chain of perfectly executed levelling observations does not sum to a height difference. The correction over four hundred kilometres of northing is larger than the network's own closure.

datums · Height

The normal section is not the geodesic

A theodolite at A sighted on B swings in one plane and the instrument at B sighted back swings in another, so the two observations trace different curves on the ground — 79 metres apart over 3,026 kilometres — and the shortest path is neither of them. The lengths differ by 2.4 millimetres, so the wrong curve measures the right distance along the wrong ground.

wrong · Ellipsoid

The plumb line is not the normal

A latitude measured from the stars and a latitude that means a position on the ellipsoid are different angles, because a plumb bob hangs along gravity and gravity is not perpendicular to a mathematical surface. Ten arcseconds of difference is 309 metres of ground.

datums · Height

The shortest route is not at sea level

Routes are computed on a surface and nothing is ever flown on one. The offset of a sphere is a sphere, so at altitude the great circle is the great circle. The offset of an ellipsoid is not an ellipsoid — its radii of curvature are M + h and N + h, which belong to no ellipsoid — so the shortest route at cruising height does not lie above the shortest route on the ground.

paths · Paths

The two ways to spread a misclosure

Bowditch's rule and the Transit rule take the same closed figure and the same misclosure and disagree about which legs were wrong. Both close it exactly, neither puts the correction on the leg that actually carries the blunder, and no measurement can settle which is right.

practice · Reduction

A straight segment is a claim about a plane

Two exact endpoints, joined by a straight line in the plane the file is stored in. On the ground the line is 718 kilometres from the route it claims between New York and London, and 2,961 between London and Tokyo. The departure grows as the square of the length — fitted exponent 2.001 — so a stated tolerance costs vertices as a square root.

applied · Dataset

The antimeridian is a cut in the numbers

A twenty-degree box across 180° has a bounding box of 359.4°, a planar area seventeen times too large, and a midpoint 20,015 kilometres from where it belongs — which is the antipode, exactly. Moving the cut moves the failure and never removes it, because a circle cannot be numbered by an interval.

applied · Dataset

The third coordinate moves too

A datum shift is quoted as a horizontal displacement because horizontal is what people look at. The transformation acts on a three-dimensional point, and its vertical component is between a quarter and a half of the horizontal one — 51 metres, for a British coordinate.

datums · Height

Nearest is a question about the metric

Asked in the plane the data is stored in, a nearest-neighbour query returns a different site for 5 of 400 queries over Europe on Web Mercator — and 103 of 400 on the plate carrée, with the wrong answer up to 309 kilometres further away. Every disagreement is a contest closer than the region's own scale spread, and over a city there are none.

applied · Dataset

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

Reprojecting a raster invents values

Moving a picture from one projection to another moves no coordinate — the maps are exact both ways. What is lost is that a target cell's centre does not land on a source cell's centre, so a value has to be made up for it, and the making-up has an order of convergence: 1.00 for nearest, 1.98 for bilinear, 2.93 for a cubic, measured by refining the grid.

applied · Dataset

The flattening is not a free parameter

An ellipsoid is usually presented as two numbers somebody fitted. One of them is not free — Clairaut's theorem relates the shape of a rotating body to the gravity on it, and the relation holds on WGS84 with a residual of 3.1×10⁻⁵ — which is 2.74 times f², exactly what a first-order theorem is entitled to.

datums · Ellipsoid

The figure of the Earth was measured

Two expeditions went to Lapland and Peru to measure the length of a degree of latitude, and the whole signal separating a flattened Earth from a round one is a kilometre in a hundred and eleven. Inverting two arcs amplifies their error by 118 — and a kilometre of error returns a lemon-shaped planet.

datums · Ellipsoid

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

A published coordinate is a result

Re-observe a control mark perfectly, with an instrument good to twenty millimetres, and the answer disagrees with the published value by a hundred metres. Neither number is wrong. The difference measures the interval between two definitions.

practice · Reduction

A reach set with a cost that depends on direction

A reach set built out of a distance is symmetric and isotropic by construction. Nothing anybody travels is: in a flow at 45 per cent of a vehicle's own speed the same vehicle gets 4,261 kilometres one way and 1,653 the other — a ratio of 2.58 — while the ground it covers grows by ten per cent.

paths · Reach

Zoom is a ladder

A tiling scheme exists only at integer zoom levels a factor of two apart, so a request for 1:25,000 is answered with 1:34,124 — 36 per cent coarser, and 86 per cent coarser in area. The mismatch runs from 1/√2 to √2 and repeats identically at every doubling, and nothing anywhere reports it, because the map that arrives is a perfectly good map of something.

applied · Screen

Two parameter sets, one transformation

Agencies publish seven-parameter datum transformations that differ by hundreds of metres in translation, and the usual reading is that one of them is better. Over the region either was fitted to they are the same transformation: a hundred metres of translation, re-absorbed by the rotations and the scale, moves a British coordinate by 5.6 metres and an Australian one by 193.

datums · Datum

When the answer is not in the library

Fitting twenty candidates to a map and ranking the residuals always produces a winner, which makes it a ceremony unless it can also produce a refusal. Held out of its own library, a Mercator map is named as a conformal conic, leaving 0.4 per cent of the map's width unexplained — and the quantity that tells the two situations apart is not the residual but the margin, which is 1.6 when the truth is absent and 10¹³ when it is present.

wrong · Identify

An area on the grid is not an area on the ground

A grid's scale factor is a property of lengths and what a surveyor sells is an area. Squaring a departure doubles it, so a hectare drawn on the British grid at its central meridian has 10,008 square metres of ground under it — and correcting an area with the line factor instead of its square leaves half the error behind.

practice · Grid

Four colours, and what a cut cannot do to them

Every projection removes a set, and a map cut at the antimeridian draws six of its fourteen countries in two pieces — twenty faces where the globe had fourteen regions. The obvious guess is that a map with split countries is the exclave problem and needs a fifth colour. It needs exactly four, and the reason is that the cut adds faces and adds no edges.

impossibility · Topology

The set that can be reached is not the set that can reach

The moment a cost stops being symmetric, two questions that read alike stop having the same answer. Under a flow at 45 per cent of a vehicle's own speed the set reachable from a place and the set from which the place is reachable have the same area to five significant figures and share 32 per cent of their union — so 68 per cent of the ground in one of them is not in the other.

paths · Reach

What a closed figure cannot see

A closed traverse imposes exactly two conditions on its observations, so everything else is free — and the freedom is not spread evenly. At a twenty-millimetre tolerance the worst-placed station in a seven-station loop hides an angle blunder of 2.1 arcseconds and the station standing seventy-two metres from the close hides 57, because a rotation about a point near the finish moves the finish hardly at all.

practice · Reduction

A centroid belongs to a plane

Every renderer labels a region at its centroid, and every centroid is a shoelace over coordinates as stored — which is a statement about the plane they are in. Six planes put the middle of one 20° × 20° region up to 273 kilometres apart, the equal-area member is 66 kilometres out, and the disagreement falls as the square of the region's size.

applied · Dataset

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

Inside is a claim about the edges

Whether a point is inside a polygon is not a property of the point and the polygon. It is a property of the plane the edges were understood to be straight in, and between two readings of the same file there is a band of disagreement — 29 per cent of one triangle's area, 4.2 million square kilometres, and the file does not say which reading it means.

applied · Dataset

Where the surface curves the other way

The impossibility of a perfect map is usually argued on surfaces whose curvature is positive everywhere. The surface a map of the ground actually depicts is not one of them: a stated terrain is saddle-shaped over 79 per cent of its curved area, its curvature runs to twenty-two thousand times the Earth's own, and even a single smooth hill is concave over 89 per cent of itself.

impossibility · Curvature

How big a triangle it takes

Gauss proved that a surface-dweller can read the curvature off a triangle's angles. Doing it is another matter: a fifty-kilometre triangle has 5.49 seconds of excess, a one-second theodolite gives that excess a standard deviation of 1.73, and reading K to one per cent needs a side of 281 kilometres. Not one of the great surveys built a triangle within a factor of three of that.

impossibility · Curvature

The most compact shape depends on the paper

A geodesic disc attains the isoperimetric bound on a sphere — its score is one, exactly, at any radius. Score the same nine regions from their images on ten projections and four of them put something else on top, an oval and its own 45° rotation come out 4.7 per cent apart, and the projection that preserves the order is not the equal-area one.

paths · Reach

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

The score is not stable at any scale

One boundary, read at eight resolutions from sixteen points to two thousand and forty-eight: the compactness score falls from 0.980 to 0.834 and is still falling. Changing the projection instead moves it by 0.69 per cent. The two decisions are made by the same person on the same afternoon and only one of them is ever reported.

paths · Reach

Where the control points are

Five rungs fit a library to a map and ask how much to trust the winner. None asks whether the parameters are recoverable at all. On control points along one parallel an equirectangular's standard parallel is not merely hard to find — it is invisible, exactly, and five hundred and twelve points on the same parallel are as blind as eight.

wrong · Identify

Every reach set ever drawn is too small

An isochrone is drawn by walking out along a finite number of bearings and joining the points, so its vertices are on the true boundary and its edges are chords — which puts the drawn set inside the true one, always, at every count, for any convex reach set. The deficit falls as the square of the count, and a spherical cap loses less than a circle by exactly cos t (1 + cos t)/2.

paths · Reach

How many triangles it takes

Pricing one triangle left the fact that a survey observes hundreds unaccounted for. Averaging n of them divides the noise by √n, and n is not free: a chain of fixed length holds fewer big triangles than small ones, so the accuracy improves as the side to the power three halves rather than two. Struve's 141 triangles of forty kilometres are worth exactly Gauss's seven of eighty-five.

impossibility · Curvature

A partition under a directed cost has two versions

Dividing a surface among several sites is one question when the cost is a distance and two questions when it is not. Under a steady flow at 0.45 of a vehicle's own speed, the division by who can reach a place soonest and the division by which place can be reached soonest disagree about 50.7 per cent of the sphere — while no site's own share of the world moves by more than 3.87 points.

paths · Reach

The weights are a guess the solve believes

Choosing what to hold fixed is a decision inside the least-squares problem that no residual can see. There is a second, made more often and thought about less. Every observation enters with a weight nobody measured, the weights move the coordinates by a factor of 1.8, and the standard check on them can be made to pass by a scaling that moves nothing at all.

practice · Reduction

Four cities that cannot be drawn to scale

Every impossibility in this field so far has been about a surface. This one is about four numbers: London, New York, Tokyo and Sydney have six distances between them, and no four dots on any sheet of paper have those six separations. The test is a determinant Cayley wrote down in 1841, and it comes out −3.34 × 10²³ where zero is required.

impossibility · Embedding

The shortest route between two coasts

A shortest path is usually asked for between two points. Between two regions the answer is attained at a pair of boundary points, and which pair is not the pair any page makes look nearest — a cylindrical map picks a pair 2,135 kilometres from the right one across the Atlantic, and 1,716 kilometres wrong between Chile and New Zealand, where its route is 22.5 per cent long.

paths · Paths

The tolerance that decides the verdict

Every verdict handed out about a projection's claimed property rests on a tolerance chosen once, long ago, at sixty times a measured noise floor. Swept, it decides nothing: the population is bimodal, the tolerance sits in a gap 238,000 times wide for conformality and 646 million times wide for equal area, and the verdict with the least room is a passing one whose margin is the arithmetic's rather than the map's.

wrong · Audit

The gnomonic crosses a seam without a corner

Choosing a polyhedral map means choosing a solid, a face map and where to cut. This one is about a seam the net does not cut, where two faces stay joined and carry two different maps — and the expectation was a corner in every feature crossing one. At the midpoint of the edge — which is where every crossing here is taken, and which turns out to be the one place on it a face's own mirror forces the corner to vanish — the gnomonic gives none at any obliquity on any Platonic solid, and the equal-area face map gives one of up to 0.39 degrees.

families · Polyhedral

How wrong a flat picture has to be

A determinant proves no flat picture of four places is exact and leaves the size of the failure where nobody can read it. Measured directly, the least error falls as the square of how much sphere the places span — fitted exponent 2.0088 — and the same exponent comes back from five different arrangements while the constant in front of it moves by a factor of seventeen.

impossibility · Embedding

A crossing is a chain of decisions

A route is handed back as a curve, and nothing anybody flies is decided once. Re-planning is worth exactly nothing when the forecast turns out right — a sub-path of an optimal path is optimal, and the chain is the plan. When it turns out wrong it recovers 19 per cent of the cost at two decisions and 83 at eighteen, and never all of it.

paths · Paths

The corner is not at the midpoint

An earlier measurement took the corner a feature gets crossing a polyhedral seam, and found none at all under the gnomonic face map. It crossed at the edge's own midpoint every time — the one point on the edge where a face's own mirror symmetry forces the corner to vanish. Two fifths of the way to the vertex the gnomonic gives 20.15°, the equal-area map 7.28° and the conformal map under a degree, which reverses the ordering entirely.

families · Polyhedral

Further north on the grid is not further north

Thirteen rungs price a grid's origin, scale, units and zones, and every one treats a coordinate as a position. It is also an ordering, and the two disagree: a parallel climbs 4,379 metres of northing on its way to the edge of a UTM zone, so two places 4.4 kilometres apart in latitude can be listed in the wrong order — and the share of pairs it happens to is the convergence, in a different unit.

practice · Grid

The reach set takes the shape of the roads

On open ground a reach set is a disc. On a grid of roads it converges to the convex hull of a diamond and a disc, and once the roads are √2 times faster than the ground between them the ground's speed stops mattering at all. A range ring drawn at road speed then claims 57 per cent more ground than anybody can reach.

paths · Reach

Five distances of six, and never more

A flat picture of n places has 2n − 3 free numbers and n(n−1)/2 distances, so it can be exactly right about 2n − 3 of them and no more — five of six for four places, twenty-nine of a hundred and twenty for sixteen, and 3.98 per cent for a hundred. The bound is reached by a construction with no fitting in it, and an azimuthal equidistant map spends only n − 1.

impossibility · Embedding

A drawn reach set stops at the river

A polygon drawn through a fan of bearings round a reach set is short by a chord deficit that falls as the square of the count — on ground with nothing in the way. Put a river three kilometres off, crossable at bridges, and the polygon misses 30 per cent of the reachable ground at every count from forty-eight bearings to a thousand, and a convergence check passes on it.

paths · Reach

The exact map says the seam is smooth

The conformal seam's corner could only be bounded 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

One pair of numbers, a hundred and twenty places

A UTM coordinate is two numbers and a zone. Drop the zone and the numbers are still valid in each of the sixty; drop the hemisphere too and the pair names a hundred and twenty places. They form two rings at one latitude each, spaced exactly six degrees apart, and every one of them has the same grid convergence and the same scale factor — so no further geometric measurement can choose between them.

practice · Grid

The escape is not a dimension

Four places that will not lie in a plane surely lie in a space — and they do not. The double-centred matrix of their great-circle distances has a negative eigenvalue, so no Euclidean space of any dimension holds them, and buying a third dimension improves the picture by nothing whatever, to fifteen decimal places. What does work is a page with curvature, and the curvature is pinned to within two per cent.

impossibility · Embedding

The rule that keeps a route near land is pinned at both ends

A crossing that may never be more than a stated distance from an airfield is refused below one radius and free above another, and each wall is set by a single feature of the ocean. Between them the price falls continuously, with corners and no jumps — and at the lower wall it falls as the square root of the allowance, so the first kilometre is worth twelve of route.

paths · Paths

Which small quantity the series is in

Every ellipsoidal formula in this collection is a truncated series in the third flattening, inherited from Krüger in 1912 and justified nowhere. Measured against the classical expansion in e², at four sine terms it is 1,175 times more accurate — and at one and two terms it is fractionally worse, which is not what the folklore implies.

wrong · Ellipsoid

The threshold is not a percolation

The near-optimal aspect set was found breaking into twelve pieces rather than two, the transition was called a percolation, and the exponent went unmeasured. Swept finely, the piece count rises from one to thirteen and falls back to one — and refining the grid by a factor of fifteen moves the peak from ten to nineteen, at the rate the surface's own minima grow, while an uncorrelated field on the same lattice grows by a factor of twelve.

choosing · Choosing

Four radii of the Earth

The ellipsoid is usually handled with an auxiliary latitude. Every such construction 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.

families · Ellipsoid

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.

practice · Boundary

A crossing bends by a law only a conformal chart can show

A ship leaving pack ice for open water takes its quickest route by bending at the ice edge, so that the sines of its angles to the perpendicular stand in the ratio of its two speeds. The law has nothing in it but angles, so on Mercator it can be checked with a protractor — and on a plate carrée at sixty degrees north the same crossing reads as a ship making ten kilometres an hour in the ice rather than six.

paths · Paths

The error belongs to a few of the places

The least error of any flat picture of sixteen cities is 53.3 per cent, and it is not spread over the sixteen. Six pairs hold it there and Sydney is in three of them: leave Sydney out and it falls to 25.5, while leaving out any of five other cities changes it not at all. Choosing which places to draw is worth more than any choice of how to draw them.

impossibility · Embedding

A condition imposed at points is not a condition

Every projection written as a condition is solved by imposing that 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.

choosing · Condition

The ranking is not an order

A weighting can be made to put almost any projection first. 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 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.

practice · Boundary

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.

families · Polyhedral

A place with a size can be drawn to scale

Points on a sphere have distances no flat picture holds. Places are not points: give every place a radius and the distance between two of them becomes a range, and some flat picture is right about every range once the radius passes a threshold — 38 kilometres for London, New York, Tokyo and Sydney, six metres for five towns in Britain, growing as the cube of the set.

impossibility · Embedding

A diversion allowance in a wind is the same circle, moved upwind

A diversion rule written in minutes is turned into a distance by assuming still air. In a uniform wind the places from which an airfield can be reached in sixty minutes are not a stretched region but the still-air circle moved upwind by the wind's run. A 150 km/h northerly makes the still-air route across the North Atlantic need a diversion of 68.7 minutes, a southerly makes it 54.0 — and the least radius at which the ocean can be crossed barely moves.

paths · Paths

The answer is a set

Fitting a projection to control points produces 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.

wrong · Identify

The first break is mostly its denominator

Three earlier measurements 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 best score the region admits at all rises with exponent 0.92 and carries 65 to 70 per cent of the threshold's movement on three projections, while the pass's own depth falls slowly and steadily, with exponent −0.42 to −0.49.

choosing · Choosing

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.

practice · Boundary

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.

families · Polyhedral

A flat picture has one direction between two places, and the Earth has two

The bearing from New York to Tokyo and the bearing back are not reverses of each other: they miss by 128 degrees. A flat picture draws one line between the two cities, so no picture containing both can have a bearing error below 64 degrees. On any set of places up to about fifty degrees across, the best flat picture sits exactly on that floor — and away from the poles, so does Mercator.

impossibility · Embedding

A jet moves the floor that a uniform wind cannot

A uniform wind leaves the least radius at which the North Atlantic can be crossed almost where it was, because it blows the same way on both halves of every gap between airfields. A jet does not. A southerly of 200 km/h past the southern tip of Greenland lowers that floor by 36.9 kilometres, the same jet 400 kilometres further west raises it by 23.3, and one integral of the wind along each gap predicts every such move to within a few kilometres.

paths · Paths

The nodes were evenly spaced

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.

choosing · Condition

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.

wrong · Audit

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.

practice · Boundary

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

A ring can be drawn whole, and only one way

A band of latitude has a hole in it, and a region with a hole has a number no angle-keeping map can change. Draw the band without cutting it and that number forces the map: the stereographic from one pole is the least-varying picture there is. One cut along a meridian frees the cone constant, and the scale variation the cut buys back runs from nothing on a polar cap to a factor of 2.13 between the tropics.

impossibility · Topology

A line of position is Newton's method, but only on a conformal chart

An altitude of a star puts a ship on a circle five thousand kilometres across, and the intercept method replaces that circle with a straight line. On Mercator the fix those lines give is one step of Newton's method: its error falls as the square of the assumed position's, and re-running it turns 300 kilometres into 24 metres in two steps. On a sheet that does not correct longitude for latitude it keeps a fixed share of every east–west error, one less the cosine of the latitude — 36 per cent at 50° north.

paths · Position fix

The pooled score abandons a region

Every criterion in this subject optimises 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

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.

practice · Boundary

The maps with no family are simply better

Seven projections have no continuous symmetry, and they are almost exactly the set anybody would choose for a world map. That coincidence came with a conjecture and 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 sheet moved before it was measured

Every method of reading a projection off a map takes its control points from the sheet and assumes the sheet is the one 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.

wrong · Identify

Five bearings of twelve, and only eight ways to draw them

A flat picture of four places can hold five of their twelve one-way bearings exactly, the same count as distances, and the five are found by solving equations rather than searching. The equations cannot tell a line from its reverse. Of the 192 ways to choose five, eight can be drawn with every arrow pointing forwards, all eight leave London and New York unheld, and on sixteen cities no choice made at random can be drawn at all.

impossibility · Embedding

A cocked hat holds the ship one time in four

Three lines of position with any error in them bound a small triangle, and the instinct is that the ship is inside. With independent errors it is inside one time in four, whatever the triangle's shape. A common error in every sight makes that almost always when the stars surround the ship and almost never when they do not. And on a sheet that forgets the latitude, the triangle keeps its size and moves off the ship altogether.

paths · Position fix

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.

datums · Bodies

A map with no graticule

Identifying a projection starts from 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.

wrong · Identify

A river boundary goes where the river goes, or stays where it was

A boundary that follows a river moves when the river moves, and the law of every such boundary turns on one word: whether the river moved gradually or suddenly. Over one meander's life, gradual movement changes the country of about twenty-eight square kilometres of land a loop. A single flood that cuts the loop off strands twenty-six — nearly the same land, arriving as one parcel on the wrong side of the river.

practice · Boundary

Chebyshev's map is the best at its worst, and not on average

Chebyshev's criterion makes a conformal map's scale constant on the boundary of a region, and no conformal map has a smaller range of scale inside it. The same series, fitted instead to make the scale as nearly constant as possible over the area, is a different map on every region but a cap. On a spherical square Chebyshev's map is 8.3 per cent worse in root-mean-square, the other map's range is 16.5 per cent wider, and every map between them trades one for the other.

choosing · Condition

Joined where the parallels agree, and the meridians turn a corner

Goode's homolosine is two projections joined at 40°44′11.98″, and three quantities match there: the length of the parallel, the areal factor, and the spacing of the parallels on the central meridian. The fourth does not. Every meridian but the central one turns a corner at the join, up to 13.30° at 110° of longitude, and the angular deformation drops 26° across a line of no width. Moving the join decides where that corner is paid, not whether.

families · Families

The residual reports the error the fix was immune to

A fourth sight gives a four-line fit something three lines never had: a leftover. The leftover is a real measurement of the sights, and it is useless exactly where it is needed. One number computed from the four azimuths alone — before any star is observed — says how much of a common error reaches the residual, and it is 1 when the bodies stand at the quarters of the compass, where such an error moves the fix by nothing at all, and 0.004 when they are bunched within sixty degrees, where it moves the fix by two kilometres.

paths · Position fix

The pair that cannot be held is not the one the geometry names

Four world cities have exactly one pair of the six that no drawable picture holds, and the obvious candidate — the pair whose bearing there and bearing back disagree most — is not it. That quantity predicts something else exactly: whether a held pair's arrow has a forced direction. It separates the two groups with a clean gap and nothing in between. And at five places there is no forbidden pair at all, so the four-place case was a statement about how little room five constraints leave rather than about the map.

impossibility · Embedding

What another common point buys

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.

datums · Datum

A compiled map agrees with its graticule except where it was copied

A map compiled from two sheets has no single projection behind it, and its graticule cannot say so. Its coast can — not as a residual, which is a number the size of a projection error, but as a profile: the drawn coast lies exactly on the one its graticule predicts, then departs from a seam, and returns at another. The seams are found to within one point in 720, and the stretch between them names the projection it was copied from with a margin of 3.6 × 10¹¹.

wrong · Identify

The highest summits stay where they are, and the watershed does not

A treaty that puts a boundary on the highest crests which divide the waters names one line where the water divides on the summits and two where a river has cut back through the range. On a stated range the two part by up to eighteen kilometres. They also differ in kind: an error of ten metres in every height moves the summits three metres and the watershed on the plateau more than a kilometre.

practice · Boundary

What the extra unknown costs where nothing can see it

Four lines of position can estimate a common error in every sight as well as the position. The estimate is honest — three kilometres put in comes back as 2.8 — and where the residual is blind, its scatter is plus or minus thirty-one, and the fix that carries it is scattered fourteen kilometres from the ship against the biased fix's two and a half. Letting the residual choose between the two is worse than either, because a test with no power is a one-in-twenty lottery on the worse answer.

paths · Position fix

A mixed picture holds one more, and what it is holding is north

A flat picture of n places can hold 2n − 3 distances exactly, and it can hold 2n − 3 bearings exactly, and it is tempting to read one budget spent twice. It is not one budget. A distance cannot see which way the page is turned and a bearing cannot see how large it is drawn, so a picture constrained by both kinds is blind to one freedom instead of two — and holds 2n − 2. For four cities that is six of the eighteen available where either kind alone can hold five, and nothing whatever can hold seven: nought of 31,824 choices.

impossibility · Embedding

An equal-area strip removes the corner and charges nothing for it

Goode's seam matches three quantities and breaks the fourth: every meridian but the central one turns a corner there. A third map spliced between the two removes it — four conditions on one function, satisfied uniquely by a cubic — and the expected price does not arrive. The spliced composite carries less angular deformation across the seam than the plain join, not more: 34.7° against 37.7° at sixty degrees of longitude. What it does leave is the same defect one derivative up, a jump in curvature falling as the reciprocal of the strip's width.

families · Families

The map that keeps the most ground inside a tolerance

A surveyor does not want the smallest worst case or the smallest mean square. They want as much of the territory as possible within a stated tolerance of true scale and are indifferent to how far outside the rest goes. That is a third criterion, it is answered by a third map, and on a 25° square at half a per cent it keeps 64.1 per cent of the area where the mean-square map keeps 45.4 and Chebyshev's 37.0 — bought by sending a tail out to 5.6 per cent where Chebyshev's worst is 1.5.

choosing · Condition

The sea is measured from a tide, and the headlands decide how much

A territorial sea is measured from the low-water line, and the low-water line is where a chart's tidal datum meets the shore — so a datum a metre lower moves it twenty metres at a headland and a kilometre across a tidal flat. On a stated coast the twelve-mile limit barely notices the flats: fifty-six square kilometres of shore are uncovered and eleven of sea are gained. A bank that dries at the lower datum adds three hundred and thirty-nine in one step.

practice · Boundary

An ellipsoid computed to a nanometre is known to a decimetre

The meridian series is exact to seventy-six nanometres on WGS84, and WGS84 is exact by definition: its axis and flattening are conventions with no uncertainty at all. The ellipsoid that actually fits the Earth is a measurement, known to sixteen centimetres from equator to pole, and WGS84 puts the pole sixty-seven centimetres away from it. From its second term, the series is more accurate than anything it is used to compute.

wrong · Ellipsoid

A confidence ellipse is honest only where the sheet keeps angles

The cocked hat covers seven square kilometres and holds the ship a quarter of the time; the confidence ellipse from the same three sights covers fifty and holds it ninety-five per cent, which is what it was built to do. On a plotting sheet whose longitude is not corrected for latitude that ellipse fails in two unrelated ways — its centre is displaced, which costs coverage and depends on the navigator's own assumed position, and its shape is misread, which costs nothing but meaning and depends only on the latitude.

paths · Position fix

A criterion worth using is one whose answer is not unique

Forty-two starts on one region and one tolerance give forty-two different maps, keeping from 36.98 per cent of the area to 67.50. The two starts anybody would actually use — Chebyshev's map and the mean-square map — end 27.1 points apart, which is more than the criterion buys over either of them. And the spread is widest at exactly the tolerance where the criterion is worth using at all, because both facts are the same fact: an objective with a flat top and a sharp edge has somewhere to hide answers.

choosing · Condition

The map is finer than the paper it is folded from

Thirteen measurements price a polyhedral map in angles, areas and lengths, and none of them is about paper. A hand-folded net is accurate to about a degree of dihedral angle, which displaces the far edge of a cube's face by 0.955° of arc — 106 km at Earth scale — and that floor does not shrink when the globe is made larger, because a degree is a degree. Against it the conformal face map's seam corner is 0.769° on a cube and 0.0040° on an icosahedron, where it is 165 times finer than the sheet can be folded to.

families · Polyhedral

The geoid has a curvature only if you say where you stopped

Thirteen measurements have priced the curvature of surfaces that are stated — a sphere, an ellipsoid, a triaxial body, a surface with a hole, real relief. The surface a height actually refers to is none of them. It is an equipotential of the Earth's own gravity, it is only ever given as a series stopped at a degree, and its Gaussian curvature carries two more powers of the degree than its height does. So the omitted height converges, the omitted slope diverges as a logarithm, and the omitted curvature diverges as a power: EGM96 carries 0.36 per cent of the sphere's own curvature, EGM2008 carries 2.19, and a one-kilometre model would carry twenty.

impossibility · Curvature

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.

applied · Cells

The pass that fails first is not the one that was measured

Three attempts to explain why the near-optimal aspect set comes apart when it does have fitted the height of the pass between the two deepest basins. That is not the pass that fails first. At every region size the set is held together by the last near-rival to join the best placement's own basin — a basin between 2 and 19 per cent worse than the best — over ground 1.02 to 2.09 times higher than the deep pair's pass. The two passes fall at nearly one rate, −1.42 and −1.31 powers of the region's span, so what separates them is a factor, not a law.

choosing · Choosing

A bend in the barrier puts the drawn polygon over water

A straight river leaves the near side of a reach set convex, and that is what makes a fan of bearings fail in one direction only: every chord cuts a corner, nothing is claimed that is not there. A meander breaks that: the near side is no longer convex, and a chord between two bearings can cross water. So the drawn polygon now over-claims as well as omitting — by a seventh of a per cent, at every bend measured, and more bearings do not reduce it. The question was whether the two errors partly cancel. They do not, and the reason is not their signs: the over-claim never reaches a hundredth of the omission, because one scales with the whole set and the other only with the river.

paths · Reach

Two numbers about the paper buy nothing about the places

A picture of n places has four freedoms, and a constraint holds only what its own blindness leaves: distances reach 2n − 3, bearings 2n − 3, the two together 2n − 2. Position is reached by neither, because nothing about how places stand to one another says where on the sheet to put them. A stated position does reach it, and two of them take the budget to 2n exactly. What the count conceals is that the extra two buy nothing: a largest picture holds six place constraints with the pins and six without, the same 7,596 of them, holding the same pairs at the same rates. The constraint system is a direct sum, and a pin is a different currency.

impossibility · Embedding

A straight baseline moves more water inward than sea outward

The seventh article of the law of the sea lets a coast fringed with islands measure its territorial sea from straight lines joining chosen points, and gives no length, no angle and no scale for the choice. On a stated coast the lines a common reading permits add sixty-eight square kilometres of sea at the outer edge and turn nine hundred and eighty-eight into internal waters. Drop the test of direction and the outer rocks come into reach: eighteen hundred added, forty-six hundred enclosed.

practice · Boundary

Only Eckert II's family can be the strip, and its meridians are straight

The cubic that smooths Goode's seam is four conditions on the length of a parallel, and equal area turns them into four conditions on how the parallels are spaced. The sinusoidal's spacing is flat, so a strip can leave it only where its own spacing is momentarily flat — and of eleven named equal-area maps, only Eckert II's spacing ever turns over. One member of its family meets all four conditions exactly, over seventeen degrees centred four hundredths of a degree from Goode's join, with every meridian straight. The cubic over the same span is the same map to four parts in a hundred thousand.

families · Families

An angle is a difference, and the difference doubles the error

Substituting a sphere for the ellipsoid turns every direction at a point, and a surveyor measures angles rather than directions — so the obvious hope is that a turn common to both directions cancels in their difference. It does not cancel, because the turn is not common: it runs as the sine of twice the azimuth, and the largest angle error is exactly twice the largest direction error at a well-shaped corner. A first-order triangulation computed on the geodetic-latitude sphere carries angles nearly nine minutes of arc wrong, and its closure check passes perfectly.

wrong · Ellipsoid

The pass's depth belongs to the projection, and it is not a constant

Separating the fracture threshold into a pass depth and the best score a region admits raised the question of what the pass depth is. Across three projections and four latitudes it runs over a factor of 4.4, and most of that is the projection: Robinson's stays between 0.018 and 0.021 at every latitude, Mollweide's between 0.040 and 0.079. It is not a constant of anything — it falls as the region grows in ten cases of twelve — and it does not follow how much of the projection the region sees. The denominator, over the same cases, moves by half again.

choosing · Choosing

A streak along the jet moves the floor while the crossing is flown

The diversion floor answers only to the difference between the wind on a gap's two halves, and every case so far produced that difference by moving a jet sideways. A jet carrying a streak — a thousand kilometres of core markedly faster than the rest — produces the same difference with nothing changed across the flow at all, and moves the floor by up to 43 km where the same jet at one speed along its whole length moves it by ten metres. Plotted against the half-integral difference the two geometries fall on one line: the floor cannot tell them apart. And because a streak drifts with the flow, the allowance an operator must satisfy is 30 km higher than the one the departure analysis reported.

paths · Paths

The control carries the error of every network above it

A local survey is adjusted with its control stations held fixed, and the error ellipses it reports come from its own observations alone. On a stated three-order network a local station reports 11 millimetres and sits 59 from where the national origin puts it: 52 of them from the national order and 26 from the regional. Its own residuals can see almost none of that. What it does own outright is its lengths, and nothing of those is inherited.

practice · Reduction

A second pin is a measurement of the places

Counted exactly, a picture of places is a direct sum: the distances and bearings spend its shape and two pins spend where it sits on the sheet. Given tolerances, the sum survives in one form and fails in another. Pins at one place put none of their error into the shape at any tolerance, and wherever the pins are, their average takes none of the distances' error. But every place pinned after the first is a statement about the geography, and held exact it makes the shape worse once its error passes about two thirds of the shape's own.

impossibility · Embedding

One curve beats the three maps it would replace

Goode's composite is a sinusoidal, a Mollweide and now a splice strip between them, and the question left open was whether one smooth spacing curve could do the whole job or whether the joins are doing work no single curve can. One term does it: a curve with a single coefficient carries 6.8 degrees less angular deformation than the composite, two beat every named equal-area pseudocylindrical in the library, and the composite turns out to be worse than the Mollweide it is half made of.

families · Families

A boundary that two features share

Simplifying one curve prices 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.

applied · Generalise

The correction is the smaller of the two corrections

Legendre's theorem subtracts a third of the spherical excess from each angle of a triangle and solves the rest as a plane figure. It is the correction every nineteenth-century computer applied and the one every textbook explains. Beside the error the choice of substituted sphere leaves in the same triangle it is small: on the thirty-kilometre triangle a first-order chain is made of, omitting it costs 166 millimetres in a computed side and using the geodetic-latitude sphere costs 43 metres. The two terms scale differently, so each sphere has a size at which the correction overtakes it — and for the two spheres a careful computer would have chosen, that size falls inside a real chain.

wrong · Ellipsoid

A low sight is worth keeping only if it is weighted

A body five degrees above the horizon is seen through so much air that its refraction correction is ten times a high body's, and a tenth of that correction uncertain doubles the sight's error. Given the same weight as the others, a sight below seven degrees makes the fix worse than throwing it away; weighted by its variance it never does. The ellipse drawn without weights is turned twenty degrees from the right one, and a navigator who must guess the weights loses far less by guessing high.

paths · Position fix

Two islands are three numbers, and the proof does not survive them

A sea with one island at its centre has one conformal invariant and a forced best map. Put two islands in it and there are three invariants, readable in closed form because stereographic projection carries circles to circles — and the forcing is gone. The theorem that picked the map needed the region to be unchanged by rotation, not to have one hole, and a single harmonic term two hundredths in size beats the stereographic by 0.19 per cent the moment an island moves off centre.

impossibility · Topology

Six projections have two curves, and the refusal has company

Three projections at four latitudes gave three pass-depth exponents, and the question was what sets them. Six at nine latitudes say that most of them have none to set: the Hammer's pass depth rises with what the region sees at R-squared 0.95 and Mollweide's at 0.81, Eckert IV's half-follows, and Robinson's, the Winkel tripel's and the sinusoidal's do not follow it at all. Neither candidate explanation predicts a left-out projection's exponent better than guessing the average — and the sinusoidal, once the lone refusal, is one of three.

choosing · Choosing

Three numbers are all a local survey can check of its control

Adjust a local network on its own lines, then fit it onto its three control stations, and the misfit at the control is the only place the control's error can show. It is exactly the excess the held adjustment's variance factor already carried, counted on three degrees of freedom instead of fifteen, and it catches a disturbed monument 79 times in a hundred where the held report catches it 49. Give the fit a scale and it hides 98 per cent of that excess, and lends the control's error to every length.

practice · Reduction

The area weighting was a readership all along

Twelve measurements have taken a projection comparison apart and found the comparer's own freedom in every part of it. All twelve rested on one thing none of them examined: that a square kilometre of empty ocean counts exactly as much as a square kilometre of city. That is not the absence of an assumption about the reader — it is the assumption that everybody who will ever look at the map is spread evenly over the globe. Named as one readership among five, it produces a different winner from three of the other four, and against a North Atlantic readership its choice is fifth of twenty and 33 per cent worse.

wrong · Audit

A second clause decides the half that was already decided

A specification written as a band admits forty-two maps keeping between 37.0 and 67.5 per cent of a region. Adding a tie-break — among those, take the one whose worst departure is least — is a linear programme, and it works: it makes each of the forty-two definite. It also merges three neighbours at the bottom into one, leaves 29.1 of the 30.5 points of spread in area kept, and names a single map only at the tolerance where every map keeps everything and the first clause has stopped asking for anything at all.

choosing · Condition

Naming the control station that moved takes a fifth

A local survey tied to distant control can tell that a monument has moved, and with three control stations it cannot say which. Each station gives the local lines one number they know well — its distance — and a shift of the whole control uses up two of them, so three stations leave one and four leave two. Five evenly spaced name a station moved five centimetres 83 times in a hundred; three name it 20. Better lines cannot stand in for the missing stations, and every station added also exposes more of the control's own published error.

practice · Reduction

A triangle reads the geoid's curvature, and that one converges

The geoid's Gaussian curvature at a point has no value: its spectrum carries two more powers of the degree than the height's, and the sum never settles. A surveyor's triangle does not measure it at a point. By Gauss–Bonnet its excess is the total curvature over its area, which on the geoid is the flux of the deflection of the vertical through its three sides — a first derivative averaged along lines, and that sum converges. A fifty-kilometre triangle reads 0.64 per cent of the sphere's curvature from the geoid at EGM2008's degree and 0.68 at degree 36,000, where the curvature at a point has grown sixteenfold. The quantity nothing could measure was the one nobody measures.

impossibility · Curvature

A copy eased into place loses its seams before its source

A stretch of coast lifted from another sheet and dropped in rigidly leaves two sharp corners where it joins, and both of them are findable. A compiler does not work that way: they pin the ends and ease the middle until it looks continuous. Easing halves the corner within five per cent of the outline and the seams survive it — until forty per cent, where the located seam jumps from four per cent of the coast out to twenty. The source projection survives twice as far, to seventy-five. The piece goes on naming where it came from after the method has lost track of which piece it is.

wrong · Identify

Written in numbers, the archipelago rule still leaves eighteen

The article on archipelagic baselines gives its tolerances as numbers: no segment over a hundred nautical miles except three per cent of them, which may reach 125, and water between one and nine times the land. On a stated archipelago 8,799 closed systems keep the main islands inside, the ratio passes all of them and the length test eighteen, and the eighteen still differ by 27,585 square kilometres. Thin the land and the ratio does the deciding; the lower bound decides nothing; and the three-per-cent exception can be used only by a system padded to thirty-four segments.

practice · Boundary

One exponent names one map, and at tight bands a better one than the band usually finds

A specification written as a band keeps a count of area and throws the rest of the scale field away, which is why it had forty-two answers and why a tie-break could not name one. Written instead as the mean of |ln k| raised to a stated power, it is convex for every power from one up, and has one answer. At a band of a tenth of a per cent that single answer keeps more of the region than forty-one of the band's forty-two, and at half a per cent fewer than nine of them: the band's best answer leads it by 14.7 points there, and the band's own search started from it reaches within two points of that best. Only as the band approaches the least worst case does a large power take over.

choosing · Condition

On the land it was drawn for, the homolosine wins by its meridians

Scored over the whole sphere and cut into Goode's lobes, the homolosine loses to the plain sinusoidal; for it to win on latitude alone, a reader would have to care about the band from 32° to 61° forty per cent more than its area. The land does not do that — the band holds 1.03 times its share of the continents. Weighted by land anyway, and each point read from the meridian of the lobe it lies in, the homolosine wins: 16.51° against Craster's 17.00 and the sinusoidal's 17.34. The win is in where Goode put his meridians, which lift his map from third to first; count Antarctica as land and it falls to fourth.

families · Families

One cut belongs to the island that would cost most alone

A sea with two islands pays a few per cent for being drawn whole by an angle-keeping map, and one cut buys back part of it. Which island to cut is a design choice that leaves the ground exactly where it was, and it is not decided by size: across twenty arrangements of a large island and a small one, the cut worth most goes to the island that would cost the sea most if it were alone in it — in eighteen of twenty, the other two near-ties — which is usually the more central one. A cut joining the two islands buys almost nothing, and the better cut is nearly always the longer.

impossibility · Topology

The region was a rectangle in a projection

Every verdict this collection hands out is a verdict about a region, and almost every region it has been given is a latitude–longitude box. A box discards a territory's shape, which costs a few per cent, and it records the territory's width in degrees of longitude, which costs up to a factor of 1.72 and changes which family wins on four of forty stated territories. Convert that width to arc and the box gives the right answer every time — so the comparison had a projection in it before it began.

wrong · Audit

The sinusoidal is the edge of its family, not outside it

The sinusoidal is the last member of a family of equal-area maps that begins at Lambert's cylindrical, and it was thought to be the one projection whose pass depth has no curve. Along the family the curve comes and goes: present at m = 0 and 0.8, absent at 0.6 and 0.9. What does move smoothly is the pass depth's level. It is flat from m = 0.2 to 0.9, then rises at every step over the last twentieth, 3.2-fold, to the sinusoid — whose high ridges are the end of that rise, not an exception to the family — while the cylinder at m = 0 stands eight times above its neighbour.

choosing · Choosing

A forecast's error in where the streak is becomes a margin

A jet streak drifting along a gap moves the diversion floor by up to forty kilometres during a crossing, and an operator knows where the streak is only from a forecast. Planned to the worst over the forecast's own crossing window, the floor needs a margin of about eight kilometres for every hundred of error in the streak's position, and stops paying for itself against simply ignoring the streak near an error of two hundred and fifty. Planned to the departure analysis alone, it is worse than ignoring the streak at any error at all.

paths · Paths

A levelling loop reads the circulation, and the geoid has none

A triangle of angles reads the geoid as the flux of the deflection of the vertical through its sides. A levelling loop is the other integral round the same curve, the circulation, and at the geoid that one is identically zero, because the deflection is the slope of a height. What a levelling loop run on the ground misses by is the Jacobian of gravity and height over the loop: 31 mm round a fifty-kilometre loop in a stated mountain range, none of it from the free-air gradient that changes gravity by 1,333 mGal there, uncorrelated with what the triangle reads, and two and a half times the noise of the levelling where the triangle's reading is a fiftieth of its own.

impossibility · Curvature

The archipelago rule moves water between regimes, not between states

The eighteen baseline systems the archipelago article allows on a stated archipelago differ by 27,585 square kilometres of water inside the lines. Measured outward, as the Convention measures every zone, the difference almost vanishes: whatever a system takes inside it gives up from the zone outside, and water inside plus zone outside differs by 993 square kilometres, seven hundredths of a per cent. Against a straight neighbouring coast on any side, the equidistance line does not move at all, because a baseline's nearest point to a straight coast is always an island. Only a neighbour facing the middle of a gap feels the choice — 2,112 square kilometres at thirty kilometres off, 688 at 250.

practice · Boundary

The land would move Goode's lobes before his join

Goode chose his lobes by eye: where the cuts run and where each lobe's meridian sits. Scored on the land outside Antarctica and found exactly on a five-degree grid, the land's own layout at his count of two lobes north and four south deforms it by 14.48° against his 16.51° — two degrees, more than his meridians were worth in the first place — while its cuts cross less land than his: 2,057 kilometres against 2,391, the worst of them 1,056 against the 1,946 his northern cut spends on Greenland. The land wants the map's edge in the Atlantic and its northern cut in the Pacific. His fourth southern lobe is worth four hundredths of a degree, and once the lobes are the land's the best join climbs again, to sixty degrees.

families · Families

One survey cannot tell an optimistic report from a moved mark

A local survey that carries its control's published covariance can estimate, from its own residuals, how far that covariance understates the truth. With five control stations the estimate has a standard deviation of 3.8 times the published scale, and a single monument moved five centimetres adds about as much again — four times what a report twice too optimistic would add. Run at the scale it estimated for itself, the honest test stops flooding good surveys with alarms, and names a moved mark seven times in a hundred instead of twenty-five: the move inflates the estimate and the estimate absorbs the move. The report can be checked only across surveys, and telling one twice too optimistic from an honest one takes about two hundred of them with five stations each, or fifty with twelve.

practice · Reduction

The second cut goes across the sea

With two islands and one cut, the island that would cost the sea most alone names the cut. With three islands and two cuts, the obvious rule — cut the two dearest — names the best pair in only 23 of 40 seas, and loses up to 23 points of what three cuts would buy. It fails when the two dearest sit on the same side of the sea, where their cuts do each other's work. The best pair keeps the dearest island in 37 of 40; its partner is the island across the centre from it, which is right in 32 of 40 and never costs more than 12 points. A cut joining two islands is never worth a second cut to the sea.

impossibility · Topology

The band names the exponent for a compact region, and not for a thin one

A tolerance band is best served by the mean departure when it is tight and by the least worst case when it is wide. Read as a fraction of the region's own least worst departure, the band decides which, and the region's size drops out: a square, a triangle or a hexagon at 10°, 25° or 40° switches from one to the other at nine tenths, and a surveyor told only that loses at most two points of area on every compact region but the degenerate cap. A thin ellipse does not switch. From six tenths upward it is served best by exponents in between, and any rule with two exponents in it gives up five to seven points there, wherever its switch is put.

choosing · Condition

The query a fast path actually answers

Fifteen rungs price what a stored coordinate means and none asks what it is searched with. No index answers "within two hundred kilometres of here"; an index answers "inside this rectangle of stored coordinates", and the rectangle is built by somebody's arithmetic — which at 55° north silently drops a tenth of the true answer on a conformal projection and three fifths of it on an equal-area one.

applied · Dataset

A reach set drawn from the river's outline is a bound again

Beside a bending river, a fan of bearings drawn with straight chords claims a strip of water, and the drawing stops being a lower bound. The fan's own numbers cannot repair it: what a bearing records about the river is where the bridges are, not where the bends are, and the best a rule built from them does is cut the over-claim by seven eighths while giving up twenty times as much ground. The river's outline repairs it exactly. Cutting each bearing at the first bank costs three and a half times the over-claim it removes; keeping the chords wherever a route over one bridge reaches costs one and a half. Drawn from the outline and the bridges with no fan at all, that route set misses 6.4 per cent of the reachable ground where the fan misses 35.

paths · Reach

A strip of triangles carries the sphere's error to the next base

One triangle cannot tell a substituted sphere from a bad base: both leave the computed side a few parts per million long. A triangulation is not one triangle but a strip, each computed side the next one's base, and along it the two come apart completely. A bad base is one factor, the same at every triangle. A sphere's error is made afresh in each triangle and the strip adds it up, and what it adds up to at the far end is exactly the change in that sphere's own meridian scale between the two ends — 158 parts per million for the conformal sphere over twenty triangles north from 45°, predicted to half a part. Along a parallel it is nothing; at a check base three triangles on it is already three times the noise of one-second angles.

wrong · Ellipsoid

The pass was a map meeting itself

Four measurements fitted a power law to the depth of the pass that splits a near-optimal set of aspects, and found it tight — R-squared of 0.98 for Robinson, 0.996 along most of a family of maps. On the grid those aspects were searched over, a pole row holds every normal-aspect map twelve times at cells that are not neighbours, and in 28 of Robinson's 36 regions the published pass was two copies of one map meeting through the map one step round the axis. Joined as the one map they are, Robinson's curve falls to R-squared 0.008, and the sinusoidal's famous refusal turns out to be the one measurement the copies never reached.

choosing · Choosing

The ocean centres its lobes on the land's cuts, and cannot keep its own cuts short

Run on the water instead of the land, the same exact search gives an interrupted homolosine whose lobes sit on the Pacific, the Atlantic and the Indian Ocean — five of its six central meridians within twenty degrees of a cut the land's own layout chose — and it deforms the water by 13.31° against the 19.75° the land's layout gives it. The inversion stops at the cuts. Every meridian on Earth crosses at least 7,172 kilometres of water, so the ocean's map has no layout whose cuts stay under seven thousand, where the land's went below nine hundred. And no layout serves both: none comes within 2.57° of both optima at once, though a single wide Pacific lobe buys the water 2.8° for a tenth of a degree of land.

families · Families

A levelling loop weighs the root, and a triangle weighs the mountain

A mountain range is carried partly by a root of light crust beneath it, and a survey that knows the ground can ask how much. Put a root thirty kilometres down under a stated range and it moves a levelling loop's misclosure by 85 per cent as much as the mountains' own rock does, and a triangle's excess by 16 per cent: the root's gravity is a smoothed copy of the ground, and a smoothed copy crosses the contours. Read against their noise, pinning the root's share to a tenth takes about 2,700 fifty-kilometre loops, a million triangles or 550 astronomic stations — and if the rock's density is unknown too, a triangle cannot tell a compensated mountain from a lighter one.

impossibility · Curvature

An adjustment hides the sphere only in a strip of equal triangles

A strip computed on a substituted sphere drifts by the sphere's own stretch, 315 parts per million over forty triangles north from 45°, and an adjustment that closes it on a second base takes almost all of that away: in a strip of equal triangles what is left is the stretch less a straight line, 0.63 parts per million, a third-order bow sixty times below the noise of the old angles. A real chain is not made of equal triangles. The adjustment spreads the misclosure by how uncertain each triangle's angles are, the sphere put it in by how far north each triangle reaches, and the difference is a first-order residual that never clears the noise at any one side and that the old network's own geometry predicts exactly — so a re-observation matched against it reads the sphere at seven standard deviations.

wrong · Ellipsoid

Two maps and the line between them do the work of every exponent

A conformal map's log scale is linear in its coefficients, so every blend of the map that minimises the mean departure and the least worst map is itself a conformal map, available the moment the two are solved. Searched along that one line for each band, the blend keeps within 0.17 points of the best of twelve exponents on every compact region and beats all twelve by up to 1.35 on the square; it trails by 1.5 at most on the thinnest ellipse and 0.74 on four regions with a bay, where the rule of switching between the two ends gave up as much as 7.1. The family's middle members lie up to two thirds of their own departure off the line. The line does not reproduce them; it does their work.

choosing · Condition

An ensemble carries its own margin, if its spread is honest

A fixed margin of about eight kilometres for every hundred of forecast error covers the diversion floor in nineteen crossings of twenty, but it needs the error's size and it is spent on every crossing alike. Nineteen forecasts of the same crossing need neither. If the truth is one more draw from the spread they come from, the highest of them covers the floor met in nineteen crossings in twenty by rank alone — whatever the error, the streak or the drift — and it holds a fifth to two fifths less in hand than the fixed margin, because it spends nothing on the crossings the streak cannot reach. What it cannot do is notice that its own spread is too small: at half the true spread it covers 88 in a hundred.

paths · Paths

A loop reads a root's depth from its own pattern, and a triangle reads none of it

A levelling loop and a geodetic triangle respond to a buried root in proportions that change with its depth, so their ratio looked like a gauge of how deep a range is compensated. It is not, because a triangle's response to a root at 30 km is a hundredth of its own noise. The depth is there in the loops alone: a root changes the pattern of misclosures from loop to loop as it deepens, and 1,600 loops of 50 km place a 10 km root within a factor of 1.5 three times in four and a 30 km root about half the time. A 60 km root is not placed even by 6,400, and when the depth is fitted rather than stated, such a root is read as a light shallow one carrying 25 per cent of the mass where it carries 60.

impossibility · Curvature

The water would join Goode's map at seventy-five degrees

Goode joined the sinusoidal to the Mollweide at 40° 44′, and the land, given its own lobes, moves that join up to sixty degrees. The water moves it further, to seventy-five, and gains twice as much by it — a full degree of mean angular deformation against the land's half — though less of the northern water than of the northern land lies above Goode's join. The gain is in the polar water, north and south, where Goode's Mollweide cap shears even the lobes' own meridians; the water just above his join, the northern edge of the Southern Ocean among it, pays part of it back. A separate join for each hemisphere is worth a few hundredths of a degree, and with the join free the one-layout-for-both question comes out the same way it did with the join fixed, only worse: no layout comes within 3.3 degrees of both surfaces' best at once.

families · Families

A label belongs to no tile

Nine rungs price the tile as a piece of geometry. A label is not geometry — it is a page object placed by collision against other page objects, and collision is a global relation while a tile is rendered alone. Cut a page into tiles and 10.3 per cent of the labels are placed differently; the buffer that closes the gap is half a tile at moderate density and a whole one when it is crowded.

applied · Screen

A second tracing tells a drifting hand from a copied stretch

A hand tracing a coast drifts rather than jitters, and a drifting error is a smooth departure no projection explains — so the criterion that counted copied stretches correctly under independent noise counts four or five seams where two were made, and three or four on a coast with no copy at all. Undo the drift before fitting and every count comes back, for no copy, one and two, in every tracing. That needs the drift's correlation length from outside the coast, known to within a factor of three on the short side and much less on the long, and a second tracing of the same coast supplies it: the difference between two tracings holds nothing but the two errors, and read that way the count is right in 22 tracings of 24, and never too high.

wrong · Identify

Three maps make a plane, and the band's best map lies outside their triangle

Every conformal map whose ln k is a fixed blend of three solved maps — the p = 1 map, the least worst map and the mean-square map — is itself a conformal map, so three solved maps are a plane of them. Inside their triangle the third map recovers most of what the line between the first two gave up on thin regions: 0.63 points short of the best exponent on the thinnest ellipse, where the line was 1.48 short. But the band's best map in the plane is not between the three. On 172 of 182 regions and bands it lies outside the triangle, and it keeps up to twenty points more than any exponent; started from it, a search over all twenty-five coefficients adds about a point on four regions of five and seven on a hexagon. Its price is a worst departure up to nearly five times the least worst.

choosing · Condition

An agency can map where its published covariance is optimistic

The local surveys tied to a regional network each estimate, badly, how far the network's published covariance understates the truth, and the agency that receives them can pool what they say. When the understatement is confined to one part of the region, pooling it into one number dilutes it: a patch covering 15 per cent of the region with errors four times their published size reads as 1.30 for the whole. Counted place by place, the same surveys find the patch — two agencies in three find it with 400 surveys and nearly every one with 800, flagging almost nothing outside it. Fed back as one number the scale removes little of the false alarms inside the patch and costs nearly a third of the test's power outside; fed back as a map it cuts the false alarms inside from 20 per cent to 3 and costs little outside.

practice · Reduction

A sea with five islands is seldom worth five cuts

With three islands in a sea, the second cut went across the sea from the first, and the number of cuts worth spending looked like the number of directions the islands point. With four and five islands that survives in part and breaks in part. Choosing the dearest island and then, each time, the island farthest in bearing from every island already cut names the best pair of cuts in 28 seas of 40, where the two dearest name it in 16 — and it fails at three cuts of five, because the best three cuts often do not contain the best two. The dearest island is no longer reliably among the best pair. And 39 seas of 40 are worth fewer cuts than they have islands: the count follows the widest gap in the islands' bearings more closely than it follows how many islands there are.

impossibility · Topology

A smooth curve beats the water's best join from its first term

On the land, a smooth equal-area curve with no join needed three terms before it beat Goode's composite rejoined at the land's best latitude, and on the land's own lobes it needs three again. On the water a single term beats the water's best composite, a second and third add more, and the best curve is 0.54 degrees of mean angular deformation better than the composite joined at seventy-five and 1.6 better than Goode's. It is nothing like the composite in shape: its parallels never close to less than seven eighths of the equator's spacing, so the map the water wants is the sinusoidal reshaped by a few per cent at every latitude, not the sinusoidal with a cap. The lobes do not move under it. And where a separate join for each hemisphere was worth three hundredths of a degree, a separate curve for each is worth a quarter of a degree.

families · Families

A ray from the centre hits the surface twice

Eleven rungs map bodies that are lumpy, triaxial and turning at a drifting rate, and every one assumes the surface is star-shaped about the centre — which is what makes a longitude and a latitude a coordinate at all. A contact binary is not: on a stated body with a neck a third of a lobe wide, 10.9 per cent of the sky has no single radius, and the shape model everybody publishes fills the neck in and adds 1.67 per cent of the volume.

datums · Bodies

An easing is a seam with a width, and a drifting hand hides the width

A copy eased into a compiled coast is not a projection, so a count that explains the coast in rigid pieces buys four, five or six seams for one copy. Give each seam a width — the copy blended into the host over that width, the same linear fit at every width, the width charged as one more number — and the count is two seams at every easing up to 17.5 per cent of the coast, and the width it reports is the one drawn, wherever the copy departs from the host by many times the digitising error. Where it departs by seven, the width is a guess. On a tracing made by a drifting hand the easing disappears: whitened for the drift, the rigid count already calls two seams in every tracing, because an easing as long as the drift is a stretch of drift, and its width can no longer be read until it is twice the drift's length.

wrong · Identify

A season learns the stretch from where the streak was, not from the floors

An ensemble whose members spread four fifths as widely as the forecast's real error covers the diversion floor in 94 crossings of a hundred instead of 95, and the repair is to stretch every member away from the centre by a factor learned from past crossings. Learned the way the rank histogram teaches it — from where the truth's floor fell among the members' floors — a season of a hundred crossings lands within a tenth of the right stretch one time in three, and a season of eight hundred two times in three. Learned from where the streak turned out to be, which the analysis after each crossing supplies whether the streak reached the gap or not, a hundred crossings land within a tenth 85 times in a hundred and two hundred almost always. The floor is the quantity the plan is about; it is the wrong quantity to learn the spread from.

paths · Paths

A cap on the worst departure keeps the thin regions' gain and gives back the square's

The conformal map that keeps the most of a region inside a band can sit far out in the plane of three solved maps and let its edges go to nearly five times the least worst departure. Capped at twice the least worst, the plane still matches or beats the best exponent on 69 region-and-band pairs of 91: on the thin ellipses it keeps the whole of its gain, because that gain sits in a small pocket just past the exponents' own worst departure and arrives all at once; on the square and the bays it gives most of it back, because there the gain is a ramp that runs out to four times the least worst. Under any one cap the plane still beats the exponents that cap admits, by up to eighteen points — and it can name maps that no weighting of area against worst departure would ever choose.

choosing · Condition

Gravity is worth four loops a station, and the background still hides a deep root

Levelling loops alone place a range's compensating root at ten kilometres three times in four from 1,600 loops, and do not place one at sixty from 6,400. Gravity measured on the ground reads the root's attraction directly, and a station is worth about four loops for a shallow root and two for one at thirty kilometres. It does not place the deep root either: 1,600 stations put a sixty-kilometre root within a factor of 1.5 of its depth in fewer than one survey in five. With the background field taken away, a hundred stations place it every time. What hides the deep root is not the reading but the geoid's own mass that the range does not explain, and either half of its spectrum is enough to do it. Fitted for depth, gravity reads the deep root as too heavy, where the loops read it as too light.

impossibility · Curvature

Copied out to sea, a coast keeps its length and loses its bays

Before 1930 a territorial sea was drawn by following the coast in all its sinuosities, and the phrase fits two constructions. Moved twelve miles seaward, a stated coast of five bays gives up 240 square kilometres against the envelope of arcs, most of it over the narrowest bay; moved along its own normals, it ties a loop over every bay. On a fractal coast charted at finer detail the copy grows by a quarter at every level, to 480 kilometres, while the envelope settles at 133.0.

practice · Boundary

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.

applied · Generalise

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

Varying a body's shape never changes its topology, which is what every impossibility about maps 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.

datums · Bodies

A revised forecast is relearned in as many crossings as the learner remembers

An ensemble's stretch is a property of the forecast system, and forecast systems are revised. When a revision narrows the members from four fifths of the real spread to three fifths, a learner that weights every crossing since the start of the winter equally still holds 1.44 for a new stretch of 1.67 three hundred crossings later, and leaves the plan under the floor in 93.8 crossings of a hundred instead of 95. A learner that forgets regains ninety-five per cent coverage after about as many crossings as its memory — 31, 57, 113 and 206 for memories of 25, 50, 100 and 200 — and pays for forgetting only when nothing has changed. A memory of fifty costs nothing measurable over a winter. And a bias the whole ensemble shares, which the stretch alone reads as extra spread, is found to a kilometre by a learner that tracks the mean departure as well.

paths · Paths

A tolerance in map units is not a tolerance

A snapping tolerance is a number, and the number is in whatever units the file is in. Five map units on Web Mercator is 4.97 metres of ground at the equator and 0.87 at eighty degrees — so a rule that merges two features three metres apart merges them everywhere below 52.8° north and refuses everywhere above it, in one pass, over one dataset, with nothing recording where the boundary is.

applied · Dataset

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.

datums · Datum

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.

applied · Cells

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.

distortion · Tissot

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.

distortion · Precision

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.

distortion · Precision

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

What the page cannot move

Six rungs measure what a page does to a field's readings and every one of them moves. The critical points do not: found on the sphere and found again in a projection's own page coordinates with nothing shared between the searches, they agree to 10⁻⁷ degrees and in type at every point, on every projection. What the page does move is their shape, by a factor bounded exactly by the indicatrix's axis ratio squared.

distortion · Gradient

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.

distortion · Sampling

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.

distortion · Sampling

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.

distortion · Sampling

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.

distortion · Sampling

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.

distortion · Sampling

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

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.

distortion · Precision

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.

distortion · Tissot

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°.

distortion · Sampling

Two indicatrices do not make a third

Reprojecting is composing, and the composite's indicatrix is not a function of its parents'. Mollweide followed by Hammer is gentler than either map over eighty per cent of the sphere; the sinusoidal followed by Gall–Peters is worse than both everywhere. What separates them is one angle, and it is the number rung ten showed the ellipse does not carry.

distortion · Tissot

A cartogram keeps the shapes it inflates

Seven rungs build cartograms and none reads one back. Reading means recognising a region and dividing its drawn area by its base area, and the construction is against the reader twice: the correlation between how much a region grows and how much of its shape it keeps is −0.996, and the base area a reader has to divide by is the map the cartogram replaced.

distortion · Cartogram

A current drawn on a page has sources

Seven rungs project a scalar field and ask what the page does to its gradient. A wind or a current is the other half of what gets mapped, and the operator that matters for it is the divergence — which is preserved by an equal-area map exactly, by no other map at all, and by a conformal map least of anybody's expectation.

distortion · Gradient

Rounding is not noise

Eight rungs treat a coordinate's error as noise that averages down. A published coordinate has a second error that does not: it is deterministic, it is shared between every point in the same cell, and at five centimetres apart ninety-three per cent of pairs come out as the same place — which no amount of independent noise can produce.

distortion · Precision

Named alongside it

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

TolerancePurposeConventionClosed formEstimatorConformalityScale factorEqual-areaLeast-squaresTrade-offAngular deformationOptimisation

All concepts