弦理論（げんりろん、英: string theory）は、粒子を0次元の点ではなく1次元の弦として扱う理論、仮説のこと。ひも理論、ストリング理論とも呼ばれる。
概要

1970年に南部陽一郎、レオナルド・サスキンド 、ホルガー・ベック・ニールセン (Holger Bech Nielsen|en) [1]が独立に発表したハドロンに関する理論によって登場したものの、量子色力学にその座を譲った。しかし、1984年にマイケル・グリーンとジョン・シュワルツ (John Henry Schwarz) が発表した超対称性及び、カルツァ＝クライン理論を取り入れた超弦理論 (superstring theory)によって、再び表舞台に現れた。4つの基本相互作用を統一する試みとして注目されている。

最近では、超弦理論やM理論を含む広い意味で「弦理論 (string theory)」と呼ぶことも多い[2]が、ここでは超対称性を持たないボゾン弦 (bosonic string) について記述する。
歴史
弦理論以前
S行列理論

弦理論はヴェルナー・ハイゼンベルクによって1943年に始められた研究プログラムに由来している。そのプログラムはS行列理論と呼ばれ、物理法則を根本的に考えなおすものであった。この理論は、1950年代から1960年代に渡って著名な理論家たちによって支持され発展を見せたが、1970年代に評価が薄れ、1980年代に研究は途絶えた。いくつかのアイデアは根本的に間違っており、量子色力学が強い相互作用を説明する理論として取って代わったため、この理論は現在は使われていない。

1940年代までに陽子および中性子は電子のような点粒子ではないことが明らかになっていた。それら粒子の磁気モーメントはスピン-1/2 のチャージを持つ点様粒子のものとは大きく異なっていて、この違いは小さな摂動が原因と考えるには大きすぎた。それらの粒子間の相互作用は非常に強かったので、その散乱特性は点様ではなく小さな球体のような振る舞いをした。ハイゼンベルクは強い相互作用をする粒子は事実上広がりを持つ物体であると提唱し、広がりのある相対論的粒子については物理法則の適用に困難があるため、彼は時空点の観念は原子核スケールでは成立しないとすることを提案した。

しかし、時空の仮定なしに物理理論を形式化することは困難である。ハイゼンベルクは、この問題に対する解決策は実験によって計測される観測可能な量に焦点を当てることであると考えた。もしミクロな物理量を古典的な検出素子に転送できるなら、実験はミクロな量しか観測しない。異なる運動量状態の量子重ね合わせが無限大に発散する物体は安定な粒子である。

ハイゼンベルクは、時空が信頼できないときでさえ、実験と無関係に定義される運動量状態の概念は依然として機能するとした。彼が根本的であると定義した物理量は入射する粒子集団（散乱前）が反射した粒子集団（散乱後）へと変化する量子力学的な振幅（散乱振幅：反応の起こりやすさ）であり、彼はその間にどんな段階も存在しないとした。

S行列は散乱前の粒子の重ね合わせがどのように散乱後の粒子に変化するかの遷移状態を記述する。ハイゼンベルクはS行列を直接研究することで時空の構造についてはどんな仮定もしないでおくことを提案した。しかし、中間的な段階なしに一段階で遠い過去から遠い未来への遷移が起こるとき、どんな量も計算することが困難となる。場の量子論において、その中間的な段階は場のゆらぎまたは等価な仮想粒子のゆらぎである。この提案されたS行列理論では、局所的な量は一切存在しない。

ハイゼンベルクはS行列を決定するためにユニタリ作用素を用いることを提案した。このとき考えうる全ての状況において、振幅の二乗の総和は1となる。場の量子論において、基本的な相互作用が与えられると、この性質を用いて摂動級数によって順々に振幅を決定することができる。しかし、多くの場の量子論において、その振幅は高エネルギーへ急速に増加するためユニタリS行列を作ることができない。ユニタリティは散乱を決定するのに高エネルギーの振る舞いに関する余分な仮定を必要としたため、この提案はあまり注目されなかった。

ハイゼンベルクの提案は1950年代後半になって、ヘンリク・クラマースおよびラルフ・クローニッヒによって発見されたような分散関係が形式化されるべき因果律の考えを許容するということが認識されてきたことで、再び注目を浴びることになった。因果律とはすなわち、ミクロのスケールでは過去と未来の観念が明確に定義されていないとしても、未来の出来事が過去の出来事に対して影響を及ぼさないであろうという観念である。その分散関係はS行列の解析的性質であり、それらの性質はユニタリティ単独から得られる条件よりも厳しいものであった。

この方法の著名な賛同者はStanley Mandelstam (en) およびジェフリー・チュー (en) であった。Mandelstamは新しい強力な解析形式である二重分散関係を1958年に発見し、これが解決困難な強い相互作用における発展の鍵となるだろうと考えた。
くりこみ理論

ニュートン以来の質点の概念をそのまま用いて場の量子論を取り扱う場合、しばしば無限大の発散による困難を伴う。この問題に対して、朝永-シュウィンガー-ファインマンらがそれぞれ独立に、くりこみ理論によってこの発散を防ぐ技法を創出し、点粒子のままでの電磁力場の量子論的計算を可能にした。これ以後も弱い相互作用、強い相互作用にくりこみ理論を適用する数学的技法が見い出され、点粒子による表現はその後も継続されることとなった。
ハドロンの弦理論
レッジェ理論

