Stems and cones

The grid was in the number

The rule places each organ at the least of a profile sampled at a fixed number of azimuths, and every flat run on this site samples 384 of them — a step of 0.94°, against a disturbance of a quarter of a degree. The quantisation is the larger of the two, it is white, and it moves the discriminator from 0.79 to 0.62. The convergence study the last phase asked for, in the place it turned out to matter.

Worth reading first: The rung was not the instrument · Errors that pass between organs · The sequence has a memory.

The placement rule this collection runs on is continuous in its statement and discrete in its implementation. Each organ goes where the repulsion from the organs already present is least, and least is found by evaluating the repulsion at a fixed number of azimuths around the circumference and taking the smallest.

Every flat-rise run on this site uses 384 of them. That is a step of 0.94°.

The disturbance those same runs carry is a quarter of a degree.

The arithmetic that should have been done four phases ago

A quantisation to a grid of step s is, to a good approximation, an additive error uniform on ±s/2, which has a standard deviation of s/√12. At 384 azimuths that is 0.27°.

The disturbance the stems are given is 0.25°.

So the larger of the two displacements each organ carries is the one nobody put there, and it has a property the intended one does not: it is white. It is independent from organ to organ by construction, because it is a rounding of one organ’s answer that has nothing to do with the rounding of the next one’s.

Three kinds of noise, matched at 0.75° of divergence scatterThe amplitudes differ — field 0.0056 (fraction of the barrier), jostle 0.15 (degrees of azimuth), placement 0.18 (degrees of azimuth) — and are in different units, so they cannot be compared directly. What can be compared is what they produce, and matched here they are within 27% of one another. Everything a finished pattern records about its noise is shared between the three.field — before the choice0.92°amplitude 0.0056jostle — before the choice0.70°amplitude 0.15placement — after it0.79°amplitude 0.183 runs each, at the amplitude that reaches 0.75°27% apart on the ruler
Fig. 1 The distinction that makes this matter rather than merely being untidy: two stems with the same recorded scatter can differ in where the disturbance came from, and the sequence statistics follow the disturbance rather than the amplitude.

A white disturbance dilutes a correlation, and it dilutes the two combs differently, because they have different numbers of members and sit at different lags. Which means the ratio of the two — the quantity that separates a placement rule from a transported disturbance, and the only quantity that survived the previous phase — has a grid in it.

The measurement

The whole sweep, at a rise of 0.005, five stems at each grid, everything else identical:

At 384 azimuths the ratio is 0.62; converged it is 0.82The comb ratio and the recorded divergence scatter at a rise of 0.005, against how finely the rule samples the circle when it takes its minimum. At 384 azimuths — the grid every flat run on this site uses, and the grid the previous phase's 0.65 was measured on — the step is 0.94°, which is larger than the 0.25° disturbance the stems carry. The quantisation is white noise, it dilutes both combs, and it does not dilute them equally. The ratio settles at 0.82 from 1152 azimuths up, and the scatter loses 0.19° that belonged to the grid rather than to the stem.0.4000.6000.8001azimuths the rule samples the circle at (logarithmic)ratio, and the scatter a protractor would record, in degrees384768115215362304ratioscatterthis phase works hererise 0.005 · 5 stems a pointgenerated from a stated rule, not drawn to look right
Fig. 2 The ratio and the scatter a protractor would record, against how finely the circle is sampled. The quantity is still moving between 384 and 768, has stopped by 1,152, and the difference between the two ends is a fifth of it.
azimuths 384 768 1152 1536 2304
step 0.94° 0.47° 0.31° 0.23° 0.16°
ratio 0.62 0.77 0.79 0.79 0.82
main comb 0.63 0.60 0.58 0.57 0.60
second comb 0.39 0.46 0.46 0.46 0.49
scatter 0.70° 0.61° 0.53° 0.51° 0.51°

The correction is a fifth of the quantity, in the direction that matters, and it comes almost entirely from the second comb: the main comb barely moves while the second gains a sixth of its value between the coarsest grid and the finest.

That asymmetry is what the arithmetic predicts. The main comb here has three members and the second has four, at longer lags, and a white contamination costs a longer-lag correlation more.

What “converged” is being claimed here

The last three grids give 0.79, 0.79 and 0.82, which is not the same number three times, and it is worth being exact about what is and is not being claimed.

