🔢 mathematics

Consecutive non-square nom-primitive pairs in as finite field

この論文は、有限体における特定の条件（ $\theta_q \le 1/3$ など）を満たす場合、非平方かつ非原始元である連続する 2 要素の存在を証明し、素数体に関する既存の結果を一般化・拡張したものである。

原著者： Stephen D. Cohen

公開日 2026-04-24

📖 1 分で読めます🧠 じっくり読む

原著者： Stephen D. Cohen

原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

有限体（ファイニトフィールド）の「隣り合う二人組」を探す冒険

スティーブン・D・コーエン博士の論文をわかりやすく解説

この論文は、数学の「有限体（ファイニトフィールド）」という、数字の数が限られた不思議な世界で、**「ある条件を満たす隣り合う 2 つの数字」**が見つかるかどうかを調査したものです。

まるで、限られた人数しかいないパーティで、「特定のルールを満たす 2 人の隣り合うゲスト」を見つけ出すゲームのような話です。

1. 舞台設定：数字の「パーティ」と「ルール」

まず、**有限体（ $F_q$ ）**というものを想像してください。これは、$0 $から$ q-1 $までの数字だけが集まった小さな世界です。普通の足し算や掛け算はできますが、数字が一定の大きさに達したら、また$ 0$ から始まる（時計の針が回るような）世界です。

この世界には、2 つの重要な「属性（ルール）」があります。

非平方数（Non-square）：
- アナロジー：「誰か他の人の『2 倍』にはなれない数字」です。
- 例：$2 $は$ 1.414...$ の 2 乗ですが、整数の世界では「2 乗して 2 になる整数」はいません。だから 2 は「非平方数」です。
- この世界では、数字の半分が「非平方数」です。
非原始元（Non-primitive）：
- アナロジー：「パーティの全参加者を順番に生み出せる『魔法の杖』を持っていない数字」です。
- 原始元（Primitive element）は、自分自身を掛け算し続けることで、$1 $から$ q-1$ までのすべての数字を順番に作り出せる特別な数字です。
- 「非原始元」は、その魔法の杖を持っていない、つまり「地味な数字」です。

論文の目的：
この世界で、「非平方数」かつ「非原始元」である 2 つの数字が、隣り合っている（連続している）ペアは、必ず存在するのでしょうか？

2. 難易度：「原始元」の割合（ $\theta_q$ ）が鍵

この問題の難しさは、「原始元（魔法の杖を持つ人）」が全体の何％いるかによって決まります。

$\theta_q$ （シータ）：原始元の割合です。
もし原始元が多すぎると（ $\theta_q$ が大きいと）、非原始元（地味な人）が少なくなりすぎて、隣り合うペアが見つかりにくくなります。
逆に、原始元が少なければ、地味な人がたくさんいるので、隣り合うペアが見つかりやすくなります。

過去の研究では、「原始元の割合が $1/4$ 以下なら見つかる」ということがわかっていました。しかし、コーエン博士は、**「原始元の割合が $1/3$ 以下なら、ほぼ確実に見つかる」**と証明しました。

3. 博士の戦略：「小さな素数」を味方につける

博士は、この問題を解決するために、2 つのステップを踏みました。

ステップ 1：大きな数字の世界なら、計算で解決

もし、その世界の数字の総数（ $q$ ）が十分大きければ、**「確率の法則」**を使って、隣り合うペアが必ず存在すると証明できます。

アナロジー：「部屋に人が 100 万人いて、その 3 割が『地味な人』なら、隣り合う『地味な 2 人組』が見つからないはずがない」という理屈です。
博士は、 $q$ が大きい場合、数学的な「篩（ふるい）」という道具を使って、ペアが存在することを証明しました。

ステップ 2：小さな数字の世界は、一つずつチェック

問題は、 $q$ が小さい場合です。ここでの「地味な人」の数が少ないと、計算で「あるはずだ」と言っても、実際には「いない」可能性があります。

アナロジー：「部屋に 10 人しかいない場合、確率論では『隣り合う 2 人組がいるはず』と言っても、実際には全員が孤立しているかもしれません」。

そこで博士は、**「 $q$ が小さい場合（具体的には 7, 13, 19, 25, 37, 43 など）」**を、コンピュータを使って一つずつチェックしました。

4. 発見された「例外」と「勝利」

博士の調査結果は以下の通りでした。

基本ルール：
原始元の割合（ $\theta_q$ ）が $1/3$ 以下であれば、「非平方・非原始元の隣り合うペア」は必ず存在します。
例外（見つからない場合）：
ただし、以下の 5 つの小さな数字の世界では、ペアが見つかりませんでした。
- $q = 7, 13, 19, 25, 37$
- これらは、原始元の割合がちょうど $1/3$ になる特殊なケースで、地味な人が少なすぎて、隣り合うペアが作れなかったのです。
意外な発見（ $q=43$ のケース）：
最初は「 $q=43$ も例外かもしれない」と思われていましたが、博士が詳しく調べたところ、 $q=43$ では「7 と 8」というペアが見つかりました！
- 7 は「非平方」かつ「7 乗数」。
- 8 は「非平方」かつ「3 乗数」。
- この 2 つは隣り合っており、条件を満たしていました。
- つまり、 $q=43$ は例外ではなく、勝利の証でした。

