Diversity vs Degrees of Freedom in Gaussian Fading Channels

技術要約：ガウス型フェーディングチャネルにおける多様性と自由度の違い

問題提起
本論文は、ガウス型フェーディングチャネルにおける自由度（DOF）および多様性（DIV）の古典的な定義における根本的な限界に対処している。伝統的に、これらの指標は固定されたゲージ $\log \rho$（ここで $\rho$ は信号対雑音比）を用いて抽出される。すなわち、DOFは $\lim_{\rho \to \infty} C(\rho)/\log \rho$ として、DIVは $\lim_{\rho \to \infty} -\log P_e(\rho)/\log \rho$ として定義される。

著者は、このアプローチが二つの異なる操作を混同していると主張している。それは、ゲージ選択（容量または信頼性が成長する正しい漸近スケールを特定すること）と、原子正規化（生の成長係数を単一の「原子」、すなわち情報または信頼性の単位となる係数で割ること）である。古典的なコヒーレント複素MIMOの場合、ゲージは偶然にも $\log \rho$ であり、関連する原子係数は1となるため、これらのステップは数値的に目立たない。しかし、成長スケールが $\log \rho$ と異なるチャネル（例：非コヒーレント高速フェーディングでは容量が $\log \log \rho$ として成長する）や、生の係数が非単位定数を含むチャネル（例：実数AWGNや固定Hチャネル）の場合、古典的な定義は無意味な結果（ゼロのプレログ、あるいは無限の多様性スロープ）を導いてしまう。

手法
本論文は、**バタチャリア境界（Bhattacharyya frontier）**を統一的な幾何学的ツールとして利用することで、ゲージ選択と原子正規化を分離する二段階のフレームワークを提案する。

1. バタチャリア境界の構築: コアとなるツールは、誘導された出力法則間の最小ペアワイズ・バタチャリア距離の最大値として定義されるバタチャリア境界 $\Delta^*_B(K; \rho)$ である。

   • 容量側（レート）: 固定解像度のコードブックによるパッキング（詰め込み）は、容量のゲージを特定する。定理1（容量・パッキング・サンドイッチ）は、固定解像度の出力法則のパッキングとカバリングが一致するエントロピー係数を持つ場合、容量のゲージと生の容量係数が回収されることを示している。
   • 多様性側（信頼性）: フロンティアのバイナリ・エンドポイント（$K=2$）は、ゼロレートの多様性ゲージを特定する。定理2は、バイナリ・エンドポイントが最適な2メッセージ・テスティング誤差指数とゲージ等価であることを確立している。

2. 原子正規化: 正しいゲージと生の係数が特定された後、論文はこれらの値を正規化するための「原子」を定義する：

   • 通信原子（Communication Atom）: 独立して制御可能な一つの入力自由度（例：SISO入力方向やグラスマン多様体の部分空間）。
   • 信頼性原子（Reliability Atom）: 独立した単位正規化された出力信頼性のルック（例：単位利得のノイズ付き観測）。
   • エンドポイントDOF/DIV: 最終的な指標は、生の係数を対応する原子係数（$\alpha_{comm}$ または $\alpha_{rel}$）で割ることによって得られる。

主要な貢献と結果
本論文は、このフレームワークを7つのチャネル・ファミリーに適用し、「同一ゲージ（same-gauge）」ケース（古典的な定義が成立するケース）と「クロスゲージ（cross-gauge）」ケース（古典的な定義が失敗するケース）を区別している。

• 固定決定論的H（クロスゲージ）:

  • 容量: $\log \rho$ ゲージで成長する。ブロック・エンドポイントのDOFは $T \cdot \text{rank}(H)$ である。
  • 多様性: 線形 $\rho$ ゲージで成長する（$\log \rho$ ではない）。バイナリ・エンドポイントは $T\sigma_1^2(H)/\ln 2$ という生の係数をもたらす。固定AWGN信頼性原子（$1/\ln 2$）による正規化後、エンドポイントDIVは $T\sigma_1^2(H)$ となる。
  • 洞察: このチャネルは「クロスゲージ」である。容量は入力像の被覆（入力次元）によって決定される一方、多様性はペアワイズの出力分離の拡大（出力ルック）によって決定される。正規化されていないHに対して、エンドポイントDIVは利得に依存する。

