[論文レビュー] From Random Matrix Theory to Coding Theory: Volume of a Metric Ball in Unitary Group

Lu Wei, Renaud-Alexandre Pitaval+2 more|arXiv (Cornell University)|Jun 24, 2015

Random Matrices and Applications参考文献 19被引用数 6

ひとこと要約

本稿は、ランダム行列理論の道具を用いて、ユニタリ群 U(n) 内のメトリックボールの正確かつ漸近的体積公式を導出する。具体的には、ベッセル関数を要素とするトーペリッツ行列式と、シューゲーの強大数定理を用いる。主な貢献は、収束が速い漸近的公式を提供することであり、これによりユニタリ符号の符号理論的境界（ギルバート・ヴァルシャモフ境界およびハミング境界）の正確な解析的計算が可能となり、ダイバーシティ和の閉形式上界が得られる。

ABSTRACT

Volume estimates of metric balls in manifolds find diverse applications in information and coding theory. In this paper, some new results for the volume of a metric ball in unitary group are derived via various tools from random matrix theory. The first result is an integral representation of the exact volume, which involves a Toeplitz determinant of Bessel functions. The connection to matrix-variate hypergeometric functions and Szegő's strong limit theorem lead independently from the finite size formula to an asymptotic one. The convergence of the limiting formula is exceptionally fast due to an underlying mock-Gaussian behavior. The proposed volume estimate enables simple but accurate analytical evaluation of coding-theoretic bounds of unitary codes. In particular, the Gilbert-Varshamov lower bound and the Hamming upper bound on cardinality as well as the resulting bounds on code rate and minimum distance are derived. Moreover, bounds on the scaling law of code rate are found. Lastly, a closed-form bound on diversity sum relevant to unitary space-time codes is obtained, which was only computed numerically in literature.

研究の動機と目的

• ユニタリ群 U(n) 内のメトリックボールの正確かつ漸近的体積公式を、弦的距離を用いて導出すること。
• 従来の数値積分に依存する手法を克服し、ランダム行列理論を用いた解析的代替手法を提供すること。
• ユニタリ符号の符号理論的境界（ギルバート・ヴァルシャモフ境界およびハミング境界）の正確な解析的評価を可能にすること。
• ユニタリ空間時間符号のダイバーシティ和に対する閉形式上界を確立すること。これは、従来は数値計算に依存していた。
• 漸近的体積公式の収束特性を調査し、その急速な収束をモック・ガウス性という数学的性質によって説明すること。

提案手法

• ベッセル関数を要素とするトーペリッツ行列式を含む積分として、正確な体積公式を導出する。
• トーペリッツ行列式と行列引数に関する超幾何関数の関係を用いて、漸近的公式を導出する。
• トーペリッツ行列式に対するシューゲーの強大数定理を適用し、独立的に同じ漸近的体積公式を再導出する。
• メイジャーの G 関数および超幾何関数の恒等式を用いて、体積計算から生じる積分を評価する。
• ハア測度の不変性およびユニタリ行列の固有値分解を用いて、体積を固有角分布の形に表現する。
• メイジャーの G 関数のシフトおよび逆引数の性質を用いて、得られた積分を簡略化・評価する。

実験結果

リサーチクエスチョン

• RQ1 ランダム行列理論の道具を用いて、U(n) 内のメトリックボールの体積を閉形式で表せるか、または収束が速い漸近的公式で表せるか。
• RQ2 漸近的体積公式の収束速度はどの程度で、その急速な収束を説明する背後にある数学的性質は何か。
• RQ3 導出された体積公式をどのように用いることで、ユニタリ符号の基本的な符号理論的境界（ギルバート・ヴァルシャモフ境界およびハミング境界）の解析的計算が可能になるか。
• RQ4 ユニタリ空間時間符号のダイバーシティ和に対する閉形式上界を、数値積分を避けて解析的に導出できるか。
• RQ5 ユニタリ符号のコードレートのスケーリング則は何か。また、漸近的体積公式を用いて、その境界をどのように設定できるか。

主な発見

• U(n) 内のメトリックボールの正確な体積は、ベッセル関数を要素とするトーペリッツ行列式を含む積分として表現される。
• n=2 の場合、メイジャーの G 関数および超幾何関数の恒等式を用いて、体積の閉形式表現が得られる。
• 固有値分布に発見されたモック・ガウス性により、漸近的体積公式は超指数的速さで収束する。
• 次元 n=3 に対しても、この漸近的公式はすでに極めて高い精度を示し、精度と速度の両面で数値積分を大きく上回る。
• 漸近的体積公式を用いて、語長に対するギルバート・ヴァルシャモフ境界およびハミング境界の解析的表現が得られる。
• ユニタリ空間時間符号のダイバーシティ和に対する閉形式上界が得られ、従来の数値計算に依存する制限が解消された。