Each row is five stems, so each ratio has a sampling error of its own. The five stems at 1,152 azimuths give individual ratios spanning about a tenth either side of their mean, so a standard error on the mean of roughly four hundredths — which makes 0.79 and 0.82 a difference of well under two standard errors, and 0.62 against 0.79 a difference of four.

The claim is therefore: the ratio changes by an amount the sampling cannot explain between 384 and 768, and by an amount it can explain between 1,152 and 2,304. Read that way the study says the grid has stopped mattering by 1,152, and it does not say the converged value is 0.79 rather than 0.82 — the honest figure is 0.79 ± 0.03, which is the number this thread now carries and quotes to two figures.

That distinction is not pedantry. A convergence study that reports its last two points as identical when they differ by three per cent has hidden the size of its own residual, and the residual here is a fifth of the correction it was measuring.

The scatter, which is the check

The recorded divergence scatter falls from 0.70° to 0.51° as the grid is refined, and that is not an incidental observation — it is the confirmation that the extra correlation loss was quantisation and not something else.

A divergence is a difference of two azimuths, so a quantisation error of 0.27° on each contributes 0.27 × √2 = 0.38° to the scatter, in quadrature with whatever else is there. Taking the converged 0.51° as the stem’s own scatter, the predicted coarse-grid figure is √(0.51² + 0.38²) = 0.64°, against the measured 0.70°.

Within a tenth of a degree, on a prediction with nothing fitted in it. The grid is doing what a disturbance of 0.38° would do, because that is what it is.

What the experiment costs, in internodesThe combined sampling band of two autocorrelations falls as one over the root of the sequence length. The difference to be resolved is 0.76 — between noise that arrives before the primordium is placed and noise that arrives after — so the count needed is 56 internodes on a single stem. Every other open question in this collection is priced in tens of specimens.00.2500.5000.750100200300internodes counted on one stemsmallest difference in correlation the count can resolvethe difference to resolve — 0.7656 internodesmatched at 0.75° of scatterone stem, counted once
Fig. 3 What the readout needs in the way of stem length at a given scatter, from the phase that priced it. An unintended 0.38° of scatter is not free: it is a substantial fraction of the disturbance budget the instrument was specified against.

Why nobody caught it

Three reasons, and none of them is carelessness, which is the reason to write them down.

The grid was chosen against a different question. 384 azimuths were fixed when this site’s flat runs were introduced, and the question then was whether the divergence sequence has a memory — a lag-one correlation of −0.6, which is large and which a tenth of a degree of extra scatter does not touch. A parameter adequate for one measurement was inherited by every measurement after it.

A coarse grid does not look like a coarse grid. It produces a lattice, at the right divergence, with the right counted pair, and with a scatter that is plausible for a plant. Nothing about the output says some of this scatter is mine.

And the site’s own convergence habit was applied to the wrong axis. The previous phase did a careful study of how many organs a reading needs and how long a window has to be, and it did name the sample grid as an untested axis — “a convergence study on the sample grid” was one of four things it recorded as asked for and not delivered.

The 13/21 rung, at two azimuth gridsFive stems at each of five disturbances, all at a rise of 0.0019, read through a lag window of 45 from a seed of 40 nodes. A filled mark is a stem that returned 13/21, which is what the position counter finds in it; an open mark is a refusal. The only difference between the two rows is how many azimuths the placement rule samples when it takes its minimum: 384, which every run on this site has used since the foundation phase, against 1152. At the coarse grid the rule locks onto its own sample points and the readout refuses 22 of 25 stems; at the fine one it reads all 25. The ceiling was a parameter of the program.disturbance0.080.10.130.150.18384 azimuthsstep 0.94°1 of 25 read 13/21scatter 44.9°1152 azimuthsstep 0.31°25 of 25 read 13/21scatter 0.4°rise 0.0019 · seed 40 nodesgenerated from a stated rule, not drawn to look right
Fig. 4 The phase that found a sample grid deciding whether a whole rung could be read at all, and left a convergence study for the phase after. This is that study, in a different place from where it was expected to matter.
What the finer grid does to the rises already publishedThe two rises this site has argued from and the one it published as having no answer, each read at both azimuth grids, five stems apiece. A filled mark agrees with the position counter, a half mark contradicts it, an open mark is a refusal. At 0.013 and 0.005 the readings are identical at both grids, so nothing already written depends on the sample count. At 0.008 they are not: 384 azimuths gives 5/8, 5/8 and 1152 gives 8/13, 8/13, against a counter that says 5/8. That rise was chosen in the previous phase because the three shortest lattice offsets there are within a fifth of each other, and a stem with no answer answering differently on a different grid is the object behaving as it was said to.risefive stemsthe position counter0.0133845/85/85/85/85/85/80.01311525/85/85/85/85/85/80.0053848/138/138/138/138/138/130.00511528/138/138/138/138/138/130.0083845/85/85/80.00811528/138/135/8the previous phase's settingsgenerated from a stated rule, not drawn to look right
Fig. 5 The same axis at two rises, from that phase’s own machinery. A grid that decides a verdict and a grid that shifts a number by a fifth are the same defect at two amplitudes.

