圈双覆盖证明的伽罗瓦几何

摘要 · Abstract

本文为对 OpenAI 圈双覆盖构造（2026-07-10 发布 [1]，附 Lean 内核检查仓库 [22]）之轨道几何理论的自足定稿版：全部定理与引理之证明并入正文，不引用历史版本。核心装置：三次顶点处三个流值构成 Fano 平面之线（观察 2.3）；GL(3,2) 在流集合上之轨道大小仅为 42 或 168，且 42 当且仅当流诱导正常3-边染色（定理 A）；每顶点可行三角形空间为 Γ-挠子而 gauge 仅为坐标原点选择（定理 B）；指定圈之强制等价于其作为 M₀ 之连通分量出现，钉值恒存在且唯一（定理 C）；强制类数 ≥ 1+|f(C)|（定理 D）。核心定理 Ω：取每边商 Q_e = Γ/⟨f(e)⟩ 与联合映射 D_f,C = (D_f, ρ_C)，类 Ω(f,C) := [(d̄, b)] ∈ coker D_f,C 与 gauge 无关（坐标变换引理为恒等式层面），且 Force(f,C) ⟺ Ω = 0——不预设基础系统可解、独立于 [1]；其在群作用下满足自然等变性 σ̂_*Ω(f,C) = Ω(σf,C)（非裸相等）；短正合列 0 → coker R_C → coker D_f,C → coker D_f → 0 把总障碍组织为基础障碍与相对障碍之扩张（不主张典范分裂）；基础可解时（[1] 保证，本文不重证）Ω 约化为 ω ∈ coker R_C，强制解数 = 2^{dim ker R_C}。对偶障碍定理：Ω ≠ 0 当且仅当存在逐边湮灭 f(e) 之泛函族与圈上泛函族满足顶点平衡条件且与数据配对为 1——110 条 F₂ 左核证书即其坐标实例。Petersen 完全分类经五条独立计算路径复现：60/170 可行、40/5/15 强制解分类、每轨道达经典 5 类下界、ν 分布 80/80/10、ν=2 ⟹ 可行（10/10）。证书体系 v3：每个存储字段要么被重算校验、要么不存在；六轮攻防（两模型交替攻击）之完整战绩入档，现行验证器拒绝全部已知攻击含两文件一致撒谎。定位：五级阶梯之第 2 级完成；本文不主张接近第 4、5 级。历版撤回与勘误（13.1–13.5）完整保留。

V5.2 is the self-contained foundational edition: every proof is in the text. The apparatus: local Fano lines; the 42/168 orbit dichotomy; admissible triangles as a Γ-torsor with gauge as a mere origin; the two-sided Force characterization with always-unique pins; the class bound k ≥ 1+|f(C)|. Central theorem: with Q_e = Γ/⟨f(e)⟩ and D_f,C = (D_f, ρ_C), the class Ω(f,C) = [(d̄,b)] ∈ coker D_f,C is gauge-independent at the level of identities, satisfies Force ⟺ Ω = 0 unconditionally (independent of [1]), transforms by natural equivariance σ̂_*Ω(f,C) = Ω(σf,C), and fits the short exact sequence 0 → coker R_C → coker D_f,C → coker D_f → 0 organizing the total obstruction as an extension of the base obstruction by the relative one (no canonical splitting is claimed); when the base system is solvable ([1], not re-proved here) Ω reduces to ω with forced-solution count 2^{dim ker R_C}. A duality theorem characterizes Ω ≠ 0 by local annihilating functionals with a vertex balance condition and unit pairing — the 110 F₂ left-kernel certificates are its coordinate instances. The Petersen classification is replicated along five independent computational paths; certificate system v3 recomputes every stored field, and the complete six-round adversarial record between two models is archived. Positioning: Level 2 of the five-level ladder is complete; no claim of proximity to Levels 4–5 is made. All retractions and errata (13.1–13.5) are retained.

记号 2.1　G 为有限无环三次多重图（允许平行边），c(G) 为连通分量数；e ∋ v 表关联。Γ := F₂³，加法 +（按位异或），特征 2，x+x = 0。PG(2,2)（Fano 平面）之点为 Γ\{0}，之线为三个互异非零元之和为零的三元集 {x, y, x+y}。本文作用群统一记 GL(3,2)（阶 168，Fano 全自同构群；作为抽象群同构于 PSL(2,7)，本文仅在此提及该同构）。内禀与坐标：原证明只赋予 Γ 线性结构——内禀几何为 PG(2,2)、内禀对称为 GL(3,2)；把 Γ 认同为域 GF(8) 是附加坐标（保持域结构之半线性群 ΓL(1,8) ≅ C₇⋊C₃ 为指数 8 之真子群），仅经 §3 桥接定理接入 142857。商与差分映射：⟨f(e)⟩ := {0, f(e)}，Q_e := Γ/⟨f(e)⟩ ≅ F₂²；D_f: Γ^V → ⊕_eQ_e，D_f(t)_e := [t_u+t_v]；ρ_C 为向 Γ^V(C) 之限制；D_f,C := (D_f, ρ_C)；K_f := ker D_f；R_C := ρ_C|_Kf。一切余核均为 F₂-向量空间之余核。

