Packing and tiling

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.

Worth reading first: What a summary throws away · Why the average cell has six sides · The six are the spirals.

The dip in disorder at a rational divergence angle narrows as the head grows, and the earlier work measured how fast: the half-width falls as the square of the number of organs, not as the first power. That was a prediction that came out wrong and was reported wrong — the argument written down first gave 1/n, from the total twist across the head, and the measurement gave 1/n², because the twist has to stay inside a radial gap that is itself shrinking while the arc it makes grows.

What the work could not say was whether the coefficient of that law depends on the denominator. It had three: 3/8, 5/13 and 8/21, with coefficients running 1,400 to 3,300, and it recorded plainly that three denominators do not support a q-dependence.

Six do, and the answer is that they do depend on it, by a factor of twelve.

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.
Fig. 1 The coefficient n²·w against the denominator, for six Fibonacci fractions from 3/8 to 34/89, each measured at the two larger of its three head sizes. It runs 1,188, 1,285, 2,999, 7,005, 9,125 and 14,297 — a factor of twelve over a factor of eleven in q. The earlier work had the leftmost three points and called the quantity a constant, which was the right reading of the evidence it had.

The law within a denominator, which holds

Before the coefficient can carry anything the exponent has to be checked at the new denominators, because a law measured on 8, 13 and 21 might simply stop working at 55.

It does not. Within a denominator, above a head-size floor described below, n²·w is flat to a few per cent. Taking the two larger heads at each denominator: 3/8 gives 1,166 and 1,210, a spread of 1.04; 5/13 gives 1,308 and 1,261, also 1.04; 8/21 gives 2,711 and 3,286, a spread of 1.21; 13/34 gives 6,914 and 7,097, a spread of 1.03; 21/55 gives 9,069 and 9,180, a spread of 1.01; and 34/89 gives 13,909 and 14,685, a spread of 1.06.

That is that earlier work’s exponent, confirmed on three denominators it could not reach, and confirmed harder than it was originally measured: 21/55 and 34/89 give the two flattest columns in the table.

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 1980 organs — 36 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. It reads 0.225 against a floor of 0.060. The clear offsets give 0.195.
Fig. 2 The dip at 21/55 on the largest head it is measured at, 1,980 organs — 36 in each of its 55 rows. It is the same shape the earlier work drew at the denominator of thirteen, at a denominator four times larger and a head four times bigger, and the scaling through it is the same one. Whatever sets the width is not a property of small denominators.

The floor, which is a real effect and not a nuisance

Each denominator is measured at three head sizes: the smallest at which its rows have organs in them, and two multiples of it. The smallest is defined as fifteen organs per row — max(300, 15q) — and at every denominator from 21 upward its coefficient comes out below the two larger heads’, by a factor of two at q = 21 and q = 34.

That is not noise and it is not excluded quietly. It is the head-size floor showing itself: at fifteen organs per row the rows are only just rows, the cells along one are still being cut by neighbours from the next, and the arrangement at the exact rational has not reached the order it will have. The dip is shallower and its shoulders are closer in, so the width measured at a quarter of the way up comes out short.

The floor is therefore a statement about heads: a rational angle does not look ordered until its rows are populated, and how many organs that takes is proportional to the denominator. A sunflower head of 900 organs at 34/89 has ten organs per row, which is below the floor — and a head that size cannot resolve that rational anyway — and would not show the dip that the same angle shows on a head of 1,335.

The neighbourhood of 8/21, and where its background was taken from. μ₂ across nine tenths of a degree either side of 8/21, on a head of 756 organs — 36 in each of its 21 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 60 here. The marked sample at 0.2° is the one the earlier work used, and it lands 0.112° from 21/55. It reads 0.336 against a floor of 0.030. The clear offsets give 0.301.
Fig. 3 The dip at 8/21 on a head sized to it. Every point of the law above is one of these measurements, and the head size is chosen from the denominator.

Dividing by q

