A stem too fine to settle
Worth reading first: A disturbance with a memory · Counting the spirals · A head is a set of points.
Every sweep this collection runs up the ladder assumes it can keep going. Ask for a finer rise and a finer lattice comes back, with larger contact numbers and a deeper front, and the only cost is a longer stem. That assumption is false, and this essay is about where it fails and what it costs.
The assumption is not idle. Three separate threads reach for finer rises when they run out of room: the ablation census wants larger counted numbers so that more offsets are chain members, the depth thread wants a wider span of contact scales, and every rung sweep wants rungs it has not already swept. All three end up asking the same question of the machinery — how fine can a lattice be and still be countable — and none of them had asked it explicitly.
Where it stops
Grow a stem at a stated rise, let it settle, and ask a counter what pair it returns. Down to about five thousandths the answer is what the ladder predicts: 3/5, then 5/8, then 8/13, each over its own range of rises.
The ceiling is not sharp, and that is part of why it went unnoticed. At five thousandths the pair is clean; at four it is marginal; at three it is gone. A sweep stepping in thousandths crosses it in one step, and a sweep stepping in half-decades steps over it entirely.
Below about four thousandths it stops being a Fibonacci pair at all. At three thousandths the counter returns 2/13. At two thousandths, 5/22. At just over one thousandth, 2/17. These are not contact families; they are what a chain-following algorithm reports when the arrangement it is following has not finished sorting itself out.
The obvious explanation is that the stem is too short. A finer rise packs more organs into the same vertical distance, so a fixed node count covers less of the settling. Lengthening the stem should fix it.
It does not. At three thousandths with 1,200 organs the counter returns 2/13; at two thousandths with 1,800 it returns 13/24; at just over one thousandth with 2,600 it returns 13/15. The pairs change and none of them becomes a contact family.
The pairs are not random either, which is the part that makes the failure hard to notice. 13/24 and 13/15 contain Fibonacci numbers; 2/13 looks like a jugate pair. A reader shown one of these without the rise attached would have no reason to doubt it, and a sweep that reported it would produce a figure that looks exactly like every other figure on the site.
What that is, and what it is not
It is not a bug in the counter. The same routine returns the right pair at every rise above the ceiling, on stems of the same construction, and it is the routine every count on this site is made with. It is also the routine checked against the positions rather than trusted, on arrangements written down from formulas where the right answer is known in advance. A counter that passes those and fails here is not returning a wrong answer about a lattice; it is returning a right answer about something that is not one.
Nor is it obviously a failure of the rule. The placement rule has no scale in it that would break at four thousandths; it minimises a sum of inverse powers of distance whatever the rise. What changes is how long the arrangement takes to stop rearranging, and that is a property of the settling rather than of the rule.
The most likely reading — and it is a reading, not a measurement — is that the number of organs needed to settle grows faster than linearly in the fineness, so that each halving of the rise costs more than a doubling of the stem. If that is right the ceiling is economic rather than physical, and it moves with the compute available rather than sitting at a particular rise.
Testing that reading is a day of compute rather than an idea: grow one rise at four stem lengths and see whether the pair converges to a contact family or to something else. It has not been done, and until it is, the ceiling is a measurement of this collection’s budget as much as of the subject.
What it costs
Three sweeps in this collection are bounded by it, and none of them said so before now.
The corner sweep. Whether the corner is the contact scale or any memory at all is separated by moving the contact numbers, and the plan asked for three to thirty-four. What is reachable is three to thirteen — enough to show the corner is not fixed, not enough to say what it is a function of.
The ablation census. The reading about which family lost a member can only be asked at offsets that are multiples of a contact number, and the cheapest way to get more such rows is a finer rung with larger numbers. The ceiling caps how far that goes.
And the rung sweeps. Sweeping along a rung is how this collection separates quantities that the counted pair holds constant. Rungs get narrower in rise as they get finer, so a fixed sweep step resolves fewer of them, and past the ceiling there are no settled rungs to sweep at all.
The narrowing is worth a number. The 5/8 rung runs from eighteen thousandths to seven, a span of eleven thousandths that a step of one thousandth divides into twelve. The next rung down is roughly half as wide in rise, so the same step gives six samples, and the one after that three. Two rungs below where the sweeps currently run, a rung sweep stops being a sweep and becomes three points — before the settling ceiling is reached at all. The two limits bite at different depths and the sampling one bites first.
Four things it is worth checking before believing
That the settling test is the right one. A stem counts as settled when the wander of its divergences over the last stretch falls below a threshold. A different threshold would move the ceiling, and a much looser one would let through arrangements that are not lattices.
That the failure is not the azimuth grid. The rule is evaluated over a finite set of candidate azimuths, and a finer lattice needs a finer grid to resolve its divergence. If the grid were the binding constraint the symptom would be the same, and the fix would be entirely different — a finer grid rather than a longer stem. This is the one alternative that can be ruled out cheaply, because the grid step is a stated number and the divergences a fine lattice has to separate are computable in advance: at the ceiling the grid is still an order finer than the spacing it needs to resolve. That does not prove the settling reading, but it removes the competitor that would have been easiest to fix.
That it is not a property of one seed. The pairs reported above come from one run each, and an arrangement that has not settled is exactly the kind of thing that differs between seeds.
And that the counter is being asked in the right band. A count depends on where up the stem it is taken, and a stem that is settled at the tip and not at the base will answer differently depending on the band.
Two of those four are checks this collection has already built and one is not. Recording which is which is the point of the section.
The one that is not is the seed check, and it is the cheapest of the four. A single run at a rise below the ceiling could be unlucky; four runs at four seeds would say whether the returned pair is stable nonsense or unstable nonsense, and those are different diagnoses. Stable nonsense across seeds would point at the counter or the grid — something deterministic reading the arrangement wrongly. Unstable nonsense would point at the settling, which is the reading assumed here. That the assumed reading has not been separated from its alternative is exactly the kind of thing this section exists to record.
There is a fourth cost, and it is larger than the other three, because it is not about a sweep that had to stop early but about what all of these stems stand in for.
The arrangements this subject is known for are past the ceiling. A sunflower head is commonly counted at 34 and 55 spirals, and a large one at 55 and 89; a pine cone at 8 and 13; a pineapple at 8, 13 and 21. What settles reliably here is 3/5, then 5/8, then 8/13, and 8/13 is the finest of them. The lattices these runs can be trusted on are the coarse end of the range a hand lens meets, and every claim made here about the ladder is a claim verified on its first three rungs.
That does not make the claims wrong and it is not an argument for stopping. The mechanism under test is a placement rule, the rule is identical at every rise, and a result holding across three rungs on two branches is a result about the rule rather than about a rung. It does change what can be said without a hedge attached. This rule produces the observed families is supported. This rule produces the families observed on a sunflower is not, because no stem in this collection has ever been settled at a sunflower’s rise.
The distinction has teeth wherever a claim depends on the numbers being large. The share of offsets that are chain members falls as the two counted numbers grow apart; the front deepens; rungs narrow in rise. Each of those is a trend read across three points and extrapolated to arrangements four rungs finer. An extrapolation is a respectable thing to publish and an indefensible thing to publish silently — and a stated ceiling is what makes the difference visible, because it says exactly where the measurements stop and the extrapolation starts.
Why write down a ceiling
Because a bound that nobody has stated gets crossed silently. A sweep that asks for a rise below the ceiling does not fail loudly: it returns a pair, the pair looks like a number, and every downstream figure and claim inherits an arrangement that is not a lattice.
This collection has a habit that would have caught it and did not apply here. Every generator asserts what is true of its own arguments, so a figure drawn at a rise below the ceiling would fail if it asserted that its pair was a contact pair — and most of them do not, because most of them were written for rises where the question does not arise. The fix is one line in the right places: assert the pair against the contact geometry rather than accepting whatever the counter returns. That is now done in the sweep this essay came out of, which refuses to draw a panel whose rises do not each carry a genuine contact pair, and it is not done anywhere else.
This is the same shape as the collection’s other instrument results — the rung that was not the instrument, the window that was not the neighbourhood — and it belongs with them. An instrument has a range, the range is a fact about the instrument rather than about the subject, and the honest thing is to publish it before somebody quotes a number from outside it.
Where this leaves it
The ladder this collection draws runs from a third of a turn down to four thousandths, and every result on it is a result about that range. Whether the same things happen at 13/21 and 21/34 — the pairs real plants most often show — is not answered here and is not currently answerable with this machinery.
That is an uncomfortable place for a collection about phyllotaxis to be, and saying so is better than the alternative, which is a set of sweeps that stop where they stop for reasons nobody wrote down.
It also suggests where the next piece of machinery should go. Every result here is bounded by how long an arrangement takes to settle, and nothing in the collection measures that directly — settling is tested for, not timed. A measurement of organs to settle against rise would convert this ceiling from a place where sweeps stop into a number that can be planned around, and it would say whether the barrier is a budget or a wall.
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.
- What a count cannot decide — both name counting blind, claim testing, contact network, control, honest limits, lattice, measurement, negative result, parastichy, parastichy pair, rise, rung, underdetermination
- One offset, two answers — both name claim testing, control, honest limits, lattice, measurement, negative result, parastichy pair, the placement rule, rise, rung, underdetermination
- One rise per rung is a sample — both name counting blind, claim testing, control, honest limits, lattice, measurement, negative result, parastichy pair, rise, rung, underdetermination
- The band was not the sampling — both name counting blind, claim testing, control, honest limits, lattice, measurement, negative result, parastichy pair, the placement rule, rise, rung
- The shortest hop was a coin flip — both name claim testing, control, honest limits, lattice, measurement, negative result, parastichy pair, the placement rule, rise, rung, underdetermination
- Two accounts of one number — both name counting blind, claim testing, honest limits, lattice, measurement, negative result, parastichy pair, the placement rule, rise, rung, underdetermination
Named objects
A flat tag is an object no other essay names yet.
Counting blindClaim testingContact networkControlHonest limitsInstrument ceilingLatticeMeasurementNegative resultParastichyParastichy pairThe placement ruleRiseRungUnderdetermination