[論文レビュー] Codes over integers, and the singularity of random matrices with large entries

Sankeerth Rao Karingula, Shachar Lovett|arXiv (Cornell University)|Jan 1, 2020

Cooperative Communication and Network Coding被引用数 2

ひとこと要約

本稿は、整数上での最大距離分離（MDS）符号の構築のための新しいフレームワークを導入し、有限体とは対照的に、線形の体サイズを必要としない定数サイズのアルファベットを用いて、線形レートおよび距離を持つこのような符号を構築可能であることを示している。主な技術的貢献は、i.i.d. に $ \{-m, \ldots, m\} $ から選ばれた要素を持つ $ n \times n $ ランダム行列の特異確率が、ある絶対定数 $ c > 0 $ に対して $ m^{-cn} $ 以下であることを示す新しい境界である。この境界は、符号構築のための重要な確率的基盤を確立する。

ABSTRACT

The prototypical construction of error correcting codes is based on linear codes over finite fields. In this work, we make first steps in the study of codes defined over integers. We focus on Maximum Distance Separable (MDS) codes, and show that MDS codes with linear rate and distance can be realized over the integers with a constant alphabet size. This is in contrast to the situation over finite fields, where a linear size finite field is needed. The core of this paper is a new result on the singularity probability of random matrices. We show that for a random $n imes n$ matrix with entries chosen independently from the range $\{-m,\ldots,m\}$, the probability that it is singular is at most $m^{-cn}$ for some absolute constant $c>0$.

研究の動機と目的

• 整数上でのMDS符号の構築可能性を検討すること。これは、古典的な有限体に基づく符号理論とは根本的に異なる設定である。
• 有限体上ではブロック長に応じて体サイズが線形に増加を要するのに対し、整数上では定数サイズのアルファベットを用いて、線形レートおよび線形距離を持つMDS符号を実現できるかどうかを特定すること。
• 大きな整数成分を持つランダム整数行列の特異性行動を分析することで、符号構築のための確率的基盤を確立すること。

提案手法

• 整数環上でのMDS符号を定義し、整数係数の線形符号と定数サイズのアルファベットに焦点を当てる。
• 確率論的手法を用いて、$ \{-m, \ldots, m\} $ の要素を独立同分布に持つ $ n \times n $ ランダム行列が特異である確率を分析する。
• ランダム行列理論および組合せ論の道具を用いて、特異確率に対する非自明な上界を確立し、これがある絶対定数 $ c > 0 $ に対して $ m^{-cn} $ のように減少することを示す。
• 特異性の境界を活用して、$ \mathbb{Z} $ 上で適切な生成行列が存在することを証明し、望ましいレートおよび距離を持つMDS符号の構築を可能にする。
• このような符号の存在と、大きなランダム整数行列の非特異性との類似性を、集中と反集中の技法を用いて示す。

実験結果

リサーチクエスチョン

• RQ1 ブロック長に応じて体サイズが増加を要する有限体とは対照的に、整数上では定数サイズのアルファベットを用いて、線形レートおよび線形距離を持つMDS符号を構築可能か？
• RQ2 i.i.d. に $ \{-m, \ldots, m\} $ から選ばれた要素を持つランダム $ n \times n $ 行列が特異である確率は何か？ そしてこの確率は $ m $ と $ n $ に対してどのようにスケーリングされるか？
• RQ3 ランダム整数行列の特異確率は、有限体上のランダム行列のそれと比べてどう異なるか？ そして、これは環上の符号理論にどのような含意を持つのか？
• RQ4 特異性の境界を用いて、$ \mathbb{Z} $ 上のMDS符号のフルランク生成行列の存在を保証できるか？
• RQ5 整数行列のどのような構造的性質が、最適パラメータを持つMDS符号の構築を可能にするのか？

主な発見

• 線形レートおよび線形距離を持つMDS符号は、整数上において定数サイズのアルファベットを用いて構築可能であり、これは有限体の場合とは顕著に異なる。有限体では、ブロック長に比例して体サイズが増加を要する。
• i.i.d. に $ \{-m, \ldots, m\} $ から選ばれた要素を持つ $ n \times n $ ランダム行列の特異確率は、ある絶対定数 $ c > 0 $ に対して $ m^{-cn} $ 以下である。この値は $ n $ に依存しない。
• この境界は、$ m $ が $ n $ に対して十分に大きい場合には、このような行列が高確率で非特異的であることを示唆し、フルランク生成行列の構築を可能にする。
• この結果は、環上の符号理論と大きなランダム整数行列の特異性の間の新しい関係を確立する。
• このような符号が $ \mathbb{Z} $ 上に存在することは、構築プロセスで特異行列に遭遇する確率が $ n $ に対して指数的に小さくなるという事実によって裏付けられており、高い信頼性を保証する。
• 技術的貢献は、符号構築の妥当性を裏付ける行列の非特異性に関する定量的保証を提供する。