Take the six coefficients and divide each by its denominator. They come out 149 at q = 8, 99 at 13, 143 at 21, 206 at 34, 166 at 55 and 161 at 89.

The undivided quantity spans a factor of 12.0. Divided, it spans 2.1. So most of what was left after the 1/n² law is accounted for by a single factor of q, and what remains is a factor of two with no trend in it.

“No trend” is a claim and it can be scored rather than asserted. The six divided values have a mean of 154 and a spread of 35 about it, so the residue is a scatter of about a fifth. Ranked against the denominator they give a rank correlation of 0.6, which at six points would be produced by chance about one time in five and falls well short of the 0.89 that six points need before a correlation means anything.

So the residue is scatter rather than a second dependence, on the evidence available — and the evidence available is six points, which is enough to refuse a factor of twelve and not enough to refuse a factor of two. If a seventh denominator ever arrives the right thing to do with it is not to fit a curve but to recompute that rank correlation and see whether it has moved.

The two extremes make the same point without arithmetic. The smallest divided value is at q = 13 and the largest at q = 34, and both are in the middle of the range: the residue’s biggest departures are neighbours rather than endpoints, which is what scatter looks like and is not what a missed power law looks like.

Divided by the denominator, the coefficient is one number. n²·w divided by q, 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.
Fig. 4 The same six points with the denominator divided out. The spread collapses from twelve to two and the residue has no direction — 149 at the smallest denominator and 161 at the largest, with the extremes in the middle of the range. A quantity that was a factor of twelve and is now a factor of two, with the reduction achieved by one integer that was already in the problem, is the shape of a law rather than of a fit.

So the law is w ≈ 150·q/n², to within a factor of two, and the factor of two is stated as a factor of two rather than absorbed into a fitted constant.

It is worth writing the law in the units the rest of this thread works in, because it says something the coefficient hides. A head at denominator q has n/q organs in each row, so q/n² is (1/n) times (q/n) — one over the head size, times one over the organs per row. The tolerance is therefore the reciprocal of the head size divided by the row occupancy, which is two quantities this thread already reports separately and had never multiplied.

Read that way the law stops being a fitted power and becomes a statement with two halves, each of which the earlier essays supply: the 1/n is the head filling and the rings crowding, and the second factor is the row emptying as the denominator grows. And it makes the floor unsurprising rather than an exception — the law is stated in organs per row, so it should be expected to fail when there are too few of them to make a row. This site has a standing objection to fitting: a prediction with nothing free in it that comes out within a factor of two is worth more than a one-parameter curve through six points, and the earlier work made the same choice about the reading-error law for exactly the same reason.

Why the old numbers were what they were

The earlier work reported coefficients of 1,400 to 3,300 across 3/8, 5/13 and 8/21 and read them as one number with scatter. With the corrected background the same three come out 1,188, 1,285 and 2,999 — the same range, the same ordering, and the same conclusion available from them, which is that three points spanning a factor of two and a half do not establish a trend.

What changed the picture is not a correction to those three. It is the three that were added, and the reason they could not be added before is the subject of the previous essay: at 13/34 and above the background was contaminated, the dips read as shallower than they are or as inversions, and the widths that came out of them were not measurements of anything.

So the sequence is worth stating in order, because it is the ordinary shape of a result and it is easy to present as though the answer had been visible all along. The question was asked. The obvious extension of the measurement was attempted. It produced a number that was wrong in a way nothing flagged. Finding that took the work, and once it was fixed the answer took an afternoon.

What the coefficient is not

Two readings of “the coefficient carries the denominator” are available and only one of them is supported.

Supported: the half-width, at fixed head size, is larger at a larger denominator, on a curve whose dips were located without reference to the fractions. A head of 1,980 organs at 21/55 tolerates about eleven times the angular error that the same head at 3/8 does before its dip is a quarter filled in.

