[論文レビュー] A Simple Number Theoretic Result

Manjil P. Saikia, Jure Vogrinc|arXiv (Cornell University)|Jul 28, 2012

Advanced Mathematical Theories参考文献 4被引用数 4

ひとこと要約

この論文は、二項係数と床関数を含む合同式に基づく素数判定法を確立している：1より大きい自然数 $ p $ が素数であるための必要十分条件は、すべての非負整数 $ n $ に対して $ \binom{n}{p} - \lfloor n/p \rfloor \equiv 0 \pmod{p} $ が成り立つことである。著者たちは、数論的証明、組合せ的証明、およびルーカスの定理を用いた証明の3通りの別個の証明を提示し、初等的数論に基づく新規で素朴な素数判定基準の等価性を示している。

ABSTRACT

We derive an interesting congruence relation motivated by an Indian Olympiad problem. We give three different proofs of the theorem and mention a few interesting related results.

研究の動機と目的

• 二項係数と床関数を用いた素数判定の必要十分条件を確立すること。
• 7で割り切れるという性質を含むインド数学オリンピックの問題を任意の素数に一般化すること。
• 主結果の数論的・組合せ的・ルーカスの定理を用いた証明を複数提示すること。
• 合成数に対する合同式の不成立を調査し、反例を構成すること。
• ルーカスの定理や数論における類似の合同式との関係を調査すること。

提案手法

• 素数 $ p $ における二項係数を合同で簡約するためのルーカスの定理の使用：$ p $ 進数の各桁 $ a_i, b_i $ に対して $ \binom{m}{n} \equiv \prod \binom{a_i}{b_i} \pmod{p} $ と表される。
• 組合せ的議論：$ n $ 個のコンパートメントをサイズ $ p $ のグループに分割し、複数のグループにまたがる選択肢が $ p $ で割り切れるということを示す。
• 数論的証明：$ \binom{ap + b}{p} \pmod{p} $ を簡約し、それが $ a \equiv \lfloor n/p \rfloor \pmod{p} $ に等しいことを示す。
• 合成数 $ p $ の反例の構成：$ n = p + q $ とおく（ここで $ q $ は $ p $ の最小の素因数）、合同式が成り立たないことを示す。
• 合同算術と $ p $ における階乗の性質の使用、ウィルソンの定理や縮約された単数系を含む。
• $ \binom{p+q}{p} \mod p $ と $ \lfloor (p+q)/p \rfloor \mod p $ の比較により、合成数 $ p $ に対して合同でないことを示す。

実験結果

リサーチクエスチョン

• RQ1 合同式 $ \binom{n}{p} - \lfloor n/p \rfloor \equiv 0 \pmod{p} $ が、$ p $ の素数性を判定する必要十分条件として機能するか。
• RQ2 なぜ合成数 $ p $ に対してこの合同式が成り立たないのか。反例はどのように体系的に構成できるか。
• RQ3 ルーカスの定理は、主結果をどのように支援または一般化するか。
• RQ4 この合同式の高次元版（$ p^k $ に対して）や、フィボナッチ数列などの他の数列に対しても同様の関係は成立するか。
• RQ5 $ d $ と $ q $ にどのような条件を課すと、すべての $ n \geq m $ に対して $ \binom{nd}{md} \equiv \binom{n}{m} \pmod{p} $ が成り立つか。

主な発見

• 1より大きい自然数 $ p $ が素数であるための必要十分条件は、すべての非負整数 $ n $ に対して $ \binom{n}{p} - \lfloor n/p \rfloor \equiv 0 \pmod{p} $ が成り立つことである。これは、初等的数論に基づく新規な素数判定基準を確立している。
• 合同式がすべての $ n $ に対して $ p $ を法として成り立つのは、$ p $ が素数である場合に限る。この事実を、組合せ的・数論的・ルーカスの定理を用いた証明の3通りで示している。
• 合成数 $ p $ に対しては合同式が成り立たない。反例は、$ p $ の最小の素因数 $ q $ を用いて $ n = p + q $ とおくことで構成され、$ \binom{p+q}{p} \not\equiv \lfloor (p+q)/p \rfloor \pmod{p} $ であることが示された。
• ルーカスの定理による証明では、$ \binom{ap + b}{p} \equiv a \pmod{p} $ であり、$ \lfloor (ap + b)/p \rfloor = a $ であるため、$ p $ が素数のとき合同式が成立することがわかる。
• 論文は、$ \binom{np}{rp} \equiv \binom{n}{r} \pmod{p} $ が成り立つことを示しており、これはルーカスの定理と整合的である。また、ベイリーが示したように、$ p^3 $ を法とする高次元の合同式も存在することが指摘されている。
• 著者たちは、この合同式を $ p $ の高次のべきに拡張する、あるいはフィボナッチ数列などの他の数列に応用するにはさらに複雑な手続きが必要であり、未解決の研究分野であると示唆している。