Convergence — where it appears
Named by 33 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 aspect search was found returning the same score to 2.3 per cent from poles sixty degrees of latitude apart, which left the answer looking irreproducible. That reading 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
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.
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.
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.
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
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.
A line has a length only at a scale
A curve given by a formula can be sampled as finely as the picture needs. 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
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.
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.
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.
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.
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.
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.
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 formConformalityEstimatorTransverse MercatorUTMAnisotropyDegeneracyDiscretisationEllipsoidNational Grid