가중치 열거식의 주기성과 최소 거리 계산의 새로운 정리

초록

본 논문은 정수 행렬이 생성하는 선형 코드의 가중치 열거식을 준다항식(quasi‑polynomial)으로 해석하고, 그로부터 최소 거리 d₍q₎가 모듈 q의 최대공약수에 따라 일정한 값을 갖는 주기성을 입증한다. 또한 Tutte 준다항식과의 변환식, 그리고 Nₖ·Zₖ 매트로이드에 대한 최대 가중치 코드워드 수를 특성 준다항식 관점에서 계산한다.

상세 분석

논문은 먼저 정수 행렬 G∈Matₖ×ₙ(ℤ)의 Smith 정규형을 이용해 각 열 집합 J⊆E에 대한 초등인수 e₁,ⱼ,…,eᵣ,ⱼ를 정의하고, 이들로부터 lcm ρ₀=ℓcm{eᵣ,ⱼ | ∅≠J⊆E}를 구한다. ρ₀는 전통적인 특성 다항식의 주기와 동일하게, 가중치 열거식 W_G(x,y;q)와 최소 거리 d_q가 ‘준다항식’ 형태로 나타날 때의 기본 주기이다. 핵심 정리(Theorem 1.1)는 세 가지 경우를 제시한다. (1) q와 ρ₀이 서로소이면 모든 such q에 대해 d_q는 가장 작은 서로소 정수 m₀와 동일하다. (2) m≥2이고 m과 최고 초등인수 e_r이 서로소이면, gcd(q,ρ₀)=m인 모든 q에 대해 d_q=d_m이다. (3) 반대로 d_q=d_m이 성립하려면 m이 e₁을 나누어서는 안 된다. 이 결과는 최소 거리를 전체 무한 집합 {d_q | q∈ℕ}에서 제한된 몇 개의 값만 계산하면 충분함을 의미한다. 예를 들어 ρ₀=6이면 d₂,d₃,d₅,d₆만 알면 나머지는 자동으로 결정된다.

가중치 열거식 자체는 W_G(q)=∑{i=0}^n A{G,i}(q) x^{n-i}y^i 로 정의되며, A_{G,i}(q)는 정확히 i개의 비영(非零) 좌표를 갖는 코드워드 수이다. Lemma 3.1을 통해 |H_J(q)|=q^{k−r(J)}∏{j=1}^{r(J)}gcd(q,e{j,J}) 로 표현함으로써, 각 하이퍼플레인 교차점의 개수를 초등인수와 직접 연결한다. 이는 기존의 포함‑배제 방식보다 구조적으로 명확하며, q가 변할 때 계수들이 어떻게 변하는지를 준다항식 형태로 포착한다.

또한 Greene의 정리