[論文レビュー] Ergodic Theory Meets Polarization. I: An Ergodic Theory for Binary Operations

Rajai Nasser|arXiv (Cornell University)|Jun 11, 2014

Error Correcting Code Techniques参考文献 8被引用数 12

ひとこと要約

本稿では、エルゴディック理論の枠組みを導入することで、アリカンスタイルの符号における極化を誘発する二項演算の必要十分条件を確立している。均一性を保つ、不可約で、エルゴディックで、強くエルゴディックな演算を定義し、演算が極化するための必要十分条件が、それが強くエルゴディックであることであることを証明している——これは、すべての安定部分集合がそれ自身の剰余に等しいことで特徴づけられる。

ABSTRACT

An open problem in polarization theory is to determine the binary operations that always lead to polarization (in the general multilevel sense) when they are used in Arıkan style constructions. This paper, which is presented in two parts, solves this problem by providing a necessary and sufficient condition for a binary operation to be polarizing. This (first) part of the paper introduces the mathematical framework that we will use in the second part to characterize the polarizing operations. We define uniformity preserving, irreducible, ergodic and strongly ergodic operations and we study their properties. The concepts of a stable partition and the residue of a stable partition are introduced. We show that an ergodic operation is strongly ergodic if and only if all its stable partitions are their own residues. We also study the products of binary operations and the structure of their stable partitions. We show that the product of a sequence of binary operations is strongly ergodic if and only if all the operations in the sequence are strongly ergodic. In the second part of the paper, we provide a foundation of polarization theory based on the ergodic theory of binary operations that we develop in this part.

研究の動機と目的

• 任意の離散的記憶なしの通信路に対して、アリカンスタイルの構成における極化を誘発するすべての二項演算を同定すること。
• 有限アルファベット上での二項演算のダイナミクスを分析するためのエルゴディック理論に基づく数学的枠組みを構築すること。
• 対称容量を保存し、マルチレベル極化を引き起こす演算のクラスを特徴づけること。
• 二項演算が極化的であるための必要十分条件（強エルゴディック性）を確立すること。
• 準群やアーベル群の演算に先行する結果を、より広範な極化的演算のクラスへ一般化すること。

提案手法

• 二項演算 $(x,y) \mapsto (x*y, y)$ の全単射性によって定義される均一性を保つ演算を導入し、容量保存を保証する。
• 関数的グラフの接続性の性質に基づいて、不可約でエルゴディックな演算を定義し、マルコフ連鎖に類似した性質を有する。
• 安定部分集合とその剰余を導入し、演算ダイナミクスの長期的挙動を分析する。
• すべての安定部分集合がそれ自身の剰余に等しいとき、かつそのときに限り、演算が強くエルゴディックであることを確立する。
• 二項演算の積を分析し、系列の積が強くエルゴディックであるための必要十分条件が、系列に含まれるすべての個別の演算が強くエルゴディックであることであることを証明する。
• 帰納的推論と演算ダイナミクスの構造的分解を用いて、閉包性と特徴づけの定理を証明する。

実験結果

リサーチクエスチョン

• RQ1 有限アルファベット上のどの二項演算が、アリカンスタイルの符号構成において極化を保証するか？
• RQ2 マルチレベルの意味で、二項演算が極化的であるための必要十分条件は何か？
• RQ3 二項演算の構造的性質（不可約性やエルゴディック性など）は、その極化挙動とどのように関係するか？
• RQ4 極化的演算のクラスは、準群やアーベル群の演算を超えて特徴づけられるか？
• RQ5 安定部分集合とその剰余は、二項演算の極化可能性を決定づける役割を果たすか？

主な発見

• 二項演算が極化的であるための必要十分条件は、それが強くエルゴディックであることである。これは、すべての極化的演算を完全に特徴づける。
• 強エルゴディック性は、すべての安定部分集合がそれ自身の剰余に等しいという条件と同値である。
• 二項演算の系列の積が強くエルゴディックであるための必要十分条件は、系列に含まれるすべての個別演算が強くエルゴディックであることである。
• アリカンスタイルの構成における容量保存のためには、均一性を保つ演算が不可欠であり、基礎的要件を形成する。
• 不可約でエルゴディックな演算は、準群を一般化しつつ、極化に必要な主要な接続性の性質を保持する。
• 本フレームワークにより、従来の知られていた範囲をはるかに超える広範な二項演算のクラスを用いて、任意の離散的記憶なしの通信路に対して容量を達成する極化符号を構築可能となる。