タイムトラベルはSFの定番テーマであると同時に、理論物理学でも長年にわたり研究されてきた問題だ。アインシュタインの一般相対性理論は重力を時空の幾何学的な歪みとして記述するが、その場の方程式の厳密解には、数学的に過去へ戻る経路を許すものが存在する。こうした経路は「閉じた時間的曲線（closed timelike curve：CTC）」と呼ばれる。未来へ進み続ける観測者が、最終的に出発時と同じ時空上の点に戻る可能性を、物理法則によってどこまで排除できるのか。この問題は、一般相対性理論における因果律の根幹に関わっている。

この問題に対し、中国の済南大学（University of Jinan）の物理学者Hongsheng Zhangが、極めて簡潔な数学的証明によって、一定の条件を満たす時空では閉じた時間的曲線が存在しないことを示した。2026年10月24日にarXivで公開されたプレプリント（arXiv:2610.33706）では、光の伝播を記述する「ヌル・アイコナール方程式（null eikonal equation）」を用い、時間的な経路が閉じたループを形成できないことを証明している。必要なのは、光的な方向と時間的な方向の関係を表す基本的な幾何学的性質だけだ。重力場の具体的な方程式や物質のエネルギー条件を持ち出す必要はない。

ただし、この研究によって、私たちの宇宙を含むあらゆる時空でタイムトラベルが不可能だと証明されたわけではない。定理が成立するには、「時空全体で定義された、一価のヌル座標が存在する」という厳密な前提が必要になる。この条件を満たさない時空については、閉じた時間的曲線の存在を否定できない。今回の研究の重要性は、時間旅行が禁止される幾何学的条件を明確にし、その条件が破綻する場合も具体的に示したことにある。

AD

閉じた時間的曲線と大域的ヌル葉層の成立条件

一般相対性理論でタイムトラベルを考える際、対象となるのは想像上のタイムマシンではなく、数学的に定義された時空上の経路だ。質量を持つ物体や観測者がたどる経路は「世界線」と呼ばれ、その接ベクトルは光速未満の運動に対応する「時間的（timelike）」な性質を持つ。閉じた時間的曲線とは、このような世界線がループを形成し、最終的に出発点と同じ時空上の点へ戻る経路を意味する。

Zhangの論文では、CTCを「未来を向いた、区分的に滑らかな閉曲線であり、接ベクトルが存在するすべての箇所で時間的であるもの」と定義している。数学的には、曲線が区分的に \(C^1\) 級であることを要求する。通常の空間内で元の場所へ戻るだけでは、閉じた時間的曲線にはならない。空間的位置だけでなく、時間座標も含めて全く同じ時空上の点に戻ることが必要だ。

今回の定理が対象とするのは、滑らかで連結な4次元ローレンツ多様体として記述される時空である。その時空全体に「大域的なヌル葉層（global null foliation）」が存在することが、証明の前提となる。具体的には、時空全体で定義された \(C^1\) 級のスカラー関数 \(u\) が存在し、その勾配がどの点でもゼロにならず、なおかつ「光的（null）」であることを仮定する。ここで光的とは、計量に基づいて計算したベクトルのノルムの2乗がゼロになる性質を指す。

スカラー関数 \(u\) が一定となる面は「ヌル超曲面」と呼ばれる。ただし、これは個々の光線の軌跡そのものではなく、光的な方向を含む3次元の超曲面だ。こうした超曲面によって時空全体を隙間なく分割できる構造が、ヌル葉層である。一般的な空間的超曲面による分割では、時間の取り方や観測者の選択が関係するが、ヌル超曲面は時空の光円錐構造に基づいて定義できる。もっとも、時空の計量がヌル葉層を常に一意に決めるわけではなく、定理が要求するのは条件を満たす葉層が少なくとも一つ存在することだ。

特に重要なのが、関数 \(u\) が「大域的に一価」でなければならないという条件である。局所的にヌル超曲面を構成できても、それらを時空全体にわたって矛盾なく接続できるとは限らない。複雑なトポロジーを持つ時空では、局所的には問題のないヌル座標が、閉じた経路を一周したときに元の値へ戻らない場合がある。Zhangの定理は、このような問題が生じず、時空全体で一つの関数として定義できるヌル座標を持つ領域に適用される。

