[論文レビュー] On the Construction of Polar Codes for Channels with Moderate Input Alphabet Sizes

Ido Tal|arXiv (Cornell University)|Jun 28, 2015

Error Correcting Code Techniques参考文献 16被引用数 6

ひとこと要約

この論文は、中程度の入力アルファベットサイズをもつチャネルにおける決定的極性符号構築の効率の根本的限界を確立する。具体的には、計算複雑性を管理するために一般的に用いられる劣化近似が、避けられないほど顕著な相互情報量の損失を引き起こすことを証明している。主な結果は、このようなチャネルにおいて、相互情報量の低下を低く抑えるには、近似チャネルの出力アルファベットサイズが非常に大きくなければならないことである。これは、現在の構築手法が小さなアルファベットサイズを越えては実用的でないことを示している。

ABSTRACT

Current deterministic algorithms for the construction of polar codes can only be argued to be practical for channels with small input alphabet sizes. In this paper, we show that any construction algorithm for channels with moderate input alphabet size which follows the paradigm of "degrading after each polarization step" will inherently be impractical with respect to a certain "hard" underlying channel. This result also sheds light on why the construction of LDPC codes using density evolution is impractical for channels with moderate sized input alphabets.

研究の動機と目的

• 中程度の入力アルファベットサイズをもつチャネルにおける決定的極性符号構築アルゴリズムの実用性を分析すること。
• 入力アルファベットサイズが増加するにつれて、劣化または上昇させる中間チャネルに基づく既存の手法がなぜ実用的でなくなるかを調査すること。
• 近似チャネルの出力アルファベットサイズと相互情報量損失の間のトレードオフを定量化すること。
• コード構築における「次元の呪い」を、標準的な近似パラダイムのもとで形式的に定量化する理論的下界を提供すること。

提案手法

• 著者らは、解析のためのハードケースとして、一様入力分布をもつ特定の対称的チャネルを定義する。
• 球面積分と体積集中の幾何的アプローチを用いて、近似チャネルの劣化コストを評価する。
• 確率ベクトルの分散とそれによる相互情報量損失との関係を示す補題を導出する。
• ハイパースペースにおける確率単体の凸性と体積推定を用い、ホルダーの欠損公式を応用して劣化コストの下界を導出する。
• 出力文字をL個のグループに分割し、体積制約下での最小劣化コストを分析する。
• M→∞における漸近的解析を用いて、q（入力アルファベットサイズ）とL（近似出力サイズ）の観点から、劣化コストのタイトな下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 極性符号構築において、中程度の出力アルファベットサイズLをもつ合成チャネルを劣化近似する際、最小でどの程度の相互情報量損失が生じるか。
• RQ2 許容可能な劣化コストを維持するためには、入力アルファベットサイズqの増加に伴い、近似チャネルのサイズLはどのように変化するか。
• RQ3 なぜ現在の決定的極性符号構築アルゴリズムは、中程度の入力アルファベットサイズのチャネルでは実用的でないのか。
• RQ4 標準的な近似パラダイムのもとで、コード構築における「次元の呪い」を形式的に定量化できるか。
• RQ5 特定のチャネル構造に依存しない、qとLにのみ依存する劣化コストの根本的下界は存在するか。

主な発見

• 中程度の入力アルファベットサイズqをもつチャネルにおいて、任意のL個の出力文字をもつ劣化近似は、M→∞において、少なくともΩ(q(q−1)!/L(q+1)/(q−1))の割合で劣化コストを増加させる。
• 劣化による相互情報量損失は、qの増加に伴い急激に増加し、Lの増加に伴い減少する関数によって下から抑えられる。これは、中程度のqに対してLが現実的に大きくなりすぎる結果となる。
• 劣化コストの下界は、確率単体の幾何的性質と高次元における体積集中の性質を用いて導出された。
• この結果は、各極化ステップ後に「劣化を行う」に依存する決定的構築アルゴリズムが、中程度のqに対しても不実用的であることを示唆している。たとえ相互情報量損失がわずかであっても同様である。
• この解析により、密度推定に基づくLDPC符号構築の実用的非実現性が、同じ根本的制限によって説明できる。
• 導出された下界は、与えられた制約下での最小達成可能劣化コストの漸近的挙動と一致するため、タイトであるとされる。