Field

Packing and tiling

How evenly a pattern fills its disc is a statement about cell areas, and it can be measured four ways that disagree. Cells average six sides because Euler's formula leaves them no choice.

Why the average cell has six sides

Not because hexagons are efficient. Because Euler's formula leaves a tiling no choice — count the edges two ways and the mean comes out at six, whatever the cells would prefer. The efficiency argument is a different claim about a different thing.

Closest pair across 120–155° at 400 organs, read both ways. On the interior's scale the golden angle reads 0.9027 and ranks 1st of 72, against 0.9026 for the best grid angle at 137.5°, with the window running from 0.0668 to 0.9026; counting the rim's cells the golden angle reads 0.7076 and ranks 2nd of 72, against 0.7129 for the best grid angle at 137.5°, with the window running from 0.0331 to 0.7129. The dashed upright is the golden angle, which a grid of decimal degrees never lands on and which is therefore read separately.

Packing, measured four ways

The claim is that the golden angle packs best, and it is measurable. Read on the interior of a head, the two criteria about distance put the golden angle first among the angles near it and the two about cells are won by rational angles — which makes the claim half right, and makes the right half a statement about a class of angles. An earlier reading of the same four criteria, divided by the cells at the head's edge, said the opposite.

How the largest gap behaves as the head fills, on the interior's scale, from 150 to 2000 organs. On the interior's scale, the rational angle's gap grows by a factor of 3.8 over this range, from 2.48 to 9.38 spacings; the golden angle's runs from 0.841 to 0.844, decided at radius 0.871 at every size, and 137.3° reaches 0.863. A rational angle's gap is unbounded and an irrational one's is not, which is a claim about growth rather than about a value at any one head.

The gap that grows

A rational divergence angle develops an empty wedge that grows without bound as the head fills — a factor of 2.9 between two hundred primordia and sixteen hundred, and 3.8 from a hundred and fifty to two thousand. An irrational one does not. That is the division between rational and irrational angles that survives measurement.

Cell area against side count, at 0% disorder. The dashed line is Lewis's law, (n−2)/4. The fitted slope here is 0.014 against his 0.25, and the side count accounts for 20% of the variation in area.

Lewis's law wants disorder

Cell area rises linearly with side count — measured on cucumber epidermis in 1928 and quoted ever since as a property of packed tissue. It holds beautifully on a random point set, with a fitted constant of 1.64 against Lewis's 2. On a phyllotactic head it does not hold at all: the slope is 0.009, and area and side count are almost independent.

Two laws that want opposite tissue

Lewis's law and Aboav's relation are quoted side by side as properties of cellular tissue. Measured on the same two tilings they point opposite ways — the ordered head satisfies Aboav's with the textbook value of 1.18 and fails Lewis's completely; the random set does exactly the reverse.

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.

The second moment is the measurement

The mean number of sides in a cellular tissue is six, and Euler's formula leaves it no choice — so it takes the same value on a golden-angle head, a whorled head and a set of random points. On heads of nine hundred organs the mean squared departure from six varies by a factor of eighty across the same three, and almost nobody reports it.

The six are the spirals

Label every contact between two cells in a seed head with the difference between the two nodes' placement indices. The labels are the parastichy numbers — 34, 55, 21, 89 — and the six sides Euler forces turn out to be about two from one family, one and a half from the next, and one each from two more.

$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°.

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°.

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.

$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.

$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.

$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.

$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.

$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.

$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.

135 fives and 129 sevens among 1631 interior cells. The side counts of every cell strictly inside a golden, 137.508° head of 2400 organs, cut at 86% of the radius. The fives and the sevens are counted apart rather than summed into a spread, because they are opposite charges and the sum hides them. Summed over the interior, 264 cells that are not hexagons carry a charge of +6. Over the whole patch the charge is 294, which is exactly 6 + 2·144 — a number fixed by the 144 cells on the patch's own boundary and carrying nothing whatever about the interior. The defects are not scarce; they are balanced.

An interior that is nearly neutral

Give every cell a charge of six minus its number of sides and the total over a tessellated head is fixed by its own boundary, exactly, with nothing left over for the interior. On a golden head that freedom is spent on 264 exceptions among 1,631 cells which cancel to six.

264 exceptions in a 2400-organ head, and eight circles. A golden, 137.508° head of 2400 organs, tessellated inside 86% of its radius. Every interior cell is drawn, and the 135 five-sided cells and 129 seven-sided ones are marked apart from the 1367 hexagons, and the pale circles are radii computed from the divergence angle through the lattice's third-shortest vector — nothing is fitted. Every defect sits within 0.64 of a cell spacing of one of those eight circles, and between them there is not one exception in hundreds of cells.

The defects lie on rings

The cells in a seed head that are not hexagons are not scattered through it. Every one of 264 sits within a cell of a radius computed from the divergence angle alone, the radii are a factor of φ apart, and between two of them lie 422 consecutive cells without a single exception.

Every five is bound to a seven

A five-sided cell beside a seven-sided one is one object in a crystal and two exceptions in a tiling, and the phyllotaxis literature borrows the crystallographic word without measuring the binding. Measured against a seeded permutation null on a 2,400-organ head, every five in the interior shares a wall with a seven, and the loneliest one in the head is 0.927 cell spacings from the nearest.

The defect rings are not where the counts change — they are √φ further out. A logarithmic radius axis for a golden, 137.508° head. The lower marks are the radii at which the counted parastichy pair changes, where the two shortest lattice vectors change places; the upper marks are the radii at which a cell's neighbours change, where the third-shortest does. They interleave, and the ratio of each ring to the transition inside it is 1.2715, 1.2723, 1.2723, 1.2719, 1.2719, 1.2723 against √φ = 1.27202. Consecutive rungs are a factor of φ apart in radius and √φ is their geometric midpoint, so a defect ring sits exactly halfway between two parastichy transitions. Anyone looking for the defect line at the radius where the counts change will not find it there.

