アルクビエレ・ドライブ
アルクビエレ・ドライブ（Alcubierre drive）は、メキシコ人の物理学者が提案した、アインシュタイン方程式の解を基にした空想的アイディアである。これによれば、もし負の質量といったようなものが存在するなら、ワープないし超光速航法が可能となる。
発表以来、それを基にした論文がたびたび発表され、物理学界の片隅で今なお議論が行われているテーマである。
アルクビエレのアイデアは、直感的に表現すると船の後方で常に小規模なビッグバンを起こしつつ船の前方で常に小規模なビッグクランチを生じさせ、光より速く船を押し流すような時空の流れを生み出そうというシンプルかつダイナミックなものであった。川にボトルシップを浮かべ、進行させたい方向とは逆である船体後方水面に投石し、流していくようなイメージである。シャクトリムシの移動イメージにも似ている。
これに対し1997年、タフツ大学のMichael J. PfenningとL. H. Fordは「時空歪曲という工程が、宇宙にある全エネルギーの100億倍のエネルギーを要すため現実ではワープは理論上、実現不可能」という趣旨の論文を発表した。光速を超えるような大きな時空の伸縮は現在知りうる物理学の範囲では、たとえ小規模でもエネルギーがかかりすぎるという結論である。
しかしアルクビエレのワープドライブは数ある超光速航法に関する論文の中でも比較的現実味があり、原案が否定され他にも様々な問題点が見つかった今に至っても改良案や応用案がたびたび議論されている。
1994年、アルクビエレは一般相対性理論の記述形式の一つである3+1形式から出発し、『スタートレック』のワープ航法をヒントにして次のような形の計量（直感的に言えばこの場合は時空の歪み方）を考案した。
ここにおいて formula_1 はワープ計量の中心の位置（すなわちワープ航宙船の位置）、 formula_2 はその中心からの距離、 formula_3 はワープ速度、 formula_4 はワープ計量の半径、 formula_5 はワープ計量の形状、 formula_6 は空間伸縮が行われているワープの壁の厚みに関する尺度を、それぞれ表している。上式は万有引力定数および光速度が formula_7 の幾何学単位系を用いて記述されている。
なお、 formula_5 の表式は閉じた因果曲線を描かない、つまりタイムマシンができてしまわないように双曲線関数が選ばれたに過ぎず、基本的には以下の条件
のように、大きな formula_6 に対して急速に変化するものであれば任意の関数でよい。
このようにして定義された計量の測地線方程式を解くと、このワープバブルが存在する時空中に静止している観測者の4元速度は次のようになる。
そしてこの計量は以下のような非常に面白い性質を持つ。静止観測者から見たこの計量を発生させるために必要なエネルギーは、上記の4元速度とアインシュタイン方程式を用いて以下のように計算される。
これはすなわち、通常のエネルギーではありえない負のエネルギー密度である。イメージしやすく換言すれば反発力的な重力を帯びたマイナスの質量である。また、表式中に formula_15 が表れていることから分かるように、これらのエネルギーは宇宙船の進行方向に対して垂直なリング上に最も多く分布する。つまり宇宙船は自分の周囲に生じさせたエキゾチック物質のリングに誘導されるように宇宙を進むことになる。
PfenningとFordは量子力学的な制限を考慮に入れつつ上記のエネルギーの数値計算を行った。Pfenning達はまず「弱いエネルギー条件の破れが大きい（大きな負のエネルギーが発生する）ほど、観測者がそれを観測する時間 (sampling time) が短くなる」というQuantum Inequality (QI) と呼ばれる条件（つまり一種の不確定性原理）からワープバブルの厚み formula_16 はきわめて薄くなるだろうと考察し、 formula_5 を次のように近似した。
この近似、およびsampling time中はワープバブルの移動速度を等速度 formula_18 とみなす近似を用いると、リーマンの曲率テンソルとsampling time の間の関係からsampling time ： formula_19 は以下のように求まる。
ここで formula_20 は formula_19 の小ささを記述するための係数である。これをQI条件に用い、いくらかの近似を行うことでワープバブルの厚み formula_16 の上限が以下のように求まる。
ここで、たとえば formula_23 とすればプランク長を formula_24 として次のようになる。
すなわち、ワープバブルの壁はきわめて薄くなければならないと予想される。厚みに関する条件がわかったので、この条件を用いて formula_25 で記述される計量のエネルギー計算が可能となる。エネルギー formula_26 の表式は formula_27 として formula_28 の場合を考えることで一般性を保持したまま単純化され、以下のようになる。
_{R-{\Delta \over 2}}r^2 \left({-1 \over \Delta} \right)^2 dr, \\
なお、 formula_29 であり、 formula_30 である。ここにバブルの厚みの条件を与え、また実用的なワープバブルとして formula_31 と仮定することにより、具体的なエネルギーは以下のようになる。
我々の住む天の川銀河の質量 formula_32 を典型的な銀河の質量とみなすと、このエネルギーは
と記述され、 formula_33 すなわち光速度で飛行するために必要なエネルギー（の絶対値）は現在観測されうる全宇宙に存在するエネルギーのformula_34倍を要すると結論付けられる。一般相対性理論的に考えて現在の宇宙でビッグバンのような過激な時空変化を生じさせたければビッグバンを遥かに超えるエネルギーが必要と言う結果である。
Pfenning達はこの計算を行った締めくくりに、もし何らかの方法でQI条件を回避しバブルの厚みを1メートルにまでできるなら太陽質量の4分の1のエネルギーで、またワープバブルの半径を原子より小さいスケール、たとえば電子1個のコンプトン波長にまで縮小すれば太陽質量の400倍程度にまで削減することが可能であろうと述べている。物理の基本法則を打ち破るかあまりに非実用的な大きさにするかしなければ実現できない（つまり不可能）というわけだ。
そこで、バブルのスケールを小さくすることに着目して必要エネルギーの削減を考案したのがChris Van Den Broeckである。彼はアルクビエレの考案した計量に以下のようなわずかな修正を加えた。
ここで formula_35 は二次微分可能な任意の関数であり、次のような条件付けが為されている。
ここでの formula_20 は非常に大きな定数であり、 formula_37 は formula_35 が作る新たなバブルの半径、 formula_39 はそのバブルの厚みである。そのバブルの外側の formula_40 を満たす領域では、これまでの議論通りのアルクビエレのワープバブル
が形成されている。ただし今回のワープバブルでは formula_4 の設定がPfenning達が仮定した近似と多少異なるので注意が必要である。 formula_35 という補正を加えた目的は、それが形成するバブルの内側の体積を大きく膨張させることにある。イメージとしては四次元ポケットを思い浮かべると非常に分かりやすいであろう。アルクビエレのワープバブルはその内側にいかなるものがあろうとも、バブルを形成する時空の歪みに大きく干渉しない限り時空ごと切り取ってスライドさせてしまうので、このようなことも可能なのである。ここで、Phenning達が計算した厚み formula_16 の条件の下で、同様のエネルギー計算を内と外それぞれのバブルについて行う。まず、上記の条件を満たす formula_44 を以下のように設定する。
今回の仮定では formula_45 と設定する。また、そのほかの数値は次のように設定する。
この formula_4 はおおよそ電子の古典半径ほどの大きさである。また、このような値を設定すると内側のバブル内の体積は半径 formula_47 まで膨張する。このとき、外側のバブルのエネルギーの表式はPfenning達の計算過程とまったく同じように導出され、数値を代入すると以下のようになる。
また、内側のバブルのエネルギーは formula_48 の値によってその符号を変える。今回の設定では formula_49 の領域、すなわちバブルの壁の内側に近い部分が正のエネルギーを持ち、それより外側の formula_50 の領域において負のエネルギーを持つ。それらのエネルギーはそれぞれ以下のようになる。
したがって、これらの総エネルギーはバブルが光速度で移動しているとしても高々太陽質量の数倍程度に抑えられる。また、これらの設定はQI条件も満たしており、計算上はまだワープバブルが実現できる可能性が残ったと言えたわけである。ただし、大きな空間の外側を絞って見かけの大きさを縮めたわけではなく極微な空間の内側を大きく広げたため、その中に入る方法は考慮されていないし、Van Den Broeckも論文内で言及しているが、これらの莫大なエネルギーをエネルギー密度として空間上に配置せねばならず、負のエネルギーの実用化が可能になったとしても果たしてそのような莫大なエネルギーの生成、集中が可能なのかと言うことには疑問が多く残っている。そしてそもそも、負のエネルギー自体がカシミール効果やダークエネルギーという形でしか物理学の領域に登場してこず、現在の見通しとして具体的に取り出すことが不可能であろうと予想されるエネルギーなのである。
Van Den Broeckが示したようにエネルギー問題は計量の表式を改良することでクリアされる可能性が残されているが、ワープはその他にも様々な問題を抱えている。
まず、ワープバブルの作成方法が明確ではない。ここまでの議論はあくまでワープに必要な計量を先に仮定してそれが現実に存在し維持されるために必要なエネルギー量とエネルギー分布を一般相対性理論を用いて算出したに過ぎず、具体的にどうすればこのような特殊な形状の時空を作成できるのかには言及されていない。
次に、このようなワープバブルは内側から操作することはできない。超光速で移動するワープバブルの外部に制御装置を配置するならばその制御装置はミンコフスキー計量中を超光速で移動することになるし、そもそもD. H. Couleが指摘するように、バブルの境界面で formula_13 なる領域を都合よく作り出すためにはまさにそのバブルの境界面から外にかけての領域に負のエネルギーを配置せねばならない。つまりアルクビエレが提案するそのままのワープバブルの原理では、エネルギー発生装置をバブル内に配置するとしても超光速状態でバブルの形状を維持するには発生させたエネルギーがバブルの外で超光速的に走らねばならず、バブルを維持できなくなってしまう。
その問題は計量の作り方を変更することで回避されるかもしれないが、その次にはRobert J. Lowが指摘するように、バブルの前面には事象の地平面のような因果的に隔絶された超曲面が形成され、いずれにせよタキオンのようなミンコフスキー計量中で超光速を実現する相互作用でなければ影響を及ぼせないという問題が待ち構えている。そこから導かれる結論として、ワープバブルの移動に先行してバブル前方の時空を書き換える一般相対性理論的な時空の変化は膨張にせよ収縮にせよ歪みの無いミンコフスキー計量を光速度で伝播する重力波によって行われるため、バブルの移動が光速を超えるとバブルの前面に時空の変化を及ぼすことができなくなり、ワープバブルを用いても加速は光速で頭打ちになってしまう。ワープする計量もまた時空を伝わる波なのだから、音波が超音速で伝わらないように波が伝播する背景の時空の伝播速度は超えられないというわけだ。
しかし、時空の変化が歪みの無い時空における光速度で伝播する場合にも、線形解析を用いる手法では外から見て光速が"速い"バブルの内部と光速が"遅い"その外部との接続が滑らかでない不連続面（衝撃波面）を生み出す可能性が残るため、バブル前面に関する考察を簡単に切って捨てるべきではないと言う指摘もあり、さらにこの部分に非線形解析や量子力学的手法を用いることでホーキング放射のようにバブル外へのトンネル効果的なしみ出しを生じさせ、超光速的なバブル作成を実現する可能性もまだ残されてはいる。また、もしかしたらこれもバブル前面の時空の接続方法を上手く取ることで解決されるかもしれない。
このようにバブル前面に関する議論はワープバブルの超光速的な移動に原理的に制限をかけてくるため、解決の困難さはエネルギー問題の比ではなく、計量の局所変化の伝播によるワープを考える上で現状最も致命的な問題である。これらの問題が指摘されて以後、Van Den Broeckはアルクビエレ・ドライブについていくぶん否定的な立場に回っている。
また、因果律的な問題も残っている。前述のようにアルクビエレが選択した計量の形は因果律が閉じないように配慮されているが、計量の作り方においては因果律が閉じるような計量の設定も計算上は制限されない。仮にもっと効率的なバブル型の計量やワームホール型などの他の超光速的移動を可能とする実用的計量が考案されたとしても、それを用いた出発点との往復経路に慣性加速などの多少の変更を加えることで因果律が閉じ、ワープ宇宙船がタイムマシンと化してしまう場合は「親殺しの問題」などの因果律を根底から覆しかねない物理学的に非常に好ましくない問題が生じてくる。もしも物理学的にタイムトラベルが実現するのであればその時はその時で現実に観測される結果に従うことになるのだが、しかし現状ではこのような因果律が混乱する事態はまず有り得ないと見られており、しかもタイムトラベルという結果を導くような計量は不安定ですぐに破壊されてしまうものが多く、ワープ計量を設計する上ではこのような結果を内包する要素は排除することが望ましい。
以上のような問題は、「エネルギーを配置してからその周りの時空変化を算出する」というアインシュタイン方程式の適正な解き方を、「このような時空を仮定すればエネルギーはこうなり因果はこうなる」と筋道だててある意味誤った方向に解いたために生じたものである。すなわちこれら種々の問題が解決されるべき保証は無く、全く筋違いのことを議論している可能性すらある。地に足が着いていない所から理論が展開されている以上、全てが誤りである可能性も常に心に留め置かねばならない。
先述のように一般相対性理論的なワープは宇宙船を取り囲む局所的な計量が進行方向へ"シフト"すれば達成されるため、そのような結論を得られるのであればアルクビエレが考案したような計量に拘る必要はない。そのようなバブル計量として、たとえばJose Natarioが発表したものがある。この計量においては前方の空間が半径方向に収縮しつつそれと直角な方向に膨張し、後方の空間が半径方向に膨張しつつそれと直角な方向に収縮する。
また、ワープバブルの考案において場の量子論を用いた新しい試みも為されている。それが2007年にRichard ObousyとGerald Cleaverによって発表された論文である。Obousy達の理論は、M理論などの一般相対性理論を高次元に拡張したカルツァ＝クライン理論の表記形式から計算されたカシミール効果から定まる真空のエネルギー formula_52 と宇宙定数 formula_53 との間の関係から、超弦理論に登場するミクロにコンパクト化された余剰次元の半径 formula_54 と宇宙定数 formula_53 との間に成立する関係を導くことが主な目的である。Obousy達の計算によると、その関係は次のようになる。
formula_56
formula_57 は余剰次元の次元数であり、 formula_58 はゼータ関数である。ここで更に宇宙膨張の尺度を与えるハッブル定数 formula_59 との関係を考察すると次のように表される。
.
つまり、余剰次元の半径を何らかのメカニズムを用いて変化させることができれば局所的にハッブル定数を変化させることが数式上は可能である。この関係から formula_54 を小さくする、すなわち余剰次元を収縮させれば膨張の尺度であるハッブル定数 formula_59 が急激に増大する、すなわち時空が膨張することが言える。逆に余剰次元を膨張させれば時空は収縮する。更にこのような膨張と収縮の関係は宇宙定数 formula_53 がゼロであっても成立することをObousy達は示している。つまり余剰次元の存在が確認され、かつ余剰次元のサイズを操作する何らかの方法が見つかれば、ワープバブル内の宇宙船はバブルの内側からバブルの運動を操作できる。
この論文で考察されているワープバブルの移動原理はアルクビエレ・ドライブと同じであるが、最も特筆すべきはそのバブル作成に要するエネルギー量である。現在予想されているハッブル定数と宇宙定数の値を用いると、光速度で膨張するワープバブル時空の持つ宇宙定数の値は formula_63 であり、宇宙船を1辺 formula_64 のキューブ状と設定するとその体積は formula_65 なので、ワープバブルの有するエネルギーは formula_66 と計算される。これを質量に換算すると木星質量ほどであり、マクロスケールのワープバブルであるにもかかわらず必要エネルギーが惑星質量の単位まで削減されていることがわかる。仮にPfenning達の設定と同じく半径 formula_47 の球体をワープさせると仮定しても、必要エネルギーは太陽質量の数倍程度である。
また、余剰次元の半径 formula_54 の縮小限界はプランク長であるので、このワープには限界スピードが存在する。 formula_54 をプランク長にまで縮小した場合の限界速度は光速度の formula_70 倍であり、この速度は宇宙全体を formula_71 秒ほどの時間で横断できる速度である。ただしその場合の必要エネルギーは formula_72 であり、これは宇宙に存在する観測可能なエネルギーよりもはるかに大きい。