Decoupling local classicality from classical explainability: A noncontextual model for bilocal classical theory and a locally-classical but contextual theory

기술 요약: 국소적 고전성(Local Classicality)과 고전적 설명 가능성(Classical Explainability)의 분리

문제 제기
본 논문은 조작적 확률 이론(Operational Probabilistic Theories, OPTs)의 틀 내에서 두 가지 서로 다른 "고전성" 개념, 즉 **국소적 고전성(local classicality)**과 고적 설명 가능성(classical explainability) 사이의 관계를 다룬다.

• 국소적 고전성: 어떤 이론이 국소적으로 고전적이라는 것은 그 안의 모든 개별 시스템이 고전적임(즉, 상태 공간이 심플렉스(simplex)이며 no-restriction 가설을 만족함)을 의미한다. 단, 이 경우 시스템들을 합성하는 규칙은 표준 고전 이론과 다를 수 있다.
• 고전적 설명 가능성: 어떤 이론이 고전적으로 설명 가능하다는 것은 해당 이론에 대한 **존재론적 모델(ontological model)**이 존재함을 의미한다. 이는 표준 고전 이론(CT)으로의 선형적이고, 도식 보존적(diagram-preserving)이며, 결정론 보존적(determinacy-preserving)인 사상(map)으로 정의된다. 이는 해당 이론이 **일반화된 비맥락적(generalized noncontextual)**임을 의미하는 것과 같다.

핵심 질문은 다음과 같다: 모든 국소적 고전 이론이 존재론적 모델을 갖는가? 이중 국소 고전 이론(Bilocal Classical Theory, BCT) [1]에 관한 기존 연구는 BCT가 국소 토모그래피(local tomography, 합성 상태가 국소 측정에 의해 완전히 결정된다는 원리)를 위반하기 때문에, 국소 실재론적 존재론적 모델을 갖지 못할 수도 있다고 시사했다. 반대로, 국소적 고전 이론의 다른 구성물들은 본질적으로 고전적 설명 가능성을 결여할 수도 있다. 본 논문은 명시적인 모델과 반례를 구축함으로써 이 개념들을 분리하는 것을 목표로 한다.

방법론
저자들은 OPT의 형식론과 [2, 6]에서 정의된 존재론적 모델의 프레임워크를 사용한다. 방법론은 두 가지 주요 구성을 포함한다:

1. BCT에 대한 존재론적 모델 구축:

   • 저자들은 BCT에서 표준 고전 이론($\Delta$)으로의 선형 사상 $\tilde{\xi}$를 정의한다.
   • 시스템 매핑: BCT의 비자명한 시스템 $n$은 고전적 시스템의 차원 $2n$(구체적으로 $n$차원 공간과 이진 공간의 텐서 곱)으로 매핑된다.
   • 상태/효과 매핑: 이진 변수($s \in \{0,1\}$)와 표준 인덱스를 포함하는 BCT의 순수 상태 및 효과는 "복사(copy)" 및 "제어-NOT(CNOT)" 게이트를 사용하여 이진 부분 공간 상의 고전적 상태/효과로 매핑된다.
   • 변환 매핑: BCT의 원자적 변환은 고전 이론의 하부 스토캐스틱 행렬(substochastic matrices)로 매핑되며, 이 과정에서 이진 변수를 통한 인덱스의 "비틀림(twisting)"을 포함하는 BCT 합성 규칙의 특정 구조를 보존한다.
   • 일관성 검증: 저자들은 이 사상이 선형성, 도식 보존성(순차적 및 병렬 합성, 항등, 스왑 보존), 결정론 보존성(결정론적 변환을 결정론적 것으로 매핑)을 충족함을 엄격하게 검증한다.

