[논문 리뷰] A topos perspective on the Kochen-Specker theorem: II. Conceptual Aspects, and Classical Analogues:

C. J. Isham, Jeremy Butterfield|ArXiv.org|1998. 08. 31.

Quantum Mechanics and Applications참고 문헌 3인용 수 21

한 줄 요약

이 논문은 양자역학과 고전물리학에서의 평가에 대해 토포스 이론적 프레임워크를 제안하며, FUNC(함수적) 원리를 일반화하는 스크린-값 할당을 통해 물리량을 평가한다. 이러한 평가들은 부분적 진리 조건과 프레시프 구조로부터 자연스럽게 유도되며, 군속성에 의한 조정을 고려한 스크린으로서의 진리값을 정의하여 코헨-스피커의 맥락성 문제를 해결한다. 주요 결과로는 양자와 고전적 상황 모두에서 일관성 있고 일반적인 평가의 존재가 입증된다.

ABSTRACT

In a previous paper, we have proposed assigning as the value of a physical quantity in quantum theory, a certain kind of set (a sieve) of quantities that are functions of the given quantity. The motivation was in part physical---such a valuation illuminates the Kochen-Specker theorem; and in part mathematical---the valuation arises naturally in the topos theory of presheaves. This paper discusses the conceptual aspects of this proposal. We also undertake two other tasks. First, we explain how the proposed valuations could arise much more generally than just in quantum physics; in particular, they arise as naturally in classical physics. Second, we give another motivation for such valuations (that applies equally to classical and quantum physics). This arises from applying to propositions about the values of physical quantities some general axioms governing partial truth for any kind of proposition.

연구 동기 및 목표

• 양자역학에서 단일값 함수를 초월해, 스크린-값 할당을 사용하여 함수해석(calculus) 원리(FUNC)를 일반화하는 것.
• 이러한 할당이 양자역학 외에도 매크로상태 기반의 조정을 통해 고전물리학에서도 자연스럽게 발생함을 보여주는 것.
• 스크린-값 할당이 어떤 범주 위의 명제 프레시프에서 일반적인 부분적 진리 원칙의 자연스러운 결과임을 확립하는 것.
• 토포스 이론적 구조를 통해 양자역학에서 맥락성의 개념적 및 수학적 기초를 통합하는 것.

제안 방법

• 각 물리량 A에 대해, A 위의 스크린을 할당한다. 스크린은 A로 향하는 사상 f:B→A의 집합이며, 추가적인 사상과의 복합에 대해 닫혀 있어야 하며, 이는 가능한 조정을 나타낸다.
• 명제 'A∈Δ'의 진리값을 A 위의 스크린으로 정의한다. 여기서 스크린은 해당 명제가 참이 되는 모든 맥락을 포괄한다.
• 물리량의 범주(사상이 함수이거나 조정을 나타냄) 위의 프레시프 구조를 사용하여, 진리값이 맥락 간으로 어떻게 전파되는지를 모델링한다.
• 일반화된 FUNC를 적용한다: f(A)의 스크린 값은 A의 스크린 값에 대해 사상 f에 沿한 당김(pullback)을 취함으로써 정의되며, 이는 맥락 간 일관성을 보장한다.
• 진리값의 논리 대수를 사용하여 부분적 진리를 모델링한다. 명제의 결과 중 더 많은 것이 완전히 참이면, 그 명제가 더 참이 되도록 한다.
• 범주론적 개념인 부분대상과 일반화된 함의를 사용하여, 프레시프 설정에서의 함의 관계를 형식화한다.

실험 결과

연구 질문

• RQ1 양자역학에서 코헨-스피커의 맥락성 장애를 피할 수 있도록 FUNC 원리를 어떻게 일반화할 수 있는가?
• RQ2 스크린-값 할당이 양자 맥락성의 부재에도 불구하고 고전물리학에서 어떻게 자연스럽게 발생하는가?
• RQ3 명제의 부분적 진리 개념을 어떻게 형식화할 수 있으며, 그 결과로 스크린-값 할당이 자연스럽게 도출되는가?
• RQ4 조정 사상으로 정의되는 맥락의 범주가 일관된 할당 구조를 정의하는 데 어떤 역할을 하는가?
• RQ5 프레시프의 구조적 성질(예: 전역 원소, 부분대상)은 전역 할당의 존재 또는 부재와 어떻게 관련이 있는가?

주요 결과

• 스크린-값 할당은 양자역학에서 FUNC 원리의 일관된 일반화를 제공하며, 전역 실수 함수 대신 집합값 할당을 사용함으로써 코헨-스피커 정리의 장애를 피한다.
• 고전물리학에서는 매크로상태 정보로부터 이러한 할당이 자연스럽게 유도되며, 주어진 양수의 모든 함수들이 조정에 대해 스크린을 이룬다.
• 제안된 할당 체계는 물리적 및 논리적 제약 조건을 충족한다: 단조성, 공집합 명제, 스크린의 당김을 통한 일반화된 FUNC.
• 이 프레임워크는 물리학을 초월한다: 소형 범주 위의 임의의 명제 프레시프는 부분적 진리 원칙을 만족하는 자연스러운 스크린-값 할당을 갖는다.
• 명제의 진리값은 그 약화된 형태가 완전히 참이 되는 모든 맥락의 집합에 의해 완전히 결정되며, 이는 자연스러운 부분적 진리 개념을 형식화한다.
• 코헨-스피커 정리의 핵심 결과인 스펙트럼 프레시프에 전역 원소가 존재하지 않는다는 점은, 전역 함수 대신 전역적으로 정의된 스크린-값 할당을 통해 조화를 이룬다.