花Snark无限族的普遍强制定理

摘要 · Abstract

设 J_n（n≥3）为标准花图（奇数 n≥5 时为 Isaacs 花 snark）。在 OpenAI 圈双覆盖构造 [1] 的标号语言（条件(1)，见 [V5.2]）中，本文证明主定理：对一切 n≥4 与 J_n 的每个偶子图 H，存在合法标号 P 使 H ⊆ M₀(P)；n=3 的例外集恰为 2 个对称轨道（12 词）。特别地，对每个花 snark 的每条圈 C，存在处处非零 Γ-流 f 使 Force(f,C) 成立、障碍 Ω(f,C)=0——普遍强制在无限族上成立。证明为计算机辅助四柱结构：(i) 手写语义引理（词⟺偶子图双射、奇偶引理、花瓣填充刻画、Sym₇ 等变与对类复合、关系机语义）；(ii) 完整有限状态空间——3,417 个可达关系态、13,668 条转移，BFS 至前沿清空；(iii) 有限定理检查——拒绝态恰 20 个（8 个属退化 J₁，12 个恰为 J₃ 例外），长度≥4 可达集（3,250 态）与拒绝集交为空；(iv) 与零代码共享的独立 CSP 神谕交叉认证——长度 3/4/5 全部 128/512/2048 词逐词一致（含 12 个 NONE），长度 6/7 经审计轮 R1 由合作方独立神谕升级为全穷尽（8,192 + 32,768 词，零不一致）。辅助成果：三角形消没定理（一切三次无桥图）、选择子正合列 0→Γ^c(G)→K_f→S_f→0、Kempe 交换引理、九个有限图的普遍强制精确账本（含 Petersen 全 57 圈之 60/40/10/5 均匀普查与 J₅ 全部 2,048 偶子图（非空 2,047））。三套状态表示（4711/3417/18 与 49/42/18）作正式清算：最小状态数是语言的不变量，三数对应三种语言，无矛盾。地位：计算机辅助定理，待合作方逐文件对抗审计签名；优先权文献核查待完成。

Main theorem: for every n≥4 and every even subgraph H of the flower graph J_n, some valid labeling P of the F₂³ CDC construction satisfies H ⊆ M₀(P); for n=3 the exceptional set is exactly two symmetry orbits (12 words). In particular universal forcing holds on the infinite flower-snark family: every cycle of every J_n (n odd ≥5) is forced by some nowhere-zero flow, Ω(f,C)=0. The proof is a computer-assisted four-pillar structure: hand-written semantic lemmas (word⟺even-subgraph bijection, parity lemma, petal-filling characterization with exhaustiveness, Sym₇ equivariance and exact pair-class composition, relation-machine semantics); the complete reachable state space (3,417 states, 13,668 transitions, BFS to empty frontier); the finite check (exactly 20 rejecting states — 8 from degenerate J₁, 12 = the J₃ exceptions — with the length-≥4 forward closure of 3,250 states disjoint from them); and cross-certification against an independent CSP oracle sharing no generation logic (exact agreement on all words of lengths 3/4/5, lengths 6/7 exhaustively confirmed in audit round R1 by the collaborator’s independent oracle: 8,192 + 32,768 words, zero mismatches). Supporting results: the triangle vanishing theorem for all cubic bridgeless graphs, the selector exact sequence, the Kempe swap lemma, and exact universal-forcing ledgers on nine finite graphs. The three state representations (4711/3417/18 and 49/42/18) are formally reconciled: minimal state counts are invariants of languages, not of the theorem. Status: computer-assisted theorem pending the collaborator’s file-by-file adversarial audit signature; priority search pending.

定理 3.1（三角形消没）　设 G 为三次无桥图，C 为其三角形且收缩 G/C 无环，f 为任意处处非零 Γ-流。则 Ω(f,C) = 0——每个三角形被每条流强制。

