Concept

Regional distortion — where it appears

A projection's error summarised over an area rather than at a point, which is the only form of it anybody chooses a map by. It is a summary and the summary hides a field, so the same mean can belong to a map that is uniformly mediocre and one that is excellent except at a corner.

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

Fitting a sphere to 10° of latitude at 54.5°. The Earth's Gaussian radius of curvature across the band, with two candidate spheres drawn against it. The global mean radius is 6371.0 kilometres and sits 2203 parts per million away from the ground here — 2.2 metres in every kilometre measured. The best local radius is 6385.0 kilometres and has no bias at all by construction, leaving 325 parts per million of spread that no sphere can remove, because the curvature varies across the band and a sphere's does not. The gain is a factor of 6.9.

A datum is fitted to a region

Forty countries adopted forty ellipsoids, and the usual explanation is that measurement was poor. It was not — a figure fitted to one country beats the global one over that country by a factor of seven, and what it removes is a systematic bias of two metres in every kilometre.

datums · Datum
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
Mercator swung through every tilt, over Chile and the tropics. The regional distortion of one projection as its axis is tilted from the normal aspect at 0° to the transverse at 90°, each curve divided by its own value in the normal aspect so the two regions can share an axis. Chile is best at a tilt of 90°, a factor of 183.5 better than north-up; the tropics is best at a tilt of 0°, which is north-up. Rotating the sphere costs nothing and changes none of the projection's own properties, which makes this the cheapest improvement available and the one most often left unmade.

Fitting the aspect to the region

Choosing a projection is a choice among a few dozen named things. Choosing its aspect is a choice among a continuum, it costs nothing, it changes none of the projection's own properties, and for a long thin country it is worth a factor of 183.

choosing · Choosing
The same six projections, ranked over Europe and Chile. Each column orders the projections by Kavrayskiy's regional criterion — the root-mean-square departure of the two principal scales from unity, integrated over the region with the area element. The lines cross, which is the point: Lambert conformal conic leads over Europe and comes fifth over Chile. A table of projections ordered by distortion is a table about somebody's region.

Distortion over a region

An indicatrix describes a point and every practical question is about a country. Going from one to the other means integrating, integrating means choosing a weighting, and the weighting is the step that turns a measurement into somebody's opinion.

distortion · Tissot
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
The scale factor across Europe, from the middle outwards. Each band is the range the larger principal scale factor takes on the ring at that distance from the centre of Europe: 0 is the middle, 1 the frontier. two of the three projections drawn are conformal, and every one of those reaches its maximum at the right-hand edge, because the logarithm of a conformal map's scale factor is subharmonic. None of them reaches a maximum inside the region.

Where the worst point is

The largest scale error on a conformal map of a country is always on the frontier, never inside it, whatever the country's shape and whichever conformal projection was chosen. It is a theorem rather than a tendency, and it is the reason Chebyshev's criterion works.

distortion · Tissot
The scale along the Madrid–Tokyo corridor. The scale factor of four projections along the great circle from Madrid to Tokyo, each normalised to its own average over the route so the comparison is of variation rather than of size. The oblique Mercator whose own equator is laid along the corridor holds the scale to 0 parts per million; Mercator varies by 118.7% over the same line. A corridor is a curve, not a region, and the projection an area criterion picks is not the one a curve wants.

Choosing for a line, not a region

Every criterion in this subject integrates over an area. A pipeline, a railway or a coastal survey is a curve, and the projection an area criterion picks for it is not the one it should have — measurably, by a factor of five thousand.

choosing · Choosing
Sheets for a tolerance, from Chebyshev's bound and a covering. For each stated tolerance on the scale error, the cap radius at which the best possible conformal projection just meets it — sec²(ρ/2) − 1 = tolerance, which is Chebyshev's bound and has no fitting in it — and then the number of such caps needed to cover the sphere at the packing density a real arrangement achieves. One part in a thousand costs 1210 sheets of 403 kilometres radius. The slope is -0.989: a factor of ten in what the job will accept is a factor of ten in the atlas.

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
The minimum-distortion conformal map of an elongated region, 30° by 10°. The conformal projection of an elongated region, 30° by 10° whose scale is constant on the boundary, which is Chebyshev's criterion, obtained by fitting eight terms of a series rather than by choosing a named projection. The scale factor runs from 0.98640 to 1.00000, a spread of 1.01379; on the boundary itself the largest departure from constancy is 2.13e-7 in the log, which is what the fit achieved and not what it was told. Each dot is an interior sample shaded by its own departure from the boundary's scale.

Solving for the map instead of choosing it

