[논문 리뷰] Complex Numbers and Normal Operators in Topos Quantum Theory

W. G. Brenna, Cecilia Flori|arXiv (Cornell University)|2012. 06. 05.

Computability, Logic, AI Algorithms참고 문헌 17인용 수 2

한 줄 요약

이 논문은 그로텐디크 k-확장을 통해 실수 및 복소수 값 물리량 객체를 확장하여 아벨 군으로 전환함으로써, 토포스 이론적 복소수 물리량 값 객체의 후보를 제시한다. 이를 통해 내부의 일파rameter 군을 정의하고, 단위군 진동과 토포스 양자논리의 통합을 이루는 토포스적 스톤 정리의 버전을 증명한다.

ABSTRACT

Topos theory has been suggested first by Isham and Butterfield, and then by Isham and Doering, as an alternative mathematical structure within 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 recent years the topic has been considerably progressing with the introduction of probabilities, group and group transformations. In the present paper we will introduce a candidate for the complex quantity value object and analyse its relation to the real quantity value object. By defining the Grothendieck k-extension of these two objects, so as to turn them into abelian groups, it is possible to define internal one parameter groups in a topos. We then use this new definition to construct the topos analogue of the Stone's theorem.

연구 동기 및 목표

• 양자이론에서 복소수를 물리량 값 객체로 하는 토포스 이론적 프레임워크를 개발하는 것.
• 그로텐디크 k-확장을 사용하여 실수 및 복소수 물리량 값 객체를 아벨 군으로 확장하는 것.
• 토포스 내부에서 연속 대칭을 모델링하기 위해 내부의 일파라미터 군을 정의하는 것.
• 자기수반 연산자와 단위군 일파라미터 군 간의 연결을 보여주는 토포스적 스톤 정리의 버전을 수립하는 것.

제안 방법

• 실수 및 복소수 물리량 값 객체에 그로텐디크 k-확장을 적용하여 아벨 군의 구조를 구성하는 것.
• 확장된 객체를 사용하여 토포스 내부에서 내부의 일파라미터 군을 정의하는 것.
• 토포스 이론적 내부 논리로 자기수반 및 정규 연산자를 정의하는 것.
• 자기수반 연산자가 단위군 일파라미터 군을 생성한다는 것을 보여주는 방식으로 토포스 버전의 스톤 정리를 구성하는 것.
• 기존의 토포스 양자논리 및 확률 구조와의 호환성을 확보하는 것.
• 범주론적 구성 방법을 사용하여 토포스 프레임워크의 내부 언어와의 일관성을 유지하는 것.

실험 결과

연구 질문

• RQ1 어떻게 토포스 양자이론 내에서 복소수를 물리량 값 객체로 표현할 수 있는가?
• RQ2 그로텐디크 k-확장이 값 객체를 아벨 군으로 전환하는 데 어떤 역할을 하는가?
• RQ3 연속 대칭을 모델링하기 위해 토포스 내부에서 일파라미터 군을 정의할 수 있는가?
• RQ4 토포스 이론적 방식으로 구성된 스톤 정리는 표준 힐베르트 공간 버전과 어떻게 비교되는가?
• RQ5 확장된 토포스 프레임워크에서 실수 및 복소수 물리량 값 객체 간의 관계는 무엇인가?

주요 결과

• 그로텐디크 k-확장은 토포스 내에서 실수 및 복소수 물리량 값 객체를 아벨 군으로 성공적으로 전환한다.
• 확장된 객체를 사용하여 내부의 일파라미터 군을 정의함으로써 연속 대칭의 표현이 가능해진다.
• 자기수반 연산자가 토포스 내에서 단위군 일파라미터 군을 생성한다는 것을 보여주는 토포스적 스톤 정리의 버전이 수립되었다.
• 논리적 및 대수적 구조가 토포스 양자이론의 본질적인 특성(예: 명제의 내부 논리)을 유지한다.
• 복소수 물리량 값 객체는 실수 객체의 자연스러운 확장이며, 일관된 군 구조를 가짐을 입증하였다.
• 이 프레임워크는 정규 연산자 및 단위군 진동을 토포스 이론적 맥락에서 표현하는 데에 기여한다.