Concept

Tolerance — where it appears

The departure a measurement is allowed before it counts as a failure, stated in advance and chosen so that it sits between the noise and the smallest real defect. It is chosen here to sit between the arithmetic's own noise floor and the smallest real failure, and both margins are asserted rather than assumed.

Named by 107 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
OSGB36 to WGS84, one parameter at a time. Each bar is how far the mark at 2.0° west, 54.5° north moves under one of the seven parameters with the other six set to zero. seven of the seven are not zero for OSGB36. The units hide the comparison: one arcsecond of rotation moves this point 30.8 metres and one part per million of scale moves it 6.36 metres, so OSGB36's scale term contributes 130 metres — more than one of its three translations.

The seven parameters, and what each one does

A datum transformation is published as three metres, three arcseconds and one part per million, in three different units — which hides the fact that all seven are the same size of thing. Converted to ground displacement, the scale term beats two of the translations.

datums · Datum
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
London to Tokyo, seen four ways. The same two routes on four projections. The gnomonic projection renders every great circle as an exactly straight line, which is what it is for; Mercator renders every rhumb line straight instead. Neither path changed — only the map did.

The aspect is a free choice

A projection's distortion pattern is fixed relative to its own axis, and where that axis points is entirely up to the cartographer. Rotating it is the cheapest available improvement and it is the one most often left unmade.

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

The scale factor was chosen

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

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

Designing a grid for one region

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

practice · Grid
How large a patch can be treated as flat, at 10 parts per million. The smallest scale distortion any map of a circular patch can have, against the radius of the patch, on logarithmic axes. The line is straight with a slope of 2.00: the error grows as the SQUARE of the size, so a patch ten times wider is a hundred times worse. A tolerance of 10 ppm is reached at a radius of 40.3 km — 81 km across — and that is the number behind the boundary between plane surveying and geodesy.

How small is flat enough

A builder works in plane coordinates and a national mapping agency does not, and the line between them is not a convention. The unavoidable error of treating a patch of the Earth as flat grows as the square of its size, and the size at any stated tolerance is a number.

impossibility · Curvature

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

Flying a curve in straight legs

Nobody steers a great circle, because a great circle requires the heading to change continuously. What is actually flown is a handful of constant-heading legs between waypoints on it, and the gap between plan and curve falls as the square of the number of legs.

paths · Paths

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

A grid scaled to the ground is not a map

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

practice · Grid

Height above what?

A satellite reports a height above a mathematical surface. A level and a staff report a height above the surface water settles on. The two disagree by tens of metres, both are correct, and only one of them decides which way a pipe drains.

datums · Height

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

How many sheets an atlas needs

A tolerance on the scale error inverts, through Chebyshev's bound, into a sheet radius — and a covering problem turns the radius into a count. One part in a thousand costs 1,210 sheets of 403 kilometres radius, the count goes as the reciprocal of the tolerance exactly, and the projection multiplies it by anything from one to fifty-six.

choosing · Choosing

Curvature that varies from place to place

The impossibility this site is built on was argued on a sphere, where the curvature is one number. On the Earth it varies by 1.35 per cent, on Jupiter by 31, on Vesta by a factor of 2.7 — and on a body with three axes it varies along a parallel, which no formula in latitude can express.

impossibility · Curvature

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

Setting out runs the chain backwards

Turning a design coordinate into something to observe on the ground means undoing the reduction chain, and undoing a chain reverses the order as well as the operations. Two of the corrections do not commute, and getting them the wrong way round misses by a millimetre at fifty kilometres.

practice · Reduction

The ground is not the grid

A tape measure on a hillside has to be brought down to the ellipsoid and then out onto the map, and the two corrections have opposite signs. On a grid whose scale factor exceeds one there is exactly one elevation where they cancel — 2,551 metres, for a factor of 1.0004.

datums · Height

The second derivative has its own ranking

Rank eight world maps by how much they stretch and Mercator comes sixth of eight. Rank the same eight by how much they bend and it comes third. The two halves of the second-order score disagree with each other more sharply than either disagrees with the first-order one — Spearman 0.45 against 0.69.

distortion · Flexion

Two projections that cannot be told apart

Over a small enough region every projection is the same picture, so the question is how small. The answer is not one number: two conformal projections need twelve degrees of extent before their graticules can be separated, and two projections with different anisotropy separate below one.

wrong · Identify

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

What a face can preserve

The obvious map onto a polyhedron's face is the gnomonic, and it draws every great circle straight while stretching the corners by a factor of 1.50. Replace it with a construction that holds the areal factor at one to a part in a million and the shape error rises from 8.0° to 11.9° — the same trade the whole sphere forces, arriving on a piece of it a twentieth the size.

families · Polyhedral

The second derivative over a region

Flexion has been measured at points and over the whole sphere, and never over a region — which is the only unit anybody chooses a projection for. Doing it finds that the second-order criterion moves the winner in one region of four, and that one projection in the library has no second derivative at all.

distortion · Flexion

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

A local model has an order

Every georeferencing tool fits a polynomial between two coordinate systems and the choice of degree is usually made by counting control points. What it buys is an order of convergence — 2, 3 and 4, measured — and the first term an affine model cannot hold is the second derivative this ladder has spent five essays on.

distortion · Flexion

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

A corridor has a width the page cannot keep

Buffering a line is the most-run operation in spatial analysis and the corridor it produces is a reach set with two failures nobody separates: stroked on the page, one width covers 190 to 471 kilometres of ground along a single route; computed in closed form, the formula stops being the area at a width the route's own length fixes, and eventually claims more ground than the sphere has.

