No extension of the Quantum Tensor Product admits a Superposition principle

기술 요약: "양자 텐서 곱의 어떠한 확장도 중첩 원리를 허용하지 않는다"

문제 제기
교과서적인 양자 역학은 양자 상태(힐베르트 공간 내의 레이)를 다른 순수 상태들의 복소 선형 결합으로 표현할 수 있는 능력으로서 중첩을 정의한다. 그러나 이 정의는 힐베르트 공간 형식론에 크게 의존하며 운영적(operational)이지 않다. 부정적 인과 순서(indefinite causal order)와 중첩에 기반한 중력의 비고전성을 테스트하려는 최근의 실험적 제안들을 고려할 때, 이론 독립적이고 운영적인 중첩 개념의 정의가 절실히 필요하다. 저자들은 힐베르트 공간 체계가 없는 상황에서 중첩에 대응하는 관측 가능한 측면이 무엇인지, 그리고 중첩이 양자 이론을 재구성하기 위한 필수 원리로 기능할 수 있는지에 대한 열린 질문을 다룬다.

방법론
저자들은 실험이 상태 준비, 변환, 측정으로 분해되는 **일반화된 확률 이론(Generalised Probabilistic Theories, GPTs)**의 틀 안에서 작업한다.

1. 운영적 정의: 저자들은 중첩을 수학적 벡터 합이 아니라 관계적 통계 속성으로 정의한다. 상태 $r$은 집합 $D'$의 중첩이다. 여기서 $D'$는 최대 완벽 구별 가능(Maximal Perfectly Discriminable, MPD) 집합 $D$를 포함하는 최대 구별 및 극단적(Maximally Distinguishing and Extremal, MDE) 측정에 의해 확률적 결과가 도출되는 극단적 상태(extremal state)이다.
2. 중첩의 원리: 양자 이론의 구조적 특성에서 영감을 얻어, 저자들은 세 가지 구별된 원리를 공식화한다:
   • 완전성(Complete): 모든 극단적 상태는 어떤 다른 상태들의 중첩이다.
   • 균일성(Uniform): 임의의 MPD 집합에 대해, 해당 집합에 속하지 않는 모든 극단적 상태는 그 집합의 부분 집합의 중첩이다.
   • 상호성(Mutual): 만약 어떤 상태가 특정 모임의 중첩이라면, 그 모임의 모든 상태는 원래의 모임을 포함하는 다른 모임의 중첩이다.
3. 합성의 분석: 저자들은 하위 시스템들이 합성될 때 이러한 원리들이 어떻게 행동하는지 조사한다. 이들은 고전 이론, gbits, 다각형 모델(polygon models), Boxworld (일반화된 비신호 이론), 그리고 특정 양자 파편들(GPT-1, GPT-2)을 포함한 다양한 GPT를 분석한다.
4. 불확실성과의 연결: 저자들은 "준비 불확실성(preparational uncertainty)"(두 개의 서로 다른 MDE에 대해 결정론적인 상태를 찾을 수 없는 현상)을 도입하고, 이것과 중첩 사이의 관계를 분석한다.

주요 기여 및 결과

• 운영적 특징 규명: 본 논문은 준비-및-측정 통계에 기반하여 중첩에 대한 엄밀하고 이론 독립적인 정의를 제공하며, 이를 비심플리시티(non-simpliciality) 및 기타 비고전적 특징들과 구분한다.
• GPT 분류: 저자들은 세 가지 중첩 원리에 따라 다양한 이론들을 분류한다. 주목할 점은 다음과 같다:
  • 고전 이론은 중첩을 허용하지 않는다.
  • Spekkens의 장난감 이론(Spekkens' toy theory)은 세 가지 원리를 모두 허용한다.
  • Boxworld는 (얽힘 덕분에) 중첩을 허용하지만, 더 강력한 균일성 및 상호성 원리는 만족하지 못한다.
  • 이 원리들은 엄격한 계층을 형성하지 않는다. 즉, 완전한 중첩 없이 균일 및 상호 중첩만을 허용하거나, 혹은 균일 중첩만을 허용하는 이론이 존재할 수 있다.
• 합성 규칙:
  • 보조정리 1: 하위 시스템이 중첩을 허용하고(균일성을 위해 결과 샤프니스(outcome sharpness)를 만족할 때), 이들의 비신호 합성 역시 존재 및 완전 중첩을 허용한다.
  • 보조정리 2: 얽힘의 존재(최소 텐서 곱보다 엄격히 큰 합성)는 하위 시스템이 중첩을 결여하더라도, 합성 시스템에서 중첩의 존재를 함의한다.
  • 정리 1 (주요 결과): 상호 중첩(mutual superposition) 원리는 합성 규칙에 대한 엄격한 제약으로 작용한다. 구체적으로, 양자 텐서 곱의 어떠한 엄격한 비신호 확장(즉, $S_{Q,1} \otimes_{min} S_{Q,2} \subset S_{1,2} \subseteq S_{Q,1} \otimes_{max} S_{Q,2}$인 임의의 합성 $S_{1,2}$)은 무제한 가정(no-restriction hypothesis)이 성립하는 한 상호 중첩을 허용하지 않는다.
  • 따로붙임 1: 결과적으로, 양자 텐서 곱의 어떠한 엄격한 확장도 무제한 가정을 유지하면서 세 가지 중첩 원리를 동시에 허용할 수 없다.
• 중첩과 불확실성: 저자들은 준비 불확실성이 중첩보다 엄격하게 더 강한 비고전적 요구사항임을 입증한다. 결과 샤프함의 가정 하에, 준비 불확실성의 존재는 특정 중첩 구조의 존재와 동치이다(따로붙임 2). 저자들은 얽힘과 준비 불확실성이 운영적 중첩의 특수한 발현으로 간주될 수 있음을 보여준다.

의의 및 주장
본 논문은 양자 텐서 곱에 대한 운영적 특징을 제공한다고 주장한다. 상호 중첩이 양자 텐서 곱에 고유한 성질이며(그 엄격한 확장에는 그렇지 않음), 이 원리가 양자 이론의 재구성에 있어 교과서적인 합성 공리 대신 사용될 수 있음을 보여줌으로써, 저자들은 이 원리가 양자 이론 재구성을 위한 대안이 될 수 있음을 시사한다.

저자들은 이 재구성의 범위에 대해 겸손한 태도를 취한다:

• 이 결과는 하위 시스템이 이미 양자적이라는 조건 하에 양자 텐서 곱을 식별한다. 단일 시스템으로부터 운영적 조건만을 사용하여 양자 상태 공간을 도출하는 것은 여전히 미해결 과제로 남아 있다.
• 이 연구 결과는 물리적으로 동기 부여된 원리들로부터 양자 이론을 재구성하는 과정에 대한 부분적인 답을 제공하며, 특히 합성 규칙 문제를 다룬다.
• 이 운영적 정의는 중력이 비고전적임을 전제하는 순환 논리를 피함으로써, 중력의 양자성을 테스트하려는 제안들에서의 "위치의 중첩"이라는 개념의 의미를 명확히 한다.

이 연구는 중첩, 얽힘, 그리고 준비 불확실성이 공통된 근저의 운영적 구조를 공유함을 확립하며, 비고전성의 두 가지 핵심 징표인 얽힘과 불확실성을 중첩의 특수한 발현으로 재구성한다.