The lag decides whether it closes
Worth reading first: The damage has a period.
Thirteen wrecked cuts have no balanced pair and were added up one at a time. Folded, seven of them sum to within ten and a half degrees of nothing and six sit sixteen and a half to a hundred and seventy-four degrees away.
Something sorts them, and it is not what was expected.
The rule
Every row that closes kept a lag of 7 or 8. Every row that does not kept a lag of 4 or 5. Thirteen out of thirteen, on both branches, at every rise in the set.
The lag is the surviving family — the period the displacements repeat at — and it is the quantity the whole ablation thread is indexed by, so it is not an exotic thing to sort by. It is simply not the thing anybody would have reached for.
It is also read off the stem rather than assigned, which matters: a rule that sorted rows by something the design chose would be a rule about the design.
What was reached for first
Three rules, written down before the fourth and scored on the same thirteen rows. All three fail.
The number of exceptional chains is the obvious one: perhaps a row with more exceptions has more chance of cancelling. It is right on eleven of thirteen and puts the one clean three-cycle on the wrong side, since it has three exceptions and closes while a four-exception row does not.
The second and third
Whether the exceptional chains form one consecutive run round the circle. That is right on five of thirteen, which is worse than a coin.
And the branch — golden or Lucas. That is right on five of thirteen too, and it fails in both directions: each population holds rows from both branches.
Why three losers are worth reporting
Because a rule that is right thirteen times out of thirteen means nothing without the rules that are not. Scoring one candidate is a description; scoring four is a comparison, and only the second says the winner beat anything.
That is the same discipline the survivor rule and the exchange’s accounts of its own size are stated under. A file that reported only its best rule would be reporting the search rather than the finding.
The obvious objection
Thirteen rows sit on seven lattices, several of them cut at neighbouring offsets. So a rule scored over rows is being carried by fewer things than it counts, and a rule about lags could be a rule about which lattices happen to be in the census.
That objection is answerable and it is answered by one lattice.
The lattice that falls both ways
g005 — the golden branch at a rise of 0.005 — contributes three excluded rows. Cut at offset
6 it leaves a stem carrying a lag of 4, and its rearrangement is open at 173.6 degrees. Cut
at offsets 7 and 8 it leaves lags of 8, and both close, at 0.2 and 2.6 degrees.
One rise, one seed angle, one stem’s history below the hole — and the split follows which family the cut left standing rather than anything about the lattice it was cut from.
Which separates the rule from the lattice
That is the whole separation and it rests on one lattice and three cuts. It is thin and it is the right shape: a confound is broken by finding a case where the two candidate causes disagree, and here they do.
What it does not separate is the lag from the number of chains, because they are the same number. A stem that keeps a lag of four has four chains to rearrange, and there is no way to have one without the other.
What a census with a lag of eleven would say
It would separate them, and one now exists. A lattice one rise below where the census stops keeps a lag of 11 at three offsets, which is a profile with eleven chains in it.
All three of those rows are balanced pairs, so they go to the exchange table rather than to the excluded set and say nothing here. The three cuts at the same lattice that keep a lag of 7 are unpaired, and those do.
Which is an out-of-sample test
The rule says a lag of 7 closes. Three rows at a lag of 7, on a lattice the rule was not fitted on, chosen for reasons that have nothing to do with this reading.
Two of the three close and one does not. Offsets 5 and 6 close at −9.5 and −10.5 degrees; offset 7 is open at −22.6.
So the rule is a tendency
Fifteen right out of sixteen over both sets, rather than thirteen out of thirteen. That is still a strong rule and it is not a law, and the difference matters because thirteen out of thirteen is the kind of score that stops anybody testing further.
The row that breaks it is not marginal either. At 22.6 degrees it sits inside the open population — which runs from 16.9 to 173.6 degrees — rather than in the gap the line was drawn in.
Which is the useful kind of failure
If the row that broke the rule had landed in the gap, the problem would have been the threshold: a line drawn in six degrees of empty space would have turned out to be delicate, and the reading would have been about the instrument.
It landed well past the gap. So what failed is the claim rather than the line, and that is the outcome that leaves the reading intact and the rule weaker.
What the threshold is
Twelve degrees, sitting in a gap between 10.5 and 16.9 — six point three degrees of empty space. That is the thinnest gap this thread has drawn a line in and it is reported as such wherever the count is quoted.
The comparable gaps elsewhere are wider relative to their scale: the classes at the common level are within 5.55 degrees of it and the exceptions are 12.4 to 160.4 away.
And the control that says the line is not vacuous
The seventeen rows the exchange does cover close within 4.6 degrees, eleven of them within one. They close by construction, since a balanced pair is two displacements that are equal and opposite.
That is the control an addition needs: an instrument that says closed to everything would say it to those seventeen too, and it does, which is the point. What matters is that it says open to six of the thirteen.
Why a small lag might not close
No account is offered and one direction is worth naming. The level the displacements are measured against is the median of the class means, so that a few exceptions cannot drag it.
On a profile with four chains and three of them exceptional, the median is one of the exceptions. So the sums on the small-lag rows are measured against a level that is itself displaced, and whether that is enough to open them is not something thirteen rows can say.
Which would be a defect rather than a finding
If that is the account, then small lags do not close is a statement about the statistic rather than about the stems, and the repair is a level that does not assume a majority.
That is worth saying plainly, because it is the reading most likely to be right and it is the least interesting one. Testing it would mean recomputing the levels a different way and seeing whether the six open rows close, which is arithmetic on numbers already on disk.
Why it was not tested here
Because changing a definition retrospectively makes every earlier number in the thread incomparable, and because the reading as it stands is honest: the rule sorts the rows, the account of why it does is open, and one of the candidate accounts would make the rule an artefact.
Naming the artefact reading as the leading candidate is more useful than quietly not mentioning it, and it is the first thing to check if anybody takes this further.
What the rule is worth as it stands
Fifteen of sixteen rows, one confound broken by one lattice, one candidate account that would make it an artefact, and three rival rules that lose.
That is a modest thing and it is more than the excluded set had before, which was nothing. It also produced a testable next step, which is what a rule with a candidate artefact attached is for.
What it says about the census’s shape
One structural remark. The census’s rows at small lags come from a particular stretch of the ladder rather than from across it, because which lags a cut can keep is decided by the rungs.
So lag and position on the ladder are correlated in this census, and a third confound is
live: the rule could be about the coarse half of the ladder rather than about the lag. The
g005 split does not break that one, since all three of its rows sit at one rise.
What would settle the artefact question
Recomputing each row’s common level without assuming a majority, and re-adding. If the six open rows close under a level that is not the median, the rule is about the statistic; if they stay open, it is about the stems.
That is one function and no new stems, so it is minutes. The reason it is not done here is that it would change a definition the rest of the thread uses, and a definition changed inside one reading is a definition two readings disagree about.
The right shape for it is a separate reading that recomputes both and reports the pair, which is what the reading window was given when the same question arose about a spread.
Two more things the rule could be about
Neither is separable here and both are worth naming so that a later reading knows what to break.
The rise: small lags in this census come from coarser lattices, so the rule could be about coarse stems. And the fraction of the profile that is exceptional: at a lag of four, three exceptions is three quarters of the chains, and at a lag of eight it is three eighths.
The second is the same confound as the lag itself wearing different clothes, and it is why a census with a lag of eleven in its excluded set would be worth more here than three more rows at a lag of five.
What a perfect in-sample score is
Worth a paragraph on its own, because thirteen out of thirteen is a number that reads as strength and is closer to a warning. A rule read off a set of rows and then scored on the same rows can only lose to a rule that is worse at describing them.
The three rivals here were written down before the winner and lost, which makes the comparison worth something. It does not make the winner tested, because all four were scored on the rows that produced them.
The distinction is between a rule that beat rivals and a rule that survived a case it had not seen, and only the second is a test. This one is now both, which is why the essay can say fifteen of sixteen instead of thirteen of thirteen.
Where the out-of-sample case came from
Not from looking for one. A search of the fine end of both branches was run to find a lattice whose cuts keep a lag outside the census’s four, for an entirely different thread.
It returned one lattice with six wrecked cuts on it. Three answer the question that search asked; the other three are unpaired, keep a lag of 7, and land here.
Nobody designed the second half, and that is the ordinary return on measuring a whole object rather than the part a question needs. It is the same reason the census cuts every offset rather than the ones expected to wreck.
What a reader should carry
That the lag a cut leaves standing sorts the excluded rows thirteen times out of thirteen in sample, that three rival accounts lose to it, and that one lattice’s own cuts falling both ways is what stops it being a statement about lattices.
And that out of sample it is fifteen of sixteen. A rule with a perfect in-sample score is a rule that has not been tested, and the lattice that tested this one was found by a different thread looking for something else.
What the picture at the top shows
Thirteen bars, one per excluded cut, ordered by how far that row’s displacements are from summing to nothing. The label on each names the lattice and the offset, and the note beside it names the lag the cut kept.
The seven shortest bars are lags of 7 and 8 and the six longest are lags of 4 and 5. The shaded stretch at the left is the line the rows are called closed inside, and there is nothing in the gap between the two groups.
The one line
Every excluded row that closes kept a lag of 7 or 8 and every row that does not kept 4 or 5 — thirteen out of thirteen, against three rival accounts that score eleven, five and five — and one lattice’s own three cuts fall on both sides in step with their lags.
Out of sample it is fifteen of sixteen, the row that breaks it sits well outside the gap the line was drawn in, and the leading candidate account would make the whole rule a property of how the common level is computed.
What links here
Computed from the collection, not written here: the essays that point at this one.
Shares its objects with
Essays that name at least two of the same things, and that neither author linked.
- One rise per rung is a sample — both name claim testing, falsifiability, honest limits, sample size
- The second statistic was the first — both name claim testing, falsifiability, honest limits, sample size
- The window nobody moved — both name claim testing, damage profile, honest limits, residue class
- Three rows a window moves — both name claim testing, damage profile, honest limits, residue class
- A band with nothing inside it — both name claim testing, contact family, honest limits
- A basin has a width — both name claim testing, honest limits, sample size
Named objects
A flat tag is an object no other essay names yet.
Claim testingConfoundingContact familyDamage profileExceptional chainExchangeFalsifiabilityHonest limitsOut of sampleResidue classRule scoringSample size