2026-08-31 上下文恢复(原提案保留在下)
Trigger
The latest exact work changes what should be regarded as the primitive object.
Digital Alexander duality gives, on the honest square-cell torus,
r(omega) = rank im[H1(K(omega)) -> H1(T^2)] in {0,1,2},
M_N(p) = E_p[r]-1 = P_2-P_0.
The threshold-rank archive has also been reinterpreted pathwise:
K_minus = first essential ambient-H1 birth,
K_plus = second essential ambient-H1 birth.
At the same time #333 has now proved an important negative/clarifying statement. Two natural generic-Potts lifts of the same Q=1 observable,
H_Q = W_2D-W_0D,
C_Q = W_2D-Q W_0D,
agree at Q=1 but have different Q tangents; on the exact critical-polynomial section C_Q is identically zero while the unweighted homology lift has the nonzero tangent pi_0. Thus the raw Q tangent is a property of a declared generic-Q lift, not of Matching One alone.
There is a more intrinsic parameter direction already present at Q=1 and on the lattice itself: couple an auxiliary source directly to the ambient homology rank.
Canonical topological source
Define the centered ambient-rank variable
X(omega) = r(omega)-1 in {-1,0,+1}
and its finite-volume generating function
Z_top,G(p,s)
= E_p[ exp(s X) ]
= P_0(p) exp(-s) + P_1(p) + P_2(p) exp(+s).
Equivalently, with u=exp(s),
Z_top,G(p,u)=P_0 u^-1 + P_1 + P_2 u.
This definition:
- exists directly for site percolation at Q=1;
- requires no generic-Potts continuation;
- requires no field-normalization choice;
- uses exactly the ambient-homology observable already proved by the repository.
At s=0, Z_top=1, so
partial_s log Z_top |_(s=0)
= E[X]
= M_N(p),
partial_s^2 log Z_top |_(s=0)
= Var(r).
The mixed thermal/source derivative is equally canonical:
partial_p partial_s log Z_top |_(s=0)
= d/dp E[r]
= M_N'(p),
which is the total rank-birth pivotal susceptibility from #276.
So Matching One is exactly the linear response to an intrinsic topological source.
Exact two-dimensional source algebra
Because X takes only -1,0,+1, configuration by configuration
Hence the algebra generated by the unmarked ambient-rank observable is
After removing the constant, it has exactly two canonical directions:
odd: X
-> E[X] = P_2-P_0 = A_top = Matching One,
even: X^2
-> E[X^2] = P_2+P_0 = 1-P_1 = E_top.
In particular
partial_s^(2k+1) Z_top|_0 = A_top,
partial_s^(2k) Z_top|_0 = E_top for k>=1.
This is an exact minimal topological state, not a learned PCA/Hankel rank.
It gives a sharp boundary for the low-rank discussion: any additional scalar direction required by the thermal jet cannot come from unmarked ambient rank alone. It must enter through thermal/history dependence, projective-line or integral-subgroup marks, local/defect data, or another bulk field.
Do not identify this exact 2D source algebra with a rank-2 Virasoro/Jordan module. The RG action on these two observables is a separate question.
Full Alexander functional duality
For the primal square-site configuration and its matching complement, the exact theorem gives
r_G(omega) + r_Ghat(omega^c) = 2,
so
X_G(omega) = -X_Ghat(omega^c).
Because complement sends Bernoulli p to Bernoulli 1-p, the whole generating function obeys
boxed:
Z_top,G(p,s)
= Z_top,Ghat(1-p,-s).
This is stronger than the first-moment matching identity. It implies the complete cumulant hierarchy
kappa_n^G(p)
= (-1)^n kappa_n^Ghat(1-p)
for X wherever the digital-Alexander theorem applies.
The ordinary matching function is just the n=1 member.
On an exactly self-matching realization at p=1/2, Z_top(s) must be even and every odd topological-source cumulant vanishes exactly. This is a cheap positive control.
Continuum interpretation without a Q lift
Arguin's critical Q=1 torus relation gives
for every modulus. Therefore the continuum source function
Z_top,cont(tau,s)
= pi_0(tau)e^-s + pi_1(tau) + pi_2(tau)e^s
is exactly even in s at criticality:
Z_top,cont(tau,s)=Z_top,cont(tau,-s),
partial_s Z_top,cont(tau,0)=0.
The finite square-site matching signal can therefore be restated as:
the lattice approaches an exact continuum rank-source reflection symmetry, and Matching One measures its leading finite-spacing odd defect.
This formulation does not decide which irrelevant singlet produces the defect. The current vacuum/KdV, thermal-Q4/Jordan, ordinary mixing and topological/cover alternatives remain separate candidates.
But it provides a canonical source with respect to which odd/even is exact and lift-independent.
Phase A — exact source oracle on current HNF frontier
Use the existing digital-Alexander state cache / HNF filtration machinery; do not create a separate topology implementation.
For every theorem-supported quotient already exhausted, construct exactly
P_0(p), P_1(p), P_2(p),
Z_top(p,u),
A_top(p), E_top(p),
source cumulants kappa_1..kappa_4.
Verify independently:
partial_s Z_top|_0 = M against the existing matching polynomial;
partial_s^2 Z_top|_0 = P_0+P_2;
X^3=X reduction of all higher raw source derivatives;
- full functional duality
Z_G(p,s)=Z_Ghat(1-p,-s) on honest tori;
- the exact even-in-s law on self-matching controls;
- explicit failure/boundary classification on any degenerate quotients outside the theorem hypotheses.
The source algebra should be a small exact layer on top of existing states, not another exhaustive campaign.
Phase B — topological-source / thermal mixed jet
The two independent coordinates are now source order, not fitted modes:
A_top = <X>,
E_top = <X^2>.
Measure/derive their thermal derivatives jointly:
d_p A_top,
d_p E_top,
d_p^2 A_top,
d_p^2 E_top,
...
with the existing threshold-rank sufficient statistics whenever possible.
Ask whether the anomalous derivative/full-curve state closes in this canonical topology-source jet before adding an arbitrary second scalar bulk mode.
This is one correlated reanalysis when it uses existing histograms, not new evidence.
A sharp outcome is possible:
thermal jet closes in {A_top,E_top}
-> the extra finite-size state is topology-sector redistribution;
thermal jet needs a third direction even after exact source coordinates
-> unmarked rank cannot explain it; promote marked/defect/bulk structure.
Phase C — subgroup-valued refinement
Rank is deliberately coarse. The current exact filtration already distinguishes rational winding direction from integral subgroup/saturation data, and #334 proposes marking the first essential birth by its projective line.
Define a richer state sum schematically as
Z_sub(p)
= sum_{Lambda <= H1(T^2,Z)}
Prob(im H1 = Lambda) [Lambda],
or an equivalent character/Fourier transform.
Do not assume that nonsaturated integral subgroups are determined by their rational projective line. Store separately:
rank,
primitive rational line/subspace,
integral saturation/index data.
Derive before using it:
This would turn the line/index marks into coefficients of one representation-valued partition object rather than unrelated observables.
Phase D — relation to surface/cell-complex polynomial literature
There are close precedents but no direct identification should be assumed.
- Krushkal, arXiv:0903.5312, constructs a surface Tutte-type polynomial and a finer version whose coefficients retain subgroups of
H_1(Sigma), with surface duality controlled by the intersection pairing.
- Hiraoka--Shirai, arXiv:1602.04561, connect Bernoulli cell-complex persistence, lifetime sums, Tutte polynomials and higher random-cluster models.
- Krushkal--Renardy / Tutte--Krushkal--Renardy cell-complex polynomials (arXiv:1012.1310, 1204.3563) show how Alexander/Poincare duality becomes polynomial duality.
- Duncan--Schweinhart, arXiv:2207.08339 and 2406.08043, use homological fugacities in plaquette random-cluster models.
But #144/PR #229 already established the important obstruction: Matching One is a vertex-subset digital-homology state sum, not an ordinary edge-subset Krushkal/Tutte specialization.
The target is therefore not to undo that negative result. It is to ask whether the local-state/vertex-surface polynomial proposed in #144 admits Z_top or Z_sub as its natural homology-source specialization.
Phase E — compare with Potts-Q tangents only after both are typed
#333 has shown that generic-Q tangents depend on the lift.
The ambient-rank source gives a different, intrinsic derivative direction:
partial_s at fixed Q=1 site ensemble.
Compare it with #258/#262/#263 only after the generic-Q lift/path/projector conventions are explicit.
The useful question is then not
but
which Potts/defect/categorical continuation represents the same topological-source insertion in the continuum, if any?
An obstruction is a valid answer.
Bold conjecture
My strongest current guess is:
Matching One is fundamentally a topological-source response, not a Potts-Q derivative.
The scalar matching observable is the first source moment of the ambient homology image. Potts-Q derivatives are valuable continuum probes, but they are coordinate/lift-dependent ways of moving through a larger theory family. The s source is intrinsic to the Q=1 lattice observable itself.
A stronger version is that the relevant continuum object is a defect/topological-sector chemical potential whose odd source response is restored to zero at the critical fixed point; the observed spin-4 signal is the leading irrelevant violation of that topological-source symmetry.
This stronger statement must earn a defect/CFT realization; it is not part of the exact claim.
Falsification / simplification
- If the
{A_top,E_top} thermal jet is algebraically identical to an already-canonical two-coordinate view, record the exact map and use the existing implementation rather than creating a parallel analysis stack.
- If the subgroup refinement adds no information beyond existing primitive-sector descriptors, keep only the rank source.
- If no continuum/topological-defect insertion realizes the
s source, retain it as an exact finite/probability generating function; do not relabel it as a local CFT coupling.
- The construction does not imply a closed form for
p_c.
- The plaquette random-cluster
q fugacity weights internal Betti data; it is a precedent for homological source variables, not automatically the same as this ambient-image-rank source.
Literature anchors
- Arguin, arXiv:hep-th/0111193 — critical torus FK homology sectors and
pi_2=pi_0 at Q=1.
- Krushkal, arXiv:0903.5312 — surface polynomial with homology-subgroup refinement and duality.
- Krushkal--Renardy, arXiv:1012.1310; Bajo--Burdick--Chmutov, arXiv:1204.3563 — cell-complex polynomial duality from Alexander/Poincare topology.
- Hiraoka--Shirai, arXiv:1602.04561 — Bernoulli cell complexes, persistent homology, Tutte polynomials and random-cluster models.
- Duncan--Kahle--Schweinhart, arXiv:2011.11903 — ambient giant-cycle homological percolation on tori.
- Duncan--Schweinhart, arXiv:2207.08339; arXiv:2406.08043 — topological random-cluster / duality structures.
Related: #111, #114, #144, #156, #249, #258, #269, #275, #276, #321, #333, #334.
2026-08-31 上下文恢复(原提案保留在下)
c1a72e5在该 branch_only 定理中给出 iota=1,使 index≠1 不再提供额外状态自由度,但不消除 line/local/history 信息。2d2a9ab,N325/N425各20k)分辨 W_line/JS 的不同响应方向,joint chi²_4=149.93/246.93。旧 O_far/O_sep4 未分辨不能再解释为 source equality。bfbceb2的 M=0 仍相容(p=.58155);Draft8498d62direct/plateau 两分量也都弱,joint zero4.69005/8、p=.79013,不支持“大项抵消已解释零 M”。Trigger
The latest exact work changes what should be regarded as the primitive object.
Digital Alexander duality gives, on the honest square-cell torus,
The threshold-rank archive has also been reinterpreted pathwise:
At the same time #333 has now proved an important negative/clarifying statement. Two natural generic-Potts lifts of the same Q=1 observable,
agree at Q=1 but have different Q tangents; on the exact critical-polynomial section
C_Qis identically zero while the unweighted homology lift has the nonzero tangentpi_0. Thus the raw Q tangent is a property of a declared generic-Q lift, not of Matching One alone.There is a more intrinsic parameter direction already present at Q=1 and on the lattice itself: couple an auxiliary source directly to the ambient homology rank.
Canonical topological source
Define the centered ambient-rank variable
and its finite-volume generating function
Equivalently, with
u=exp(s),This definition:
At
s=0,Z_top=1, soThe mixed thermal/source derivative is equally canonical:
which is the total rank-birth pivotal susceptibility from #276.
So Matching One is exactly the linear response to an intrinsic topological source.
Exact two-dimensional source algebra
Because
Xtakes only-1,0,+1, configuration by configurationHence the algebra generated by the unmarked ambient-rank observable is
After removing the constant, it has exactly two canonical directions:
In particular
This is an exact minimal topological state, not a learned PCA/Hankel rank.
It gives a sharp boundary for the low-rank discussion: any additional scalar direction required by the thermal jet cannot come from unmarked ambient rank alone. It must enter through thermal/history dependence, projective-line or integral-subgroup marks, local/defect data, or another bulk field.
Do not identify this exact 2D source algebra with a rank-2 Virasoro/Jordan module. The RG action on these two observables is a separate question.
Full Alexander functional duality
For the primal square-site configuration and its matching complement, the exact theorem gives
so
Because complement sends Bernoulli
pto Bernoulli1-p, the whole generating function obeysThis is stronger than the first-moment matching identity. It implies the complete cumulant hierarchy
for
Xwherever the digital-Alexander theorem applies.The ordinary matching function is just the
n=1member.On an exactly self-matching realization at
p=1/2,Z_top(s)must be even and every odd topological-source cumulant vanishes exactly. This is a cheap positive control.Continuum interpretation without a Q lift
Arguin's critical Q=1 torus relation gives
for every modulus. Therefore the continuum source function
is exactly even in
sat criticality:The finite square-site matching signal can therefore be restated as:
This formulation does not decide which irrelevant singlet produces the defect. The current vacuum/KdV, thermal-Q4/Jordan, ordinary mixing and topological/cover alternatives remain separate candidates.
But it provides a canonical source with respect to which
odd/evenis exact and lift-independent.Phase A — exact source oracle on current HNF frontier
Use the existing digital-Alexander state cache / HNF filtration machinery; do not create a separate topology implementation.
For every theorem-supported quotient already exhausted, construct exactly
Verify independently:
partial_s Z_top|_0 = Magainst the existing matching polynomial;partial_s^2 Z_top|_0 = P_0+P_2;X^3=Xreduction of all higher raw source derivatives;Z_G(p,s)=Z_Ghat(1-p,-s)on honest tori;The source algebra should be a small exact layer on top of existing states, not another exhaustive campaign.
Phase B — topological-source / thermal mixed jet
The two independent coordinates are now source order, not fitted modes:
Measure/derive their thermal derivatives jointly:
with the existing threshold-rank sufficient statistics whenever possible.
Ask whether the anomalous derivative/full-curve state closes in this canonical topology-source jet before adding an arbitrary second scalar bulk mode.
This is one correlated reanalysis when it uses existing histograms, not new evidence.
A sharp outcome is possible:
Phase C — subgroup-valued refinement
Rank is deliberately coarse. The current exact filtration already distinguishes rational winding direction from integral subgroup/saturation data, and #334 proposes marking the first essential birth by its projective line.
Define a richer state sum schematically as
or an equivalent character/Fourier transform.
Do not assume that nonsaturated integral subgroups are determined by their rational projective line. Store separately:
Derive before using it:
SL(2,Z)/ mapping-class action;This would turn the line/index marks into coefficients of one representation-valued partition object rather than unrelated observables.
Phase D — relation to surface/cell-complex polynomial literature
There are close precedents but no direct identification should be assumed.
H_1(Sigma), with surface duality controlled by the intersection pairing.But #144/PR #229 already established the important obstruction: Matching One is a vertex-subset digital-homology state sum, not an ordinary edge-subset Krushkal/Tutte specialization.
The target is therefore not to undo that negative result. It is to ask whether the local-state/vertex-surface polynomial proposed in #144 admits
Z_toporZ_subas its natural homology-source specialization.Phase E — compare with Potts-Q tangents only after both are typed
#333 has shown that generic-Q tangents depend on the lift.
The ambient-rank source gives a different, intrinsic derivative direction:
Compare it with #258/#262/#263 only after the generic-Q lift/path/projector conventions are explicit.
The useful question is then not
but
An obstruction is a valid answer.
Bold conjecture
My strongest current guess is:
The scalar matching observable is the first source moment of the ambient homology image. Potts-Q derivatives are valuable continuum probes, but they are coordinate/lift-dependent ways of moving through a larger theory family. The
ssource is intrinsic to the Q=1 lattice observable itself.A stronger version is that the relevant continuum object is a defect/topological-sector chemical potential whose odd source response is restored to zero at the critical fixed point; the observed spin-4 signal is the leading irrelevant violation of that topological-source symmetry.
This stronger statement must earn a defect/CFT realization; it is not part of the exact claim.
Falsification / simplification
{A_top,E_top}thermal jet is algebraically identical to an already-canonical two-coordinate view, record the exact map and use the existing implementation rather than creating a parallel analysis stack.ssource, retain it as an exact finite/probability generating function; do not relabel it as a local CFT coupling.p_c.qfugacity weights internal Betti data; it is a precedent for homological source variables, not automatically the same as this ambient-image-rank source.Literature anchors
pi_2=pi_0at Q=1.Related: #111, #114, #144, #156, #249, #258, #269, #275, #276, #321, #333, #334.