定义 2.2（流、轨道、标号）　处处非零 Γ-流为 f: E → Γ\{0}，每顶点关联边值之和为零（特征2无需定向）；GL(3,2) 经 (σ·f)(e) := σ(f(e)) 作用；流个数 = F(G,8)（Tutte 群流定理）。U_f := span f(E)；f(C) := {f(e) : e ∈ E(C)}。标号 P 给每边二元集 P_e ⊆ Γ；合法指条件(1)：每顶点处每 s ∈ Γ 在三条关联边集合中出现 0 或 2 次。σ({p,q}) := p+q ≠ 0；诱导流 f_P(e) := σ(P_e)。M_s := {e : s ∈ P_e}；合法标号中每个 M_s 为不交圈之并且每边恰属两个 M_s，即圈双覆盖（引理 2.6，本文自证）；非空类数称类数。

观察 2.3（局部 Fano 结构；双向）　(i) 处处非零 Γ-流在每三次顶点处的三个值两两互异且构成一条 Fano 线。(ii) 反之，给每顶点指派一条线与”关联边 → 线上三点”之双射，使每条边从两端获得同一点，则该指派为处处非零 Γ-流。

证明　(i) 设三值 x, y, z，和为零故 z = x+y；若 x = y 则 z = 0 与处处非零矛盾，同理任两值互异；互异非零且和为零即一条线。(ii) 每边获单一非零值；每顶点三值为线之三点，互异且和为零，流条件成立。∎

定义 2.4（gauge、候选标号、方程组）　顶点 v 之 gauge 为其关联边之有序对 (a,b)（第三边 c）：g_v,a := 0，g_v,b := f(a)，g_v,c := 0；每顶点 6 个。给定全局 gauge g 与 t ∈ Γ^V：候选标号 P^(v)_e := {t_v+g_v,e, t_v+g_v,e+f(e)}——按集合即陪集 t_v+g_v,e+⟨f(e)⟩。d_e := g_u,e+g_v,e；方程组(4)：t_u+t_v+ε_ef(e) = d_e（ε_e ∈ F₂）。由引理 2.5（本文自证；与 [1] 之表述一致）：给定 t，∃ε 满足(4) ⟺ 每边两端候选集（陪集）相等，此时候选标号为合法标号且诱导流为 f。商掉 ε 即：(4) 对给定 t 可配 ε ⟺ D_f(t) = d̄_g，d̄_g := ([d_e])_e。系数映射 D_f 不含 gauge；gauge 只进入数据 (d̄, b)。

引理 2.5（陪集相容；自足化 [1] 之局部等价）　设 h ∈ Γ\{0}，A = a+⟨h⟩，B = b+⟨h⟩ 为陪集。则 A = B ⟺ a+b ∈ ⟨h⟩ ⟺ 存在唯一 ε ∈ F₂ 使 a+b+εh = 0。取 a = t_u+g_u,e、b = t_v+g_v,e、h = f(e)：边 e 两端候选集相等 ⟺ ∃!ε_e 满足(4)之第 e 条。又对任意 t_v 与 gauge，v 处三个候选集恰为某三元集之三个二元子集，故条件(1)在每顶点自动成立；于是”各边两端候选集相等”之候选标号为合法标号，且诱导流为 f。

证明　A = B ⟺ a ∈ b+⟨h⟩ ⟺ a+b ∈ {0, h}；两情形分别对应 ε = 0 与 ε = 1，且互斥（h ≠ 0），故 ε 唯一。局部合法性：记 gauge (a,b)、第三边 c，x := f(a), y := f(b), z := f(c) = x+y；按定义 2.4 直接代入 g 值，三候选集为 {t, t+x}、{t+x, t+x+y} = {t+x, t+z}、{t, t+z}。x, z 互异非零（观察 2.3）故 {t, t+x, t+z} 为三元集；标签 t 现于第一、三集，t+x 现于第一、二集，t+z 现于第二、三集，各恰 2 次，其余标签 0 次——条件(1)成立。诱导流：三集之元素和依次为 x, y, z = f 于三边之值。∎

引理 2.6（CDC 引理；自足化 [1] 之引理 2.1）　设 P 为合法标号。则每个 M_s 在每顶点之度数为 0 或 2，故为不交圈之并；每条边恰属两个 M_s；从而非空 M_s 之族构成 G 之圈双覆盖。