证明　记三角形边值 a, b, c（两两互异非零：相邻圈边同值将逼出零出边），出边 o₁, o₂, o₃ 值为 a+c, a+b, b+c。强制数据被完全钉死：T_vi 唯一、三条出边配对为 {a,c}, {a,b}, {b,c}。收缩得三次无桥图 G/C（无桥：G 中含 o_i 之圈映为 G/C 中经 o_i 之闭途），流下降为 f′。G 上强制延拓 ⟷ G/C 上”单顶点 w* 钉定三角形 T* = {a,b,c}”：T* 可行（成对和 = w* 三个流值），按差配对恰为那三个出边配对，界面之外逐边相同。单顶点钉定恒可满足：基础系统可解（[1] 引理 2.2，本纲领声明之唯一外部输入），且 ker 含 3 维全局平移，其在单个顶点上的限制满射 Γ。∎

定理 3.2（选择子正合列）　设 G 三次连通（一般情形 c(G) 个分量），f 处处非零流。令 S_f := {ε ∈ F₂^E : Σ_e∈Z ε_e f(e) = 0 对每条圈 Z}（f-迷向选择子空间）。则有正合列 0 → Γ^c(G) → K_f → S_f → 0（K_f = ker D_f，左箭头为逐分量常值平移，右箭头 k ↦ ε，ε_e := [k_u+k_v = f(e)]）。推论：ν_G(f) = dim S_f。

证明　良定义：k ∈ K_f ⟹ k_u+k_v ∈ {0, f(e)}，且沿任一圈差分望远镜求和为零 ⟹ Σ_Z∩S f(e) = 0。核：ε = 0 ⟺ k 逐分量常值。满射：给定 ε ∈ S_f，1-形式 ω_e := ε_ef(e) 圈和处处为零 ⟹ ω 为张力（连通分量上取势 t，唯一至常值），t ∈ K_f。∎

引理 3.3（Kempe 交换）　设 P 合法，s ≠ s′。则 M_s Δ M_s′ 为偶子图；沿其任一连通分量 Z 互换 s ↔ s′ 得合法标号，诱导流变为 f + (s+s′)·1_Z（仍处处非零）。

证明　Z 上每边恰含 s, s′ 之一；互换使每顶点处 s 与 s′ 之出现次数成对交换，条件(1)之 {0,2} 值不变；配对和逐边平移 s+s′；非零由”每边恰含其一”。∎

动力学负结果（如实入档）　以”缺 0 之 C-边计数”为势的朴素 Kempe 随机/贪婪爬山在 J₅ 难类上 0/48 失败，甚至在易类上仅 1/10——解可被前向构造够到（§5 之 CSP 与关系机）却够不到被局部 0-交换改进。引理 3.3 保留为结构工具；改进论证路线降级。

定义 5.1　n ≥ 3。顶点 A_i, B_i, C_i, D_i（i ∈ Z_n）。辐条 a_i = A_iB_i, b_i = A_iC_i, c_i = A_iD_i；割边 β_i = B_iB_i+1, γ_i = C_iD_i+1, δ_i = D_iC_i+1（下标 mod n）。所有花瓣同一规则、无特殊扭结边；奇数 n≥5 时 J_n 为 Isaacs 花 snark [6]。割口 i := {β_i, γ_i, δ_i}；花瓣 i 拥有辐条 a,b,c_i 与割口 i。词约定：词 = n 个字母 o₀…o_n−1 ∈ (F₂³)ⁿ，o_i 为割口 i 之 0-需求位（β,γ,δ 序）；词长 = 花瓣数 = n，无收尾字母，闭合为隐式。J₁（含环）超出无环多重图框架，仅作退化记录；J₂ 为多重图，在框架内。

引理 5.2（双射）　映射 H ↦ (o_i)（割迹）为 J_n 之偶子图集合与恒奇偶词集合之间的双射；逆映射由割位 + 诱导辐条给出：a_i ∈ H ⟺ o_i−1^β ⊕ o_i^β；b_i ∈ H ⟺ o_i−1^δ ⊕ o_i^γ；c_i ∈ H ⟺ o_i−1^γ ⊕ o_i^δ。

