[論文レビュー] Equivalence of relativistic causal structure and process terminality

Aleks Kissinger, Matty J. Hoban+1 more|arXiv (Cornell University)|Aug 14, 2017

Quantum Mechanics and Applications被引用数 10

ひとこと要約

この論文は、一般相対性理論における相対論的因果構造（時空事象間の前向き影響を符号化する部分順序として定義される）と、プロセスの出力を破棄すればそのプロセス自体も破棄可能であるという原理であるプロセス終端性の等価性を確立する。プロセステオリ―と図式的推論の枠組みを用いて、著者らは、この等価性が任意の理論において普遍的に成り立つことを示し、量子重力のための最小限で操作的に根拠のある基盤を提供する。

ABSTRACT

In general relativity, `causal structure' refers to the partial order on space-time points (or regions) that encodes time-like relationships. Recently, quantum information and quantum foundations saw the emergence of a `causality principle'. In the form used in this paper, which we call `process terminality', it states that when the output of a process is discarded, then the process itself may as well be discarded. While causal structure and process terminality at first seem to be entirely different notions, they become equivalent when making explicit what the partial order actually encodes, that is, that an event in the past can influence one in its future, but not vice-versa. The framework in which we establish this equivalence is that of process theories. We show how several previous results are instances of this result and comment on how this framework could provide an ideal, minimal canvas for crafting theories of quantum gravity.

研究の動機と目的

• 一般相対性理論における相対論的因果構造と量子基礎におけるプロセス終端性という、見た目には異なる2つの概念の正式な等価性を確立すること。
• プロセス終端性（すなわち、プロセスの出力を破棄すればそのプロセス自体も破棄可能）が、時空における前向き因果構造と同一の構造を符号化することを示すこと。
• この等価性が、量子的・古典的構造を事前に仮定せずに、プロセステオリ―の一般枠組み内で成り立つことの証明。
• 因果構造とプロセスレベルの原理を統合することで、量子重力理論を構築するための最小限で操作的に根拠のある基盤を提供すること。

提案手法

• プロセスが入力（下）と出力（上）を持つボックスとして表現され、合成がそれらを接続することで表されるプロセステオリ―の図式的言語を使用する。
• 因果構造を部分順序 $ x \leq y $ として定義し、$ x $ が $ y $ より因果的に先行することにより、前向き因果を符号化する。
• プロセス終端性を方程式 $ f = \text{discarding} \circ f $ として導入し、出力が破棄されればそのプロセス自体も破棄可能であることを意味する。
• 過去の事象の下方向閉包を用いて、終端性を満たす任意のプロセステオリ―は因果構造を満たし、逆に因果構造を満たす理論も終端性を満たすことを示すことにより、等価性を確立する。
• 回路を過去と未来の成分に分解する構成的手続きを用い、すべての図式において終端性が因果構造を意味することを証明する。
• 既知の結果（例えば、ノーサイニングや一般相対性）をこの枠組みで回復し、それらが一般等価性の特別な場合であることを示す。

実験結果

リサーチクエスチョン

• RQ1 プロセス終端性の原則（出力を破棄すればプロセス自体も破棄可能）が、相対論的因果構造と正式に結びつけられるか。
• RQ2 因果構造とプロセス終端性が、量子的・古典的仮定に依存せずに、操作的に等価となる一般枠組みが存在するか。
• RQ3 プロセス終端性が、操作的理論においてノーサイニング条件を意味するのか。もしそうなら、相対論的因果性とどのように関係するか。
• RQ4 この等価性を用いて、因果的およびプロセス理論的原理を統合することで、新しい量子重力理論を構築できるか。
• RQ5 この枠組みは、量子理論や相対性理論におけるノーサイニングや共変性といった既知の結果をどのように一般化するか。

主な発見

• プロセス終端性（$ f = \text{discarding} \circ f $ として表現される）は、グローバルにハイパボリックな時空において、相対論的因果構造と操作的に等価である。
• この等価性は、量子的・古典的システムを事前に仮定せずに、任意のプロセステオリ―において普遍的に成り立つ。
• この枠組みにより、ノーサイニング条件がプロセス終端性から回復され、一般原理の特別な場合として示された。
• マークロポウロウ（2000）およびコエッセとラル（2013）が研究した離散的因果構造における一般相対性も、この等価性の特殊例として回復された。
• 証明は、回路における過去の事象の下方向閉包に依拠しており、出力が破棄されるプロセスは、結果に影響を与えることなく取り除けることを示している。
• この結果により、因果的およびプロセス理論的原理を統合することで、量子重力理論を構築するための最小限で操作的に根拠のある基盤が提供された。