证明　v 在 M_s 中之度数 = s 在 v 之三条关联边集合中之出现次数 ∈ {0, 2}（条件(1)）。度数处处属 {0,2} 之子图无度 1 顶点，故为不交圈之并。|P_e| = 2 ⟹ e 恰属两个 M_s。∎

桥接定理　设 α 为 x³+x+1 在 F₂ 上之根（F₈^× 之生成元）。则 (i) α+α²+α⁴ = 0 且三者互异非零——Frobenius 轨道 {α, α², α⁴} 本身即 Fano 平面之一条线；(ii) 指数集 {1,2,4} ⊂ Z/7 为 (7,3,1) 差集 = 模7二次剩余集 = 2 之分圆陪集；(iii) Gal(F₈/F₂) = ⟨x↦x²⟩ 在指数上之作用为 i↦2i (mod 7)，与 Q(ζ₇) 中 ⟨σ₂⟩（σ₂: ζ₇↦ζ₇²）在指数上之作用等变一致。措辞（V5.1 校准）：在选定本原元 α 与指数坐标后，上述五类对象——(Z/7)^× 之子群、分圆域自同构子群之轨道、GF(8) 之 Frobenius 轨道、Fano 差集、Fano 线——之间形成等变对应；它们分属不同范畴，可自然联系而非字面同一。

证明　(i) α³ = α+1 ⟹ α⁴ = α·α³ = α²+α ⟹ α+α²+α⁴ = 0。互异（阶数论证）：α ∈ F₈^× 故 ord(α) | 7。若 α² = α 则 α ∈ F₂，而 x³+x+1 在 F₂ 无根；若 α⁴ = α 则 α³ = 1，ord(α) | gcd(3,7) = 1，α = 1，但 1+1+1 = 1 ≠ 0；若 α⁴ = α² 则 α² = 1，ord(α) | gcd(2,7) = 1，同前矛盾。(ii) 有序差 ±1, ±2, ±3 ≡ {1,6,2,5,3,4} (mod 7) 各恰一次，即 (7,3,1) 差集；1 = 1², 2 = 3², 4 = 2² 为二次剩余；2·1 = 2, 2·2 = 4, 2·4 ≡ 1 为 ⟨2⟩-陪集。(iii) (αⁱ)² = α²ⁱ 与 (ζⁱ)^σ₂ = ζ²ⁱ：二者均为 Z/7 上乘 2 之阶 3 作用。∎

定理 A（轨道二分）　设 G 为三次无桥图，f 为处处非零 Γ-流。则 |Orb(f)| ∈ {42, 168}；且 |Orb(f)| = 42 ⟺ dim U_f = 2 ⟺ f 之值集为一条 Fano 线并构成正常3-边染色（此时 |Stab(f)| = 4）；否则 dim U_f = 3、稳定子平凡、轨道 168。

证明　σ·f = f ⟺ σ 逐点固定 f(E) ⟺ σ|_Uf = id，故 Stab(f) = {σ : σ|_Uf = id}。任一顶点处两互异非零值在 F₂ 上线性无关（x = y 为唯一相关方式），故 dim U_f ≥ 2。若 dim = 3：σ 固定一组基，σ = id，轨道 168/1。若 dim = 2（记 U_f = W）：每顶点三值互异且含于 W\{0}（恰三个元素），故值集为线 W\{0} 且逐顶点用全三色——即正常3-边染色。逐点固定 W 之线性映射由 σ(x)（任取 x ∉ W）决定：σ(x) = x+w（w ∈ W 四选，均可逆且固定 W），|Stab| = 4，轨道 168/4 = 42。∎

推论 A.1　G 不可正常3-边染色 ⟺ 作用自由 ⟺ 每条轨道大小均为 168；此时 168 | F(G,8)。

证明　可染色 ⟺ 存在值集含于一线之流（取该线三点为色集，顶点和为零）⟺ 存在 42-轨道 ⟺ 作用不自由。全轨道 168 时整除性由轨道分解。∎

注记 A.2（整除性不可反推）　”168 | F(G,8) ⟹ 不可3-边染色”为假：四个不交三重平行边图（dipole）之并可染色而 F = 42⁴ = 3,111,696 = 168 × 18,522。（此为勘误 13.3 之内容。）

检验 A.3（K₄）　K₄ 可3-边染色，F(K₄,8) = 7·6·5 = 210 = 168+42；机器验证其流恰分解为一条 168-轨道与一条 42-轨道，后者值集张成平面、稳定子恰 4 元、为正常3-边染色（附录 A）。

引理 B.1（三角形引理）　三次顶点处条件(1)成立 ⟺ 三条关联边之 P_e 恰为某三元集 T_v（三角形）之三个二元子集；此时 T_v 之三个成对和互异非零、总和为零（一条 Fano 线），且恰为 σ(P_e)。故合法标号之诱导映射为处处非零 Γ-流。

