Concept

Refinement — where it appears

Recomputing an answer on a finer grid or with a shorter step, to see whether it moves. It is how a numerical result is turned into evidence: a quantity that settles under refinement is about the object and one that does not is about the method.

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

The convergence order across an edge, against the edge's own orientation. Each curve is one kernel, fitted the same way as every other convergence order on this site: the root-mean-square error against the grid spacing, in logs, over five refinements. At 27° they read 0.78, 0.58, 0.60, which is the measurement already published here — and 27° is one point. Turn the edge onto a parallel and the curves collapse, and the nearest-neighbour one goes negative, which is the fit's way of saying the error is not falling at all. A single number for "the order across an edge" is a number about the edge that was measured.

One edge is not an edge

The three resampling kernels were measured across a discontinuity and came out at 0.78, 0.58 and 0.60 — one straight edge at 27° to the graticule. Across thirteen edges the same kernels span 0.19 to 0.87, the ranking between them reverses, and for an edge lying along a parallel the error does not fall with refinement at all.

applied · Dataset
Give the edge a width and the kernels get their orders back. Every edge this collection has resampled across has been exactly discontinuous, which is not what a sensor produces: a footprint, an atmosphere and a lens all smooth a boundary over a cell or two before anything is resampled. Convolving the edge with a Gaussian of stated width and refitting gives 1.23, 1.97 and 3.60 at one degree of blur, against 0.78, 0.58 and 0.60 with no blur at all. The blur is held fixed in degrees while the grid refines, which is what happens to a real sensor's data as its resolution improves.

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
Seven cuts of the same size, in different places on one body. The body's own colatitude and longitude, with the seven windows drawn on it. Each covers the same surface area to 0.24 per cent — the longitude extent is divided by sin θ and a scale is then solved per window — so their sizes are held and only their positions differ. Each is shaded by the areal spread of the conformal map solved on it, listed beside the grid and running from 1.03 to 1.36. The darker windows are the worse ones, and they are the ones over the body's lobes.

Cuts of the same size in different places

Where a body is cut decides how well it can be mapped, by a factor of ten — established with five windows of five different sizes, so *where* and *how much* were confounded and the factor could have been entirely about extent. Held to the same surface area to a quarter of a per cent, the answer survives at a factor of 1.32, and what predicts it is the curvature the window encloses.

datums · Bodies
The doubling ladder is the one sequence that cannot see it. The largest departure of a small circle from its own indicatrix that a grid of n latitudes over 10° to 70° north finds on the Robinson projection. The filled marks are 4, 8, 16, 32, 64 and 128 — the doubling ladder every convergence study runs — and they rise smoothly to about 4.66e-4 with the increments halving, which is what a convergent first-order sequence looks like. The open marks are grids whose samples land on the projection's five-degree table entries. They report 1.28e-2, twenty-seven times higher, and whether a grid does that is decided by whether n is a multiple of four.

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.

distortion · Sampling
Which of this collection's numbers are the sampler's. How much each of two published quantities moves when the sampler behind it goes from twenty samples a side to sixty, for eight projections over the whole sphere. The Kavrayskiy numbers — the summary means the rankings are built from — move by at most 1.15 per cent. The worst-point angular deformations move by up to 19.0 per cent, all in the same direction, because they are maxima over a sample and a maximum over a sample is a lower bound. The split is clean, and it says which numbers here need refining and which do not.

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.

Convergence orderAliasingAreal factorConvergenceDiscontinuityEstimatorInterpolation kernelOrientationRasterResamplingSamplingSampling lattice

All concepts