Concept

Error propagation — where it appears

Carrying the uncertainty on a measured quantity through into whatever is computed from it. It does not always reach the answer: a wall located by which swept rises bracket a crossing has ends that are sweep positions, so halving the error bar behind it left the wall's own uncertainty where it was.

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

Two diameters half a volution apart on a 3.2 spiral, aimed through the true centre. A logarithmic spiral growing by 3.2 a turn, its aperture 3.5 turns along. A line from the aperture through the true centre meets the outer wall half a volution back and a volution back. The conch diameter dm1 is 1.559017 of the outer radius, the diameter half a volution back, dm2, is 0.871517, and the apertural height between them 0.687500. Squared, dm1/dm2 is 3.200000 against the spiral's own 3.2, exact: both lengths are distances between wall points on one line, so the centre only aims it.

Three points on a diameter

Ammonoid workers measure a shell's expansion without a centre: two diameters half a volution apart, squared. On a logarithmic spiral that is exact, and the centre is needed only to aim the line. A quarter-radius aim error costs the fit 1.341 per cent and the diameters 0.0045, because the aim error enters as its square. Reading noise is another matter: at a thousandth of the outer radius the fit's four hundred points beat the calipers' three readings at every expansion up to the nautilus's, and which instrument is better depends on which error the section actually has.

shells · Spiral fit
A shell expanding by 3.2 a turn, divided by 13 septa to a whorl. A shell expanding by 3.2 a turn at axis distance 0.1, seen down its coiling axis, with 13 septa to a whorl, 27.7° apart; the last whorl's chambers are shaded. Each chamber is the one before it turned and scaled about the apex by 3.2^(1/13), so a length grows by ×1.0936 from one chamber to the next, an area by ×1.1960 and a volume by ×1.307896. Integrated over the tube's own rings, successive chamber volumes grow by 1.307896 to 1.307896, and a chamber and the one a whorl out differ by 32.7680, which is 3.2³ = 32.7680.

What the septa count

A nautilus's chambers are each a scaled copy of the last, and an earlier essay gave their ratio as about 1.3 — what a growth factor of 3.2 gives over a third of a turn. It does not: a third of a turn at 3.2 is 1.474 in length. A ratio of 1.3 is 4.43 septa a whorl as a length, 8.87 as an area and 13.30 as a volume, so the dimension decides the count threefold. And the count is an exponent in any reading of the growth factor taken from one chamber to the next: one septum miscounted at thirteen moves it by 9.14 per cent. A chamber and the one a whorl out give W³ with no count at all.

shells · Nautilus
Every way a growth factor read off a section can be wrong, against the gap it has to clear. Each bar is a worst case computed by the library that measured it. dividers 278.2%, span 22.4%, septum 9.14%, ontogeny 8.99%, centre 6.88%, clock 4.06%, oblique 2.95%. The line is the gap the golden claim asks the measurement to resolve: 6.854 against 3.2 is 114.2 per cent. Added without cancellation the 7 sources come to 332.6%, which is outside that gap — so the claim is NOT refused by a section read carelessly.

The error budget for a nautilus

Every way a growth factor read off a shell section can be wrong has been priced here, one essay at a time. Added up they come to 332.6 per cent in the worst case and 279.6 in quadrature, against a golden-spiral claim that is 114.2 per cent away — so the budget does not refuse the claim at all. One entry decides it: the dividers, at 278.2 per cent on their own, and the dividers are the historical method and the only route measured that pushes a nautilus towards a golden spiral. Set them aside and the budget falls to 54.4 per cent and the claim is refused twice over. What the same budget cannot settle is anything smaller than half: 3.2 against 3.4 is inside it, and stays inside it until six of the seven sources are controlled.

shells · Nautilus
The band of shells a measured growth factor cannot place. The boundary D = 1/W is exact — located by bisection to the last bit a double holds. A specimen is not: its growth factor arrives with an error, and carrying that error onto the line turns it into a band, running from 1/(W(1+b)) to 1/(W(1−b)). At an expansion of 3.2 and an error of 54.4% the band runs from 0.2024 to 0.6853 around an exact 0.3125. A shell inside it has whorls that a measurement cannot say are in contact or free.

