A Complete Classification of Complex Hadamard Matrices of Order Six

技術要約：6次の複素アダマール行列の完全な分類

問題提起
次数 $n$ の複素アダマール行列（CHM）は、成分が単一の絶対値を持ち、行同士が互いに直交する正方行列である。これらは量子情報理論において基本的であり、相互無角基底（MUB）、多光子干渉法、および量子ウォークの基礎を成している。$n \le 5$ まではCHMの分類が完了している一方で、次数6のケースは数十年にわたり未解決問題として残っていた。次数6は、複数の不等価な連続族が共存し、かつ真に孤立した解が存在する最初の次元である。先行研究、特に Szöllösi の拡張アルゴリズムは、$3 \times 3$ のコーナーから行列を再構成する手法を提供したが、2つの決定的な欠陥があった。(1) アルゴリズムが一般的な多項式の除算に依存しており、分母がゼロになる枝で有効な解を失う可能性があること。(2) すべての次数6のCHMが「有限コーナー・ウィットネス」（有限個の適合可能な補完を持つ $3 \times 3$ 部分行列）を持つかどうかが証明されていなかったことである。

手法
著者らは、従来の手法の限界を解消する**分岐完全な有限拡張手順（branch-complete finite-dilation procedure）**を導入する。核心となる手法は以下の通りである：

1. 除算フリーの定式化： 解を破棄してしまう一般的な商の公式を用いる代わりに、著者らは未キャンセルされた固定グラム方程式を用いて問題を定式化する。これにより、例外的な有限の枝を含むすべての物理的解が保持される。
2. グローバル・ルーティング論証： 任意の次数6のCHMにおける全400通りの位置的な $3 \times 3$ コーナーを精査することで、証明を進める。著者らは、行列が有限コーナー・ウィットネスを持たない場合、それは特定の構造的セクター（Karlsson の族または Tao の孤立行列）に属さなければならないことを証明する。
3. 構造的入力： 証明は、以前に確立された2つの構造的結果に依拠している：
   • Karlsson による $H_2$-可約行列（$2 \times 2$ アダマール部分行列を含むもの）の分類。
   • 行と列がすべて3乗根の単位数で構成されている行列に関する Szöllösi の判定基準。
4. 代数的再構成： 有限コーナー・ウィットネスを持つ行列に対して、再構成は4フェーズのシード・トーラス上の方程式系の求解へと還元される。著者らは、この再構成が、特定の例外を除いて、水平方向および垂直方向の両方において1つの二次方程式と1つの三次方程式を解くことに帰着することを実証している。

主要な貢献と結果

• 完全な分類： 本論文は、標準的な等価関係における次数6のすべての複素アダマール行列の完全かつ厳密な有限包含分類を提供する。$\mathcal{H}_6$ と表記されるすべてのそのような行列の集合は、分岐完全拡張手順（$A^{fc}_6$）の出力と正確に一致することが示される。
• Szöllösi の予想の証明： 著者らは Szöllösi の予想 4.2 を証明し、Karlsson の族および Tao の孤立行列を除いたすべての次数6のCHM クラスが、拡張法を用いて適切な $3 \times 3$ コーナーから代数的に回収可能であることを示した。
• 有限コーナー・ウィットネス定理： すべての次数6のCHMは、有限個の適合可能な正規化サイドブロックを持つ少なくとも1つの $3 \times 3$ コーラーを持つ、デフェーズ（dephased）された行列と等価であることが証明された。これにより、Szöllösi の条件付き固定コーナーの結果とグローバルな分類との間のギャップが埋められた。
• 再構成の幾何学的構造：
  • 正則領域： Tao の孤立行列および単一の明示的な Karlsson クラスを除くすべてのクラスにおいて、「積正則（product-regular）」なフレームが存在し、そこでの再構成は二次・三次系によって支配される。
  • 物理的領域： 物理的な解は、積二次式の判別式が非正（$\omega_n \le 0$）である領域に対応する。$\omega_n < 0$ の領域は2つの異なる物理的シートを与え、$\omega_n = 0$ はシートが合体する分岐多様体を表す。
  • 例外： 積正則フレームを欠く唯一のクラスは、Tao の孤立行列と、特定の Karlsson クラスである $H^\times$ である。
• 形式的検証： 分類論証は、2つの既発表の結果を明示的な仮定として保持しつつ、その論理構造を検証する Lean 4 による形式化によって支持されている。

意義と主張
本論文は、次数6の複素アダマール行列の長年の分類問題を解決したと主張している。すべての行列が有限コーナー・ウィットネスを持つことを確立することで、著者らは、これらの対象を調査するための厳密かつ網羅的な枠組みを提供している。

• $\mathbb{C}^6$ における MUB： この分類は、次数6における相互無角基底の最大数を決定するという問題を直接解決するものではないが、未分類の集合の上で探索を行う必要性を排除する。これは、無角基底間の遷移行列のための完全な、有限チャートのデザイン空間を提供する。
• 干渉法と量子力学： 本結果は、多光子干渉で使用されるバランスのとれた6ポートユニタリ変換の完全なデザイン空間を提供する。これにより、以前に選択されていた家族を超えて、抑制則や位相感受性干渉シグネチャの体系的な研究が可能になる。
• 方法論的厳密性： 本研究は、一般的な除算の落とし穴を回避する「分岐完全な」代数的アプローチを導入しており、有効な解が失われないことを保証している。この手法は、より高次の分類へ拡張可能なフレームワークとして提示されている。

著者らは、分類が枠組みを提供するものの、既約成分やクラス空間の特異点に関する具体的な幾何学的問題は依然として開かれたままであることを述べ、控えめな姿勢を維持している。本論文は、この分類が構造的な結果であり、様々な量子プロトコルのための「アダマール成分」を提供するものであることを強調しており、デバイス固有の制約は、この完全な空間に対する明示的な条件として残されている。