Kummer 확장 곡선으로 만든 새로운 QC·GQC AG 코드

초록

본 논문은 Kummer 확장 형태의 대수곡선을 이용해, 기존의 타원곡선 기반 방법을 넘어서는 유연한 코-인덱스를 갖는 quasi‑cyclic(QC) 및 generalized quasi‑cyclic(GQC) 대수기하코드(AG 코드)를 체계적으로 구축한다. 자동군의 순환 구조를 활용해 명시적인 파라미터식과 최소거리 하한을 도출하고, 특히 초곡선, 노름‑트레이스 곡선, 헤르미티안 곡선 등에서 얻어지는 코드가 높은 차수와 좋은 비율을 동시에 만족함을 보인다.

상세 분석

이 논문은 대수기하코드(AG 코드)의 구조적 장점을 quasi‑cyclic(QC) 및 generalized quasi‑cyclic(GQC) 형태와 결합하는 새로운 프레임워크를 제시한다. 핵심 아이디어는 유한체 𝔽_q 위의 Kummer 확장 곡선 X: x^m = B(y) (여기서 B(y)는 차수 d인 가분리 다항식, gcd(m,d)=1) 에서 유도되는 순환 자동군 ⟨τ⟩(τ: (x,y)↦(ξx,y), ξ^m=1)를 이용해, τ의 궤도(orbit)를 코드의 블록으로 삼는 것이다.

먼저 논문은 자동군이 고정점 P_∞(무한점)을 갖는 경우, τ의 순환 길이 ord(τ)=m이 곧 코드의 co‑index가 된다. 이때 τ가 작용하는 긴 궤도들을 선택해 D₁=∑{i=1}^m P_i 로 정의하고, D₂=t·P∞ (2g−2<t<m·ord(τ)) 로 잡는다. Riemann‑Roch 공간 L(D₂)의 기저 {f₁,…,f_k}를 이용해 평가 맵을 구성하면, 생성 행렬 G는 각 f_j를 τ의 반복 적용으로 얻은 값들을 블록별로 배열한 형태가 된다. 이 구조는 정의 2.1의 QC 코드 조건 T(C)=C 를 자동적으로 만족한다는 점에서 핵심적이다.

정리 2.4와 2.5는 위와 같은 구성을 일반화한다. 정리 2.4는 하나의 순환 자동군에 의해 생성된 긴 궤도만을 사용해 순수 QC 코드를 얻는 반면, 정리 2.5는 서로 다른 길이 m₁,…,m_s 를 갖는 여러 궤도를 조합해 GQC 코드를 만든다. 두 정리 모두 차원 k=t+1−g, 최소거리 d≥n−t 라는 명시적 파라미터를 제공한다. 여기서 n은 전체 평가점의 수이며, t는 D₂의 차수이다.

다음으로 논문은 Kummer 확장 곡선의 구체적 예시를 제시한다. 정리 3.1에 따르면, X: x^m = B(y) 는 절대적으로 기약이며, (m−d)=±1 일 때 비특이점이며, 일반적으로 genus g=(m−1)(d−1)/2 를 가진다. 자동군 ⟨τ⟩는 차수 m 의 순환군이며, π: X→ℙ¹ (y좌표) 로의 투영은 완전 분기점이 d 개인 m‑차 커버링이다. 이러한 곡선군에는

• 초곡선 (hyperelliptic, m=2)
• 노름‑트레이스 곡선 (특정 B(y) 형태)
• 헤르미티안 곡선 (q가 제곱수일 때 B(y)=y^{q+1})
  등이 포함된다.

특히 헤르미티안 곡선은 𝔽_{q²} 위에서 최대곡선(maximal curve)이며, 자동군의 차수가 q+1 로 매우 크다. 따라서 co‑index 를 q+1 의 任의 약수로 자유롭게 선택할 수 있어, 실용적인 구현에서 메모리와 연산 복잡도를 조절할 수 있다. 또한, genus이 커짐에 따라 Singleton 결함 s=n−k+1−d ≤ g 가 작아져, 비록 MDS 코드는 아니더라도 거의 MDS에 근접한 성능을 보인다.

논문은 이러한 코드를 “asymptotically good” 라고 평가한다. 즉, genus를 증가시키면서 n/k 비율과 d/n 비율을 동시에 일정 수준 이상 유지할 수 있음을 보인다. 이는 기존의 타원곡선 기반 QC 코드가 자동군 차수 ≤6 으로 제한받아 얻을 수 있는 co‑index 가 제한적인 것과 대조된다.

마지막으로, 저자는 구체적인 파라미터 예시(예: q=2⁴, m=5, d=3 등)를 제시해 실제 코드 길이, 차원, 최소거리 값을 계산하고, 기존 문헌의 QC 코드와 비교해 개선된 성능을 확인한다. 전체적으로 자동군의 구조적 특성을 활용한 코드 설계 방법론이 명확히 제시되었으며, 향후 대규모 저장 시스템이나 포스트‑양자 암호 프로토콜에 적용 가능한 실용적 기반을 제공한다.