純粋・応用数学・数学隣接分野（含むガロア理論）21

純粋・応用数学・数学隣接分野（含むガロア理論）21 (392ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

31: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/07/21(月) 23:46:01.72 ID:60RWf/A5

つづき

20世紀
解決に向けて次のステップを踏み出したのはラースロー・フェイェシュ＝トートである。彼は、規則・不規則を問わずあらゆる配置の最大密度を求める問題が、有限個の（しかし非常に多数の）計算に還元されることを示した[1]。これはしらみつぶし法による証明が原理的に可能だということである。フェイェシュ＝トートも気づいていたように、十分高性能なコンピュータがあればここからケプラー予想解決への現実的なアプローチが得られる可能性があった。

他方では、あらゆる可能な球配置の最大密度の上界を見つけようという試みがなされていた。イギリスの数学者クロード・アンブローズ・ロジャーズは一つの上界として約78%の値を得た[6]。それに続く数学者の努力によりこの値はわずかに引き下げられたが、立方最密充填の約74%には程遠かった。

1990年にウ＝イ・シアン（項武義）はケプラー予想を証明したと発表した。この成果は「エンサイクロペディア・ブリタニカ」および「サイエンス」誌で好意的に取り上げられ、シアンはAMS-MAAジョイントミーティングに招待される栄誉を得た[7]。シアンの主張は幾何学的な手法でケプラー予想を証明したというものだった[8][9]。しかしながら、ガボル・フェイェシュ＝トート（ラースローの息子）は論文のレビューで「細部に目を向ければ、重要な言明の多くが容認できるような証明を欠いている」と述べた。ヘイルズはシアンの仕事を詳細に批判し[10]、シアンはこれに反論した[11]。現在ではシアンの証明は不完全なものだったと認められている[12]。

ヘイルズの証明
ミシガン大学に在籍していたトマス・ヘイルズは、ラースロー・フェイェシュ＝トートが提案したアプローチ[1]にならい、150個の変数を持つある関数を最小化することによって最大密度配置を見出せると考えた。1992年、大学院生のサミュエル・ファーガソンを助手としたヘイルズは、系統的な線型計画法により、すべての異なる配置の集合に含まれる5000種以上の配置一つ一つについて関数値の下界を求める計画に着手した。すべての配置で関数の下界が立方最密配置の関数値を超えるならば、それがケプラー予想の証明になる。可能なすべてのケースについて下界を求めるには、10万個ほどの線形計画問題を解く必要があった。

1996年に研究プロジェクトを公表するに際して、終結は目前ながら完了まで「1・2年」かかるかもしれない、とヘイルズは述べた。1998年の8月にヘイルズは証明の完了を発表した。この時点で証明は250ページの手稿と3ギガバイトのプログラム、データ、計算結果から構成されていた。

証明の形式が異例だったにもかかわらず、Annals of Mathematics誌の編集者は掲載に同意したが、12人の専門家による査読を条件とした。2003年、四年間の作業を経て、査読者団の筆頭であったガボル・フェイェシュ＝トートは証明が正しいことに「99%の確信を持っている」と報告した。しかし、コンピュータによる計算がすべて正しいと保証することはできなかった。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1753002417/31

33: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/07/21(月) 23:47:20.72 ID:60RWf/A5

つづき

https://en.wikipedia.org/wiki/Leech_lattice
Leech lattice
In mathematics, the Leech lattice is an even unimodular lattice Λ24 in 24-dimensional Euclidean space, E24. It is one of the best models for the kissing number problem. It was discovered by John Leech (1967). It may also have been discovered (but not published) by Ernst Witt in 1940.
Applications
The vertex algebra of the two-dimensional conformal field theory describing bosonic string theory, compactified on the 24-dimensional quotient torus R24/Λ24 and orbifolded by a two-element reflection group, provides an explicit construction of the Griess algebra that has the monster group as its automorphism group. This monster vertex algebra was also used to prove the monstrous moonshine conjectures.

https://en.wikipedia.org/wiki/Monstrous_moonshine
Monstrous moonshine
https://ja.wikipedia.org/wiki/%E3%83%A2%E3%83%B3%E3%82%B9%E3%83%88%E3%83%A9%E3%82%B9%E3%83%BB%E3%83%A0%E3%83%BC%E3%83%B3%E3%82%B7%E3%83%A3%E3%82%A4%E3%83%B3
モンストラス・ムーンシャイン（英: monstrous moonshine）もしくはムーンシャイン理論（英: moonshine theory）とは、モンスター群とモジュラー函数、特に j-不変量との間の予期せぬ関係を指し示す用語、およびそれを記述する理論である。1979年にジョン・コンウェイとサイモン・ノートン（英語版）(Simon Norton)により命名された。今ではその背景として、モンスター群を対称性として持つある共形場理論があることが知られている。コンウェイとノートンによって考案されたムーンシャイン予想は1992年、リチャード・ボーチャーズにより、弦理論や頂点作用素代数（英語版）(vertex operator algebra; VOA)、一般カッツ・ムーディ代数を用いて証明された。

https://ja.wikipedia.org/wiki/%E3%83%AA%E3%83%81%E3%83%A3%E3%83%BC%E3%83%89%E3%83%BB%E3%83%9C%E3%83%BC%E3%83%81%E3%83%A3%E3%83%BC%E3%82%BA
リチャード・ユーウェン・ボーチャーズ (Richard Ewen Borcherds, 1959年11月29日 - ) は、南アフリカ共和国ケープタウン出身のイギリスの数学者である。父は物理学者
ムーンシャイン予想の解決により、数学のノーベル賞と言われているフィールズ賞を1998年に受賞した
(引用終り)
以上

http://rio2016.5ch.net/test/read.cgi/math/1753002417/33

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.018s