Convergence — where it appears
Named by 27 essays across 9 fields — each of them below, with the objects they name alongside it.
Transverse Mercator and the series that computes it
The projection most of the world's survey data lives in has no closed form. What every national grid actually computes is a truncated power series in the flattening, and how far it can be trusted is an engineering parameter rather than a property of the projection.
The route with no shortest path
Between a point and the point diametrically opposite there are infinitely many shortest routes and no shortest route, and the standard formula for the distance between two places stops converging in a neighbourhood of it. The failure is a property of the question rather than a defect in the answer.
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.
Grid north is not north
A grid has one north, parallel everywhere on the sheet by construction. The Earth has a different one at every point. The angle between them reaches two degrees at the edge of a UTM zone, and a straight line on the grid is not a straight line on the ground either.
Where the shortest route stops being the only one
On a sphere there is exactly one point with no shortest route from a given place: the antipode. On the ellipsoid the Earth actually is, that point is an arc — sixty-six kilometres of the antipodal meridian for a point on the equator, half a kilometre for one at 85°, and every point of it reachable by two different geodesics of exactly equal length.
Impossible in two derivatives, possible in one
The impossibility this whole collection rests on computes a second derivative, so it is a statement about maps that have two. Take one away and it is false: a corrugation restores an exact length while converging to the map that does not, and iterating it gives a flattening whose derivative converges and whose curvature runs to half a million.
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.
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.
Where the series stops being the map
The transverse Mercator has no closed form on an ellipsoid, so every national grid computes a truncated series. Asking how many terms it needs has an answer everywhere; asking whether more terms always help has an answer only within 83.81° of the central meridian, and the boundary is computed rather than assumed.
The third parameter, run
An aspect has three numbers and this site has been searching two of them, with a note admitting it. Searching all three is worth up to 2.1 times — and the obvious way to do it, starting from the two-parameter answer and letting the third move, finds a fraction of that or nothing at all.
The inverse of the series is not the series of the inverse
Transverse Mercator on an ellipsoid has no closed form, so every national grid computes it as a truncated series. There are two of them — one out and one back — and they are separate approximations. Composing them does not give the identity: at the order every grid formula in ordinary use is written to, a point three degrees from the central meridian comes back 0.39 mm north of where it started.
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.
The indicatrix at a point that has none
Ten essays on this ladder take the derivative for granted. Rung three proved the indicatrix is a limit and every figure since has assumed the limit exists. There are points on the maps this collection draws where it does not, and they are not exotic: the horizon of a gnomonic map, and every corner of every polyhedral net.
Report the map, not the parameters
The previous rung found the aspect search returning the same score to 2.3 per cent from poles sixty degrees of latitude apart, and recorded that as a shortfall: the answer was not reproducible. The shortfall assumed the disagreeing triples make disagreeing maps. They do not — the three answers agree on the distortion field to a quarter of the deformation the map already has.
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.
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.
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.
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.
A condition imposed at points is not a condition
Nine rungs state a condition and solve it, and every solve imposes the condition at a finite set of samples because that is what a linear system is. With barely more equations than unknowns the residual the solver reports is 8.3 times too good — and refining the collocation twentyfold does not improve the map at all, it only makes the report honest.
A line has a length only at a scale
Every measurement on this site so far has been of a curve given by a formula, sampled as finely as the picture needed. A map is not that: the geometry that reaches the page has been through an algorithm whose job is to throw most of it away. The first thing that goes is the idea that the line had a length.
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.
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.
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.
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.
A refinement that stops moving
Doubling the sample and watching the answer settle is how every quadrature in every field is checked. On the Robinson projection the doubling ladder — 4, 8, 16, 32, 64, 128 — converges beautifully, with its increments halving at every step, on a limit that is wrong by a factor of twenty-seven. Whether a grid finds the answer is decided by whether n is a multiple of four.
Which of 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.
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.
Named alongside it
The objects these essays reach for when they reach for this one.
VerificationToleranceClosed formConformalityTransverse MercatorUTMAnisotropyEstimatorNational GridSamplingZoneDegeneracy