[論文レビュー] Linear Insertion Deletion Codes in the High-Noise and High-Rate Regimes

Kuan Cheng, Zhengzhong Jin+3 more|arXiv (Cornell University)|Jan 1, 2023

Advanced biosensing and bioanalysis techniques被引用数 1

ひとこと要約

本稿では、高ノイズおよび高レートの両領域において、漸近的に最適なトレードオフを達成する、初めての明示的で、効率的に符号化・復号可能な線形挿入・削除（insdel）符号を提示する。著者らは、インデックス情報が暗黙的に埋め込まれる新しい符号連結フレームワークを導入することで、定数サイズのアルファベット上に、任意に1に近いinsdel誤りを訂正できる符号を構築した。また、二進符号では、任意に1/2に近いレートを達成でき、これは従来知られていた理論的限界と一致しており、最良の可能性であることが示された。

ABSTRACT

This work continues the study of linear error correcting codes against adversarial insertion deletion errors (insdel errors). Previously, the work of Cheng, Guruswami, Haeupler, and Li \cite{CGHL21} showed the existence of asymptotically good linear insdel codes that can correct arbitrarily close to $1$ fraction of errors over some constant size alphabet, or achieve rate arbitrarily close to $1/2$ even over the binary alphabet. As shown in \cite{CGHL21}, these bounds are also the best possible. However, known explicit constructions in \cite{CGHL21}, and subsequent improved constructions by Con, Shpilka, and Tamo \cite{9770830} all fall short of meeting these bounds. Over any constant size alphabet, they can only achieve rate $< 1/8$ or correct $< 1/4$ fraction of errors; over the binary alphabet, they can only achieve rate $< 1/1216$ or correct $< 1/54$ fraction of errors. Apparently, previous techniques face inherent barriers to achieve rate better than $1/4$ or correct more than $1/2$ fraction of errors. In this work we give new constructions of such codes that meet these bounds, namely, asymptotically good linear insdel codes that can correct arbitrarily close to $1$ fraction of errors over some constant size alphabet, and binary asymptotically good linear insdel codes that can achieve rate arbitrarily close to $1/2$.\ All our constructions are efficiently encodable and decodable. Our constructions are based on a novel approach of code concatenation, which embeds the index information implicitly into codewords. This significantly differs from previous techniques and may be of independent interest. Finally, we also prove the existence of linear concatenated insdel codes with parameters that match random linear codes, and propose a conjecture about linear insdel codes.

研究の動機と目的

• 高ノイズおよび高レートの両領域において、理論的限界と明示的構成との間のギャップを埋める。
• 従来の技術が、レートを1/4未満、誤り訂正を1/2未満に制限する根本的な障壁を克服する。
• insdel誤りに対して半分のSingleton境界を達成する、効率的で線形の符号構成法を開発する。
• ランダム線形符号と同等のパラメータを持つ線形連結insdel符号の存在を証明する。
• 線形insdel符号の構造と限界に関する予想を提示する。

提案手法

• 符号の各語にインデックス情報が暗黙的に埋め込まれる新しい符号連結フレームワークを導入し、明示的な同期記号を避ける。
• 階層的な括弧構造を用い、制限付き共通部分列に起因する追加価値をモデル化・分析する。
• 符号語行列から導出される3つの二進文字列間のペアワイズ制限付き共通部分列に基づき、文字列の「追加価値」を定義・計算する。
• 強化されたレベルℓの括弧に対する再帰的解析を適用し、総追加価値の下界を導出する。その結果、少なくともΩ(n / log n)であることを示した。
• 削除された列（0,0,0)^Tの構造を活用して、完全長の共通部分列を再構築し、符号語のLCSを評価する。
• 特定の符号語ペairのLCSがn/2 + 3n/(16 log n)を超えることを証明し、符号性能に対する主要な下界を確立した。

実験結果

リサーチクエスチョン

• RQ1 二進アルファベット上での明示的線形insdel符号を、1/2に任意に近いレートで達成できるか？
• RQ2 定数サイズのアルファベット上での線形insdel符号は、1に近いinsdel誤りを訂正できるか？
• RQ3 線形insdel符号のレートと誤り訂正の根本的限界は何か？ そして、明示的構成によってその限界に達成できるか？
• RQ4 インデックス情報を暗黙的に埋め込む新しい符号連結法が、従来の性能の壁を打ち破れるか？
• RQ5 ランダム線形符号の性能を再現する線形insdel符号の構造的特徴づけは存在するか？

主な発見

• 著者らは、定数サイズのアルファベット上に、任意に1に近いinsdel誤りを訂正できる明示的で、効率的に符号化・復号可能な線形insdel符号を構築した。
• 二進符号では、理論的半-Singleton境界と一致する、任意に1/2に近いレートを達成した。
• 主な革新点は、明示的な同期記号を避けることで、インデックス情報を暗黙的に埋め込む新しい符号連結法である。
• 特定の符号語ペアに対して、LCSが少なくともn/2 + 3n/(16 log n)以上であることを示し、高レート符号の存在を証明した。
• ランダム線形符号と同等のパラメータを持つ線形連結insdel符号の存在を証明した。
• 線形insdel符号の構造と限界に関する予想を提示した。これにより、より深い代数的または組合せ論的特徴づけが存在する可能性が示唆された。