[論文レビュー] Asymptotic Improvement of the Gilbert-Varshamov Bound on the Size of Permutation Codes

Michael Tait, Alexander Vardy+1 more|arXiv (Cornell University)|Nov 20, 2013

Coding theory and cryptography参考文献 6被引用数 4

ひとこと要約

この論文は、$d/n$ が 0.5 より小さい固定定数であるとき、最小ハミング距離 $d$ の置換符号のサイズに対する漸近的下界を改善する。ハミング距離 $d$ 以内の置換間に辺を張るグラフとして問題をモデル化し、近傍グラフの局所的スパarsityを活用することで、ギルバート＝ヴァルシャモフ境界を $n$ に対して線形因子で強化し、$M(n,d) \geq \Omega(n \cdot n! / V(n,d-1))$ を証明する。これは固定レート領域における従来の境界に対して顕著な漸近的改善をもたらす。

ABSTRACT

Given positive integers $n$ and $d$, let $M(n,d)$ denote the maximum size of a permutation code of length $n$ and minimum Hamming distance $d$. The Gilbert-Varshamov bound asserts that $M(n,d) \geq n!/V(n,d-1)$ where $V(n,d)$ is the volume of a Hamming sphere of radius $d$ in $§_n$. Recently, Gao, Yang, and Ge showed that this bound can be improved by a factor $Ω(\log n)$, when $d$ is fixed and $n o \infty$. Herein, we consider the situation where the ratio $d/n$ is fixed and improve the Gilbert-Varshamov bound by a factor that is \emph{linear in $n$}. That is, we show that if $d/n < 0.5$, then $$ M(n,d)\geq cn\,\frac{n!}{V(n,d-1)} $$ where $c$ is a positive constant that depends only on $d/n$. To establish this result, we follow the method of Jiang and Vardy. Namely, we recast the problem of bounding $M(n,d)$ into a graph-theoretic framework and prove that the resulting graph is locally sparse.

研究の動機と目的

• 固定定数 $\delta < 0.5$ として $d/n$ が一定である領域において、長さ $n$ で最小ハミング距離 $d$ の置換符号の最大サイズ $M(n,d)$ に対する漸近的下界を改善すること。
• 従来、固定 $d$ の場合に $\Omega(\log n)$ の改善が示されていたギルバート＝ヴァルシャモフ境界の改善を、より自然な固定 $d/n$ の場合に拡張すること。
• 置換符号グラフにおける近傍グラフの局所的スパarsityを活用することで、古典的ギルバート＝ヴァルシャモフ境界より強い下界を確立すること。

提案手法

• 頂点集合が $\mathcal{S}_n$ であるグラフ $\mathcal{G}$ を構築し、2つの置換がハミング距離 $[1, d-1]$ の範囲にある場合に辺を張る。
• 独立集合がちょうど最小距離 $d$ の置換符号に対応することに気づき、$M(n,d) = \alpha(\mathcal{G})$ となる。
• 各頂点の近傍グラフのスパarsityを分析することで、グラフ論的手法を用いて独立数 $\alpha(\mathcal{G})$ の上限を求める。
• アジャイ＝コムロスキー＝ツェメレーディ（AKS）境界フレームワークを用い、近傍の局所的構造に基づいて $\alpha(\mathcal{G})$ の下限を導出する。
• 制約付きパラメータ上で関数 $g(s,t,m,r)$ を定義・最大化し、共通近傍の数の上限を求める。これにより、辺密度の上限が得られる。
• 最大次数 $\Delta$ と辺数 $E$ の比 $\Delta^2 / E$ が $\Omega(n)$ のオーダーで増大することを示し、改善された境界に至る。

実験結果

リサーチクエスチョン

• RQ1 固定定数 $\delta < 0.5$ として $d/n$ が一定であるとき、置換符号のギルバート＝ヴァルシャモフ境界は漸近的に改善可能か？
• RQ2 置換符号グラフにおける近傍グラフの局所的スパarsityは、古典的ギルバート＝ヴァルシャモフ境界より強い $M(n,d)$ の下界を可能にするか？
• RQ3 $n \to \infty$ のとき、固定レート領域（$d/n = \delta < 0.5$）において、ギルバート＝ヴァルシャモフ境界に対する最大の改善係数は何か？
• RQ4 AKS境界フレームワークを置換符号に適応することで、元の境界に対して $n$ に対して線形の改善が達成可能か？

主な発見

• 固定定数 $\delta < 0.5$ として $d/n$ が一定で $n \to \infty$ のとき、$M(n,d) \geq \Omega\left(n \cdot \frac{n!}{V(n,d-1)}\right)$ が確立され、これは元のギルバート＝ヴァルシャモフ境界に対して線形の改善を示す。
• 改善は、置換符号グラフにおける近傍グラフが局所的にスパースであることを証明することで達成され、標準的な $|V|/(\Delta+1)$ 評価よりも強い独立数の上限が得られる。
• 著者らは $\log_2(\Delta^2 / E) = \Omega(n)$ を示し、これは独立数 $\alpha(\mathcal{G})$ が少なくとも $\Omega(n \cdot n! / V(n,d-1))$ のオーダーで増大することを意味する。
• この境界は、従来の改善（固定 $d$ の場合に $\Omega(\log n)$）よりも定量的に強く、固定レート領域では $n$ に対して線形因子の改善を達成する。
• この改善は、$n$ が十分に大きいすべての値に対して有効であり、$\Omega$-表記の定数は $n$ そのものに依存せず、$\delta = d/n$ のみに依存する。
• 結果は、グラフ内での共通近傍の最大数の組合せ的解析、関数 $g(s,t,m,r)$ を用いた上限、および二項係数に対するエントロピーに基づく推定により導出される。