证明　顶点度数偶性逐点翻译：B_i 关联 a_i, β_i−1, β_i ⟹ a_i-位被两 β 位异或强制；C_i 关联 b_i, δ_i−1, γ_i（δ_i−1 终于 C_i，γ_i 发自 C_i）；D_i 同理。A_i 偶性 ⟺ 三辐条位和偶 ⟺ (o_i−1^β⊕o_i^β)+(o_i−1^δ⊕o_i^γ)+(o_i−1^γ⊕o_i^δ) = |o_i−1|+|o_i| ≡ 0 ⟺ 相邻同奇偶。故偶子图之割迹恒奇偶且完全决定 H；反之恒奇偶词经逆映射给出各顶点度偶之边集。两映射互逆。∎

引理 5.3（奇偶引理）　任一三角形之三配对中，每个标签出现 0 或 2 次；故花瓣三辐条之 0-需求位之和必为偶。奇偶跳变之词不可实现——自动机死态 D 之语义来源。

证明　三元集之每元素恰属两个二元子集。辐条三配对为 A_i-三角形之三配对，0 现于其中恰 0 或 2 个。∎

引理 5.4　固定割口 i−1 配对构型 L = (Lβ, Lγ, Lδ) 与割口 i 目标 R = (Rβ, Rγ, Rδ)。花瓣 i 存在合法内部标号（辐条配对 p_a, p_b, p_c）当且仅当存在三元集之三配对 (p_a, p_b, p_c)（56×6 种）使 Rβ = p_a ⊕ Lβ、Rγ = p_b ⊕ Lδ、Rδ = p_c ⊕ Lγ，且各并集大小为 3。穷尽性：此参数化枚举花瓣之全部合法标号——顶点合法 ⟺ 三配对为一三角形之三个二元子集（[V5.2] 引理 B.1），两配对定第三（第三 = 异或、当且仅当两者恰共一标签即并集大小 3），故 B_i, C_i, D_i 处 R-分量被 (辐条, L) 强制，A_i 处即三角形条件；无任何规范化削减。0-需求（左由上游保证、右按 o_i、辐条按引理 5.2 诱导位）为逐配对过滤。记号：本引理之 ⊕ 为二元集之对称差（两集恰共一元素时结果仍为二元集；8 位掩码下与按位异或数值一致），与 Γ 之向量加法分记。

引理 5.5　(i) 合法性与 0-需求在固定 0 之标签置换群 Sym₇ 下不变；花瓣像映射等变。(ii) 构型（三配对序列）在 Sym₇ 下恰 66 个轨道（首现重标 × 2³ 对内翻转取最小为完全不变量）。(iii) 可达关系皆 Sym₇-不变（初始恒等关系不变 + 等变复合之归纳），故可无损表示为对角轨道对类之集合（12 槽首现重标 × 2⁶，完全不变量同理）；类代表上的复合与规范化给出精确的关系复合——展开代表之像并逐类规范化，无信息损失。实际出现对类 3,810 个。

证明　(i) 条件(1)为出现次数命题，0 固定故需求位不变。(ii)(iii) 首现规范形之完备性：两序列 Sym-等价 ⟺ 标签重合模式相同；对内顺序歧义由取翻转最小消解；对类版同理于 12 槽。复合精确性：不变关系 = 其类之并；(L,R) ∈ 𝒮, R′ ∈ images(R) ⟹ 全轨道 (σL, σR′) ∈ 𝒮∘T（等变），故类展开即全体。∎

命题 5.6　定义 start(o₀) := {(Q,Q) : Q ⊨ o₀} 之类集；compose(𝒮, o_j−1, o_j) := 类展开之一花瓣像；closes(𝒮, o_n−1, o₀) := ∃类代表 (L,R) 使 L ∈ images(R; o_n−1, o₀)。则对词 w：closes(composeⁿ⁻¹(start)) = 真 ⟺ 闭花 J_n 上存在满足 w-需求之合法标号。空关系与拒绝态全程保留（空 ⟹ 恒空 ⟹ 拒绝）。

