[論文レビュー] Bounds for Multiple Packing and List-Decoding Error Exponents

Yihan Zhang, Shashank Vatedka|arXiv (Cornell University)|Jul 12, 2021

Mathematical Approximation and Integration参考文献 57被引用数 4

ひとこと要約

この論文は、高次元ユークリッド空間における複数配置の最大密度の新たな境界を、高次元幾何学および大偏差理論の道具を用いて確立する。リストデコードにおける誤り指数と最悪ケースのリストデコード半径の間の新しい関係を導入し、複数配置密度の最高の既知の下界および平均半径リストデコード可能符号（例えば、強制されたガウス符号を含む）の正確な漸近的性能を導出する。

ABSTRACT

We revisit the problem of high-dimensional multiple packing in Euclidean space. Multiple packing is a natural generalization of sphere packing and is defined as follows. Let $ N>0 $ and $ L\in\mathbb{Z}_{\ge2} $. A multiple packing is a set $\mathcal{C}$ of points in $ \mathbb{R}^n $ such that any point in $ \mathbb{R}^n $ lies in the intersection of at most $ L-1 $ balls of radius $ \sqrt{nN} $ around points in $ \mathcal{C} $. We study the multiple packing problem for both bounded point sets whose points have norm at most $\sqrt{nP}$ for some constant $P>0$ and unbounded point sets whose points are allowed to be anywhere in $ \mathbb{R}^n $. Given a well-known connection with coding theory, multiple packings can be viewed as the Euclidean analog of list-decodable codes, which are well-studied for finite fields. In this paper, we derive various bounds on the largest possible density of a multiple packing in both bounded and unbounded settings. A related notion called average-radius multiple packing is also studied. Some of our lower bounds exactly pin down the asymptotics of certain ensembles of average-radius list-decodable codes, e.g., (expurgated) Gaussian codes and (expurgated) Poisson Point Processes. To this end, we apply tools from high-dimensional geometry and large deviation theory. Some of our lower bounds on the optimal multiple packing density are the best known lower bounds. These bounds are obtained via a proxy known as error exponent. The latter quantity is the best exponent of the probability of list-decoding error when the code is corrupted by a Gaussian noise. We establish a curious inequality which relates the error exponent, a quantity of average-case nature, to the list-decoding radius, a quantity of worst-case nature. We derive various bounds on the error exponent in both bounded and unbounded settings which are of independent interest beyond multiple packing.

研究の動機と目的

• 有界および無限大の点集合に対して、高次元ユークリッド空間における複数配置の最大密度のタイトな境界を導出すること。
• リストデコード可能符号における平均ケースの誤り指数と最悪ケースのリストデコード半径の間の関係を確立すること。
• 平均半径リストデコード可能符号（強制されたガウス符号およびポisson点過程を含む）の漸近的性能を特徴づけること。
• 誤り指数解析を用いて、既存の下界を超える複数配置密度の下界を改善すること。

提案手法

• 著者らは、ガウスノイズ下でのリストデコード誤り確率の尾部挙動を分析するために大偏差理論を用いる。
• 複数配置およびリストデコード可能符号の漸近的性能を束縛するための代理量として「誤り指数」を導入する。
• 主な技術的貢献として、平均ケースの誤り指数と最悪ケースのリストデコード半径を結ぶ新しい不等式を提示する。
• 解析は、ノルム ≤ √(nP) の有界集合および ℝⁿ 内の無限大集合の両方の設定に適用される。
• この手法は、特に測度集中現象および球体パッキングの類似性を含む、高次元幾何的性質を活用する。
• フレームワークは、強制されたガウス符号およびポisson点過程を含む特定の符号集合に適用され、正確な漸近的性能が導出される。

実験結果

リサーチクエスチョン

• RQ1 有界および無限大制約下で、高次元ユークリッド空間における複数配置の最適漸近的密度は何か？
• RQ2 高次元符号におけるリストデコードの誤り指数は、最悪ケースのリストデコード半径とどのように関係するか？
• RQ3 誤り指数フレームワークは、複数配置密度のタイトな下界を導けるか？
• RQ4 平均半径リストデコード可能符号（例えば、強制されたガウス符号）の正確な漸近的性能限界は何か？
• RQ5 大偏差原理は、コードレート、リストサイズ、誤り指数の間のトレードオフをどのように特徴づけるか？

主な発見

• 本論文は、高次元ユークリッド空間における複数配置の最大密度の、最高の既知の下界を確立する。
• 平均半径リストデコード可能符号（強制されたガウス符号およびポisson点過程を含む）の性能に関する正確な漸近的性能が導出される。
• 平均ケースの誤り指数と最悪ケースのリストデコード半径を結ぶ新しい不等式が証明され、符号性能における根本的な双対性が明らかになる。
• 誤り指数解析により、有界および無限大設定の両方におけるリストデコード可能符号の漸近的性能のタイトな境界が得られる。
• 連続アルファベットにおけるリストデコードの研究のための新しい解析的フレームワークが提供され、複数配置を越える応用効果を有する。
• このフレームワークは、コードレート、リストサイズ、誤り指数のトレードオフを的確に捉え、主要な符号族の正確な漸近的限界を提供する。