证明　（⇐）三元集 {A,B,C} 之三对为 {A,B},{B,C},{A,C}：每元素恰属两对、集外元素属零对。（⇒）三个二元集共 6 个位置且各标签出现偶次。若两集相等：第三集与之相等则两标签各现 3 次；交于一点则该点现 3 次；不交则其两元各现 1 次——皆违反(1)。故三集互异；偶次且总和 6 ⟹ 恰三标签各现 2 次；”标签现于两集”即两集交于该点，且三交点互异（两对交点相同则两集共享两元而相等）——三集即三点集之三对。成对和：互异非零（元素互异；A+B = B+C ⟹ A = C），总和 = 2(A+B+C) = 0。流条件：顶点处 Σσ(P_e) = 0；非零由 |P_e| = 2。∎

定理 B（挠子与 gauge 商）　固定流 f。称三元集 T 于顶点 v 可行，若其成对和集恰为 v 处三个流值；可行 T 对每边有唯一按差配对 P_e(T)。则 (i) Γ 之平移在可行三角形集合上自由且传递——该集合为 Γ-挠子（8 元、无预定原点）；(ii) 任一 gauge 下 t_v ↦ 候选三角形为 Γ 到该挠子之双射且配对即按差配对——gauge 是坐标原点选择，非标号空间之自由度；(iii) 固定全局 gauge 后，(4) 之解 (t, ε) ⟷ 相容可行三角形指派（相容：每边两端配对相等；ε 由 t 唯一读出）；全局 (t, gauge) 参数化为 6^|V(G)| 重冗余（逐顶点六重）。故任何以标号表述之性质，其可行性与 gauge 无关。

证明　记 v 处边 a, b, c，gauge (a,b)，x := f(a), y := f(b), z := f(c) = x+y。候选集为 {t, t+x}（边 a）、{t+x, t+x+y} = {t+x, t+z}（边 b）、{t, t+z}（边 c），并集 T(t) = t+{0,x,z}；三对成对和依次 x, (t+x)+(t+z) = y, z——按差。传递：任一可行 {A,B,C} 取标记使 A+B = x；若 A+C = z 则 = A+{0,x,z}；若 A+C = y 则 = A+{0,x,y} = (A+x)+{0,x,z}（因 x+{0,x,z} = {0,x,y}）。自由：非零平移 δ 稳定三元集须无不动点地置换之，而 ⟨δ⟩ ≅ Z₂ 之轨道长为 1 或 2，无法划分 3 元。故 8 个平移互异、t ↦ T(t) 为双射。(iii) 由引理 2.5：给定 t，∃ε ⟺ 两端候选集相等；ε_e 由”t_u+g_u,e 等于对面陪集之哪个代表”唯一读出；结合双射即解 ⟷ 相容指派。六个 gauge 之形状 {0, f(首边), f(第三边)} 遍历 {0,x,y}, {0,x,z}, {0,y,z} 各两次且互为平移，每 gauge 下 t 完整遍历同一挠子：逐顶点 48 参数对六重覆盖 8 个三角形，全局 6^|V| 重。∎

引理 C.1（平移等变）　Γ 经 (c·P)_e := c+P_e 作用于标号，保持合法性与诱导流，并把”s₀ ∈ P_e“变为”s₀+c ∈ (c·P)_e“。故强制任意标签 s₀ ⟺ 强制 0；下设 s₀ = 0。

证明　s ∈ c+P_e ⟺ s+c ∈ P_e，故各标签出现次数被平移置换，仍属 {0,2}；σ(c+{p,q}) = (c+p)+(c+q) = p+q。∎

引理 C.2（边界三角形；钉值恒存在且唯一）　设 v ∈ V(C)，圈边 e₁, e₂，第三边 e₃。则”0 ∈ P_e₁ 且 0 ∈ P_e₂“唯一强制 T_v = {0, f(e₁), f(e₂)}，且该三角形必然可行。故任一 gauge 下钉值 t_v（即强制三角形之坐标）恒存在且唯一；一切不可行性均属全局延拓。

证明　三角形每元素恰属两对，故条件 ⟺ 0 ∈ T 且不含 0 之对配给 e₃。写 T = {0, p, q}：含 0 两对之成对和为 p 与 q，按差配对要求 {p, q} = {f(e₁), f(e₂)}——唯一。可行性：成对和 f(e₁), f(e₂), f(e₁)+f(e₂) = f(e₃)（顶点流条件）。钉值为挠子双射（定理 B(ii)）在该可行三角形上之唯一逆像。∎

