[논문 리뷰] On $m$-dimensional toric codes

John B. Little, Ryan Schwarz|ArXiv.org|2005. 06. 29.

Coding theory and cryptography참고 문헌 7인용 수 10

한 줄 요약

이 논문은 유한체 위의 m차원 토릭 코드의 최소 거리를 계산하기 위해 다변수 바르드몬드 행렬을 사용하는 간단하고 행렬식 기반의 방법을 제안한다. 특히 직사각형 다각형과 단체에 대해 적용 가능하며, 유일한 모듈러 변환을 통한 다각형의 동치성에 따라 단항 등가 코드를 유도함으로써 2차원 토릭 코드의 등가성 분류를 가능하게 하고, Magma를 활용한 명시적 무게 열거 다항식을 통해 동일한 매개변수를 가진 비등가 코드를 구별한다.

ABSTRACT

Toric codes are a class of $m$-dimensional cyclic codes introduced recently by J. Hansen. They may be defined as evaluation codes obtained from monomials corresponding to integer lattice points in an integral convex polytope $P \subseteq \R^m$. As such, they are in a sense a natural extension of Reed-Solomon codes. Several authors have used intersection theory on toric surfaces to derive bounds on the minimum distance of some toric codes with $m = 2$. In this paper, we will provide a more elementary approach that applies equally well to many toric codes for all $m \ge 2$. Our methods are based on a sort of multivariate generalization of Vandermonde determinants that has also been used in the study of multivariate polynomial interpolation. We use these Vandermonde determinants to determine the minimum distance of toric codes from rectangular polytopes and simplices. We also prove a general result showing that if there is a unimodular integer affine transformation taking one polytope $P_1$ to a second polytope $P_2$, then the corresponding toric codes are monomially equivalent (hence have the same parameters). We use this to begin a classification of two-dimensional toric codes with small dimension.

연구 동기 및 목표

• 토릭 코드의 최소 거리를 계산하기 위한 더 간단하고 대수적 방법을 개발하여 고급 대수기하학을 피하기 위해.
• 다변수 다항식 보간 기법을 활용해 2차원 이상의 일반적인 m ≥ 2 차원의 토릭 코드 분석을 확장하기 위해.
• 기하학적 및 대수적 불변량을 사용하여 2차원 토릭 코드의 단항 등가성에 대한 분류를 수립하기 위해.
• Magma를 통해 계산한 무게 열거 다항식을 사용하여 동일한 n과 k 매개변수를 가진 비등가 토릭 코드를 구별하기 위해.
• 직사각형 다각형과 단체에서 유도된 토릭 코드의 최소 거리에 대한 명시적 공식을 제공하기 위해.

제안 방법

• 저자들은 토릭 코드의 표준 생성행렬의 부분행렬의 질량을 분석하기 위해 바르드몬드 행렬의 다변수 일반화를 사용한다.
• 체수 (F_q^*)^m 내의 점들의 '균형 잡힌 집합'을 식별하여 바르드몬드 행렬식이 0이 아니게 하여 전체 질량을 확보하고 최소 거리의 하한을 확보한다.
• 이 방법은 직사각형 다각형과 단체에서 유도된 토릭 코드에 적용되며, 행렬식이 0이 아님 조건을 통해 정확한 최소 거리 공식을 도출한다.
• 핵심 이론적 도구는 다각형 P₁과 P₂ 사이의 정수 애핀 변환(유일한 모듈러 변환)이 해당 토릭 코드 C_{P₁}과 C_{P₂} 사이의 단항 등가성을 유도한다는 증명이다.
• 분류를 위해 저자들은 이전 연구에서 얻은 Magma 코드를 활용하여 무게 열거 다항식 W_C(x) = ∑ A_i x^i를 계산하고 계수를 비교하여 코드를 구별한다.
• 특정 무게, 특히 최소 거리 근처의 무게를 가진 코드어를 다항식 형태 c(x-a)(y-b) 및 d(x-a)(y-bx-c)를 사용하여 분석하고 발생 빈도를 세는 방식으로 분석한다.

실험 결과

연구 질문

• RQ1 m차원에서 직사각형 다각형 또는 단체로부터 유도된 토릭 코드의 최소 거리는 무엇인가?
• RQ2 교차 이론이나 대수기하학에 의존하지 않고 토릭 코드의 최소 거리를 어떻게 계산할 수 있는가?
• RQ3 두 토릭 코드가 언제 단항 등가가 되며, 그 정의 다각형에 대해 어떤 기하학적 조건이 이를 보장하는가?
• RQ4 같은 n과 k 매개변수를 가진 토릭 코드들이 무게 열거 다항식을 통해 어떻게 구별될 수 있는가?
• RQ5 2차원 토릭 코드에서 최소 거리보다 약간 큰 무게를 가진 코드어의 구조는 어떻게 되는가?

주요 결과

• 직사각형 다각형에서 유도된 토릭 코드의 최소 거리는 m ≥ 2일 때 정확히 (q-1)^m - 2(q-1)^{m-1}이며, 이는 비영인 다변수 바르드몬드 행렬식을 통해 유도된다.
• 단체에서 유도된 토릭 코드의 최소 거리는 (q-1)^m - (q-1)^{m-1}이며, 다시 한번 행렬식 기반 분석을 통해 확인된다.
• 유일한 모듈러 변환을 통한 다각형의 동치성은 해당 토릭 코드의 단항 등가성을 유도하며, 이는 격자 변환을 통해 2차원 코드의 등가성 분류를 가능하게 한다.
• q = 7, 8, …, 23에 대해 F_q 위의 C_{P_5^{(3)}}, C_{P_5^{(4)}}, C_{P_5^{(5)}}, C_{P_5^{(6)}}의 무게 열거 다항식은 모두 서로 다름을 증명하여 비등가성을 입증한다.
• q > 23일 경우, C_{P_5^{(6)}}에는 무게 (q-1)^2 - (2q-3)의 코드어가 존재하지 않지만, C_{P_5^{(3)}}와 C_{P_5^{(4)}}에는 존재한다. 이는 더 많은 근을 가진 인수분해 가능한 다항식 존재 때문이므로.
• 무게 (q-1)^2 - (2q-3)의 코드어 수는 C_{P_5^{(3)}}에서 3(q-1)^3개, C_{P_5^{(4)}}와 C_{P_5^{(6)}}에서는 각각 (q-1)^3개이며, C_{P_5^{(5)}}에는 이러한 코드어가 존재하지 않는다.