Not supported: that a larger denominator is somehow more robust, or that rational angles with large denominators are more likely to be found in nature because they are easier to hit. That inference does not follow, and the reason is the floor. A larger denominator needs a proportionally larger head before it has a dip at all, so the tolerance is wider on a scale where the head is also bigger. Measured per organ per row — the natural unit — the two effects run in opposite directions and the site has not measured which wins.

That distinction matters because the disorder thread’s whole point is that μ₂ at a given angle is a statement about a head of a stated size, and a q-dependence in the width is another instance of the same thing rather than a new fact about angles.

Three regimes, in organs per row

The floor and the method’s own ceiling are both statements about how many organs each row holds, and putting them on one axis gives the whole picture of where this measurement works.

Fewer than about five organs per row and there is nowhere to take a background. The distance to the next rational and the dip’s own half-width meet there, so the neighbourhood a dip would be compared against is another dip, and no clearance rule can find clear ground.

Between about five and fifteen the dip exists and its width does not obey the law. That is what the smallest head at each denominator shows: the rows are only just rows, the shoulders are close in, and the coefficient comes out low by a factor of two. A measurement here returns a number and the number is not on the scaling.

Above fifteen the law holds, and it holds to a few per cent — the two flattest columns in the table are the two largest denominators, at fifteen and thirty-six organs per row.

That is a more useful way to state the floor than a head size, because it makes the condition independent of the denominator. It also says what a survey of real heads could and could not do: a head has to carry fifteen organs on each of its q rows before its dip is measurable at all, which for the arrangements real plants show — 34 and 55 rows, 55 and 89 — means a head of eight hundred to thirteen hundred organs before the question can be put to it.

What a factor of q means

That earlier work’s argument for the exponent went: the pattern stays ordered while the total twist across the head stays inside the radial gap between neighbouring rows; the twist grows as n·δ and the arc it makes grows as n^1.5 while the gap shrinks as 1/√n; so δ goes as 1/n².

Nothing in that argument mentions the denominator, which is why it gave no q-dependence. Putting one in requires asking what the rows are like, and the rows are what q counts.

At denominator q the head has q rows, so each row holds n/q organs and the rows are 360/q apart in azimuth. A wider azimuthal separation between rows is more room for a twist to develop before organs from one row start landing between organs of the next — which is a direct argument for the tolerance rising with the spacing between rows, and the spacing between rows goes as 1/q. That gives the wrong sign.

The right sign comes from the other direction: what has to stay small is the twist relative to a row’s own internal spacing, and a row with n/q organs in it has them q/n apart along the row. Making the denominator larger makes the rows sparser, so a given twist displaces an organ by a smaller fraction of its row’s spacing, and more twist is tolerated. w ∝ q/n² is what that says.

The two arguments are not symmetric and it is worth saying which one the measurement picks. Row spacing in azimuth goes as 1/q and gives the wrong sign; spacing along a row goes as q/n and gives the right one. So what the tolerance is set by is a distance within a row rather than between rows — which is the same choice the exponent argument had to make, where the radial gap along a ray beat the cell size.

That is a reconstruction, not a derivation. It gets the sign and the power right and it was written after the measurement rather than before it, which on this site is the difference between an explanation and a story. The prediction that would make it a derivation is available and is not made here: the same argument says the coefficient should be independent of which rational of a given denominator is used, so 21/55 and 34/89 — with denominators of 55 and 89 — should not be the only cases; 12/55 or 23/55 should give the same 166. Nobody has looked.

The neighbourhood of 13/34, and where its background was taken from. μ₂ across nine tenths of a degree either side of 13/34, on a head of 791 organs — 23 in each of its 34 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.393° from 21/55. It reads 0.241 against a floor of 0.071. The clear offsets give 0.279.
Fig. 5 The measurement every number above depends on, at the denominator where the previous method broke. The floor and the background are both read off this curve, and the width is the offset at which the curve has climbed a quarter of the way between them. Getting the background right moved the coefficient at this denominator from 2,993 to 6,914, which is most of why the q-dependence was invisible before.