定理 C（Force；双向）　定义 Force(f, C) := 存在相容可行三角形指派在 V(C) 上取 C.2 之强制值。则 (i) Force(f,C) ⟺ 存在诱导流为 f 之合法标号使 C 为 M₀ 之连通分量；(ii) 定义不含 gauge；(iii) Force(σ·f, C) = Force(f, C) 对一切 σ ∈ GL(3,2)。

证明　（⟹）由 C.2：圈顶点处 0 恰属两条圈边之对、不属第三边之对，故 M₀ 在圈顶点之关联边恰为两条圈边——无边在 M₀ 中离开 C；C 连通且 2-正则，为连通分量。圈边 e = uv 两端配对同为 {0, f(e)}（T_u, T_v 中成对和为 f(e) 之对均为之），相容自动成立。（⟸）设合法标号 P 使 C 为 M₀ 之分量，则 C ⊆ M₀，即每条圈边 0 ∈ P_e；于是每个 v ∈ V(C) 之两条圈边之对均含 0，由 C.2 唯一性其三角形为强制三角形；P 对应之相容指派（引理 B.1）在 V(C) 上取强制值。（注：C ⊆ M₀ 已足——条件(1)禁止 0 在一顶点出现 3 次，故圈顶点处第三边自动被排除，C 为分量之并，连通故为分量。）(iii) σ 把 f 之可行三角形映为 σf 之可行三角形（σ(T) 之成对和 = σ(成对和)），保持按差配对与相容性；σ(0) = 0 保持强制形 {0, f(e₁), f(e₂)} ↦ {0, σf(e₁), σf(e₂)}；双向由 σ⁻¹。∎

定理 D　任何见证 Force(f,C) 之合法标号，其类数 k ≥ 1 + |f(C)|。

证明　每条圈边之对为 {0, f(e)}（定理 C 证明），故标号使用之标签集 ⊇ {0} ∪ f(C)，非空类至少 1+|f(C)| 个。∎

引理 Ω.1（坐标变换恒等式）　设 g, g′ 为两个全局 gauge。则每顶点 v 存在唯一 q_v ∈ Γ 使 (i) 形状平移：S_g′,v = S_g,v + q_v；(ii) 逐边陪集恒等：g′_v,e ≡ g_v,e + q_v (mod ⟨f(e)⟩) 对 v 之三条关联边成立。因此 d̄_g′ = d̄_g + D_f(q)，b_g′ = b_g + ρ_C(q)——数据对在 gauge 改变下恰好平移 D_f,C(q)。全程为恒等式，不使用任何可解性。

证明　两形状均为可行三角形（含 t = 0 之候选三角形），由挠子自由传递性（定理 B）存在唯一平移 q_v。同一三角形在两参数化下之边配对相同（配对由三角形与差唯一决定），而配对按集合为陪集 t+g_v,e+⟨f(e)⟩；对应参数 t′ = t+q_v（由形状平移与自由性），比较同一边之陪集得 g_v,e ≡ q_v+g′_v,e，即 (ii)。于是 [d′_e] = [g′_u,e+g′_v,e] = [g_u,e+g_v,e]+[q_u+q_v] = (d̄+D_f(q))_e。钉值为强制三角形之坐标：b′_v+S_g′,v = T_强制 = b_v+S_g,v ⟹ b′_v = b_v+q_v。∎

定理 Ω（无条件障碍类）　固定任一全局 gauge，令 d̄, b 如上。定义 Ω(f,C) := [(d̄, b)] ∈ coker D_f,C。则 (i) 由引理 Ω.1，Ω 与 gauge 无关——良定义；(ii) Force(f,C) ⟺ Ω(f,C) = 0，不预设基础系统可解，故独立于 [1]。

证明　(ii) 强制系统可解 ⟺ ∃t: D_f(t) = d̄ 且 ρ_C(t) = b ⟺ (d̄, b) ∈ im D_f,C ⟺ Ω = 0；左端由定义 2.4 与定理 B(iii)、C 即 Force。∎

定理 Ω.2（自然等变性）　对 σ ∈ GL(3,2)：每边有良定义同构 σ̂_e: Γ/⟨f(e)⟩ → Γ/⟨σf(e)⟩，[x] ↦ [σx]（因 σ⟨f(e)⟩ = ⟨σf(e)⟩）；合并 σ̂ := ⊕σ̂_e 与 σ_C := σ^V(C) 得码域同构，并有交换关系 (σ̂ ⊕ σ_C) ∘ D_f,C = D_σf,C ∘ σ^V，从而诱导同构 σ̂_*: coker D_f,C → coker D_σf,C，且 σ̂_*Ω(f,C) = Ω(σf,C)。推论：Ω(f,C) = 0 ⟺ Ω(σf,C) = 0——数值层面之轨道不变性。（注意：两障碍属不同余核空间，不可写裸相等；正确表述即此自然等变性。）