1950年代から1960年代に渡って、強い相互作用をするかつてなく高いスピンの粒子が多く発見された。そして、それらはすべて基本粒子ではないことが明らかになった。坂田昌一らは、それらの粒子を複合粒子として理解するモデルを提唱した（坂田模型）。坂田模型は、1960年代になってマレー・ゲルマンおよびジョージ・ツワイクによるクォーク模型へと発展し、実験との矛盾が解消された。クォーク模型は、複合粒子を構成する基本粒子のチャージを分数にすること、およびそれらの基本粒子はまだ観測されていない粒子であると考えることによって完成した（坂田模型は、すでに観測されていた陽子、中性子およびラムダ粒子を基本粒子と考えていた）。一方、ジェフリー・チューのアプローチは分数チャージを導入せず、仮説上の点様の基本粒子ではなく実験的に計測可能なS-行列要素にのみ焦点を当ており、坂田模型やクォーク模型よりも主流とみなされていた。チューは、ハドロンには基本粒子はなく、お互いがその他のハドロン粒子を構成しあっていると考えていた（ブートストラップ模型）。

1958年、イタリアの若い理論家のトゥーリオ・レッジェは、ハドロンの散乱実験において、共鳴状態の静止質量の2乗とスピン角運動量との間に直線関係があることを見出した（直線レッジェ軌道）。そして、量子力学における束縛状態はこの角運動量のレッジェ軌道によって分類できることを発見した。この考えはMandelstam、Vladimir Gribov (en) およびMarcel Froissart (en) による相対論的量子力学として一般化された。このとき使用された数学的方法は、アルノルト・ゾンマーフェルトおよびKenneth Watson (en) によって十年前に発見されていた。

ジェフリー・チューおよびSteven Frautschi (en) は中間子は直線状のレッジェ軌道を作ることを認識した。レッジェ理論によれば、直線状のレッジェ軌道を持つこれらの粒子の散乱は大きな角度で指数関数的に急速に落ち込むというとても奇妙な振る舞いすることが示唆された。そして、散乱振幅がレッジェ理論の要請により漸近的な形を取るような複合粒子の理論を構築することが望まれた。大きな角度においてその相互作用の力は急速に落ち込むので、その散乱理論はいくぶん全体論的 (holistic) でなければならないと推測された。粒子が点様でない場合の散乱は、高エネルギーで大きな角度の偏差を導く。
双対共鳴模型

この種の最初の理論である双対共鳴模型は、ガブリエーレ・ヴェネツィアーノによって構築された。1968年にヴェネツィアーノが発表したこの共鳴モデルは、レッジェ軌道を説明する公式を「散乱振幅」として表現した（ヴェネツィアーノ振幅）。それにはsチャンネルとtチャンネルという二通りの記述が可能であった。しかし、その双対性の物理的な意味は不明であった。

ヴェネツィアーノは、オイラーの ベータ関数をレッジェ軌道上の粒子について4粒子散乱振幅データを記述するために使うことができるであろうと記した。ヴェネチアーノ散乱振幅は木庭二郎およびホルガー・ベック・ニールセンによってすぐにN粒子の散乱振幅に一般化された。これは現在、Miguel Virasoro (en) およびJoel A. Shapiro (en) によって閉じた弦として認識されているものに当たる。強い相互作用の双対共鳴模型は1968年から1974年までは主要な研究テーマであった。
弦理論
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfbfb;box-sizing:border-box}.mw-parser-output .ambox+link+.ambox,.mw-parser-output .ambox+link+style+.ambox,.mw-parser-output .ambox+link+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+style+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+link+.ambox{margin-top:-1px}html body.mediawiki .mw-parser-output .ambox.mbox-small-left{margin:4px 1em 4px 0;overflow:hidden;width:238px;border-collapse:collapse;font-size:88%;line-height:1.25em}.mw-parser-output .ambox-speedy{border-left:10px solid #b32424;background-color:#fee7e6}.mw-parser-output .ambox-delete{border-left:10px solid #b32424}.mw-parser-output .ambox-content{border-left:10px solid #f28500}.mw-parser-output .ambox-style{border-left:10px solid #fc3}.mw-parser-output .ambox-move{border-left:10px solid #9932cc}.mw-parser-output .ambox-protection{border-left:10px solid #a2a9b1}.mw-parser-output .ambox .mbox-text{border:none;padding:0.25em 0.5em;width:100%;font-size:90%}.mw-parser-output .ambox .mbox-image{border:none;padding:2px 0 2px 0.5em;text-align:center}.mw-parser-output .ambox .mbox-imageright{border:none;padding:2px 0.5em 2px 0;text-align:center}.mw-parser-output .ambox .mbox-empty-cell{border:none;padding:0;width:1px}.mw-parser-output .ambox .mbox-image-div{width:52px}html.client-js body.skin-minerva .mw-parser-output .mbox-text-span{margin-left:23px!important}@media(min-width:720px){.mw-parser-output .ambox{margin:0 10%}}