[논문 리뷰] Asymptotic Improvement of the Gilbert-Varshamov Bound on the Size of Permutation Codes

Michael Tait, Alexander Vardy외 1명|arXiv (Cornell University)|2013. 11. 20.

Coding theory and cryptography참고 문헌 6인용 수 4

한 줄 요약

이 논문은 $d/n$ 가 0.5 미만인 고정된 상수일 때, 최소 해밍 거리 $d$를 가진 순열 코드의 크기의 점근적 하한을 향상시킨다. 문제를 순열을 정점으로 하고, 해밍 거리 $d$ 이내인 순열 간에 간선을 연결한 그래프로 모델링함으로써, 이웃 그래프의 局소 희박성(local sparsity)을 활용하여 기존의 Gilbert-Varshamov 하한을 $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$의 순열 코드의 최대 크기 $M(n,d)$에 대한 점근적 하한을 향상시키는 것. 이는 $d/n$ 이 0.5 미만인 고정된 상수일 경우에 해당한다.
• 이전에 고정된 $d$에 대해 $\Omega(\log n)$ 정도 향상된 Gilbert-Varshamov 하한의 결과를 더 자연스러운 고정 비율 $d/n$ 경우로 확장하는 것.
• 순열 코드 그래프의 국소적 희박성에 기반한 이웃 그래프의 특성을 활용하여, 기존의 Gilbert-Varshamov 하한보다 더 강력한 하한을 확립하는 것.

제안 방법

• 정점 집합이 $\mathcal{S}_n$인 그래프 $\mathcal{G}$ 를 구성하며, 두 순열 간의 해밍 거리가 $[1, d-1]$ 에 속할 경우에 간선을 연결한다.
• 이웃 그래프 $\mathcal{G}$ 의 독립집합은 정확히 최소 거리 $d$를 가진 순열 코드와 대응되므로 $M(n,d) = \alpha(\mathcal{G})$ 임을 인지한다.
• 각 정점 주변의 이웃 그래프의 희박성 분석을 통해 그래프 이론적 기법을 적용하여 독립수 $\alpha(\mathcal{G})$ 의 상한을 구한다.
• Ajtai-Komlós-Szemerédi (AKS) 하한 프레임워크를 활용하여, 이웃의 국소적 구조에 기반해 $\alpha(\mathcal{G})$ 의 하한을 유도한다.
• 제약 조건이 있는 변수 $s,t,m,r$ 에 대해 함수 $g(s,t,m,r)$ 를 정의하고 최대화하여 공통 이웃 수의 상한을 구함으로써 간선 밀도를 제약한다.
• 최대 차수 $\Delta$ 와 간선 수 $E$ 의 비율 $\Delta^2 / E$ 가 $\Omega(n)$ 으로 증가함을 증명함으로써, 개선된 하한을 도출한다.

실험 결과

연구 질문

• RQ1 만약 $d/n$ 이 고정되어 있고 0.5 미만일 경우, 순열 코드에 대한 Gilbert-Varshamov 하한을 점근적으로 향상시킬 수 있는가?
• RQ2 순열 코드 그래프의 이웃 그래프의 국소적 희박성이 기존의 Gilbert-Varshamov 하한보다 더 강력한 $M(n,d)$ 의 하한을 가능하게 하는가?
• RQ3 점근적으로 $n \to \infty$ 일 때, 고정 비율 영역($d/n = \delta < 0.5$) 에서 Gilbert-Varshamov 하한에 대한 최대 가능 개선 요소는 무엇인가?
• 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)$ 를 확립하며, 이는 원래 Gilbert-Varshamov 하한에 비해 선형적 개선을 의미한다.
• 이 개선은 순열 코드 그래프의 이웃 그래프가 국소적으로 희박하다는 것을 증명함으로써, 표준적인 $|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)$ 를 통한 상한, 그리고 이항계수에 대한 엔트로피 기반 추정치를 통해 도출된다.