2. 반례 구축 (잠재적 고전 이론 - LCTs):

   • 저자들은 고전적 시스템에 맞게 조정된 [76]의 "잠재 이론(latent theory)" 구성을 활용한다.
   • 정의: LCT는 두 시스템의 합성 $C_1 \otimes C_2$가 추가적인 "잠재적" 요소 공간 $L_{12}$를 포함하는 합성 규칙($C_1 \otimes C_2 = L_{12} \otimes C_1 \otimes C_2$)에 의해 정의된다.
   • 조건: 잠재 상태 $|\kappa\rangle_{L_{12}}$는 풀 랭크(full-rank)가 아닌 것으로 선택된다(즉, 전체 잠재 공간을 생성하지 않음).
   • 존재 불가능성 증명: 저자들은 잠재 상태가 풀 랭크가 아닐 경우, 모든 곱 상태(product state)를 소멸시키는 비영(non-null) 이분 효과(bipartite effect)가 존재함을 증명한다. 저자들은 도식 보존적 성질이 이 효과를 고전 이론의 영(null) 효과로 매핑해야 함을 보여주며, 이는 특정 합성 상태에 대한 비영 효과의 확률 보존과 모순되므로 해당 이론에 대한 존재론적 모델이 존재할 수 없음을 입증한다.

주요 기여 및 결과

1. BCT에 대한 존재론적 모델의 존재 (정리 2.3):
   본 논문은 국소 토모그래피를 실패하는 전체 이론에 대한 최초의 존재론적 모델을 구축한다. 이 결과는 BCT가 국소 실재론적 존재론적 모델을 결여할 수도 있다는 [1]의 추측을 반박한다.

   • 함의: 국소 토모그래피의 실패가 반드시 고전적 설명 가능성을 배제하는 것은 아니다. BCT의 비국소 토모그래피적 자유도는 국소적으로 추가적인 온틱 상태(ontic states)를 더함으로써 설명될 수 있다.

2. LCTs에 대한 존재론적 모델의 부재 (정리 3.2):
   본 논문은 풀 랭크가 아닌 잠재 상태를 가진 **잠재 고전 이론(Latent Classical Theories)**이 어떠한 존재론적 모델도 허용하지 않음을 증명한다.

   • 함의: 모든 국소적 고전 이론이 고전적으로 설명 가능한 것은 아니다. 특정 합성 규칙(특히 강한 국소 토모그래피 위반을 허용하는 규칙)과 비맥락적 숨은 변수 모델의 존재 사이에는 근본적인 긴장이 존재한다.

3. 개념의 분리:
   결과적으로 국소적 고전성과 고전적 설명 가능성은 독립적인 속성임을 보여준다. 어떤 이론은 국소적 고전적이지만 고전적으로 설명 가능하지 않을 수 있고(LCTs), 또 다른 이론은 국소 토모그래피를 실패함에도 불구하고 국소적 고전적이면서 동시에 고전적으로 설명 가능할 수 있다(BCT).

의의 및 주장
본 논문은 이러한 발견이 고전성에 대한 기초적 이해에 중요한 함의를 갖는다고 주장한다.

• 구조 정리의 한계: 이 결과는 [2]의 일반화된 비맥락적 모델을 위한 구조 정리의 근간이 되는 국소 토모그래피 가정이 실제로는 제한적인 가정임을 보여준다. 해당 정리는 국소 토모그래피를 위반하는 이론, 비록 그들이 국소적으로 고전적일지라도 적용되지 않는다.
• 합성적 성질의 중요성: 저자들은 시스템이 합성되는 방식(합성 규칙)이 단순한 기술적 부차 문제가 아니라, 고전성을 이해하는 데 있어 핵심적이고 피할 수 없는 문제라고 주장한다. 국소적 고전적이지만 전역적으로 비고전적인(설명 가능성 측면에서) 이론들 사이의 구별은 합성 구조의 중요성을 강조한다.
• 고전성의 명료화: 본 논문은 BCT라는 구체적인 사례를 통해, Spekkens의 토이 이론이 홀수 차원 스타빌라이저 부분 이론을 명확히 하는 것과 유사하게, 원래의 조작적 정식화보다 그 밑바탕이 되는 존재론적 모델을 통해 이론을 더 단순하게 이해할 수 있음을 보여준다.
• 직접적인 관계의 부재: 본 연구는 어떤 이론이 국소적으로 고전적인지와 그것이 고전적으로 설명 가능한지 사이에 직접적인 관계가 없음을 확립한다. 어떤 국소적 고전 이론이 존재론적 모델을 허용하는지를 구별하는 물리적 원리를 찾기 위한 향후 연구를 제안한다.

결론적으로, 본 논문은 합성적 성질의 상태가 고전성 자체를 일관되게 이해하는 데 있어 근본적이라는 점을 밝히며, 국소 토모그래피를 고전적 설명 가능성을 위한 필수 조건으로 보는 전통적인 관점을 넘어선다.