[논문 리뷰] Towards the full classification of exceptional scattered polynomials

Daniele Bartoli, Maria Montanucci|arXiv (Cornell University)|2019. 05. 27.

Coding theory and cryptography참고 문헌 41인용 수 9

한 줄 요약

이 논문은 $ q \leq 4 $ 인 경우 인덱스 0인 예외적 산산스러운 모닉 다항식의 분류를 완료하고, 대수곡선 이론과 하세-바일 추정을 사용하여 특정 가족에 대해 예외적 성질이 아님을 증명함으로써 인덱스 2인 경우를 완전히 분류한다. 이는 이전의 산산스러운 다항식 및 MRD 코드와 최대 산산스러운 선형 집합과의 연관성에 대한 연구를 확장한다.

ABSTRACT

Let $f(X) \in \mathbb{F}_{q^r}[X]$ be a $q$-polynomial. If the $\mathbb{F}_q$-subspace $U=\{(x^{q^t},f(x)) \mid x \in \mathbb{F}_{q^n}\}$ defines a maximum scattered linear set, then we call $f(X)$ a scattered polynomial of index $t$. The asymptotic behaviour of scattered polynomials of index $t$ is an interesting open problem. In this sense, exceptional scattered polynomials of index $t$ are those for which $U$ is a maximum scattered linear set in ${ m PG}(1,q^{mr})$ for infinitely many $m$. The complete classifications of exceptional scattered monic polynomials of index $0$ (for $q>5$) and of index 1 were obtained by Bartoli and Zhou. In this paper we complete the classifications of exceptional scattered monic polynomials of index $0$ for $q \leq 4$. Also, some partial classifications are obtained for arbitrary $t$. As a consequence, the complete classification of exceptional scattered monic polynomials of index $2$ is given.

연구 동기 및 목표

• 이전 연구에서 남겨진 미해결 케이스를 해결하기 위해 $ q \leq 4 $ 인 경우 인덱스 0인 예외적 산산스러운 모닉 다항식의 분류를 완료하는 것.
• 예외적 산산스러운 모닉 다항식의 인덱스 2에 대한 완전한 분류를 제공하는 것.
• 대수곡선 방법을 통해 이항형과 삼항형을 분석하여 예외적 산산스러운 다항식에 대한 이해를 확장하는 것.
• 관련 곡선에 유리점이 존재함을 증명하여 산산스러운 다항식이 예외적이지 않음을 밝히는 조건을 규명하는 것.
• 산산스러운 다항식, MRD 코드, 그리고 사영 기하학에서의 최대 산산스러운 선형 집합 간의 관계를 설정하는 것.

제안 방법

• 다항식 $ f $ 가 예외적 산산스러운지 판단하기 위해 비율 $ f(x)/x = f(y)/y $ 로 정의된 곡선 $ \mathcal{Y}_f $ 를 분석한다.
• 관련 대수곡선 $ G(Y,Z) = 0 $ 에서의 유리점 수를 추정하기 위해 하세-바일 추정을 사용한다.
• 특히 $ n < m $ 인 이항형에 대해 유리해를 분석하기 위해 쿠머 확장 이론을 적용한다.
• 방정식을 단순화하고 $ \overline{\mathbb{F}_q}(Y) $ 내의 해 존재성을 연구하기 위해 $ (X,Y) \mapsto (X,XY) $ 로 곡선을 변환한다.
• 함수체의 점들에서의 함의 이론을 사용하여 특성 2에서의 삼항형에 대해 기약성과 유리해의 부재를 증명한다.
• 관련 곡선이 절대기약이고 $ y/x \notin \mathbb{F}_q $ 인 유리점이 존재한다면, $ f $ 는 예외적 산산스러운 것이 아님을 증명한다.

실험 결과

연구 질문

• RQ1 모든 $ q \leq 4 $ 에 대해 인덱스 0인 예외적 산산스러운 모닉 다항식이 존재하는가? 만약 존재한다면, 그 완전한 분류는 무엇인가?
• RQ2 예외적 산산스러운 모닉 다항식의 인덱스 2에 대한 분류를 완전히 완료할 수 있는가?
• RQ3 어떤 이항형과 삼항형 가족에 대해 관련 곡선이 절대기약이며, 이는 예외적 산산스러운 성질에 어떤 영향을 미치는가?
• RQ4 유리점 $ (x_0, y_0) $ 가 존재하고 $ x_0/y_0 \notin \mathbb{F}_q $ 를 만족할 경우, 산산스러운 다항식이 예외적이지 않다는 것을 어떻게 추론할 수 있는가?
• RQ5 특성 2에서 쿠머 확장과 함의 논증이 산산스러운 다항식의 비예외적 성질을 증명하는 데 어떻게 기여하는가?

주요 결과

• 모든 $ q \leq 4 $ 에 대해 인덱스 0인 예외적 산산스러운 모닉 다항식의 완전한 분류가 이제 확립되었으며, 이는 이전 연구에서 남아 있던 미해결 케이스를 해결한 것이다.
• 논문은 인덱스 2인 예외적 산산스러운 모닉 다항식의 완전한 분류를 제공하며, 주어진 조건 하에서 특정 형태로 제한됨을 보여준다.
• 형태 $ X^{q^n} + bX^{q^m} $ 를 가진 이항형에 대해, $ m-t = t-n $ 가 아닐 경우 $ y/x \notin \mathbb{F}_q $ 인 유리점이 존재하므로, 나머지 모든 경우에서 비예외적임을 의미한다.
• 특성 2에서의 삼항형 $ f_k(X) = X^{2^{k-2}} + aX^{2^{k-1}} + bX^{2^k} $ 에 대해, 관련 곡선이 절대기약임을 증명하였고, $ k > 2 $ 일 경우 $ f_k $ 는 예외적 산산스러운 것이 아님을 의미한다.
• 하세-바일 추정과 곡선의 기약성 분석 방법이 넓은 다항식 가족에서 예외적 산산스러운 성질이 없음을 효과적으로 배제하는 데 성공했다.
• 분석 결과, 기존에 알려진 산산스러운 다항식 가족들(예: $ \delta x^{q^s} + x^{q^{n-s}} $)이 여전히 예외적 산산스러운 성질의 주요 후보로 남아 있으며, 연구된 사례에서 새로운 가족은 발견되지 않았다.