[논문 리뷰] Group Action in Topos Quantum Physics

Cecilia Flori|arXiv (Cornell University)|2011. 10. 07.

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

한 줄 요약

이 논문은 표준 프레샤프 토포스 대신 문맥과 단위 구간을 포함하는 곱 범주 위의 층 토포스를 사용하여 토포스 양자 이론에서 군 작용의 형식을 도입한다. 이는 연속적인 군 작용을 가능하게 하고 비틀린 프레샤프의 필요성을 제거한다. 주요 기여는 군과 관련된 명제에 대한 내부 진리값과 연속적인 변환을 지원하는 층 이론적 구조를 통해 기하학적으로 일관되고 관측자에 의존하지 않는 양자이론 내 유니터리 대칭의 표현이다.

ABSTRACT

Topos theory has been suggested first by Isham and Butterfield, and then by Isham and Döring, 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 this paper we extend this formulation to include the notion of a group and group transformation in such a way that we overcome the problem of twisted presheaves. In order to implement this we need to change the type of topos involved, so as to render the notion of continuity of the group action meaningful.

연구 동기 및 목표

• 군 작용을 서술할 때 비틀린 프레샤프의 한계를 극복하기 위해.
• 양자이론 내에서 유니터리 군 변환의 기하학적으로 일관되고 연속적인 표현을 제공하기 위해.
• 측정나 관측자의 외부 개념에 의존하지 않고 토포스 프레임워크에 군 대칭을 통합하기 위해.
• 층 이론적 구조를 통해 군 작용 하에서 순수 상태와 혼합 상태를 모두 수용할 수 있도록 토포스 표현을 일반화하기 위해.
• 유니터리 변환과 관련된 양자화 절차의 기초를 토포스 프레임워크 내에서 마련하기 위해.

제안 방법

• 표준 프레샤프 토포스 $\mathbf{Sets}^{\mathcal{V}(\mathcal{H})^{\mathrm{op}}}$ 를 위상적 연속성을 포함하기 위해 $\mathrm{Sh}(\mathcal{V}(\mathcal{H}) \times (0,1)_L)$ 로 대체한다.
• 스펙트럼의 변환된 대수에 작용하는 군 작용을 층 토포스 내의 사상으로 정의하여 층 구조를 통해 연속성을 확보한다.
• 층의 에탈레 배ndl 표현을 사용하여 군에 의해 유도된 사상에 따른 세그먼트의 역상 작용을 모델링하고, 국소적 호메오모르피즘의 호환성을 보장한다.
• 군에 의해 유도된 사상 하에서 층의 역상을 표현하기 위해 $A(-) \otimes_X \mathrm{Hom}_Y(y, f(-))$ 를 구성하며, 등급류가 섬유 데이터를 인코딩한다.
• 겹치는 열린 집합들 사이에서의 호환성을 확보하기 위해 $f$-유도된 층 사상의 개념을 적용하여 군 변환 하에서도 층 공리가 유지되도록 한다.
• 층 토포스의 내부 논리를 사용하여 군 작용 하에서 명제의 진리값을 정의하여, 이들이 공변적으로 및 연속적으로 변환되도록 보장한다.

실험 결과

연구 질문

• RQ1 비틀린 프레샤프를 사용하지 않고 토포스 양자 이론에서 군 작용을 일관적으로 서술할 수 있는가?
• RQ2 토포스 프레임워크 내에서 군 작용을 연속적으로 만들기 위해 필요한 위상적 구조는 무엇인가?
• RQ3 내부 논리와 진리값을 유지하면서 기하학적으로 토포스 이론적 맥락에서 유니터리 대칭을 어떻게 표현할 수 있는가?
• RQ4 층 토포스 표현은 군 작용 하에서 순수 상태와 혼합 상태를 모두 수용할 수 있는가? 확률은 내부적으로 유도되는가?
• RQ5 리 군의 기하학과 그 궤도가 문맥 범주 $\mathcal{V}(\mathcal{H})$ 에서 토포스 표현에 미치는 역할은 무엇인가?

주요 결과

• 층 토포스 $\mathrm{Sh}(\mathcal{V}(\mathcal{H}) \times (0,1)_L)$ 는 프레샤프에 없던 위상적 구조를 제공함으로써 연속적인 군 작용을 지원한다.
• 문맥 범주를 단위 구간을 포함하는 곱 범주로 대체함으로써 비틀린 프레샤프가 제거되고 스펙트럼의 연속적 변환이 가능해진다.
• 명제에 대한 군 작용은 이제 토포스 내의 연속적 사상으로 표현되어 진리값의 공변적 변환이 보장된다.
• 군에 의해 유도된 사상 하에서 층의 역상은 $f \circ p_A$ 와 이sovolumetric하여 기하학적 일관성과 국소적 단순성 보장된다.
• 층 토포스의 내부 논리는 군 작용 하에서 명제의 진리값이 연속적으로 변환될 수 있도록 하여 확률의 경향 기반 해석을 지원한다.
• 이 표현은 모든 유니터리 대칭으로 일반화되며, 유니터리 변환과 관련된 양자화 절차에 대해 기하학적으로 일관된 프레임워크를 제공한다.