为什么开这单
matching-root 的二阶热导数 M'' 是 signed mixed influence 的总和,可能发生巨大抵消;因此直接拟合 M'' 的 exponent 不足以判断 multi-pivotal 几何。
对 X=r-1 和 Bernoulli site measure,有精确 Russo/多线性恒等式
M'(p) = sum_v E[Delta_v X],
M''(p) = sum_{u!=v} E[Delta_u Delta_v X],
其中 Delta_v X = X(v=1)-X(v=0),Delta_u Delta_v 是 mixed discrete difference。X 单调但不是 Boolean,Delta_v X 可取 0,1,2;mixed difference 可正可负。
Round-5 独立小控制已经看到强烈 cancellation:在公开 square-site p_c 参考值处,
L=3: sum |mixed| / |sum mixed| ≈ 9.87
L=4: sum |mixed| / |sum mixed| ≈ 15.51
而单点 rank jump=2 对 M' 的加权贡献比例从约 10.4% (L=3) 降到 7.4% (L=4)。这说明 signed M'' 很可能主要反映 thermal-coordinate normal form,而 absolute pair interaction 才更接近真实 multi-arm 几何。
本单目标不是再拟合一个指数,而是建立topological pivotal pair 的 exact atlas ,为 #768 的 6-arm/8-arm selection audit 提供 lattice-side事实。
对象
honest periodic square-site torus,NN black connectivity,
X(omega)=r_black(omega)-1.
固定一个站点 0。对每个位移 orbit d 计算
I1_jump_j(d=single site): P(Delta_0 X=j), j=0,1,2,
J_d = E[Delta_0 Delta_d X],
A_d = E[|Delta_0 Delta_d X|],
P_d^+ = E[(Delta_0 Delta_d X)_+],
P_d^- = E[(-Delta_0 Delta_d X)_+].
所有概率在一个预先冻结的高精度 p_c 参考值上评估,同时保留 occupancy-count polynomial / exact integer histogram,使后续换 p 不需重枚举。
必须检查
N * sum_{d != 0} J_d == M''(p)
N * E[Delta_0 X] == M'(p)
到 exact integer polynomial / high-precision evaluation 一致。
定义新的纯诊断量
A2_abs(L) = N * sum_{d!=0} A_d,
cancel_ratio = A2_abs / |M''|.
它不是 thermodynamic derivative,不赋予新的 field identity;只是揭示 signed cancellation 被 M'' 隐藏了多少。
Phase A — exact L=5 是主要交付
L=3,4 只作复现控制;主要目标是 L=5 exact 。
2^25=33,554,432 个配置本身可接受,但不要对每个位移 naïve 重算全部 homology。优先设计:
lifted union-find / incremental rank update;
D4 + translation orbit reduction;
occupancy-count histogram accumulation;
bitset/Gray-code 或其他 exact acceleration;
两个实现路径至少在 L=3,4 完全一致后才信 L=5。
如果 L=5 的 exact full scan 在现有 CPU 资源上仍过重,可以使用 transfer/DP,但必须保持 Delta_0 Delta_d X 的 paired-flip semantics;不能仅从 M(p) 的一维 polynomial 反推 absolute mixed influence。
L=6+ 不是接受条件 。只有在已有 transfer representation 自然给出且成本明确时才继续。
Phase B — displacement/orbit structure
对每个 D4 displacement orbit 报告:
representative d,
Euclidean/torus distance,
J_d,
A_d,
positive/negative split,
full histogram of Delta0Deltad X in {-2,-1,0,1,2} (若有更大值也原样记录),
exact orbit multiplicity.
画图可选,但原始表必须可机器读取。
特别比较:
nearest-neighbor / diagonal / intermediate / maximally-separated pairs;
signed interaction 是否快速换号;
A_d 的 far-pair decay 是否与单点 pivotal probability 的平方、6-arm fusion、8-arm fusion中任何一个量级明显不相容。
三个尺寸不能认证 exponent,所以只允许写“compatible / incompatible / unresolved”。
Phase C — arm witness classifier(若能做到)
这是加分项,不是 L=5 主交付的 blocker。
对 Delta_0 Delta_d X != 0 的配置,尝试用 annulus BFS / disjoint-path certificate 标注两点周围最少可见 primal/matching arms。目标是区分:
separate 4+4 pivotal structure,
6-arm fusion candidate,
8-arm / four-cluster fusion candidate,
small-torus degeneracy / no clean annulus.
不要仅凭图像或局部 degree 猜 arm count。若 exact classifier 太难,保存 representative configurations + lifted homology before/after four flips,供 #768 理论单使用。
已有控制值(必须复现,不可当新证据)
在 p=0.59274605079210:
L=3:
Delta_0 rank counts over other configurations: {0:161, 1:90, 2:5}
weighted E Delta_0 X ≈ 0.4458689104616698
rank-jump-2 share of M' ≈ 0.1039113209
A2_abs ≈ 23.04926674699
M'' ≈ 2.336146088861
cancel_ratio ≈ 9.86636
L=4:
counts {0:24639, 1:7840, 2:289}
weighted E Delta_0 X ≈ 0.31159887509994
rank-jump-2 share ≈ 0.07434091137
A2_abs ≈ 45.48519754007
M'' ≈ 2.933170180195
cancel_ratio ≈ 15.50718
这些来自独立 lifted-homology 枚举;交付必须从自己的代码路径重现。
主要判决
成功交付要回答:
M'' 的小量是否确实来自越来越严重的正负 pivotal-pair cancellation?
absolute pair interaction 的空间分布是否显示一个清楚的近距 fusion region 与远距 two-pivotal region?
是否发现一个直接反对 [P0|深度理论/检索] 首个非公共扇区修正:标量8-arm、热族spin4与低阶通道的实际矩阵元 #768 的事实,例如 6-arm-like class 明显属于 matching-odd 且不被 signed balance 消掉?
不做
交付建议:
notes/topological-pivotal-pair-atlas-YYYYMMDD.md
scripts/... exact enumerator
results/.../orbit-table.json
results/.../controls.json
相关:#768 , #739 , #746 。
为什么开这单
matching-root 的二阶热导数
M''是 signed mixed influence 的总和,可能发生巨大抵消;因此直接拟合M''的 exponent 不足以判断 multi-pivotal 几何。对
X=r-1和 Bernoulli site measure,有精确 Russo/多线性恒等式其中
Delta_v X = X(v=1)-X(v=0),Delta_u Delta_v是 mixed discrete difference。X单调但不是 Boolean,Delta_v X可取 0,1,2;mixed difference 可正可负。Round-5 独立小控制已经看到强烈 cancellation:在公开 square-site
p_c参考值处,而单点 rank jump=2 对
M'的加权贡献比例从约 10.4% (L=3) 降到 7.4% (L=4)。这说明 signedM''很可能主要反映 thermal-coordinate normal form,而 absolute pair interaction 才更接近真实 multi-arm 几何。本单目标不是再拟合一个指数,而是建立topological pivotal pair 的 exact atlas,为 #768 的 6-arm/8-arm selection audit 提供 lattice-side事实。
对象
honest periodic square-site torus,NN black connectivity,
固定一个站点 0。对每个位移 orbit
d计算所有概率在一个预先冻结的高精度
p_c参考值上评估,同时保留 occupancy-count polynomial / exact integer histogram,使后续换p不需重枚举。必须检查
到 exact integer polynomial / high-precision evaluation 一致。
定义新的纯诊断量
它不是 thermodynamic derivative,不赋予新的 field identity;只是揭示 signed cancellation 被
M''隐藏了多少。Phase A — exact L=5 是主要交付
L=3,4 只作复现控制;主要目标是 L=5 exact。
2^25=33,554,432个配置本身可接受,但不要对每个位移 naïve 重算全部 homology。优先设计:如果 L=5 的 exact full scan 在现有 CPU 资源上仍过重,可以使用 transfer/DP,但必须保持
Delta_0 Delta_d X的 paired-flip semantics;不能仅从M(p)的一维 polynomial 反推 absolute mixed influence。L=6+ 不是接受条件。只有在已有 transfer representation 自然给出且成本明确时才继续。
Phase B — displacement/orbit structure
对每个 D4 displacement orbit 报告:
画图可选,但原始表必须可机器读取。
特别比较:
A_d的 far-pair decay 是否与单点 pivotal probability 的平方、6-arm fusion、8-arm fusion中任何一个量级明显不相容。三个尺寸不能认证 exponent,所以只允许写“compatible / incompatible / unresolved”。
Phase C — arm witness classifier(若能做到)
这是加分项,不是 L=5 主交付的 blocker。
对
Delta_0 Delta_d X != 0的配置,尝试用 annulus BFS / disjoint-path certificate 标注两点周围最少可见 primal/matching arms。目标是区分:不要仅凭图像或局部 degree 猜 arm count。若 exact classifier 太难,保存 representative configurations + lifted homology before/after four flips,供 #768 理论单使用。
已有控制值(必须复现,不可当新证据)
在
p=0.59274605079210:这些来自独立 lifted-homology 枚举;交付必须从自己的代码路径重现。
主要判决
成功交付要回答:
M''的小量是否确实来自越来越严重的正负 pivotal-pair cancellation?不做
M(p)单独代替 pair atlas;交付建议:
相关:#768, #739, #746。