Concept

Search — where it appears

A systematic exploration of a parameter space for the value minimising a stated objective. Whether one has succeeded is a question about the objective's landscape, and seeding from the grid's own lowest points is what makes a lumpy one tractable.

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

Where the projection's pole should go, and the answer the third rotation moves it to. Every dot is a pole position the search tried, sized by the best score it can reach there when the third rotation is also free — the score is the distortion of Robinson over Europe by Kavrayskiy's criterion, so smaller is better and the large green dots are the good regions. The circled mark is the two-parameter optimum and the square is the three-parameter one: they are 74 pixels apart on this map, which is a different aspect rather than a refinement of the same one. The search costs 8 times the evaluations of the two-parameter one. Drawn in Mollweide.

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.

choosing · Choosing
One slice of the aspect objective, at the best γ. The Kavrayskiy score for Robinson over Japan, as the pole is moved over the whole sphere with the third rotation held at the value the search settled on. Dark is good. The marks are local minima of the full three-dimensional grid that happen to lie in this slice: there are 6 of them here and 58 in the cube, and a search that walks downhill from a random start reaches the best of them 7 per cent of the time.

The landscape the search walks on

The three-parameter aspect search was run and its answer recorded with a note admitting nothing proved it global. Mapping the objective finds 26 to 34 local minima for every projection and region tried, a downhill walk from a random start reaching the best of them 6 to 35 per cent of the time — and one seed from the coarse grid the search already uses reaching it in all four cases. The score is reproducible to two per cent across a sevenfold refinement; the pole it names moves 60 degrees.

choosing · Choosing
The parameters are not reproducible and the map is. The three-parameter aspect search run at three grid resolutions and compared with the finest, twice over. Compared on the numbers it returns, the answers are 65° of pole apart. Compared on what they do to the region — the root-mean-square difference in angular deformation at every sample — they are 0.29° apart, against a map whose own deformation over that region averages about a degree. The disagreement recorded as a shortfall is a disagreement about coordinates for one map.

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.

choosing · Choosing
Two unfoldings of the same 80-face solid. Both are edge unfoldings of the same solid along different spanning trees of its face graph, so both preserve every distance on the surface exactly. The left one is a net. The right one is not: 3 pairs of its faces occupy the same ground, so it cannot be cut out of paper and folded up. Nothing in the unfolding procedure prevents this, and past the regular solids most trees produce it.

A net can land on top of itself

Every one of the cube's 384 unfoldings is a net, and every one of the icosahedron's five million is too. Past the regular solids that stops being true: at 180 faces, 99 of every 100 randomly chosen unfoldings have faces sitting on top of each other, so choosing a net stops being a choice and becomes a search — except that the net anybody would actually draw works every time.

families · Polyhedral
Every one of the cube's 384 nets, scored. All 384 spanning trees of the cube's face graph, unfolded and scored on the total separation their cuts leave: how far apart, in edge lengths, the two copies of each cut edge end up on the page. Every one of them is a valid net — no Platonic unfolding overlaps — and they range from 11.30 to 17.97, a factor of 1.59. The heuristic of unfolding outwards from a chosen face lands on the first of them, exactly.

What the net heuristic cannot find

Choosing a net by unfolding outwards from a face beats guessing, and the earlier measurement of that left its own limit unknown. Enumerated in full, the heuristic turns out to be exactly optimal on every solid small enough to check — rank one of 384 — and above that ceiling no sample can tell whether it still is, because eight hundred random nets never reach it.

families · Polyhedral
The set of aspects within a stated distance of the best, for Robinson over Japan. Each row takes every point of a 36 × 19 × 24 grid in the three aspect parameters that scores within (1 + t) of the best, joins neighbouring points, and identifies the pieces the exact degeneracy relates. At t = 3 it is one connected piece spanning 170° of pole; by t = 1 it has broken into 2 pieces; and by t = 0.3 the largest of them spans 11°. So it is not one valley and it is not one basin — it is a sheet that fractures.

The shape of the valley

An aspect search returns three numbers, two searches return triples that differ by a hemisphere, and the maps they produce agree. One cause is an exact degeneracy and the rest was called a valley and left unmeasured. Sampled densely, it is neither a valley nor a basin: a connected sheet spanning 170° of pole that splits in two at twice the best score and into thirteen pieces by 1.7 times it.

choosing · Choosing
Where Robinson's valley breaks, against how large the region is. The threshold at which the set of near-optimal aspects stops being one connected piece, for square regions of growing size at 38° north. It falls from 2.10 at 6° to 0.27 at 30°, a factor of 7.9. The earlier measurement was made at one region and quoted "about twice the optimum"; that value belongs to a small region, and the prediction that it should fall as the region grows is what this tests.

