인과 범주와 상대론적 상호작용 과정

초록

이 논문은 대칭 모노이달 범주(SMC)를 기반으로 고정된 인과 구조를 그래픽 연결성으로 표현하는 ‘인과 범주(causal category)’를 정의한다. 상관관계가 존재하면 텐서 단위 객체가 터미널이 되고, 전역 상태의 일관성을 위해 텐서곱이 부분적으로만 정의되어야 함을 보이며, 이를 통해 상대론적 공변성 정리를 도출한다. 인과 범주의 구성 방법과 기존 카테고리 양자역학(CQM)과의 관계도 탐구한다.

상세 분석

논문은 먼저 물리학에서 시스템과 과정, 그리고 이들의 순차·동시 결합을 자연스럽게 기술하는 수학적 틀로서 대칭 모노이달 범주(SMC)를 소개한다. 그래픽 언어에서는 와이어가 시스템을, 박스가 과정을 나타내며, 순차 합성(∘)은 시간적 흐름, 텐서 합성(⊗)은 공간적 분리를 의미한다. 저자는 이러한 시각적 연결성을 ‘인과 연결성’으로 공식화하고, 인과 구조를 고정된 그래프 형태로 부여한다.

핵심 결과는 두 가지이다. 첫째, 어떤 두 시스템 사이에 상관관계(고전적이든 양자적이든)가 존재하면 텐서 단위 객체 I는 ‘터미널 객체’가 된다. 즉, 모든 과정 f : A→I는 고유하며, 이는 “상관관계에 의한 신호 전달이 불가능함”을 수학적으로 표현한다. 둘째, 전역 상태(모든 시스템을 동시에 기술하는 상태)의 정의가 일관되려면 텐서곱 ⊗가 전역적으로 정의될 수 없고, 특정 쌍의 객체에만 부분적으로 정의되어야 한다. 이 부분적 정의는 인과 구조에 따라 가능한 복합 시스템이 제한됨을 의미하며, 결과적으로 ‘상대론적 공변성 정리’를 얻는다. 즉, 인과 구조가 변해도 전역 상태는 동일한 형태를 유지한다.

이러한 두 성질을 만족하는 구조를 ‘인과 범주(causal category, caucat)’라 명명한다. 인과 범주는 일반적인 SMC와 달리 텐서 단위가 터미널이며, ⊗가 부분적으로만 정의되는 제약을 가진다. 저자는 인과 범주의 정의를 정형화하고, 기존의 dagger compact category와의 관계를 분석한다. 특히 dagger 구조와의 호환성 문제를 제시하며, 인과 범주에서는 일부 dagger 연산이 파괴될 수 있음을 보인다.

구성 방법으로는 (1) 기존 SMC를 ‘정규화(normalizing)’하여 텐서 단위가 터미널이 되도록 변형하고, (2) 인과 구조(causet)를 이용해 객체와 과정의 가능한 연결을 ‘조각(cutting)’하는 ‘carving’ 기법을 제시한다. 또한, 주어진 인과 집합과 SMC로부터 직접 인과 범주를 만드는 구체적 절차를 제공한다. 마지막으로, 이러한 구축 과정을 통해 기존의 카테고리 양자역학(CQM) 구조를 부분적으로 복원할 수 있음을 보이며, 인과 범주가 CQM의 핵심 정리(예: 상태-효과 이중성, 스칼라의 유일성)를 어떻게 유지하거나 제한하는지 논의한다.

전체적으로 논문은 물리적 인과관계를 순수한 범주론적 구조에 내재화함으로써, 양자·고전 상관관계와 상대론적 제한을 동시에 만족하는 새로운 수학적 프레임워크를 제시한다. 이는 양자 정보 이론, 양자 중력, 그리고 일반적인 프로그래밍 언어 이론 등 다양한 분야에 적용 가능성을 열어준다.