What it costs to fix

Refining the grid is not free, and the arithmetic of what it costs is worth having, because the temptation with a finding like this is to refine everything.

The rule’s inner loop evaluates the repulsion at every sampled azimuth against every organ in the neighbourhood, so the cost of a stem is proportional to the number of azimuths. Going from 384 to 1,152 triples every flat run on the site. The comb thread’s ensembles, the mixture thread’s grids of rate against disturbance, the window thread’s overlapping readings — all of them triple.

That is affordable for a sweep of fifteen rises and five stems, which is what this thread needed. It is not obviously affordable for the grids of a hundred and more stems the mixture and window threads use, and those threads’ results are verdicts rather than continuous numbers, which is exactly the category the measurement above says is safe.

So the practical answer is not refine everything: it is refine what is quoted. A number that appears in a conclusion gets a convergence study; a verdict that clears its threshold by a factor of three does not, and the reason it does not is now measured rather than assumed.

The other symptom, which is worse

While checking whether the grid decides the ablation experiment’s answer, the same 384 azimuths produced something less subtle. Run the rule at this rise with no noise at all on that grid, and the stem does not settle on the golden angle: it settles into a repeating cycle of divergences at a mean of 185.8°.

That is the arrangement a mid-front ablation produces — a block of eight organs precessing slowly, which a counter reads as a two-jugate lattice — reached with no ablation and no noise, purely by rounding.

A cut eight back is never undoneThe divergences of a stem whose organ eight places back was removed, against the same stem uncut. It never returns. What it settles into repeats exactly every 8 organs — 47°, 96°, 137°, 273°, 138°, 271°, 230°, 272° — and holds that cycle for the whole 300-organ run, with a mean of 186° and a spread of 83°. A rule that corrects a displacement does not correct a deletion.100200300050100organs placed after the removaldivergence, in degreescycle of 8rise 0.005 · cut 8 backgenerated from a stated rule, not drawn to look right
Fig. 6 The state in question, reached by removing an organ. On a 384-azimuth grid a noiseless run finds it without any removal, which is the sharpest possible statement of what a coarse grid can do.

Every flat run on this site is a noisy one, and the noise is what has been keeping them off it. That is a fortunate accident rather than a design, and it has held for four phases without anybody knowing it was holding.

So the grid is not merely adding scatter. At this rise, on this grid, it puts a second attractor within reach of the arithmetic — and the reason the site’s results are not contaminated by it is a property of the disturbance amplitudes that happened to be chosen.

What else on this site runs on 384 azimuths

The honest answer is: everything with a flat rise in it. The constant-rise stems that the comb, the mixture, the colour and the window threads are all built out of use the same setting.

So the question is which of those results are of a kind a fifth of a dilution could move, and it has a short answer: verdicts are safe and continuous numbers are not.

Every claim of the form this stem reads 8/13, this arrangement has a comb and that one does not, these two windows agree, this readout refuses is a threshold crossing with a wide margin, and the grid moves the quantity by far less than the margin. Those are most of the results of the last three phases and they are unaffected.

The exposed ones are the numbers quoted to two figures: the comb ratio, which this essay corrects; the lag-one correlation of −0.6, which is a correlation and so is diluted in the same direction; and the recorded scatters, which now have a known 0.38° of grid in them wherever they were measured at 384. Of the three the first is load-bearing and has been redone, the second is used qualitatively and is not, and the third has been quoted as a plant-like amplitude in several places where it is a little too large.