従来、時空の因果構造を調べる際には、大域的な時間関数の存在を利用する方法が広く使われてきた。これは、あらゆる未来向きの因果的経路に沿って増加する関数を用いて、時間の順序を定義する考え方だ。特に、勾配がいたるところで時間的となる滑らかな時間関数の存在は、「安定因果性（stable causality）」と密接に結びついている。一方、Zhangの定理は時間的な勾配ではなく、光的な勾配を持つ関数を利用する。両者の条件は同一ではなく、今回の研究では、大域的ヌル座標の存在が安定因果性とは論理的に独立した条件であることも示されている。

わずか3段階の証明を支える「光的方向と時間的方向の非直交性」

Zhangが提示した証明の特徴は、複雑なテンソル計算やアインシュタインの場の方程式を必要としないことだ。証明の出発点となるのは、光的な方向が時間的な方向と直交することはできないという、ローレンツ幾何学の基本的な性質である。この性質をヌル・アイコナール方程式と組み合わせることで、閉じた時間的曲線の存在を否定できる。

計量テンソルを \(g_{ab}\)、その逆計量を \(g^{ab}\) とすると、スカラー関数 \(u\) の勾配 \(\partial_a u\) が光的である条件は、次のヌル・アイコナール方程式で表される。

\[ g^{ab}\partial_a u\partial_b u=0 \]

このとき、定理では \(\partial_a u\neq 0\) が時空全体で成立することも要求する。この条件がなければ、定数関数も方程式を満たしてしまい、因果構造に関する情報が得られないためだ。

証明の第一段階では、未来向きの時間的ベクトルを \(T^a\) とし、これが光的な勾配 \(\partial_a u\) と直交できないことを利用する。ローレンツ幾何学では、時間的ベクトルに直交するベクトルの空間は正定値の計量を持つ空間的な部分空間となる。そこには、ゼロでない光的ベクトルが含まれる余地がない。したがって、時間的ベクトルと光的勾配の縮約は、必ずゼロ以外の値を取る。

\[ T^a\partial_a u\neq 0 \]

第二段階では、この値の符号が未来向きの時間的方向に沿って一定に保たれることを示す。未来向きの時間的ベクトルの集合は連結な凸錐を形成し、\(\partial_a u\) は連続である。縮約がゼロになることはないため、その符号が正から負、あるいは負から正へ途中で切り替わることはできない。つまり、未来向きの時間的な運動に対して、関数 \(u\) の変化する方向は一貫している。

第三段階では、この性質を観測者の世界線に適用する。世界線のパラメータを \(\lambda\) とすると、関数 \(u\) の変化率は次のように書ける。

\[ \frac{du}{d\lambda}=T^a\partial_a u\neq 0 \]

この値は時間的な経路に沿って一定の符号を保つため、\(u\) は厳密に単調増加するか、厳密に単調減少する。したがって、観測者が未来へ進み続ける限り、関数 \(u\) は以前の値へ戻ることができない。

ここで、観測者の世界線が閉じた時間的曲線を形成すると仮定する。曲線が閉じているなら、始点と終点は同一の時空上の点であり、そこでの \(u\) の値も等しくなければならない。しかし、経路に沿って \(u\) が厳密に単調変化する以上、始点と終点で同じ値を取ることは不可能だ。この矛盾によって、閉じた時間的曲線が存在しないことが証明される。

重要なのは、この議論に物質のエネルギー密度や重力場の具体的な性質が一切登場しないことだ。エネルギーが正であることを要求する条件も、時空の測地線的完全性やコンパクト性に関する仮定も必要ない。必要なのは、ヌル・アイコナール方程式を満たす大域的な関数が存在することと、ローレンツ計量が持つ基本的な方向関係だけである。