paths · Reach

A map with no formula

The solved projection has no name, no formula and no closed-form inverse. It is fourteen numbers — and the rate at which those numbers fall away decides whether a map can be shipped at all: geometrically for a smooth region, and like a power for one with corners.

choosing · Condition

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

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

The aspect has three numbers, not one

The site's aspect search has swung the projection's axis through one plane for a long time, and recorded that a region whose long axis runs diagonally has its optimum somewhere that plane never reaches. Searching the whole sphere of pole positions finds 2.6 times more improvement over Japan and 3.4 over the conterminous United States.

choosing · Choosing

The places where a map is exactly right

Nine essays on this ladder say a map cannot be right everywhere. None asks where it IS right — and the answer is a curve, a pair of curves, or two isolated places, never a patch. Measured across fourteen projections the set's neighbourhood shrinks with an exponent of 0.48, 1.0 or 2.0, and the value the impossibility forbids is 0.

impossibility · Curvature

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

The sphere is not the plane at small counts

The site's atlas arithmetic multiplies an ideal sheet count by 2π/√27, the thinnest covering density of the plane. At the four counts whose optimal covering of the sphere is a theorem the plane's number is 21 per cent high at two caps and 9, 5 and 2 per cent low at four, six and twelve — wrong in both directions, and the direction changes with the count.

choosing · Choosing

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

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

A coordinate is a number with a width

Every number on this site so far has been exact. A written coordinate is not: five decimal places of a degree is 1.112 metres of latitude everywhere and 1.112 metres of longitude only on the equator, falling to 0.097 at 85°. The same written precision carves the ground into a cell that is square in one place and eleven times longer than it is wide in another.

distortion · Precision

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

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 chain the satellite does not have

The four-step reduction from a tape reading to a grid coordinate exists because a tape does not know where it is. A satellite observation does, so the same distance can be got by projecting both ends and subtracting — and the two answers agreeing to a fifth of a millimetre is the first check the chain has ever had.

practice · Reduction

The same projection on a different body

A projection's distortion does not depend on the body's size at all — only on its flattening — so Web Mercator's 0.3848° of angular deformation is not a fact about Web Mercator. It is 2f radians, and the same mistake made on Mars measures 0.6765°, on Jupiter 7.68°, and on a body scaled ten times larger than Mars the identical number to twelve figures.

datums · Bodies

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

A cell system trades area for shape

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

applied · Cells

Sixty zones was a decision about one latitude

Twelve rungs price a grid, a zone, an origin and a reference, and every one of them works inside a single zone. The number of zones has never been asked about: six degrees meets its tolerance at the equator and is loose everywhere else, so a system spending the same tolerance evenly would use 51 zones at the equator and 8 at 82° — and UTM's worst error is 981 parts per million, not the 400 always quoted.

practice · Grid

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

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

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

applied · Cells

A deflection is the slope of a mass

The site has computed the exact relation between a geoid slope and a deflection of the vertical — one arcsecond is 4.85 millimetres in a kilometre — and computed no deflection anywhere, because a deflection is the gradient of a geoid and the geoid is a citation. State a mass instead, and every quantity is a closed form: a salt dome five kilometres across bends the plumb line by 2.21 arcseconds.

datums · Height

The address is a curve through the sphere

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

applied · Cells

An edge has no order of convergence

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

applied · Dataset

The tolerance that decides the verdict

Eight rungs of this ladder hand out verdicts, and every one rests on a tolerance chosen once, in the site's second phase, 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

How wrong a flat picture has to be

The rung below proves no flat picture of four places is exact and leaves the size of the failure to a determinant nobody can read. 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

Eleven rungs hand back a curve and stop, 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

A real edge has a width

Thirteen edges were measured and every one of them was exactly discontinuous, which no sensor has ever produced. Convolving them with a point-spread function of one degree — a cell or two — takes the three kernels from 0.78, 0.58 and 0.60 back to 1.23, 1.97 and 3.60, and takes the edge along a parallel, which converged at −1.49, up to 1.92 for bilinear and 3.73 for cubic.

applied · Dataset

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

Four radii of the Earth

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

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

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

The answer is a set

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

wrong · Identify

The first break is mostly its denominator

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

choosing · Choosing

A 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

The nodes were evenly spaced

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

choosing · Condition

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

Simplification does not commute with the projection

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

applied · Generalise

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 sheet moved before it was measured

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

wrong · Identify

A tolerance is a promise about the picture

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

applied · Generalise

A map with no graticule

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

wrong · Identify

The road is drawn two pixels wide

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

applied · Screen

A boundary that two features share

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

applied · Generalise

A thousand features are wrong in the same direction

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

applied · Generalise

The error ellipse is not an ellipse

Rung two pushed a covariance through a projection with the same matrix sandwich that draws an indicatrix. That is a first-order operation on a map with a second derivative, so the propagated distribution is not the ellipse the sandwich draws — and a nominal 95 per cent ellipse holds 93.06 per cent on one projection and 95.63 on another, in opposite directions, from the same input.

distortion · Precision

A grid stops fitting the ground it was laid on

A hundred-kilometre baseline across a plate boundary changes by 815 millimetres in fifty years, and the same baseline on the fastest plate in the model changes by nothing at all in the same fifty. The interval before an ordinary first-order specification is broken is six years in one place and never in the other.

datums · Strain

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

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

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

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

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

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.

VerificationConventionScale factorClosed formNational GridPurposeRealisationConformalityBoundaryQuadratic lawEllipsoidEstimator

All concepts