原始根2を持つヴィーフェリッヒ素数に関する定理
| name | 原始根2のヴィーフェリッヒ定理 |
|---|---|
| field | 数論（巡回群と位数の相互作用） |
| statement | 原始根2を持つヴィーフェリッヒ素数は、所定の分割規則に従って密に分布し、位数条件により“位相的に整列”する |
| proved_by | ヴァレリオ・エンツィオ・マルチェージ（Valerio Enzio Marcegi） |
| year | 1978年 |
における原始根2のヴィーフェリッヒ定理（よみ、英: Primitive-Root-2 Viferrich Theorem）は、のうちを持つものの性質について述べた定理である[1]。本定理は、素数の周期性と位数の整合条件を通じて、ある“偶然”がほぼ必然になる状況を記述する[2]。
概要[編集]
とは、ある“素数らしさ”ではなく、特定の巡回位相（巡回商）の見かけ上の安定性を満たす素数として定義される概念である。従来は「その定義をどう置くか」から揉めることが多かったが、本記事で扱うを用いる定式化は計算可能性に主眼が置かれていた。
を持つヴィーフェリッヒ素数に対して、位数条件が驚くほど素直に整列することが観察され、やがて定理として体系化された。もっとも、この整列は“自然”というより“設計”に近いと考えられており、当時の研究者の間では冗談交じりに「2が素数の性格を気まぐれに決める」とも語られた[3]。
定理の主張[編集]
を持つpは、整数kでの分割規則により、ある集合$\mathcal{S}_p$の中に“位相的に整列”するものとする。このとき、次が成り立つ。
まず、pが満たすべき条件として、$p\equiv 1\pmod{8}$とし、さらに位数の整合を$\operatorname{ord}_p(2)=p-1$で表す（これはの定義そのものである）。すると、任意の整数aで$\gcd(a,p)=1$が成り立つならば、写像$\phi_p(a)=a^{(p-1)/2}\bmod p$は、対応する位相分類において全ての成分を“ちょうど2回”経由するものとされる[1]。
さらに、ヴィーフェリッヒ判定に関わる補助量として$\omega_p=\nu_2(p-1)$を導入し、$\omega_p\ge 3$を仮定すると、整列の強度を測る指標$\Delta(p)$が次の形で表される：$\Delta(p)=\frac{p-1}{2^{\omega_p}}$.このとき$\Delta(p)$が偶数であるための必要十分条件は、pが「ヴィーフェリッヒ・リフト条件」を満たすことに等しいと示された[2]。
証明[編集]
証明は巡回群の分解から始められ、$\mathbb{F}_p^\times$が位数p-1の巡回群として振る舞う点が繰り返し用いられた。ここでが存在することから、2の冪が巡回生成元として全位相を張り、位数条件は群論的に一意に固定される。
次に、ヴィーフェリッヒ素数の定義で導入される“位相安定性”を、群の部分群列$G\supset H_1\supset H_2\supset H_3$に対応させる。特に、$H_i$は$2^{i}$で割り切れる指数部分により規定され、$\omega_p=\nu_2(p-1)$により$H_3$以上の層が生き残るとされる。
ここで鍵となる補題として、$\phi_p(a)$が属する成分の“往復回数”は、指数の2進分解に等しいことが示された。実際、補題では$\phi_p(a)$の像が常に$\Delta(p)$個の代表元に分配され、代表元はさらに$2$つずつ重なり合うとされた。これが「ちょうど2回経由」の主張へと接続する。
最後に、ヴィーフェリッヒ・リフト条件が$\Delta(p)$の偶奇を支配することが示される。証明の終盤では、pを$1\pmod{8}$で固定した上で、観測上の“ずれ”が$2^{\omega_p}$の桁落ちとして吸収され、結果として偶数性判定が必要十分条件として確定される。なお、証明ノートの写しには、途中で$\Delta(p)$の定義が一度だけ誤記され、編集者の手で“桁が1つ多い”と直された形跡があるとも伝えられる[4]。
歴史的背景[編集]
本定理の原型は、1970年代に研究会で流行した“巡回位相フィルタ”に由来するとされる。当時の研究者は、素数を性質によって分類する際、暗黙のうちに「計算の都合」を優先してしまうことが多かった。しかし、マルチェージらは計算可能性を“定義に組み込む”方針を採ったため、という呼称が定着したという[5]。
中心人物として挙げられるのは、ヴァレリオ・エンツィオ・マルチェージ（当時はローマの私的研究室所属）と、彼に協力した統計系研究者のルチア・カッリオーネ（の大学データ解析室）である。彼女らは素数の列を手計算で追うのではなく、$p\equiv 1\pmod{8}$で絞ったうえで、2進位相の出現回数を“監査”するように数え上げた。とくに、最初のまとまった実験では、pを500万未満に制限したところ、対象となるpが驚くほど均一に現れたと報告されている（このときの集計数は、資料によれば「ちょうど114,928個」とされる）[6]。
また、当時の会合が行われたと伝えられる場所はアテネの小ホールで、議事録の端に「原始根2は“鍵”である。鍵は錠前を選ばないが、錠前の側で嫌われることがある」とだけ書かれていた。これは冗談とも作業メモとも取れるが、後に定理名の英訳（Primitive-Root-2 Viferrich Theorem）へ影響したとされる[3]。
一般化[編集]
一般化は、原始根を2に固定しない方向と、ヴィーフェリッヒ判定の位相安定性を緩める方向に二分された。前者では$\operatorname{ord}_p(g)=p-1$を満たす任意の原始根gを導入し、$g$が2ではない場合でも同様の“往復回数”現象が起こるかが検討された。
後者では、$\omega_p=\nu_2(p-1)$の下限を$\omega_p\ge 3$から$\omega_p\ge 2$へ緩める試みが行われた。ただしこの場合、$\Delta(p)$の偶奇が素直に支配されず、「奇数性が出るが、その出現が毎回同じ位相層から始まる」などの新しい偏りが現れるとされた。
なお、一般化の議論の中では、位相分類を群の“3層”から“4層”へ延長することで、$\Delta(p)$の2回経由が“$2^m$回経由”へ置換される可能性が示されたと報告されている[2]。ただし、この部分は後年の追試で完全には再現されず、会議の雑談として「増やしたのは層であって現象ではない」と評されたことが記録に残っている[7]。
応用[編集]
応用としては、まずに近い方向の応用が挙げられる。原始根を明示的に扱える条件は、巡回群の位相を暗号鍵に写像する際の“初期整列”に相当する。マルチェージのチームは、ある擬似乱数生成器で$\phi_p(a)$に基づく分岐を使い、分岐の偏りが少ないと主張した。
具体例として、彼らは「鍵長が20ビットの場合、偏り検定で平均発火率が0.4998となる」などの数値を提示したとされる[8]。この値は当時の実務者に好評だったが、後の監査では入力が一部固定されていたことが指摘され、議論は“数論の美しさ”と“実装の癖”のせめぎ合いになった。
また、応用の第二の方向として、合同式にもとづく位相符号化（位相を符号に落とす操作）で本定理が使われたとされる。特に、$p\equiv 1\pmod{8}$で絞ると、符号長の設計が簡便になり、符号表の生成が短時間で済むことが報告されている[5]。その結果、数学畑以外の研究者にも“原始根2の定理”という呼び名が広まり、教育資料にも採用されたという。
脚注[編集]
関連項目[編集]
脚注
- ^ ヴァレリオ・エンツィオ・マルチェージ『Primitive-Root-2 Viferrich Theoremの位相整列法』数論出版社, 1978.
- ^ ルチア・カッリオーネ『位相フィルタと$\nu_2(p-1)$の観測統計』Journal of Constructive Number Theory, 第12巻第3号, pp. 41-88, 1976.
- ^ Hiroshi Kuroda『On Circulant Phase Audits for Specialized Primes』Transactions of the Cantor-Style Society, Vol. 19, No. 2, pp. 201-233, 1982.
- ^ マルチェージ『原始根2による“往復回数”補題』数理通信, 第7巻第1号, pp. 9-27, 1977.
- ^ Dr. Margaret A. Thornton『Cyclic Quotients and the Viferrich Criterion』Proceedings of the International Algebraic Summer, pp. 77-104, 1980.
- ^ エマヌエル・グラッタ『A Note on the Lift Condition for Viferrich Primes』The Bulletin of Modular Curiosities, Vol. 3, No. 4, pp. 55-63, 1985.
- ^ 佐藤真琴『二層目がずれるとき』数理史研究, 第2巻第12号, pp. 301-318, 1991.
- ^ Pavel Novak『Generalizations via $m$-fold Encounters in Primitive Root Settings』Annals of Pseudorandom Number Studies, 第26巻第6号, pp. 999-1032, 1994.
- ^ K. L. Hargreaves『When $p\equiv 1\pmod{8}$ Makes Everything Look Predictable』Journal of Overconfident Proofs, Vol. 11, No. 1, pp. 1-12, 2001.
- ^ “第八章：鍵は錠前を選ばない”『素数工学叢書（第1版）』無名社, 1983.
外部リンク
- Viferrich Archive
- Primitive Root Protocol Notes
- Phase Alignment Bibliography
- 2進位相実験ログ
- Marcegi Collected Works