この点で、Zhangの基準は、Stephen Hawkingらによって発展してきた時間関数に基づく因果性の判定方法とは異なる。時間関数を利用する従来の定理では、安定因果性と結びつく時間的な勾配が重要になるが、今回の方法では光的な勾配で十分だ。例えば、光的方向を円周状に同一視した時空には閉じた光的曲線が存在し得るが、それでも別の大域的ヌル座標が存在すれば、閉じた時間的曲線は排除される。このような時空は安定因果性を満たさないため、今回の基準が従来の時間関数による判定とは異なる範囲を扱えることが分かる。

ただし、この定理が禁止するのは閉じた時間的曲線であり、閉じた光的曲線まで排除するわけではない。 光的な経路では、その接ベクトルがヌル葉層に沿う方向と一致すると、\(u\) の変化率がゼロになる場合がある。そのため、光的な曲線が一つの葉の内部で閉じる可能性は残される。この区別は、閉じた時間的曲線の不存在と、より強い因果性の条件を混同しないために重要だ。

AD

定理が適用される時空：クント時空からロビンソン・トラウトマン時空まで

今回の定理の価値は、一般相対性理論で知られる具体的な時空モデルにも適用できる点にある。相対論的な時空では、光的測地線束（null congruence）の性質を、膨張（expansion）、剪断（shear）、ねじれ（twist）という3つの光学的な量で特徴づける。これらは光線の集まりが広がる様子、形を変える様子、回転する様子を、それぞれ幾何学的に表すものだ。ただし、これらの量は時空そのものではなく、選択した測地線束に対して定義される。

Zhangが定理の主な適用例として挙げるのが、「クント時空（Kundt spacetimes）」と「ロビンソン・トラウトマン時空（Robinson–Trautman spacetimes）」である。両者はいずれも、ねじれを持たない光的測地線束を特徴とする時空の分類だ。対応するヌル座標 \(u\) が対象領域全体で大域的に一価であれば、今回の定理によって閉じた時間的曲線の存在を排除できる。個々の解について時間的曲線を追跡しなくても、ヌル座標の存在を確認するだけで判定できることになる。

クント時空の特徴は、対応する光的測地線束の膨張、剪断、ねじれがすべてゼロとなることだ。この時空には、重力波の回転に関わる成分を表す「回転1形式 \(W\)」を含むものもある。しかし、回転1形式が存在するからといって、光的測地線束そのものにねじれが生じるわけではない。Zhangは、回転1形式の値にかかわらずヌル葉層が維持されることを示し、大域的ヌル座標が成立する領域ではCTCが存在しないと結論づけた。

この結果は、回転する重力波の性質を記述するジャイラトン（gyraton）型の解にも関係する。波が角運動量を運んでいても、それだけで光的測地線束にねじれが生じるとは限らない。光的測地線束のねじれがゼロであり、ヌル座標が大域的に定義できるなら、回転に関わる成分の存在は定理の成立を妨げない。一般的な意味での回転と、光的測地線束の幾何学的なねじれを区別する必要がある。

一方、ロビンソン・トラウトマン時空は、光的測地線束が膨張する一方で、剪断とねじれがゼロとなる時空の分類だ。クント時空とは異なり光線の集まりが広がるが、ヌル座標が大域的に一価であれば、やはりCTCは排除される。さらにZhangは、膨張と剪断がともにゼロでない別の計量についても、同じ結論が成立する例を示した。つまり、膨張や剪断の大きさ自体は、大域的ヌル座標が存在する時空で時間ループを発生させる要因にはならない。

この結論は、宇宙項 \(\Lambda\) の値にも依存しない。宇宙項が正、ゼロ、負のいずれであっても、対象となる計量がヌル・アイコナール条件を満たす限り、定理の結論は変わらない。これは宇宙項が時空の形状に影響しないという意味ではなく、その値が変わっても大域的ヌル座標の存在が保たれるなら、CTCは形成されないという意味だ。