证明　结构归纳：k 步后类集恰为 {(Q₀, Q_k) : 存在满足前 k 花瓣需求之开链标号，割口 0 取 Q₀、割口 k 取 Q_k} 之类划分——基例由 start 定义与”割口 0 之需求于闭合花瓣（花瓣 n−1…0 界面）处再次核验”之约定一致；归纳步由引理 5.4 之穷尽性与引理 5.5(iii) 之精确复合。closes 恰为第 n 个花瓣（需求 (o_n−1, o₀)）把 Q_n−1 接回同一 Q₀。∎

事实 5.7（机器普查）　态 := (首字母, 末字母, 关系类集)。自 8 个初态出发、按同奇偶字母转移之 BFS 于前沿清空处收敛：3,417 个可达态、13,668 条转移（规范机器 SHA-256 1e7e14e7fd98384b1ba6a58ed54b7cead35f1337eff8bfc96c96d906c5023186，v1；v2 纳入逐态 rel_size——两值均经审计轮 R2 从零再生共签）。接受性（closes）为态内禀量。

命题 5.8（拒绝态解剖）　拒绝态恰 20 个：8 个于深度 1（长度 1 词，退化 J₁——含环，定理范围之外，如实记录）；12 个于深度 3，恰为 J₃ 之 12 个例外词，每态附可重放见证词（证书 reject_witnesses.json）。长度 2（多重图 J₂）全部接受。

主定理（花图无限族普遍强制）　对一切 n ≥ 4 与 J_n 之每个偶子图 H，存在满足条件(1)的合法标号 P 使 H ⊆ M₀(P)。推论一：对每个花 snark（奇 n≥5）之每条圈 C，存在处处非零 Γ-流 f 使 Force(f,C) 且 Ω(f,C)=0——普遍强制在无限族成立，C 作为整圈出现于构造所产某 CDC 之 0-类。推论二（边界）：n=3 之例外集恰为两个对称轨道（§5.11）。

证明　由引理 5.2，命题化为：每个长度 ≥4 之恒奇偶词被接受。由命题 5.6，接受性由关系机精确判定；由事实 5.7，态空间完整；接受性为态内禀。有限检查：长度≥4 可达态集（自深度 4 层作前向闭包，3,250 态）与 20 个拒绝态交为空（验证器第 [3] 项）。故一切长度≥4 之词接受——对全体 n 一次性成立。推论一由 [V5.2] 定理 C（C ⊆ M₀ ⟹ 分量 ⟹ Force）与诱导流之处处非零（引理 2.6 路径）。∎

引理 5.10a（死轨道）　三配对全同之构型 (q,q,q) 不可为任何花瓣之输出。证明：需三角形三配对各与 q 恰交一点，则 Σ|配对∩q| = 3，而 T∩q 之每元素属恰 2 个配对 ⟹ 2|T∩q| = 3，矛盾。∎

命题 5.10b（σ-扭结之内禀性）　全 0 核 𝒢 := {三配对皆含 0 之构型} 内，辐条配对 p_a = Lβ⊕Rβ 等必不含 0（0 相消）；故 𝒢-链仅当辐条需求全零，即 o_i = σ(o_i−1)（σ = γδ-位对换）时存在——σ-交替是留在全 0 核内的充要节律。他方约定中之 τ-验收即此现象之轨道系簿记。

定理 5.11　J₃ 之 128 个恒奇偶词中恰 12 个不可实现，构成旋转/反射/γδ-对换下的两个轨道（各 6）：代表 ((001),(001),(111)) 与 ((011),(101),(101))；奇偶类各 6。全表见证书 j3_exceptions.json；神谕与关系机逐词一致。

