비표준 선형 재귀수와 순환코드 자동동형의 완전 분류

초록

본 논문은 유한체 GF(q) 위에서 차수 m인 비표준 원소(특히 m=2)의 정의와 성질을 조사하고, 이를 단일 영점으로 생성되는 순환코드가 추가적인 순열 자동동형을 가질 때와 동등함을 보인다. 두 종류의 비표준 예시(형 I: f(x)=x^m−c, 형 II: 부분체의 원시 원소를 확장·리프팅한 경우)를 제시하고, PGL(2,q) 부분군의 분류와 Brison‑Nogueira의 최신 결과를 이용해 차수 2인 비표준 원소는 반드시 형 I 또는 형 II에 속함을 증명한다. 이로써 m=2 경우의 완전한 분류가 이루어진다.

상세 분석

논문은 먼저 선형 재귀 관계 u_k = σ_{m-1}u_{k-1}+…+σ_0u_{k-m}의 특성 다항식 f(x)=x^m−σ_{m-1}x^{m-1}−…−σ_0이 GF(q) 위에서 기약일 때, 그 영점 ξ가 “비표준(degree m) over GF(q)”이라 정의한다. 이는 u_0=1, f(u_1)≠0인 초기값으로 재귀를 진행했을 때, ξ^k (k≥0) 전체를 중복 없이 생성할 수 있음을 의미한다. 기존 연구에서는 m=2인 경우에만 부분적인 결과가 알려졌으며, 특히 q가 소수일 때와 r≤4일 때만 완전 분류가 이루어졌다.

핵심 아이디어는 비표준 원소의 존재와 단일 영점으로 생성되는 순환코드 C의 자동동형군 사이의 일대일 대응을 보이는 것이다. C가 추가적인 순열 자동동형을 갖는다면, 그 자동동형은 재귀 관계의 비표준 해와 정확히 대응한다. 따라서 비표준 원소를 찾는 문제는 “추가 자동동형을 가진 순환코드”를 찾는 문제와 동치가 된다.

두 종류의 비표준 예시가 제시된다. 형 I은 f(x)=x^m−c (c∈GF(q)*) 형태로, 이는 다항식이 완전 거듭제곱이 아니면서도 재귀식이 단순히 ξ→ξ·c^{1/m} 형태로 변환되는 경우이다. 이 경우 ξ는 명백히 비표준이며, 대부분의 원시 원소가 이에 속한다. 형 II는 부분체 GF(q_0)⊂GF(q)에서 원시 원소 φ를 선택하고, “확장(extension)”과 “리프팅(lifting)” 과정을 통해 새로운 비표준 원소 ξ를 만든다. 여기서 q = q_0^t, (m,t)=1이며, ξ와 φ는 동일한 q‑order를 공유한다. 이 과정은 군론적으로는 PGL(2,q_0) 혹은 PSL(2,q_0) 부분군을 PGL(2,q) 안에 삽입하는 것과 동등하다.

m=2인 경우, 저자들은 ξ의 q‑order d와 그에 대응하는 행렬 Ξ⊂PGL(2,q)를 구성한다. Ξ는 크기 d인 궤도를 가지며, PGL(2,q) 부분군의 완전 분류 결과를 적용하면 Ξ는 반드시 PGL(2,q_0) 혹은 PSL(2,q_0) 형태가 된다. 여기서 d = q_0+1, q = q_0^t (t는 홀수)임을 얻는다. Brison‑Nogueira의 최신 정리(비표준 원소가 차수 2이고 q‑order = q_0+1이면 반드시 원시임)를 결합하면, 모든 차수 2 비표준 원소는 형 I 또는 형 II에 해당한다는 결론에 도달한다. 즉, 추가적인 예외는 존재하지 않는다.

또한, 이론적 결과를 뒷받침하기 위해 이진·삼진 골레이 코드와 같은 구체적인 예시가 제시된다. 이 코드들은 길이 23·11·5 등에서 비표준 원소를 제공하며, 각각 차수 11( GF(2) )와 차수 5( GF(3) )의 스페셜 케이스에 해당한다. 이 외에 알려진 스포리adic 예시는 존재하지 않는다.

전체적으로 논문은 선형 재귀수, 순환코드, 군론을 유기적으로 결합해 비표준 원소의 구조를 완전히 파악하고, 특히 차수 2 경우에 대한 완전 분류를 제공한다는 점에서 의의가 크다.