证明　交换性逐分量：D_σf(σt)_e = [σt_u+σt_v] = σ̂_e([t_u+t_v])；ρ_C(σt) = σ_C(ρ_Ct)。数据传输：取 f 之 gauge g，对 σf 以同一边序定义 gauge，则其 g-值为 σ(g_v,e)（σ0 = 0），故 d^σf_e = σ(d_e)，d̄^σf = σ̂(d̄)；σf 之强制三角形 {0, σf(e₁), σf(e₂)} = σ(T_强制)，且 σ(b_v)+σ(S) = σ(b_v+S) 给出 b^σf = σ_C(b)。故 (d̄^σf, b^σf) = (σ̂⊕σ_C)(d̄, b)；两侧取余核类，并以 Ω 之 gauge 无关性（定理 Ω(i)）容许该 gauge 选取，即得。∎

命题 Ω.3（短正合列）　对每对 (f, C) 有 F₂-向量空间之短正合列

其中 π_* 由向 ⊕Q_e 之投影诱导、ι([b′]) := [(0, b′)]。解释：Ω 为总障碍；π_*Ω = [d̄] ∈ coker D_f 为基础障碍（其消没即基础系统可解——由 [1] 引理 2.2 恒成立，本框架独立追踪之）；基础障碍消没时 Ω ∈ ι(coker R_C)，其原像即相对障碍 ω。

证明　π∘D_f,C = D_f 故 π 诱导良定义之 π_*；π 满故 π_* 满。ι 良定义：若 b′ = R_C(k)（k ∈ K_f）则 (0, b′) = D_f,C(k)，类为零。ι 单：[(0, b′)] = 0 ⟺ ∃t: D_f(t) = 0 且 ρ_C(t) = b′ ⟺ b′ ∈ im R_C。中间正合：π_*[(x, b)] = 0 ⟺ x = D_f(t) 某 t ⟺ [(x, b)] = [(x, b) − D_f,C(t)] = [(0, b−ρ_C(t))] ∈ im ι。∎

推论 Ω.4（相对约化与解数）　若基础系统可解（[1] 保证之，本文不重证亦不依赖），取任一解 t*，则 Ω = 0 ⟺ ω(f,C) := [b − ρ_C(t*)] ∈ coker R_C 消没；可行时强制解恰为 ker R_C 之一个陪集，个数 2^{dim ker R_C}。

证明　(4) 之解集为 t*+K_f；强制 ⟺ ∃k: ρ_C(t*+k) = b ⟺ b−ρ_C(t*) ∈ im R_C；解集为 ker R_C 之陪集。（此亦即命题 Ω.3 中 Ω 沿 ι 之原像的显式表示。）∎

计算验证 Ω.5（Petersen）　170 条轨道：Ω = 0 ⟺ 钉定系统可解（零错配）；强制解数 = 2^{dim ker R_C}（零错配）。分布 (dim K_f, rank R_C, dim ker R_C, Ω=0 | 轨道数)：(3,3,0,否|65)、(3,3,0,是|15)、(4,3,1,是|5)、(4,4,0,否|45)、(4,4,0,是|30)、(5,5,0,是|10)。经验规律：R_C 于 165/170 轨道单射；ν = 2 ⟹ Ω = 0（10/10），ν = 0/1 时分别 15/80 与 35/80 可行。

引理 F.1（ν 之良定义与轨道不变性）　记 L_f(t,ε)_e := t_u+t_v+ε_ef(e)。对 σ ∈ GL(3,2) 令 Φ_σ(t,ε) := (σ∘t, ε)、Ψ_σ((x_e)) := (σx_e)。则 L_σf ∘ Φ_σ = Ψ_σ ∘ L_f，二者为线性同构，故 dim ker L_σf = dim ker L_f；gauge 只改右端不改 L_f，核维数与 gauge 无关。核恒含平移子空间 {t 逐分量常值, ε = 0}，维数 3c(G)。故 ν_G(f) := dim ker L_f − 3c(G) ≥ 0 为良定义之轨道不变量（Petersen 连通，ν = dim ker − 3）。

证明　逐边：σt_u+σt_v+ε_e·σf(e) = σ(t_u+t_v+ε_ef(e))。齐次系统中 ε_ef(e) = t_u+t_v 而 f(e) ≠ 0 ⟹ ε 由 t 决定，核与 K_f 同构；平移 t ≡ c（逐分量）满足 t_u+t_v = 0，各分量独立取 c 得 3c(G) 维。∎

引理 F.2（廓形不变性）　σ 经 (σ·P)_e := σ(P_e) 在”诱导流为 f 之合法标号”与”诱导流为 σf 之合法标号”间给出双射，保持强制边界（σ0 = 0），并置换类 M_s ↦ M_σ(s)——类数保持。故强制解个数与全体解之类数廓形为轨道不变量。

