Twirled and swirled worlds: a compositional approach

기술적 요약: 뒤틀린 세계와 소용돌이치는 세계: 구성적 접근법 (Twirled and Swirled Worlds: A Compositional Approach)

문제 정의
일반화된 확률 이론(Generalised Probabilistic Theories, GPTs)의 최근 발전은 대칭성에 의해 부과된 선택 규칙(superselection rules)을 적용하기 위한 구성으로서 "뒤틀린(twirled)" 세계와 "소용돌이치는(swirled)" 세계의 개념을 도입했다. 그러나 이전 연구(구체적으로 Ref. [11] 및 Ref. [26])는 범위가 제한적이었다: Ref. [11]은 뒤틀린 GPT를 개발했으나 이를 임의의 다중 파티트 프로세스(multipartite processes)에 대한 완전한 구성적 이론으로 정식화하지 못했고, Ref. [26]은 소용돌이치는 이론을 도입했으나 주로 국소적 토모그래피가 가능한 부모 이론에 국한되었다. 따라서 완전한 구성적 환경에서 프로세스 토모그래피가 불변 프로세스로의 제한에서도 생존하는지, 그리고 물리적 시스템의 작용으로부터 기인하는 대칭성과 비물리적 이론 수준의 작용으로부터 기인하는 대칭성을 어떻게 구별할 것인지에 대한 결정적인 간극이 존재했다. 또한, 불변 부이론(invariant subtheories)에서 국소적 토모그래피가 실패하는 정확한 조건과, 프로세스 토모그래피를 회복하기 위해 필요한 운영적 자원(예: 얽힘 또는 보조 시스템)이 일반적인 유한 차원 GPT에 대해 어떻게 되는지가 완전히 규명되지 않았다.

방법론
저자들은 프로세스 이론과 범주론(category theory)의 언어를 사용하여 완전히 구성적인 프레임워크를 개발한다. 이 접근법은 상태(states), 효과(effects), 변환(transformations)을 프로세스로 균일하게 취급한다. 방법론은 다음과 같다:

1. 군 작용(Group Actions)의 정식화: 논문은 세 가지 수준의 군 작용을 구분한다:

   • 시스템 작용 (S-actions): 개별 시스템에 대한 작용.
   • 프로세스 작용 (P-actions): 프로세스 공간에 직접 작용하는 작용.
   • 이론 작용 (T-actions): 구성적 구조와 호환되는, 도식 보존 사상(diagram-preserving maps)으로 정의된 이론 전체에 대한 작용.
     저자들은 각 수준에서 "물리적 성질(physicality)"을 정의하며, 물리적 S-작용은 물리적 P-작용과 T-작용을 유도하지만, 비물리적 작용(예: 양자 이론에서의 반유니타리 대칭)은 모든 수준에서 존재할 수 있음을 명시한다.

2. 평균화 및 불변 부이론: 불변 부이론의 구축은 하르 측도(Haar measure)를 사용하여 컴팩트 대칭 군 $G$에 대해 평균을 내는 방식으로 이루어진다.

   • 뒤틀기 (Twirling): 물리적인 T-작용에 대해 평균을 냄.
   • 소용돌이치기 (Swirling): 비물리적인 T-작용에 대해 평균을 냄.
     논문은 상태 및 효과 토모그래피는 이러한 부이론에서 보존되지만, 프로세스 토모그래피는 자동으로 보장되지 않는다는 점을 확립한다.

3. 프로세스 토모그래피 조건: 저자들은 불변 부이론에서 프로세스 토모그래피가 성립하기 위한 두 가지 충분 조건을 식별한다:

   • 불변 부이론 내에 **동역학적으로 충실한 상태(dynamically faithful states)**가 존재함.
   • **내부 고전적 참조 프레임(internal classical reference frames)**의 존재 (그룹 시스템에 대한 보편적 고전 제어).

4. 표현론적 분석: 국소적 토모그래피가 가능한 GPT(고전 및 양자 이론 포함)라는 특정 클래스의 경우, 저자들은 그러한 이론들이 실수 벡터 공간의 범주($FVect_{\mathbb{R}}$)의 스팬(spanning) 부이론들과 동형이라는 구조 정리(structure theorem)를 활용한다. 이를 통해 그룹 표현론을 적용하여 국소적 토모그래피의 실패를 분석할 수 있다. 저자들은 불변 부분 공간과 국소적 토모그래피 실패의 정도를 특징짓기 위해 특정 투영 연산자($R_{Cor}$, $R_{Prod}$, $R_{Semi}$)를 도입한다.

주요 기여 및 결과

• 구성적 일반화: 본 논문은 국소적 토모그래피를 가정하지 않고 임의의 유한 차원 GPT에 대해 뒤틀기와 소용돌이치기를 일반화한다. 이는 시스템 유도 뒤틀기가 이론 수준 평균화의 특수한 사례임을 보여주는 통합된 프레임워크를 제공한다.
• 프로세스 토모그래피 분석:
  • 불변 부이론에서는 일반적으로 프로세스 토모그래피가 보장되지 않음을 증명한다.
  • 그러나 국소적 토모그래피가 가능한 GPT의 불변 부이론에 대해서는, 프로세스 토모그래피가 항상 만족됨을 증명한다. 이 결과는 임의의 유한 차원 표현 내에서 불변 동역학적 충실 벡터(구체적으로 Choi 벡터)가 항상 불변 상태 공간의 스팬 내에 존재함을 입증하는 데 기초한다.
