The Equality Cases of the Weak Simplex Conjecture

技術要約：弱単体予想における等価性の事例

問題の定義
本論文は、加法的白色ガウス雑音（AWGN）チャネルにおける信号設計の基礎的な問題である「弱単体予想（Weak Simplex Conjecture）」に取り組むものである。この問題は、$n$ 次元の実空間 $\mathbb{R}^n$ における、$n+1$ 個の等確率・等エネルギー信号のうち、最大尤度（ML）復号下で正解復号確率を最大化する配置はどれか、という問いである。Mulgund (2026) は、あらゆる信号対雑音比（SNR）において、正則単体が正解復号確率の上界を与えることを確立したが、その上界が正則単体によってのみ達成されるのか（一意性）という問いは未解決のままであった。具体的には、Mulgund の未解決問題 8.1 は、非単体型の信号集合が単一の動作点において正則単体の性能と一致し得るのか、あるいは、いかなる偏差に対しても厳密な優位性が保証されるのかを判定することを求めていた。

手法
著者らは、コーディングの問題を、二つの等価なフレームワーク、すなわち確率領域（ガウス最大値）と凸幾何領域（平均幅）へと翻訳することで、この問題を解決する。核心となる手法は、厳密な不等式を確立するために、Mulgund の証明で使用された変分論的議論を強化することにある。

1. 確率的翻訳: 復号確率は、相関を持つガウスベクトルの最大値のモーメント母関数を通じて表現される。問題は、相関のあるガウス最大値が、独立なガウス最大値と確率的に一致し得るかどうかを決定することになる。
2. 厳密な不等式: 証明は、二つの新しい厳密な不等式に依拠している：
   • 厳密対称長方形不等式（補題 9）: 古典的な Šidák–Khatri 不等式の強化版である。これは、中心を持つガウスベクトル $S \neq I$ について、対称長方形内に落ちる確率は、周辺確率の積よりも厳密に大きいことを証明する。これは特異行列に対しても成立し、厳密性を失わせる可能性のある近似の限界を回避している。
   • 切断指数関数に関する厳密な積不等式（補題 10）: この補題は、Mulgund の適応的傾斜（adaptive tilting）技術によって生成される切断指数因子に適用される。これらの因子の自己畳み込みが、相関構造が自明でない限り、厳密に正の欠損を生じることを示している。
3. 統合: Royen のガウス相関定理とこれらの厳密な不等式を組み合わせることで、変換された領域における単位行列からのいかなる偏差（またはコーディング領域における正則単体のグラム行列からの偏差）も、性能指標を厳密に低下させることを著者らは示す。

主要な結果
本論文は、等価性の事例を完全に特性化し、正則単体が（直交変換および頂点のラベル付けを除いて）一意の最適解であることを証明している。

• 定理 1（単一閾値の厳密性）: 問題の制約を満たす任意の相関行列 $R \neq I$ について、下左片（lower-orthant）確率 $P\{X \leq c\mathbf{1}\}$ は、すべての有限な閾値 $c$ に対して $\Phi(c)^{n+1}$ よりも厳密に大きい。等号は $R = I$ の場合にのみ成立する。
• 定理 2（MGF の剛性）: モーメント母関数の比較において、$\lambda > 0$ の任意の単一の $\lambda$ において等号 $E[e^{\lambda \max \xi_i}] = E[e^{\lambda \max \xi_{\Delta, i}}]$ が成立するのは、グラム行列 $G$ が正則単体（$G = G_\Delta$）に対応する場合に限られる。$G \neq G_\Delta$ である場合、不等式はすべての $\lambda > 0$ に対して厳密である。
• 定理 3（コーディングへの帰結）:
  • 等エネルギーの場合: コードが単一の正の SNR において正則単体の復号確率を達成するのは、単位球に内接する中心を持つ正則単体である場合に限られる。周囲次元 $d < n$ のいかなるコードも、この上界に達することはできない。
  • 有限エネルギーの場合: ブロック長が無制限のエネルギー予算 $E$ の下では、最適なコードブックは一意に外接半径 $\sqrt{E}$ の正則単体である。極めて重要なことに、すべての最適なコードワードは、その全エネルギー割り当てを使い切らなければならない（$\|c_i\|^2 = E$）。部分的なエネルギー使用は劣最適である。
• 系 4（平均幅）: 単体の平均幅に関する不等式の等価性が解決された：単位球内の単体の平均幅は、正則単体によって一意に最大化される。

意義と主張
本論文は、未解決問題 8.1 を、一意性よりも強力な形式で解決したと主張している。正則単体は単に「一つの優れた設計」ではなく、理論的な上界を達成できる「唯一の設計」であることを確立している。

• 厳密性: これらの結果は、正則単体からのいかなる逸脱も、あらゆる正の SNR において厳密に正の性能損失をもたらすことを意味する。したがって、最適なコンステレーションの数値探索において、非単体構成との「タイ（同値）」で終了することはない。報告されるタイはすべて数値的なアーティファクトである。
• 設計への影響: 有限エネルギーの短コードに対しては、最適なコードブックは正確に正則単体に固定される。また、コードワードが全エネルギーを使用するという要件は、設計上の選択ではなく、最適性の必然的な帰結である。
• 堅牢性: 証明は特異な相関行列に対しても成立し、境界において失敗する可能性のある近似議論に依存していない。
• 検証: モーメント母関数の比較における単一パラメータの剛性は、Lean 4 によって機械的に検証されており、核となる代数的ステップの形式的検証が提供されている。

本論文は、平均エネルギー版（強単体予想）は（Steiner によって示された通り）偽であるが、等エネルギー版は硬い、一意の解を持つと結論付けている。本研究は、$m \neq n+1$ の信号の構成、および $m=2n$ の場合の双直交予想については未解決のまま残しているが、$n+1$ 個の等エネルギーケースを完全に解決した。