예외수열 완전 분류와 사이클릭 코드·APN 함수의 새로운 증명

본 논문은 “예외수”라 불리는 홀수 지수 t ( t≥3 )가 무한히 많은 확장체 F₂ⁿ 에서 단항 함수 xᵗ 가 APN(Almost Perfect Nonlinear) 특성을 갖거나, 길이 2ⁿ‑1 인 이진 사이클릭 코드가 최소거리 5를 갖는 경우를 완전히 규명한다. 이러한 두 현상은 서로 동등함을 보이며, 이는 다변량 다항식 gₜ(x,y)와 hₜ(x,y) 의 절대불가약성(absolute irreducibility)과 직접 연결된다. **1. 문제 설정 및 기존 연구** - 암호학에서는 APN 함수가 차분 공격에 최적 저항을 제공한다. 단항 함수 f(x)=xᵗ 가 APN이 되려면, 모든 비영(≠0) 차분 a 에 대해 방정식 f(x+a)+f(x)=b 의 해가 최대 두 개이어야 한다. - 코딩 이론에서는 길이 2ⁿ‑1 인 이진 사이클릭 코드 Cₜⁿ (두 영점 ω, ωᵗ 을 갖는 BCH 코드)의 최소거리가 5 이면, 이는 바로 위의 APN 조건과 동치이다. - 기존에 알려진 예외수는 Gold 형태 2ᶦ+1 (‘Gold 수’)와 Kasami‑Welch 형태 4ᶦ‑2ᶦ+1 (‘Kasami‑Welch 수’)뿐이며, 이들에 대해 APN·거리 5 특성이 무한히 많은 n 에 대해 유지됨이 증명돼 있다. **2. 핵심 전략** - t를 t=2ᶦℓ+1 (ℓ은 홀수, i≥1) 로 표기하고, ℓ과 2ᶦ‑1 의 최대공약수 d=gcd(ℓ,2ᶦ‑1) 에 따라 두 경우로 나눈다. - Jedlička(2007)는 d<ℓ인 경우에 대해 gₜ(x,y) 가 절대불가약인 인자를 반드시 포함한다는 결과를 제시했다. 따라서 남은 문제는 d=ℓ인 경우이다. **3. 다항식 정의와 절대불가약성 연결** - 기본 다항식 fₜ(x,y,z)=xᵗ+yᵗ+zᵗ+(x+y+z)ᵗ 을 정의하고, 이를 (x+y)(x+z)(y+z)와 곱해 gₜ(x,y,z) 를 만든다. z=1을 대입하면 2차원 형태 gₜ(x,y) 를 얻는다. - 또 다른 형태 hₜ(x,y)=(x+1)ᵗ+xᵗ+(y+1)ᵗ+yᵗ·(x+1)(y+1)(x+y) 를 정의한다. 두 다항식은 각각 코드 거리와 APN 특성을 판정하는 데 사용된다. - Proposition 1·2에 의해, gₜ 또는 hₜ 가 절대불가약인 인자를 갖는다면, 충분히 큰 n 에 대해 코드 거리 5 혹은 APN 특성이 깨진다. 따라서 “예외수 ⇔ 절대불가약성 부재”가 성립한다. **4. 특이점 분석** - 점 P=(α,β) 에 대해 fₜ(x+α,y+β) 를 전개하고, 0차·1차 항이 사라지는 조건을 통해 α,β,λ=α+β+1이 ℓ‑제곱근임을 도출한다. - 특이점은 세 종류로 구분한다. - **유형 I**: α=β=λ=1 (단 하나) - **유형 II**: 두 좌표 중 하나가 1이고 다른가 ℓ‑제곱근이면서 1이 아닌 경우 (총 3(ℓ‑1) 개) - **유형 III**: α,β,λ이 서로 다른 ℓ‑제곱근이며 α·β·λ=1인 경우 (최대 (ℓ‑1)(ℓ‑3) 개) - 각 유형에 대해 F_{2i} 와 F_{2i+1} (전개식의 동차 성분)의 형태를 계산한다. 특히 ℓ이 홀수이므로 φ(β)=α+β+1 가 고정점을 갖지 않음으로, 유형 III 의 가능한 β 수를 ℓ‑3 이하로 제한한다. **5. 베주 정리 적용** - 베주 정리: 두 평면 곡선 r, s 의 교차 곱의 총합은 차수 곱 deg(r)·deg(s) 와 같다. 여기서는 gₜ·gₜ 또는 hₜ·hₜ 의 교차 곱을 고려한다. - 교차 곱은 각 특이점 P 에서 I(P,r,s)≥m_P(r)·m_P(s) (Corollary 8) 로 하한을 갖는다. - Lemma 9에 의해 유형 II·III 의 경우, gₜ 가 두 인자로 분해될 때 교차 곱이 0이 된다. 따라서 전체 교차 곱은 주로 유형 I·II·III 의 자체 교차에서 기인한다. - d=ℓ인 경우, 모든 ℓ‑제곱근이 GF(2ᶦ) 에 포함되므로 유형 II·III 가 모두 II.A·III.A 에 해당하고, F_{2i}=0 이 된다. 이때 교차 곱 계산을 통해 전체 합이 차수 곱보다 작아지는 모순이 발생하지 않으며, 이는 gₜ 가 절대불가약 인자를 반드시 포함한다는 결론을 뒷받침한다. **6. 최종 정리** - d=ℓ이면서 t=2ᶦ+1 또는 t=4ᶦ‑2ᶦ+1 인 경우에만 gₜ, hₜ 가 절대불가약 인자를 갖지 않는다(즉, 완전 인수분해가 가능). 이는 기존에 알려진 Gold·Kasami‑Welch 수와 정확히 일치한다. - 그 외 모든 홀수 t≥3에 대해서는 gₜ, hₜ 가 절대불가약 인자를 포함하므로, 무한히 많은 n 에 대해 APN 혹은 최소거리 5 코드를 얻을 수 없음을 증명한다. **7. 부가 결과 및 반례** - 논문은 Conjecture 3·4(“모든 비예외수에 대해 절대불가약성 보장”)가 일반적으로는 거짓임을 보여주는 구체적인 반례를 제시한다(섹션 6). 이는 절대불가약성 ⇒ 예외수는 성립하지만, 역은 성립하지 않음을 명확히 한다. **8. 의의와 전망** - 이 결과는 암호학과 코딩 이론 사이의 깊은 수학적 연결고리를 확립한다. 특히, 다변량 다항식의 절대불가약성 분석이 APN 함수와 사이클릭 코드의 구조적 특성을 동시에 설명한다는 점에서 새로운 방법론을 제시한다. - 앞으로는 더 일반적인 지수 형태나 다른 특성(예: 높은 차수 차분 균등성)에도 동일한 기법을 적용해 새로운 클래스의 함수·코드를 탐색할 가능성이 열려 있다.