P337: reject finite pure-thermal landing rank one with exact witnesses - #545
Closed
LightChainr wants to merge 21 commits into
Closed
P337: reject finite pure-thermal landing rank one with exact witnesses#545LightChainr wants to merge 21 commits into
LightChainr wants to merge 21 commits into
Conversation
Owner
Author
生命周期判决:关闭为 scope-limited unmerged support本次已读到固定 head 保留的可靠增量是:任意 关闭原因:
可靠结论与边界已吸收到 PR #509 head |
This was referenced Sep 1, 2026
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.
Purpose
Advances the bounded algebraic gate in #537. This PR does not claim to close the final asymptotic
T_Nrate, identify a continuum field, or authorize new Monte Carlo.The tested object is the ordinary-four-arm landing source/thermal matrix across the first essential birth (
0->1) and completion (1->2) transitions:where
Tis the ordinary Bernoulli thermal score,Ais the canonical pair-source midpoint score, and both use the existing fixed-rootell_4=axis-diagonallanding character.Exact result
Decision:
FINITE_PURE_THERMAL_RANK_ONE_REJECTED.All-scale physical family
For every
R>=1,L>=2R+5on the axisLxLtorus, explicit equal-occupation configurations give ordinary four-arm landing to radiusR, transitions0->1/1->2, and canonical source-midpoint difference-2/L^4. Their two-state minor isnonzero for every
p>=1/2. This rejects a pointwise/common-counterterm identity at arbitrary declared landing radius. The individual states have exponentially small probability and are not an asymptotic lower bound.Complete L4 aggregate
The exhaustive fixed-root enumeration reproduces the merged landing oracle exactly:
At
p=1/2,The
a=Kpositive control is rank one exactly.Matching-root Schur and mixed-Hessian certificate
Let
The matching-root Schur choice is
beta=Q(A)/Q(T). It givesA standard-library Sturm calculation proves, on the exact axis-L4 matching-root interval
[0.59,0.60]:Psihas zero roots and is negative;Shas zero roots and is negative;Psi'*S-Psi*S'has zero roots and is negative.Therefore the finite root-conditioned even response and its mixed thermal derivative are both strictly positive throughout the root interval:
This directly rejects the finite pure-thermal explanation at the complete root-conditioned mixed-Hessian level, not only at an unconditioned matrix-rank level.
Independent validation actually run
Consequence and boundary
Under #537's declared stop rule, the exact pure-thermal rank-one cancellation route should stop. The surviving finite coordinates are
The remaining open problem is the signed critical/near-critical scaling of the aggregate
G_4, with kernel reconnection, rank/readout pivotality and pooled-root Schur terms kept together. This PR does not prove a nonzero infinite-volume limit or the final rate required by #537.