Two rungs, one angle
Worth reading first: The angle the ladder returns to · Where a handover sits · Counting the spirals.
Three quantities move together when the rise is swept along a rung: the pair a counter returns, the divergence the rule settles on, and which of the two contact steps is the shorter. A result that changes along a rung is a result that cannot be attributed to any one of them, and that is exactly the position a sweep of one rung was left in.
The way out is a design that holds two and moves one. One exists: a band holds the pair and the divergence and moves the ordering. This essay builds the second — hold the divergence, move the pair — and the whole of it is a search.
What the design needs
Two rises. At the first, a stem settles on some divergence and a counter returns one pair; at the second, it settles on the same divergence and the counter returns a different pair. Then any experiment run at both is an experiment with the counted pair varied and the angle held.
That is only possible where the divergence curve returns to a value it has already taken, which it does on the golden branch and barely does on the Lucas. So the search is bounded before it begins: at most one match per pair of rungs whose divergence ranges overlap, and none at all for a pair whose ranges do not.
It is worth saying what the design is not. It is not a claim that two stems with the same divergence are the same stem — they plainly are not, and the whole point is that a counter says so. It is not a claim that the divergence is unimportant. And it is not a pairing chosen to make some later result come out: the target angle is the midpoint of whatever interval two rungs happen to share, computed before anything is cut, so the pairs are fixed by the ladder rather than by what is convenient at the far end.
The one thing a matched pair is is an experiment with a controlled variable. Anything measured at both rises of a pair is measured with the angle held; if the measurement differs, the angle did not cause the difference. That is a weaker statement than an account of what did, and it is the statement this collection has been unable to make about the divergence for four rounds.
The overlap test comes first
Each rung covers an interval of divergences — the values at its two ends, since the curve is monotone inside a rung. Two rungs can produce a match only if their intervals intersect, and that is two comparisons rather than a sweep.
Of the six pairs of golden rungs, four overlap. The two that do not are 2/3 with 5/8 and 2/3 with 8/13: the 2/3 rung covers 137.930° to 140.703° and the 5/8 covers 136.641° to 137.902°, which miss each other by 0.028°. That is a near miss and it is still a miss — 0.028° is an eighth of the azimuth grid’s own step, so no resolution available here would close it.
Of the six pairs of Lucas rungs, one overlaps. Five do not, and they do not miss narrowly: the 1/3 rung ends at 102.617° and the 4/7 rung starts at 101.777°, which is nearly a degree of empty space.
The search inside a rung
Where two intervals do overlap, the target is the midpoint of the intersection and each rung is searched for the rise nearest it. The ladder sweep’s own rows give a starting point at one per cent in the rise; the search then steps at two parts in a thousand, twelve steps either side, and keeps the rise whose settled divergence is closest to the target.
Two guards are on that loop and both matter. A candidate rise outside its rung’s measured bounds is rejected, and so is one whose counter returns a different pair — because a search that wandered off the end of a rung would come back with a rise on the next rung, and the whole design is that the two rises are on different rungs by construction rather than by luck.
The refinement step is a ratio rather than an absolute amount, for the same reason the ladder itself is swept at one. The four golden rungs span the rise from 0.0700 down to 0.00482, a factor of fifteen, and a step of two parts in a thousand is two parts in a thousand at every one of them. An absolute step fine enough for the 8/13 rung would take thousands of stems to cross the 3/5 rung, and one coarse enough to cross the 3/5 rung would step over the 8/13 rung’s whole band.
Each candidate rise costs one grown stem, and a stem at these rises is a few hundred organs placed one at a time against a sum over their neighbours. The twenty-five candidates a refinement takes are therefore the expensive part of the search and the overlap test is free, which is the second reason to do the arithmetic first.
The pairs
Five matches, four on the golden branch and one on the Lucas.
The 2/3 and 3/5 rungs match at 139.297°, at rises of 0.06151 and 0.03065. The 3/5 and 5/8 rungs match at 137.266°, at 0.02251 and 0.01074. The 3/5 and 8/13 rungs match at 137.859° and 137.844°, at 0.02547 and 0.00500. The 5/8 and 8/13 rungs match at 137.844°, at 0.00739 and 0.00500. And on the Lucas branch the 4/7 and 7/11 rungs match at 99.273°, at 0.01046 and 0.00624.
Two of those share a rise. The 8/13 stem at 0.00500 appears in both the 3/5-and-8/13 pair and the 5/8-and-8/13 pair, because 137.844° lies inside the interval the 3/5 rung covers as well as inside the 5/8’s. That is not a duplication to be tidied away: it means one stem is the far end of two different comparisons, against a 3/5 stem grown at five times its rise and against a 5/8 stem grown at one and a half times it, with the angle held in both.
And one of the five sits at an angle nowhere near the golden one. 139.297° is 1.789° from 137.5078°, which is more than seven grid steps and further from the limit than any rise on the two fine rungs ever gets. A matched pair does not have to sit near the branch’s limit; it has to sit where the curve crosses itself, and on the coarse half of this ladder that is a long way out.
The angles the five sit at are worth listing together for a different reason. Two of them — 137.844° and 137.859° — are within a grid step of each other while belonging to different pairs of rungs, so the ladder crosses that neighbourhood three times: on the 3/5 rung, on the 5/8, and on the 8/13. Three rises, three counted pairs, one angle to within 0.0156°. Nothing in the design needs a triple, and having one means the two pairs that use it are not independent of each other.
How close is close
Four of the five agree to 0.0000°. That is not a rounding of something small: it is the same value of a quantity read on a grid of 1,536 candidate azimuths, which is to say the two stems settled into arrangements whose measured divergence is one number. The fifth agrees to 0.0156°, which is a fifteenth of one grid step.
It is worth being explicit about what that does and does not claim. The divergence is a mean over the last stretch of a run, so it is not itself quantised at 0.234°; two stems can agree to better than a grid step. What the grid does set is the floor below which “the same angle” stops meaning anything, and 0.0156° is comfortably under it. The bound the design is held to is a twentieth of a degree — the same figure a band is held to, kept rather than re-chosen so that the two designs are held to one standard.
What is not held
Everything else. The two rises of a matched pair differ by factors of 1.48, 1.68, 2.01, 2.10 and 5.09, and the rise is the parameter that sets the whole geometry: how far apart the organs are up the cylinder, how many of them are within reach of the placement rule, how long the two contact steps are, which pair a counter returns.
That is the design working rather than a defect in it. A matched pair is not two similar stems; it is two very different stems that happen to have settled on one angle. The 3/5-and-8/13 pair is the extreme — 0.02547 against 0.00500, a factor of five — and it is the most useful of the five for exactly that reason.
Some numbers to put on how different. At a rise of 0.02547 the placement rule’s neighbourhood holds a few dozen organs and the front — the stretch of the stem a removal is felt across — runs to five. At 0.00500 the neighbourhood holds several times as many and the front runs to thirteen. The two contact steps are different lengths, sit at different angles round the cylinder, and belong to different families. Every geometric quantity this collection measures differs between the two ends of that pair except one.
This is also why the design cannot be run the other way round. Holding the pair and moving the divergence is what a rung already does, and it moves the ordering as well; holding the divergence and moving the pair moves the rise, and the rise moves everything. There is no design here in which exactly one thing changes. What there are are two designs each holding a different two, and between them they pin all three.
A counter separates them perfectly
Point a counter at the two stems of any matched pair and it returns 3/5 at one and 5/8 at the other, or 3/5 and 8/13, or 5/8 and 8/13, or 4/7 and 7/11. It never hesitates, because it is never shown the angle and the two arrangements are genuinely different arrangements.
So a matched pair is a case where the two most obvious measurements of a stem disagree about whether the two stems are alike. Counted, they are as different as two stems on this ladder get. Protractored, they are indistinguishable. Anything that follows the counts at a matched pair is following the pair; anything that follows the angle is following nothing, because the angle does not vary.
The pair that produces no experiment
The 2/3-and-3/5 match is a match and not an experiment. Cut the 2/3 stem at every offset and two cuts wreck it, both keeping nothing rigid at all; cut the 3/5 stem at 0.03065 and none wreck. So the coarsest match has no surviving family at either rise, and comparing them would be comparing two absences.
That is the coarse end of the ladder behaving as it has been measured to behave — a front of five organs is its own two edges with no middle, and a single removal has nothing to sever. It is kept in the table rather than dropped, because a design that quietly drops its one unusable cell is a design reporting four for four.
Why the Lucas branch supplies one
Not because it was searched less carefully. The same sweep, the same overlap test, the same refinement. The Lucas divergence curve descends across three successive rungs — 104.766° to 102.617°, 102.422° to 101.777°, 101.777° to 99.141° — and only turns at the finest rung, climbing back to 99.402°. A curve that descends monotonically takes each value once, so the only overlapping pair it can produce is the one straddling its single turn.
Reporting that as a shortfall would be reporting a property of the branch as a failure of the search. It is worth saying plainly because the temptation runs the other way: a table with four rows on one branch and one on the other looks like an uneven effort, and it is an even effort on an uneven object.
What could still be wrong with a matched pair
Two things, and both were checked.
The first is that the two stems might not have settled at all. A run whose divergence is still wandering has a mean and no settled value, and two wandering means can agree by accident. Every rise here is inside a rung the ladder sweep found, and a rung is a run of at least four consecutive rises returning one pair — which a wandering stem does not produce.
The second is that the match might be an artefact of reading the angle over a particular window. The divergence is a mean over the tail of each run, and two different tails could agree where two different runs do not. That is the same concern the finer grid was run for on a band, and the answer here is the same: the agreement survives, because what is being compared is a settled value rather than a transient.
What this is for
One sentence. There are three quantities that move along a rung and a design that separates each of them from the others is worth having; the ordering has had one for a round, and this is the divergence’s.
What it will be used for is the cut. Two stems, one angle, different pairs: if the family a removal leaves standing follows the pair, the angle is not what decides it, and the last of the three is closed. That measurement is the next essay and it takes four of these five pairs.
The one line
Five pairs of rises settle on the same divergence at different counted pairs. Four agree to 0.0000° and the fifth to 0.0156°; the rises differ by factors of 1.48 to 5.09; four of the five wreck at some offset and are therefore usable, and the fifth sits at the coarse end where nothing wrecks.
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.
- A band that moves nothing — both name control, discretisation, divergence angle, matched design, measurement, negative result, parastichy pair, resolution, rise, rung
- Four crossings nobody visited — both name control, discretisation, divergence angle, ladder, matched design, measurement, parastichy pair, resolution, rise, rung
- The last of three quantities — both name control, divergence angle, identifiability, matched design, negative result, parastichy pair, rise, rung, underdetermination
- The response with a hole in it — both name counting blind, discretisation, divergence angle, identifiability, ladder, measurement, parastichy pair, rise, rung
- The rung was not the instrument — both name counting blind, discretisation, divergence angle, identifiability, ladder, measurement, parastichy pair, rise, rung
- What a count cannot decide — both name counting blind, control, divergence angle, measurement, negative result, parastichy pair, rise, rung, underdetermination
Named objects
A flat tag is an object no other essay names yet.
Counting blindControlDiscretisationDivergence angleIdentifiabilityLadderMatched designMeasurementNegative resultParastichy pairResolutionRiseRungUnderdetermination