위상군과 비국소성의 근원: 큐비트 이론의 비교

본 논문은 양자 정보 이론과 범주론을 결합한 새로운 분석 틀을 제시한다. 서론에서는 양자역학의 핵심 특징—비가환 관측값, 비국소성, 클론 금지 등—을 다른 이론과 비교함으로써 어떤 구조가 이러한 현상을 야기하는지 탐구하고자 한다. 이를 위해 저자들은 ‘†‑구조를 갖는 합성 이론(dagger compositional theory)’이라는 범주론적 프레임워크를 도입한다. 이 프레임워크는 객체를 물리 시스템, 사상을 물리 과정, 텐서곱을 시스템 결합, 그리고 † 연산자를 복소수 켤레와 동일시한다. 다음으로 관측값을 정의한다. 관측값은 교환적(isometric)이고 등거리인 다이어그램적 프라비니우스 코모노이드(δ, ε)로서, 힐베르트 공간에서는 정규 직교 기저와 일대일 대응한다. 이러한 관측값을 통해 ‘상호 불확정(mutually unbiased)’ 관계를 정의하고, 두 관측값이 서로의 고유 상태에 대해 편향되지 않은 경우를 ‘상호 불확정’이라 부른다. 핵심 개념인 ‘위상군(phase group)’은 관측값에 의해 유도되는 상태들의 곱셈(monad)과 그에 대응하는 유니터리 행동(action)들의 군을 동형시킨다. 구체적으로, 상태 ψ가 ψ*⊙ψ = ε† 를 만족하면 편향되지 않은 상태이며, 이러한 상태들의 집합은 아벨 군을 형성한다. 이 군은 위상(phase) 변환을 나타내며, 각 이론마다 다른 구조를 가진다. 큐비트 스테빌라이저 서브스페이스(Clifford + Pauli)에서는 위상군이 순환군 Z₄이다. 이는 복소 위상 e^{iπ/2}와 같은 90도 회전이 가능함을 의미한다. 반면 Spekkens의 장난감 이론에서는 위상군이 Z₂×Z₂이며, 각각 0·π 회전 두 개가 독립적으로 존재한다. GHZ 상태는 세 입자 시스템에 대한 ‘대칭적인 삼중 텐서’ Ψ와 ‘소거 사상’ ε 로 정의된다. 논문은 관측값과 GHZ 구조 사이에 일대일 대응이 있음을 증명한다(정리 3.9). 이 대응을 통해 위상군이 GHZ 상관관계에 미치는 영향을 분석한다. Z₄ 위상군을 가진 스테빌라이저 이론에서는 GHZ 상관관계가 Bell 부등식을 위반하여 로컬 숨은 변수 모델을 배제한다(비국소성). 반대로 Z₂×Z₂ 위상군을 가진 장난감 이론에서는 GHZ 상관관계가 제한적이어서 로컬 숨은 변수 모델을 구성할 수 있다(국소성). 이러한 차이를 일반화하기 위해 저자들은 ‘상호 불확정 큐비트 이론(mutually unbiased qubit theory)’이라는 클래스를 정의한다. 이 클래스는 모든 관측값이 서로 상호 불확정이며, 위상군이 네 원소를 갖는 유한 아벨 군이어야 함을 보인다. 가능한 군은 Z₄와 Z₂×Z₂ 두 가지뿐이며, 따라서 GHZ 상관관계는 이 두 형태 중 하나로만 나타난다. 결론에서는 위상군이 비국소성/국소성을 구분하는 핵심 대수적 구조임을 강조한다. 또한 이 분류가 qubit을 넘어, 모든 상호 불확정 관측값을 갖는 유한 차원 이론으로 확장될 수 있음을 제시한다. 따라서 위상군을 통한 분석은 양자‑유사 이론들의 구조적 차이를 명확히 드러내는 강력한 도구가 된다.