The two methods, side by side

The machinery still carries that earlier work’s background — one sample at two tenths of a degree — alongside this one. That is deliberate rather than an oversight, and the reason is worth recording since a site with two methods for one quantity is normally a site with a bug in it.

The old method is what three essays and one refutation-index entry were measured with, and every one of those is at a denominator where the two agree: at 3/8 and 5/13 the fixed offset sits in a flat stretch, and the numbers those essays quote are the numbers either method gives. Replacing the method under them would change published figures by a few per cent for no gain in correctness at those denominators, and would leave four pages quoting numbers that no longer match what they draw.

What is not acceptable is leaving the old method undocumented, so its own file now says plainly that it is superseded above q = 21 and why. The rule this site works to is that a fix belongs where the bug is — and the bug here is not in the arithmetic of dipWidth, which is correct, but in the assumption that one offset stands for a neighbourhood, which stops being true at a denominator no essay written with it goes near.

The line to hold is that no new measurement uses the old background, and that any future extension of the dip results to a large denominator uses the new module. That is a rule about what comes next rather than a rewrite of what exists, and it is the smallest thing that keeps both halves honest.

The neighbourhood of 5/13, and where its background was taken from. μ₂ across nine tenths of a degree either side of 5/13, on a head of 465 organs — 36 in each of its 13 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 70 here. The marked sample at 0.2° is the one the earlier work used, and it lands 0.662° from 23/60. It reads 0.484 against a floor of 0.038, and 23/60 itself sits outside the window drawn here. The clear offsets give 0.404.
Fig. 6 At 5/13, where the neighbours are far apart and the background is easy to take.

What this closes, and what it opens

Closed: that earlier work’s leaving. The exponent survives to q = 89, the coefficient does not, and the coefficient’s dependence is a single factor of the denominator to within a factor of two.

Opened, and smaller: whether the coefficient depends on the rational or only on its denominator. Every fraction measured here is a Fibonacci convergent, which is a very particular set — they are the best rational approximations to the golden angle, so their neighbourhoods are as empty as neighbourhoods of that denominator ever get. A non-convergent with the same denominator sits in a more crowded stretch and might not be measurable at all, which would be an answer of a different kind.

And a caution carried forward. Every claim in this essay depends on a background measured over the offsets that are not on somebody else’s dip, and that method has its own ceiling: it works while a dip’s half-width is much smaller than the distance to the nearest other rational, and at 34/89 that ratio is down to about ten. The law extends further than the measurement can follow it.

The neighbourhood of 3/8, and where its background was taken from. μ₂ across nine tenths of a degree either side of 3/8, on a head of 300 organs — 38 in each of its 8 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 72 here. The marked sample at 0.2° is the one the earlier work used, and it lands 0.963° from 22/59. It reads 1.060 against a floor of 0.032, and 22/59 itself sits outside the window drawn here. The clear offsets give 0.797.
Fig. 7 And at 3/8, the coarsest of the six. Six neighbourhoods is what the law is fitted across.
The neighbourhood of 34/89, and where its background was taken from. μ₂ across nine tenths of a degree either side of 34/89, on a head of 2069 organs — 23 in each of its 89 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 53 here. The marked sample at 0.2° is the one the earlier work used, and it lands 0.274° from 21/55. It reads 0.186 against a floor of 0.104. The clear offsets give 0.175.
Fig. 8 The hardest measurement in the table, at 34/89 on a head of 2,069 organs — 23 in each of its 89 rows. The neighbourhood is crowded with other rationals’ dips and the background is taken from what is left of it, which is 53 offsets of the 92 tried.

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.

Named objects

A flat tag is an object no other essay names yet.

ArtefactCell areaContinued fractionConvergentsDisorderHonest limitsMeasurementOne parameterOrder and disorderPackingRational angleRational approximationSamplingSummary statisticVoronoi cells