Concept

Census design — where it appears

The choices that fix which lattices a sweep visits and at which offsets, made before any result is in. Here the ten lattices were chosen so that the same counted pair appears at more than one rise, which is what makes a decisive negative available rather than a summary of one run.

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

All 19 destinations, counted at 17 windows from 20 to 800 organs. One row per destination, one cell per counting window, coarsest on the left. A dark cell is a window returning the same pair as the standing 200; a warm cell is a window returning a different one; a pale cell is a window that reaches below the run's own settling organ and was dropped. 5 of the 19 rows differ anywhere, and every difference sits left of the floor its own pair sets — 20 organs for a pair under 14 parastichies and the larger count plus 6 above it. The census read at 25 organs and at 800 is the same census.

The window nobody varied

Every parastichy pair reported for the settling table was counted over the top two hundred organs of a run, and that number had never been moved. Moved seventeen ways across a factor of forty, on all three hundred and eighty-four settled runs, it changes nothing at all.

lattices · Read window
The five readings of 384 whose two counted families wind the same way. Each row is an additive sequence with the term the counter stepped over drawn open between the two it returned. 4/9 is 1, 4, 5, 9, 14 with 5 skipped, and the pair a crossing requirement would have returned is 4/5 — a sequence the same destination's other runs already sit on. Dropping these readings takes the census at 40 starting angles from 31 arrangements and 15 sequences to 28 and 12, on 5 of 384 runs.

A sequence that was a reading

One of the settling table's additive sequences rested on a single count that skipped a term, and the account of it was that the count had been taken over the wrong patch. It was not. The counter works out whether its two families wind opposite ways and the reading throws the answer away, on five runs in three hundred and eighty-four.

lattices · Read window
The 13 cuts the exchange sets aside, chain by chain. One row per wrecked cut with no balanced pair, one cell per chain of the lag it kept, and the chains displaced away from the common level filled. The lag is printed at the left and the sum of the displacements at the right, folded into half a turn either way. seven of the 13 sum to within 12 degrees of nothing and six do not, and every row that closes kept a lag of 7 or 8 while every row that does not kept 4 or 5. The rows are stacked by that lag.

The rows nobody added up

Seventeen of the census's thirty wrecked cuts come back as one balanced pair of displaced chains, and every claim about the exchange is quantified over those seventeen. The other thirteen were set aside as having three or more exceptions and never looked at again. They are one addition each.

mechanism · Damage shape
No majority and no balanced pair, over the whole census. One row per wrecked cut. The bar is the share of that row's residue classes sitting at the level they agree on, and the vertical rule is a half — a bar reaching past it has a majority and a median is safe there. The mark at the right says whether the exchange keeps that row. 15 rows are on both lists of 16 and 16, and the two part on g008/6, which is excluded and has a majority of 5 of 8, and l013/4, whose lag is 4 so that a balanced pair leaves two classes each way and a majority is arithmetically unavailable.

No majority and no pair

Whether a wrecked stem's chains agree on a level and whether its exceptions form a balanced pair are computed from different things. Sixteen rows have neither, sixteen have neither, and fifteen rows are in both — and the two they part on are the two most interesting rows in the census.

mechanism · Damage shape
Twenty rises at the fine end of both branches, cut at every offset. One row per rise searched, coarse at the top of each block. The bar names the counted pair the stem shows and the numbers on the right are the lags its wrecking cuts leave standing. A pale row is a rise whose settled divergence has left the branch it was started from by more than 20 degrees, which is what happens below the ladder's finest rung — the pairs there are 2 and 4, 8 and 16, 11 and 22, which are not two consecutive terms of any additive sequence. One rise on the Lucas branch keeps a lag of 11 while still on it.

One rise below the census

Ten lattices were cut at every offset and their surviving lags came back as four numbers. One rise further down a rung the census already sweeps, three cuts keep a lag of eleven — which is a fifth number, on a lattice nothing about was unusual except that nobody had cut it.

cylinder · Ablation
Which offsets wreck across the Lucas 7/11 band. One row per offset and one column per rise, with a mark where a single removal at that offset wrecks the stem. The set is not the same at every rise: on this band one offset wrecks at only 27 of its 124 rises, in several separate stretches, while others wreck at all of them. So a census taken at one rise of a band and a census taken at another are censuses of different sizes, and every claim of the form "at every offset that wrecks" is quantified over a set the rise decides.