The band nobody can be placed in

The boundary between shells whose whorls run into one another and shells whose whorls run free was located here to the last bit a double holds. A specimen is not a point on that line, it is a measurement with an error, and carrying the whole measured error budget onto the boundary turns the line into a band running from 1/(W(1+b)) to 1/(W(1−b)). At the budget with the dividers set aside that band covers 48.2 per cent of the box the morphospace figure here is drawn on, and its share runs from 6.7 to 59.5 per cent across the six boxes in use — the same box-dependence the contact region itself showed. The angle criterion carries the same error better above an expansion of 1 + √2 and worse below it, exactly.

shells · Morphospace
The distance from the axis is one ratio on one ray, read from a centre displaced by 0.25 of a whorl. A section at W = 2.40 and D = 0.42, with four rays cast from a centre displaced 0.25 of the read whorl's outer radius to the right. Along each ray the reading is the inner wall's distance over the outer wall's — from the true centre that ratio is 0.42 at every azimuth, to the last bit a double holds. From the displaced centre the same four rays give 0.227, 0.351, 0.582, 0.347: the ray pointing at the displacement reads low and the ray opposite reads high, because subtracting the same length from both distances moves their ratio toward one. The spread is 0.227 to 0.582 on a shell whose distance from the axis is 0.42.

What the axis distance costs

Raup's contact boundary is a relation between two numbers and only one of them has ever been priced here. The second was expected to be the cheaper — a length against another length. It is not: an assumed centre costs it 79.3 per cent where the same centre costs the expansion 6.88, because a ratio of two distances is first order in the centre and a fitted rate is second. But a tilted camera costs it nothing at all, exactly, and averaging the reading round one whorl is free and worth a factor of 4.91. The two numbers fail at opposite ends, and they cross at 1.12 turns of arc.

shells · Raup
The band the boundary's two numbers make together. The undecidable band at an expansion error of 54.4%, drawn twice: carrying that error alone, and carrying it with the 16.1% the distance from the axis costs at the same assumed centre. At an expansion of 3.2 the one-error band runs 0.2024 to 0.6853 and the two-error band 0.1743 to 0.8172, around an exact 0.3125 — wider by a factor of 1.33. The wider band is not a worse measurement; it is the same measurement with the half of it that was missing put back.

A floor no better fit can lift

The band of shells nobody can place was built from one of the two numbers the contact boundary relates, and the other has now been priced. Carried together they widen the band by a third and take 48.2 per cent of the morphospace box to 59.7. The number that matters is further down: with the whorl expansion measured perfectly, 12.6 per cent of the box is still undecidable, and at an expansion controlled to a hundredth 94 per cent of what remains belongs to the second number. And the two errors are not independent — they come out of one guessed centre, which traces a curve across the boundary rather than a rectangle around it.

shells · Morphospace
The nautilus error budget with its three span-dependent entries priced at one span, against the gap the golden claim asks it to clear. The budget with the dividers set aside, but with its centre, span and oblique entries replaced by the worst joint error of a quarter-radius centre offset and a ten-degree tilt at one span of arc. 0.5 of a turn: 210.4%; 0.75 of a turn: 111.5%; one turn: 61.0%; 1.5 turns: 31.9%; 2 turns: 29.3%; 3 turns: 25.1%. The upper level line is the gap, 114.2%; the lower is the budget as it was priced, 54.4%, with its three coupled entries at 32.2% together. The budget clears the gap from 0.75 of a turn and not below it.

Three entries and one span

The error budget for a nautilus added seven ways a growth factor read off a section can be wrong, and asked whether they were independent. Three of them are not: the displaced centre, the span of arc and the oblique view are one error priced three ways, at two turns, over a turn and more, and at half a turn — 32.2 per cent together. A section has one span. Read together at one span, a quarter-radius centre and a ten-degree tilt come to 7.1 per cent at two turns and 188 at half a turn, and in their worst orientation they always add to more than their sum. So the budget refuses the golden spiral from three quarters of a turn of shell upward, and below that it cannot.