A working rule falls out of the arithmetic and is worth stating for whoever runs the next flat stem: refine the grid until the quantisation error is under a third of the disturbance the stems are meant to carry. At a disturbance of a quarter of a degree that is a step of 0.29°, which is 1,240 azimuths — the same place the measurement above says it has converged, arrived at from the other direction.

The measurement is limited by the protractor, not by the plantThe peak falls as the reading error grows, and it falls by an arithmetic factor with nothing fitted: a position error enters two consecutive divergences with opposite signs, adding variance at every lag while the pattern's signal sits at one. At a quarter of a degree the readout is right on all 5 runs; at half a degree on 2; at a degree on 1. Below the dashed floor the peak is the largest of thirty noisy numbers rather than a measurement.00.2000.4000.6000.80000.50011.502reading error on each organ's position, in degreesheight of the peak at the parastichy numberwhat noise alone givesthe threshold a reading must clear5/5 right5/5 right2/5 right1/5 right1/5 rightpredictedrise 0.008 · 5 runs · pattern scatter 0.75°peak × σ²/(σ² + 2ε²), nothing fitted
Fig. 7 The instrument’s own precision budget, from the phase that priced it. An unbudgeted 0.38° inside an instrument specified against a 0.4° protractor is not a rounding detail.

The general shape of the mistake

This collection has made this mistake before, in a form that was recorded and then not generalised.

The mechanism-02 phase found that the neighbourhood the rule sums over was a property of the loop rather than of the model: the code took the most recent so-many organs, and that recency window turned out to manufacture patterns — an inverse-first-power rule with no lattice at all acquires a clean 8/13 once the loop is cut. The repair was to make the neighbourhood a stated cut-off with a width, so that it became a hypothesis about how far inhibition reaches rather than an artefact nobody had meant to state.

The azimuth grid is the same category of object and it had not been through the same repair. It is not a parameter of the placement rule; nothing in the rule says the circle has 384 positions on it. It is a parameter of the program, and like the recency window it turns out to do physical work — adding a disturbance, diluting a correlation, and at one rise putting a second attractor within reach.

The difference is that a cut-off can be made into a hypothesis and a grid cannot. There is no plant-side quantity that the number of sampled azimuths corresponds to. So the only correct treatment is convergence: refine it until the answer stops moving, and report the grid at which it stopped.

The landscape the rule chooses over, at a cut-off of 3 spacingsOne height of an ideal lattice, swept around the circle. The exponential cut-off hands the rule a smooth landscape; the hard one hands it a landscape with steps, because a neighbour enters the sum as the candidate slides past it. Halving the sample resolution multiplies the largest jump between neighbouring points by 2.00 on the smooth curve and by 1.04 on the hard one — which is the definition of the difference, since a smooth function's steepest step is bounded by its derivative and a discontinuity's is not. An argmin taken over steps is pinned to the steps.00.2500.5000.750100.2000.4000.6000.8001candidate azimuth, in turnsenergy the rule minimises, scaled to its own rangeexponentialhard — a step, not a sloperise 0.02 · p = 1two cut-offs, one lattice
Fig. 8 The earlier version of this lesson, from the phase that found it: a discontinuity in the profile the rule minimises pins the minimum to the discontinuity. A grid is a whole comb of discontinuities, evenly spaced, and it pins the answer to the nearest one.

What has to be re-read, and what does not

The comb ratio is 0.79 and not 0.65. Every use of that number is affected: the discriminator’s margin against a distance-weighted transported disturbance narrows from a factor of 2.0 to a factor of 1.6. It is still a separation and it is a weaker one.

The forgery results are not affected. The kinematic lattices the previous phase used to forge a comb are built arithmetically — organ i at i times the divergence plus an inherited error — with no minimisation and therefore no grid. Their numbers are exact and stand as reported.

The comb’s presence or absence is not affected. A dilution of a fifth does not turn a comb of 0.6 into no comb, and the qualitative results of the last three phases — that a rule makes a comb, that a memory does not, that a transport does — survive at every grid tried.

And the pairs are not affected. Every reading of 8/13 in this thread is 8/13 at every grid. The instrument’s verdicts are robust; it is the one continuous number it produces that was not.

