[논문 리뷰] Classical representations for quantum-like systems through an axiomatics for context dependence

Bob Coecke|ArXiv.org|2000. 08. 14.

Quantum Mechanics and Applications참고 문헌 4인용 수 4

한 줄 요약

이 논문은 측정 맥락의 불확실성을 숨겨진 측정 상태에 대한 무지로 모델링함으로써 양자 유사 시스템에 대한 고전적 표현을 제공하는 은닉 측정 프레임워크를 제안한다. 모든 양자 유사 측정 시스템이 맥락 상태 공간으로서 단위구간 [0,1]을 사용하는 고전적 은닉 측정 표현을 갖는다는 것을 증명함으로써, 비고전적 시스템에서 맥락 의존성에 대한 공리적 기반을 제공한다.

ABSTRACT

We introduce a definition for a 'hidden measurement system', i.e., a physical entity for which there exist: (i) 'a set of non-contextual states of the entity under study' and (ii) 'a set of states of the measurement context', and which are such that all uncertainties are due to a lack of knowledge on the actual state of the measurement context. First we identify an explicit criterion that enables us to verify whether a given hidden measurement system is a representation of a given couple $\Si,{\cal E}$ consisting of a set of states $\Si$ and a set of measurements ${\cal E}$ ($=$ measurement system). Then we prove for every measurement system that there exists at least one representation as a hidden measurement system with $[0,1]$ as set of states of the measurement context. Thus, we can apply this definition of a hidden measurement system to impose an axiomatics for context dependence. We show that in this way we always find classical representations (hidden measurement representations) for general non-classical entities (e.g. quantum entities).

연구 동기 및 목표

• 은닉 측정 모델을 사용하여 비고전적 시스템에서 맥락 의존성에 대한 일반적인 공리적 프레임워크를 개발하기 위해.
• 주어진 은닉 측정 시스템이 특정 양자 유사 측정 시스템을 나타내는지 확인할 수 있는 기준을 수립하기 위해.
• 맥락의 불확실성을 맥락 상태에 대한 지식 부족으로 모델링함으로써, 임의의 측정 시스템에 대한 고전적 표현의 존재를 증명하기 위해.
• 고전적 표현이 원래의 양자 유사 시스템의 대칭성과 기하학적 구조를 유지하도록 보장하기 위해.
• 유한 차원 양자역학을 초월하여 적용 가능한 은닉 측정 접근법에 수학적으로 엄밀한 기반을 제공하기 위해.

제안 방법

• 비맥락적 실체 상태 집합과 측정 맥락 상태 집합으로 정의된 '은닉 측정 시스템'(h.m.s.)의 개념을 도입한다.
• 실체 상태와 맥락 상태 쌍에서 측정 결과로의 결정론적 사상 정의를 통해, 두 상태가 주어지면 결과가 결정됨을 보장한다.
• 결과의 불확실성을 맥락 상태의 실제 값에 대한 무지로 인한 지식적 불확실성으로 모델링하며, 맥락 상태 공간 위에 확률 측도를 사용한다.
• 측정 가능 함수와 σ-환형사상의 기반으로, 주어진 h.m.s.가 주어진 측정 시스템 (Σ, E)의 타당한 표현인지 판단할 수 있는 기준을 수립한다.
• 모든 측정 시스템에 대해 맥락 상태 공간이 단위구간 [0,1]인 은닉 측정 표현이 존재함을 증명한다.
• σ-대부분, σ-형사상, 측도 이론적 구성 방법을 사용하여 표현을 형식화하고 존재성 정리를 증명한다.

실험 결과

연구 질문

• RQ1 모든 양자 유사 측정 시스템은 모든 불확실성이 측정 맥락에 대한 무지에서 기인하는 고전적 은닉 측정 시스템으로 표현될 수 있는가?
• RQ2 주어진 측정 시스템을 충실하게 표현하기 위해 은닉 측정 시스템이 필요로 하는 최소한의 구조는 무엇인가?
• RQ3 양자 유사 시스템의 기하학적 및 대칭 성질은 그 고전적 은닉 측정 표현에서 어떻게 유지되는가?
• RQ4 임의의 측정 시스템에 대해 은닉 측정 표현을 생성하는 일반적인 방법은 존재하는가?
• RQ5 주어진 은닉 측정 시스템이 목표 측정 시스템의 타당한 표현임을 보장하는 수학적 조건은 무엇인가?

주요 결과

• 모든 측정 시스템 (Σ, E)은 맥락 상태 공간이 단위구간 [0,1]인 적어도 하나의 은닉 측정 표현을 갖는다.
• 측정 가능 함수와 σ-환형사상의 기반으로, 주어진 은닉 측정 시스템이 특정 측정 시스템을 나타내는지 여부를 판단할 수 있는 필요 및 충분 조건이 확립되었다.
• 원래 시스템에 기하학적 구조나 대칭성이 존재할 경우, 고전적 표현이 그 구조를 유지한다.
• 이 구성은 유한 차원뿐 아니라 무한 차원 시스템에도 일반적으로 적용되며, 이전에 유한 차원에 국한된 결과들을 초월한다.
• 이 프레임워크는 정규직교모듈라 레이티스에 대한 맥락적 은닉 변수 이론으로 유명한 구더의 작업과 일치하며 통합적 시각을 제공한다.
• 증명은 측도 이론적 동형사상과 σ-대부분의 구성 방법을 기반으로 하며, [0,1]이 확률 공간의 보편적 모델로 사용됨을 포함한다.