shells · Nautilus
A pair of dividers opened to 1 of the innermost radius, walked along two and a half turns and along four. A nautilus spiral growing 3.2 times a turn, stepped at a fixed opening of 1 of its innermost radius from the inner end outward. Over 2.5 turns the walk takes 17 steps against a floor of 22 and reads the factor +18.2% too high; Over 4 turns the walk takes 104 steps against a floor of 132 and reads the factor +4.2% too high. The opening at which every span reads exactly is the square root of 3.2 less one, 0.789 of the innermost radius: under it the first step never carries the angle past half a turn, whatever the span.

The dividers belong to the opening

The nautilus error budget's largest entry, dividers walked along the shell at 278 per cent, was set aside as the historical method. Priced at one span it turns out not to belong to the span at all. A person sets a pair of dividers to an opening and walks until the curve runs out, so the step count grows with the arc exactly as fast as the floor on it does: opened to less than the square root of the growth factor less one — 0.789 of the innermost radius for a nautilus — they read the factor exactly over every span from half a turn to six, and opened wider they read it too high over every span, least over the longest. The 278 per cent was nine steps along five turns, an opening of 37 innermost radii. With the dividers opened to anything up to five radii, the whole budget refuses the golden spiral from three quarters of a turn upward.

shells · Nautilus
A pair of dividers opened to 1/50 of a shell's outer radius, walked over the outer 3 of its six turns. A nautilus spiral of six turns growing 3.2 times a turn. The section is taken to preserve only its outer 3 turns; the lost inner whorls are drawn faint. Dividers opened to 1/50 of the outer radius walk from the innermost preserved whorl to the rim in 48 steps; the right panel magnifies the first steps and the whorls inside them. In radii of the whorl the walk starts on the opening is 0.66, against the safe 0.789, so the walk reads the factor exactly. A walk at this opening is exact over any span shorter than 3.16 turns.

The rim sets the opening

A pair of dividers reads a nautilus's growth factor exactly when its opening is under 0.789 of the radius of the whorl it starts on — a quarter of a millimetre at the true centre of a real shell, which no hand can set. A real section starts where its whorls can be read, and a person sets the dividers against the shell in front of them. Measured that way, the rule becomes a span: dividers opened to a share f of the outer radius are exact over the last log((√k − 1)/f)/log k turns of any shell — 3.76 turns at a hundredth, 3.16 at a fiftieth — and the change-over falls exactly there at every opening tried. Held against the rim, their error grows with the span rather than falling, so a section with its centre broken away is read more exactly, not less; and the whole budget still refuses the golden spiral at every span from three quarters of a turn to six for any opening up to a fiftieth.

shells · Nautilus
A drawn section read back for its expansion and its distance from the axis, the centre found from the drawing itself. Both walls of a planispiral shell at W = 2.4 and D = 0.42 over 1.5 turns, every drawn point moved by noise of 0.003 of the rim radius. Told only the points and which wall each lies on, and started from a centre guessed a quarter of the innermost radius off, the fit finds a centre 0.0076 innermost radii from the true one — the inset magnifies the three — and reads W = 2.4016 and D = 0.4199: out by 0.067% and -0.020%. The lines are the walls redrawn from those numbers. Read at the guess itself, without letting the centre move, the same drawing gives W = 2.550 and D = 0.4117.

The outline finds its own centre

A worker with a sawn shell has an outline and nothing else: the centre, the expansion W and the distance from the axis D all have to come off it at once, and three numbers fitted to one outline can trade against each other. Fitted together, they do not trade where it matters. Started from a centre guessed a quarter of the innermost radius off, the drawing locates its own centre to about a thousandth of that radius, and over a turn of section drawn to a thousandth of the rim it returns W to 0.12 per cent and D to 0.045 — where reading the same drawing at the guessed centre gives 16.8 and 0.98. W's error rides the centre's; D's does not, and W and D do not trade against each other at all. The trade the round trip was set to watch for appears only where the model is wrong: a view five degrees off the section's plane moves W by three times its own noise error while the fit's residual stays within the noise, because the free centre moves to absorb the squash.