证明　σ 双射保二元集与出现次数结构；σ({p,q}) 之和 = σ(p+q)；s ∈ P_e ⟺ σ(s) ∈ σ(P_e)。∎

计算定理 F　核维数分布 {3:80, 4:80, 5:10}（ν 分布 80/80/10）；全体解之类数四模式：80×[8 解全 5 类]、60×[16 解全 5 类]、20×[8+8]、10×[24+8]（计数皆 8 之倍，即平移轨道）；每条轨道均有恰 5 类之解（精确穷举，经证书 v3 全量再枚举认证）。

经典引理（明文见 [18][19][20]）　图存在至多 4 个偶子图之双覆盖 ⟺ 图有非零 4-流。Petersen 无非零 4-流，故其任何偶子图双覆盖至少 5 类（[20] 定理 9 并直接应用于 Petersen）。

达成性定理（本文）　OpenAI 构造在 Petersen 之全部 170 条流轨道上均产出恰 5 类之合法标号——逐轨道达到经典下界；其中 45 条同时以 5 类实现指定五边形之强制（定理 D 取等）。

对偶障碍定理　Ω(f,C) ≠ 0 当且仅当存在对偶数据：对每边 e 一个 λ_e ∈ Q_e^*——经拉回等同于 {φ ∈ Γ^* : φ(f(e)) = 0}——与对每个 v ∈ V(C) 一个 μ_v ∈ Γ^*，满足：

(i) 顶点平衡：对每个顶点 w，Σ_e∋w λ_e + [w ∈ V(C)]·μ_w = 0（Γ^* 中）；

(ii) 单位配对：Σ_e λ_e(d_e) + Σ_v∈V(C) μ_v(b_v) = 1。

（λ_e(d_e) 良定义：λ_e 湮灭 f(e)，故在陪集 [d_e] 上取常值。）§13 之 110 条 F₂ 左核证书即此定理在 (t, ε)-坐标钉定系统上之坐标实例。

证明　有限维 F₂-对偶：余核中 [(d̄, b)] ≠ 0 ⟺ 存在码域上线性泛函 Λ 湮灭 im D_f,C 且 Λ(d̄, b) = 1。写 Λ = ((λ_e), (μ_v))；商空间之对偶经拉回恰为湮灭 ⟨f(e)⟩ 之 Γ-泛函。Λ 湮灭像 ⟺ 对一切 t ∈ Γ^V：Σ_e λ_e(t_u+t_v) + Σ_v∈C μ_v(t_v) = 0；在基 t = x·δ_w（x ∈ Γ 置于顶点 w）上取值：Σ_e∋w λ_e(x) + [w∈C]μ_w(x) = 0 对一切 x——即 (i)；(ii) 为配对之直译。∎

13.1 撤回（V1）　首轮实验将边两端隶属见证 δ 误建模为单一共享比特，产生两个伪结果：(a) 必要条件 ⊕_e∈Cd_e = 0；(b) “gauge 为强制问题之关键自由度”。正式撤回，由定理 B、C 取代。缺陷由异常数据形状暴露（110 轨道 × 800 随机 gauge 零命中之全有或全无分布）。

13.2 V2→V3　全局 gauge 冗余更正为 6^|V|；钉值升级为恒存在且唯一；补 M₀ 分量闭合；原”定理 3″之等价降为经典引理 [18][19][20]；GF(8) 校准为坐标化。

13.3 V3→V4（责任：Claude Fable 5）　摘要伪三重等价修正（反例 42⁴ = 168×18,522；注记 A.2）；同轮补定理 C 反向、引理 F.1/F.2、桥接定理、障碍类与证书层。

13.4 V4→V5　(a) 桥接定理”α³=1 ⟹ α=0″照字面为无效推理，改阶数论证（责任：Claude；捕获：GPT-5.6）；(b) 定理 G 未声明 gauge 选取——由引理 Ω.1 取代；(c) 自足性声明对定理 G 过度——由无条件定理 Ω 取代；(d) 验证器 v1 只查所列见证之正确性——v2 补齐划分完备性与负证书。

13.5 V5→V5.1　(a) “证明同 V4，略”与”自足定稿”矛盾——本版全部证明并入正文（责任：Claude；两窗口审读并指）；(b) “Ω 为轨道不变量”之裸相等不合法（两余核为不同空间）——改为自然等变性定理 Ω.2；(c) 开放问题”集合 {Ω(f,C)} 是否含 0″为类型错误——改写为 ∃f: Ω(f,C) = 0；(d) “Farkas 对偶”改称 F₂ 左核 / 线性不相容证书；(e) 桥接”同一对象之五种坐标化”降为”选定本原元后之等变对应”；(f) 验证器 v2 之精确计数漏洞（删强制解、复制见证、改核维数与元数据字段、改圈字段均可通过）由两窗口攻击揭示——v3 及其补丁封闭，战绩入 §13；(g) manifest 确定性注记由三文件更正为四文件。