身近な理論的例としては、非回転ブラックホールを記述するシュワルツシルト（Schwarzschild）時空がある。事象の地平面の外側では、エディントン・フィンケルシュタイン座標系の遅延ヌル座標 \(u=t-r^*\) を用いることができる。ここで \(r^*\) はトータス座標と呼ばれる動径座標の変換だ。このヌル座標は外部領域で大域的に定義できるため、今回の定理は、シュワルツシルトブラックホールの外側にCTCが存在しないという既知の結果とも整合する。

ただし、これらの結論は、あくまで対象とする時空領域に関するものだ。例えば、ロビンソン・トラウトマン時空の局所的な座標領域で定理が成立しても、その拡張時空全体について同じ結論が自動的に成り立つわけではない。また、これらは一般相対性理論の数学的な時空モデルについての結果であり、天文学的な観測や実験によって新たに確認された現象ではない。今回の研究は、重力波や放射を記述する解の族に対して、どのような幾何学的条件が時間ループの形成を妨げるのかを明確にしたものだ。

時空モデル・分類 主な幾何学的特徴 定理から導かれる結論 適用上の注意点
クント時空（Kundt） 光的測地線束の膨張・剪断・ねじれがゼロ。回転1形式 \(W\) を含む場合がある 大域的に一価のヌル座標が存在する領域ではCTCを排除できる 回転1形式と測地線束のねじれは異なる
ロビンソン・トラウトマン時空 膨張あり、剪断・ねじれはゼロ ヌル座標が大域的に一価となる領域ではCTCを排除できる 結論は対象領域に限られ、拡張時空全体には自動的に適用できない
シュワルツシルト外部時空 静的・球対称。遅延ヌル座標 \(u=t-r^*\) が定義できる 事象の地平面の外側にCTCは存在しない 地平面の内側や特異点近傍をこの座標によって直接判定するものではない
カー時空（Kerr） 主光的測地線束にゼロでないねじれが存在する 主光的測地線束からは定理に必要なヌル葉層を構築できない 主光的測地線束のねじれだけでは別のヌル座標の存在を否定できない。CTCを含む時空全体では大域的一価のヌル座標は存在し得ない
ゲーデル時空（Gödel） 回転宇宙モデルで、物質の流れにゼロでない渦度がある 既知のCTCの存在から、時空全体を覆う一価のヌル座標は存在し得ない 物質の渦度と光的測地線束のねじれは区別が必要。現実の宇宙を表すモデルとは限らない

時間ループの可能性を残す「二つの逃げ道」と定理の限界

今回の定理を理解するうえで重要なのは、どの条件でCTCが禁止されるのかだけでなく、その条件が成立しなくなる場合を把握することだ。Zhangは、論文で扱う時空の範囲において、定理の適用を妨げる主要な仕組みを二つに分類している。一つは光的測地線束の「ねじれ」、もう一つはヌル座標の「大域的一価性の破綻」である。ただし、これらは定理の成立条件を満たせなくなる理由であり、それだけで時間旅行が可能になることを意味するわけではない。

第一の仕組みは、光的測地線束がゼロでないねじれを持つ場合だ。フロベニウスの定理（Frobenius' theorem）によれば、ベクトル場に直交する超曲面を局所的に構成できるかどうかは、そのベクトル場が満たす可積分条件によって決まる。光的測地線束の場合、ねじれがゼロであれば、その束に直交するヌル超曲面を局所的に構成できる。一方、ねじれがゼロでなければ、その測地線束に直交するヌル葉層を作ることはできない。

ただし、ここで重要なのは、ねじれが問題になるのは特定の光的測地線束についてだという点である。ある測地線束にねじれが存在しても、時空内の別の光的方向からヌル葉層を構築できる可能性まで否定されるわけではない。定理を適用するには、少なくとも一つの大域的ヌル座標が存在すればよい。そのため、特定の測地線束にねじれがあることと、時空全体で定理の前提が成立しないことは、厳密に区別する必要がある。

第二の仕組みは、時空のトポロジーによってヌル座標の一価性が失われる場合だ。局所的にはヌル・アイコナール方程式を満たす座標が存在しても、時空の一部が円周状に同一視されていると、その座標が時空全体で一つの実数値関数として定義できないことがある。例えば、ヌル方向に沿って一周すると、幾何学的には元の点へ戻るにもかかわらず、座標値には周期に相当するずれが生じる場合だ。このような構造では、証明の前提である大域的で一価の \(u\) が成立しない。

