16/12/18 11:38:44.29 TSR5U7zr.net
>>422
>時枝の記事の解法やSergiu Hart氏をほじくったところで、あまり有益じゃないと思うよ（個人的には不成立だと思うし）
ここを補足しておく
>>334 に書いたが、可算無限個の箱から成る数列は、循環小数のロバートソンの方法のアナロジーが使えて
同値類の集合の元は、代表元との差を取ることで
Δr= r'-r = (s'1-s1，s'2-s2，s'3-s3 ，・・・，s'n-sn ，・・・，s'm-sm ) として
Δrは、個別には、有限の長さの数列になり、ロバートソンの方法類似の表現で
r'= Δr +r
とできる
Δrは、個別には有限の数列の長さだが、確率を考えるときは、集合としては、数列の有限の数列の長さに上限はなく、無限大の極限を考える必要がある
それは>>188と同じだ
かつ、大きな違いは、
循環小数では、箱の数字は０～９の１０通りだが、時枝やSergiu Hart氏では、箱の中は任意の実数だから、card(R)つまり（非加算）無限大通りになる
463:１３２人目の素数さん
16/12/18 11:39:59.45 8NxamFzp.net
きっちり謝罪しろや
464:現代数学の系譜11 ガロア理論を読む
16/12/18 11:47:30.13 TSR5U7zr.net
最近、運営乙とかプロ固定とか宣うやつが来ないね
ようやく分かったのかな（＾＾；
465:現代数学の系譜11 ガロア理論を読む
16/12/18 11:48:00.40 TSR5U7zr.net
知恵袋＞＞＞＞2ｃｈの人 だな （もちろん、自分（私）を含む。つくづくそう思ったよ）
466:現代数学の系譜11 ガロア理論を読む
16/12/18 11:50:14.22 TSR5U7zr.net
>>425
スレを伸ばしてくれてありがとう。だが、sageで頼むよ（＾＾；
467:現代数学の系譜11 ガロア理論を読む
16/12/18 12:02:20.10 TSR5U7zr.net
>>379 補足
>プレプリント：URLﾘﾝｸ(arxiv.org) （arXiv.orgのウェブページ）
(抜粋) google翻訳（英文がNGワードではじかれるため）
B.まとめと概要
このノートでの私たちの目標は、バルクの局所物理を解明するために、CFTにおけるエンタングルメント、特に相対エントロピーを使用することです。関連する最近の研究では、相対エントロピーの陽性を用いて運動の非線形重力方程式を制約しようとする試みがある[10]、[11]、
非線形バルクアインシュタイン方程式[3,6,12]からCFTの絡み合いを制約する微分方程式を導出するという逆のシナリオがある。
（15）は、CFTのエンタングルメント情報を用いて、AdSに近い領域のバルク応力テンソルをポイントごとに表現するために、逆にすることができることを示す。
論文の概要は以下の通りです。
セクションIIでは、（7）の各量をホログラフィに変換する方法を検討し、一般化されたストークス定理論論[7、14、15]を用いて、絡み合い第1法則から線形化された運動方程式を導出する方法を示す。
セクションIIIでは、CFTにおける小球の相対エントロピーの陽性、単調性および凸性が陽性条件の二重であることを示す
セクションIVでは、AdSに近い領域で局所的にバルク応力テンソルを得るために逆変換する方法（15）を示す。セクションVでは、ホログラフィック的に導出された相対エントロピー（15）の凸性を、一般的な量子論的分析からどれだけ回復できるかについて議論する。私たちは第VI章の意味とオープンな問題についてコメントします。
(引用終り)
468:１３２人目の素数さん
16/12/18 12:16:39.76 8NxamFzp.net
スレ主以外のみなさんへ：
数学の議論雑談をする別の場を設けてはと思うがどうだろう？
馬鹿を相手して楽しいというのもわかるが、同じ馬鹿でも
打てば響くマトモな(俺のような)馬鹿を相手にしたほうがいい。
>>418のような呆れた反論に耳を貸すのが趣味ならそれでも良いが。
469:現代数学の系譜11 ガロア理論を読む
16/12/18 12:42:56.52 TSR5U7zr.net
>>429
Google翻訳がAI化されたという
確かに、レベルが上がった
URLﾘﾝｸ(ailab.hatenablog.com)
Google翻訳が人工知能を活用した翻訳をスタート！その精度は？ - A.I.lab（エー・アイ・ラボ）- 人間の、人間による、人間のための人工知能メディア 2016-11-13
URLﾘﾝｸ(webcache.googleusercontent.com)
待ってた！ついにGoogle翻訳がニューラルネット機械翻訳を日本語版にも適用。異常に上がった翻訳性能は感動モノ - BITA デジマラボ: 2016-11-12
470:現代数学の系譜11 ガロア理論を読む
16/12/18 12:43:56.36 TSR5U7zr.net
>>430
知恵袋＞＞＞＞2ｃｈの人 だな （もちろん、自分（私）を含む。つくづくそう思ったよ）
笑える（＾＾；
471:現代数学の系譜11 ガロア理論を読む
16/12/18 12:45:37.43 TSR5U7zr.net
>>430
笑える
おまえなんで、ここに、粘着してんだ？
自分の足下見て見ろよ（＾＾；
さっさと行けよ
472:現代数学の系譜11 ガロア理論を読む
16/12/18 12:47:52.42 TSR5U7zr.net
>>430
良いよ、このスレを踏み台というか宣伝に使って貰って
もっと、良いスレ立てましたと、PRレス貼りつけりゃ良いでしょ、どうぞ
邪魔はしません
そもそも、ここはsage進行。おまえ見たいにageるやつじゃまだよ
473:１３２人目の素数さん
16/12/18 12:53:42.83 8NxamFzp.net
ここは
間違いを丁寧に指摘してやった人間をコケにする最低男
数学の拡張だのなんだの言い逃れする前に言うことがあるだろクソ野郎
が運営するスレだということを知らしめておいたほうがいいに決まってるだろうがｗ
474:現代数学の系譜11 ガロア理論を読む
16/12/18 13:05:40.93 TSR5U7zr.net
>>435
どうぞ
>>418は、間違ってはいないよ
おまえが理解できないだけだ
過去、一様分布の話は、こちら（私スレ主）からなんども出しているよ
過去レスに残っている。その流れで説明しただけだよ
475:現代数学の系譜11 ガロア理論を読む
16/12/18 13:26:47.25 TSR5U7zr.net
>>429
面白いが
細かいところが分からない（＾＾；
AdS/CFT対応を使って、Ryu and Takayanagi公式のエントロピー計算から、アインシュタイン計量テンソルを出そうという論文と見たが・・
量子エンタグルメントエンタルピーが、重力になる？
量子エンタグルメントは、フェルミ粒子専用と思っていたが、そうでもないのか・・？
フェルミ粒子専用量子エンタグルメントをもっと拡張して、抽象化しているのか・・？
そのうち何か解説が出るか・・、関連文献が見つかるかも・・？
量子エンタグルメントから、湯川先生が目指していた非局所場の量子論が出来るかも知れんという気がするね・・
まあ、プロが目指しているのは、量子論と重力理論の統一の方だろうが
476:現代数学の系譜11 ガロア理論を読む
16/12/18 13:37:13.32 TSR5U7zr.net
>>435 補足
余談だが、このスレは、９割以上は、私スレ主の投稿（主にコピペ）と自己レスで進んでいく
他の人のレスで、数学的に意味あるレスは少ない
古くは、メンターさんが共役変換の間違いを指摘してくれた
あと、￥さんの数学界裏話や
477:確率論のフォンミーゼスのコレクチーフとか あと、おっちゃんの周期論 おっと、Tさんの時枝記事があったね 最低限、ここはおいらのメモ帳になれば、それでOKだ だから、sage 進行にした （運営だとか、プロ固定だとか、うるさいやつが来たしね）
478:現代数学の系譜11 ガロア理論を読む
16/12/18 13:41:15.64 TSR5U7zr.net
>>435
重箱の隅だが
>運営するスレだということを知らしめておいたほうがいいに決まってるだろうがｗ
正規の意味での”運営”は、していない
スレ主を勝手に名乗っているがね（＾＾；
479:現代数学の系譜11 ガロア理論を読む
16/12/18 13:42:57.90 TSR5U7zr.net
>>435
ああ、sageで書いてくれたんかい
ありがとうよ
480:現代数学の系譜11 ガロア理論を読む
16/12/18 13:56:04.77 TSR5U7zr.net
>>437 関連
ふーん、なるほど・・
URLﾘﾝｸ(planck.exblog.jp)
量子もつれ : 大栗博司のブログ: 2015年 06月 01日
(抜粋)
先週はカブリIPMUで、「物性物理学とAdS/CFT」と題した国際会議を開きました。左が会議の集合写真です。
私はオーガナイザーの一人でしたが、他のオーガナイザーの推薦で講演もさせていただきました。講演のタイトルは「量子もつれ不等式」。最近書いた２つの論文の話をしました。
ひとつの論文は、ちょうど今日電子プレプリント・アーカイブの発表されたもので、
URLﾘﾝｸ(arxiv.org)
これは「ホログラフィックな量子もつれ錐」と題しました。Caltechとスタンフォード大学の大学院生やポストドクトラル・フェローと書いたものです。
これは、「ホログラフィー原理によって、重力理論と等価になる、共形場の理論の持つべき性質」を明らかにしたものです。
う一つの論文は、数日中にPhysical Review Lettersに掲載される予定で、「共形場の量子もつれから重力系の局所性へ」というタイトルです。もともとは、「量子もつれのトモグラフィー」というタイトルだったのですが、Physical Review Lettersの編集部の希望で変更になりました。
こちらの論文では、上の論文とは逆に、「ホログラフィー原理によって、共形場の理論と等価になる、重力理論の持つべき性質」を明らかにしました。また、重力理論のエネルギー密度のような時空の中の局所データが、共形場の理論の量子もつれを用いて計算できることを示しました
こちらの論文は、Physical Review Lettersの注目論文（Editors' Suggestion）に選ばれたので、東京大学の広報部がプレスリリースを出してくださいました。
(引用終り)
481:１３２人目の素数さん
16/12/18 14:22:14.71 SfDe2Xje.net
>>418
「拡張一様分布」が通常の確率分布でないことを認めたな
じゃあ通常の確率分布で成り立つような性質をこれからは断りなしに用いるなよ
482:現代数学の系譜11 ガロア理論を読む
16/12/18 14:22:39.03 TSR5U7zr.net
>>351
URLﾘﾝｸ(www.saiensu.co.jp)
臨時別冊・数理科学2014年4月
「ホログラフィー原理と量子エンタングルメント」 高柳 匡(京都大学教授) 著 より
まえがき
本書は量子エンタングルメントという視点で，量子多体系の理論(場の理論)と重力理論(一設相対性理論や超弦理論)という一見全く異なった物理の理論体系を統一的に理解する新しい考え方を説明することを主目的としている.
この考え方は，ホログラフイー原理と呼ばれ，特別な場合はAdSjCFT対応ないしゲージ・重力対応とも呼ばれる.ホログラフイー原理の内容を誤解を恐れず一言でまとめると，「量子多体系の理論を時空の幾何学として表現する手法」と言える.
場の理論は素粒子理論と物性理論の両分野にまたがる基本的で大変重要な道具であるが，ホログラフイー原理�
483:ﾍ理論物理学のほぼすべての分野の理論体系は実はその根源において同一であるという驚くべき関係性を強く示唆する. ホログラフィー原理やAdSjCFT対応は超弦理論の分野で発見された考え方であり，最近の超弦理論の研究において最もアクテイブに研究されているテーマと言える. しかしながら，本書は読むのに超弦理論の知識は必要としないように書いたつもりである. 本書で想定している読者は理論物理を専門とする修士課程の大学院生程度であるが，場の理論の初歩と一般相対性理論の初歩を習得していれば，学部学生でも意欲があれば多くの部分を読みこなせるようになっている. 量子エンタングルメントは量子力学の基本的な性質であり，量子情報理論において極めて重要な役割を果たしてきた. その概念を定量化する量がエンタングルメント・エントロビーであり，本書で議論する最も重要な物理量である. この量を用いてホログラフイー原理を考察すると見通しが良くなり，多くの新しい知見が得られる. なぜならエンタングルメント・エントロピーは， I量子多体系の幾何学を記述する最も基本的な量」のーっといえるからである. つづく
484:現代数学の系譜11 ガロア理論を読む
16/12/18 14:23:23.81 TSR5U7zr.net
>>443 つづき
本書の最終目標は，量子エンタングルメントの考え方を用いて「ホログラフイー原理とは一体何なのか?Jを理解することにある.
一方で，エンタングルメント・エントロピーは複雑な量子多体系を数値的に解析する際に大変便利な量であり，基底状態がどのような量子相にあるか識別する量子的秩序パラメーターとして活用されている.
つまり， 「数値実験における観測量」という側面も持っているのである.
量子エンタングルメントやエンタングルメント・エントロビーといっキーワードが，素粒子理論や物性物理・量子多体系の研究者に研究対象として興味を持たれ，世界中で活発にこれらの分野で研究されるようになってからまだ10年も経過していない.
その意味でも量子エンタングルメントの考え方は， 21世紀の理論物理を牽引する原動力となりえると筆者は期待している.
(引用終り)
485:現代数学の系譜11 ガロア理論を読む
16/12/18 14:25:57.31 TSR5U7zr.net
>>442
どうぞご勝手に
おれは、個人的には、時枝記事不成立で解決済みなんだ
相手にしてもらえると期待しないでくれ
気まぐれなんでな
よろしく
追伸
数学的ロジックを外さないようにね
あと、定義をしっかりな
486:現代数学の系譜11 ガロア理論を読む
16/12/18 14:31:26.26 TSR5U7zr.net
>>444
いいね、その意気や良し！
”量子エンタングルメントという視点で，量子多体系の理論(場の理論)と重力理論(一設相対性理論や超弦理論)という一見全く異なった物理の理論体系を統一的に理解する新しい考え方を説明することを主目的としている.
この考え方は，ホログラフイー原理と呼ばれ，特別な場合はAdS/CFT対応ないしゲージ・重力対応とも呼ばれる.ホログラフイー原理の内容を誤解を恐れず一言でまとめると，「量子多体系の理論を時空の幾何学として表現する手法」と言える.
場の理論は素粒子理論と物性理論の両分野にまたがる基本的で大変重要な道具であるが，ホログラフイー原理は理論物理学のほぼすべての分野の理論体系は実はその根源において同一であるという驚くべき関係性を強く示唆する.”
URLﾘﾝｸ(www.saiensu.co.jp)
臨時別冊・数理科学2014年4月
「ホログラフィー原理と量子エンタングルメント」 高柳 匡(京都大学教授) 著 より
487:１３２人目の素数さん
16/12/18 14:35:59.76 reVBejB0.net
>>420
おっちゃんです。
>何故かというといつも同じことしか言っていないから。
大学教員にも毎年同じことをいう人がよくいるから、
これ「だけ」を根拠にして否定する知恵袋の人間も信用出来ないぞ。
488:１３２人目の素数さん
16/12/18 14:52:41.13 reVBejB0.net
>>383
>確率と統計は、数学的にはオーバーラップする部分が多い
予想に反して、オーバーラップする部分は少ない。
確率測度は一応書いてあるが、統計では確率論のように測度論的な議論は余りしない。
そして、統計は、推定法や検定法が主体になってこれらを覚えることが多くなり、
確率論で使われない記号が多く出て来る。これをエクセルなどと併用しつつ
応用することで、現実の色々な場面での統計的手法を使うことが可能になる。
金融工学の方がまだ確率論と数学的にオーバーラップすることは多い。
489:１３２人目の素数さん
16/12/18 15:26:16.53 reVBejB0.net
>>410
rを開区間 (-1,1) を動く実変数としよう。すると、 |r|＜1。だから、
lim_{r→+1-0}(Σ_{k=1,…,+∞}(-r)^{k-1})＝lim_{r→+1-0}(1/(1+r))＝1/2。
しかし、
Σ_{k=1,…,+∞}(lim_{r→+1-0}(-r)^{k-1})＝Σ_{k=1,…,+∞}(-1
490:)^{k-1} であって、Σ_{k=1,…,+∞}(-1)^{k-1} は発散級数で、その総和は意味のある和 の値を振り当てない限り値は定まらず振動するから、一般には lim_{r→+1-0}(Σ_{k=1,…,+∞}(-r)^{k-1})≠Σ_{k=1,…,+∞}(lim_{r→+1-0}(-r)^{k-1}) になる。これは、極限と総和を取る順序を入れ替えることが出来ない一例になる。
491:現代数学の系譜11 ガロア理論を読む
16/12/18 15:31:03.22 TSR5U7zr.net
>>446 関連
>>444
＜「ホログラフィー原理と量子エンタングルメント」 高柳＞
(抜粋)
P5
この AdS/CFT対応は実は，前に述べたホログラフイー原理の一例になっている.
ここに来てホログラフイー原理は，具体的にそれが成り立つ重要な例を獲得したことになり，それ以後は，ほぼすべての超弦理論の研究者に受け入れられる考え方になった.
1.4 新旧のアイデアの融合:重力のエントロピーとエンタンクルメン卜・エントロピー
さてホログラフィー原理や AdS/CFT対応という新しく非常に強力なアイテムを手に入れたので，ここで元の問題に戻り，エンタングルメント・エントロピーが重力理論のエントロピーとして解釈できるかどうか考え直してみよう.
そのためには逆算することを考えて，共形場理論のエンタングルメント・エントロピーが反ドジッタ一時空における重力理論でどのように計算されるのか AdS/CFT対応に基づいて考えてみればよい.
その結果はシンプルで. (1.1) において，ブラックホールの表面積の代わりに，反ドジッタ一時空の中で面積を最小にする曲面(極小曲面)の面積で置き換えればよいのである.
この事実は，2006年に笠と著者が発見したもので.ホログラフィックなグルメン卜・工ン卜口ピーと呼ばれる，
これはベッケンシュタイン・ホーキングの公式をブラックホールの存在しない時空へ拡張したものとも解釈できる.
つづく
492:現代数学の系譜11 ガロア理論を読む
16/12/18 15:32:33.19 TSR5U7zr.net
>>450 つづき
つまり場の理論のエンタングルメント・エントロピーを重力理論の立場で解釈すると，ブラックホールのエントロピーとは一般に異なるが，それを一般化した重力的なエントロピーとなっているのである.
従って，場の理論のエンタングルメント・エントロピーが与えられると，対応する重力理論の様々な曲面の面積が求められるので，最終的に時空の計量を決定できると期待される.
つまりホログラフイックなエンタングルメント・エントロピーを用いると，重力理論の計量と場の理論の量子エンタングルメン卜が直接対応するという本質的な原理が明らかになったと言える.
この事実は，量子重力理論の理解には，量子情報理論の考え方が重要であることを示唆している.
また，ホログラフイツクなエンタングルメント・エントロピーは，一般に相互作用する場の理論では計算が困難なエンタングルメント・エントロピーを，比較的簡単な幾何学的な計算に帰着できるという長所も持っている.このような最近の発展を解説することが本書の主要なテーマである.
URLﾘﾝｸ(www.saiensu.co.jp)
臨時別冊・数理科学2014年4月
「ホログラフィー原理と量子エンタングルメント」 高柳 匡(京都大学教授) 著 より
493:現代数学の系譜11 ガロア理論を読む
16/12/18 15:34:15.62 TSR5U7zr.net
>>447
おっちゃん、どうも。スレ主です。
レスありがとう
数学以外のレスはまともやね
そやから、今後も頼むわ
494:現代数学の系譜11 ガロア理論を読む
16/12/18 15:54:07.97 TSR5U7zr.net
>>451 関連
”エネルギー、物質および情報の等価性”か・・・、情報が主で、エネルギーと物質が従か。そういう話を聞いたことがあったかも・・・（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
ホログラフィック原理
(抜粋)
より大きなより思弁的な意味では、この理論は、全宇宙は宇宙の地平面上に「描かれた」2次元の情報構造と見なすことができ、我々が観測する3次元は巨視的スケールおよび低エネルギー領域での有効な記述にすぎないことを示唆する。宇宙の地平面は、有限の領域で時間とともに膨張していることもあり、数学的には正確に定義されていない[4][5]。
エネルギー、物質および情報の等価性
例えばEメールメッセージなどに含まれる情報量を定量化するためのシャノンの努力の結果、ボルツマン・エントロピーと同じ公式が予期せず導かれることとなった。
2003年8月号のサイエンティフィック・アメリカンの記事"
495:ホログラフィック宇宙の情報" (Information in the Holographic Universe) において、 ベッケンシュタインは、"熱力学的エントロピーとシャノン・エントロピーは概念的に等価である：ボルツマン・エントロピーによって数え上げられる配置の数は物質とエネルギーの任意の特定の配置を実現するのに必要なシャノン情報量を反映している…"と要約している。 物理の熱力学エントロピーと情報のシャノン・エントロピーの間の唯一の目立った相違は計測単位にある。すなわち、前者はエネルギーを温度で割った単位で表現され、後者は本質的に無次元な情報の"ビット"で表現されるが、これらの相違は単なる慣習の問題である。 ホログラフィック原理は、（ブラックホールだけでなく）通常の物質のエントロピーもまたその体積ではなく表面に比例することを述べる。すなわち、体積自体は幻影であり、宇宙はその境界表面に"刻まれた"情報に同型なホログラムである[13]。 (引用終り)
496:現代数学の系譜11 ガロア理論を読む
16/12/18 16:14:09.40 TSR5U7zr.net
>>453 関連
URLﾘﾝｸ(knyokoyama.blogspot.jp)
From Mirror Symmetry to Langlands Correspondence 2013年9月16日月曜日
ブラックホールのファイアウォールについて
(抜粋)
1974年にS. HawkingさんがブラックホールのHawking輻射を提案すると同時に情報パラドックス問題を提起しました．2004年頃にこの問題は、おそらくAdS/CFT対応の提案に氏が同意されて、このことから、『賭けに破れた』としたように思われました。
詳細部分はともかく、大筋では情報はブラックホールの事象の地平線に堆積していて、これがHawking輻射となるとの理解でよいと考えていました．ところが、2012年の8月頃に、ブラックホールのFirewallの問題が再び脚光を浴びていることを知りました．しかも、詳細ではなく根本的な問題を提起していると思われますので、記事にしました。
３、AdS/CFT対応と2004年のHawkingの宣言
おそらく、AdS/CFT対応の主張にHawkingさんが同意したのだと思うが、2004年にHawkingさんは誤りを認めました。[6]Hawking氏の議論も賛否両論があるのだが、宣言が早すぎたのではという専門家もいる。
それは同時から、情報は失われる説の人々からは反対をしていましたし、情報は地平線（拡張された地平線）に堆積するという説の人からも反対が出ていました。
４、ブラックホールのFirewall説の意味
私は2012年の8月頃に、Polchinskiさんらが新しい議論が始まったことを知りました。
Firewall仮説は、ブラックホール相補性のように、量子重力的である。ブラックホール相補性は（部分的には）一度充分に大きな量のHawking輻射を始めるとブラックホールの混合量子状態が遠くに輻射されたHawking輻射の状態と非常に大きなエンタングルメントとなるという予想から来きます。
つづく
497:現代数学の系譜11 ガロア理論を読む
16/12/18 16:15:05.16 TSR5U7zr.net
>>454 つづき
2012年にAlmheiri, Marolf, Polchinski, とSullyの各氏[9]により、ブラックホールの相補性に中の不整合のように見えることへの解決として、Firewall仮説が提案されました。[9]
この提案はしばしば"AMPS" firewallと言われ、2012年の論文の著者の頭文字をとっています。この主張はHawking氏のそれとは、大きくかけ離れています。大栗先生の文章を引用すると、『ブラックホールに近づいた観測者が、事象の地平線を通り越すときに何も特別なことが起きないとすると矛盾が起きる。
それを避けるために、地平線のところが高温になっていて、観測者は焼き尽くされてしまうのではないか。地平線は防火壁なのではないか、というのです。』
また、このFirewallの主張はエンタングルメントエントロピーの仮説と一体化しています。
５、エンタングルメントエントロピーとの関係
Hawkingの
498:提起した情報パラドックスの論争のときは、遷移行列の純粋性と混合性が問題（ユニタリ性）となったが、もう一つエンタングルメント（量子的もつれ）とそのエントロピーがある。 このエンタングルメントエントロピーのわかりやすい説明は、私のブログにずいぶん前にポストしていた、 『量子エンタングルメントをもった時空の構成』 というMark Van Raamsdonkさんの arxiv:1005.3035 の全訳を掲載しています．この主張が、Firewall仮説と同等の主張ということのようです．[10] このあたりの話題が、この8月に[4][5]に掲載されています． 追記：しかし、量子エンタングルメントを考慮した上でも、Firewallパラドックスは誤っているのではというBraunsteinさんらの意見もあります．[11] 追記：次の参考資料(Scientific American December 21, 2012)も追加します．[12] (引用終り)
499:１３２人目の素数さん
16/12/18 16:22:40.13 l2HBR203.net
>>452
Do you mean the >>449 is wrong? If so then you gotta show that explicitly and clearly.
500:現代数学の系譜11 ガロア理論を読む
16/12/18 16:28:43.99 TSR5U7zr.net
>>455 関連
URLﾘﾝｸ(knyokoyama.blogspot.jp)
From Mirror Symmetry to Langlands Correspondence 2011年1月13日木曜日
ブラックホールのファイアウォールについて
(抜粋)
【翻訳】量子エンタングルメントをもった時空の構成
エンタングルメントエントロピーにより時空がどのように出現するのかについて分かりやすいエッセイがありますので【翻訳】しました。一番簡単な事項の説明ではないでしょうか。原文は、arxiv:1005.3035
Building up spacetime with quantum entanglement (in English) URLﾘﾝｸ(arxiv.org)
訳は、下記です。
量子エンタングルメントをもった時空の構成 URLﾘﾝｸ(docs.google.com)
時空が出現(emergence)という意味あいであると理解いたします。
量子重力理論、特にエントロピック重力理論の中で重要な位置を持ってきて、T. JacobsonさんやE. Verlindeさんの理論と関係してくるのではないかと思います。
また、大きくは、Stromingerさんの量子重力理論と関係してくるのだと思います。
12月30日ポスト：ブラックホール-21世紀の調和振動子 URLﾘﾝｸ(knyokoyama.blogspot.com)
12月31日ポスト：経緯-ブラックホール-21世紀の調和振動子 URLﾘﾝｸ(knyokoyama.blogspot.com)
(引用終り)
501:現代数学の系譜11 ガロア理論を読む
16/12/18 16:30:06.39 TSR5U7zr.net
>>456
おっさん、ageるな！
502:現代数学の系譜11 ガロア理論を読む
16/12/18 16:32:30.25 TSR5U7zr.net
こんなバカ板に書いた、ぐしゃぐしゃの数学記号など
特に興味がなければ、読み気がしないし、おれは読まんよ
おっちゃんの証明に同じだ
503:現代数学の系譜11 ガロア理論を読む
16/12/18 16:39:09.52 TSR5U7zr.net
なお、自分でも数学の証明は
こんな数学記号の不自由なバカ板で書く気はしないし、基本的には書かない
読まされる方もたまらんだろう
それに、だれかのように、訂正につぐ訂正があるとすれば余計に
そもそも、誤記が皆無なのか？ （だれかに検証してもらているかい？ 苦労して読んだら誤記だったとなると、時間を無駄にしていることになる）
こんなバカ板のぐしゃぐしゃの証明もどきを、丹念にフォローするメンターさんには頭が下がるけど、おれはやらんし、おそらくそれは少数派と思う
504:１３２人目の素数さん
16/12/18 16:41:32.20 l2HBR203.net
Holy crap! You are idiot absolutely, aintcha?
505:現代数学の系譜11 ガロア理論を読む
16/12/18 17:00:27.25 TSR5U7zr.net
>>457 補足
>量子エンタングルメントをもった時空の構成 URLﾘﾝｸ(docs.google.com)
(抜粋)
P3
真空状態からはじめ、エンタングルメントエントロ
ピーS(A) を減少させるような方法で、量子状態を変化させるときに双対時空で
何が起きるかを問うてみることができます。
506:最近のRyu とTakayanagi [9] の結 果を使い、何が起きるかについての非常に正確なステートメントを発することが できます： P5 前のサブセクションの結果とあわせると、次の素描を得ます。量子重力の非摂動 的な記述の自由度の2 つの集合間のエンタングルメントがゼロになると、対応す る時空領域の間の固有な距離は無限大になり、他方領域を分離する最小曲面の面 積はゼロに減少します。大まかには、時空の2 つの領域は、Figure 4 に示すよう に、互いに引き離されちぎられます。Figure 5(次ページ) にみるように、これら の量の様子は明白に永久AdS ブラックホールの例にみることができて、逆温度 パラメータ￣ を増加させることで、2 つのCFT の間のエンタングルメントを減 少させることができます。 Conclusions 自由度をエンタングルすることで時空をつなぎ、エンタングルメントを解除 することでそれらを互いに引き離し、分離できることが分かりました。本質的に、 エンタングルメントの量子現象は、古典時空幾何学の出現にとって決定的に思わ れるということは、素晴らしいことです。 (引用終り)
507:現代数学の系譜11 ガロア理論を読む
16/12/18 17:01:35.28 TSR5U7zr.net
>>461
おっさん、ageるなって！
ああ、日本語不自由だったのか？ すまんかった（＾＾
508:現代数学の系譜11 ガロア理論を読む
16/12/18 17:12:06.48 TSR5U7zr.net
>>457 補足
>Building up spacetime with quantum entanglement (in English) URLﾘﾝｸ(arxiv.org)
下記、”Essay written for the Gravity Research Foundation 2010 Awards for Essays on Gravitation”の意味が分からんが
おそらく、2010 Awards for Essays on Gravitation の文を、広く大衆のために投稿したんだろう
著者
Mark Van Raamsdonk
Department of Physics and Astronomy, University of British Columbia
Essay written for the Gravity Research Foundation 2010 Awards for Essays on Gravitation
March 31, 2010
URLﾘﾝｸ(arxiv.org)
Building up spacetime with quantum entanglement
Mark Van Raamsdonk
(Submitted on 17 May 2010)
509:現代数学の系譜11 ガロア理論を読む
16/12/18 17:18:58.77 TSR5U7zr.net
>>462 補足
”最近のRyu とTakayanagi [9] の結果を使い”ってところがキーワードか
結局、量子エンタングルメントから時空を構成しようという試みが、2010前から始まっているんだろうね
量子エンタングルメントがいまいちわからん（イメージがわかない）が
物質がなくても、量子エンタングルメントしうるのか？
情報が主で、物質・エネルギーが従としても、情報があれば、物質がありそうに思うけど・・
そういうのは、全部抽象化している（エントロピーに一本化している）のかね？（＾＾
510:現代数学の系譜11 ガロア理論を読む
16/12/18 17:42:51.65 TSR5U7zr.net
>>465
ここら、>>451 臨時別冊・数理科学2014年4月
「ホログラフィー原理と量子エンタングルメント」 高柳 匡(京都大学教授) 著
の11章 量子エンタングルメントから量子重力理論の再構築
に結構詳しく書いてあるね
511:１３２人目の素数さん
16/12/18 17:50:26.71 FVTLpf9/.net
一方、なんでも実況J板、ニュー速VIP+板、 ニュー速(嫌儲)板、数学版 などに
自己中心で自己満足に張り付いて書き込むのは病気と思われたりする
512:１３２人目の素数さん
16/12/18 17:56:18.99 FVTLpf9/.net
URLﾘﾝｸ(www2.yukawa.kyoto-u.ac.jp)
513:現代数学の系譜11 ガロア理論を読む
16/12/18 17:56:41.84 TSR5U7zr.net
>>466
引用文献の[112]
URLﾘﾝｸ(arxiv.org)
Renormalization and tensor product states in spin chains and lattices
J. I. Cirac, F. Verstraete
(Submitted on 6 Oct 2009)
We review different descriptions of many--body quantum systems in terms of tensor product states. We introduce several families of such states in terms of known renormalization procedures, and show that they naturally arise in that context.
We concentrate on Matrix Product States, T
514:ree Tensor States, Multiscale Entanglement Renormalization Ansatz, and Projected Entangled Pair States. We highlight some of their properties, and show how they can be used to describe a variety of systems. pdf https://arxiv.org/pdf/0910.1130v1
515:１３２人目の素数さん
16/12/18 17:57:28.56 FVTLpf9/.net
量子エンタングルメントと重力理論における時空のダイナミクス
URLﾘﾝｸ(www2.yukawa.kyoto-u.ac.jp)
516:１３２人目の素数さん
16/12/18 17:58:13.07 l2HBR203.net
Ignoring the truth and going your own way toward never-never land. That's just what you're doing.
517:現代数学の系譜11 ガロア理論を読む
16/12/18 17:58:43.28 TSR5U7zr.net
>>467-468
どうも。スレ主です。
情報ありがとう
518:現代数学の系譜11 ガロア理論を読む
16/12/18 18:00:23.26 TSR5U7zr.net
>>470-471
おいおい、ageるなって！
ああ、日本語不自由だったのか？ すまんかった（＾＾
おまいら、自己中の病気だったのか！
519:現代数学の系譜11 ガロア理論を読む
16/12/18 18:11:07.73 TSR5U7zr.net
>>466
引用文献の[111]
URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
エンタングルメントで見る時空の幾何学構造とテンソル積波動関数 松枝, 宏明 物性研究 (2011)
近年， 「エンタングルメント(量子もつれ) 」 の概念が，量子情報科学だけではなく，物
性理論・超弦理論・量子重力理論をはじめとした幅広い研究領域において，非常に重要な
ものとなっています.この状況を傭服的に眺めると， 「系の持つエントロピーを余剰次元
がうまく吸収してくれる」ということなのですが， 「エントロピー 」に「余剰次元 」って何
だかいきなり怪しい響きですね.本稿ではこの物理的イメージと計算の詳細をできるだけ
丁寧に御紹介したいと，思っています.この概念を理解することで， 「エンタングルメント・
エントロピー 」を媒介に， 「密度行列繰り込み群 」「面積則 」「行列積・テンソル積変分法 」
「エンタングルメント繰り込み群 」「双対性 」「ホログラフィー原理 」「Ad S/CFT対応 」「D
ブレーン 」「情報圧縮の上限 」といった各研究領域のホットなキーワードが，実は非常に
密接に結びついていることをご理解いただけると思います.このことは我々の自然認識に
関わる問題であり，エネルギ一階層や対象に依らない普遍性や双対性が存在するという意
味で非常に興味深いことです.
つづく
520:現代数学の系譜11 ガロア理論を読む
16/12/18 18:11:50.35 TSR5U7zr.net
>>474 つづき
本稿の全体の流れは以下の通りです:先ずは，座標変換で保存すべき情報量の意味，双
対性やホログラフィー原理など，この先で基本となる重要な概念を整理します.それらの
性質を数学的に取り扱うために「エンタングルメント・エントロピー」が導入されます.
エンタングルメント・エントロピーを特徴づけるのは「面積則 」「量子異常 」「量子次元 」
です. 「面積則」からは「テンソル積型変分理論」が派生し，逆にテンソル積変分理論を通
して面積則とその破れに関する知見が得られます.また「量子異常」は，一般座標変換と
量子力学の経路積分表示の視点に立てば「曲がった時空」の特徴ですが，一般に時空の歪
みが認識できるということは，より高次元に内包された部分空間の性質を見ょうとしてい
ることを暗に仮定しています.この「余剰次元 」は面積則と非常に深いつながりがあって，
余剰次元方向への歪みの強さがエントロピーの大きさに対応します.変分理論のテンソル
次元もこの余剰次元に対応するものです.またこの時空のトポロジカルな構造は「量子次
元」を通じて見ることができます.そして以上の結果としての 「AdS/CFT対応 」，その
応用としての「エンタングルメント繰り込み群 」「量子画像処理 」がより深いレベルで理
解できるという全体構造になっています.
(引用終り)
521:現代数学の系譜11 ガロア理論を読む
16/12/18 18:17:07.96 TSR5U7zr.net
>>475 関連
引用文献の[111]
URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
エンタングルメントで見る時空の幾何学構造とテンソル積波動関数 松枝, 宏明 物性研究 (2011)
(抜粋)
10 最後にちょっとだけ哲学的な自問自答
「余剰次元に意味を見出そうとする働き 」というキーワードで本稿を書きすすめてきた
のですが，単なる数学的技巧以上の物理が隠れているようです.序論でも述べたように，
近年の固体電子論で幾何学に関する話題は増加しているのですが，その立場は，問題を見
通しよく解くために元々のヒルベルト空間の部分空間に着目するとその空間は曲がった
りねじれたりしていると考えれば都合が宜しいというものでした.このときに空間の次元
そのものが変動するような効果は取り扱われてはいません.従って従来とはまた状況の
違った幾何学観が導入されたことになります.
テンソル積の次元は，エンタングルメント・エントロビーという量を通して見た場合，
いわば系の空間次元と別に量子揺らぎを伝搬させるための隠れた次元です.この次元方向
の空間的広がりの程度χや曲率は，問題に応じて(特に臨界・非臨界の別や元々の空間
次元の大きさ，粒子間相互作用の型などに応じて)柔軟に変化する非常にダイナミカルな
ものです.逆に言うと，曲がった時空とその量子化に際しては，物質の存在形態に応じて
このような空間次元のダイナミカルな変化が起こることが一般的な特徴なのかもしれま
せん.この意味では超弦理論の世界観と相通じるものがあります.プランク・スケールで
は時空の概念すら暖昧であるということと，ネットワーク構造自体まで含めての階層的テ
ンソル積の自動最適化を施すこと(前節で述べたようにどうすればいいかすぐには分かり
ませんが)には何らかのつながりを感じてしまいます.我々の物性物理の問題と超弦理論
の問題ではエネルギー・スケールが果てしなく異なるのですが，それでもなおこのような
類似性が見られることに興味を覚えます.
つづく
522:現代数学の系譜11 ガロア理論を読む
16/12/18 18:17:44.64 TSR5U7zr.net
>>476 つづき
初めてAdS/CFT対応を勉強したときに感じたことは， 「数学的な目線に立てば肯定で
きる双対性であっても，あまり常識的ではない場合，やはりそれは物理的実在と言うより
は数学的な産物と思うべきなのではないだろうか? 」ということで，自然に高次元時空に
突入する弦理論の見方には懐疑的でした.しかしながら，例えば普通の量子化に立ち戻っ
てみると，粒子描像が実在ならばその双対である波動描像もまた実在であるということ
は，少なくとも数学的には両者が単純にフーリエ変換で結ぼれているからということに起
因していたはずです.粒子の性質が強く出ているときには波の性質はぼやけていて(色々
な周波数の成分が混ざっていて)，逆に波の性質が強く出ているときには粒子としての個
性は失われているわけです.バルク境界対応も，バルクから境界が切り離せないなら，当
然両者は同じ物理を表わす実在です.ホログラムの場合にも，三次元を伝搬する光とその
情報が転写された二次元面はいずれも確かな物理的実在です.そう思うと，ある数学的な
双対原理が存在して，一方が物理的実在ならば他方も実在といってよいのかもしれないと
次第に考え方を改めるようになりました.この問題はあまり深入りするとホログラフィー
の言葉が躍った
523:SFになってしまいそうなので危険だなと，思っていますが，量子力学の相 補性・双対性には非常な深遠さがあるということを改めて感じております. (引用終り)
524:現代数学の系譜11 ガロア理論を読む
16/12/18 18:19:36.26 TSR5U7zr.net
>>476-477
なるほどね
なんとなく分かった気になったよ
松枝宏明先生ありがとう （＾＾；
525:現代数学の系譜11 ガロア理論を読む
16/12/18 18:26:51.20 TSR5U7zr.net
>>441
大栗先生、重箱の隅で悪いが
>もともとは、「量子もつれのトモグラフィー」というタイトルだったのですが
トモグラフィー → ホログラフィー
やね
トモグラフィーは断層写真だから（下記）
URLﾘﾝｸ(matome.na) 強制改行
ver.jp/odai/2133442119663577801
切断を意味するギリシャ語 トモス (tomos, ) に由来する言葉 - NAVER まとめ:2012年04月15日
トモグラフィー (tomography)
切って(tomos) + 描く(graphein) = 断面図
cf. CT = Computed Tomography
526:現代数学の系譜11 ガロア理論を読む
16/12/18 18:28:14.14 TSR5U7zr.net
URLﾘﾝｸ(matome.na)
ver
がNGワードか
腐った板には困ったもんだ（＾＾；
527:現代数学の系譜11 ガロア理論を読む
16/12/18 19:47:18.92 TSR5U7zr.net
>>469 >>474-477
多体系の繰り込みは、普通の量子力学の繰り込みとは違ったのだが・・
多体系に経路積分が使えるという論文は見たことがあった
それが、普通の量子力学と関連してくるのかな？？
あんまり詳しくないのだが・・（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
密度行列繰り込み群法
密度行列繰り込み群（みつどぎょうれつくりこみぐんほう 英: density matrix renormalization group; DMRG）は、量子多体系における低エネルギー物理を高精度に計算するために考案された数値変分法である。1992年に Steven R. White により開発された[1]。
目次
1 DMRG の背景にある考え方
2 実装上の技術的詳細
3 応用
4 行列積仮設
5 DMRG の拡張
DMRG の背景にある考え方
量子多体系の物理に関して主に問題となるのは、ヒルベルト空間が指数関数的に大きくなることである。例えば、長さ L のスピン 1/2（英語版） チェインは、2L の自由度をもつ。DMRG法は反復的な変分法であり、問題の量子状態についてもっとも重要な自由度にのみ有効自由度を絞り込むことができる。問題とされるのは基底状態であることが多い。
この手法では、ウォームアップサイクル後に系を（同じサイズとは限らない）二つのブロックと、その間に位置するの二つのサイトに分ける。ウォームアップ中に、各ブロックを「代表する」一連の状態を選定する。左ブロック + 二つのサイト + 右ブロックを合わせてスーパーブロックと呼ばれる。
スーパーブロックは全系よりも自由度が低減しており、基底状態の候補が見付けやすい。その代償として精度は低下するが、下記の反復法により向上させることができる。
つづく
528:現代数学の系譜11 ガロア理論を読む
16/12/18 19:49:04.59 TSR5U7zr.net
>>481 つづき
見付かった基底状態の候補を、名前の通り密度行列を用いて各ブロックに対応する部分空間上に射影する。これにより、各ブロックの「関連する状態」が更新される。
ここで、片方のブロックを大きくし、もう片方を小さくして同じ手続きを繰り返す。大きくしたブロックが最大サイズに到達したら、かわりにもう片方を大きくする。最初の（等しいサイズの）状況に立ち戻ったとき、「スイープ」が完了したという。1 次元格子ならば通常、数回のスイープで 1010 分の 1 の精度を得るのに十分である。
DMRG法は Steven White と R
529:einhard Noack により、1 次元箱内のスピン 0 粒子のスペクトルを求めるというトイモデル（英語版）に対して始めて適用された。 このモデルはケネス・ウィルソンにより、何らかの新しいくりこみ群の方法をテストするために考案された。このような単純な問題でも、正しく解けない方法ばかりだったのである。 DMRG法は従来のくりこみ群の方法にあった問題点を、系を一つのブロックと一つのサイトに分けるのではなく二つのブロックを二つのサイトで繋ぐように分け、さらに各ステップの最後に最も重要で保存するべき状態を密度行列を用いて識別することにより克服している。 このトイモデルを解くことに成功したのち、DRMG法はハイゼンベルグモデル（英語版）にも適用され、成功している。 応用 DMRG法は、横磁場イジングモデルやハイゼンベルグモデル（英語版）など、およびハバードモデルなどのフェルミオン系、近藤効果などの欠陥のある問題、ボソン系、量子ワイヤー（英語版）に接続された量子ドットの物理など、スピンチェインの低エネルギー物性を得るための応用が成功している。 樹状グラフを扱えるよう拡張されたものもあり、デンドリマーの研究に応用されている。片方の次元がもう片方よりも非常に大きいような二次元系も精度よく扱えるため、ラダーの研究にも有用であることが知られている。 二次元系の平衡状態についての統計物理学（英語版）的研究向けや、一次元系の非平衡（英語版）現象の解析向けの拡張も存在する。 量子化学分野においては強相関系を扱うための応用もされている。 つづく
530:現代数学の系譜11 ガロア理論を読む
16/12/18 19:50:00.00 TSR5U7zr.net
>>482 つづき
DMRG の拡張
2004年、行列積状態の実時間発展向けに時間発展ブロックデシメーション法（英語版）が実装された。このアイデアは量子コンピュータの古典シミュレーションに基いている。続いて、DRMG形式の実時間発展を計算する新手法が考案された。これについては A. Feiguin と S.R. White による論文を参照のこと。
近年、行列積状態の定義を拡張することにより、二次元および三次元へと拡張する提案がなされている。これについては F. Verstraete と I. Cirac による論文を参照のこと。
関連項目
量子モンテカルロ（英語版）
ハイゼンベルグモデルにおける密度行列繰り込み群法（英語版）
時間発展ブロックデシメーション法（英語版）
配置間相互作用法
(引用終り)
531:１３２人目の素数さん
16/12/18 21:51:33.40 y2ndyS62.net
>>424
> 無限大の極限を考える必要がある
同値類の定義からΔrの無限数列のシッポは全て0になることは確定しているから
極限を考えた場合の無限数列のシッポは全て0になって決定番号は無限大にはならない
最初にシッポの0をカットして有限数列にしても極限を考えるときに
ある番号nから先の「s'n-sn, ...」が再度全て0になる
532:１３２人目の素数さん
16/12/19 21:38:21.58 Nz/IKoyB.net
時枝記事は自分でネタバラシ>>4でをしていて、
>>1-3の不思議な戦略は既存の測度論的確率論では
正当化されない。これが正当化されるような確率論を
構築してくださいね！というのが、問題提起だった。
それへの答えは、何らかの数学モデルを構築して
初めて意味がある。物理現象などを持ち出して
それを成し得たら何が定式化できるかを並べても、
>>4の出題から一歩も踏み出してはいない。
時枝に対して「それホントに解けるといいね」と
相槌を打ったことにしかならない。
例えばデルタ関数は、関数でなく分布と捉えることで
初めて数学的に意味を持ったが、
分布としての意味を与えられた後も依然として
デルタ関数が「関数」ではないことに変わりはない。
上のレスに出てきた「拡張一様分布」も、
確率分布でないことは既に決まっているが、
確率分布の概念を拡張して何らかの
533:定式化が可能か が問題になる。誰かが何かの提案をして こんなにスレが続いているのか？を確認しておきたい。
534:１３２人目の素数さん
16/12/19 23:48:42.50 2BMqIuj5.net
No one has ever done such nice things.
One person has made a lot of something fuckin' crazy, foolish.
As a matter of fact, that's the reason why this thread is so active.
Don't overestimate about that.
535:１３２人目の素数さん
16/12/20 00:03:14.11 xV6MYIZE.net
>>485
> 誰かが何かの提案をしてこんなにスレが続いているのか？を確認しておきたい。
・決定番号が有限値でないことがあるから時枝の戦略は成り立たない
・キマイラ数列∈/R^Nが存在するから時枝の戦略は成り立たない
・決定番号の確率分布は裾が重いから時枝の戦略は成り立たない
・決定番号の確率分布では期待値や分散が求まらないから時枝の戦略は成り立たない
・R^Nはヒルベルト空間外だから時枝の戦略は成り立たない
・ヒルベルトのホテルのパラドックスを考えると時枝の戦略は成り立たない
・決定番号は宇宙に存在する原子数よりも大きくなるから時枝の戦略は成り立たない
・エントロピーはほとんど変化しないから時枝の戦略は成り立たない
・"確率の専門家"が疑問を呈したから時枝の戦略は成り立たない
・"院生クラスの誰か"が与太話とコメントしたから時枝の戦略は成り立たない
・なにはともあれ個人的に時枝の戦略は不成立だと思う
こういったスレ主のコメントに対して
⇒住人が突っ込む
⇒突っ込みを無視してスレ主がコメント
⇒再度住人が突っ込む
⇒再度突っ込みを無視してスレ主がコメント
⇒再度住人が突っ込む
⇒
⇒
という無限ループに入っていますｗ
なんだかんだ皆スレ主が好きなのかい？ｗｗ
貴重な時間を無駄にするのはやめにしませんか
536:１３２人目の素数さん
16/12/20 19:06:20.13 jwR2BCLH.net
ここのスレ主は共立のガロア・アーベルの本読んだの？
537:現代数学の系譜11 ガロア理論を読む
16/12/22 22:42:28.40 VgRjj8BR.net
>>484
ああーあ
”y=f(x)=1/x R＝(－∞,∞）から0を除いたR－{0}＝(－∞,０)∪(０, ＋∞)で定義された対応は、関数の定義を満たす。 ”（下記）
で、区間(－∞,０)と、(０, ＋∞)とは、開。だが、極限としては、－∞,０,＋∞ は、可能だろう？ 分かってる？ 同じだよ
URLﾘﾝｸ(www.ne.jp)
y=1/xの属性[数学についてのwebノート]: 投稿者 Tirom （2013?）
1変数関数y=1/xの性質 ：トピック一覧
(抜粋)
y=f(x)=1/x
・R＝(－∞,∞）で定義された対応y=f (x)=1/xは、関数の定義を満たさない。
なぜなら、
x＝0∈Rにおいて、 f(0)＝1/0＝φとなる（∵実数体の定義）から。
・しかし、
R＝(－∞,∞）から0を除いたR－{0}＝(－∞,０)∪(０, ＋∞)で定義された対応
y=f (x)=1/x
は、関数の定義を満たす。
・したがって、通常、「y=f (x)=1/xの定義域」は、
０を除く実数全体(－∞,０)∪(０, ＋∞)とされる。
(引用終り)
URLﾘﾝｸ(www.ne.jp)
数学についてのwebノート:
538:現代数学の系譜11 ガロア理論を読む
16/12/22 22:45:01.44 VgRjj8BR.net
>>488
読んだよ
まあ、真偽は想像にお任せする
過去ログ見てみな
分かるだろうよ
もっとも”読む”がレベルいろいろだろうが
539:現代数学の系譜11 ガロア理論を読む
16/12/22 22:56:41.36 VgRjj8BR.net
>>485-487
>>>1-3の不思議な戦略は既存の測度論的確率論では
>正当化されない。これが正当化されるような確率論を
>構築してくださいね！というのが、問題提起だった。
違うと思うよ
個人的には、どんな理論を持ってきても、「正当化はできない」と思っている
だから、時枝記事は完全に不成立だと
それこそ、昔￥さんが言ったように、確率を実数から複素数に拡張でもすれば、それは知らないが（直感的にはそれでも無理だと思う）
少なくとも、自分の知る限りの理論では、正当化できない
特に、問題は、「100列で確率99/100」をきちんと数学的に導くことは
540:できない ゲーム論的確率論を使ってもだ。できると思うならどうぞ だから、時枝記事からは、すでに引いて見ているよ
541:現代数学の系譜11 ガロア理論を読む
16/12/22 22:59:58.29 VgRjj8BR.net
>>485-487
>という無限ループに入っていますｗ
ほとんどのおそらく、大学と繋がりのある人たちは、悟って引いていった
周りを見回してみるがいい
時枝記事を支持するプロ数学者は皆無だ
ただ、大学と繋がりのない素人が騒いでいるだけ
覚醒できずに
542:１３２人目の素数さん
16/12/22 23:37:41.31 cIndg6/u.net
Are you kidding me?
543:現代数学の系譜11 ガロア理論を読む
16/12/22 23:47:13.89 VgRjj8BR.net
ふーむ「ネーターの定理に従って保存量としてのエントロピーを導く対称性は何か？」ですか
URLﾘﾝｸ(www.riken.jp)
乱雑さを決める時間の対称性を発見 | 理化学研究所:
2016年4月27日
理化学研究所
京都大学
乱雑さを決める時間の対称性を発見
－100年前の物理と数学の融合が築くミクロとマクロの架け橋－
(抜粋)
20世紀末、ブラックホール[3]のエントロピーは、時空の対称性から導出できることが分かりました。この研究に触発され、今回、共同研究チームは、「ネーターの定理に従って保存量としてのエントロピーを導く対称性は何か？」という疑問を追究しました。
具体的には、「ミクロな粒子の運動を記述する時間をずらしても、ずらす前の運動と同じ法則に従う」という対称性があるかを調べました。その結果、量子力学のプランク定数[4]を温度で割った分だけ時間をずらすように選んだときにのみ、そのような対称性が現れることが分かりました。
そして、ネーターの定理をその対称性に適用することで得られる保存量がエントロピーと一致しました。この乱雑さを決める時間の対称性はこれまでにないものであり、どのような物質にも現れうる普遍的なものです。
今後、時間の対称性が導くエントロピーは、乱雑さとしてのエントロピーとは異なる方法でミクロとマクロの世界を結び付けることを可能にし、さまざまな分野に新しい視点を与えると期待できます。
本研究は、米国の科学雑誌『Physical Review Letters』（4月8日号）に掲載され、Editors’ suggestionに選ばれました。
つづく
544:現代数学の系譜11 ガロア理論を読む
16/12/22 23:47:47.81 VgRjj8BR.net
>>494 つづき
背景
およそ100年前、熱力学の基本的な量であるエントロピーのミクロな力学による表現が確立され、また、力学における対称性と保存則を一般的に結び付ける数学的定理が発見されました。前者はボルツマンの公式、後者はネーターの定理と呼ばれます。
量子力学のプランク定数を温度で割った分だけ、時間をずらすように選んだときにのみ、そのような対称性が現れました。そして、ネーターの定理をその対称性に適用することで得られる保存量がエントロピーと一致しました。ここでの温度はボルツマンの公式によって決まる量であり、時間に依存して変化します（図）。
これは、これまでにない対称性の発見であり、どのような物質にも現れうる普遍的なものです。ここで興味深いのが、この理論は完全に古典論に基づくにもかかわらず、プランク定数の存在が自然と導かれた点です。これは、エントロピーと量子力学の深い関係を示していると考えられます。
原論文情報
Shin-ichi Sasa and Yuki Yokokura, "Thermodynamic Entropy as a Noether Invariant", Physical Review Letters, doi: 10.1103/PhysRevLett.116.140601
(引用終り)
545:現代数学の系譜11 ガロア理論を読む
16/12/23 00:18:14.28 5O/87XDw.net
修論にしては、レベルが高いが
>>198の笠・高柳公式の後では内容が古くなった
が、「熱力学から生じる重力」という視点は新鮮だね
URLﾘﾝｸ(www.cc.kyoto-su.ac.jp)
三好 蕃 (Shigeru J. MIYOSHI)のページ 京都産業大学
URLﾘﾝｸ(www.cc.kyoto-su.ac.jp)
京都産業大学天文・宇宙天体物理グループ
最近の修士論文
URLﾘﾝｸ(www.cc.kyoto-su.ac.jp)
重力と熱力学 [酒井 啓�
546:ｾ：2005年3月] Abstract この論文ではよくあるBlack Hole のエントロピーの求め方をまず紹介しておい て、その後に物理的解釈からエントロピーを導出した。またBlack Hole だけでな く同様の考え方でΛ 項のある宇宙や一様加速する系についてのエントロピーも導 出し、それらを高次元に展開した。そして別の視点から見るために熱力学から重 力を導出し、情報のパラドックスについて論じた。 (抜粋) 第4 章 熱力学から生じる重力 このように、完全な二次のLagrangian が標準なEinstein-Hilbert Lagrangian だと 分かる。その作用の表面項が単位表面積当たりのエントロピーに比例すべきだと いう仮定によってこの結果を得ることができた。この仮定が重力作用の原理を決 定し、一般に共変な作用が引き起こされ、そして表面項がEinstein Lagrangian の形 を決定することになる。そして表面積が単位面積量当たりの情報を含むという考 えが重力相互作用の性質を決定するのを許している。 (引用終り)
547:現代数学の系譜11 ガロア理論を読む
16/12/23 00:27:24.59 5O/87XDw.net
>>496
そういえば、下記”Ashtekar”なんてのがあるが
むかし￥さんが、”Ashtekar”のことを言っていたっけね？ 記憶が定かではないが・・ （＾＾
参考文献
[40] A. Ashtekar, Gravity and the Quantum, gr-qc/0410054.
548:１３２人目の素数さん
16/12/23 01:11:56.49 Ue9wXM6X.net
>>489
> 極限としては、－∞,０,＋∞ は、可能だろう？ 分かってる？ 同じだよ
決定番号が＋∞である場合を考えることはもちろん可能であるがこの場合に何が起こるかというと
極限をとると発散するので極限をとって無限数列を作ることはできない
Δrの極限の無限数列のシッポが全て0になればある番号nから先の「s'n-sn, ...」においてs'nとsnが全て
一致するので収束することが言える
そうでない場合は極限が定まらないので発散する
任意の無限数列を出題することが可能であると仮定している段階で極限をとれば必ずその無限数列のシッポが
確定することを仮定している訳で言い換えるとΔrの極限の無限数列のシッポが全て0になること
つまり必ずシッポが全て0になるようにΔrの極限をとることが可能であると仮定している
549:１３２人目の素数さん
16/12/23 02:29:18.79 06iuOQ6r.net
>>491もちろん、
そのような新しい「確率」を定義し得ないことを
証明すれば、構成して見せること同様に解になる。
数学だから証明が重要で、「無理な気がする」では
あまり意味がない。
>>498すでに書いたように、
時枝記事の存在価値は>>1-3の戦略が
標準的な確率論の下で正当化できるかではなく、
あの戦略を正当化できるような新規な確率論を
構築することができるかにある。そのことは
時枝自身が>>4にネタバラシしているので、
そこを外した議論の意義は薄い。
数学者たちが無視しているのは、>>4の意味での
時枝問題が雲をつかむような話で、
特に肯定的なアイディアも無いが
否定するのは悪魔の証明でしかない
エンガチョな問いかけだからだよ。
550:現代数学の系譜11 ガロア理論を読む
16/12/23 08:07:17.24 5O/87XDw.net
>>498-499
ID:Ue9wXM6Xさんと、ID:06iuOQ6rとか
同一人物のようでもあり、違うようでもある・・（＾＾；
ところで
＜プロ＞
・大学教員
・修士から上の学位あり
＜セミプロ＞
・数学科卒
＜アマ＞
・上記以外
と分類して
＜アマ＞認定で良いかな？
551:現代数学の系譜11 ガロア理論を読む
16/12/23 08:18:38.40 5O/87XDw.net
>>498
>決定番号が＋∞である場合を考えることはもちろん可能であるがこの場合に何が起こるかというと
>極限をとると発散するので極限をとって無限数列を作ることはできない
”さくそく-てきり【削足適履】”か？（下記）
「極限をとると発散するので極限をとって無限数列を作ることはできない」？？
意味わからん
そもそも、”無限数列を作る”が前提だろ？ 極限をとると、何が発散するのか？
URLﾘﾝｸ(dictionary.goo.ne.jp)
削足適履の意味 - 四字熟語一覧 - goo辞書:
さくそく-てきり【削足適履】の意味 新明解四字熟語辞典
本末を取り違えて、無理に物事を行うたとえ。折り合いをつけて、無理に合わせるたとえ。また、目先のことにとらわれて、根本を考えないたとえ。大きな足を削り落として、靴に合わせる意から。▽「適」は合わせること。「履」は靴・はきものの意。「足あしを削けずりて履くつに適てきせしむ」と訓読する。
削足適履の出典
『淮南子えなんじ』説林訓ぜいりんくん
552:現代数学の系譜11 ガロア理論を読む
16/12/23 08:33:11.58 5O/87XDw.net
>>499
>証明すれば、構成して見せること同様に解になる。
>数学だから証明が重要で、「無理な気がする」では
>あまり意味がない。
だから？ ここは２ちゃんねる。お気楽な場だよ。学会じゃない
時枝記事を正当化する構成はできないと思っている
が、お分かりのように、構成するなら１つでおわりだが、不可能の証明はずっと難しい
で、例えばあなたが、「構成した」と称するものがあれば、その穴を見つけてあげましょうという挑戦状と思って貰って結構だ
なお、「時枝記事を正当化する構成はできない」の証明を考えることは、時間の無駄で意義が薄いと思っているし
まあ、その証明は難しいだろう。世の中のありとあらゆる可能な構成を考慮に入れないといけないからね
ただ、「時枝記事を正当化する構成はできない」の説明は、過去なんどか書いたし
それは、>>487辺りにだれかまとめてくれている（正確かどうかは別として）
>あの戦略を正当化できるような新規な確率論を
>構築することができるかにある。そのことは
>時枝自身が>>4にネタバラシしているので、
>そこを外した議論の意義は薄い。
それ個人的見解にすぎない
>数学者たちが無視しているのは、>>4の意味での
>時枝問題が雲をつかむような話で、
>特に肯定的なアイディアも無いが
>否定するのは悪魔の証明でしかない
>エンガチョな問いかけだからだよ。
それ個人的見解にすぎない
553:１３２人目の素数さん
16/12/23 08:40:22.68 dNmvLwua.net
アホ相手に解説したって無駄
会話がズレまくってて見てられんわ笑
554:１３２人目の素数さん
16/12/23 08:56:25.80 YMoiYfRu.net
>>499
証明が大事なら全く証明になってない時枝の議論はゴミじゃん
555:現代数学の系譜11 ガロア理論を読む
16/12/23 09:01:10.11 5O/87XDw.net
>>496 関連
Alain Connes先生
URLﾘﾝｸ(arxiv.org)
Why the Standard Model
Ali H. Chamseddine, Alain Connes
(Submitted on 25 Jun 2007)
The Standard Model is based on the gauge invariance principle with gauge group U(1)xSU(2)xSU(3) and suitable representations for fermions and bosons, which are begging for a conceptual understanding.
We propose a purely gravitational explanation: space-time has a fine structure given as a product of a four dimensional continuum by a finite noncommutative geometry F.
The raison d'etre for F is to correct the K-theoretic dimension from four to ten (modulo eight).
We classify the irreducible finite noncommutative geometries of K-theoretic dimension six and show that the dimension (per generation) is a square of an integer k.
Under an additional hypothesis of quaternion linearity, the geometry which reproduces the Standard Model is singled out (and one gets k=4)with the correct quantum numbers for all fields.
The spectral action applied to the product MxF delivers the full Standard Model,with neutrino mixing, coupled to gravity, and makes predictions(the number of generations is still an input).
556:１３２人目の素数さん
16/12/23 09:06:08.16 dNmvLwua.net
>>499
>>502と>>504を見れば分かるだろ。
数学以前に会話になってないｗ
時間の無駄です
557:現代数学の系譜11 ガロア理論を読む
16/12/23 09:10:41.48 5O/87XDw.net
>>504
どうも。スレ主です。
賛成だな
時枝記事が意味を持つためには
１．証明は得ていなくても、（超すその重い分布で）「100列で確率99/100」を強く示唆する数学的根拠を示した記事であること
（もちろん、確率分布が、すその軽い分布で、大数の法則や中心極限理が成立する場合（典型的には正規分布など）では、「100列で確率99/100」は言える。そして、我々日常では大数の法則が圧倒的に多いから、多くの人は無意識に「100列で確率99/100」が成立するとすり込まれているんだが）
２．新規な確率論のアイデアか方向性を示すこと
この２つが無ければ、ゴミじゃん
558:現代数学の系譜11 ガロア理論を読む
16/12/23 09:13:01.61 5O/87XDw.net
>>507 訂正
我々日常では大数の法則が圧倒的に多いから、
↓
我々日常では大数の法則が成立する場合が圧倒的に多いから、
559:１３２人目の素数さん
16/12/23 09:16:17.98 dNmvLwua.net
>>507
> １．証明は得ていなくても、（超すその重い分布で）「100列で確率99/100」を強く示唆する数学的根拠を示した記事であること
> （もちろん、確率分布が、すその軽い分布で、大数の法則や中心極限理が成立する場合（典型的には正規分布など）では、「100列で確率99/100」は言える。
> そして、我々日常では大数の法則が圧倒的に多いから、多くの人は無意識に「100列で確率99/100」が成立するとすり込まれているんだが）
釣り乙ｗ
>>487
> ・決定番号が有限値でないことがあるから時枝の戦略は成り立たない
> ・キマイラ数列∈/R^Nが存在するから時枝の戦略は成り立たない
> ・決定番号の確率分布は裾が重いから時枝の戦略は成り立たない
> ・決定番号の確率分布では期待値や分散が求まらないから時枝の戦略は成り立たない
> ・R^Nはヒルベルト空間外だから時枝の戦略は成り立たない
> ・ヒルベルトのホテルのパラドックスを考えると時枝の戦略は成り立たない
> ・決定番号は宇宙に存在する原子数よりも大きくなるから時枝の戦略は成り立たない
> ・エントロピーはほとんど変化しないから時枝の戦略は成り立たない
> ・"確率の専門家"が疑問を呈したから時枝の戦略は成り立たない
> ・"院生クラスの誰か"が与太話とコメントしたから時枝の戦略は成り立たない
> ・なにはともあれ個人的に時枝の戦略は不成立だと思う
560:現代数学の系譜11 ガロア理論を読む
16/12/23 09:26:37.22 5O/87XDw.net
>>498
確かに会話が成り立っていない気がするが・・
”なぜヒルベルト空間なんて出てきたのか意味不明すぎる”>>155 なんて話があったが
普通われわれが関数解析などで、無限次元空間（数列）を扱うとき
前提として、ヒルベルト空間ないし、バナッハ空間を前提としていることが圧倒的に多い（下記参照）
ところが時枝記事は、>>2"「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる."だったから
”実数列の集合 R^N”は、ヒルベルトでもバナッハでもないよ
だから、時枝記事のR^Nの実数列に収束は要求されていない！
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
ヒルベルト空間は、内積の構造を備えた抽象ベクトル空間（内積空間）になっており、そこでは角度や長さを測るということが可能である。ヒルベルト空間は、さらに完備距離空間の構造を備えている（極限が十分に存在することが保証されている）ので、その中で微分積分学がきちんと展開できる。
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
バナッハ空間（バナッハくうかん、英: Banach space; バナハ空間）は、完備なノルム空間、即ちノルム付けられた線型空間であって、そのノルムが定める距離構造が完備であるものを言う。
解析学に現れる多くの無限次元函数空間、例えば連続函数の空間（コンパクトハウスドルフ空間上の連続写像の空間）、 Lp-空間と呼ばれるルベーグ可積分函数の空間、ハーディ空間と呼ばれる正則函数の空間などはバナッハ空間を成す。これらはもっとも広く用いられる位相線型空間であり、これらの位相はノルムから規定されるものになっている。
561:現代数学の系譜11 ガロア理論を読む
16/12/23 09:44:48.72 5O/87XDw.net
>>505
このAlain Connes先生は、過去よくお世話になった とね日記の紹介なんだ
URLﾘﾝｸ(blog.goo.ne.jp)
時間とは何か、空間とは何か： S.マジッド、A.コンヌ、R.ペンローズ他 - とね日記: 2014年04月29日
(抜粋)
ロジャー・ペンローズ、アラン・コンヌらが時間と空間の招待についての論点を整理し、宇宙の姿を描く。
本書は2006年9月にケンブリッジ大学のエマニュエル・カレッジで開かれた公開討論会で、「時間とは何か？空間とは何か？」という問いを一流の数学者、物理学者、哲学者、神学者からなるユニークなパネリストに問いかけ、この催しから得られた本だ。英語版は2008年に出版された。
第４章：時空の美しい理解のために：重力と物質の統一
アラン・コンヌ
コンヌ博士の理論は素粒子の標準模型と重力を統一するから、統一スケール（プランクスケール）においてニュートン定数の値も予想する。
そしてスペクトル作用は有効作用として用いることができる。MｘFについての非可換幾何学へ応用するスペクトル作用関数からわかる理論は基本理論ではないが、統一スケールで意味を持つところで留まる実質的な理論と考えられる。
（この非可換幾何学によって素粒子の標準理論が導かれることはこの論文 URLﾘﾝｸ(arxiv.org) で示されている。）
562:現代数学の系譜11 ガロア理論を読む
16/12/23 09:46:16.87 5O/87XDw.net
>>509
釣りは、すでに、そこではないよ
こっち>>511
563:現代数学の系譜11 ガロア理論を読む
16/12/23 09:57:31.66 5O/87XDw.net
>>505
quaternionは例の四元数か
URLﾘﾝｸ(arxiv.org)
(抜粋)
Abstract.
We
classify the irreducible finite noncommutative geometries of K-theoretic dimension
six and show that the dimension (per generation) is a square of an integer k. Under
an additional hypothesis of quaternion linearity, the geometry which reproduces the
StandardModel is singled out (and one gets k = 4) with the correct quantum numbers
for all fields.
（略）
We can now combine the above discussion with the result of [7] Theorem 4.3 and get,
Theorem 4.3. Let M be a Riemannian spin 4-manifold and F the finite noncommutative
geometry of K-theoretic dimension 6 described above, but with multiplicity4 3.
Let M × F be endowed with the product metric.
(1) The unimodular subgroup of the unitary group acting by the adjoint representation
Ad(u) in H is the group of gauge transformations of SM.
(2) The unimodular inner fluctuations of the metric give the gauge bosons of SM.
(3) The full standard model (with neutrino mixing and seesaw mechanism) minimally
coupled to Einstein gravity is given in Euclidean form by the action
functional
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
数学における四元数（しげんすう、英: quaternion（クォターニオン））は複素数を拡張した数体系である。
実は四元数の全体は、最初に発見された非可換多元体である[5]。四元数全体の成すこの代数は、ハミルトンに因んで H（あるいは黒板太文字で Ｈ）と書かれる。
この代数 H は解析学において特別な位置を占めている。というのも、フロベニウスの定理に従えば H は実数の全体 R を真の部分環として含む有限次元可除環の二種類しかないうちの一つ（もう一つは複素数の全体 C）だからである。
564:現代数学の系譜11 ガロア理論を読む
16/12/23 09:59:57.51 5O/87XDw.net
>>513
素粒子論とEinstein gravityの融合
これが２１世紀の数学やね
565:１３２人目の素数さん
16/12/23 10:26:04.93 tuUxp9X2.net
>>504
What the fuck? You mean the Riemann hypothesis is crap, dontcha?
566:１３２人目の素数さん
16/12/23 10:57:37.77 YMoiYfRu.net
>>515
リーマン予想は数学的に定式化されてます。
時枝のは数学の体裁すら整ってません
567:１３２人目の素数さん
16/12/23 10:58:50.14 YMoiYfRu.net
リーマン予想は数学の言葉を用いて書くことができますが
時枝のはそれすらできてません
568:現代数学の系譜11 ガロア理論を読む
16/12/23 11:09:28.24 5O/87XDw.net
>>515-517
どうも。スレ主です。
ID:YMoiYfRuさんに
569:賛成だ だから 下記２つの引用は否定される おそらくは、時枝は、すその超重い分布に思い至ってないので、無証明で「100列で確率99/100」成立！ という素人論議にうっかり乗った そう思うよ >>485 ">>>1-3の不思議な戦略は既存の測度論的確率論では >正当化されない。これが正当化されるような確率論を >構築してくださいね！というのが、問題提起だった。" >>499 "時枝記事の存在価値は>>1-3の戦略が 標準的な確率論の下で正当化できるかではなく、 あの戦略を正当化できるような新規な確率論を 構築することができるかにある。そのことは 時枝自身が>>4にネタバラシしているので、 そこを外した議論の意義は薄い。"
570:現代数学の系譜11 ガロア理論を読む
16/12/23 11:14:32.60 5O/87XDw.net
戻る
>>358 関連
URLﾘﾝｸ(www.amazon.co.jp)
量子系のエンタングルメントと幾何学 ホログラフィー原理に基づく異分野横断の数理 単行本 ? 2016/6/8 松枝 宏明 (著)
第2章 物理的情報とその要素分解：高次元からの俯瞰的視点
P20 2.2.3 に、”Tsallisの非加法的エントロピ－”が出てきて、それが、q-解析（量子解析）と関係しているとある！
その関連資料が、下記小山先生の資料だ （この資料が何年のものか不明（おそらく2000年連載直後か）だが、小山先生早く日付入れた方がいいよ（＾＾ ）
URLﾘﾝｸ(www.numse.nagoya-u.ac.jp)
名古屋大学大学院工学研究科 マテリアル理工学専攻 小山研究室（計算組織学研究グループ）:
URLﾘﾝｸ(www.numse.nagoya-u.ac.jp)
計算理論 以下は、種々の論文や教科書を勉強した時の覚書です。
熱力学関連
URLﾘﾝｸ(www.numse.nagoya-u.ac.jp)
非加法的統計力学 [阿部純義 : 数理科学, No.439, (2000), 1月号から連載]の一部に 式のフォローを加えたもの by T.Koyama
(抜粋)
１．はじめに
ほぼ１世紀にわたって大きな成功をおさめてきたBoltzmann-Gibbs統計力学が、現在いくつかの物理的要請にしたがって拡張されようとしている。
このことに関連して最近注目を集めている「Tsallisの非加法的統計力学」について解説する。この研究は現在発展過程にあり、現時点において知られている理論的枠組みが最終的に正しいものか否かはわからない。
しかしおそらくこの方向に何らかの真理が存在することは疑いの無いことであるように思われる。したがって、本稿はすでに確立された分野の解説ではなく、新しい発見への道の途中にある統計力学研究の報告であると考えていただきたい。
つづく
571:現代数学の系譜11 ガロア理論を読む
16/12/23 11:15:02.71 5O/87XDw.net
つづき
５．Tsallisの非加法的エントロピ－
1988年に発表された論文[C. Tsallis: J. Stat. Phys.,52(1988),479.]において、Tsallisは、「マルチフラクタル系のように確率分布関数がベキ則的振る舞いをする場合に対応する統計力学はどのようなものであろうか」という根本的な問題を考察した。
歴史的には、この型の量は1970年にDaroczyによってすでに考察されていた。しかし、Daroczyの議論は情報数学の枠内に終始しており、最大エントロピ－原理や統計力学との関連については触れていない。Tsallisはまったく別の観点から独立にこの量を考案した。
Tsallisエントロピ－は、というパラメ－タを含んでいる。
６．Tsallisエントロピ－の一意性に関するコメント
ごく最近、(定数)+ΣΦ(Pi)の形をもつ量の内、composabilityを満たすものは、おそらくTsallisエントロピ－のみであろうという議論が展開された。
つづく
572:現代数学の系譜11 ガロア理論を読む
16/12/23 11:15:50.82 5O/87XDw.net
つづき
７．q-変形理論との関係
数理物理学に、量子群・q-変形理論という分野がある。それに関連するq-解析学は、20世紀初頭に現れた数学であるが、場の量子論や統計力学におけるある種の可解模型がもつ対称性の研究を通じて近年物理学に導入された。この節では、Tsallisエントロピ－とq-変形理論との興味深い関係について紹介する。
８．q-期待値と非加法的統計力学
式(42)の定義を用いた理論は非常に注目され、驚くほど多岐にわたる問題に応用された。指数関数的でない確率分布が問題になる系に対して、ことごとく適用された感がある。
ここで重要なのは、これらの研究をとおして、Tsallisエントロピ－の適用範囲がその定式化の動機であったマルチフラクタル構造をもつ系に限定されるものではなく、どうやら非加法性をもつ一般的な系の統計力学的性質の解明に有用のようである、ということが次第に明らかになってきたことである。
このように式(42)を拘束条件として用いた理論形式は、まずまずの成功をおさめたといえる。1998年までの非加法的統計力学に関するほとんどすべての議論は、この形式に基づくものであった。しかしながら、式(42)には明らかに不満足な点があった。
上述の困難を解決するために、Tsallis，MendesおよびPlastinoは規格化されたq-期待値 (43)
を導入した。
これまで何度か述べたように、Tsallisエントロピ－導入のもともとの動機は、マルチフラクタル系でスケ－ルされる確率分布関数を統計力学的な原理に基づいて記述することにあったのであるが、上で見たように、ベキ則的な振る舞いをする分布関数が実際に得られたわけである。
さて、この理論的枠組みから如何に無矛盾な熱力学的形式が導かれるかを見てみることにしよう。
つづく
573:現代数学の系譜11 ガロア理論を読む
16/12/23 11:17:10.56 5O/87XDw.net
つづき
このように、Boltzmann-Gibbs極限q→1における通常の熱力学的関係式のすべてが、q≠1の場合に自然に移行されるのである。熱力学的Legendre変換構造は、非加法的拡張に対して、実はかくもロバストなのであった。
以上、Tsallisエントロピ－の定義(24)と合わせて式(43)以降の議論が、現時点でもっとも信頼できる理論的枠組みと考えられているものである。Tsallisの非加法的統計力学は、エントロピ－と期待値の定義の拡張に関する二つの仮定からなる理論なのである。
10-1) Levy型ランダム・ウォ－ク
中心極限定理によれば、仮に１回のジャンプが厳密にGauss分布でなくても、２次モ－メントが存在する限り、大きなNで漸近的に分布(83)が実現される。
ところで、数学的には２次モ－メントが存在しない（発散する）分布を考えることができる。そのような分布は、確率変数の大きな値に対してGauss型のように指数関数的に急減少する分布とは異なり、ベキ則的にゆっくりと減少する。
歴史的に最初にベキ則的分布が発見されたのは約１世紀ほど前のことで、それはParetoによる富裕階級の年収に関する統計解析においてであった。数学者Levyは、そのような長く尾を引く分布についての一般的理論を展開した。
今日Levy分布と呼ばれるこの確率分布と、それに関連するランダム・ウォ－ク（Levyフライト）と解釈されるものは、Paretoの統計の他にも、自然現象や社会現象の中に豊富に存在することが知られている。
それらは例えば、ミセル型ポリマ－媒質中の分子の運動、回転同心円環内の層流のカオス的輸送、準反跳レ－ザ－冷却、周期的パルス光照射を受けるセシウム原子の運動量分布則、量子色力学によるハ－ド・プロセスに対する多重度分布、健康人の心臓の鼓動のリズム、
水道の蛇口からもれ落ちる水滴の間隔、経済指数の分布、DNAの塩基配列、アホウドリの餌の漁り方、というように実に多様である。
時間を離散化して考えると、先述のGauss過程というのは単位時間ステップで近接点ヘジャンプする場合になっているが、Levy過程はもっと速くヘジャンプする確率を含んでいる。
つづく
574:現代数学の系譜11 ガロア理論を読む
16/12/23 11:18:33.66 5O/87XDw.net
つづき
式(85)が示すように、Levy分布は“引き延ばされた指数関数”（stretched exponential function）のFourier変換である。このことから、N回の独立なジャンプをあらわす分布はN^(-1/α)Lα(x/N^(1/α））で与えられることになる。
このように独立な確率変数の和のしたがう分布が、一つの変数に対する分布の変数のスケ－ルを変えたものに等しくなる場合、それは安定分布と呼ばれる。Levy分布やGauss分布は安定分布である。
通常の中心極限定理によれば、有限な２次モ－メントが存在する場合、同一の分布にしたがうN個の互いに独立な確率変数に対応する分布は、Nが大きくなるとGauss分布に近づく。
一方、２次モ－メントが発散するような分布に関しては、Levy-Gnedenkoの一般化された中心極限定理によって、大きなNで収束する分布の収束先はLevy分布の安定クラスのうちのどれかである。
ところで、1980年代に、フラクタルの概念の物理学における意義がさかんに議論された。その関運で、フラクタル的分布であるLevy型の分布を最大エントロピ－原理から理解しようという試みがなされた。
このように非加法的統計力学の枠組みでは、Levy分布をきわめて自然な形で理解できるのである。
10-2) 非線形Fokker-Planck方程式と異常拡散
νμ=のとき以外は、通常の拡散法則(111)と異なり、幅の２乗が単純に時間に比例しない。このような拡散を異常拡散(anomalous diffusion)という。ν/μ>1(ν/μ<1) の場合、通常の拡散よりも遅く（速く）拡散するので、subdiffusion(superdiffusion)と呼ばれる。
異常拡散は、多孔性媒質やランダム媒質巾でよく見られる現象であり、10.1で述べたLevy型ランダム・ウォ－クと密接に関係している。
つづく
575:１３２人目の素数さん
16/12/23 11:19:05.96 Ue9wXM6X.net
>>501
> ”無限数列を作る”が前提だろ？ 極限をとると、何が発散するのか？
スレ主がやっていることは同じ類に属する数列の差からm+1番号目以降の0をカットしてΔrを作って
> r'-r = (s'1-s1，s'2-s2，s'3-s3 ，・・・，s'n-sn ，・・・，s'm-sm ，0,0,0・・・)
> Δr= r'-r = (s'1-s1，s'2-s2，s'3-s3 ，・・・，s'n-sn ，・・・，s'm-sm )
極限をとりΔrのm+1番号目以降が0でない無限数列を作っているわけであるが
(同じ類に属する)同じ数列の差からm+1番号目以降の0をカットしてΔqを作り極限をとって
Δq= r-r = (0, 0, 0, ... , 0, s'(m+1)-s(m+1), s'(m+2)-s(m+2), ... )
無限数列を同様に作るとΔqのm+1番号目以降が0でない無限数列を考えることになる
同じ無限数列の差の全ての項が0にならないことから極限は収束しないので発散する
576:現代数学の系譜11 ガロア理論を読む
16/12/23 11:19:53.71 5O/87XDw.net
つづき
おわりに
以上、Tsallisエントロピーに基づく非加法的統計力学の理論的枠組みとその応用について概観してきた。
この解説の冒頭で述べたように、この理論はまだ完成されたものではなく、明らかに発展の途上にある。非常に基本的でありながら理解できていないことがいくつか残っている。例えば、熱力学第ゼロ法則である。
これに関しては、ごく単純な系の場合に限って定式化されているのみであり、一般的な議論が待たれる。また、ごく最近見い出されたBoltzmann-Gibbs極限(と熱力学的極限の交換不可能性という事実も、その物理的意味はまだはっきりしていない。
いわゆるGibbsの定理というものがある。
歴史的には、・・繰り返し証明されてきた事柄なのである。したがって、もしこの主張が正しいならば、論理的問題として、Tsallisエントロピ－などを考える余地はまったくない、ということになる。
しかしながら、この“定理”が実は普遍的ではなく、「ミクロカノニカル集団理諭から導かれるカノニカル集団理論は一意的でない」ことが見い出された。
そして、Boltzmann-Gibbsのカノニカル集団理論以外の理論体系として、Tsallisの非加法的統計力学が確かに導かれることが証明されたのである。
このことは、平衡統一計力学がBoltzmann-Gibbs理論に限定されるものではなく、実はもっと豊かな体系であり
577:うることを示している。したがって、非平衡理論も多様でありうる。 一方、これまでの非平衡統計力学の研究は、主としてBoltzmann-Gibbs下衡理論からのずれのみを取り扱ってきた。しかし、そのようなアプローチでうまく理解できない問題が多々存存することがわかってきた。 Boltzmann-Gibbs理論の非加法的拡張は、統計力学の地平を大きくひろげる可能性を秘めている。 (引用終り)
578:現代数学の系譜11 ガロア理論を読む
16/12/23 11:25:38.99 5O/87XDw.net
>>524
どうも。スレ主です。
一つ聞くが、あんた”おっちゃん”か？
なら、証明を読む気なないよ
「Δq= r-r = (0, 0, 0, ... , 0, s'(m+1)-s(m+1), s'(m+2)-s(m+2), ... )」って・・・
なにそれ？
誤植か？ 訂正する気はあるのか？
579:現代数学の系譜11 ガロア理論を読む
16/12/23 11:28:38.38 5O/87XDw.net
>>526 訂正
なら、証明を読む気なないよ
↓
なら、証明を読む気はないよ
追伸
こんな読みにくい板で、なにも好き好んで証明ごっこする必要もあるまい
読まされる方はたまらんぜ
580:１３２人目の素数さん
16/12/23 11:35:39.08 Ue9wXM6X.net
>>526
おっちゃんじゃないよ
> なにそれ？
何が分からないのかがこちらには理解できない
スレ主が使った記号しか使っていないよ
581:現代数学の系譜11 ガロア理論を読む
16/12/23 11:43:04.33 5O/87XDw.net
>>519
>P20 2.2.3 に、”Tsallisの非加法的エントロピ－”が出てきて、それが、q-解析（量子解析）と関係しているとある！
関連
URLﾘﾝｸ(www.kitasato-u.ac.jp)
研究のページ(随時更新中)
(抜粋)
Soliton 方程式とその変形・拡張
私と共同研究者はこのような観点から、非整数階微積分作用素をもちいた Soliton 方程式系（具体的には KP 階層という非線形方程式集団）の拡張問題を提案しているんだ。
非整数階微積分とは、歴史的に分数微積分(fractinal calculus)と呼ばれるもので、その名のとおり半端な｢階数｣の微積分で、実は非常に古い研究の歴史を持っている。
ちょっと前に｢ファインマンさん最後の授業 (by Leonard Mlodinow)｣を読んでたら、Feynman もそれを自力で発見したと書いてあった。 それから工学系の流体力学などでは、それと意識せずに日常的にこの演算を使っているようだ。
さて、では分数微分が普通の微分と一番違う点はなんだろう。それは、一般に分数微積分演算というのは、「被微分関数｣に対する積分変換である、という点だ。 つまり、普通の微分は解析関数のある１点だけの情報で決まるのに対して、分数微分は本質的に関数の非局所的な性質を反映している、ということだ。
場の理論、重力、その周辺
実はこの題材が一番古かったりする。 よく知られているように、量子場の理論と重力場の折り合いは非常に悪いんだけど、現実に重力が存在する以上は、ちゃんとした理論とその記述法があるはず。
趣味的な観点からは、種々の Blackhole 時空、特異点を持つ時空の構造に興味がある。 特に Blackhole Entropy の導出とその起源は、熱・統計力学と一般相対論の接点でもあり、激しく興味をそそられる。 一般に、関係なさそうな分野同士の接点には、財宝が埋まっているような気がするんだけど。 このあたりにも新たなアイデア・ﾅ参入を模索中。
という感じです。 以下は業績リストです。
(April 2004 改訂)
URLﾘﾝｸ(ja.wikipedia.org)
q-類似（きゅうるいじ、英: q-analog, q-analogue）とは、理論に q → 1 の極限で、元の理論に一致するように径数 q を導入するような拡張のことをいう。q-拡張（英: q-extension）などとも呼ばれる。
582:現代数学の系譜11 ガロア理論を読む
16/12/23 11:45:29.28 5O/87XDw.net
>>527
Δq= r-r = ｏ ＝(0,0,0,・・・・) 以外が導けるのか？
意味わからん
583:現代数学の系譜11 ガロア理論を読む
16/12/23 11:46:46.24 5O/87XDw.net
>>530 訂正
>>528
Δq= r-r = ｏ ＝(0,0,0,・・・・) 以外が導けるのか？
意味わからん
584:現代数学の系譜11 ガロア理論を読む
16/12/23 11:50:16.94 5O/87XDw.net
>>529 関連
URLﾘﾝｸ(www.kitasato-u.ac.jp)
中村 厚のページ
自己紹介
所属： 北里大学 理学部物理学科 非線形物理学講座
Phone & Fax: 042-778-9956
研究室所在地 : 〒252-0373 神奈川県相模原市北里 1-15-1
研究分野: 素粒子論、数理物理学、特に可積分系
585:現代数学の系譜11 ガロア理論を読む
16/12/23 12:00:19.28 5O/87XDw.net
>>519
>P20 2.2.3 に、”Tsallisの非加法的エントロピ－”が出てきて、それが、q-解析（量子解析）と関係しているとある！
昔、神保 道夫先生の量子群 q変形(q-analog)の記事を読んだときに、「量子群」は単なる命名で、本当に量子力学と関連してくるとは見ていなかったけど・・
こんなに物理の最先端と関係してくるとは予想外だ
URLﾘﾝｸ(ja.wikipedia.org)
神保 道夫（じんぼう みちお、1951年11月28日 - ）は日本の数学者。立教大学理学部教授。
経歴
佐藤幹夫の弟子で、佐藤の代数解析学を数理物理学に応用。特に可解格子模型、可積分系で多くの業績がある。言語学者の神保格の孫にあたる。
可解格子模型の研究、ヤン・バクスター方程式の代数解析的研究から、ドリンフェルドとは独立に量子群 （カッツ・ムーディ リー代数の普遍包絡環のq変形(q-analog)したもの） を構成した。
三輪哲二と多くの共同研究を発表しており、三輪-神保の τ -関数の構成、XXZ模型に関する貢献、パンルヴェ方程式の可解格子模型の相関函数への応用、楕円型量子群の構成、共形場理論、qKZ方程式、KdV方程式等において業績がある。
学歴
1974年 - 東京大学卒業
1976年 - 京都大学大学院修士課程修了
1986年 - 京都大学論文博士
受賞・講演歴
1987年 - 日本数学会秋季賞：数理物理学に関する代数解析学的研究 （三輪哲二と共同受賞）
1990年 - ICM（京都）招待講演
1993年 - 日本学士院日本学士院研究賞：可解模型と量子群の研究
2000年 - 朝日新聞社朝日賞：可積分系の代数解析的研究 （三輪哲二と共同受賞）
2013年 - ハイネマン賞数理物理学部門：量子群・代数解析学・変形理論を用いた、可積分系と統計物理学・場の理論における相関関数の発展に対する深い研究 （三輪哲二と共同受賞）
586:１３２人目の素数さん
16/12/23 12:12:46.30 Ue9wXM6X.net
>>531
> Δq= r-r = ｏ ＝(0,0,0,・・・・) 以外が導けるのか？
だったら数列が同じ類に属するということを条件にして
> r'-r = (s'1-s1，s'2-s2，s'3-s3 ，・・・，s'n-sn ，・・・，s'm-sm ，0,0,0・・・)
> Δr= r'-r = (s'1-s1，s'2-s2，s'3-s3 ，・・・，s'n-sn ，・・・，s'm-sm )
からΔrの極限をとって無限数列を作ってもm番目までの項は極限には一切関わらないので
結局m+1番目以降は必ず全て0になるということになるでしょう
587:現代数学の系譜11 ガロア理論を読む
16/12/23 12:47:57.99 5O/87XDw.net
>>533 関連
”Quest for symmetries in quantum integrable models has led to the discovery of quantum groups.
On one hand this opened up rapid mathematical developments in representation theory, combinatorics and other fields.
On the other hand it has advanced understanding of correlation functions of lattice models, leading to multiple integral formulas in integrable spin chains. ”か
詳しいLecture資料がないのが残念だね
URLﾘﾝｸ(meetings.aps.org)
Bulletin of the American Physical Society
APS March Meeting 2013
Volume 58, Number 1
Monday?Friday, March 18?22, 2013; Baltimore, Maryland
Session F1: Invited
588:Session: Physics from the Laboratory to the Universe: Davisson-Germer/Heineman/Onsager/Lilienfeld Prizes 8:00 AM?11:00 AM, Tuesday, March 19, 2013 Room: Ballroom I Sponsoring Units: DCMP GSNP Chair: Barbara Jones, International Business Machines Abstract ID: BAPS.2013.MAR.F1.4 Abstract: F1.00004 : Dannie Heineman Prize for Mathematical Physics Prize Lecture: Correlation Functions in Integrable Models II: The Role of Quantum Affine Symmetry 9:48 AM?10:24 AM Author: Michio Jimbo (Rikkyo University) Since the beginning of 1980s, hidden infinite dimensional symmetries have emerged as the origin of integrability: first in soliton theory and then in conformal field theory. Quest for symmetries in quantum integrable models has led to the discovery of quantum groups. On one hand this opened up rapid mathematical developments in representation theory, combinatorics and other fields. On the other hand it has advanced understanding of correlation functions of lattice models, leading to multiple integral formulas in integrable spin chains. We shall review these developments which continue up to the present time.
589:現代数学の系譜11 ガロア理論を読む
16/12/23 12:51:02.99 5O/87XDw.net
>>534
>>526より
"「Δq= r-r = (0, 0, 0, ... , 0, s'(m+1)-s(m+1), s'(m+2)-s(m+2), ... )」って・・・
なにそれ？
誤植か？ 訂正する気はあるのか？"
まず、これに答えよ。 Y or N
590:１３２人目の素数さん
16/12/23 13:02:00.21 tuUxp9X2.net
>>518
What you said is different from what ID:YMoiYfRu did. Why do you agree with him nevertheless? I don't get what do you think.
591:１３２人目の素数さん
16/12/23 13:06:09.99 Ue9wXM6X.net
>>536
N
>>524にそのまま
> (同じ類に属する)同じ数列の差からm+1番号目以降の0をカットしてΔqを作り極限をとって無限数列を同様に作ると
と書いてあるが何が分からないの？
592:現代数学の系譜11 ガロア理論を読む
16/12/23 13:14:40.40 5O/87XDw.net
>>535
柏原 正樹先生（文字化けご容赦）
URLﾘﾝｸ(www.jstage.jst.go.jp)
URLﾘﾝｸ(www.jstage.jst.go.jp)
量子群の結晶化 柏原 正樹 京都大学数理解析研究所 数学 Vol. 44 (1992) No. 4 P 330-342
0. 序
量子群UqはDrinfeld及び神保([D],[J］)にょって1985年に導入された.これは,
parameter qを含む非可換(ホップ)代数で, q=1においては,半単純リー環の包抱環Uqと
なる.彼らは,統計物理学における可解模型を系統的に構成する目的で,この概念を導入したが,
そこではパラメーターqは温度のパラメーターとしてあらわれ,q=0は絶対零度にあたる.従っ
てq=0においてはUqの現象は簡単化されると期待される.実際,これから述べるように
q=0においては,Uqの表現論は非常に単純化されcombinatricsと化してしまう｡
そこで以下,q=0における研究を(物質は絶対零度において結晶となるというナイーブな信念の
もとに)結晶化と呼ぼう.
結晶化により何が単純化されるかを簡単に説明しよう.(詳しくは本文参照)｡
§8.結び
著者が結晶基底を導入したのと同時期にG.Lustzigがcanonica1基底の考えを発表した.結晶
基底が,絶対零度9=0における考察から端を発したのに対し,彼は,Ringe1によるquiverと
U4(③)との関係の発見に注目し, quiverに付随した代数的多様体上のconstructible sheavesの
K-群がVq(③)になり, pureかっirreducible sheafが基底をなすことを見出した.全く別の
出発点から同様の結果がえられたことは興味深い.大域結晶基底とLustzigのcanonica1基底�
593:ﾍ, (symmetric Cartan行列をもつ③ に対して)一致することが彼により証明されている. ⑤ がAffine Lie環の時は,可解模型と関連して, B(λ)がpathで表示できること,1点函数 ,が⑤ のhighest weightをもつ既約表現の指標であらわされることが知られている.これについ ては文献[7]を参照されたい.
594:現代数学の系譜11 ガロア理論を読む
16/12/23 13:18:54.00 5O/87XDw.net
>>538
わからん
r-r =ゼロ（数列の場合も含めて）
以外になりうる？
r-r = (0, 0, 0, ... , 0, s'(m+1)-s(m+1), s'(m+2)-s(m+2), ... )
s'(m+1)-s(m+1)≠0
s'(m+2)-s(m+2)≠0
だろ？ 「r-r」だよ？
誤植か？ 訂正する気はあるのか？
595:現代数学の系譜11 ガロア理論を読む
16/12/23 13:36:45.42 5O/87XDw.net
>>539 関係ないが
URLﾘﾝｸ(www.jstage.jst.go.jp)
Comput. Chem. Jpn., Vol. 14, No. 2, p. A11?A11 (2015) @2015 Society of Computer Chemistry, Japan
巻頭言 数理化学雑感 大学院工学系研究科 化学システム工学専攻 山下 晃一
(抜粋)
近頃， 数学と材料科学が蜜月状態であるというようなことを良く耳にする． 数学者の思考実験に材料科学
が何らかの手がかりを与えるようだ． トポロジカルに基づいて全く理論的に， 非自明相の存在が予言され，
それが実験的に検証されている． 米国物理学会でトポロジカル絶縁体・ 超伝導体に関連したセッションの多
さに驚いたのも記憶に新しい． より化学に近い材料科学では離散幾何学が活躍する． 炭素はダイヤモンド，
グラフェン， カーボンナノチューブ， フラーレンと様々な構造をとるが， 数学的には炭素原子と炭素―炭素
結合のネットワークからなる離散曲面の曲率で分類できる． カーボンナノチューブとフラーレンは非負曲率
炭素構造に対応する． 負曲率炭素構造も予言されているが， これまでそのような構造は発見もされていない
し，合成にも成功していないようだが．
こんなことを考えていたら， 若き日の数学への憧憬がよみがえってきた． シュレディンガー方程式には
愛(i)があるということで， 複素関数には結構お世話になった． 虚時間発展の経路積分法， 複素回転座標に
よる共鳴状態計算， 複素ポテンシャルによる波束の吸収， 複素古典軌道によるトンネル経路の探索,
非平衡グリーン関数法による電子輸送など． もう20年 くらい以前であるが， 量子カオスが盛んに研究されていた当
時， 多次元空間での複素古典軌道について物理の若手研究者と話していたら， それをやるなら， まずヘルマンダー
の多変数複素関数論の教科書を読破しないと， と言っていた彼は神田の古本屋で同書の日本語訳を見つけたと喜んでいた．
数年前に英語の改訂版が出版されたので， 懐かしい思いでページをめくってみたが，
つづく
596:現代数学の系譜11 ガロア理論を読む
16/12/23 13:37:12.18 5O/87XDw.net
>>541 つづき
バリアの高さに， やはり勉強は若い時にやるものだとの反省． それでも定年退職後にはチャレンジしようと
購入． 最近， 多変数複素関数論の日本の生みの親ともいえる岡潔に関する本をよく目にする． 多変数複素関
数論は数学の分野でもブームなのだろうか．2003年 ロシアの数学者ペレルマンが，100年間未解決であった
ポアンカレ予想をインターネット上で公開した論文で解決した．
2006年のフィールズ賞を拒否し， クレイ研究所の100万 ドルの賞金にも興味を示さな
かったということで， テレビでも特集が組まれペレルマンの人となりが注目された． ポアンカレ予想は純粋
に数学的問題であるが， ペレルマンの用いた解決法， リッチフロー方程式が統計力学や宇宙論で応用されて
いる． リッチフロー方程式は， 多様体のリーマン計量とリッチテンソルで与えられる非線形発展方程式であ
るが， これでブラックホールが崩壊する過程が追えるようである． リーマン計量といえば， 学生時代， 福井
謙一先生の極限反応座標に関する研究をしていたことを思い出す．
(引用終り)
597:現代数学の系譜11 ガロア理論を読む
16/12/23 13:50:42.57 5O/87XDw.net
>>541 関係ないが
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
平成27年度(第37回)数学入門公開講座テキスト(京都大学数理解析研究所，平成27年8月3日～8月6日開催
ポアンカレ予想とリッチフロー
横田巧(京都大学数理解析研究所)
概要
この公開講座では，1904 年のH. Poincare の論文に由来するポアンカレ予想
と呼ばれる幾何学の予想と，2002～03 年に発表されたG. Perelman による
その証明を扱います．ここでは，ポアンカレ予想の歴史やその解決にまつわ
るドラマよりも，Perelman の証明の数学的な部分に踏み込み，その雰囲気
が伝わるような解説を試みます．