shells · Raup
One cut along a shell's axis read back for all three of Raup's numbers, the axis found from the cut itself. The seven whorl sections a high spire at W = 2, D = 0.2 and T = 2 shows over three turns on a plane through its axis, alternately right and left of it, each drawn at 48 points moved by noise of 0.003 of the rim. Told only the points and which section each lies on, and started from an axis laid a quarter of the innermost radius off and two degrees out, the fit finds the axis 0.0055 innermost radii and 0.0053 degrees from the true one — the inset magnifies the axis at the apex — and reads W = 2.0000, D = 0.2004 and T = 1.9994: out by 0.002%, 0.205% and -0.029%. The circles are redrawn from those numbers. Held at the laid axis, the same cut reads T = 2.084 and D = 0.1746.

The cut along the axis

A median section cannot see how far a shell travels along its axis, so the third of Raup's numbers seemed to need a second cut. It does not need the first. One cut through the axis shows every whorl twice a turn as a whole circle, and fitted with the axis free it returns W, D and T together — to 0.023, 0.085 and 0.031 per cent on a high spire drawn to a thousandth of its rim, from an axis laid a quarter of a radius off and two degrees out. On the shell the median section was read on, it reads the expansion twice as well over a turn and the distance from the axis as well. Laid by eye and left there, the axis costs T four per cent and a high spire's D thirteen, and the residual says so. What it does not always say is that the saw missed the axis: on a low spire a cut a fifth of the innermost radius off moves W by two and a half times its own noise error with the residual at the noise.

shells · Raup
A cut along the axis of a shell whose opening is an ellipse, read with circles and with ellipses. The seven sections a high spire at W = 2, D = 0.2 and T = 2 shows over three turns on a plane through its axis, its opening an ellipse 1.25 times as tall as it is wide and turned 20° against the axis, each drawn at 48 points moved by noise of 0.003 of the rim. Read with Raup's circles, the cut gives W = 1.9995, D = 0.1413 and T = 1.9032, with the points missing their circles by 6.4 times the noise. Read with ellipses, fitted with the rest, W = 1.9994, D = 0.2003, T = 2.0024, the aspect 1.2524 and the turn 19.65°, missing by 0.93 times the noise. The dashed circles and solid ellipses are redrawn from each reading.

An opening that is not round

One cut through a shell's axis returns Raup's three numbers to a few hundredths of a per cent when every section is a circle. A snail's opening is closer to an ellipse. Read with circles, a cut of a shell whose opening is a quarter taller than it is wide gives W exactly and puts the whole misfit into the other two: D comes back 29 per cent low and T 4.9 per cent low, by a first-order form in which the circle takes the ellipse's mean half-axis. A nearly round opening is the dangerous one — an aspect of 0.99 moves D by fourteen of its own noise errors while the points miss their circles by only a quarter more than the noise. Fitted with ellipses, the cut reads all five shape numbers with W, D and T nearly as precise as before, and the opening's height does not trade against the spire's translation.

shells · Raup
Nine hundred shells whose whorls run free, read from a centre guessed to within 0.1 of the innermost radius. A population uniform in the logarithm of the expansion and in the distance from the axis, every shell's whorls running free, each read once by fitting its section from a centre displaced in a direction of its own. 20 of these 900 are read on the wrong side of the contact line, where a shell that was seen to run free cannot be, and 2.9% of all twenty thousand.

A displaced census leaves a hole, not a pile