5. まとめ：何がわかったのか？

この論文は、以下のような結論で終わります。

「有限体という数字のパーティにおいて、原始元（魔法の杖を持つ人）の割合が 3 分の 1 以下であれば、必ず『地味な 2 人組（非平方・非原始元）』が隣り合っています。
ただし、非常に小さなパーティ（ $q=7, 13, 19, 25, 37$ ）では、地味な人が少なすぎて、このペアが見つからないことがあります。」

日常への応用（イメージ）

この研究は、暗号技術や通信の安全性に関わる「有限体」の性質を深く理解する助けになります。

暗号の鍵：原始元は「強力な鍵」です。
安全性：もし「地味な鍵（非原始元）」が隣り合って存在するかどうかを知ることは、そのシステムが予期せぬ弱点を持っているかどうかを調べるのに役立ちます。

博士は、数学の「小さな世界」で、**「地味な数字たちも、実は隣り合っていることがある」**という、ある種の「数字の友情」のようなものを証明したのです。

一言で言うと：
「数字の数が限られた世界で、魔法の力を持たない『地味な数字』が、隣り合うペアとして必ず見つかるかどうかを調べたら、『原始元の割合が 3 分の 1 以下なら、小さな例外を除いて必ず見つかる』ことがわかったよ！」というお話です。

論文「有限体における連続する非平方・非原始対」の技術的サマリー

Stephen D. Cohen によるこの論文は、有限体 $\mathbb{F}_q$ における「連続する非平方かつ非原始の要素の対（NSNP 対）」の存在条件について研究したものです。特に、原始要素の割合 $\theta_q$ に基づく新しい閾値条件を導出し、既存の結果を大幅に拡張しています。

以下に、問題設定、手法、主要な貢献、結果、および意義について詳細にまとめます。

1. 問題設定と背景

定義

$\mathbb{F}_q$ : $q$ を奇数の素数冪とする有限体。
非平方非原始 (NSNP) 要素: $\mathbb{F}_q$ において、平方数でも原始元でもない要素。
NSNP 対: 連続する 2 つの要素 $(\alpha, \alpha+1)$ がともに NSNP であるような対。
$\theta_q$ の定義:
$\theta_q := \frac{\phi(q-1)}{q-1}$
ここで $\phi$ はオイラーのトーシェント関数です。 $\theta_q$ は $\mathbb{F}_q^\times$ における原始元の割合を表します。

背景と動機

1980 年代以降、連続する原始元の対の存在が研究されてきましたが、その補題的な問題として「連続する非原始元の対」の存在が問われてきました。
$q$ が奇数の場合、非零要素の半分はすでに平方数（したがって非原始）であるため、単なる「連続する非原始元」の存在は自明です（ $q>3$ の場合）。
真の難問は、**「連続する非平方かつ非原始の対（NSNP 対）」**の存在です。
既存の研究（Gun et al., Jarso & Trudgian）では、素体 $\mathbb{F}_p$ において $\theta_p \le 1/4$ の条件下で NSNP 対の存在が示されていました。
本論文の目的は、この条件を $\theta_q \le 1/3$ まで緩和し、一般の有限体 $\mathbb{F}_q$ に対して拡張することです。

2. 手法とアプローチ

著者は、直接 NSNP 対を数えるのではなく、より一般的な「非平方かつ $\ell$ 乗数である対（NS $\ell$ 対）」の存在を調べるアプローチを採用しました。ここで $\ell$ は $q-1$ の奇素数因子です。すべての NS $\ell$ 対は NSNP 対であるため、これが示されれば NSNP 対の存在も保証されます。

主要な手法

特性関数と Jacobi 和の展開:
- 非平方かつ $\ell$ 乗数である要素の特性関数 $f_\ell(\alpha)$ を定義し、その積 $f_\ell(\alpha)f_\ell(\alpha+1)$ の和を計算します。
- この和は、Jacobi 和 $J(\chi_1, \chi_2)$ を用いて展開されます。
- 標準的な Jacobi 和の評価（非自明な場合の絶対値は $\sqrt{q}$ ）を用いて、NS $\ell$ 対の個数 $N_\ell(q)$ の下限を導出します。
下限評価と篩法:
- 定理 2.1 において、 $N_\ell(q)$ に対する具体的な下限式を導出しました。
- 特定の条件（ $q > 16\ell^4$ など）を満たせば、 $N_\ell(q) > 0$ となることが保証されます。
サイクロトミック数と数値計算:
- $\ell$ が小さい場合（特に $\ell=3, 5$ ）、Jacobi 和の明示的な評価や、ガウス・ヤコビの表に由来するサイクロトミック数 $(i, j)_{2\ell}$ の既知の表を利用します。
- 具体的には、 $N_3(q) = (3, 3)_{6}$ として扱われ、 $q$ の値に応じて $N_3(q)$ を正確に計算しました。
- 小さな $q$ については、Pari/GP を用いた数値計算により、NS3 対および NS5 対の存在を直接確認しました。