审计记录 R1（GPT-5.6 Sol，2026-07-13）　核心子集交叉审计通过：3,417 态表结构、18 态商（独立 Moore 重算逐态一致）、拒绝解剖与 J₃ 证书、上传文件哈希全过；其零共享语义 CSP 将 n=3..7 升级为全穷尽——43,648 词与本机器 43,648/43,648 逐词一致（n=6 全 8,192、n=7 全 32,768，最大搜索节点 180）。其对旧验证器之攻击一次得手（见证键改名后仍通过）——催生 V6.1：manifest 门禁、见证键严格校验与全覆盖、words_5 真神谕逐词比对、精确长度-4 集合（468 态，与其独立测得一致）、规范态序与 –full 逐字节再生、清洁失败。四处文稿勘误同轮落实（2,048/2,047 口径、k=3,…,10、⊕ 记号、§4 附件声明）。

审计记录 R2（GPT-5.6 Sol，2026-07-13）　最重签章到手：核心关系机由其自 c2_core+c2_rel 零检查点完整重生——3,417 态 / 13,668 转移 / 3,810 对类，逐态 first/last/rel_sha/rel_size/接受值、完整转移表、八初态、对类精确集合、规范哈希全部 MATCH；n=3..7 独立 CSP 再次 43,648/43,648；R1 修复经四路协调篡改验证全部有效。其复合攻击（八处辅助字段协调篡改+洗白 manifest）对 V6.1 再度得手——催生 V6.2：closure 摘要数值级重算、census 五重严检（行数/格式/奇偶/唯一/与 caps 键集互证）、oracle 键集精确相等（拒绝伪键）、v2 规范哈希纳入 rel_size、pair_classes 计数与 –full 精确集合比对、脚本 py_compile+功能自测、双 manifest（–core 承重签名通道，根治传输掉件）、manifest 指纹外锚建议；c2_core 陈旧”满射引理”诊断更名为诚实措辞；哈希与文件计数口径统一。

§11参考文献

[V5.2] 이조글로벌인공지능연구소 & Claude Fable 5 & GPT-5.6 Sol. 圈双覆盖证明的伽罗瓦几何 V5.2（自足定稿定版）. 2026-07-12. 附 release V5.2 证书包.

[1] OpenAI. A Proof of the Cycle Double Cover Conjecture. 2026-07-10.（未经同行评审；Lean 仓库 cdc-lean 已访问核验，未独立编译）

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

[3] P. D. Seymour. Sums of circuits. Academic Press, 1979.

[4] C.-Q. Zhang. Integer Flows and Cycle Covers of Graphs. Dekker, 1997；Circuit Double Cover of Graphs. CUP, 2012.

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

[6] R. Isaacs. Infinite families of nontrivial trivalent graphs which are not Tait colorable. Amer. Math. Monthly 82 (1975), 221–239.（花 snark 之源）

[7] D. Blanuša. Problem četiriju boja. Glasnik Mat.-Fiz. Astr. 1 (1946), 31–42.

[8] A. B. Appel, W. Haken. Every planar map is four colorable. 1977.（计算机辅助证明形态之先例）

附录（证书指针）　证据包 evidence/（17 数据文件）；双 manifest：manifest_v6.json（全包 32 文件）与 manifest_core.json（承重核心 17 文件，供传输受限通道下的核心签名）；验证器 v6_verify.py V6.2（默认全检 [0]-[9] / –core 核心签名 / –full 逐字节再生含 rel_size 与对类集合）；算法与校验文档 V6_ALGORITHMS_AND_VERIFICATION.md；生成脚本 c2_core.py / c2_rel.py / c2_census.py（关系机）与 v7_auto.py / v7_chunk.py / v7_census2.py / v7_caps.py（CSP 神谕）；有限图账本脚本 v6_scan.py / v6_session2-4 系列。验证命令：python3 v6_verify.py <release_dir>（release V6.1 为单目录 v6_release：论文、文档、验证器 V6.2、七个生成脚本、审计存档与 evidence/ 全 17 数据文件，双 manifest 全覆盖），预期末行 RESULT: ALL CHECKS PASSED。