はてなキーワード: 物理学とは
群と言えば対称性みたいなの、ほんとやめるべき
ほんとそれ。
物理学科で「群とは対称性です!」という言い方で講義されたけど全然意味わからんかったわ。
ベクトル場とかテンソル場に対して「座標変換に対する変換性の違いが」とか言うのも同様。
ベクトルとかテンソルは座標系に関係なく存在するもんであって、変換性が問題になるのは適当な基底で表示した場合だけ。
「座標系に関係ない」ということが多様体(当然Lie群も多様体)の本質なんだからそこを外すのは流石にダメだろって思う。
群だって対称性とは関係なく存在していて、何か別のオブジェクトに対する群作用を考えたときに初めて対称性の話が出てくるだけなのにな。
Lie群に付随する等質空間は(よく知らんが)本質的な構造であって、それを対称性と言うんだろうけど、物理で言う「対称性」とはちょっと違うと思う。
周りの男たちは仕事や年収の話をしており、女性陣は興味津々で彼らの話を聞いている。
そして彼らが一通り話し終えると視線は俺へと集い、俺は彼らとは全く違う話をしようと決めていた。
「僕の趣味は数学です。特に、Lie群の理論に興味があります」と切り出した。
すぐに女性たちの顔が少しずつ曇り始めたのがわかった。「Lie群って聞いたことありますか?」と続ける。案の定、誰も首を縦に振らない。
「Lie群は、数学の中で非常に重要な概念で、特に微分幾何学や物理学での応用が多いんです。例えば、特殊相対性理論や量子力学でも使われているんですよ」と言うと、相手の女性は困惑した表情を浮かべた。
その表情を見る度、俺は心の中で悦に入る。
この中で俺だけが理解している高尚な知識。それを理解できない彼女たち。その優越感に酔いしれ、俺に悦楽を与える。
男の一人は貧乏ゆすりを始めた。だが構わない。俺は自分の話を続けることにした。
「具体的には、Lie群は連続対称性を持つ幾何学的構造を研究するんです」とさらに詳しく説明する。
女性の一人が不安そうに目を泳がせる。別の女性は微笑みを浮かべているが、その目に理解の色はない。
「えっと、つまりどういうことですか?」と女性の一人が勇気を振り絞るように質問してきた。
俺はニコッと笑い、「簡単に言えば、物理学での対称性の理解に重要な役割を果たしているんです。例えば、回転や平行移動といった操作を数学的に扱うことができるんですよ」と、できるだけ易しく説明を試みるがそれでも彼女たちの表情は固いままだ。
その時、俺は思う。
しかしそれでいいのだ。
俺の世界に足を踏み入れることができる人は少ない。
街コンが終わり、家に帰る途中、俺はふと考える。
俺の人生はこのままでいいのだろうか?
道中、そんな疑念はすぐに消え失せる。
といった式について、素粒子では後者が支配し、天体では前者が支配する。
近距離における強い力のために、電子は原子核に螺旋状に落ち込むが、明らかに事実と違う。
というハイゼンベルグの関係式に従う。このため、r=0となることはなくなり、問題は回避される。
多様体上の楕円型作用素の理論全体が、この物理理論に対する数学的対応物で、群の表現論も近い関係にある。
しかし特殊相対性理論を考慮に入れるとさらに難しくなる。ハイゼンベルグの公式と同様の不確定性関係が場に対して適用される必要がある。
電磁場の場合には、光子というように、新しい種類の粒子として観測される。
電子のような粒子もどうように場の量子であると再解釈されなければならない。電磁波も、量子を生成消滅できる。
数学的には、場の量子論は無限次元空間上の積分やその上の楕円型作用素と関係する。
量子力学は1/r^2に対する問題の解消のために考え出されたが、特殊相対性理論を組み込むと、この問題を自動解決するわけではないことがわかった。
といった発展をしてきたが、場の量子論と幾何学の間の関係性が認められるようになった。
では重力を考慮するとどうなるのか。一見すれば1/r^2の別な例を重力が提供しているように見える。
しかし、例えばマクスウェルの方程式は線型方程式だが、重力場に対するアインシュタインの方程式は非線形である。
また不確定性関係は重力における1/r^2を扱うには十分ではない。
物理学者は、点粒子を「弦」に置き換えることにより、量子重力の問題が克服できるのではないかと試した。
量子論の効果はプランク定数に比例するが、弦理論の効果は、弦の大きさを定めるα'という定数に比例する。
もし弦理論が正しいなら、α'という定数は、プランク定数と同じぐらい基本的定数ということになる。
ħやα'に関する変形は幾何学における新しいアイデアに関係する。ħに関する変形はよく知られているが、α'に関する変形はまだ未発展である。
これらの理論は、それぞれが重力を予言し、非可換ゲージ対称性を持ち、超対称性を持つとされる。
α'に関する変形に関連する新しい幾何学があるが、理解のために2次元の共形場理論を使うことができる。
ひとつは、ミラー対称性である。α'がゼロでない場合に同値となるような2つの時空の間の関係を表す。
まずt→∞という極限では、幾何学における古典的アイデアが良い近似となり、Xという時空が観測される。
t→-∞という極限でも同様に時空Yが観測される。
そして大きな正の値であるtと大きな負の値であるtのどこかで、古典幾何学が良い近似とはならない領域を通って補間が行われている。
α'とħが両方0でないときに起こり得ることがなんなのかについては、5つの弦理論が一つの理論の異なる極限である、と説明ができるかもしれないというのがM理論である。
自然界の法則の探索は、一般相対性理論と量子力学の発展の中で行われてきた。
相対性理論はアインシュタインの理論だが、これによれば、重力は時空の曲率から生じることになり、リーマン幾何学の枠組みで与えられる。
相対性理論においては、時空はアインシュタインの方程式に従って力学的に発展することになる。
すなわち初期条件が入力データとして与えられていたときに、時空がどのように発展していくかを決定することが物理学の問題になるわけである。
相対性理論が天体や宇宙全体の振る舞いの理解のために使われるのに対し、量子力学は原子や分子、原子を構成する粒子の理解のために用いられる。
粒子の量子論(非相対論的量子力学)は1925年までに現在の形が整えられ、関数解析や他の分野の発展に影響を与えた。
しかし量子論の深淵は場の量子論にあり、量子力学と特殊相対性理論を組み合わせようとする試みから生まれた。
場の量子論は、重力を除き、物理学の法則について人類が知っているほどんどの事柄を網羅している。
反物質理論に始まり、原子のより精密な記述、素粒子物理学の標準模型、加速器による検証が望まれている予言に至るまで、場の量子論の画期性は疑いの余地がない。
数学の中で研究されている多くの分野について、その自然な設定が場の量子論にあるような問題が研究されている。
その例が、4次元多様体のドナルドソン理論、結び目のジョーンズ多項式やその一般化、複素多様体のミラー対称性、楕円コホモロジー、アフィン・リー環、などが挙げられる。
状態ベクトルの収縮は、ユニタリ変換による時間発展という過程と露骨に矛盾しているように思える。
どのように20世紀の物理学者はこの問題に折り合いをつけていたのか。
状態ベクトルは実際に量子論的レベルでの実体を表すのではなく、観測者の心の状態を表していると主張している。
したがって、状態ベクトルの収縮という過程でのジャンプは単に観測者の知識の状態の不連続な変化の結果で、物理学的実体を持ちうるような物理学的変化ではない。
観測という過程で物理系はそれを取り巻く環境と解きほぐしようもなく絡み合うことになるという事実を利用する。
すると環境における自由度はランダムで、観測不能と考えられるため、その自由度を足し上げることによって、状態ベクトルによる記述ではなく密度行列による記述が得られる。
この密度行列が、基底に関して対角行列となる時、物理系は対角成分のうちの一つによって表される状態になり、その状態にある確率は対角成分の値によって与えられる。
状態ベクトルはユニタリ変換による時間発展をし、物理学的実体を表している。
ただし、それらの観測結果のそれぞれが観測者の意識の異なる状態と絡み合っている。
したがって、対応する異なる意識状態もまた同時に存在し、それぞれが異なる世界を体験し、異なる観測結果に遭遇することになる。
量子力学の従来の定式化は暫定的で、観測過程に意味づけをするために新しい物理理論が必要という可能性もある。
ドブロイ・ボームの枠組みや、コンシステントヒストリーの理論のような標準的な量子力学と異なるような観測結果は持たないようなものもあるが、別な枠組みによれば、少なくとも原理的には標準的な量子力学と新しい理論を区別する実験が存在すると思われる。
おそらく物理学者の大半は、これらの観点の最初の3つの観点を抱いていると言っても良いと思われる。
そうした物理学者は、量子論の形式が持つ数学的な優雅さは言うまでもなく、量子力学の予言が目を見張るような形で例外なく実験によって立証されているということが、この理論が何ら変更を必要としていないということを示す、という議論をするかもしれない。
過去10年間のディープラーニングの進歩のペースは、まさに驚異的だった。ほんの10年前、ディープラーニング・システムが単純な画像を識別することは革命的だった。今日、我々は斬新でこれまで以上に難しいテストを考え出そうとし続けているが、新しいベンチマークはどれもすぐにクラックされてしまう。以前は広く使われているベンチマークをクラックするのに数十年かかっていたが、今ではほんの数カ月に感じられる。
https://situational-awareness.ai/wp-content/uploads/2024/06/owid-test-scores-1024x723.png
ディープラーニング・システムは、多くの領域で急速に人間レベルに達し、あるいはそれを超えつつある。グラフィック データで見る我々の世界
私たちは文字通りベンチマークを使い果たしている。 逸話として、友人のダンとコリンが数年前、2020年にMMLUというベンチマークを作った。彼らは、高校生や大学生が受ける最も難しい試験に匹敵するような、時の試練に耐えるベンチマークを最終的に作りたいと考えていた。GPT-4やGeminiのようなモデルで〜90%だ。
より広く言えば、GPT-4は標準的な高校や大学の適性試験をほとんど解いている。(GPT-3.5からGPT-4までの1年間でさえ、人間の成績の中央値を大きく下回るところから、人間の成績の上位に入るところまで、しばしば到達した)
https://situational-awareness.ai/wp-content/uploads/2024/06/gpt4_exams-780x1024.png
GPT-4の標準テストのスコア。また、GPT-3.5からGPT-4への移行で、これらのテストにおける人間のパーセンタイルが大きく跳ね上がり、しばしば人間の中央値よりかなり下から人間の最上位まで到達していることにも注目してほしい。(これはGPT-3.5であり、GPT-4の1年も前にリリースされたかなり新しいモデルである。)
https://situational-awareness.ai/wp-content/uploads/2024/06/math2022-1024x273.png
灰色:2021年8月に行われた、MATHベンチマーク(高校数学コンテストの難解な数学問題)の2022年6月のパフォーマンスに関する専門家の予測。赤い星:2022年6月までの実際の最先端のパフォーマンス。ML研究者の中央値はさらに悲観的だった。
MATHベンチマーク(高校の数学コンテストで出題された難しい数学の問題集)を考えてみよう。このベンチマークが2021年に発表されたとき、最高のモデルは問題の5%しか正解できなかった。そして元の論文にはこう記されている:「さらに、このままスケーリングの傾向が続けば、単純に予算とモデルのパラメータ数を増やすだけでは、強力な数学的推論を達成することは現実的ではないことがわかった。数学的な問題解決をより牽引するためには、より広範な研究コミュニティによる新たなアルゴリズムの進歩が必要になるだろう」、つまり、MATHを解くためには根本的な新しいブレークスルーが必要だ、そう彼らは考えたのだ。ML研究者の調査では、今後数年間の進歩はごくわずかだと予測されていた。しかし、わずか1年以内(2022年半ばまで)に、最高のモデルの精度は5%から50%に向上した。
毎年毎年、懐疑論者たちは「ディープラーニングではXはできない」と主張し、すぐにその間違いが証明されてきた。過去10年間のAIから学んだ教訓があるとすれば、ディープラーニングに賭けてはいけないということだ。
現在、最も難しい未解決のベンチマークは、博士号レベルの生物学、化学、物理学の問題を集めたGPQAのようなテストである。問題の多くは私にはちんぷんかんぷんで、他の科学分野の博士でさえ、Googleで30分以上かけてやっとランダムな偶然を上回るスコアを出している。クロード3オーパスは現在60%程度であり、それに対してインドメインの博士たちは80%程度である。
https://situational-awareness.ai/wp-content/uploads/2024/06/gpqa_examples-768x1120.png
続き I.GPT-4からAGIへ:OOMを数える (4) https://anond.hatelabo.jp/20240605205024
エドワード・ウィッテンは、幾何学的なラングランズ・プログラムの一部とアイデアとの関係について「電気・磁気の二重性と幾何学的なラングランズ・プログラム」を執筆した。
ラングランズ プログラムに関する背景: 1967 年、ロバート ラングランズは、当時同研究所の教授だったアンドレ ヴェイユに17ページの手書きの手紙を書き、その中で大統一理論を提案した。それは、数論、代数幾何学、保型形式の理論における一見無関係な概念を関連付ける。読みやすくするためにヴェイユの要望で作成されたこの手紙のタイプされたコピーは、1960 年代後半から 1970 年代にかけて数学者の間で広く流通し、数学者たちは 40 年以上にわたり、ラングランズ プログラムとして総称されるその予想に取り組んできた。
弦理論やゲージ理論の双対性の背景を持つ物理学者は、カプースチンとの幾何学的ラングランズに関する論文を理解できるが、ほとんどの物理学者にとって、このトピックは詳細すぎて興味をそそるものではない。
一方で、数学者にとっては興味深いテーマだが、場の量子論や弦理論の背景には馴染みのない部分が多すぎるため、理解するのは困難(厳密に定式化するのは困難)。
短期的にどのような進歩があれば、数学者にとって幾何学的なラングランズのゲージ理論解釈が利用できるようになるのかを見極めるのは、実際には非常に難しい。
ゲージ理論とホバノフホモロジーが数学者によって認識され評価されるのを見られるだろうか。
弦理論の研究者として取り組んでいる物理理論が数論として興味深いものであることを示す多くのことがわかっている。
ここ数年、4 次元の超対称ゲージ理論とその親戚である 6 次元に取り組んでいる物理学者は、臨界レベルでの共形場理論の役割に関わるいくつかの発見を行っているため、この点を解決する時期が来たのかもしれない。
過去20年間、数学と物理学の相互作用は非常に豊かであり続けただけでなく、その多様性が発展したが、私は恥ずかしいことにほとんど理解できていない。
これは今後も続くだろう、それが続く理由は場の量子論と弦理論がどういうわけか豊かな数学的秘密を持っているからだ。
これらの秘密の一部が表面化すると、物理学者にとってはしばしば驚きとなることがよくある。
なぜなら、超弦理論を物理学として正しく理解していないから。つまり、その背後にある核となる考え方を理解していない。
数学者は場の量子論を完全に理解することができていないため、そこから得られる事柄は驚くべきものである。
したがって、生み出される物理学と数学のアイデアは長い間驚くべきものになるだろう。
1990 年代に、さまざまな弦理論が非摂動双対性によって統合されており、弦理論はある意味で本質的に量子力学的なものであることが明らかになり、より広い視野を得ることができた。
ラングランズ・プログラムは信じられないほど広大で広範囲に及ぶ。
その最も深い側面は、ラングランズが40年近く前に始めた数論的設定に関係している。
しかし、ラングランズ・プログラムにはあらゆる種類の発現がある。
個人的に理解しようとしているのは、ラングランズ・プログラムの 「幾何学的な 」形態であり、そこではアイデアの一部が数論から幾何学の記述に変換されている。
長い間、幾何学的ラングランズ・プログラムに取り組む数学者たちは、数理物理学のアイデアを大いに利用してきた。
特に、コンフォーマル場の理論と呼ばれる分野は、物性物理学でも弦理論でも重要である。
しかし、物理学のアイデアはいつも、物理学者から見ると奇妙に見える方法でアレンジされていた。
もし物理学に基づく考え方が幾何学的ラングランズ・プログラムに関連するのであれば、幾何学的ラングランズ・プログラムを物理学者にとってより理解しやすい言葉で再定式化することは可能なはずだと思った。
ラングランズ・プログラムは広大なテーマであり、その全体像を把握できる者はほとんどいない。そして、それが最終的にどこにつながるのか、それを言うのは早すぎる。
朝食:はちみつパン、昼食なし、夕食: ごはん, 麻婆豆腐, ナス, いちごヨーグルト
今日は嵐なので家に籠もりっきりだった
そういえばヤングシェルドンのシーズン4を見終えた。人間関係をカオスとビリヤードの玉に喩えるシェルドン、様々な人間関係のトラブルに悩まされる
ヤングシェルドンを見ていた時間を別のTVシリーズを見る時間にしたいが、レンタルや購入は避けたいところ
購入するのであれば、レナードニモイがスポックだった頃のスタートレック全シリーズを大人買いするという方法もある
現状でアマプラで見ているのはこのすばだけだ。正直、日本のアニメの「原作」というやつを見たことはない
これは私だけかもしれないが、プログラミングや心理学、物理学、健康法などの書籍は理解できるのだが、文学書は読んでいても全く理解できない
そういうものを読んでも視覚的イメージが全く湧いてこないので、映像やゲームのほうが楽しめる
ただ、ゲームが楽しめるというのは高校生までの話で、最近はゲームのストーリーだけをYoutubeで見る以外にはゲームに触れることもなくなった
少し前にFF7のリメイクをSteamからDLしてプレイしたが、それをクリアしたあとはまともにゲームというものをやったことがない
マジックザギャザリングアリーナやリーグ・オブ・レジェンドなどにも手を付けたことはあるが、すぐに飽きた
というか、色々なものに楽しめなくなっているのは、投薬量が増えているからだと睨んでいる
こう、挑戦する前のワクワク感、みたいなものを以前は感じたのだが、最近はやる前から面倒臭さを感じてやめてしまうのだ
自分がやってしまったこと(例えそれがわずかなものでも)が確実に原因で起きてしまった不幸と、まったく自分に原因のない不幸とではどちらがより耐えがたいものだろうか。
前者は「あのとき自分がこうしていなかったら…」というような激しい後悔に苛まれるだろうし、後者は そのことの理不尽さの前でおのれの無力さをおもいしることだろう。
さて、その選択はとりあえず個人の手に委ねることにして、最初の問いの「不幸」を「恐怖」と置き換えてみよう。
[A]その人自身に起こるべくして起きた恐怖
と
[B]全く原因不明の恐怖
どちらがより怖いか。まあケースバイケースというか結局はその状況に立たされなければ答えは出ないだろうが話を続ける。
[A]の原因というのを、過去にはたらいた明らかに人道に反する行為、とより狭義のものとし、 それ以外を後者にいれるとすれば、一般的に「ホラー映画」と呼ばれているものはほぼ全てが後者を扱ったものだといえよう。
原因が呪いのヴィデオテープを見たということにしろ遺伝子操作に失敗して前代未聞のウィルスに感染してしまったことにしろそれらはとくに人道に反するというほどものではなく、せいぜい無根拠な禁忌を犯したという程度だ。
そして観客はその恐怖を、襲われている者に 感情移入/同化してともに味わい、それから逃れるとホッとして、それからまたそいつに襲われて……、 で最終的には原因が解き明かされるなり逃げ切るなりで幕は下りる。作る側も、いかに観客を引き込ませるかを意図して作っているし、そこで描かれる恐怖というのはあくまで襲われる側から見たものだ。
ところで、[A]の恐怖を描いた映画がいまやほとんどないのは、非のある者がこうむる恐怖を因果応報・当然のものとしてみなし逆に追いつめていく方が主人公として描かれているからである。
すなわち正当な復讐をする勧善懲悪の物語となってしまう。当然それは「恐怖= 襲われる側への感情移入により抱くもの」の図式が成り立たないのは言うまでもない。
では[A]の恐怖が恐怖映画として成立する場合とはどのようなものであるか。
それは、執行される復讐方法が観客に感情移入など到底させないほどおぞましいものであるときである。
観客を思考停止に陥れさせるほどの残酷なもの。このとき、その恐怖はまさに恐怖そのものとしてスクリーンに映し出される。
黒沢清監督作品『蛇の道』(1998年)はこのような映画である。
いや、これだけではこの作品を ひどく矮小化していることになる。
この作品の恐怖は、あるひとつの極点に立ってしまった人間がとってしまう行為の目をそむけずにはいられないような醜悪さが、これでもかこれでもかと露呈されていくことにある。
かといってそれは単に悪趣味とかたづけられるような類いのものでは断じてない。
それが、紛れもなく人間の性質によるので、恐怖を通り越してとにかく正視しがたいのだ。
それでもひとはこの映画を見るというほとんど拷問のような行為をやめようとしないのは、その恐怖の果てにも救いがあるはずだと信じているからにほかならないのだが……。
この映画での哀川はほぼ、人間の醜悪さを次々と 引き出す媒体として存在している。またその媒体としての仕事ぶりの的確さは、この世界の物理学的法則を解明していく学習塾でのもうひとつの姿とも重なり、存在論的に否定しがたいものとなるのだ。 あえて例えるならばこの作品での哀川の存在は、ルー・リードの声の響きのようだ。優しさ/慈悲深さと、 その奥にある圧倒的強度をほこる底無しの得体の知れなさ、そしてかなり強引なのにもかかわらず 抗いきれない魅惑にも似た正しさ(のようなもの)を備えている。
いや、やはりできるだけ見ないほうがよい。レンタルビデオ屋のやくざものコーナーに、絶対的「大凶」としてなにげなく陳列されているのが、 この作品の存在としてしごくふさわしいものだとおもわれる。
(2024年5月付記:リメイク版公開の報に触れ、四半世紀前にこのような文章をひっそり公開していたのを思い出したのでまたひっそりと匿名公開させていただきました。ニュアンスを変えない程度に改行等いじりましたが、死語である「ヴィデオ」」」云々の最終2行は削れませんでした。)
Xで共有された動画で塾講師の先生が「要領が悪い奴は定数を動かそうとする、変数をどうにかすべき、だからこういうところが数学を学ぶ意味だ」とか言ってんのよ
いいか、数学ってのは公理から演繹的に体系を導き出す「芸術」だ
証明法にもエレガントさってものがあるし、第一、美しくない公理体系は見向きもされない
定数ってのは物理学の話だ。物理学にはプランク定数h、光の速度c、重力定数G、という基本的な3つの定数があるが、たしかにこれらを「動かそう」という話はしない
あるいは数学にもπやeのような定数はあるが、要領の良さとは無関係であり、動かそうという話もない
しかしそれは常識レベルの話だ、「誰も神の力を持っていない」と言うようなものだからだ
線型回帰を適用したら定数項が出るかも知れないが、これは変数に依存しないというだけの話で、データが変われば動く
政治に対しては努力次第で影響を与えられるし、人間関係だってそうだろう
「努力の大きさに見合わないほど、それを動かすのが難しい」という話をしたいなら、残念ながらそれは「定数」の話ではない、むしろ現象が変数に対して持つ感度の問題である
しかし俺がいいたいのはそういうことじゃない。芸術であるはずのものを「要領の良さ」という低俗なトピックに落とし込むその感性が全く同意できないのである
例えばラングランズ・プログラムの先にあるものはなにか、と考えれば、それは驚愕的な数学の繋がりを示すことであり、陳腐とも言える「要領のいい」応用を目指したものではないだろう
要領の良さというのは、要するに経済学の話であり、数学ではない
わかったか?
大学のとき固体地球物理学をやってたんだけど、研究をするにあたって観測・測定データがとても大事。
それで、たとえば大地震が起きたとき、地元の大学がデータを収集して、全世界に公開するかというと、それはしてなかった。
火山噴火のときも、それまで集めた平常時のデータと噴火時のデータを全世界に公開すれば研究は進むけど、それも直ちにはしてなかった。
なにをするかというと、そのデータを用いて、それを収集した人が論文を書く。
それで、論文を書き尽くして「もう、このデータから書ける論文はないかな」となったところで公開する。
最初から公開した方が研究は進むけど、それだとデータを収集した普通の学者が食べていけなくなる。
指導教官に「データを公開した方が良いと思うんだけど、しょうがないですかね」と言ったら
「公開した方がいいね。データの下処理を色んな人がやってくれるんなら、その方がありがたい。そこから考察するから」
と答えた。
普通の学者がデータを公開すると、こうしたデキる学者が先に論文書いてしまうので、存在価値がピンチになってしまう。
「AIの学習ズルい」と言ってる人たちは、普通の学者の主張に近いと思う。
デキる学者はAIが真似できるようなところで勝負してないんだと思う。
そもそも普通の学者に存在価値があるのかというと、これは難しい問題。
ここがAIで置き換えられるなら、それでもいいじゃんと言う気はする。