[논문 리뷰] Existence of primitive polynomials with three coefficients prescribed

Donald Mills|ArXiv.org|2003. 05. 27.

Coding theory and cryptography참고 문헌 6인용 수 7

한 줄 요약

이 논문은 특성 5 이상인 유한체에서 주어진 세 계수를 갖는 원시 다항식의 존재성을 증명하며, 기약 다항식의 k번째 계수에 대한 재귀 공식을 사용한다. 주요 결과는 모든 n ≥ 9 및 F_q³ 내의 임의의 삼중조합 (f₁, f₂, f₃)에 대해 이러한 원시 다항식이 존재한다는 것이다. n = 7 및 n = 8에 대해서는 걸러내기 및 계산적 검증을 통해 부분적인 결과를 확보하였다.

ABSTRACT

We demonstrate, using character sum arguments, the existence of primitive polynomials of degree n over a finite field GF(q) with the coefficients for x^(n-1), x^(n-2), and x^(n-3) prescribed, so long as char(GF(q)) is at least 5 and n is at least 9. The cases n=7, 8 are also considered.

연구 동기 및 목표

• F_q에서 차수 n인 원시 다항식이 주어진 세 계수 f₁, f₂, f₃를 갖는지 여부를 규명하는 것.
• 이전의 한 개 또는 두 개의 계수를 고정한 원시 다항식에 대한 결과를 세 개의 계수로 확장하는 것.
• 유한체 위의 기약 다항식의 k번째 계수에 대한 일반적인 재귀 공식을 개발하는 것.
• n ≥ 9에 대해 존재성을 해결하고, 걸러내기 및 계산 방법을 통해 n = 7 및 n = 8에 대해 진전을 이루는 것.
• 작은 q 및 n에 대한 잠재적 예외를 걸러내기 및 컴퓨터 검증을 통해 식별하고 제거하는 것.

제안 방법

• 유한체 위의 추적 함수와 거듭제곱 합을 사용하여 F_q 위의 기약 다항식의 k번째 계수 f_k에 대한 재귀 공식을 유도한다.
• p ∤ k일 때 αW_{k,n}(α)의 추적을 k·f_k로 표현하는 다항식 W_{k,n}(x)를 도입한다.
• q^n - 1의 소인수 개수에 기반한 걸러내기 기법을 적용하여 주어진 계수를 갖는 원시 다항식의 수를 추정한다.
• 보완적 약수 방법과 추적 합의 크기 한계를 사용하여 이러한 다항식의 수가 양수임을 보여준다.
• 소규모 q 및 n에 대해 계산적 검증을 수행하여 걸러내기로 커버하지 못한 잠재적 예외를 제거한다.
• 이 공식이 원시 다항식 뿐 아니라 일반 기약 다항식에도 적용된다는 점을 활용하여 더 넓은 적용 가능성을 높인다.

실험 결과

연구 질문

• RQ1 특성 5 이상인 유한체 F_q 및 n ≥ 9에 대해, F_q 내의 주어진 세 계수 f₁, f₂, f₃를 갖는 원시 다항식이 존재하는가?
• RQ2 n = 7 및 n = 8에 대해 세 계수를 고정한 원시 다항식의 존재성이 보장될 수 있는가, 그리고 만약 가능하다면 어떤 조건에서 가능한가?
• RQ3 걸러내기 기법을 통해 이러한 다항식의 존재성을 확보하기 위해 q^n - 1의 최소 몇 개의 소인수가 필요한가?
• RQ4 k번째 계수에 대한 재귀 공식을 어떻게 활용하여 기약 다항식의 근을 포함하는 곱의 추적을 분석할 수 있는가?
• RQ5 작은 q 및 n 값 중에서 이러한 다항식의 존재에 대한 잠재적 예외는 무엇이며, 이를 계산 또는 걸러내기로 제거할 수 있는가?

주요 결과

• 모든 특성 5 이상인 유한체 및 모든 n ≥ 9에 대해, F_q³ 내의 임의의 삼중조합 (f₁, f₂, f₃)에 대해 해당 계수를 갖는 차수 n의 원시 다항식이 존재한다.
• n = 7 및 (a,b,c) ≠ (0,0,0)일 때, ω(q⁷ - 1) ≥ 21이면 이러한 원시 다항식의 수는 양수이며, 걸러내기 및 계산 후 15개의 잠재적 예외가 남는다.
• n = 7 및 (a,b,c) = (0,0,0)일 때, ω(q⁷ - 1) ≥ 100이면 이러한 원시 다항식의 수는 양수이며, 걸러내기 후 9개의 잠재적 예외가 남는다.
• 보완적 약수와 d = 1 또는 d = 30를 사용한 걸러내기 방법은 해의 수에 대한 한계를 향상시켜 잠재적 예외의 수를 줄인다.
• n = 7 및 (a,b,c) ≠ (0,0,0)에 대해 95개의 잠재적 예외는 컴퓨터 검증을 통해 38개의 소수 ≤ 179를 제거하고, d = 2를 사용한 걸러내기로 42개를 제거하여 15개로 줄어들었다.
• 저자는 나머지 소수가 아닌 q 값들(예: 25, 49, 121, 169, 191, 197, 199, 239, 269)은 진정한 예외가 아니라고 추측하지만, 전체 해결은 향후 더 큰 계산 능력을 갖춘 연구에서 남겨진다.