[论文解读] 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$ 的渐近下界。通过将问题建模为图结构，其中排列作为顶点，汉明距离在 $[1, d-1]$ 内的排列之间连边，作者利用邻域图的局部稀疏性，使吉尔伯特-瓦尔沙莫夫界在 $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.

研究动机与目标

• 改进在 $d/n$ 为小于 0.5 的固定常数时，$M(n,d)$（长度为 $n$、最小汉明距离为 $d$ 的排列码的最大大小）的渐近下界。
• 将此前对吉尔伯特-瓦尔沙莫夫界的改进（对固定的 $d$，已证明可提升 $\Omega(\log n)$）推广到更自然的 $d/n$ 固定情形。
• 通过利用排列码图中邻域图的局部稀疏性，建立更强的下界，从而实现对原始界线性量级的改进。

提出的方法

• 构建一个图 $\mathcal{G}$，其顶点集为 $\mathcal{S}_n$，若两个排列的汉明距离属于 $[1, d-1]$，则在它们之间连边。
• 识别出 $\mathcal{G}$ 中的独立集恰好对应最小距离为 $d$ 的排列码，因此 $M(n,d) = \alpha(\mathcal{G})$。
• 应用图论技术，通过分析每个顶点周围邻域图的稀疏性，来界定独立数 $\alpha(\mathcal{G})$。
• 利用阿季伊-科姆洛斯-塞迈雷迪（Ajtai-Komlós-Szemerédi, AKS）界框架，基于邻域的局部结构推导出 $\alpha(\mathcal{G})$ 的下界。
• 在受约束的参数下定义并最大化函数 $g(s,t,m,r)$，以对公共邻居的数量进行上界估计，从而限制边的密度。
• 证明比值 $\Delta^2 / E$ 的增长为 $\Omega(n)$，其中 $\Delta$ 为最大度数，$E$ 为边数，从而得出改进后的界。

实验结果

研究问题

• RQ1 当 $d/n$ 固定且小于 0.5 时，排列码的吉尔伯特-瓦尔沙莫夫界能否实现渐近改进？
• RQ2 排列码图中邻域图的局部稀疏性是否能带来比经典吉尔伯特-瓦尔沙莫夫界更强的 $M(n,d)$ 下界？
• RQ3 在固定速率区域（$d/n = \delta < 0.5$）中，当 $n \to \infty$ 时，相对于吉尔伯特-瓦尔沙莫夫界的最大可能改进因子是多少？
• RQ4 能否将 AKS 界框架适配于排列码，以在原始界的基础上实现 $n$ 上的线性改进？

主要发现

• 论文证明了当 $d/n$ 为固定常数 $\delta < 0.5$ 且 $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$-记号中的常数仅依赖于 $\delta = d/n$，而不依赖于 $n$ 本身。
• 该结果通过组合分析图中公共邻居的最大数量得出，其上界由函数 $g(s,t,m,r)$ 控制，并辅以二项式系数的熵估计。