[論文レビュー] Explicit Polar Codes with Small Scaling Exponent

Hanwen Yao, Arman Fazeli+1 more|arXiv (Cornell University)|Jan 24, 2019

Error Correcting Code Techniques参考文献 14被引用数 4

ひとこと要約

本稿では、自己双対かつネストされた巡回符号を用いて、二進消去チャネル（BEC）における極性符号のスケーリング指数が3未塔となる明示的構成を提示する。トレリス表現とモンテカルロ補間を活用することで、$\mu(K_{32}) = 3.122$ を得られ、$\mu(K_{64}) \simeq 2.87$ を推定し、$\mu(K_{64}) < 2.97$ という厳密な上界も確立した。これは、非線形でない極性符号の列の中で、スケーリング指数が3未塔であり、準線形時間複雑性を達成する最初の例である。

ABSTRACT

Herein, we focus on explicit constructions of $\ell imes\ell$ binary kernels with small scaling exponent for $\ell \le 64$. In particular, we exhibit a sequence of binary linear codes that approaches capacity on the BEC with quasi-linear complexity and scaling exponent $μ&lt; 3$. To the best of our knowledge, such a sequence of codes was not previously known to exist. The principal challenges in establishing our results are twofold: how to construct such kernels and how to evaluate their scaling exponent. In a single polarization step, an $\ell imes\ell$ kernel $K_\ell$ transforms an underlying BEC into $\ell$ bit-channels $W_1,W_2,\ldots,W_\ell$. The erasure probabilities of $W_1,W_2,\ldots,W_\ell$, known as the polarization behavior of $K_\ell$, determine the resulting scaling exponent $μ(K_\ell)$. We first introduce a class of self-dual binary kernels and prove that their polarization behavior satisfies a strong symmetry property. This reduces the problem of constructing $K_\ell$ to that of producing a certain nested chain of only $\ell/2$ self-orthogonal codes. We use nested cyclic codes, whose distance is as high as possible subject to the orthogonality constraint, to construct the kernels $K_{32}$ and $K_{64}$. In order to evaluate the polarization behavior of $K_{32}$ and $K_{64}$, two alternative trellis representations (which may be of independent interest) are proposed. Using the resulting trellises, we show that $μ(K_{32})=3.122$ and explicitly compute over half of the polarization behavior coefficients for $K_{64}$, at which point the complexity becomes prohibitive. To complete the computation, we introduce a Monte-Carlo interpolation method, which produces the estimate $μ(K_{64})\simeq 2.87$. We augment this estimate with a rigorous proof that $μ(K_{64})&lt;2.97$.

研究の動機と目的

• 有限核サイズ $\ell \leq 64$ の明示的二進極性核を構築すること。
• 従来の極性符号（$\mu = 3.627$）よりも優れる、BECにおける極性符号のスケーリング指数を3未塔にすること。
• 大規模核の極性化挙動とスケーリング指数を評価する計算可能かつ実用的な手法を開発すること。
• $K_{64}$ のスケーリング指数に対して厳密な上界を確立することにより、$\mu(K_{64}) < 2.97$ を確認すること。
• 明示的極性符号が準線形時間複雑性と3未塔のスケーリング指数を達成できることを示すこと。これは、これまでに知られていなかった結果である。

提案手法

• 強い対称性を満たす自己双対二進核のクラスを導入し、核の構築を $\ell/2$ 個の自己直交符号のネストドチェーンへの設計に還元する。
• $K_{32}$ と $K_{64}$ を、正規直交制約下で最小距離を高めるように最適化されたネストされた巡回符号を用いて構築する。
• $K_{32}$ および $K_{64}$ の極性化挙動を効率的に計算するための、2通りの代替トレリス表現を開発する。これらは独立に価値のあるものである可能性がある。
• モンテカルロ補間を用いて、$K_{64}$ の未知の極性化挙動係数を補完し、$\mu(K_{64}) \simeq 2.87$ の推定を可能にする。
• 消去確率積の平方根に基づくテスト関数 $g(z)$ を定義し、主要な量 $b_0(z)$ に対する上界 $\overline{b}_0(z)$ を導出し、スケーリング指数を制限する。
• $\mu \leq -1 / \log_\ell b_0$ の不等式を適用し、厳密な上界 $\mu(K_{64}) < 2.9603$ を得る。

実験結果

リサーチクエスチョン

• RQ1 $\ell \leq 64$ の範囲で、スケーリング指数が3未塔である明示的二進極性核を構築可能か？
• RQ2 $K_{64}$ の達成可能なスケーリング指数は何か？ また、それを厳密に上界で抑えられるか？
• RQ3 完全な計算が非現実的である大規模核（例：$K_{64}$）の極性化挙動を、どのように計算または推定できるか？
• RQ4 強い対称性を持つ自己双対核は、極性化挙動とスケーリング指数の解析を簡素化できるか？
• RQ5 準線形時間複雑性とスケーリング指数が3未塔である明示的極性符号の列は存在するか？

主な発見

• $K_{32}$ 核のスケーリング指数は、極性化挙動のトレリスベース評価により正確に $\mu(K_{32}) = 3.122$ に計算された。
• $K_{64}$ については、欠落している極性化挙動係数を埋めるためにモンテカルロ補間法を用い、$\mu(K_{64}) \simeq 2.87$ を推定した。
• テスト関数と $b_0(z)$ の主要量の上界を用いて、$\mu(K_{64}) < 2.97$ という厳密な上界を証明した。$b_0 \leq 0.2454$ が得られた。
• $K_{64}$ の極性化挙動は部分的に明示的に計算されており、$f_i(z)$ 多項式の半数以上が既知である。残りの部分は、コセットの重み列挙の結果を用いて境界付けられている。
• 自己双対核とネストされた巡回符号の使用により、核設計の複雑性を低減し、スケーラブルな解析を可能にする体系的な構築法が実現された。
• 本研究は、BECにおいてスケーリング指数が3未塔であり、準線形時間複雑性を達成する、明示的線形符号の列として知られる最初の例を提示した。