Orthomorphism Polynomials of degree $7$ over finite fields

기술 요약: 유한체 위에서의 차수가 7인 직교 변환 다항식 (Orthomorphism Polynomials)

문제 정의
본 논문은 유한체 $\mathbb{F}_q$ 위에서 차수가 7인 직교 변환 다항식(Orthomorphism Polynomials, OPs)의 분류 문제를 다룬다. 다항식 $f \in \mathbb{F}_q[x]$는 $f(x)$와 $f(x) - x$가 모두 유한체 $\mathbb{F}_q$ 위에서 치환 다항식(Permutation Polynomials, PPs)일 때 직교 변환 다항식으로 정의된다. Neiderreiter, Robinson, Shallue, 그리고 Wanless의 선행 연구들이 차수가 7 미만인 경우와 특정 차수 6의 경우에 대한 완전 치환 다항식(Complete Permutation Polynomials, CPPs) 및 OPs를 분류하였으나, 차수 7인 OPs의 명시적 형태와 완전한 열거는 다양한 체의 차수(field orders)에 대해 미해결 과제로 남아 있었다. 저자들은 차수 7인 비예외적(non-exceptional) OPs의 완전한 목록을 결정하고, 예외적(exceptional) OPs에 대한 부분적인 특성을 규명하는 것을 목표로 한다.

방법론
저자들은 이론적 분류 결과와 계산적 열거 기법을 결합하여 연구를 수행한다:

1. 선형 변환을 통한 축소: 본 연구는 모든 차수 7 PP가 정규화된 형태 $x^7 + \sum_{i=1}^5 f_i x^i$와 선형 관계에 있다는 Xiang Fan [2]의 연구에 기반한다. 두 다항식은 $g(x) = af(bx+c)+d$를 통해 서로 변환될 수 있을 때 "선형 관계"에 있다고 한다.
2. PP와 OP의 구분: 선형 변환이 PP의 성질은 보존하지만, OP의 성질은 반드시 보존하지는 않는다는 점이 중요한 방법론적 과제로 언급된다. 따라서 저자들은 단순히 정규화된 PP가 OP인지 확인하는 것에 그치지 않고, $\alpha f(\beta x)$ (및 그 이동)가 OP 조건을 만족하도록 하는 구체적인 스케일링 인자 $\alpha$와 $\beta$를 결정해야 한다.
3. 체계적 열거:
   • 저자들은 특정 체의 차수($q \in \{11, 13, 17, 19, 23, 25, 31\}$)에 대해 모든 비예외적 차수 7 PP를 식별하기 위해 Lemma 2 [2]를 활용한다.
   • 각 후보 다항식 군(family)에 대하여, $h(x) = \alpha f(\beta x) - x$ 또한 하나의 PP여야 한다는 조건(즉, 알려진 정규화된 형태 중 하나와 선형 관계에 있어야 함)으로부터 유도된 방정식계를 구성한다.
   • 이 방정식계들을 컴퓨터 대수 시스템인 SageMath을 사용하여 해결함으로써 유효한 쌍 $(\alpha, \beta) \in (\mathbb{F}_q^*)^2$를 찾아낸다.
   • Lemma 3 [5]을 사용하여 유효한 기저 다항식으로부터 평행 이동 $f(x+\gamma) + \delta$를 통해 전체 OP 집합을 생성한다.
   • Lemma 4는 서로 다른 쌍 $(\alpha, \beta)$가 서로 다른 다항식을 생성함을 보장하여 정확한 개수 산출을 가능하게 한다.

주요 기여 및 결과

• 비예외적 OPs의 존재성 및 분류:
  본 논문은 ($q > 7$인 경우) 비예ical적 직교 변환 다항식이 $\mathbb{F}_q$ 위에 존재할 필요충분조건이 $q \in \{11, 13, 17, 19, 25\}$임을 증명한다.

  • 명시적 목록: 저자들은 각 유효한 $q$에 대하여 $(\alpha, \beta)$ 쌍에 의해 매개변수화된 이들 다항식의 명시적 형태를 제공한다.
  • 정확한 개수:
    • $\mathbb{F}_{11}$: 7,260개의 OP (20개는 예외적)
    • $\mathbb{F}_{13}$: 6,422개의 OP (4개는 예외적)
    • $\mathbb{F}_{17}$: 4,624개의 OP (모두 비예외적)
    • $\mathbb{F}_{19}$: 4,332개의 OP (4개는 예외적)
    • $\mathbb{F}_{25}$: 60,000개의 OP (20개는 예외적)
  • $q=11, 13, 17$에 대한 이러한 개수는 Shallue와 Wanless [7]가 제공한 데이터와 완벽히 일치한다.

• 부존재 결과:
  본 연구는 $\mathbb{F}_{23}$ 및 $\mathbb{F}_{31}$ 위에서 차수 7인 OPs가 존재하지 않음을 입증한다. 나아가, $q \equiv 6 \pmod 7$인 경우($q=13$ 제외)에도 OPs가 존재하지 않음을 확인하여, 표수(characteristic) 2 필드에 대한 기존 결과를 확장하였다.

• 예외적 다항식 (Exceptional Polynomials):
  본 논문은 예외적 OP(무수히 많은 확장체 위에서 PP인 경우)를 특성화한다.

  • $\mathbb{F}_{49}$ (및 일반적으로 $\mathbb{F}_{7^t}, t \ge 2$)의 경우, 모든 차수 7 OPs는 예외적이다.
  • 저자들은 총 3,937,640개의 다항식이 존재함을 언급하며 $\mathbb{F}_{49}$에 대한 명시적 특성을 제공한다.
  • $\mathbb{F}_{27}$에서는 차수 7인 OPs가 존재하지 않음이 밝혀졌다.

의의
본 논문은 그러한 다항식이 존재하는 모든 유한체에 대해 비예외적 차수 7 직교 변환 다항식의 분류를 완료했다고 주장한다. $q=19, 25, 49$로 분석을 확장하고 더 작은 체에 대한 기존 데이터와 개수를 검증함으로써, 저자들은 차수 7 OPs에 관한 문헌의 공백을 메운다. 이 연구는 라틴 방진(Latin squares)의 구성과 관련하여 설계 이론(design theory)에 유용한 이 다항식들의 명시적 형태에 대한 확정적인 목록을 제공한다. 저자들은 향-후 연구로서 $\mathbb{F}_{7^r}$ ($r \ge 3$) 및 $q \not\equiv 0, 1, 6 \pmod 7$인 $q > 31$인 체들을 조사하는 것을 언급하였으나, 해당 경우에는 예외적 다항식들만이 발견될 것으로 예상하고 있다.