[논문 리뷰] Universal Bounds for Size and Energy of Codes of Given Minimum and Maximum Distances

Peter Boyvalenkov, Peter D Dragnev외 3명|arXiv (Cornell University)|2019. 10. 16.

Coding theory and cryptography참고 문헌 18인용 수 5

한 줄 요약

이 논문은 서명 측도와 정부호 다항식을 사용하여 해밍 공간 내 주어진 최소거리와 최대거리 조건을 갖는 코드의 크기 상한과 에너지 하한에 대한 일반적인 상한을 수립한다. 레벤슈타인 유형의 구적 공식을 통해 명시적이고 계산 가능한 상한을 도출하며, 최적성 조건을 증명하고 기존의 오보이드 및 골레이 코드 투영과 같은 코드들에서의 날카로움을 검증한다.

ABSTRACT

We employ signed measures that are positive definite up to certain degrees to establish Levenshtein-type upper bounds on the cardinality of codes with given minimum and maximum distances, and universal lower bounds on the potential energy (for absolutely monotone interactions) for codes with given maximum distance and cardinality. The distance distributions of codes that attain the bounds are found in terms of the parameters of Levenshtein-type quadrature formulas. Necessary and sufficient conditions for the optimality of our bounds are derived. Further, we obtain upper bounds on the energy of codes of fixed minimum and maximum distances and cardinality.

연구 동기 및 목표

• 해밍 공간 내 주어진 최소거리와 최대거리 조건을 갖는 코드의 최대 크기에 대한 일반적인 상한을 도출하는 것.
• 고정된 크기와 최대거리 조건을 갖는 코드의 잠재 에너지에 대한 일반적인 하한을 수립하는 것.
• 레벤슈타인 유형의 구적 공식을 사용하여 이러한 상한을 달성하는 코드의 거리 분포를 특성화하는 것.
• 유도된 상한의 최적성에 필요한 필수 및 필요조건을 제공하는 것.
• 기존 최적 코드들인 오보이드 및 골레이 코드 투영과 같은 경우에 상한의 날카로움을 검증하는 것.

제안 방법

• 일정 차수 이하에서 정부호인 서명 측도를 사용하여 선형 프로그래밍 상한을 구성하는 것.
• 크라프치유크 다항식 전개를 사용하여 쌍대 공간 내 다항식을 표현하고 계수를 음이 아닌 값으로 제약하는 것.
• 각각 크기 상한과 에너지 상한에 대해 가능 집합 $\mathcal{F}_{n,\ell,s}$ 및 $\mathcal{G}^{(h)}_{n,\ell}$ 을 정의하는 것.
• 매개수 $n$, $q$, $\ell$, $s$ 를 사용하여 상한의 명시적 공식을 도출하며, $L = nq^2(1-s)(1-\ell)$ 이다.
• 레벤슈타인 유형의 구적 공식을 적용하여 최적 코드의 거리 분포를 특성화하는 것.
• 거리 분포가 시스템 (38)을 만족하고 상한이 등호로 달성됨을 확인함으로써 최적성을 검증하는 것.

실험 결과

연구 질문

• RQ1 주어진 최소거리와 최대거리 조건을 갖는 $F_q^n$ 내 코드의 크기에 대한 가장 날카로운 일반 상한은 무엇인가?
• RQ2 절대 단조 증가 함수를 갖는 상호작용 함수에 대해 코드의 잠재 에너지에 대한 일반 하한은 어떻게 도출할 수 있는가?
• RQ3 코드가 유도된 상한을 달성하기 위한 필요 및 충분 조건은 무엇인가?
• RQ4 기존 최적 코드들(예: 오보이드, 골레이 코드 투영) 중에서 최적성 조건을 만족하고 상한을 달성하는 것은 무엇인가?
• RQ5 상한을 달성하는 코드의 거리 분포를 명시적으로 어떻게 계산할 수 있는가?

주요 결과

• 논문은 $\mathcal{A}_q(n,\ell,s)$ 에 대한 일반 상한을 유도하며, $\mathcal{A}_q(n,\ell,s) \leq \frac{L}{L + 4(q-1)(1-n) + 2nq(q-1)(s+\ell)}$ 를 만족한다. 여기서 $L = nq^2(1-s)(1-\ell)$ 이며, 이는 최소거리와 최대거리 조건을 갖는 코드에 대한 레벤슈타인 상한을 일반화한 것이다.
• 코드의 $\ell > -1$ 인 경우, 이 상한은 날카로우며 기존의 구성(예: 이진 $[5,4,2]$ 코드, 이진 $[6,3,2]$ 코드, 힐의 삼진 및 사진 프로젝티브 캡)에 의해 달성된다.
• 상한을 달성하는 코드의 거리 분포는 시스템 (38)을 통해 완전히 특성화되며, 오보이드의 경우 $A_\ell = n(q-1)$ 이고 $A_s = nd$ 이며, 이에 따라 $|C| = q^4$ 가 된다.
• 이러한 최적 코드의 $h$-에너지가 $E_h(C) = q^4(q^2+1)(q-1)\left(h\left(\frac{1-q^2}{1+q^2}\right) + h\left(\frac{1+2q-q^2}{1+q^2}\right)\right)$ 로 계산되며, 이는 모든 절대 단조 증가 함수 $h$ 에 대해 하한을 달성한다.
• 이진 골레이 코드 투영(길이 23 및 22)은 $k=2$ 인 경우 $L_4(n,\ell,s)$ 상한을 달성하며, 각각 $|C| = 2^{11}$ 과 $2^{10}$ 이다. 이는 고차수 경우 상한의 날카로움을 확인한다.
• Dodunekov, Helleseth, Zinoviev의 무한한 코드 가족에 대해, $N \geq 1 + (q^m - q)/2$ 일 때 상한이 달성되며, $|C| = q^{2m} = L_2(n,\ell,s)$ 이고, 거리 분포는 시스템 (38)을 통해 명시적으로 계산된다.