비국소성·맥락성의 코호몰로지적 접근

초록

이 논문은 비국소성·맥락성 현상을 전역 섹션 존재 여부의 장애물로 해석한 기존의 셰이프 이론을 확장한다. 저자들은 확률 모델의 지원(support)으로부터 유도된 아벨 프리시브를 이용해 Čech 코호몰로지를 정의하고, 그 1차 코호몰로지 클래스가 비국소·맥락성의 충분조건이 되는 ‘코호몰로지적 장애물’임을 보인다. PR‑Box, GHZ 상태, Peres‑Mermin 마법 사각형, 4차원 Kochen‑Specker 구성 등 여러 표준 예제에 대해 이 장애물이 사라지지 않음을 계산해, 코호몰로지적 증거가 실제 물리 모델의 맥락성을 드러냄을 확인한다.

상세 분석

본 연구는 먼저 Abramsky‑Brandenburger(2011)에서 제시한 셰이프 기반 비국소·맥락성 프레임워크를 재정리한다. 여기서 측정 상황은 유한 집합 X와 그 위의 커버 U={C₁,…,Cₙ} 로 모델링되며, 각 컨텍스트 C∈U에 대해 가능한 결과 집합 O를 갖는 사전시(pre‑sheaf) E(U)=O^U 가 정의된다. 경험적 모델 e는 각 C에 대한 확률분포 e_C 로 이루어진 호환 가족이며, 호환성은 ‘no‑signalling’ 조건과 동치이다. 모델의 지원을 취해 부분 프리시브 S_e⊂E를 만들고, 이를 자유 아벨 군 F_Z(S_e) 로 확장하면 전역 섹션 존재 여부를 코호몰로지적으로 탐색할 수 있는 아벨 프리시브 F가 얻어진다.

Čech 코호몰로지는 커버 U의 신경 복합체 N(U) 위에 정의되며, q‑코체인 C^q(U,F)=∏_{σ∈N_q}F(|σ|) 로 구성된다. 경계 연산자 δ^q는 전통적인 교차합을 사용해 정의되고, H^q(U,F)=Z^q/B^q 로 코호몰로지 군을 만든다. 특히 0차 코호몰로지는 호환 가족과 일대일 대응함을 보이며, 이는 전역 섹션이 존재하면 H⁰가 비자명함을 의미한다.

핵심 아이디어는 특정 섹션 s₁∈S_e(C₁)를 고정하고, 호환성을 만족하는 다른 섹션들의 선택 {s_i} 를 이용해 0‑코체인 c=(s₁,…,sₙ) 를 만든 뒤, 그 경계 z=δ⁰(c) 를 고려하는 것이다. z는 C₁에 대한 상대 코호몰로지 H¹(U,F̅_{C₁}) 의 1‑사이클이며, 이 클래스 γ(s₁)=