A mislocated centre moves a shell's place in Raup's space rather than blurring it, and the prediction was that a whole census would be compressed against the contact line, in a pile that could pass for shells preferring the line. Twenty thousand shells read from guessed centres say otherwise. Nothing piles up. The density beside the line falls, by about a sixth in the nearest bin, because a shell near the line is as likely to be carried over it as along it. And that gives a census a test that needs no outside knowledge: a section seen to run free cannot be read below the line, and 2.9 per cent are, at a tenth of a radius of error. Seventy-nine specimens are enough for one to show up.

shells · Morphospace
The tilt a search names on a section that has none, against the length of the error along its outline. An error of 2 per cent. 0.5 turns: 4.2 degrees at 0, 13.4 degrees at 0.02, 15.2 degrees at 0.05, 12.2 degrees at 0.1, 6.5 degrees at 0.25, 3.7 degrees at 0.5, 2.1 degrees at 1. 1 turn: 3.9 degrees at 0, 10.8 degrees at 0.02, 12.0 degrees at 0.05, 12.5 degrees at 0.1, 6.3 degrees at 0.25, 3.5 degrees at 0.5, 1.5 degrees at 1. 2 turns: 3.6 degrees at 0, 8.4 degrees at 0.02, 10.7 degrees at 0.05, 9.2 degrees at 0.1, 5.1 degrees at 0.25, 4.0 degrees at 0.5, 2.2 degrees at 1. The largest tilts come from a drift of a twentieth to a tenth of a turn, not from half a turn.

A hand that drifts takes back what the fit won

A tilt can be undone by searching for the view that makes a traced spiral straightest, and with an error independent from point to point the corrected fit beats the calipers twentyfold. A pen does not err that way. It wanders out for a few degrees and comes back. Give the same tracing error a length along the outline and the corrected fit's advantage is gone on one turn by a twentieth of a turn of drift, with the band as wide as the calipers', and on two turns falls from twenty-five times to about twice. The tilts it invents on a section with none peak at a twentieth to a tenth of a turn, not at the half-turn that looks like a tilt. The residual test still separates drift from a real tilt, on a turn or more.

shells · Spiral fit
Every bracket on the wall at a half, before the refinement and after. One pair of bars per falloff exponent: above, the rises consistent with that exponent's crossing on forty starting angles and the 5 published rises; below, the same on eighty angles and 9 rises. Two of the four have an open end before — at a half that is the coarse end, where no published rise has a share confidently above the level — and none is open after, the widest closing at 1.57 times. The four walls sit inside a factor of 1.111 of one another, against 1.624 on the reading that could not locate them, so they came closer together rather than further apart.

Four walls closer than they looked

Two of the four falloff exponents had a wall with no upper end at all, and the other two were located to factors of two and a half and nearly four. Nine rises at eighty starting angles close every bracket — and the four walls turn out to sit inside a factor of 1.111 of one another, which is narrower than the narrowest bracket.

mechanism · Falloff exponent
The bracket at each of the four corners of the refinement, at a half. The geometric mean bracket at each corner, and under it how much of the joint narrowing each half of the refinement accounts for. It is taken over the two exponents whose bracket is closed at every corner, with the two halves of the refinement crossed against each other. The rule across the bars is 1.54, the narrowest bracket the published rise list can express at all. On forty starting angles and the published rises it is 3.06 times with two of the four brackets closed; doubling the angles alone gives 1.96, halving the rise spacing alone gives 1.46, and both together give 1.44. In the logarithm, where the two effects add, the rises account for 98.8 per cent of the joint narrowing and the angles for 59.3 per cent — summing to 158.1 per cent, which is what overlapping causes look like and not two independent factors of two.

Two refinements that do not multiply

The design that located the wall did two things at once — doubled the starting angles and halved the rise spacing — and the arithmetic behind it assumed each would buy about a factor of two. The finer rises did ninety-nine per cent of the narrowing and the doubled angles added under one, because a bracket's ends are rises and no error bar can move them.

mechanism · Falloff exponent

Named alongside it

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

Honest limitsMeasurement errorClaim testingModel scopeWhorlGrowth factorIdentifiabilityMorphospaceParameter spaceGolden spiralInvoluteLogarithmic spiral

All concepts