Optimal Equivariant Matchings on the 6-Cube with an Application to the King Wen Sequence

技术摘要：6 维超立方体上的最优等变匹配

问题陈述
本文研究了在布尔超立方体 $\{0, 1\}^6$ 上寻找最优完美匹配的问题，该超立方体代表了《易经》中的 64 卦。研究聚焦于在克莱因四元群 $K_4 = \langle \text{comp}, \text{rev} \rangle$ 作用下保持等变的匹配，该群由按位取反（$\text{comp}$）和位反转（$\text{rev}$）生成。主要目标是确定哪些等变匹配能使总汉明距离（配对元素间距离之和）最小，并分析引入汉明权重守恒如何改变优化格局。具体而言，本文旨在解释为何《易经》中具有重要历史意义的文王卦序对应于特定的匹配规则。

方法论
作者结合了组合分析、群论和形式验证：

1. 群作用分析：将超立方体的 64 个顶点在 $K_4$ 作用下划分为轨道。文章区分了大小为 4 的轨道（普通卦）和大小为 2 的轨道（回文卦和反对称卦）。
2. 代价分析：计算由群元素 $\text{comp}$、$\text{rev}$ 和 $\text{comp} \circ \text{rev}$ 诱导的所有可能配对的汉明距离 $d_H$。
3. “无冲突”引理：核心理论工具是引理 2.12，它确立了对于任意卦 $h$，操作 $\text{comp}$ 和 $\text{rev}$ 永远不会真正竞争。如果 $\text{rev}(h) \neq h$，则 $d_H(h, \text{rev}(h)) < d_H(h, \text{comp}(h)) = 6$。如果代价相等，则选项重合。这消除了全局优化冲突，使得贪婪的“反转优先”规则能够产生全局最优解。
4. 加权能量最小化：为了解决文王匹配与纯汉明最优解（允许 $\text{comp} \circ \text{rev}$）之间的差异，作者引入了加权能量函数 $E_{\alpha, \beta} = \alpha|\Delta w| + \beta d_H$，其中 $w$ 为汉明权重。这使得能够在权重守恒与距离最小化之间进行相边界分析。
5. 形式验证：所有关于文王卦序 32 对配对的有限轨道计数、情况区分和计算检查均使用带有 Mathlib 库的 Lean 4 进行了验证。

主要结果

• 反转优先匹配的唯一性（定理 1.1）：在限制为 $\text{comp}$ 或 $\text{rev}$ 配对的匹配中，存在一个最小化总汉明代价的唯一完美匹配。该匹配由反转优先规则定义：将 $h$ 与 $\text{rev}(h)$ 配对，除非 $h$ 是回文卦（此时 $\text{rev}(h)=h$），在这种情况下将其与 $\text{comp}(h)$ 配对。

  • 代价：该匹配的总汉明代价为 120。
  • 比较：这显著低于仅取反匹配的代价 192。

• 与文王卦序的同构（定理 1.2）：《易经》的传统文王卦序精确地实现了这一唯一的反转优先匹配。序列中的 32 对恰好对应于由反转优先规则生成的配对。

• 纯汉明最优与加权最优：

  • 如果放宽约束以允许完整的 $K_4$ 作用（包括 $\text{comp} \circ \text{rev}$），纯汉明代价可降低至 96。
  • 然而，当优先保持汉明权重时，文王规则被恢复为唯一最优解。反转优先规则首先最小化权重守恒的失败，其次才是汉明距离。
  • 相边界（定理 4.9）：在加权能量模型 $E_{\alpha, \beta}$ 中，只要 $\alpha > \beta$，反转优先选择（文王）就是严格最优的。当 $\alpha = \beta$ 时，选择平局；当 $\alpha < \beta$ 时，纯汉明最优解（使用 $\text{comp} \circ \text{rev}$）更受青睐。

• 结构约束：文章指出，8 个回文卦形成 4 个大小为 2 的轨道。在这些情况下，反转是平凡的，迫使进行取反配对，而这不可避免地无法保持汉明权重。对于任何非平凡的 $K_4$-等变匹配，这种失败都是不可避免的。

意义与主张
本文主张，文王卦序不仅仅是一个历史遗迹，在数学上具有典范性。它代表了一个特定优化问题的唯一解：在严格优先保持汉明权重（阴阳平衡）的匹配中最小化汉明距离。

作者强调，文王规则的“贪婪”性质之所以能全局生效，是因为 6 维超立方体在 $K_4$ 作用下的特定算术性质。“无冲突引理”确保了局部选择（优先反转而非取反）在 $\text{comp}/\text{rev}$ 匹配的受限类中永远不会导致全局次优。文章得出结论，文王卦序在加权变分原理下是稳定的，其中权重守恒的价值高于距离减少（$\alpha > \beta$），为该序列的结构提供了严格的数学依据。

该工作的范围适度，严格聚焦于 $n=6$ 和 $K_4$ 群，指出虽然存在向 $n$ 的推广，但消除模糊平局（特别是关于 $n=6$）的特定算术条件可能并不适用于所有维度。