Two combs, at a rise of 0.005The autocorrelation of 760 divergence angles from one stem held at a rise of 0.005. The filled teeth are the lags at multiples of 8; the open teeth are the second comb, at the same spacing offset by 5. Reading the spacing off the first and the offset off the second gives the pair 8 and 13, which is what the position counter reports for the same stem — from angles alone, with no coordinate anywhere in the calculation.-0.50000.500125810131621242629lag, in internodescorrelation between a divergence and the one that many internodes later816245132129spacing 8 · offset 5pair 8/13 — counter says 8/13the shaded strip is the sampling bandone stem · 760 divergences · disturbance 0.25generated from a stated rule, not drawn to look right
Fig. 9 The two combs whose quotient is at issue, on one stem. Their existence, their positions and the pair they name are all unchanged by the grid; only their relative size moved.
The two combs, in the proportions the rule gives themThe ratio of the second comb to the main one, for a kinematic lattice whose errors are inherited from its two contact neighbours, against how unevenly that inheritance is split. The horizontal line is where the placement rule's own stems sit, at 0.65. Weighted by distance — the coupling a d⁻³ interaction would give, which at this rise favours the 13-neighbour by 1.26 to one because the 13-hop is the shorter — the forgery sits at 1.46, well above the rule. It reaches the rule's value only at about 3 to one the other way, which is a factor of 4 against what distance supplies and in the opposite direction.0.4000.6000.80011.201.40-0.30100.1760.3010.4770.699how much more strongly the error is inherited from the 8-neighbour than from the 13-neighbourthe second comb's strength as a fraction of the main comb'sthe placement rule: 0.65equal combs1:21:11.5:12:13:15:1at 3:1 the ratio is 0.75kinematic lattice · 3 seeds a pointgenerated from a stated rule, not drawn to look right
Fig. 10 The discriminator as it now stands, with the corrected floor. A factor of 1.6 in the middle of a rung, and nothing at all within a twentieth of a transition.

There is one more thing to say, and it is about how the defect was found rather than about what it costs. Nobody went looking for it. The sweep across a rung was set up to answer a different question — whether the ratio is a constant — and the grid study was run only because the answer to that question was a curve and a curve invites the question is the curve real. The ablation thread found the second symptom independently, for the same reason: a displacement measured in degrees on a grid whose step is a degree is an obvious thing to check.

Two threads, run for unrelated reasons in one phase, both landed on the same parameter. That is the argument for doing the convergence study on a quantity before it becomes load-bearing rather than after: the ratio has been the site’s whole discriminator for a phase, and for that whole phase it was a fifth away from its own value.

Both vary; only one of them varies enough to findEach organ's step exponents, divided by its own mean so the two are comparable. The ogive's run over 15 per cent of their mean across 5 rings. The convex head's run over 1.15 per cent across 5 — inside the band a 3 per cent error on each ring position leaves, so no ruler separates it from a flat disc.0.9000.95011.050123which step of the ladderexponent ÷ its meanan ogive — 15%a convex head — 1.15%what 3% per ring allows5 rings on the ogive · 5 on the head15% against 1.15%
Fig. 11 The habit this belongs to. A quantity is measurable when the thing measuring it has been shown not to be contributing; every number in this collection that has been checked that way has moved, and every one that has not is waiting to.

Shares its objects with

Essays that name at least two of the same things, and that neither author linked.

  • A disturbance the organs share — both name artefact, autocorrelation, divergence angle, ensemble, honest limits, measurement, measurement error, noise, the placement rule, sampling, tolerance
  • A disturbance with a memory — both name artefact, autocorrelation, discrimination, divergence angle, ensemble, honest limits, measurement, measurement error, noise, the placement rule
  • A rule that cannot heal a hole — both name artefact, autocorrelation, divergence angle, ensemble, honest limits, measurement, noise, the placement rule, rise, tolerance
  • Two readings from one stem — both name artefact, autocorrelation, discretisation, divergence angle, ensemble, measurement, noise, rise, sampling, tolerance
  • The disturbance that travels — both name autocorrelation, discrimination, divergence angle, ensemble, honest limits, measurement, noise, the placement rule, tolerance
  • What one angle says about the next — both name autocorrelation, discrimination, divergence angle, ensemble, measurement, measurement error, noise, the placement rule, tolerance

Named objects

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

ArtefactAutocorrelationConvergenceDiscretisationDiscriminationDivergence angleEnsembleHonest limitsMeasurementMeasurement errorNoiseThe placement ruleRiseSamplingTolerance