13.6 V5.1 → V5.2（依第三轮 Dense 审读；同日）　(a) 自足性最后缺口：定义 2.2/2.4 与定理 B 曾以 [1] 引用两个初等局部事实——现由引理 2.5（陪集相容）与引理 2.6（CDC）自证补入，全文自足在字面意义上完成；[1] 之全局可解性（推论 Ω.4 所用）本就已明示为唯一外部依赖，维持不变。(b) 短正合列措辞由”分解”校准为”扩张/组织”——未主张典范分裂。核心理论零变动。

§19参考文献与附录

[1] OpenAI. A Proof of the Cycle Double Cover Conjecture. 2026-07-10. https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98d31/cdc_proof.pdf（未经同行评审）

[2] OpenAI. Prompt Used for “A Proof of the Cycle Double Cover Conjecture.” 2026-07-10.

[3] G. Szekeres. Bull. Austral. Math. Soc. 8 (1973), 367–387.

[4] P. D. Seymour. Sums of circuits. Academic Press, 1979, 341–355.

[5] P. A. Kilpatrick. M.Sc. thesis, University of Cape Town, 1975.

[6] F. Jaeger. J. Combin. Theory Ser. B 26 (1979), 205–216.

[7] F. Jaeger. Ann. Discrete Math. 27 (1985), 1–12.

[8] W. T. Tutte. Canad. J. Math. 6 (1954), 80–91.

[9] P. D. Seymour. J. Combin. Theory Ser. B 30 (1981), 130–135.

[10] J.-C. Bermond, B. Jackson, F. Jaeger. J. Combin. Theory Ser. B 35 (1983), 297–308.

[11] B. Alspach, L. A. Goddyn, C.-Q. Zhang. Trans. Amer. Math. Soc. 344 (1994), 131–154.

[12] L. Goddyn. Ann. Discrete Math. 27 (1985), 13–26；博士论文，Waterloo, 1988.

[13] J. Hägglund, K. Markström. On stable cycles and cycle double covers. 2012.（转引）

[14] G. Brinkmann, J. Goedgebeur, J. Hägglund, K. Markström. J. Combin. Theory Ser. B 103 (2013).（转引）

[15] M. Chan. A survey of the cycle double cover conjecture. Brown University.

[16] 이조글로벌인공지능연구소 & Claude Opus 4.6. 142857 与伽罗瓦理论. 2026-05-06. leechoglobalai.com（勘误建议见 §3 末）

[17] arXiv:1306.3088.（[13][14] 之转引来源）

[18] C.-Q. Zhang. Integer Flows and Cycle Covers of Graphs. Marcel Dekker, 1997.

[19] C.-Q. Zhang. Circuit Double Cover of Graphs. Cambridge University Press, 2012.

[20] L. Shi, Z. Zhang. Signed cycle double covers. Electron. J. Combin. 25(4) (2018), #P4.63.（2026-07-12 核验）

[21] Wikipedia / Wolfram MathWorld: Cycle double cover（2026-07-12 访问）。

[22] OpenAI. cdc-lean. https://github.com/openai/cdc-lean（2026-07-12 访问核验：内核检查终点定理 cycleDoubleCover_of_bridgeless，Lean v4.31.0 + 固定 Mathlib，审计仅列 propext/Classical.choice/Quot.sound，无 sorry/admit；未独立编译）。

附录 A · 可复现性与证书清单（release V5.2）　程序层：cdc_round.py（史料，含 13.1 已撤回口径）、field_test.py、field_test2.py、audit_gpt56.py、route1_and_certs.py、negcerts.py；验证器 certificates_verify.py/certificates_verify2.py（史料）与 certificates_verify3.py（现行）。证书层（SHA-256）：orbit_representatives 83d518d7edab46d6230b484722d1f98bf39b453f7ce941308a67e457dd62f0b2（9,154 B）；force_feasible_orbits 4fdf59380864f6c72b87760063534c52b22dffc69c87577f88d2122c8cb64ea6（14,398 B）；five_class_witnesses 1f2a1fedb93ab2abfb4667531efa2345bd7403a3c2790a356b97109a182bd458（27,326 B）；force_infeasible_certificates 45ce019db03ca7e9b95f62851c2f43326cfea6898fe5ac0b96f0f50febba4799（12,202 B）。manifest：release V5.2，Python 3.12.3，Linux x86_64；验证命令 python3 certificates_verify3.py <certdir>，预期输出 ALL CHECKS PASSED；四数据文件跨 Python 3.12.3 / 3.13.5 逐字节相同。关键数字：28,560；170×168；60/110；40/5/15；{3:80, 4:80, 5:10}；ν=2 可行 10/10；210 = 168+42。