Skip to content

[P1 exact/paradigm] Intrinsic ambient-homology source: generate Matching One without a Potts-Q lift #337

Description

@LightChainr

2026-08-31 上下文恢复(原提案保留在下)

  • intrinsic rank-source 与 canonical A_top/E_top、出生 current/risk-hazard 已有精确及生产结果;额外 unmarked source 导数受 X³=X 限制。integral saturation c1a72e5 在该 branch_only 定理中给出 iota=1,使 index≠1 不再提供额外状态自由度,但不消除 line/local/history 信息。
  • source-response 的正分离已经测到。 F3 两行中一行是 symmetry-null;后续 F5 两条 D4-even readout(2d2a9ab,N325/N425各20k)分辨 W_line/JS 的不同响应方向,joint chi²_4=149.93/246.93。旧 O_far/O_sep4 未分辨不能再解释为 source equality。
  • 这与 canonical matching 的载荷是不同问题。PR Score real same-stream P439 crosswalk and unresolved M loading #451 bfbceb2 的 M=0 仍相容(p=.58155);Draft 8498d62 direct/plateau 两分量也都弱,joint zero4.69005/8、p=.79013,不支持“大项抵消已解释零 M”。
  • 尚需把已定义的 F5/line-typed readout 运到可区分的几何并测其 M loading;不能用更多 K_A-only 尺寸、重复 F3/F5 首测或把同一 filtration 称为独立微观数据源来替代。
  • 当前总览与下一步见 Draft docs: recover scientific frontier and score production mechanisms #267上下文恢复注意力顺序;原提案全文保留在下。

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

X^3=X.

Hence the algebra generated by the unmarked ambient-rank observable is

R[X]/(X^3-X).

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

pi_2(tau)=pi_0(tau)

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:

  1. partial_s Z_top|_0 = M against the existing matching polynomial;
  2. partial_s^2 Z_top|_0 = P_0+P_2;
  3. X^3=X reduction of all higher raw source derivatives;
  4. full functional duality Z_G(p,s)=Z_Ghat(1-p,-s) on honest tori;
  5. the exact even-in-s law on self-matching controls;
  6. 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

is s secretly Q?

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.

Activity

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

Metadata

Metadata

Assignees

No one assigned

    Labels

    priority:P1Bounded parallel analysis or a concrete reserve direction; not all run at once.

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions