[논문 리뷰] A Topos Formulation of Consistent Histories

Cecilia Flori|ArXiv.org|2008. 12. 07.

Quantum Mechanics and Applications참고 문헌 18인용 수 6

한 줄 요약

이 논문은 분해 함수수나 일致한 집합에 의존하지 않고, 히팅 대수와 시간 논리를 사용하여 시간 순서로 정렬된 문장에 일반화된 진리값을 부여함으로써 양자 역사 이론의 토포스 이론적 공식화를 개발한다. 주요 기여는 시간에 따라 인과적 구조를 유지하는 토포스 기반 프레임워크를 제공하는 것으로, 시간 순서로 정렬된 맥락에 대한 프레시브의 토포스 내에서 동형인 시간 논리적 구조를 갖는다.

ABSTRACT

Topos theory has been suggested by Doring and Isham as an alternative mathematical structure with which to formulate physical theories. In particular it has been used to reformulate standard quantum mechanics in such a way that a novel type of logic is used to represent propositions. In this paper we extend this formulation to include temporally-ordered collections of propositions as opposed to single-time propositions. That is to say, we have developed a quantum history formalism in the language of topos theory where truth values can be assigned to temporal propositions. We analyse the extent to which such truth values can be derived from the truth values of the constituent, single-time propositions.

연구 동기 및 목표

• 분해 함수수나 일치 집합에 의존하지 않는 양자 역사에 대한 토포스 이론적 형식을 개발하는 것.
• 도링과 이샤움의 양자역학에 대한 토포스 공식화를 시간 순서로 정렬된 문장까지 확장하는 것.
• 양자 상태의 인과적 진화를 존중하는 토포스 프레임워크 내에서 일致한 시간 논리를 정의하는 것.
• 역사 문장의 진리값이 토포스 기반 평가 사상에 의해 단일 시간 문장의 진리값과 어떻게 관련되어 있는지 조사하는 것.
• 복합계에서 순수 텐서곱이 아닌 상호작용하는 맥락을 다룰 수 있도록 형식을 확장하기 위한 기초를 마련하는 것.

제안 방법

• 특히 ${\bf Sets}^{(\mathcal{V}({\cal H}_{t_{1}})\times\mathcal{V}({\cal H}_{t_{2}}))^{\rm op}}$ 에서의 맥락의 범주에 대한 프레시브의 토포스를 사용하여 양자 역사 문장을 형식화한다.
• 각 시간에서의 문장에 대해 토포스 내의 부분개체 분류자 $\mathrm{Sub}(\underline{\Sigma}^{{\cal H}_{t}})$ 를 통해 히팅 대수를 정의한다.
• 공동 역사 문장의 히팅 대수와 단일 시간 히팅 대수의 텐서곱 사이의 동형을 확립한다: $\mathrm{Sub}(\underline{\Sigma}^{{\cal H}_{t_{1}}\otimes{\cal H}_{t_{2}}}) \cong \mathrm{Sub}(\underline{\Sigma}^{{\cal H}_{t_{1}}}) \otimes \mathrm{Sub}(\underline{\Sigma}^{{\cal H}_{t_{2}}})$.
• 역사 문장의 시간적 구조를 유지하는 중간 토포스 내 평가 사상을 구성한다.
• 분해 함수수나 상태 벡터 축약을 요구하지 않고, 토포스 프레임워크를 사용하여 역사 문장에 대한 일반화된 진리값을 정의한다.
• 순수 텐서곱이 아닌 상호작용 맥락의 논리적 구조를 탐색하며, 현재 형식의 한계를 식별한다.

실험 결과

연구 질문

• RQ1 분해 함수수나 일치 집합에 의존하지 않고, 양자 역사에 대한 토포스 이론적 형식을 구성할 수 있는가?
• RQ2 시간 순서로 정렬된 역사 문장의 진리값은 토포스 프레임워크 내에서 그 단일 시간 구성 요소의 진리값과 어떻게 관련되어 있는가?
• RQ3 시간 논리는 토포스 공식화에서 어떤 역할을 하는가? 그리고 상태 벡터 축약이 없는 상황에서 시간에 따라 인과성이 어떻게 유지되는가?
• RQ4 이 형식은 복합계에서 순수 텐서곱이 아닌 상호작용 맥락을 다룰 수 있도록 확장될 수 있는가?
• RQ5 이 토포스 기반 역사 형식 내에서 경로 적분이나 분해 함수수를 복원할 수 있는가?

주요 결과

• 공동 역사 문장의 히팅 대수와 단일 시간 히팅 대수의 텐서곱 사이의 동형이 확립되어 시간적 구조가 유지된다.
• 중간 토포스 내 평가 사상은 역사 문장의 시간 논리적 구조를 정확히 유지하여 시간에 걸친 일관성을 보장한다.
• 이 형식은 분해 함수수나 일치 집합을 요구하지 않으며, 양자 역사 이론에 대한 새로운 기초를 제공한다.
• 역사 문장의 진리값은 상태 벡터 축약을 도입하지 않고도 토포스 이론적 구조를 통해 단일 시간 문장의 진리값에서 유도된다.
• 상태 벡터 축약이 없기 때문에, 후속 시간의 진리값은 붕괴가 아니라 unitary 진화를 통해 이전 시간의 진리값과 인과적으로 관련되어 있다.
• 이 형식은 상호작용 맥락에 대한 열린 질문을 식별하며, 토포스 프레임워크 내에서 확률과 분해 함수수를 재통합할 가능성에 대해 제기한다.