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

技術的サマリー：6 次元超立方体上の最適等変マッチング

問題の定義
本論文は、64 個の卦（か）を表すブール超立方体 $\{0, 1\}^6$ 上の最適完全マッチングの探索問題を調査する。研究の焦点は、ビット反転（$\text{comp}$）とビット順序反転（$\text{rev}$）によって生成されるクラインの四元群 $K_4 = \langle \text{comp}, \text{rev} \rangle$ の作用に対して等変となるマッチングに置かれる。主要な目的は、どの等変マッチングが総ハミング距離（ペアリングされた要素間の距離の和）を最小化するかを決定し、ハミング重みの保存を含めることが最適化の風景をどのように変化させるかを分析することである。具体的には、歴史的に重要な『易経』の文王卦序が、なぜ特定のマッチング規則に対応するのかを説明することを試みる。

手法
著者は、組合せ論的解析、群論、および形式的検証を組み合わせて用いる：

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$）でない限り、$h$ を $\text{rev}(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 個の回文卦がサイズ 2 の 4 つの軌道を形成することを特定している。これらの場合、順序反転は自明であり、重み保存を必然的に失敗させる補完ペアリングを強制する。この失敗は、任意の非自明な $K_4$-等変マッチングにおいて避けられないものである。

意義と主張
本論文は、文王卦序が単なる歴史的遺物ではなく、数学的に標準的であると主張する。それは特定の最適化問題に対する一意の解を表す：ハミング重み（陰陽のバランス）の保存を厳密に優先するマッチングの中で、ハミング距離を最小化すること。

著者は、文王規則の「貪欲」な性質が、$K_4$ 作用下での 6 次元超立方体の特定の算術的性質により、大域的に機能することを強調する。「非競合」補題は、局所的な選択（補完よりも順序反転を優先すること）が、$\text{comp}/\text{rev}$ マッチングの制限されたクラス内において、決して大域的な非最適性をもたらさないことを保証する。論文は、文王卦序が、距離減少よりも重み保存を高く評価する（$\alpha > \beta$）重み付き変分原理の下で安定しており、卦序の構造に対する厳密な数学的正当化を提供すると結論づける。

この研究は範囲において控えめであり、$n=6$ と $K_4$ 群に厳密に焦点を当てている。$n$ への一般化が存在するものの、曖昧な同点を排除する特定の算術的条件（特に $n=6$ に関するもの）は、すべての次元において成り立つわけではないと指摘している。