「固有値問題」を含む日記 RSS

はてなキーワード: 固有値問題とは

2026-03-14

anond:20260314163414

科学世界では「理論があるならすぐ観測できるはず」という発想は成り立たない。自然界は人間実験装置の都合に合わせてくれないからだ。

素粒子が本当に弦なのかを直接見るには、弦の長さスケールまでエネルギーを上げる必要がある。弦理論典型的に出てくる長さはプランク長、約 10^{-35} メートル。このスケールを分解するにはプランクエネルギー必要になる。

プランクエネルギーはだいたい 10^{19} GeV。

Large Hadron Colliderの衝突エネルギーは約 10^{4} GeV。

差は15桁。

これは「もう少し頑張れば届く」という距離ではない。だから研究者は別の方法を探す。間接的証拠だ。

例えば

こういう観測可能兆候を探す。

次に「十次元なんて観測できないじゃん」という話。

ここも誤解がある。

余剰次元普通、非常に小さくコンパクト化していると仮定される。

もしそのサイズプランクスケールなら、今の実験では当然見えない。

 

ここまでは単に「技術的に難しい」という話。

次の質問。「なんで弦の振動が違うと粒子が違うの?」

これはむしろ理論の一番シンプルな部分だ。

弦は量子化すると振動モードを持つ。

弦のエネルギー固有状態は離散スペクトルになり、それぞれが質量スピンの異なる粒子として見える。

量子化した結果、ある振動モードスピン1粒子、別のモードスピン2粒子になる。

このスピン2状態重力子として現れる。

まり「弦が振動する」というのは詩的表現ではなく、量子場のスペクトル問題だ。固有値問題の解が粒子の一覧になる。

理論最初から宇宙は弦だ」と決めて作られたわけではない。もともとは強い相互作用の散乱振幅を説明する数式から出てきた。ところがその数式を量子化すると、なぜか重力子が出てきた。

まり研究者の反応は「宇宙は弦だ!」ではなく、むしろ「なんでこんな構造から重力が出てくるんだ?」という驚きだった。

最初数学の奇妙な構造として現れ、あとから自然界と関係している可能性が見つかる。

実際、似た歴史はいくらでもある。反物質方程式から予言されてから数年後に見つかった。重力波は理論から100年後に観測された。

宇宙はだいたい次の順番で姿を見せる。

1. 数式が妙な予言をする

2. 物理学者半信半疑計算を続ける

3. 数十年後に観測装置が追いつく

今の弦理論は、だいたいステップ2の真ん中あたりにいる。人類実験能力が、宇宙の最小スケールにまだ届いていないだけだ。

2007-12-09

大学院まできましたが、学部の「アルゴリズムデータ構造」で習ったようなテクニックを

使用するような問題にとんと出会わないのだが、一体どういう時に使用することになるはずだったのだろう。

研究で使用しているアルゴリズムといったらむしろ論文上の数式そのものであって、

固有値問題だ、ラグランジュの未定乗数法だ、のような問題であって、

リンクリストだ、サラリーマンセールス問題だ、というようなものは特にみかけないのだが。

うーん、なんだったんだろう。

スタックとかO(n)記法ぐらいなら当たり前の知識として使っているとは思うけど、

ダイナミックプログラミングでさえ使った覚えがない。

 
ログイン ユーザー登録
ようこそ ゲスト さん