The thread: What survives a change of coordinates — page 3
The family is a symmetry, not a shape
Rung seven dissolves the taxonomy: eleven named maps fitted to one perspective formula, six reproduced exactly and five refused, so the developable surface describes how the projections were discovered rather than what they are. What is left is the question it does not ask. If the shapes are not the classification, what is?
A projection defined by a table has an interpolation in it
One member of this library has no formula: Robinson set nineteen pairs of numbers by eye and the table is the definition. Three published interpolations of it draw graticules that differ by four parts in a thousand of the map's span and report angular deformations that differ by 8.4 degrees.
A chain of transformations does not close
Two datum transformations applied one after the other are not the sum of their fourteen published numbers. The gap is seven millimetres in Britain, doing the two in the other order moves the answer twenty, and the rotation matrix everybody prints is not a rotation.
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.
The datum hides inside the projection's parameters
Six essays recover a projection from control points with the body it was drawn on taken as known. It is not known, and the fit cannot find it: a 99-metre datum shift is absorbed to 99.7 per cent on a two-degree sheet and to 85 per cent on a hemisphere, leaving eleven parts per million of the map behind.
A rotation is not absorbed the way a shift is
The previous rung expected a datum's rotations to be the part a plane fit could not swallow. They are the part it swallows best — 93 times better than the translations over a hemisphere, and 24 times better per metre moved — and the reason is that the rotation which matters is a change of longitude, which is a symmetry of the map.
An average of ellipses is not an ellipse
Rung three integrates distortion over a region and finds the weighting is somebody's opinion. It never asked what was being averaged. An indicatrix is a positive-definite matrix, matrices form a cone rather than a vector space, and the arithmetic average of an equal-area map's indicatrices comes back inflating area by up to 11 per cent.
The seven parameters have their own uncertainty
Nine essays on this ladder print a datum transformation as seven exact numbers. Every published set is the output of a least-squares fit and arrives with standard errors as much a part of the result as the parameters — and pushing those widths through to the ground gives an ellipse, not a number, that is 68 mm across at the equator and 43 mm at 70°.
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.
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.
The map depends on where it was cut
The previous rung solved the discrete conformal equations on a triangulated body and reported an areal spread of 3.07, then recorded that the number might belong to the patch, the boundary and the two pinned vertices rather than to the surface. It belongs to the pins: hold a different pair and it runs from 2.68 to 7.44, while the typical angular deformation does not move at all.
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.
The geoid model stops at a degree
Eleven essays treat the geoid as a surface that exists. Every geoid anybody uses is a series truncated at a degree, so every orthometric height derived from one carries an omission error nobody quotes with the height — eighteen centimetres at degree 360 — and the same truncation removes two thirds of the slope, which does not converge at all.
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.
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.
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.
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.
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.
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.
A polygon on a sphere has no outside
Seven essays have treated a stored ring as a boundary between inside and outside. A closed curve on a sphere divides it into two pieces and neither of them is the outside, so every polygon in every file depends on a convention that no coordinate carries — and the two conventions in common use disagree by a factor of fourteen on any ring that contains a pole.
The attribute is a claim about the geometry
Fourteen essays price what a stored coordinate means and not one asks what the number stored beside it means. A rate is a quantity divided by an area, the area belongs to the geometry, and no format records which area — so a simplification that moves the outline by nothing visible moves the implied total by 1.55 per cent, an unweighted average of densities is 4.09 per cent out, and a choropleth gives a polar square kilometre fifteen times the ink of an equatorial one.
A longitude that drifts with the rotation rate
Ten essays here map bodies whose shape is the problem. A longitude is not about shape: it is a landmark plus an extrapolation over however many days have passed, and an error in the last published decimal of a rotation rate is a coordinate error that grows without bound in time.
The rotation has two sign conventions
Eleven essays price a datum transformation's parameters, their fit, their residuals and their uncertainty. None asks what the numbers mean: three of the seven are published under two conventions whose rotations differ in sign, and reading one set with the other formula costs exactly twice the rotation — 55 metres on OSGB36 and 152 on DHDN.
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.