새로운 짝수 차수 유한체에서의 순열 삼항식 구축과 등가성 분석

초록

본 논문은 짝수 특성을 갖는 확장체 𝔽₂^{2m} 위에서 형태 X^r · ( X^{α(2^m−1)} + X^{β(2^m−1)} + 1) 의 순열 삼항식을 세 가지 새로운 파라미터 집합 (α,β,r) = (7,5,7), (8,6,9), (10,4,11)에 대해 구축한다. 또한 (r,α,β) = (9,7,3)인 경우 m>3에서 순열이 불가능함을 증명하고, 최근 제안된 두 클래스의 준곱등가성(QM equivalence) 추측을 완전하게 입증한다.

상세 분석

이 논문은 짝수 차수 유한체 𝔽_{2^{2m}} 위에서 순열 삼항식 X^r · ( X^{α(2^m−1)} + X^{β(2^m−1)} + 1) 의 존재 여부를 조사한다. 기존 연구에서는 (α,β,r) 조합이 제한적이었으며, 특히 α,β가 작고 r이 작은 경우에만 전면적인 결과가 알려져 있었다. 저자들은 세 가지 새로운 파라미터 집합 (7,5,7), (8,6,9), (10,4,11) 에 대해 순열성을 완전히 증명한다. 핵심 도구는 Lemma 2.2(단일 변수 형태의 순열성 판정)와 Lemma 2.3(특정 형태의 다항식이 µ_{q+1}에 근을 갖지 않는 조건)이다. 각 경우에 대해 먼저 gcd(r, q−1)=1 을 확인하고, 이어서 G(X)=X^r·(X^α+X^β+1)^{q−1} 가 단위 원소군 µ_{q+1} 위에서 전단사임을 보인다. 전단사성을 보이기 위해 저자들은 SageMath를 이용해 f(X,Y)=G(X)−G(Y) 를 다변량 다항식으로 전개하고, 이를 여러 개의 2차 혹은 4차 다항식으로 인수분해한다. 각 인수는 특정 원시 2^k‑근 b 를 포함하는 형태이며, Trace 연산 Tr_{2^k m / 2^m} 을 적용해 b 의 성질을 이용한다. 예를 들어, (α,β,r)=(10,4,11) 경우에는 b∈𝔽_{2^{10}} 에 대해 Tr_{2^{10}m / 2^m}(b)=0 임을 보이고, 이를 통해 f_i(X,Y)=0 이 단위 원소군 내에서 불가능함을 증명한다. 이러한 인수분해와 Trace 논증은 기존 논문에서 다루어진 단순한 경우와 달리, 보다 복잡한 차수와 확장 차수를 다루면서도 전단사성을 확보한다는 점에서 기술적 진보가 크다.

비존재 결과는 (r,α,β)=(9,7,3)에 대해 m>3이면 순열이 될 수 없음을 보인다. 여기서는 해당 삼항식을 h(X)=X^7+X^3+1 이라 두고, 이 다항식이 정의하는 대수곡선이 절대적으로 기약임을 증명한다. 절대 기약성을 확보한 뒤 Hasse‑Weil 경계 |N_q−(q+1)|≤2g√q (여기서 g는 곡선의 genus) 를 적용해, 충분히 큰 q=2^{2m} 에 대해 곡선의 점 개수가 단위 원소군 µ_{q+1} 의 크기와 모순됨을 보여 비존재를 결론짓는다. 이 접근법은 기존에 비존재를 보일 때 주로 사용되는 차수‑조건이나 직접적인 계산보다 일반적인 대수기하학적 방법을 도입한 점이 주목할 만하다.

마지막으로, 최근 Yadav·Gupta·Singh·Yadav(2024)가 제시한 “준곱등가성(QM equivalence)” 추측을 다루며, 저자들은 새로운 삼항식 클래스와 기존 클래스 사이의 QM 등가성을 전부 부정한다. 이를 위해 변환 f(X)↦a·f(bX+c)+d ( a,b∈𝔽_q^*, c,d∈𝔽_q) 가 단항식 수를 보존하지 않는다는 정의를 활용하고, 각 클래스에 대해 가능한 변환을 모두 열거한 뒤 모순을 도출한다. 특히, 새로운 클래스들 간에도 QM 등가성이 없음을 보임으로써 이들 삼항식이 진정으로 새로운 구조임을 확정한다.

전반적으로 논문은 새로운 파라미터 조합에 대한 순열성 증명, 비존재 증명, 그리고 등가성 분석이라는 세 축을 균형 있게 다루며, 복잡한 인수분해와 대수기하학적 도구를 적절히 결합한다는 점에서 학술적 기여도가 높다. 다만, SageMath를 통한 인수분해 결과가 논문에 직접 제시되지 않아 재현 가능성이 다소 떨어지는 점과, Hasse‑Weil 경계 적용 시 곡선의 기하학적 성질(예: 특이점 여부) 검증이 간략히 서술된 점은 향후 보완이 필요하다.