[논문 리뷰] An Improved Linear Programming Bound on the Average Distance of a Binary Code

Lei Yu, Vincent Y. F. Tan|arXiv (Cornell University)|2019. 10. 21.

Algorithms and Data Compression참고 문헌 23인용 수 7

한 줄 요약

이 논문은 부, 위, 양의 선형 프로그래밍 설정의 이중 프로그램에 대한 더 나은 타당 해를 구성하여 이진 코드의 최소 평균 해밍 거리에 대한 선형 프로그래밍 경계를 향상시킨다. 저자들은 모든 $0 < a \leq 1/2$ 에서 점근적으로 최적의 경계를 달성하며, 여기서 $a = M/2^n$ 이고, 이와 같은 방법을 다양한 차수의 부울 함수의 푸리에 계수에 대한 경계 유도에 응용한다.

ABSTRACT

Ahlswede and Katona (1977) posed the following isodiametric problem in Hamming spaces: For every $n$ and $1\le M\le2^{n}$, determine the minimum average Hamming distance of binary codes with length $n$ and size $M$. Fu, Wei, and Yeung (2001) used linear programming duality to derive a lower bound on the minimum average distance. However, their linear programming approach was not completely exploited. In this paper, we improve Fu-Wei-Yeung's bound by finding a better feasible solution to their dual program. For fixed $0

연구 동기 및 목표

• 모든 $0 < a \leq 1/2$ 에 대해 $M = \lceil a 2^n \rceil$ 인 이진 코드의 최소 평균 해밍 거리에 대한 선형 프로그래밍 경계를 향상시키는 것.
• 부-위-양의 선형 프로그래밍 설정의 이중 프로그램을 보다 효과적으로 활용하기 위해 더 우수한 타당 해를 구성하는 것.
• 모든 $n \to \infty$ 에서 부-위-양의 선형 프로그래밍 접근법을 통해 점근적으로 달성 가능한 모든 경계를 특성화하는 것.
• 향상된 선형 프로그래밍 기법을 활용하여 부울 함수의 차수 $m$ 에 대한 푸리에 계수의 상한을 도출하는 것.
• 코드의 평균 거리와 해당 부울 함수의 차수 1 푸리에 계수 사이의 밀접한 연결 고리를 확립하는 것.

제안 방법

• 이중 거리 분포를 사용하여 평균 거리 최소화 문제를 선형 프로그램으로 공식화하는 것.
• 강한 이중성 원리를 적용하여 원래 최소화 문제를 이중 최대화 문제로 변환하는 것.
• 매개수 $a = M/2^n$ 에 따라 의존하는 새로운 이중 프로그램 타당 해를 구성하여, 부-위-양이 사용한 상수 해 $(0,\dots,0,1/2)$ 를 초월하는 것.
• 모든 $0 < a \leq 1/2$ 에 대해 $n \to \infty$ 에서 새로운 타당 해가 점근적으로 최적이 됨을 증명하는 것.
• 평균 거리와 차수 1 푸리에 계수 사이의 관계인 $ \mathbf{W}_1 = 4a^2(n - 2D(A)) $ 를 이용하여 $D(A)$ 에 대한 경계를 $\mathbf{W}_1$ 에 대한 경계로 변환하는 것.
• 유사한 선형 프로그래밍 기법을 사용하여 $m \geq 2$ 인 고차수 푸리에 계수 $\mathbf{W}_m$ 에 대한 경계를 확장하는 것.

실험 결과

연구 질문

• RQ1 부, 위, 양이 제시한 이진 코드의 최소 평균 해밍 거리에 대한 선형 프로그래밍 경계를 더 나은 이중 타당 해 선택을 통해 향상시킬 수 있는가?
• RQ2 모든 $0 < a \leq 1/2$ 에 대해 $n \to \infty$ 에서 부-위-양의 설정에서 이중 프로그램의 점근적으로 최적의 값은 무엇인가?
• RQ3 향상된 경계는 부울 함수의 푸리에 계수, 특히 차수 1 계수와 어떻게 관련이 있는가?
• RQ4 선형 프로그래밍 접근법을 고차수 푸리에 계수의 경계 유도에 확장할 수 있는가?
• RQ5 새로운 타당 해는 점근적으로 최적이며, 원래 선형 프로그래밍 프레임워크에서 유도 가능한 모든 경계를 포괄하는가?

주요 결과

• 저자들은 부-위-양의 선형 프로그래밍 설정의 이중 프로그램에 대해 이전 경계를 초월하는 새로운 타당 해를 구성한다.
• 모든 $M = \lceil a 2^n \rceil$ 에 대해 $0 < a \leq 1/2$ 인 경우, 새로운 경계는 $n \to \infty$ 에서 이중 프로그램의 점근적으로 최적의 값을 달성한다.
• 향상된 경계는 $ D(A) \geq \frac{n}{2} - \frac{1}{4a} + o(1) $ 를 유도하며, 모든 $a \in (0, 1/2]$ 에서 이중 프로그램의 점근적 최적성과 일치한다.
• 경계는 $a = 1/2$ 와 $a = 1/4$ 에서 날카로운 경계이며, 하위입자 코드에서 등호가 성립한다.
• 이 방법은 부-위-양의 선형 프로그래밍 프레임워크를 통해 점근적으로 달성 가능한 모든 경계를 완전히 특성화한다.
• 이 접근법은 부울 함수의 $m$-차수 푸리에 계수 $\mathbf{W}_m$ 에 대한 상한을 유도하기 위해 확장되었으며, $m=1$ 과 $m=2$ 에 대해 명시적인 표현식이 도출되었다.