The rings are not the transitions

A seed head has two ladders on it — the radii where the counted parastichy pair changes, and the radii where the exceptional cells sit — and the obvious guess is that they are the same ladder. They are not: the second sits a factor of the square root of phi outside the first at every rung of two different divergence ladders, which is exactly halfway between two consecutive transitions.

A cut-off would have to exceed 2.236 and not exceed 1.441, and nothing does both. Each of the 608 interior cells contributes two marks: its furthest wall, and its nearest partner that is not a wall, both in units of that cell's own shortest lag. A single cut-off would have to sit to the right of every mark of the first kind and to the left of every mark of the second, and the two clouds overlap — the extreme cases are 2.236 at 0.0 per cent of the radius and 1.441 at 60.0 per cent. So the interval is empty by a factor of 1.55, while 606 of the 608 cells have a cut-off that works for themselves.

No cut-off makes them one

Two different relations on a head have both been called neighbour: the shortest index lags a count keeps, and a shared Voronoi wall. A cut-off that turns the first into the second exists for almost every cell taken alone, and for no whole head at any size.

$One cell's six walls, and the two the pair 34 and 55 does not name. The cell of primordium 225, at 50 per cent of the head's radius, with each of its six walls labelled by the index difference across it. Its own counting instrument returns 34 and 55, which names four of them; the two drawn warm are 21 and 21, a family the instrument ranked and discarded. Over the whole head that is 33.80 per cent of the union in dispute, and it is the same fraction in every band.$

Two thirds of a cell

The founding claim of this field is that the six sides Euler forces are the spiral families. Measured against the tessellation it names two thirds of a cell's walls exactly, in every band of a head and at every rise of a stem, and the missing third is the same third everywhere.

Two rankings, one list

An essay in this collection claimed that the four shortest index hops on a seed head and the four largest shares of its cell walls are the same four numbers in the same order, and called the correspondence exact. Measured again from the same points, the two lists hold the same four families and order them differently, and they order them differently in five of the six bands the head can be read in.

A stem is a thread at six rises of the sweep, a ribbon at 23 and a surface at 111. The 140 rises of the sweep, split by how many index families the tessellation carries. On 6 rises above 0.5010 a node has 2 walls and the strip is a thread; on 23 between 0.2187 and 0.4833 it has 4 and is a ribbon; on 111 below 0.2109 it has 6 and is a surface. The comparison means something different in each: two families leave 33.333 per cent in dispute on the surface and 0.00 on the ribbon, and three families leave 0.000 and 33.333.

The third family

On a seed head no threshold makes the counted contacts and the shared cell walls the same relation. On a stem they are the same relation exactly, at every one of a hundred and eleven rises and to three decimal places of nothing, provided the contact cut keeps three families where a count keeps two.

The cell area a 137.508° golden head's packing is divided by, at 10 sizes. Counting every bounded cell the mean area runs from 3.607 to 38.828, the largest at 150 organs, because the cells just inside the edge of the head reach out to circumcentres far beyond it. Leaving out every cell whose polygon crosses the head's own radius, it stays between 3.1425 and 3.1634 at every size drawn, which is π, the area the square-root rule gives each organ.

Packing, measured against the interior

An earlier reading of these heads reported that no packing criterion singles out the golden angle and that three criteria give three winners. Every one of those readings was divided by a mean cell area that, on a head of 150 organs, was 38.8 where the interior's is π. Divided by the interior's own, the criteria about distance put the golden angle first of 72 angles and the criteria about cells go to rational ones.

The largest empty circle of a 2400-organ 137.508° golden head, ring by ring. Each dot is the largest empty circle in one ring of the head, on the interior's scale. The whole head's is 0.8437 at radius 0.871, at the centre; the rings peak at the radii where the lattice flips from one pair of neighbours to the next, and at the 4 flips beyond radius six the head reads within 0.0020 of the closed form. The dashed line is 1/√2 = 0.7071.

One over root two

On the interior's scale a golden head's largest empty circle is 0.8435 of a spacing at every size from 150 organs to 2,000, because one triangle at its centre decides it. Everywhere else it is 1/√2 — a square cell at every ring where the lattice flips — and a closed form in the angle's continued fraction says that only noble angles hold it there.

The empty interval is the rings

No single cut-off on hop ratio turns the contacts a count keeps into the walls a tessellation draws, on any whole head at any size. Read cell by cell against the flip rings the divergence angle puts in closed form, every disputed cell lies within two thirds of a wall spacing of a ring, and with one spacing either side set aside a single cut-off between 1.430 and 1.444 serves every golden head from 900 organs to 9,000.

The second moment of five arrangements' side counts against the number of organs on the head. μ₂ on logarithmic axes for heads of 300 to 10,000 organs. Golden: 0.455 at 300 and 0.101 at 10,000; Lucas: 0.362 at 300 and 0.086 at 10,000; 137.5°: 0.453 at 300 and 0.045 at 8,000; whorled: 0.070 at 300 and 0.003 at 8,000; Poisson: 1.727 at 300 and 1.749 at 8,000. The Poisson set is a mean over three seeds. The dashed line is 6.83 over the square root of the organ count, the level the golden head returns to just before each defect ring enters the cut.

A second moment that goes to zero

The mean squared departure of a cell's side count from six separates a random tissue from a whorled head by a factor of eighty, on heads of 900 organs. Read at thirty-three head sizes it is exactly the share of cells on the defect rings of a spiral head and falls as one over the square root of the organ count, it falls as one over the count on a whorled head, and the factor is 25 at 300 organs and 677 at 8,000.

All 8 fields · every essay