• 국소적 토모그래피 실패의 특징화:
  • 논문은 불변 다중 파티트 프로세스 공간에서 국소적 토모그래피가 실패할 필요충분조건을 제공한다: 국소적 토모그래피는 와이어(wire)의 이분할(bipartition)이 존재하여 두 측면의 결합 표현이 그룹 $G$의 **비자명한 기약 표현(non-trivial irreducible representation)**을 공유할 때 실패한다.
  • 이는 동일한 시스템의 이분 상태(bipartite states)로 제한되었던 이전의 결과들을 일반화한 것이다.
• 운영적 결과 및 자원:
  • 저자들은 "토모그래피 과잉(tomographic excess)"(국소적 토모그래피로는 접근할 수 없는 불변 자유도)을 정량화한다.
  • 국소적 토모그래피가 실패할 때 프로세스 토모그래피에 필요한 자원을 특징짓는다:
    • 보조 시스템 (Ancillary Systems): 총 입력 및 출력 표현이 비자명한 기약 표현을 공유할 때만 필요하다.
    • 얽힘 (Entanglement): 보조 시스템이 필요하지 않은 경우에도, 완전한 프로세스 토모그래피는 일반적으로 특정 기약 표현에 의해 정의된 분할에 걸친 얽힌 불변 상태나 효과를 요구한다.
    • 분리 가능성 (Separability): 만약 국소적 토모그래피가 실패한다면, 분리된(곱) 불변 상태와 효과만을 사용하여 모든 구별된 불변 프로세스를 구별하는 것은 불가능하다.
• 통합 프레임워크:
  • 저자들은 주어진 그룹 $G$와 부모 이론 $P$에 대해 모든 시스템 유도 뒤틀린 부이론을 포함하는 통합 이론 $Twirl_G[P]$를 구축하며, 이를 통해 서로 다른 뒤틀린 세계들 사이의 비자명한 상호작용을 허용한다.
  • 임의의 이론 작용(비물리적 작용 포함)으로부터 발생하는 불변 부이론을 통합하기 위한 예비 스케치가 제공되지만, 이는 표준 범주론적 프레임워크를 벗어날 수 있는 구성적 제약을 필요로 한다.
• 예시:
  • 이중 국소 고전 이론 (Bilocal Classical Theory, BCT): 본 논문은 BCT가 고전 이론의 $Z_2$-뒤틀린 부이론으로서 발생함을 보여준다. 이는 $Twirl_G$ 프레임워크 내에서 BCT를 표준 고전 이론과 통합하고, BCT의 알려진 토모그래피 성질을 $Z_2$ 표현 구조로부터 회복한다.
  • 실수 양자 이론 (Real Quantum Theory, RQT): RQT는 $Z_2$-소용돌이치기(여기서 대칭 작용은 시간 역전/반유니타리 연산을 포함하는 비물리적 작용임)의 예로 제시된다. 이 프레임워크는 RQT의 알려진 설명과 토모그래피 성질을 회복한다.

의의 및 주장
본 논문은 대칭에 의해 제한된 이론을 연구하기 위한 "완전히 구성적인 프레임워크"를 제공한다고 주장하며, 비구성적이거나 국소적 토모그래피에만 국한되었던 이전 연구들의 한계를 극복한다. 주요 의의는 다음과 같다:

1. 토모그래피의 지위 명확화: 불변 부이론(국소적 토모그래피가 가능한 GPT의 경우)에서 프로세스 토모그래피가 생존함을 보여줌으로써(불변 동역학적 충실 벡터의 존재 덕분), 대칭 제한에 따른 프로세스 토모그래피의 문제를 해결하고, 일반적인 경우에 필요한 조건(동역학적 충실 상태 또는 내부 참조 프레임)을 제시한다.
2. 대칭의 운영화: 추상적인 표현론적 성질(공유된 기약 표현)을 운영적 능력(토모그래피를 위한 얽힘이나 보조 시스템의 필요성)과 직접 연결한다.
3. 다양한 이론의 통합: 고전, 양자 및 포스트-양자 이론(BCT 및 RQT와 같은)을 공통된 대칭 기반 구축 아래에서 하나의 구조적 관점으로 통합하며, 물리적 대칭과 비물리적 대칭(뒤틀기 vs 소용돌이치기)을 엄격하고 구성적인 방식으로 구분한다.

저자들은 임의의 이론 작용을 통합하는 것에 대해 겸손한 태도를 유지하며, 제안된 $Inv_G[P]$ 프레임워크가 표준 대칭 단향 범주(symmetric monoidal categories)를 넘어선 미래의 정식화가 필요할 수 있는 구성적 제약을 포함하고 있음을 언급한다. 또한, 일반적인 GPT에서 프로세스 토모그래피의 잠재적 실패를 언급하며, 이를 GPT 정의의 근본 데이터로서 "테스터(testers, 1-combs)"를 포함시키기 위한 향후 연구의 동기로 삼는다.