[논문 리뷰] Equivalence of relativistic causal structure and process terminality

Aleks Kissinger, Matty J. Hoban외 1명|arXiv (Cornell University)|2017. 08. 14.

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.

연구 동기 및 목표

• 일반 상대성 이론에서의 상대론적 인과적 구조와 양자 기초 이론에서의 프로세스 종결성이라는 두 개의 상당히 다를 것 같아 보이는 개념 간의 공식적 등가성을 확립하는 것.
• 프로세스의 출력을 폐기하면 그 프로세스 자체도 폐기될 수 있다는 프로세스 종결성 원리가 시공간 내 전진 인과성과 같은 인과적 구조를 담고 있음을 보여주는 것.
• 이 등가성이 양자 또는 고전적 구조를 사전에 가정하지 않은 프로세스 이론의 일반적 프레임워크 내에서 성립함을 보여주는 것.
• 인과적 구조와 프로세스 수준 원리들을 통합하여, 작동 기반의 최소한의 기초를 제공함으로써 양자 중력 이론을 구성하는 데에 사용할 수 있는 기초를 마련하는 것.

제안 방법

• 입력(아래)과 출력(위)을 가진 상자로 표현되는 프로세스를 다루는 과정 이론의 다이어그램적 언어를 사용한다. 구성은 이를 연결하는 방식으로 표현된다.
• 인과적 구조를 부분 순서 $ x \leq y $ 로 정의하며, 여기서 $ x $ 는 $ y $ 를 인과적으로 앞선다. 이는 전진 인과성을 담고 있다.
• 프로세스 종결성을 $ f = \text{폐기} \circ f $ 라는 식으로 도입한다. 이는 프로세스의 출력이 폐기되면 그 프로세스 자체도 폐기될 수 있음을 의미한다.
• 과거 사건들의 내림차순 닫힘을 통해, 종결성 원칙을 만족하는 모든 과정 이론이 반드시 인과적 구조를 만족하고, 그 반대도 마찬가지로 성립함을 보여, 등가성을 확립한다.
• 회로를 과거와 미래 성분으로 분해하는 구축적 절차를 사용하여, 모든 다이어그램에서 종결성이 인과적 구조를 암시함을 증명한다.
• 이 프레임워크를 적용하여 기존의 결과들인 무신호 조건과 일반화된 좌표 불변성 등을 복원함으로써, 이들이 일반 등가성의 특수한 경우임을 보여준다.

실험 결과

연구 질문

• RQ1 프로세스의 출력을 폐기하면 그 프로세스 자체도 폐기될 수 있다는 프로세스 종결성 원리가 상대론적 인과적 구조와 공식적으로 연결될 수 있는가?
• RQ2 양자 또는 고전적 가정 없이도 인과적 구조와 프로세스 종결성이 작동적으로 등가가 되는 일반적 프레임워크가 존재하는가?
• RQ3 프로세스 종결성이 작동 이론에서 무신호 조건을 암시하는가? 만약 그렇다면, 이는 상대론적 인과성과 어떻게 관련되어 있는가?
• RQ4 이 등가성을 이용하여 인과적 원리와 프로세스 이론적 원리를 통합함으로써 새로운 양자 중력 이론을 구성할 수 있는가?
• RQ5 이 프레임워크는 무신호 조건과 양자 및 상대론적 이론에서의 좌표 불변성과 같은 기존 결과들을 어떻게 일반화하는가?

주요 결과

• 프로세스 종결성은 $ f = \text{폐기} \circ f $ 로 표현되며, 이는 전역적으로 하이퍼볼릭인 시공간에서 상대론적 인과적 구조와 작동적으로 등가이다.
• 이 등가성은 양자 또는 고전적 시스템에 대한 사전 가정 없이도 임의의 프로세스 이론 전반에 대해 일반적으로 성립한다.
• 이 프레임워크는 프로세스 종결성에서 무신호 조건을 복원하며, 이는 일반 원리의 특수한 경우로 나타난다.
• 마르코풀로(2000)와 코에체 및 라울(2013)에서 연구된 이산 인과적 구조에서의 일반화된 좌표 불변성 역시 이 등가성의 한 예로 복원된다.
• 증명은 회로 내 과거 사건들의 내림차순 닫힘에 기반하며, 출력이 폐기되는 모든 프로세스는 결과에 영향을 주지 않고 제거될 수 있음을 보여준다.
• 결과적으로 이는 인과적 원리와 프로세스 이론적 원리를 통합함으로써, 최소한의 작동 기반의 기초를 제공함으로써 양자 중력 이론을 구성하는 데에 사용할 수 있는 기초를 마련한다.