[논문 리뷰] Complex Numbers, One-Parameter of Unitary Transformations and Stone's Theorem in Topos Quantum Theory

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

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

한 줄 요약

이 논문은 복소수와 일차 파aram터 유니터리 군에 대한 토포스 이론적 공식화를 제안하며, 실수 및 복소수 양값 객체의 그로텐디크 k-확장을 통해 내부 아벨 군 구조를 구성한다. 이는 외부적으로 시간이나 측정을 참조하지 않고 양자 이론에서 유니터리 동역학을 위한 기초 틀을 제공하는 스톤 정리의 토포스 버전을 수립한다.

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-확장을 사용하여 내부 일차 파aram터 유니터리 변환 군을 구성한다.
• 스톤 정리의 토포스 이론적 대응을 수립하여, 자기수반 연산자와 내부적으로 일관되고 관측자에 의존하지 않는 유니터리 흐름 간의 연결을 확립한다.
• 이전 공식화에서의 제한점을 극복한다. 특히 비틀린 프레샤프 또는 외부 군 작용에 의존하는 바람직하지 않은 요소들을 제거한다.

제안 방법

• 양자 이론의 맥락 카테고리의 아벨 von Neumann 하위대수의 부분순서 집합 위에서 순서 유지 및 순서 반전 사상의 프레샤프로 실수 양값 객체를 정의한다.
• 실수 및 복소수 양값 객체를 토포스 내에서 아벨 군으로 만드는 데 그로텐디크 k-확장을 도입한다.
• 순서 유지 및 순서 반전 조건을 만족하는 실수 값 사상의 쌍으로서 복소수 양값 객체를 구성하며, 일반화된 간격 객체를 형성한다.
• k-확장을 사용하여 실수 및 복소수 양값 객체 위에 내부 아벨 군 구조를 정의함으로써, 토포스 내에서 대수 연산을 가능하게 한다.
• 내부 실수 직선에서 복소수 양값 객체의 유니터리 군으로의 연속 사상으로서 내부 일차 파aram터 유니터리 변환 군을 정의한다.
• 내부 논리의 토포스 내에서 자기수반 연산자가 지수 함수를 통해 유니터리 흐름을 생성함을 보여줌으로써, 스톤 정리의 토포스 대응을 유도한다.

실험 결과

연구 질문

• RQ1 복소수는 양자이론의 맥락 카테고리 위의 프레샤프 토포스 내에서 어떤 내부 객체로 표현될 수 있는가?
• RQ2 비틀린 프레샤프를 피하는 한차원 파aram터 유니터리 변환 군의 적절한 토포스 이론적 구성은 무엇인가?
• RQ3 자기수반 생성자와 유니터리 시간 진화를 연결하는 스톤 정리는 내부 논리의 토포스 내에서 재구성될 수 있는가?
• RQ4 그로텐디크 k-확장을 사용하여 양값 객체에 아벨 군 구조를 부여함으로써 대수적 일관성을 확보할 수 있는가?
• RQ5 연속성과 내부 군 구조는 외부 시간 매개변수 없이 유니터리 동역학을 정의하는 데 어떤 역할을 하는가?

주요 결과

• 복소수 양값 객체는 맥락 카테고리 위에서 순서 유지 및 순서 반전 사상의 쌍으로 구성되며, 일반화된 간격 객체를 형성한다.
• 그로텐디크 k-확장을 통해 실수 및 복소수 양값 객체는 내부 아벨 군으로 변환되어 토포스 내에서 대수 연산이 가능해진다.
• 내부 일차 파aram터 유니터리 변환 군은 내부 실수 직선에서 복소수 양값 객체의 유니터리 군으로의 연속 사상으로 정의된다.
• 스톤 정리의 토포스 대응이 수립되었으며, 모든 자기수반 연산자는 지수 함수를 통해 내부적으로 유니터리 흐름을 생성하며, 이 흐름은 맥락 사상에 대해 공변적이다.
• 이 구성은 비틀린 프레샤프를 사용하지 않으며, 토포스 양자 이론에서 유니터리 동역학을 일관되고 관측자에 의존하지 않는 방식으로 제공한다.
• 이 틀은 논리적이고 능력 기반의 확률 및 유니터리 진동을 지원하며, 토포스 양자 이론의 비도구적 프로그램과 일치한다.