Packing and tiling

The width carries the denominator

The previous phase 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 previous phase 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 phase 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 numbern²·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 the previous phase's constant of 1,400 to 3,300 was three measurements of the small-denominator end of it.33.504divergence angle, as a fraction of a turnn²·w, the coefficient of the width law (logarithmic)11881285299970059125142973/85/138/2113/3421/5534/89spread 12.0 across the sixsix denominators · n²·wgenerated from a stated rule, not drawn to look right
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 previous phase 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 the previous phase’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 this site now takes a background from: 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 previous phase 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.0.1000.2000.3000.400-0.400-0.300-0.200-0.10000.1000.2000.3000.400degrees from 21/55, at 137.4545°μ₂, the second moment of the side-count distribution13/34the background from the clear offsets: 0.195the old single sample: 0.22521/55 · head of 1980generated from a stated rule, not drawn to look right
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 previous phase 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 would not show the dip that the same angle shows on a head of 1,335.

The dip at 8/21 — 137.1429° — at three head sizesWalking the divergence angle off an exact rational, at 315, 488, 756 points. The floor falls as the head grows — 0.074 at 315, 0.047 at 488, 0.030 at 756, halving for each doubling — and the dip narrows faster: half-widths of 0.0194°, 0.0125°, 0.0059°, a factor of four for each doubling rather than two. Half-width times the square of the head size is 1925, 2975, 3389, which is what makes the width a property of the sample rather than of the angle.00.2000.400-3-2.50-2-1.50-1-0.700offset from the rational, log₁₀ of degreesμ₂315 points488 points756 points8/21 of a turn · 12 offsets · vertical rules are the half-widthsgenerated from a stated rule, not drawn to look right
Fig. 3 Where the floor is visible directly. The smallest head here has fifteen organs in each of twenty-one rows and its dip is measurably wider than the scaling predicts; the two larger heads sit on the law. Reading the three as a single scaling would have given an exponent between 1 and 2 and no indication that anything was wrong.

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.

Divided by the denominator, the coefficient is one numbern²·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 the previous phase's constant of 1,400 to 3,300 was three measurements of the small-denominator end of it.22.102.202.30divergence angle, as a fraction of a turnn²·w divided by the denominator (logarithmic)149991432061661613/85/138/2113/3421/5534/89spread 2.1 across the sixsix denominators · n²·w/qgenerated from a stated rule, not drawn to look right
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. 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 previous phase made the same choice about the reading-error law for exactly the same reason.

Why the old numbers were what they were

The previous phase 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 phase, 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. 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.

What a factor of q means

The previous phase’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.

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 this site now takes a background from: 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 previous phase 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.0.1000.2000.3000.4000.500-0.400-0.300-0.200-0.10000.1000.2000.3000.400degrees from 13/34, at 137.6471°μ₂, the second moment of the side-count distribution21/55the background from the clear offsets: 0.279the old single sample: 0.24113/34 · head of 791generated from a stated rule, not drawn to look right
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 the previous phase’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 version of the claim that does survive measurementThe golden angle scores 0.4377, against 0.3306 for the best of 800 other angles sampled. The dashed line is Hurwitz's 1/√5, which no number can exceed.00.2000.400120130140150divergence angle (°)resistance to rational approximation (higher is more irrational)1/√5 — the bound137.508° — 0.438800 angles on a 0.05° grid, plus the golden angle exactlythis claim is sharp
Fig. 6 The arithmetic underneath the whole question, from the phase that measured how well angles are approximated by fractions. The density of rationals at a given denominator decides where a background can be taken from, how wide a dip can be before it meets its neighbour, and which denominators can be measured at all — three separate limits in this thread that turn out to be one fact.

What this closes, and what it opens

Closed: the previous phase’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 gaps close faster than the dips narrowFor each Fibonacci fraction, the distance to the nearest other rational with a denominator of 60 or less, and the half-width of its own dip at the smallest head that resolves it. The gaps fall from 0.763° at 3/8 to 0.0735° at 34/89; the dips stay between 0.0077° and 0.0155°. The dips never touch — the closest they come is a factor of 10 — so what stops the measurement is not the dips overlapping but the background between them ceasing to be flat. The clear offsets available fall from 72 to 53.-2-1.50-1-0.5000divergence angle, as a fraction of a turndegrees (logarithmic)3/85/138/2113/3421/5534/89to the nearest other rationalthe dip's own half-widthsix denominatorsgenerated from a stated rule, not drawn to look right
Fig. 7 The two quantities that decide how far this can be pushed. The dips narrow slowly and the gaps close quickly, and where the two curves meet is where a dip stops having a neighbourhood to be measured against. On this range they do not meet, and the range is not much longer than this.
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 0.40° 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.646° — which is 360 × 13/34 — it is 0.063. The ticks along the top are the fractions p/q, placed from arithmetic rather than from the curve.00.1000.2000.3000.400137138138138divergence angle, degreesμ₂, the mean squared departure of a cell's side count from six13/34201 angles · 0.0020° apart · 900 points eachmarks are the fractions, placed from arithmetic
Fig. 8 The curve all of this is measured on, over the stretch that contains the two fractions with denominators of 34 and 55. The staircase the previous phase found is the flat parts; the dips are the notches; and this essay is entirely about how wide the notches are and what sets their width.
The statistic everybody reports is the one that cannot varySix 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.mean sides per cell(forced to six)mean squared departure from six(not forced)whorled, 144°5.9860.023golden, 137.508°5.9900.253rational, 137.5°5.9900.255Lucas, 99.502°6.0360.255137.0°5.9900.291Poisson5.9691.830six433–637 interior cells each, inside 86% of the radiussame cells, same cut, two statistics
Fig. 9 The statistic itself. Its mean is six by Euler’s formula whatever the angle, so all the information is in the spread, and the spread is what dips. Nothing in this essay would exist if the mean carried the signal — a quantity fixed by a theorem is a quantity with nothing to measure.
How the largest gap behaves as the head fillsThe rational angle's gap grows by a factor of 2.6 over this range; the golden angle's stays within 1.30. This is the claim about 137.5° that survives measurement.02.5057.50105001e+31.5e+32e+3number of primordialargest empty gap, in units of the mean spacing137.508° (golden)137.3°135° = 3/8 of a turngaps measured from the triangulationan asymptotic claim, not a contest
Fig. 10 And the other head-size law in this thread, for contrast: how the gaps in a packing behave as a head fills. That one is about the golden angle and this one is about the rationals, and the two together are why “how ordered is this head” is not a question with an answer until the head size is stated.
How many sides the cells actually haveThe mean is 5.908, which Euler's formula forces. The spread around it is not noise — a tiling of only hexagons cannot close up on a finite patch.5 sides13420%6 sides45869%7 sides7311%665 bounded cellsmean 5.908 sidessix is forced, not chosen
Fig. 11 The distribution at a head of 700, where a denominator of 89 has fewer than eight organs per row and the dip is not there to be measured. The floor is not an abstraction: it is the difference between a head that has rows and one that has an angle.
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 this site now takes a background from: 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 previous phase 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.0.1000.2000.3000.400-0.400-0.300-0.200-0.10000.1000.2000.3000.400degrees from 34/89, at 137.5281°μ₂, the second moment of the side-count distribution21/55the background from the clear offsets: 0.175the old single sample: 0.18634/89 · head of 2069generated from a stated rule, not drawn to look right
Fig. 12 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