원시 다항식과 싱어 사이클 그리고 단어 지향 LFSR의 새로운 연결

초록

본 논문은 일반선형군(GL) 내 싱어 사이클의 구조를 활용해 Zeng·Han·He(2007)의 원시 σ‑LFSR 개수에 관한 추측을 특수 경우에 증명하고, 일반 경우에 대한 가능성 있는 증명 전략을 제시한다. 또한 이 추측이 Niederreiter(1995)의 분할 부분공간 열거 문제와 깊은 연관이 있음을 보인다.

상세 분석

논문은 먼저 유한체 𝔽_q 위의 차수 n인 다항식과 그에 대응하는 선형 피드백 시프트 레지스터(LFSR)의 원시성 개념을 재정의한다. 전통적인 LFSR은 특성다항식이 원시 다항식일 때 최대 주기를 갖는데, σ‑LFSR은 입력벡터를 단어(word) 단위로 처리하면서 전이 행렬이 𝔽_{q^m}‑선형이 아닌 𝔽_q‑선형인 구조를 가진다. 이때 전이 행렬을 GL_{mn}(𝔽_q) 의 원소로 보며, 그 행렬이 Singer 사이클, 즉 차원 mn의 일반선형군에서 차수가 q^{mn}−1 인 원소와 동형인 경우를 고려한다.

Singer 사이클은 유한체 확장 𝔽_{q^{mn}}의 곱셈군을 GL_{mn}(𝔽_q) 로 임베딩한 결과이며, 그 생성원은 모든 비영벡터를 순환시켜 최대 주기를 만든다. 논문은 이러한 사이클이 σ‑LFSR의 전이 행렬이 원시가 되기 위한 충분조건임을 보이고, 특히 전이 행렬이 Singer 사이클의 한 원소와 동형이면 그 σ‑LFSR은 원시다.

Zeng·Han·He의 추측은 “주어진 차수 n에 대해 원시 σ‑LFSR의 개수는 (q^{mn}−1)/(mn)·∏{d|mn}(1−q^{-d})”와 같은 형태로, 기존 원시 LFSR 개수 공식에 차원 확장을 반영한 형태이다. 논문은 n이 소수이면서 m과 n이 서로소인 경우, 즉 𝔽{q^{mn}} 의 원시 원소가 존재하고 그 원소가 Singer 사이클을 완전하게 순환할 때, 위 공식이 정확함을 증명한다. 증명은 먼저 Singer 사이클의 고유다항식이 원시 다항식임을 보이고, 그 고유다항식의 모든 근이 𝔽_{q^{mn}} 의 원시 원소가 되도록 하는 경우의 수를 셈으로써 전이 행렬의 동형 클래스를 구한다.

또한 논문은 일반 경우(즉, m과 n이 서로소가 아니거나 n이 합성수인 경우)에도 동일한 접근법을 적용하려면 Singer 사이클의 부분군 구조와 그에 대응하는 분할 부분공간(splitting subspace)의 열거가 핵심임을 지적한다. 여기서 Niederreiter가 제시한 “분할 부분공간의 개수” 문제와 직접적인 연결고리를 만들며, 이 문제를 해결하면 Zeng·Han·He 추측의 일반 증명이 가능하다고 주장한다.

마지막으로 저자는 현재 알려진 결과와 비교하여, 제시된 특수 경우 증명이 기존 문헌에서 다루어진 경우보다 더 일반적이며, 특히 전이 행렬을 직접 구성하는 알고리즘적 관점에서도 실용적인 이점을 제공한다는 점을 강조한다.