The wrecking set moves again

Which offsets wreck a stem was assumed to be a property of the lattice. On one band it turned out to be a property of the lattice and the rise, changing on nearly a fifth of that band's steps. On the second band it changes more, and one offset's wrecking is broken into five separate stretches.

cylinder · Rung interior
All three bands cut at every rise, offset by offset. One row per wrecking offset on each band cut whole, one cell per rise, coarse on the left. A pale cell is a rise at which that offset's cut recovers and has no survivor; a dark cell is a cut that wrecks and keeps one of the band's own counted pair; a warm cell is a cut that keeps a family off the pair. The vertical rule on each row is that band's handover, where its two contact steps change places. The golden 8/13 band changes the family it keeps 19 times, the golden 5/8 twice and the Lucas 7/11 not at all.

The third band, cut whole

Two bands cut at every rise disagreed about whether the family a cut keeps ever changes, and three explanations were available for a difference between two things. The cheapest third band settles which of them survives, and it settles it against the account nobody was betting on.

cylinder · Rung interior
Four accounts of which bands speckle, scored on the three cut whole. Each candidate explanation of why one band's cuts change the family they keep and another's do not, against what the three bands cut whole actually do. A tick is an account that puts that band on the side the sweep does. The branch the band sits on is right on all three; the size of the counted pair, the number of wrecking offsets and how much of its rung the band spans are each wrong on two. Three bands can eliminate and cannot confirm, and this eliminates three of the four.

The branch is what is left

Four accounts of why one band's cuts change what they keep and another's do not were written down before a third band was cut. Three of them are now wrong on a band each, and the survivor is the one with no mechanism behind it.

cylinder · Rung interior
What nine rises find on each band, against what the whole band holds. The coarse design cuts nine rises of a band, evenly spaced in the logarithm of the rise, and asks whether the family a cut keeps changes anywhere. On the golden 8/13 it finds five of nineteen changes and on the Lucas 7/11 it finds none of none, so it had never been wrong about whether anything changes. On the golden 5/8 there are two changes and it finds neither, both of them at single rises with the offset recovering on either side. Its record on that question is now 2 of 3.

Nine rises were not enough

A coarse sample of a band had never been wrong about whether anything changes inside it, and that record was the argument for trusting a negative from it. The third band cut whole makes it two of three, and the missed feature is one rise wide.

cylinder · Rung interior
The Lucas 7/11 rung between 0.007 and 0.006, cut at every rise. One row per offset, one column per rise of the search, coarse on the left. A pale cell is a rise at which that offset's cut recovers; a dark cell is a cut that wrecks and keeps a lag of 7; a warm cell is one that keeps 11. The nine intermediate rises of the ten-thousandth grid were cut first and the nine of the hundred-thousandth grid inside the one bracket they opened. The change sits between 0.0064 and 0.00639, one step of the grid the ladder names its rises on, and above it no cut keeps 11 anywhere.

One step of the grid, again

A search of the fine end stepped from one rise to another a hundred grid steps away, and the family a cut keeps changed somewhere between. Cutting the rises in between puts the change inside one step, with the lattice identical on both sides.

cylinder · Ablation
What each offset keeps, above and below 0.00639. Every offset that wrecks anywhere in the search, with the family it keeps above the transition and below it. Offsets 5, 6, 7, 9 keep the same family at every rise they wreck at, on both sides. What changes at 0.00639 is that offset 9 begins to wreck at all, and what it keeps is the larger of the counted pair. One offset does change its own answer, and it cannot be located, because it does not wreck at the rises in between.

An offset that arrives

The rise where a lattice first keeps a new family is located to one step of the grid, and what happens there is not what the question assumed. No cut changes its mind: a cut that was not wrecking starts, and what it keeps is the new family.

cylinder · Ablation
Where every wrecked run finishes, rung by rung. One row per rung of the ladder, one mark per cut cell of the slot design, placed at the divergence that run ended on. The open mark on each row is the divergence the intact stem of that rung settles to. On the Lucas 1/3 and golden 2/3 rungs every wrecked run finishes at the same value; on the golden 5/8 they finish at 13 values spanning 215 degrees. 27 cells recover, and each of those finishes at its own settled divergence to within 0.03 degrees.

The column nobody read

Every cell of the slot design carries where its run finished as well as how far its first organ moved. One rung's worth had been plotted and called unusable. Reading all eight says the endpoint is exact on two rungs, wanders on six, and is worst on the one it was read on.