• 非コヒーレント高速フェーディング（クロスゲージ）:

  • 容量: $\log \log \rho$ ゲージで成長する（Lapidoth–Moserの結果を回収する）。エンドポイントDOFは1である。
  • 多様性: $\log \rho$ ゲージで成長する。バイナリ・エンドポイントは $N/2$ の生の係数を持つ。高速フェーディング信頼性原子（$1/2$）による正規化後、エンドポイントDIVは $N$ となる。
  • ロード-r フロンティア: 本論文は、正確なロード-r フロンティアのゲージ $(\log \rho)^{1-r}$ と、係数 $N/2$ を導出している。

• 同一ゲージ校正ケース:

  • コヒーレント・レイリーMIMOおよび非コヒーレント・ブロックフェーディングは、容量と多様性の両方が $\log \rho$ スケールで成長する同一ゲージケースであることが示されている。ここで、生の係数は古典的なDOFおよびDIVのカウント（例：ゼロレートDIVは $MN$）と一致する（これは関連する原子係数が1であるためである）。

• 未解決および条件付きケース:

  • マルチパス・フェーディング: ガード付き構成により、多様性ゲージ（$\log \rho$）のの下界と、エンドポイントDIVの下界が提供されるが、正確なガードなしのフロンティアは未解決のままである。
  • 並列分数対数フェーディング: 積入力アンサンブルを仮定した、Gallagerの $E_0$ 関数に基づく条件付き下界のベンチマークを提供する。
  • 定常トーピッツ・フェーディング: 容量のゲージは $(\log \rho)^\beta$ （分数対数）であるが、ゼロレートの多様性ゲージおよびロード-r フロンティアは、コードブック間の共分散行列の非可換性（座標ごとの因子分解を妨げる）により、依然として未解決である。

意義と主張
本論文は、漸近的な成長スケール（ゲージ）の特定と、成長係数の正規化（原子カウント）を明示的に分離することで、DOFおよびDIVの定義を明確にできると主張している。

• 誤解の訂正: 特定のチャネルにおいて「ゼロ・プレログ」や「無限の多様性スロープ」が見られるのは、信号構造の欠如ではなく、ゲージの不一致（$\log \log \rho$ や $\rho$ で成長するチャネルに対して $\log \rho$ を使用していること）によるものであることを示している。
• 統一フレームワーク: バタチャリア境界を、多様なチャネルモデルに対して容量と多様性の両方の指標を一貫して抽出できる、ゲージに依存しない幾何学的オブジェクトとして導入している。
• 精密性: クロスゲージ・チャネル（Fixed-H および Noncoherent Fast Fading）に対して、古典的な定義が失敗する箇所で正確なエンドポイントDOFおよびDIVの値を提供し、高速フェーディングの場合の正確なロード-r フロンティアを確立している。
• 謙虚さ: 本論文は、いくつかのモデル（マルチパス、定常トーピッツ）において、正確な多様性ゲージおよびロード-r フロンティアがまだ決定されていないことを明示している。これらのケースの結果については、証明されていない正確な動作的信頼関数を主張することを避け、下界、条件付きベンチマーク、または未解決問題として提示している。

総括すると、本論文は、古典的なコヒーレントMIMOの慣習が、ゲージ選択と原子正規化の必要性を不明瞭にしていたと主張している。これらのステップを明示的に行うことで、適切な場合には古典的な結果を回収し、古典的な $\log \rho$ ゲージが不十分な場合には、修正された厳密な指標を提供する。