What makes a causal loop consistent?

私たちの日常的な経験において、時間は一方向に流れます。すなわち、原因が結果に先立ちます。もしグラスを落とせば、それは砕けます。砕けることが落下を引き起こすわけではありません。この線形な連鎖は、惑星の運動からニューロンの発火に至るまで、私たちが物理世界について理解しているほぼすべての基礎となっています。しかし、重力の理論は（重力がどのように質量を持つ物体の周囲で時空を曲げるかを記述するものですが）、奇妙な可能性を許容しています。それは、時空の中を自分自身へとループして戻る経路です。道路が非常に急激にカーブしており、出発点に戻る前に、まだ出発したばかりであるかのように感じられる様子を想像してみてください。物理学において、これは「閉じた時間的曲線（closed timelike curve）」として知られています。もしそのような経路が存在すれば、それは因果のループを生み出し、ある出来事がそれ自身の原因となる状況を作り出します。このシナリオは、有名な「祖父のパラドックス」へとつながります。これは、旅行者が自身の誕生を防ぐために過去に遡り、その結果、その旅行自体が不可能になるという論理的な矛盾です。数十年にわたり、物理学者たちは、自然界にはこうしたループの形成を防ぐルールがあるのか、あるいは矛盾を生じさせない限りにおいてループを許容するのかについて議論してきました。

スペイン、ドイツ、オーストリア、フランスの機関の研究者チームによる新しい研究は、「何が因果のループを論理的に一貫させるのか？」という非常に具体的な問いを投げかけることで、この謎に取り組んでいます。研究者たちはタイムマシンを作ろうとしているのではなく、情報の流れが論理の法則を破ることなくループ内で移動することを可能にする数学的なルールを理解しようとしています。彼らは「論理的一貫性（logical consistency）」と呼ばれる概念に焦点を当てています。これは単に、ループに関与する人々がどのような選択をしたとしても、その結果が常に妥当で矛盾のないものでなければならないことを意味します。もしループが、メッセージが同時に「はい」であり「いいえ」でもあるような状況や、ソース（源泉）がないのにメッセージがどこからともなく現れるような状況を強いるならば、そのループは一貫性を欠いており、したがって不可能です。研究チームは、これらのループが機能するためには固定されたイベントの順序が必要なのか、それとも因果関係の順序が不定の状態でも機能し得るのかを調査しています。

研究者たちは、まずこれらのループを通じて情報がどのように移動するかを調べました。彼らは、複数の当事者がメッセージを交換し、各当事者の入力が他の者の出力に依存するというシステムを検討しました。一貫性のあるループでは、参加者が行ったあらゆる選択の組み合わせに対して、必ず正確に一つの安定した結果が導かれなければなりません。もし選択のセットが結果を導かない場合は、祖父のパラドックスのような矛盾となります。もし複数の可能な結果を導く場合は、「ブートストラップ・パラドックス」として知られる別の種類の問題、つまり情報がどこからともなく現れる現象となります。チームは、ループが「シグナリング・ループ（signaling loops）」を含まない場合に限り、一貫性を持つことを見出しました。これは極めて重要な区別です。つまり、出来事が互いに円を描いて影響を及ぼし合えないという意味ではなく、単一の情報が自身の過去を書き換えて矛盾を生じさせるような形で、円を描いて伝達（シグナリング）することはできないという意味です。循環的な因果関係（cyclic causation）は許容されますが、パラドックスを生むような循環的なシグナリングは禁止されます。

これを証明するために、チームはエージェントが行うあらゆる可能な選択をシミュレーションすることに依存しない、新しいテスト方法を開発しました。従来のメソッドでは、考えうるあらゆる介入の下でループをチェックする必要があり、それは再帰的で計算負荷の高いプロセスでした。研究者たちは、より単純で直接的なテストが存在することを示しました。彼らは、ループが発生しうるすべてのイベントのリストが「ペアごとに排他的かつ完全（pairwise exclusive and complete）」であれば、そのループは有効であることを示しました。平たく言えば、これは、あらゆる可能な入力に対して、正確に一つの出力のセットが存在し、かつ、ある当事者が同じ入力を受け取ったにもかかわらず異なる出力を生成するということが起こり得ないことを意味します。これは構造的なチェックです。つまり、起こりうる相互作用の全体的なマップを見れば、衝突を生むような形で経路が交差していないことを確認するだけで、そのループが安全かどうかを判断できるのです。この発見は重要です。なぜなら、エージェントやその選択を見るのではなく、イベント自体の構造のみに基づいて、一貫した因果ループを記述する初めての手法を提供したからです。

また、本研究は、これらのループを記述しようとした以前の理論の欠陥を修正しました。以前の考えでは、ループから一人を排除してもシステムが機能し続けるのであれば、システム全体は安全であると示唆されていました。新しい研究は、これが不完全であることを示しました。一人の人物を取り除いたときには安全に見えるシステムであっても、全員が揃ったときに初めて現れる隠れたグローバルな矛盾を含んでいる可能性があるのです。チームは、これらの隠れた矛盾を捉えるためには、すべての当事者が互いの入力を同時に制御し合うような、特定の種類のグローバルな依存関係をシステムが許容していないことを確認しなければならないことを証明しました。彼らはこの条件を二つの新しい方法で表現しました。一つは、特定のパターンの打ち消しに関連する数学的特性を用いたもの、もう一つは、イベントの排他的な性質を用いたものです。どちらの方法も、因果のループの一貫性は、エージェントがどのように振る舞うかではなく、イベントがどのように組み合わさっているかという問題であることを裏付けています。

最終的に、研究者たちは、これらの一貫したループを支配する原理は、「スペッカーの原理（Specker's principle）」として知られる規則の一形態であることを見出しました。この原理は、もし一連の問いが存在し、そのうちの任意の二つを矛盾なく答えられるのであれば、それらすべてを矛盾なく答えることができる、というものです。タイムループの文脈において、これは、もし任意の二者が一貫した結果に合意できるのであれば、グループ全体が一致した結果に合意できることを意味します。この洞察は、古典物理学と、量子力学に見られる奇妙で不定な因果秩序との間の隔たりを埋めるものです。これは、因果関係が直線的に固定されていない世界であっても、宇宙は情報がパラドックスを生じさせることなく流れるような、論理的な構造を要求していることを示唆しています。この研究はタイムトラベルが可能であることを証明するものではありませんが、そのような現象が従わなければならない厳格な論理的境界を明確にし、一貫したループがどのような姿をしているのかについて、非再帰的な定義を提供しています。