Where the valley breaks in two

A near-optimal set is one connected sheet at a loose threshold and thirteen basins at a tight one, and the transition was explained without being tested. The explanation is a prediction about region size and projection sharpness: swept over both, the threshold falls from 2.10 to 0.27 as a region grows from 6° to 30°, three projections lie on nearly one curve, and a fourth declines to join for a reason worth having.

choosing · Choosing
Charged ln N a number, the count comes out right; charged two, it takes all it is offered. Two information criteria over the same seven segmentations, each shown above its own minimum. Both add the log of the residual to a charge for every number the model spends — four for each piece's placement and one for each seam's position. BIC charges ln N, 6.6 for 720 coordinates, and is least at 2 seams, the number made. AIC charges two, and is least at 6, the most it was offered: each extra seam buys more than two units of fit because its position and its projection are both chosen by search, and a charge for the numbers alone does not pay for the search.

A residual cannot count the pieces of a map

A compiled map does not say how many sheets went into it, and trying every count and keeping the best fit cannot tell. Seven pieces always fit better than two, because they contain them. A criterion that charges ln N for each number a piece spends recovers the true count in every trial, for one copied stretch and for two, until the digitising error reaches a thousandth of the map. AIC charges two and takes every piece it is offered. And an eased copy defeats the right criterion the other way: it is not a projection, so BIC buys pieces to explain it, three seams, then four, then six.

wrong · Identify
With the drift's length known, the count comes back. A compiled coast of 360 points traced with a drifting error — each point's error mostly the last one's, over a correlation length of 18 points, three ten-thousandths of the map in size — and the number of seams BIC chooses once the error is whitened at an assumed length, eight tracings each. No copy (0 seams made): 0/8 right at none, 1/8 right at 2, 8/8 right at 6, 8/8 right at 12, 8/8 right at 18, 8/8 right at 30, 0/8 right at 60; one copy (2 seams made): 0/8 right at none, 6/8 right at 2, 8/8 right at 6, 8/8 right at 12, 8/8 right at 18, 7/8 right at 30, 0/8 right at 60; two copies (4 seams made): 1/8 right at none, 7/8 right at 2, 8/8 right at 6, 8/8 right at 12, 8/8 right at 18, 5/8 right at 30, 0/8 right at 60. Unwhitened the criterion buys pieces for the drift in every compilation; whitened at 6, 12, 18 points it counts every compilation right; assumed 3.3 times too long, it takes the most it is offered.

A second tracing tells a drifting hand from a copied stretch

A hand tracing a coast drifts rather than jitters, and a drifting error is a smooth departure no projection explains — so the criterion that counted copied stretches correctly under independent noise counts four or five seams where two were made, and three or four on a coast with no copy at all. Undo the drift before fitting and every count comes back, for no copy, one and two, in every tracing. That needs the drift's correlation length from outside the coast, known to within a factor of three on the short side and much less on the long, and a second tracing of the same coast supplies it: the difference between two tracings holds nothing but the two errors, and read that way the count is right in 22 tracings of 24, and never too high.

wrong · Identify
Given an easing to fit, the criterion counts an eased copy as one copy until the two easings run well into each other. One copied stretch, eased into place over a stated share of the coast either side of each seam, traced to a ten-thousandth of the map. Hollow: the rigid count, offered up to six seams — two for a rigid copy, then 4, 5, 6, 6, 6, 6, 6, 6 from 5.0% of easing. Filled: the count when each seam may be eased over a width the fit finds and pays for, offered up to four — two at every easing to 17.5%, then 4, 4. The dotted line is half the copy's length, 15% of the coast: past it the two easings overlap, and the copy is nowhere drawn as itself.

An easing is a seam with a width, and a drifting hand hides the width

A copy eased into a compiled coast is not a projection, so a count that explains the coast in rigid pieces buys four, five or six seams for one copy. Give each seam a width — the copy blended into the host over that width, the same linear fit at every width, the width charged as one more number — and the count is two seams at every easing up to 17.5 per cent of the coast, and the width it reports is the one drawn, wherever the copy departs from the host by many times the digitising error. Where it departs by seven, the width is a guess. On a tracing made by a drifting hand the easing disappears: whitened for the drift, the rigid count already calls two seams in every tracing, because an easing as long as the drift is a stretch of drift, and its width can no longer be read until it is twice the drift's length.

wrong · Identify

Named alongside it

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

OptimisationAspectDegrees of freedomLocal minimumObjective functionReproducibilityCompilationDegeneracyEstimatorIdentifiabilityLeast-squaresParameter search

All concepts