Thin-torus two-birth limits and source modes (stacked on #710; do not merge) - #716
Draft
LightChainr wants to merge 1 commit into
Draft
Conversation
… 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.
Owner
Author
This was referenced Sep 12, 2026
Owner
Author
|
Compatible, not a rewrite. Draft #718 proves the matching root on the same super-thin sequence still → |
This was referenced Sep 12, 2026
Open
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
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,Fis the mixture of birth timesT1,T2, not the rank law at fixedp. Elementary barriers:so for each fixed
wandp∈(0,1), asm→∞:r→1,M→0,F→1/2pointwise, whileLower 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: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, unconditionalFstill → 1/2. Median slopeQ'(1/2) ∼ 2/(m h'(q) λ_*^m): exponential bias vs exponential ill-conditioning.Independent Bernoulli snapshots at one
pare the wrong estimator for the root (atq4,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 ordersM:16,E:28, tilted numerator 28,Z(e^s=2):29. A fixed source tilt shifts the root by1/m; untitled matching-root bias isO(λ_*^m). Source reflection can be restored trivially by rank-1 concentration.Width-4 quartiles from small matrix powers (not a million-row MC):
m=32IQR0.421;m=10^6IQR0.957, median limit still Jacobsen n=4q4.Independent Grok check
c_w= #{words in {-1,0,1}^w summing to 0} =[z^w](1+z+z^2)^w= 3,7,19,51,141,393.r≠0, empty row ⇒r≠2, zero failures.P0,P2sit under the stated elementary bounds atp=1/2.d543ba1.Q_025(m=32)=0.36373322…matches the report.Z=1+M sinh s+E(cosh s-1)is the mgf of a{-1,0,1}-valuedX.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.