3. 主要な結果と定理

定理 1.1 (主定理)

$q$ を奇数の素数冪とし、 $\theta_q = \frac{\phi(q-1)}{q-1}$ とする。

$\theta_q < 1/3$ の場合、 $\mathbb{F}_q$ には必ず連続する非平方かつ非原始の対（NSNP 対）が存在する。
$\theta_q = 1/3$ の場合、以下の例外集合を除いて同様の結論が成り立つ：
$q \in \{7, 13, 19, 25, 37\}$
（注： $q=43$ は $\theta_q=1/3$ だが、NSNP 対が存在するため例外ではない。）

定理 1.2 (一般化)

$q$ を奇数の素数冪とし、 $\ell$ を $q-1$ の最小の奇素数因子とする。 $\theta_q \le 1/3$ ならば、以下の例外を除いて $\mathbb{F}_q$ には NS $\ell$ 対（非平方かつ $\ell$ 乗数の連続対）が存在する。

例外集合： $\ell=3$ かつ $q \in \{7, 13, 19, 25, 37, 43\}$ 。

結果の解釈

$\theta_q$ は原始元の割合を表すため、 $1/2 - \theta_q$ は NSNP 要素の割合を表します。
$\theta_q \le 1/3$ という条件は、「NSNP 要素が原始元の少なくとも半分存在する」ことを意味します。
従来の $\theta_p \le 1/4$ という条件（NSNP 要素が原始元以上存在する）から、 $\theta_q \le 1/3$ へと閾値が緩和されました。

例外ケースの扱い

例外となる $q$ 値は、すべて $\theta_q = 1/3$ を満たすものです。
特に $q=43$ については、定理 1.2 の例外（NS3 対が存在しない）ですが、定理 1.1 の例外（NSNP 対が存在しない）ではありません。実際、 $(7, 8)$ が NSNP 対であることが示されています（7 は非平方 7 乗数、8 は非平方立方数）。

4. 技術的詳細と計算

$\ell \ge 7$ の場合:
- 最小の奇素数因子 $\ell \ge 7$ ならば、 $\theta_q \le 1/3$ という条件から $q$ が非常に大きくなることを示し、Corollary 2.2（ $q > 16\ell^4$ ）を適用して NS $\ell$ 対の存在を証明しました。
$\ell = 3$ の場合:
- 定理 2.1 の下限式では $q \ge 269$ 以上で存在が保証されます。
- $q < 269$ の 29 個の候補値について、サイクロトミック数の公式と数値計算を用いて $N_3(q)$ を厳密に評価しました。その結果、 $q \in \{7, 13, 19, 25, 37, 43\}$ のみで $N_3(q)=0$ となることが確認されました。
$\ell = 5$ の場合:
- 同様に、 $q$ が小さい場合（ $q \le 4117$ ）の有限な候補集合 $\{911, 1331, 2381, 3221, 3851\}$ について数値計算を行い、すべてで NS5 対が存在することを確認しました。

5. 意義と結論

学術的貢献

閾値の改善: 素体における既存の結果 ( $\theta_p \le 1/4$ ) を、一般の有限体 $\mathbb{F}_q$ に対して $\theta_q \le 1/3$ へと拡張しました。これは、非平方非原始対の存在を保証するための条件を大幅に緩めたことを意味します。
手法の統合: 篩法（Jacobi 和を用いた下限評価）と、具体的な数値計算（サイクロトミック数およびコンピュータ支援計算）を組み合わせることで、理論的な下限が効かない小さな $q$ のケースも完全に網羅しました。
例外の完全な分類: $\theta_q = 1/3$ の場合における、NSNP 対が存在しないすべての $q$ の値を特定し、その理由（ $\ell=3$ の場合の構造的な欠如など）を明らかにしました。

今後の課題

論文の最後に、以下の未解決問題が提起されています：

偶数体 ( $q=2^k$ ) の場合: 非零要素は原始元か非原始元のどちらかしかなく、平方数の概念が異なるため、同様の条件をどう設定するか。
$\ell \ge 7$ における条件の緩和: $\theta_q \le 1/3$ は $\ell \ge 7$ に対して必要十分条件よりも厳しい可能性がある。より弱い条件（例： $\theta_q < \frac{\ell-1}{2\ell}$ ）で存在を保証できるか。
3 つの連続対: 連続する 3 つの NSNP 要素の存在を保証する条件は何か。

総じて、この論文は有限体における連続する特殊な要素対の存在問題において、理論的限界と数値的検証の両面から重要な進展をもたらしたものです。