[論文レビュー] Generalizing Giuga's conjecture

J. M. Grau, Antonio M. Oller‐Marcén|arXiv (Cornell University)|Mar 17, 2011

Analytic Number Theory Research参考文献 7被引用数 5

ひとこと要約

本稿は、1950年のギウーガの予想を一般化し、自然数 k に対して合同式 ∑_{j=1}^{n-1} j^{k(n-1)} ≡ -1 (mod n) を考察する。合成数解 (n,k) が存在するための必要十分条件は、n がギウーガ数であり、k が λ(n)/gcd(λ(n), n−1) の倍数であることである。ここで λ はカーマイケル関数である。これは、このような解の完全な特徴付けを提供し、ギウーガ数とギウーガの元の予想に対する反例との関係を強化する。

ABSTRACT

In 1950 G. Giuga studied the congruence $\sum_{j=1}^{n-1} j^{n-1} \equiv -1$ (mod $n$) and conjectured that it was only satisfied by prime numbers. In this work we generalize Giuga's ideas considering, for each $k \in \mathbb{N}$, the congruence $\sum_{j=1}^{n-1} j^{k(n-1)} \equiv -1$ (mod $n$). It particular, it is proved that a pair $(n,k)\in \mathbb{N}^2$ (with composite $n$) satisfies the congruence if and only if $n$ is a Giuga Number and $ λ(n)/\gcd(λ(n),n-1)$ divides $k$. In passing, we establish some new characterizations of Giuga Numbers.

研究の動機と目的

• ギウーガの1950年予想を一般化すること。この予想は、∑_{j=1}^{n-1} j^{n-1} ≡ -1 (mod n) が素数にしか成り立たないという主張であるが、これを k ∈ ℕ に対して指数を k(n−1) に拡張する。
• 合成数 n および整数 k について、一般化された合同式が成り立つすべての組を特徴づけること。
• カーマイケル関数 λ(n) と k との関係を用いて、ギウーガ数の新しい特徴づけを確立すること。
• ギウーガの元の予想に対する反例が存在する構造的条件を明確にし、それらをギウーガ数およびカーマイケル数と関連付けること。

提案手法

• 集合 ℒ_k(n) = {n ∈ ℕ | ∑_{j=1}^{n-1} j^{k(n-1)} ≡ -1 (mod n)} を導入し、その非空解を考察する。
• カーマイケル関数 λ(n) とオイラーのトーティエント関数 φ(n) を用いて、ギウーガの合同式における指数を一般化する。
• n の素因数の素数冪因子ごとにモジュラー算術を適用し、各素数冪 p^r について和を分解する。
• j が p と互いに素であるとき j^{Aλ(n)} ≡ 1 (mod p^r) であり、p|j であるとき j^{Aλ(n)} ≡ 0 (mod p^r) となること（Aλ(n) ≥ r のとき）を活用する。
• すべての A,B,N に対して ∑_{j=1}^{N-1} j^{Aλ(N)} ≡ ∑_{j=1}^{N-1} j^{Bφ(N)} (mod N) が成り立つことから、指数の置き換えが可能であることを確立する。
• ∑_{j=1}^{n-1} j^{k(n-1)} ≡ -1 (mod n) が合成数 n に対して成り立つのは、n がギウーガ数であり、かつ λ(n)/gcd(λ(n), n−1) が k を割り切るときであると導出する。

実験結果

リサーチクエスチョン

• RQ1 どの合成数 n および整数 k に対して、合同式 ∑_{j=1}^{n-1} j^{k(n-1)} ≡ -1 (mod n) が成り立つか？
• RQ2 ギウーガ数 n が一般化された合同式を満たすために必要な k の正確な条件は何か？
• RQ3 カーマイケル関数 λ(n) は、一般化されたギウーガ合同式の可解性とどのように関係するか？
• RQ4 この合同式族の解の構造を用いて、ギウーガの元の予想を再解釈または一般化できるか？
• RQ5 一般化された合同式の解 (n,k) は無限に存在するか？その密度はいかほどか？

主な発見

• 合成数 n が ∑_{j=1}^{n-1} j^{k(n-1)} ≡ -1 (mod n) を満たすのは、n がギウーガ数であり、かつ λ(n)/gcd(λ(n), n−1) が k を割り切るときである。
• n がギウーガ数であるとき、ℒ_k(n) が非空であるような k の集合は、{ t·λ(n)/gcd(λ(n), n−1) | t ∈ ℕ } に丁度一致する。
• k = 1 のとき、一般化された合同式は元のギウーガ条件に還元され、その解はギウーガ数かつカーマイケル数である、つまりギウーガの予想に対する反例に丁度一致する。
• 本稿では、既知のギウーガ数に対応する、13個の具体的な k の値（例：4, 60, 120, 2320, 1552848）を提示し、ℒ_k(n) が非空であることを示している。
• λ(n)/gcd(λ(n), n−1) で割り切れないすべての k に対して、ℒ_k(n) は空集合である。特に、ギウーガ数がまれであるならば、すべての 2 以上の素数 k に対して ℒ_k(n) = ∅ である。
• 著者らは、ギウーガの元の予想が論理的根拠に立脚しているのではなく、ギウーガ数の極めて希少性とそれらの発見における計算的困難さに依存していると主張している。