Phyllotaxis
the spirals are counted, not admired
Series

Second statistic — the series

13 essays on one idea, from the one that introduces it to the one that assumes the rest.
  1. The statistic everybody reports is the one that cannot vary. Six arrangements of 900 points, from a whorled lattice to a set with no rule in it. The mean number of sides per cell is 5.97–6.04 on all six, because Euler's formula forces it. The mean squared departure from six runs from 0.023 to 1.83 — a factor of 79 — and the most hexagonal tissue in the set is the whorled one, at a rational angle.

    What a summary throws away

    Four statistics this collection has relied on turn out to be incapable of varying with the thing they describe — one is invariant to shuffling, one is fixed by a theorem, one is a parameter that stopped mattering, one is a fitted number selected into being wrong. In each case the second statistic was free and nobody had taken it.

    part 1 · wrong
  2. The disorder of a head against its divergence angle, 300 points. μ₂ is the mean squared departure of a Voronoi cell's side count from six, measured on 300 points inside 86% of the radius. Swept across 1.60° it is a staircase: flat over stretches of a few hundredths of a degree, with sharp steps between them and narrow deep dips wherever a rational falls. At 137.142° — which is 360 × 8/21 — it is 0.078; At 137.646° — which is 360 × 13/34 — it is 0.197; At 138.458° — which is 360 × 5/13 — it is 0.060. The ticks along the top are the fractions p/q, placed from arithmetic rather than from the curve.

    The disorder is a staircase

    Sweep the second moment of a head's side-count distribution across the divergence angle and it is not a curve. It is flat in stretches with sharp steps between them and narrow deep dips wherever a rational falls — so 0.253 is not the golden angle's number, it is the number of every angle from 137.47° to 137.54°.

    part 2 · tissue
  3. The dip at 5/13 — 138.4615° — at three head sizes. Walking the divergence angle off an exact rational, at 300, 600, 1200 points. The floor falls as the head grows — 0.059 at 300, 0.029 at 600, 0.014 at 1200, halving for each doubling — and the dip narrows faster: half-widths of 0.0162°, 0.0048°, 0.0010°, a factor of four for each doubling rather than two. Half-width times the square of the head size is 1456, 1726, 1402, which is what makes the width a property of the sample rather than of the angle.

    A dip belongs to the head

    At an exact rational the disorder halves when the head doubles, and the dip around it narrows by a factor of four. So which angles look ordered is set by how many organs were counted, and a head of three hundred cannot tell 138.4615° from 138.48° while a head of twelve hundred tells it from 138.4625°.

    part 3 · tissue
  4. The disorder of a head against its divergence angle, 900 points. μ₂ is the mean squared departure of a Voronoi cell's side count from six, measured on 900 points inside 86% of the radius. Swept across 1.32° it is a staircase: flat over stretches of a few hundredths of a degree, with sharp steps between them and narrow deep dips wherever a rational falls. At 137.143° — which is 360 × 8/21 — it is 0.025; At 137.882° — which is 360 × 18/47 — it is 0.125; At 138.002° — which is 360 × 23/60 — it is 0.089. The golden angle is marked and sits at 0.253, in the middle of a flat stretch and nowhere near the largest value on the range.

    The most irrational is not the most disordered

    If rational angles make ordered tissue, the most badly approximable angle should make the most disordered — which would at last give the golden angle a criterion it wins. Swept across the interval it is the most irrational point of, μ₂ peaks at 138.42° and the golden angle sits unremarkably in the middle.

    part 4 · wrong
  5. The neighbourhood of 21/55, and where its background was taken from. μ₂ across nine tenths of a degree either side of 21/55, on a head of 825 organs — 15 in each of its 55 rows. The deep notch at the centre is the dip. The shaded columns are the offsets now used as a background: those at least 0.03° from every rational with a denominator of 60 or less, of which there are 54 here. The marked sample at 0.2° is the one the earlier work used, and it lands 0.007° from 13/34 — inside that rational's own dip. It reads 0.115 against a floor of 0.148, so measured that way the dip is an inversion. The clear offsets give 0.339.

    The background is not one sample

    The dip in disorder at a rational angle is a comparison against a background, and the background was one measurement taken two tenths of a degree away. At 21/55 that lands seven thousandths of a degree from 13/34 — inside another rational's dip — and the comparison inverts. Fixed, the dip survives to a denominator of 89.

    part 5 · tissue
  6. The coefficient is not one number. n²·w, measured at the two larger of each denominator's three head sizes and averaged, for six Fibonacci fractions. Undivided it runs 1188, 1285, 2999, 7005, 9125, 14297 — a spread of 12.0. Divided by the denominator it runs 149, 99, 143, 206, 166, 161 — a spread of 2.1. So the law is w ≈ 150·q/n² to within a factor of two, and that earlier work's constant of 1,400 to 3,300 was three measurements of the small-denominator end of it.

    The width carries the denominator

    The earlier work measured three denominators, found the dip's half-width falling as the square of the head size, and could not say whether its coefficient depended on the denominator. Six denominators say it does: the coefficient runs from 1,188 at q = 8 to 14,297 at q = 89, and dividing by q flattens a factor of twelve into a factor of two.

    part 6 · tissue
  7. Four fractions of 55, one width. The half-width of the second-moment dip at four divergence angles with the same denominator, on heads of 1279 organs — 23 in each of 55 rows. 21/55 is the Fibonacci convergent, the fraction every earlier measurement of this law was made at and the one whose neighbourhood is emptiest; 12/55, 23/55, 17/55 are not. The four agree within a factor of 1.28, well inside the factor of two the law is stated to, so the width is a function of the denominator and not of how well the fraction approximates its neighbours. What is left over is ordered by the note beside each bar: the more crowded the neighbourhood, the wider the dip comes out, which is the direction a neighbour's own shoulder would push it.

    Four fractions with one denominator

    The dip in a head's side-count disorder is as wide as 150·q/n², measured over six fractions — every one of them a Fibonacci convergent, which is the emptiest neighbourhood a denominator ever gets. So the law could be about the denominator or about how well the fraction approximates its neighbours. Four fractions of 55 at one head size settle it in one figure.

    part 7 · tissue
  8. Four fractions of 34, one width. The half-width of the second-moment dip at four divergence angles with the same denominator, on heads of 791 organs — 23 in each of 34 rows. 13/34 is the Fibonacci convergent, the fraction every earlier measurement of this law was made at and the one whose neighbourhood is emptiest; 9/34, 15/34, 11/34 are not. The four agree within a factor of 1.14, well inside the factor of two the law is stated to, so the width is a function of the denominator and not of how well the fraction approximates its neighbours. What is left over is ordered by the note beside each bar: the more crowded the neighbourhood, the wider the dip comes out, which is the direction a neighbour's own shoulder would push it.

    A width read off a staircase

    Two fractions of the fourteen measured return a dip width that moves by a factor of two when the head size changes, where the others hold to three per cent. The cause is not their neighbourhood. It is that the disorder statistic changes only when the tessellation changes, so the curve a half-width is read off is a staircase, and a width narrower than the tread cannot be read at all.

    part 8 · tissue
  9. The area never settles, so the number reported is the window. The equivalent width of the disorder dip — the area of the deficit divided by the dip's own depth — for four fractions with a denominator of 34, against the window it was integrated over. The window is in scaled units, u = δ·n²/q, so a head of any size is sampled at the same places on its own dip; 200 scaled units is about 0.0109° at these head sizes. A width would show as a flat stretch. There is none: every line climbs to 512 scaled units or so and then turns over, because past that the window has reached far enough towards the next rational that it is integrating the neighbour's dip instead of this one's background. The dip has a depth and a scale; it does not have an outer edge, and an integral of something with no outer edge is a statement about where it was stopped.

    A dip with no outer edge

    The disorder of a head dips at every rational divergence, and how wide that dip is has carried a long argument. Reading the width as a level crossing has a resolution problem, and the obvious repair is to integrate instead. The integral reproduces beautifully across head sizes and never settles on a value, because there is nothing out there for it to settle against.

    part 9 · tissue
  10. The area never settles, so the number reported is the window. The equivalent width of the disorder dip — the area of the deficit divided by the dip's own depth — for four fractions with a denominator of 55, against the window it was integrated over. The window is in scaled units, u = δ·n²/q, so a head of any size is sampled at the same places on its own dip; 200 scaled units is about 0.0067° at these head sizes. A width would show as a flat stretch. There is none: every line climbs to 595 scaled units or so and then turns over, because past that the window has reached far enough towards the next rational that it is integrating the neighbour's dip instead of this one's background. The dip has a depth and a scale; it does not have an outer edge, and an integral of something with no outer edge is a statement about where it was stopped.

    The window is the neighbour

    An integral needs a limit, and this one has two conditions on it that pull opposite ways. It has to scale with the dip, so that two head sizes are comparable, and it has to stay clear of the next rational, which is a fixed distance in degrees. Between them there is no stretch where the answer holds still — and the limit that decides it is the crowding.

    part 10 · tissue
  11. The order follows the window, so it was never the fractions'. The four fractions with a denominator of 34, ordered four ways. The left column puts them in order of how close the nearest other rational is — the crowding — with the most crowded at the top. The other three order them by the area of their dip, at windows of 50, 100, 200 scaled units. The residual claim this thread carried was that the most crowded fraction gives the widest dip, which would make all four columns the same order. They are not: the order changes between the first two windows and settles, from a window of 100 outwards, into 11/34 > 15/34 > 13/34 > 9/34 — which is not the crowding order either. A quantity that reverses when the measurement is stopped somewhere else is a property of the stopping.

    The order belonged to the method

    A residual was left over after the two width laws, and it looked ordered: the most crowded fraction gave the widest dip, in all three families, in the direction a measurement artefact would take. Measured again with an instrument that has no level in it, the order changes with the window, disagrees between families, and in one of them comes out backwards.

    part 11 · wrong
  12. Seven fractions with one neighbour distance and every denominator. Each member of a matched set drawn on its own stretch of the divergence axis, 0.5° either side of itself, with the nearest other rational marked. The distances are 0.3158°, 0.3158°, 0.3117°, 0.3069°, 0.3117°, 0.3077°, 0.3064° — a spread of 3.1% — while the denominators run 19, 20, 21, 23, 33, 45, 47, a factor of 2.47. That is the construction this thread needed. Every instrument for the width of a disorder dip has a free parameter set by how close the neighbour is, so a hypothesis about the neighbourhood cannot be tested by varying the neighbourhood; on this set the neighbourhood is held fixed and the arithmetic of the fraction is what varies.

    Fractions with the same neighbours

    Every instrument this collection has for the width of a disorder dip has a free parameter set by how close the next rational sits — which makes a hypothesis about the neighbourhood untestable with any of them. The repair is not a better instrument. It is a set of fractions whose neighbourhoods are identical and whose denominators are not, and the arithmetic supplies twenty-four of them.

    part 12 · tissue
  13. Hold the neighbourhood and the denominator stops mattering. The equivalent width of the disorder dip — the area of the deficit divided by its own depth — for seven fractions whose nearest neighbours sit at the same distance and whose denominators run from 19 to 47. Each is measured at a head size chosen so that all of them share one scaled unit, which makes a window in scaled units the same window in degrees and the same fraction of the way to the neighbour for every member. At a window of 25 the seven widths are 38.8, 38.8, 39.0, 39.0, 38.7, 39.0, 39.0 — a spread of ×1.010 across a factor of 2.47 in denominator. The lines separate as the window widens, to ×1.147 at 200, and when they do they order by denominator rather than by crowding. So the residual this thread carried was the window: hold it and there is nothing left that belongs to the fraction.

    The residual was the window

    After the depth and the q over n squared scale are taken out of a disorder dip, something looked left over and looked ordered by how crowded the fraction's neighbourhood is. Measured on fractions whose neighbourhoods are identical by construction, seven widths across a factor of two and a half in denominator agree to one per cent. There is no residual; there was a comparison made at different effective windows.

    part 13 · wrong

All series