Skip to content

Thin-torus two-birth limits and source modes (stacked on #710; do not merge) - #716

Draft
LightChainr wants to merge 1 commit into
analysis/width4-parametric-onsets-20260912from
analysis/thin-torus-source-20260912
Draft

Thin-torus two-birth limits and source modes (stacked on #710; do not merge)#716
LightChainr wants to merge 1 commit into
analysis/width4-parametric-onsets-20260912from
analysis/thin-torus-source-20260912

Conversation

@LightChainr

Copy link
Copy Markdown
Owner

Draft. Do not merge. Stacked on #710 (which is stacked on #708). Needs those two JSON certificates; blob hashes match. No new MC, GPU, or p_c.

What

On the (w,0)×(0,m) torus, F is the mixture of birth times T1,T2, not the rank law at fixed p. Elementary barriers:

P0(p) ≤ (1-p^w)^m,   P2(p) ≤ [1-(1-p)^w]^m

so for each fixed w and p∈(0,1), as m→∞: r→1, M→0, F→1/2 pointwise, while

L(T) ⇒ ½ δ_0 + ½ δ_1.

Lower quantiles → 0, upper → 1; the median may still → q_w. Inverting a limiting flat CDF does not recover the finite median. Same split if w=o(log m) (e.g. w=j, m=⌈e^{j²}⌉). This does not refute #613 (ℓ_N/log N→∞); here that ratio → 0.

Joint limit for each fixed integer w≥2:

(m^{1/w} T1, m^{1/w}(1-T2)) ⇒ (A_w, B_w) independent,
P(A_w>x)=e^{-x^w},  P(B_w>y)=e^{-c_w y^w},
c_w = [z^0](z^{-1}+1+z)^w  (= 3,7,19 for w=2,3,4).

Finite-sample covariance of births is nonzero (exact 2×3: 1123/58800). Cylinder crossing balances two rare sectors: Pr(r=2|r≠1) is a sigmoid, unconditional F still → 1/2. Median slope Q'(1/2) ∼ 2/(m h'(q) λ_*^m): exponential bias vs exponential ill-conditioning.

Independent Bernoulli snapshots at one p are the wrong estimator for the root (at q4, m=128, E≈8.49e-10). Not a lower bound on Newman–Ziff / exact transfer.

Source: Z=1+M sinh s + E(cosh s-1). Generic orders M:16, E:28, tilted numerator 28, Z(e^s=2):29. A fixed source tilt shifts the root by 1/m; untitled matching-root bias is O(λ_*^m). Source reflection can be restored trivially by rank-1 concentration.

Width-4 quartiles from small matrix powers (not a million-row MC): m=32 IQR 0.421; m=10^6 IQR 0.957, median limit still Jacobsen n=4 q4.

Independent Grok check

Full-repo CI not run. Do not re-dispatch the same #613/#276/#582/#337 tasks.

Out of this PR

#613 stays as stated. Next new theorem would be a sharp geometric condition for a threshold step to p_c, not more thin-torus lengths. Cross-width inference must control (i) rare-sector balance, (ii) two-birth law, (iii) source-visible modes — one object does not proxy the other two.

… at 0,1

Fixed width w: P0<=(1-p^w)^m, P2<=[1-(1-p)^w]^m so r->1 and F->1/2 pointwise
while the threshold law L(T)=> (1/2)delta_0+(1/2)delta_1. Joint scaled births
(m^{1/w} T1, m^{1/w}(1-T2)) => independent Weibull with c_w the central
trinomial. Cylinder root q_w balances two rare sectors, not a bulk jump.

Width-4 source: E=P0+P2 has generic order 28 (12 modes cancelled by M).
A fixed nonzero source tilt moves the root by 1/m; the untitled matching
root's bias is exponentially small. Does not weaken #613 (here ell/log N->0).

Stacked on #710. Additive. Do not merge. Full-repo CI not run.

Copy link
Copy Markdown
Owner Author

Do not merge. Stacked on #710/#708. Independent: c_w=3,7,19; exhaustive 2×3/3×2/4×2 barriers (full row ⇒ r≠0, empty row ⇒ r≠2); P0,P2 under the elementary bounds at p=1/2; certificate SHA-1 match; 12 tests on d543ba1. Full-repo CI not run.

Copy link
Copy Markdown
Owner Author

Compatible, not a rewrite. Draft #718 proves the matching root on the same super-thin sequence still → p_c while this PR’s L(T) splits to the endpoints. Keep both. Do not merge either.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant