[論文レビュー] Random Reed-Solomon Codes Achieve the Half-Singleton Bound for Insertions and Deletions over Linear-Sized Alphabets

Roni Con, Zeyu Guo+2 more|arXiv (Cornell University)|Jul 10, 2024

Coding theory and cryptography被引用数 1

ひとこと要約

この論文は、線形サイズのアルファベットを用いたランダムなリード・ソロモン符号が、高確率で挿入・削除エラーに対する半シングルトン境界を達成することを証明している。ランダム行列のランク解析と最長共通部分列の構造的性質を組み合わせることで、符号のアルファベットサイズが n + poly(1/ε)k のとき、(1−ε)n−2k+1 個の敵対的インサート・デリートエラーを訂正できることを示している。これは、従来の指数関数的アルファベットサイズの境界を著しく改善している。

ABSTRACT

In this paper, we prove that with high probability, random Reed-Solomon codes approach the half-Singleton bound - the optimal rate versus error tradeoff for linear insdel codes - with linear-sized alphabets. More precisely, we prove that, for any $ε>0$ and positive integers $n$ and $k$, with high probability, random Reed--Solomon codes of length $n$ and dimension $k$ can correct $(1-\varepsilon)n-2k+1$ adversarial insdel errors over alphabets of size $n+2^{\mathsf{poly}(1/\varepsilon)}k$. This significantly improves upon the alphabet size demonstrated in the work of Con, Shpilka, and Tamo (IEEE TIT, 2023), who showed the existence of Reed--Solomon codes with exponential alphabet size $\widetilde O\left(\binom{n}{2k-1}^2 ight)$ precisely achieving the half-Singleton bound. Our methods are inspired by recent works on list-decoding Reed-Solomon codes. Brakensiek-Gopi-Makam (STOC 2023) showed that random Reed-Solomon codes are list-decodable up to capacity with exponential-sized alphabets, and Guo-Zhang (FOCS 2023) and Alrabiah-Guruswami-Li (STOC 2024) improved the alphabet-size to linear. We achieve a similar alphabet-size reduction by similarly establishing strong bounds on the probability that certain random rectangular matrices are full rank. To accomplish this in our insdel context, our proof combines the random matrix techniques from list-decoding with structural properties of Longest Common Subsequences.

研究の動機と目的

• 挿入・削除モデルにおけるリード・ソロモン符号の研究を通じて、最適なインサート・デリート符号性能と実用的な線形符号の間のギャップを埋めること。
• ランダムなリード・ソロモン符号が、半シングルトン境界において近似的に最適なレートとエラーのトレードオフを達成できることを示すこと。
• 従来の指数関数的アルファベットサイズから、この境界を達成するための線形サイズ（n に比例）にアルファベットサイズを削減すること。
• ランダム RS 符号が、線形サイズの体上ですべての敵対的インサート・デリートエラーに対して高確率で頑健であることを確立すること。
• インサート・デリートエラー訂正の文脈で、ランダム行列理論と最長共通部分列構造を組み合わせた、新しい証明フレームワークを提供すること。

提案手法

• リストデコードの文献にインspiredされたランダム行列技術を活用し、特定の長方形行列がフルランクである確率を制限する。
• インサート・デリートエラー耐性を特徴付けるために、二つのインデックス列 I と J 間の最長共通部分列 (LCS) の構造を分析する。
• 条件付き確率と多項式の次数の上限を用いて、ランダムな体要素の割り当て下での行列の特異確率を制御する。
• 失敗確率の上限を求めるために、貪欲なアルゴリズム的手法で変数を段階的に固定し、依存関係と変数集合を追跡する。
• すべての長さ ℓ の増加部分列のペア I, J に対して、和集合を用いて全失敗確率を制御する。
• 行列ランクのチェックを再帰的アルゴリズムでシミュレートし、行列式多項式の係数解析を用いて、フル列ランクでない確率を上限付ける。

実験結果

リサーチクエスチョン

• RQ1 ランダムなリード・ソロモン符号は、線形サイズのアルファベットを用いて、インサート・デリートエラーに対する半シングルトン境界を高確率で達成できるか？
• RQ2 ランダム RS 符号が、高確率で定数割合の敵対的インサート・デリートエラーを訂正できるために必要な最小のアルファベットサイズは何か？
• RQ3 最長共通部分列の構造は、インサート・デリート訂正符号における評価行列のランクとどのように関係するか？
• RQ4 リストデコードの文脈で得られたランダム行列ランク集中技術を、インサート・デリートエラーモデルに適応できるか？
• RQ5 近似的に最適なインサート・デリートエラー訂正を達成するための、符号次元 k、長さ n、アルファベットサイズ q の間のトレードオフは何か？

主な発見

• アルファベットサイズが n + poly(1/ε)k のランダムなリード・ソロモン符号は、高確率でインサート・デリートエラーに対する半シングルトン境界を達成する。
• その符号は、確率 1 − 2−n 以上で、(1−ε)n − 2k + 1 個の敵対的インサート・デリートエラーを訂正できる。
• アルファベットサイズは、従来の指数関数的サイズ（eO(n²/k²)）から n に比例する線形サイズに削減され、著しく改善された。
• 証明により、ランダムな体要素の割り当て下で、評価行列 Vk,ℓ,I,J が高確率でフル列ランクを示すことが確立された。
• 失敗確率は、すべての増加部分列ペア I, J に対する和集合と、行列式多項式の係数解析を用いて上限付けることができる。
• この結果により、アルファベットサイズが n に比例し、1/ε に対して多項式的に依存する場合、ランダム RS 符号が敵対的インサート・デリートエラーに対して頑健であることが確認された。