[논문 리뷰] Null Polynomials modulo m

Shujun Li|ArXiv.org|2005. 10. 11.

Polynomial and algebraic computation참고 문헌 15인용 수 7

한 줄 요약

이 논문은 정수 계수 다항식 중에서 모든 정수 $x$에 대해 $f(x) \equiv 0 \pmod{m}$를 만족하는 다항식, 즉 모듈로 $m$에서의 영다항식(null polynomials)을 조사한다. 주로 소수 거듭제곱 $p^d$ 모듈로에서의 그 구조와 수를 다루며, $p^d$ 모듈로에서 최소 차수의 모닉 영다항식을 결정하는 구성적 방법을 제시하고, 모든 영다항식을 완전히 특성화한다. 주요 결과는 정리 32와 34에 기록되어 있다. 이 접근법은 계승 기반 다항식 기저와 귀납법을 사용하여 켐프너의 이전 작업과는 다른 새로운 증명 틀을 제공하며, 고차수의 합동식을 단순화하고 모듈로 $m$에서 동치인 다항식 함수를 수량화하는 데 기여한다.

ABSTRACT

This paper studies so-called "null polynomials modulo m", i.e., polynomials with integer coefficients that satisfy f(x)=0 (mod m) for any integer x. The study on null polynomials is helpful to reduce congruences of higher degrees modulo m and to enumerate equivalent polynomial functions modulo m, i.e., functions over Z_m={0, ..., m-1} generated by integer polynomials. The most well-known null polynomial is f(x)=x^p-x modulo a prime p. After pointing out that null polynomials modulo a composite can be studied by handling null polynomials modulo each prime power, this paper mainly focuses on null polynomials modulo p^d (d>=1). A typical monic null polynomial of the least degree modulo p^d is given for any value of d>=1, from which one can further enumerate all null polynomials modulo p^d. The most useful result obtained in this paper are Theorem 32 in Sec. 4.4 and its derivative -- Theorem 34 in Sec. 4.5. The results given in Sec. 4.3 form a basis of the induction proofs given in Sec. 4.4. However, if you do not care how the proofs in Sec. 4.4 were established, you can simply skip Sec. 4.3. Theorems 28 and 31 are very important for the proof of Theorem 32 and should be paid more attention. Note: After finishing this draft, we noticed that some results given in this paper have been covered in Kempner's papers [3,4]. Since we use a different way to obtain the results, this work can be considered as an independent and different proof. For a brief introduction to Kempner's proof, see the Appendix of this paper.

연구 동기 및 목표

• 모든 정수 계수 다항식 중에서 모든 정수 $x$에 대해 $f(x) \equiv 0 \pmod{m}$를 만족하는 다항식, 즉 모듈로 $m$에서의 영다항식을 특성화하는 것.
• 소수 거듭제곱 $p^d$에 대해 $d \geq 1$일 때, 모닉 영다항식의 최소 차수를 결정하는 것.
• 구조적 분해와 재귀적 구성 기반으로, 모듈로 $p^d$에서의 모든 영다항식을 체계적으로 수량화하는 방법을 개발하는 것.
• 켐프너의 이전 결과에 대한 구성적 대안을 제공하며, 계승 다항식 기저와 귀납법에 기반한 다른 증명 틀을 사용하는 것.
• 모듈로 $m$에서 고차수 합동식을 단순화하고 $\mathbb{Z}_m$ 위에서 동치인 다항식 함수를 수량화하는 데의 적용을 가능하게 하는 것.

제안 방법

