[論文レビュー] Vertex identifying codes for the n-dimensional lattice

Brendon Stanton|arXiv (Cornell University)|Aug 28, 2010

Digital Image Processing Techniques参考文献 5被引用数 4

ひとこと要約

本稿は、n次元整数格子 Lₙ における r-同定コードの漸近的密度を確立し、固定された n に対して、r → ∞ のとき最小密度が Θ(1/r^{n-1}) であることを証明している。1次元格子におけるスパarsな1-同定コードを密度 2/9 で構成し、支配集合および幾何的被覆論法を用いて一般化された境界を導出している。

ABSTRACT

An $r$-identifying code on a graph $G$ is a set $C\subset V(G)$ such that for every vertex in $V(G)$, the intersection of the radius-$r$ closed neighborhood with $C$ is nonempty and different. Here, we provide an overview on codes for the $n$-dimensional lattice, discussing the case of 1-identifying codes, constructing a sparse code for the 4-dimensional lattice as well as showing that for fixed $n$, the minimum density of an $r$-identifying code is $Θ(1/r^{n-1})$.

研究の動機と目的

• 固定された n に対して、n次元整数格子 Lₙ における r-同定コードの漸近的最小密度を特定すること。
• 特に4次元格子に対して、明示的なスパarsな1-同定コードを構築すること、特に4次元格子における密度を求める。
• 超立方体における支配集合の概念を一般化し、KabatyanskiĭおよびPanchenkoの結果を応用して漸近的解析に用いる。
• r-同定コードの密度に対するタイトな上界および下界を確立し、Θ(1/r^{n-1}) のスケーリングを示すこと。

提案手法

• 線形独立なベクトル (1,1,1,0) および (1,−1,0,1) を用いて、2次元キンググリッドコードを4次元格子へ幾何的埋め込みし、同定性を保つ。
• 超立方体における支配集合の概念を応用し、Lₙ における1-同定コード密度の境界を導出し、ハミングコード構成の一般化を行う。
• Lₙ における半径 r の球を用いた被覆論法を採用し、空間を辺の長さ k の立方体に分割して、単位体積あたりのコドワード数の境界を求める。
• 単峰性距離関数およびコドワード間隔を用いて、同定集合から頂点座標を再構成し、一意同定を可能にする。
• 部屋割り論法および幾何的制約を用いて、体積および被覆論法によるコード密度の下界を導出する。
• r₀ = floor(r(n+2)/2) を用いた漸近的解析により、十分なコドワード間隔および座標再構成の正確性を保証する。

実験結果

リサーチクエスチョン

• RQ1 固定された n に対して、n次元格子 Lₙ における r-同定コードの最小密度は何か？
• RQ2 4次元格子に対してスパarsな1-同定コードを構築可能か？その密度は何か？
• RQ3 固定された n に対して、r-同定コードの密度は r に対してどのようにスケーリングされるか？
• RQ4 超立方体における支配集合と Lₙ における1-同定コード密度の関係は何か？
• RQ5 コード密度の上界および下界はどの程度タイトか？その漸近的比は何か？

主な発見

• 固定された n に対して、r → ∞ のとき、Lₙ における r-同定コードの最小密度は Θ(1/r^{n-1}) であることが示され、正確な漸近的スケーリングが確立された。
• 既知の2次元キンググリッドコードを拡張することで、4次元格子 L₄ における密度 2/9 の1-同定コードを明示的に構築した。
• L₄ における1-同定コード密度は 1/5 ≤ D(L₄,1) ≤ 2/9 を満たし、上界は4次元埋め込み構成により証明された。
• 大きな n に対しては、1-同定コード密度が 1/(n+1) ≤ D(Lₙ,1) ≤ (1 + b ln ln n / ln n)/ (n+1) を満たす。ここで b は定数である。
• コード密度の上界と下界の比は、漸近的に約 2e^{n+1}/(√(2πn)⌈log₂(2n+1)⌉) で有界であり、eⁿ のように増加するギャップがあることが示された。
• 本手法により、コドワード間隔および距離最小化を用いて、同定集合から頂点座標を一意に再構成でき、区別可能性が保証された。