cylinder · Both walls
The two bands that answer nothing, 586 stems and no wreck anywhere. The g35 and L34 bands cut at every rise, with one row per offset tried and one cell per rise, coarse on the left. A pale cell is a cut whose stem recovers and a mid cell is one that neither recovers nor leaves an orbit to count; the warm tone means a cut that wrecks, and it appears on the reference row below, which is offset 4 of the Lucas 4/7 wrecking at 83 of its 86 rises. g35 grew 490 stems across 70 rises at seven offsets and L34 grew 96 stems across 16 rises at six offsets, and wrecked none of them, so this is a zero that was measured rather than a band nobody cut. The dashed rule on each block is that band's own handover, where its two contact steps change places.

Two bands that wreck nothing

The census that reads a band refuses two of the six, and the refusal is correct: a band with no wrecked cut has no surviving family, so it has no answer to change. Cutting them anyway turns a refusal into a measurement, and the measurement has a third tone in it that the census cannot see.

cylinder · Rung interior
Four accounts scored on the four bands of six that can score them. One column per band of the ladder and one row per candidate account of why a band's wrecking cuts change the family they leave standing. Each cell is what that account predicts of that band, in plain type where the band agrees with it and pale where it does not, and the header of each column is what the band actually does. The two bands with no wrecked cut are shown silent, because a band with no surviving family has no answer to change; over the four that can answer, the branch the band sits on is right 4 times of 4 and the other three are wrong twice each. A warm block marks each cell where the account and the band disagree.

Six bands, one table

Every rung of this ladder that carries a handover now has a band grown on it and cut at every rise it holds, and four accounts of which bands change their answer are scored on all six at once. The survivor is right on every band that can test it, and the same table read one cell differently kills it.

cylinder · Rung interior
What nine rises find on six bands, against what those bands hold. The coarse design cuts nine rises of a band, evenly spaced in the logarithm of the rise, plus both ends and the handover, and asks whether the family a cut keeps changes anywhere on it. Scored on six bands it is right about whether on five and wrong on the 5/8, where it finds none of 2. On the one band where it finds anything it finds 5 changes of 19, so its record is a record about whether and never about how many. The figure under each band's name is that design's step on it, in rises.

The coarse design scored

Every claim this thread has made about an uncut band rests on a sample of nine rises, and its record was the argument for trusting it. Six whole bands close that record, and two of its six correct verdicts are correct only because there was nothing on those bands to find.

cylinder · Rung interior
How broken the wrecking is on four bands, from 2.43 rises a stretch to 126. Every offset that wrecks on every band that wrecks, placed on a logarithmic axis of rises wrecked per separate stretch — the smaller the number, the more broken the wrecking. A filled mark is an offset that wrecks at every rise of its band and an open one comes and goes. The range runs from 2.43 on g58 offset 3 to 126 on g813, a factor of 52, and two of the four bands have no offset that wrecks everywhere at all. A band with no offset that wrecks at every rise is said so at the right.

A wrecking set with a range

Which offsets wreck a stem was taken to be a property of the lattice, and every band cut whole has found it to be a property of the rise instead. Six bands turn that replication into a measured range, and the range is a factor of fifty-one.

cylinder · Rung interior
Six handovers relocated, in steps of the sweep that recorded them. The ladder finds a handover by stepping at a ratio of one per cent, which never lands on the grid the rises are named on, so a recorded handover is the nearest rise the sweep visited to a crossing nobody had located. This is the difference, in units of the sweep's own step at that rise: 0.082 to 0.835, mean 0.374. All six are positive and all six are inside a single step of the sweep, and both of those are predictions rather than summaries: the ladder reports the first rise it visits at which the ordering has already changed, so the rise it records must sit on the fine side of a crossing and within one of its own steps. The dashed rule is one step of the sweep, which is the bound the sampling predicts.

The handovers corrected

Six recorded handovers, relocated to the grid against where a one-per-cent sweep put them: all six sit on the fine side of a crossing and all six inside a single sweep step. Nothing about the rung explains the size of the discrepancy, which is what a sampling artefact is supposed to look like.

cylinder · Handover grid

Named alongside it

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

Claim testingHonest limitsContact familyAblationNegative resultHandoverResolutionRungReplicationSamplingMeasurementParastichy pair

All concepts