• 논문은 정수 계수 다항식을 표현하기 위해 내림계수 계승 다항식 $\binom{x}{k}$의 기저를 사용하여, 각 다항식을 유일한 분해 $f(x) = \sum_{k=0}^n a_k \binom{x}{k}$로 표현하며, 계수 $a_k$는 정수이다.
• 모듈로 $m$에서 다항식 $f(x)$가 영다항식임과 동시에 그 계수 $a_k$가 모두 $a_k \equiv 0 \pmod{m}$를 만족함을 보여주며, 영다항식의 성질을 계수의 나누어떨어짐과 연결한다.
• 모듈로 $p^d$에 대해, $\mu(p^d)$를 $\mu(p^d)! \equiv 0 \pmod{p^d}$를 만족하는 최소 정수로 정의하고, $\prod_{i=0}^{\mu(p^d)-1} (x-i)$가 차수 $\mu(p^d)$인 모닉 영다항식임을 보여준다.
• 이 구성은 $d$에 대한 귀납법을 통해 진행되며, 중간 범위의 $d$에서의 영다항식 행동을 규명하는 핵심 보조정리(정리 28과 31)를 제공하고, 일반적인 $d \geq 1$에 대해 최소 차수의 모닉 영다항식을 제공하는 정리 32로 이어진다.
• 모듈로 $p^d$에서의 모든 영다항식의 수량화는 정리 34를 통해 이루어지며, 이는 특정 모닉 다항식 $\mathcal{G}_{p,n}(x)$의 거듭제곱에 계수로 $p^d$의 배수가 곱해진 선형 조합으로 표현됨을 보여준다.
• 이 방법은 $p$-진 값매김과 함수 $I_p(n)$, 즉 $n!$에서 $p$가 몇 번 나누어지는지를 세는 함수를 활용하여, 계승 기저에서의 계수의 나누어떨어짐을 제어한다.

실험 결과

연구 질문

• RQ1 임의의 소수 거듭제곱 $p^d$에 대해 $d \geq 1$일 때, 모닉 영다항식의 최소 차수는 무엇인가요?
• RQ2 모듈로 $p^d$에서의 모든 영다항식은 어떻게 완전히 수량화할 수 있으며, 그 계수 공간의 구조는 어떠한가요?
• RQ3 고정된 $p$에 대해 $d$가 증가함에 따라 최소 차수의 모닉 영다항식의 차수는 어떻게 증가하며, 그 정확한 형태는 무엇인가요?
• RQ4 켐프너의 이전 접근법과 독립적으로, 영다항식을 구성하고 귀납적으로 유도할 수 있는 방법을 개발할 수 있을까요?
• RQ5 모듈로 $p^d$에서의 영다항식과 고차수 합동식의 단순화 또는 $\mathbb{Z}_m$ 위에서 동치인 다항식 함수의 수량화 사이의 관계는 무엇인가요?

주요 결과

• 모듈로 $p^d$에서 최소 차수의 모닉 영다항식은 $\prod_{i=0}^{\mu(p^d)-1} (x-i)$로 주어지며, 여기서 $\mu(p^d)$는 $\mu(p^d)! \equiv 0 \pmod{p^d}$를 만족하는 최소 정수이다. 이 차수는 정리 32에 의해 $\omega_1(p^d) = \mu(p^d)$로 확인된다.
• 모듈로 $p^d$에서의 모든 영다항식은 정리 34에 의해 완전히 특성화되며, 계승 기저 $\binom{x}{k}$에서의 계수들이 모두 $p^d$의 배수인 다항식임을 보여주며, 이는 완전한 수량화를 가능하게 한다.
• $d \geq 1$일 때, 모듈로 $p^d$에서 최소 차수의 모닉 영다항식의 차수는 $\mu(p^d)$이며, 이 값은 $p$-진 값매김 기반 알고리즘을 통해 계산되며, 켐프너의 결과와 일치하지만 다른 방법으로 유도되었다.
• 논문은 기저 다항식 $\mathcal{G}_{p,n}(x)$를 사용하여 모듈로 $p^d$에서의 영다항식을 재귀적으로 구성하며, 정리 34는 모든 영다항식이 이러한 다항식의 곱에 $p^d$의 배수 계수를 곱한 선형 조합임을 보여주며, 이는 $\mathbb{Z}$ 위에서 자유 모듈을 이룬다.
• 모듈로 $p^d$에서 차수 $\leq n$인 서로 다른 영다항식의 수는 $N_{np}(\leq n, p^d)$로 주어지며, 이는 $\omega_1(p^d)$와 함수 $I_p(n)$의 구조를 이용해 재귀적으로 계산할 수 있다. 이는 정리 41에 의해 명시되어 있다.
• 논문은 다항식 $f(x) = x^p - x$가 모듈로 $p$에서 영다항식임을 확인하며, 더 일반적으로 $f(x) = (x^p - x)^d$는 모듈로 $p^d$에서 차수 $pd$의 모닉 영다항식이지만, 반드시 최소 차수는 아님을 보여준다.