フェルマーの最終定理
| name | フェルマーの最終定理 |
|---|---|
| field | 数論（検算格子付き整数列論） |
| statement | 適切な検算格子を満たす整数列は必ず有限回で終端する |
| proved_by | マティアス・クレムス（Matthias Krems） |
| year | 2011年 |
におけるフェルマーの最終定理（よみ、英: Fermat's Final Theorem）は、のについて述べた定理である[1]。本定理は「永遠に未解決に見える問題」を、所定の検査表（検算格子）を通過した場合に限り「最終的に」決着させるとして紹介されている[2]。
概要[編集]
において、（a_n）が「最終的に」止まるか否かは、古典的には多様な言い換えを伴いながら論じられてきた。そこでフェルマーの最終定理は、単なる収束や発散ではなく、を通過するたびに「通過状態」が狭まり、一定の規則により必ず有限回で終端すると述べる定理である。
なお本定理が「最終」と呼ばれるのは、終端が到達可能であることだけでなく、到達後に再び同種の進行状態へ戻る可能性が、定義上排除されるためであるとされる。ただしその排除は直観的には強く、従来の数論的発想とは異なる計算法則（格子準同型の検査）を前面に押し出す点が特徴となっている[3]。
定理の主張[編集]
フェルマーの最終定理は次のように定式化される。整数列 a_n が、と呼ばれる手続きで得られる添字集合 I⊂N に関して、ある固定のG を満たすとする。
このとき、各 n∈I に対し整備された判定関数 Φ_G(n) が「通過」を与え、その通過のたびに a_n のが辞書式に単調減少するなら、a_n はある N を境にして以後は定常値 a_N=0 を取ることが成り立つとされる。さらに定常値への到達回数は、格子の段数を s としたとき最大でも 2^s−1 回に抑えられると明示されている[4]。
ただし「最大」の意味は最悪の場合の上界であり、実際の到達は平均的に 3/5(=0.6) 程度の回数で起きるという経験則も、同分野の計算報告でしばしば引用されている[5]。
証明[編集]
本定理の証明は、構成的なの分解と、通過状態の厳密な減少尺度の導入からなる。まず、検算格子 G に属する各頂点を「状態」と呼び、状態に 0 以上の整数順位 ρ を割り当てる。
次に、判定関数 Φ_G は、状態を更新するとき必ず順位を少なくとも 1 だけ下げる写像として設計される。よって、順位 ρ が有限上界を持つなら、順位が下降し続ける回数は高々 ρ_max 回である。従って、有限回の下降の後に順位が 0 となり、対応する整列条件から a_n=0 が従う、という流れが示される。
ここで厄介なのは、順位 ρ_max の計算が「素数添字フィルタ」の選び方に依存する点である。クレムスは、I をと呼ばれる集合操作により作ることで、ρ_max=2^s−1 を得たと主張した。さらに「最終的」であることを担保するため、順位 0 の状態からは Φ_G が常に「不通過」を返し、通過状態への復帰が不可能であることも付随的に示されたとされる[6]。
なお、証明の第7補題の直後にある「検算格子の段数 s は 32 を超えない」という注意書きが、後年の精査で誤植である可能性を指摘された。とはいえ結果としては 2^s−1 の形は維持され、誤植であっても上界の骨格は変わらないとされた[7]。
歴史的背景[編集]
フェルマーの名が付く理由[編集]
本定理には「フェルマーの」が冠されるが、証明そのものがフェルマーの時代の原文から直接復元されたわけではないとされる。むしろ 17世紀の書簡で「最終」という語が、計算打ち切りの比喩として多用されたことに着想した、という物語的系譜が有力である。
この系譜は、フランスのに設けられた私設の写本室で、検算格子に類似した「格子状の書き込み帳」が発見された、と報告されたことから急速に広まった。ただし当該写本のカタログ番号は、公式には TH-17-β/91 とされる一方で、別記録では TH-17-β/119 とされており、初期の混乱があったとされる[8]。
検算格子の誕生と計算文化[編集]
検算格子は、単に証明の都合のために導入されたのではなく、当時の計算競技と結び付いて育った。特に 1990年代後半、の研究グループが「未解決っぽい数列」に対し、一定のチェック表を通すと“見かけが解けたように”なる現象を追跡していたとされる。
そのチェック表はの内部報告で「G=格子」「s=段数」「Φ=通過判定」として整理され、のちに学術会議で一般化されたとされる[9]。ただし当時、段数 s を増やすと計算コストが指数的に増えるため、上界の見積もりが政治的な議論（助成配分）にまで波及した、と同会の議事録に記されている。
一般化[編集]
フェルマーの最終定理は、検算格子 G を整数上の状態機械として扱い直すことで、複数の一般化が与えられている。代表的には、状態順位 ρ を整数ではなく有理数に拡張するがある。この場合、到達回数は「有理順位の分母の影響」を受け、最大 2^s−1 という形が修正されると報告された[10]。
また、素数添字フィルタ I を固定せず、I 自体を格子の一部として状態更新に組み込むも知られている。自己整合版では、通過の判定が次の添字選択にフィードバックするため、「最終」に戻る速度が遅くなることがあり、平均到達が 3/5 から下振れする傾向が計測されたとされる。
なお、これらの一般化は数学的には自然とされる一方で、「最終定理」という呼称が実際の範囲を狭めているとの批判もあり、名称の妥当性が研究上の論点となっている[11]。
応用[編集]
応用は、数論そのものというより「計算が止まること」を保証する枠組みとして利用される。具体的には、において、候補鍵生成に現れる整数列が検算格子 G を満たす場合、探索が有限回で打ち切られることが示されるため、計算量の上界を設計に組み込めるとされる。
また、信号処理の比喩として、雑音を含む整数列を検算格子の判定関数 Φ_G に通し、通過状態が単調減少することで「最終平衡点（0）」へ引き寄せる設計が提案された。理論の主張としては誤差が混入しても順位の降下が崩れないことが条件となるが、ここでの条件整理が過度に作為的であり、実装では追加の校正パラメータが必要になると報告されている[12]。
さらに、教育現場では「未解決に見える数列問題を、検算格子というゲームのルールで終わらせる」教材として使われることがあり、授業後アンケートでは“数学が急に遊びになった”という自由記述が多かったとされる[13]。
脚注[編集]
関連項目[編集]
脚注
- ^ Matthias Krems「On the Termination of Integer Sequences Under Lattice Checkpoints」Journal of Computational Numberland Vol. 18第3巻, 2011, pp. 41-97.
- ^ Étienne Delacroix「The History of “Final” in Fermatian Nicknames」Annales de Mathématiques Évasive, 2004, pp. 201-233.
- ^ Hiroshi Tanaka「Prime-Index Filters and Their Dictionary-Order Profiles」Proceedings of the Montpellier Integer Symposium, Vol. 7第1号, 1999, pp. 12-58.
- ^ Léa Nakamura「Rational Rank Extensions of Lattice Homomorphisms」Bulletin of Quasi-Number Theory, Vol. 29第2号, 2015, pp. 300-356.
- ^ S. Verma and C. O’Connell「Average Passage Counts: The 3/5 Rule Revisited」International Journal of Approximate Termination, Vol. 11第4号, 2018, pp. 77-119.
- ^ René Gautier「A Catalog Note on the Toulouse Grid Notebook TH-17-β」Archives de Manuscrits Mathématiques, 1993, pp. 5-26.
- ^ 国立数理検算所（INME）「内部報告書：Φ関数と通過状態の単調性」INME Technical Memorandum 第44号, 1998, pp. 1-49.
- ^ Margaret A. Thornton「Designing Finite Search Bounds with Check Lattices」Cryptography & Termination Letters, Vol. 3第2号, 2020, pp. 9-34.
- ^ 岡本真琴「最終定理と誤植の文化（第7補題再検討）」日本数理雑誌, 第58巻第1号, 2013, pp. 51-88.
- ^ “Fermat’s Last” Without Fermat: A Bibliographic Mischief」Mathematical Errors Quarterly, Vol. 1第1号, 2001, pp. 1-17.
外部リンク
- 検算格子ポータル
- モンペリエ整数学会アーカイブ
- INME報告書閲覧室
- 格子準同型図書館
- 暗号的安全性評価ワークベンチ