その代表例がミスナー（Misner）空間である。ミスナー空間では、局所的な幾何学が正則であっても、ヌル方向のコンパクト化によって因果構造が変化する。特定の領域では、周期的に同一視された方向が時間的となり、閉じた時間的曲線が形成される。ただし、ヌル方向を周期的に同一視すれば必ずCTCが生じるわけではない。別の非コンパクトな大域的ヌル座標が残っていれば、今回の定理によってCTCが排除される場合もある。

Zhangは、こうしたトポロジーに起因する仕組みを、OriのタイムマシンやAhmedによる一連の時空解にも適用して分析している。これらのモデルでは、周期的に同一視された方向が時間的になることが、CTCの形成と結びついている。宇宙項や膨張、剪断といった量が変わっても、時間ループの成立を直接左右するのは、コンパクト化された方向の因果的性質だという。ただし、これは研究で検討された特定の解に関する分析であり、あらゆる時空モデルに一般化できるわけではない。

なお、ねじれと大域的一価性という二つの分類にも適用範囲がある。論文では、そもそも時空全体でゼロにならない光的方向場が存在しないという、第三の論理的可能性にも言及している。ただし、研究で具体的に扱った時空領域では、この問題は生じないとしている。したがって、二つの逃げ道は論文の対象とする時空の範囲での分類であり、あらゆるローレンツ多様体について前提の破綻を完全に網羅したものではない。

こうした違いを示す重要な例が、自転するブラックホールを記述するカー（Kerr）時空だ。カー時空の主光的測地線束はゼロでないねじれを持つため、その測地線束に直交するヌル葉層は構築できない。また、カー時空を数学的に拡張した解では、リング状特異点の近傍にCTCが存在することが知られている。この既知の事実と今回の定理を組み合わせると、CTCを含むカー時空全体を覆うような、大域的に一価のヌル座標は存在し得ないことが分かる。

ただし、カー時空にCTCが存在するという数学的事実は、現実のブラックホールを使って安全に過去へ移動できることを意味しない。問題となる領域はブラックホールの内部にあり、特異点近傍の幾何学を現実の物理過程としてどのように解釈すべきかも明らかではない。また、宇宙全体が回転するゲーデル（Gödel）時空でもCTCの存在が知られているが、こちらも現実の宇宙がそのような構造を持つ証拠にはならない。今回の研究が扱うのは、あくまで一般相対性理論の数学的な解における因果構造だ。

今後の研究対象として、ZhangはハウザーのタイプN解（Hauser's twisting type-N solution）を挙げている。これは、膨張とねじれを持つ光的測地線束を備えた真空解として知られ、今回の定理を直接適用できない時空の一つだ。この解に閉じた時間的曲線が存在するかどうかは、著者の知る限り未解決の問題だという。ねじれがある場合に本当に因果律が破綻するのか、あるいは別の幾何学的条件によってCTCが排除されるのかは、今後の検討が必要となる。

本研究は2026年10月24日にプレプリントとして公開されたものであり、学術誌による査読を経た成果ではない。また、提示されたのは特定の幾何学的条件のもとでCTCが存在しないことを示す定理であり、自然界で時間旅行が可能かどうかを直接判定するものではない。現実の宇宙でCTCを許す時空構造が形成され得るのか、量子重力効果などによってその形成が阻止されるのかといった問題は、依然として未解決である。

今回の研究が示したのは、時間旅行を禁止する条件の一つが、重力場の具体的な性質や物質のエネルギーではなく、時空の基本的な幾何学から導かれるということだ。大域的に一価のヌル座標が存在する限り、時間的な経路は元の時空上の点へ戻れない。一方、その条件が成立しない場合にCTCが実際に形成されるかどうかは、別途検証しなければならない。わずか数段階の証明によって、時間旅行が数学的に禁止される領域と、なお検討の余地が残る領域との境界が、より明確になった。