[논문 리뷰] Perfect Mannheim, Lipschitz and Hurwitz weight codes

Murat Güzeltepe|arXiv (Cornell University)|2012. 01. 13.

Coding theory and cryptography참고 문헌 15인용 수 13

한 줄 요약

이 논문은 맨하탄, 리프시츠, 허르츠 방식의 거리 척도를 사용하여 가우시 정수, 리프시츠 정수, 허르츠 정수 위에서 완전 코드의 존재성과 비존재성을 조사한다. 코드 매개변수에 대한 상한을 설정하고, 세 거리 척도 모두에서 오차 무게 1을纠正하는 완전 코드가 존재하는 것을 증명하는 반면, 주어진 조건 하에 오차 무게 2 이상의 완전 코드는 존재하지 않음을 입증한다.

ABSTRACT

In this paper, upper bounds on codes over Gaussian integers, Lipschitz integers and Hurwitz integers with respect to Mannheim metric, Lipschitz and Hurwitz metric are given.

연구 동기 및 목표

• 맨하탄, 리프시츠, 허르츠 거리 척도에 대해 가우시 정수, 리프시츠 정수, 허르츠 정수 위에서 완전 코드의 존재성과 비존재성을 결정하는 것.
• 각각의 거리 척도 하에서 이러한 정수환 위의 코드에 대해 코드 크기와 최소 거리에 대한 상한을 설정하는 것.
• 특히 QAM 기반 코딩 변조의 맥락에서, 오차 무게 1 또는 2를纠正하는 완전 코드가 이러한 거리 척도 하에서 존재하는지 조사하는 것.
• 체가 아닌 알파벳을 사용하는 비유계수 수체를 이용하여 해밀턴 및 리프시츠 거리 척도를 초월한 완전 코드 이론을 확장하는 것.
• 쿼aternion 및 복소 정수환의 맥락에서 새로운 구성법과 비존재성 결과를 제공하는 것.

제안 방법

• 가우시 정수, 리프시츠 정수, 허르츠 정수 위에서 가중 L1 노름 기반의 맨하탄, 리프시츠, 허르츠 거리 척도를 정의하는 것.
• 구의 밀도 상한을 사용하여 완전 코드에 필요한 조건을 유도하며, 제한된 무게를 가진 오차 벡터의 수를 코셋의 수와 동일시하는 것.
• 유한 몐드환 $\mathcal{H}_{\pi}$ 와 $H(\mathbb{Z})_{\pi}$ 위에서 허르츠 무게 1 및 2의 모든 오차 벡터를 나열하며, 서로 다른 비영인 성분과 그 대수적 값을 고려하는 것.
• 완전 코드의 실현 가능성을 판단하기 위해 조건 $ (2p^2 - 1)^{n-k} \geq 50n^2 + 10n + 1 $ 을 $\mathcal{H}_{\pi}$ 와 $17^{n-k} \geq 50n^2 - 34n + 1$ 을 $\mathcal{H}_{1+e_1+e_2}$ 에 적용하는 것.
• 대수적 수론을 사용하여 소수 허르츠수 또는 가우시 소수를 모듈로로 하여 우측 합동을 통한 몐드환 $G_\pi$, $H(\mathbb{Z})_\pi$, $\mathcal{H}_\pi$ 를 정의하는 것.
• 완전 코드 방정식의 유일한 정수 해가 $n=1, k=0$ 임을 확인하고, 이는 실현 가능하지 않기에 비존재성을 증명하는 것.

실험 결과

연구 질문

• RQ1 맨하탄 거리 척도에서 가우시 정수 위에서 오차 무게 1을纠正하는 완전 코드가 존재하는가?
• RQ2 리프시츠 거리 척도에서 리프시츠 정수 위에서 오차 무게 1을纠正하는 완전 코드가 존재하는가?
• RQ3 허르츠 거리 척도에서 허르츠 정수 위에서 오차 무게 1을纠正하는 완전 코드가 존재하는가?
• RQ4 맨하탄, 리프시츠, 또는 허르츠 거리 척도에서 각각의 정수환 위에서 오차 무게 2를纠正하는 완전 코드가 존재하는가?
• RQ5 이러한 거리 척도 하에서 완전 코드의 존재를 위한 코드 매개변수 $n$, $k$, $p$ 에 대한 필수 조건은 무엇인가?

주요 결과

• 맨하탄 거리 척도에서 가우시 정수 $G_\pi$ 위에서 오차 무게 1을纠正하는 완전 코드가 존재하며, $(2400, 2398)$, $(5764800, 5764796)$ 등 다양한 매개변수를 가진다.
• 리프시츠 거리 척도에서 리프시츠 정수 $H(\mathbb{Z})_\pi$ 위에서 오차 무게 1을纠正하는 완전 코드가 존재하며, 기존 결과를 체가 아닌 알파벳으로 확장한다.
• 허르츠 거리 척도에서 허르츠 정수 $\mathcal{H}_\pi$ 위에서 오차 무게 1을纠正하는 완전 코드가 존재하며, 구의 밀도 조건에 따라 유도된 매개변수를 가진다.
• $\mathcal{H}_{1+e_1+e_2}$ 위에서는 오차 무게 2 이하를纠正하는 완전 코드가 존재하지 않으며, 방정식 $17^{n-k} = 50n^2 - 34n + 1$ 의 유일한 해가 $n=1, k=0$ 이고, 이는 실현 가능하지 않기 때문이다.
• $\pi\pi^* = p \geq 17$ 인 $\mathcal{H}_\pi$ 위에서는 오차 무게 2 이하를纠正하는 완전 코드가 존재하지 않으며, $n \leq 1000000$, $n-k \leq 23$ 범위 내에서 방정식 $ (2p^2 - 1)^{n-k} = 50n^2 + 10n + 1 $ 에 정수 해가 존재하지 않기 때문이다.
• 이 논문은 허르츠 거리 척도 하에서 허르츠 정수 위에서 완전 코드를 구성하는 데 있어 최초의 알려진 구성법을 제공하며, 더 높은 오차 무게에서는 비존재성을 입증한다.