[논문 리뷰] Polynomial functions of degree 20 which are APN infinitely often

Florian Caullery|arXiv (Cornell University)|2012. 12. 19.

Coding theory and cryptography참고 문헌 4인용 수 4

한 줄 요약

이 논문은 유한체 $\mathbb{F}_2$의 무한한 확장에서 거의 완전 비선형(APN)인 모든 20차 다항함수를 분류하기 위해, 함수와 관련된 대수적 곡면의 유리점들을 분석함으로써 수행한다. 이는 아브리-맥길러-로디에르 추측, 즉 예외적 지수를 가진 다항함수만이 무한히 자주 APN일 수 있다는 추측을 확인하는 데 핵심적인 단계를 제공한다.

ABSTRACT

We give all the polynomials functions of degree 20 which are APN over an infinity of field extensions and show they are all CCZ-equivalent to the function $x^5$, which is a new step in proving the conjecture of Aubry, McGuire and Rodier.

연구 동기 및 목표

• 유한체 $\mathbb{F}_2$의 무한한 확장에서 APN인 모든 20차 다항함수를 분류하는 것.
• 이러한 함수들이 아브리-맥길러-로디에르 추측을 만족하는지 확인하는 것. 이 추측은 오직 $d = 2^i+1$ 또는 $4^i - 2^i + 1$ 형태의 예외적 단항함수 $x^d$와 CCZ-동치인 함수들만이 무한히 자주 APN일 수 있다고 주장한다.
• 관련 대수적 곡면의 기약 성분 문제로 인해 복잡해지는 상황에서, 20차 다항함수에 대해 표면의 유리점 분석 방법을 확장하는 것.
• 모든 이러한 20차 APN 함수가 $x^5$와 CCZ-동치임을 보여주는 것. 이는 알려진 예외적 단항함수이다.

제안 방법

• 논문은 다항함수 $f$와 관련된 유리함수 $\phi(x,y,z) = \frac{f(x)+f(y)+f(z)+f(x+y+z)}{(x+y)(x+z)(y+z)}$를 정의하며, 이는 APN 행동의 핵심 불변량이다.
• APN 성질이 무한히 많은 $\mathbb{F}_{2^n}$ 에서 성립하려면, $\phi = 0$ 으로 정의된 대수적 곡면 $X$ 가 고정된 세 평면의 곡면 $V$ 에 포함되어야 한다는 사실을 이용한다.
• 이 방법은 $\phi$ 가 대칭 다항식과 기약 성분으로 나누어지는지 분석하며, 특히 $x^5$ 와 관련된 $\phi_5$ 에 초점을 맞춘다. 여기서 대칭 다항식 $s_1, s_3$ 과 프로베누스 자기동형사상 $\rho$ 를 사용한다.
• 계수의 차수별 비교를 통해 $\phi$ 에서의 계수 제약 조건을 유도함으로써, $f$ 의 형태를 제한한다. 이는 비영인 계수들이 특정한 형태로만 존재할 수 있음을 보여준다.
• 특히 $\phi_5 + b$ 가 $b \neq 0$ 일 때 $ \mathbb{F}_q$ 에서 기약임을 이용하여, 이러한 항이 $\phi$ 에 존재하면 모순이 발생함을 보이고, 따라서 $b=0$ 이어야 한다는 결론을 이끌어낸다.
• 마지막으로, $f$ 의 유일한 가능한 형태는 $f(x) = x^{20} + a_{16}x^{16} + a_{10}x^{10} + a_8x^8 + a_5x^5 + a_4x^4 + a_2x^2 + a_1x + a_0$ 임을 증명하고, 이것이 $x^5$ 와 CCZ-동치임을 보여준다.

실험 결과

연구 질문

• RQ1 체 $\mathbb{F}_q$ 상에서 20차 다항함수 중에서 무한한 체 확장 $\mathbb{F}_{2^n}$ 에서 APN인 것은 무엇인가?
• RQ2 아브리-맥길러-로디에르 추측이 예측한 바와 같이, 이러한 모든 20차 APN 함수가 $x^5$ 와 CCZ-동치인가?
• RQ3 다항함수의 차수가 20일 때, $\phi(x,y,z)$ 로 정의된 대수적 곡면 $X$ 의 구조는 가능한 $f$ 의 형태를 어떻게 제약하는가?
• RQ4 대칭 다항식과 프로베누스 자기동형사상은 이러한 APN 함수의 분류에 어떤 역할을 하는가?
• RQ5 표면의 유리점 추정과 성분 분석 방법을 12차를 넘는 더 높은 차수의 다항함수로 확장할 수 있는가?

주요 결과

• 무한한 $\mathbb{F}_2$ 확장에서 APN인 모든 20차 다항함수는 $f(x) = x^{20} + a_{16}x^{16} + a_{10}x^{10} + a_8x^8 + a_5x^5 + a_4x^4 + a_2x^2 + a_1x + a_0$ 의 형태를 가지며, 계수는 $\mathbb{F}_q$ 에 속한다.
• 함수 $f$ 는 $x^5$ 와 CCZ-동치이며, 이는 아브리-맥길러-로디에르 추측에서 예측한 예외적 단항함수의 범주에 속한다는 것을 확인한다.
• 분석 결과, $\phi$ 의 기약성과 나누어떨어짐 조건으로 인해 계수 $a_{19}, a_{18}, a_{17}, a_{15}, a_{14}, a_{13}, a_{12}, a_{11}, a_9, a_7, a_6$ 는 모두 0이어야 한다.
• 함수 $f$ 와 관련된 곡면 $X$ 는 $\phi_5$ 로 나누어지며, 잔여 인수의 구조는 함수가 특정 대칭 형태로 $x^5$ 의 변형임을 강제한다.
• 이 증명은 $\phi_5 + b$ 가 $b \neq 0$ 일 때 $ \mathbb{F}_q$ 에서 기약임을 이용하며, 이 경우 $\phi$ 에 이러한 항이 존재하면 모순이 발생하므로 $b=0$ 이어야 한다는 결론을 이끌어낸다.
• 최종적으로 $f$ 의 형태는 $x^5$ 와 CCZ-동치임을 보여주며, 이는 20차 다항함수에 대한 분류를 완료한다.