[論文レビュー] On the Closed-form Weight Enumeration of Polar Codes: 1.5$d$-weight Codewords

Mohammad Rowshan, Vlad Drăgoi+1 more|arXiv (Cornell University)|May 4, 2023

Coding theory and cryptography被引用数 5

ひとこと要約

本稿では、極性符号および他の減少単項式符号における1.5×w_min重みの符号語の閉形式列挙公式を提示する。これは、下三角アフィン（LTA）群と軌道のミンコフスキー和を活用することで得られる。核集合の交差を分析し、衝突を補正するメカニズムを適用することで、著者らは最大次数の単項式にのみ依存する正確な数え上げを導出する。これは、従来の最小重み符号語に限局した先行研究を拡張するものである。

ABSTRACT

The weight distribution of error correction codes is a critical determinant of their error-correcting performance, making enumeration of utmost importance. In the case of polar codes, the minimum weight $\wm$ (which is equal to minimum distance $d$) is the only weight for which an explicit enumerator formula is currently available. Having closed-form weight enumerators for polar codewords with weights greater than the minimum weight not only simplifies the enumeration process but also provides valuable insights towards constructing better polar-like codes. In this paper, we contribute towards understanding the algebraic structure underlying higher weights by analyzing Minkowski sums of orbits. Our approach builds upon the lower triangular affine (LTA) group of decreasing monomial codes. Specifically, we propose a closed-form expression for the enumeration of codewords with weight $1.5\wm$. Our simulations demonstrate the potential for extending this method to higher weights.

研究の動機と目的

• 極性符号における最小重みを超える高重み符号語の列挙という長年の課題に取り組むこと。
• 最小重み符号語の既知の閉形式公式を、1.5×w_min重みの符号語へと拡張すること。
• 代数的構造と群作用を用いて、減少単項式符号における重み列挙の体系的フレームワークを構築すること。
• より良い符号構築とデコーディングを促進するための極性符号の代数的性質に関する知見を提供すること。

提案手法

• 本手法は、減少単項式符号の下三角アフィン（LTA）群に裏打ちた符号語の構造を分析することに基づく。
• 1.5×w_min重み符号語が最小重み符号語のペアからどのように形成されるかをモデル化するために、軌道のミンコフスキー和が用いられる。
• KasamiとTokuraによる分類定理が、2×w_min未満の重みを持つ符号語を特徴付けるために適用される。
• 核集合の交差を考慮し、衝突による重複を避けるための公式により、このような符号語の数が計算される。
• 重要な式は A_{1.5w_min}{f,g} = 2^{|K_f| + |K_g| - (r-2) - |K_f ∩ K_g|} であり、これはコセット内の重複する行を補正するものである。
• 本手法は、異なるコセットからの符号語のサポートにおける一致する2進数ビットを特定することで、正しい重みの形成を保証する。

実験結果

リサーチクエスチョン

• RQ1 代数的構造を用いて、極性符号における1.5×w_min重み符号語を体系的に列挙する方法は何か？
• RQ2 LTA群は、高重み符号語の形成と列挙において果たす役割は何か？
• RQ3 コセット間の核集合の交差は、なぜ過剰数え上げを引き起こし、列挙プロセスでどのように是正できるか？
• RQ4 最小重み符号語の閉形式公式を1.5×w_min重み符号語へと拡張できるか？
• RQ5 1.5×w_min重み符号語の数は、符号の生成構造における最大次数の単項式にどのように依存するか？

主な発見

• 本稿では、任意の極性符号に対して、減少単項式符号における1.5×w_min重み符号語の数についての閉形式式を導出する。
• このような符号語の数は A_{1.5w_min}{f,g} = 2^{|K_f| + |K_g| - (r-2) - |K_f ∩ K_g|} で与えられ、核集合のサイズとその交差を考慮している。
• (128,64)極性符号（m=7, r=4, f=104, g=84）において、1.5×w_min重み符号語の数は512である。
• |ind(g)\ind(f)| = 2 かつ r=2 の場合、公式は A_{1.5w_min}{f,g} = 2^4 × 2^4 × 2^{-2} = 64 に簡略化される。
• 核集合における重複する行に起因する衝突を正しく処理し、2^{|K_f ∩ K_g|} 個の冗長符号語を差し引くことで、過剰数え上げを低減する。
• 同じ原理を再帰的に適用することで、2×w_minやそれ以上の重みへと拡張可能なフレームワークであることが示された。