Chebyshev's criterion has sat on this site since its second phase with one case it could be applied to: the spherical cap, whose answer is the stereographic projection. For any other region the site stated the criterion and stopped. It is a linear least-squares fit, and the fitted map beats every named projection over the region it was fitted to.

choosing · Condition
Which projection wins, by the first derivative and by the second. Each column is a region, with the projections listed in the order Kavrayskiy's first-order criterion puts them in and the figure at the right of each row giving that projection's rank under the second-order criterion — flexion and skewness aggregated the same way. The rank correlations are Europe 0.83, the conterminous United States 0.81, the tropics 0.90, a cap of 30° radius 0.88, so the two orders agree broadly and disagree in detail. Where it matters is the winner: over a cap of 30° radius the choice moves from Albers equal-area conic to Lambert azimuthal equal-area, while Europe and the conterminous United States and the tropics keep theirs. A criterion that changed every answer would be suspect and one that changed none would be decoration.

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
5 of 400 nearest-neighbour queries change answer in the plane. 40 sites and 400 queries over -20° to 40° east and 35° to 70° north, each query answered twice — once by geodesic distance and once by straight-line distance in the stored plane. They agree 98.8 per cent of the time, which is why the operation survives, and the 5 that differ are marked. The mechanism is not that the plane is wrong by a lot but that its scale factor varies: over this region it spans 139 per cent, and every disagreement is a contest closer than that — the worst margin measured is 6.4 per cent. The furthest a wrong answer is from the right one is 24 kilometres.

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
five planes a dataset might be stored in, scored on three operations. Each candidate measured over -10° to 30° east and 35° to 60° north: the worst areal error, the worst angular deformation, and the spread of the scale factor, which are what an area query, a shape and a distance respectively depend on. The best plane for areas is Gall–Peters, for shapes Lambert conformal conic, and for distances Lambert conformal conic — three different answers, and no fourth candidate would collapse them, because a projection exact in two of these columns has a = b = 1 everywhere and is the isometry Gauss's theorem forbids. area of a polygon costs 3.06× too large in the wrong plane; drawing a line between two points costs 194 km from the ground it claims.

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
Every aspect of Mercator over Japan, and the line the old sweep searched. The regional distortion of Mercator over Japan for every position of the projection's pole — darker is better — with the meridian the site's one-dimensional sweep searches drawn on it. The sweep's best is a gain of 24.4× over the normal aspect; the two-parameter search finds 61.4×, which is 2.51 times better again, at a pole 45° of longitude away from anything the sweep could reach. The shortfall recorded when the sweep was written said this would happen for a region whose long axis runs diagonally, and this is the measurement of it.

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
How far each page reorders the shapes. The number of pairs of shapes whose order on the page differs from their order on the ground, out of 36, for ten projections. Four of them put a shape other than the geodesic disc at the top — Equirectangular, Lambert azimuthal equal-area, Robinson, Miller cylindrical — which means the shape that attains the isoperimetric bound on the sphere is not the most compact thing on those sheets. The projection with none is not the equal-area one; it is whichever one's stretching happens to leave this particular set of shapes alone.

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
The score does not settle at any resolution. The compactness of one stated boundary — a circle with cosine ripples at eight geometrically spaced wavenumbers, so it has structure at every scale — read at sixteen vertices up to two thousand and forty-eight. The ground score falls from 0.980 to 0.834, and it keeps falling: the boundary's length grows without bound as it is resolved while the area it encloses converges, so the quotient has no limit. The four page curves sit within a fraction of a per cent of the ground curve and of each other, which is the comparison this rung exists to make.

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
Three projections that run in a circle. Mercator beats Sinusoidal beats Eckert IV beats Mercator, each on a majority of the same seven criteria over the whole sphere. Every margin is four to three, the narrowest a majority of seven can be, and the criteria that decide each edge are different ones. There is no way to place these three in an order that agrees with all three comparisons, and the obstruction is not a measurement error: every number is exact to the precision the sampler reaches.

The ranking is not an order

The previous rung showed that a weighting can make almost any projection best. 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 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

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

Whether the ellipses point the same way

The previous rung found that alignment decides whether the average of a region's deformations is above or below the deformation of its average, and stated it at ten projections over one region. Swept over a hundred and eight pairs, the answer is that alignment belongs to the projection 28 per cent, to the region 38, and to neither 33 — and two rows of the table turn out not to be measurements at all.

distortion · Tissot

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

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

Named alongside it

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

PurposeToleranceVerificationOptimisationClosed formKavrayskiy's criterionEstimatorMercatorBoundaryObjective functionRankingScale factor

All concepts