[논문 리뷰] Categorical Semantics for Schrödinger's Equation

Stefano Gogioso|arXiv (Cornell University)|2015. 01. 23.

Quantum Mechanics and Applications참고 문헌 15인용 수 7

한 줄 요약

이 논문은 유한차원 양자역학에서 단사 동역학과 분류 양자역학의 강한 보완 구조를 사용하여 유한차원 양자역학적 동역학을 위한 범주론적 프레임워크를 제안한다. 이는 유니터리 시간 진동과 에너지 관측 가능성을 이원적으로 연결하며, 양자 불확정성 원리에 부합하는 쌍대 시간/에너지 관측 가능성을 만족하는 관측 가능성을 증명하고, Eilenberg-Moore 대수와 유한군 위의 푸리에 변환을 통해 슈뢰딩거 방정식과 파인먼 시계 구성의 범주론적 표현을 제공한다.

ABSTRACT

Applying ideas from monadic dynamics to the well-established framework of categorical quantum mechanics, we provide a novel toolbox for the simulation of finite-dimensional quantum dynamics. We use strongly complementary structures to give a graphical characterisation of quantum clocks, their action on systems and the relevant energy observables, and we proceed to formalise the connection between unitary dynamics and projection-valued spectra. We identify the Weyl canonical commutation relations in the axioms of strong complementarity, and conclude the existence of a dual pair of time/energy observables for finite-dimensional quantum clocks, with the relevant uncertainty principle given by mutual unbias of the corresponding orthonormal bases. We show that Schrödinger's equation can be abstractly formulated as characterising the Fourier transforms of certain Eilenberg-Moore morphisms from a quantum clock to a quantum dynamical system, and we use this to obtain a generalised version of the Feynman's clock construction. We tackle the issue of synchronism of clocks and systems, prove conservation of total energy and give conditions for the existence of an internal time observable for a quantum dynamical system. Finally, we identify our treatment as part of a more general theory of simulated symmetries of quantum systems (of which our clock actions are a special case) and their conservation laws (of which energy is a special case).

연구 동기 및 목표

• 범주론적 양자역학 내에서 유한차원 양자역학적 동역학을 시뮬레이션하기 위한 체계적인 범주론적 프레임워크를 개발하기 위해.
• 강한 보완적인 고전적 구조를 통해 시간 이동 대칭성을 인코딩하는 물리적 시스템으로서의 양자 시계를 공식화하기 위해.
• 유니터리 동역학과 해밀토니안 사이의 이원성을 확립하고, 폰트리아진 이중성에 의해 에너지 관측 가능성을 특성화하기 위해.
• Eilenberg-Moore 사상에 대한 조건으로서의 슈뢰딩거 방정식의 범주론적 유도를 제공하고, 파인먼 시계 구성의 타당성을 검증하기 위해.
• 시계를 무시할 경우 총 에너지의 보존을 증명하고, 동역학계에서 내재된 시간 관측 가능성을 갖는 조건을 규명하기 위해.

제안 방법

• 모나드의 Eilenberg-Moore 범주를 사용하여 양자 시계에 의해 지배되는 양자역학적 시스템을 모델링한다.
• fdHilb 내에서 †-프로베니우스 대수로서의 강한 보완 쌍을 통해 시간 이동 대칭성을 인코딩한다.
• 해밀토니안을 유니터리 동역학의 수반으로 정의하며, 시간 군 G의 폰트리아진 이중성에 속하는 고유값을 갖는다.
• 푸리에 변환을 적용하여 유니터리 진동을 에너지 관측 가능성의 스펙트럼 측도와 연결한다.
• 유한군에 대한 스톤의 정리를 적용하여 스펙트럼 프로젝터로부터 유니터리 동역학을 재구성한다.
• 양자 회로에 이 프레임워크를 적용하고, 기저 상태 인코딩을 통해 파인먼 시계 구성의 타당성을 증명한다.

실험 결과

연구 질문

• RQ1 강한 보완 구조를 사용하여 분류 양자역학 내에서 양자 시계를 어떻게 공식적으로 정의할 수 있는가?
• RQ2 유니터리 동역학과 에너지 관측 가능성 사이의 범주론적 이원성은 무엇이며, 이는 정준 교환관계와 어떻게 관련되는가?
• RQ3 이 프레임워크에서 Eilenberg-Moore 사상에 대한 조건으로서 슈뢰딩거 방정식을 추상적으로 어떻게 표현할 수 있는가?
• RQ4 어떤 조건에서 양자역학적 동역학계가 내재된 시간 관측 가능성을 갖는가, 그리고 이는 시계와의 동기화와 어떻게 관련되는가?
• RQ5 파인먼 시계 구성은 이 범주론적 동역학과 스펙트럼 이론의 결과로서 어떻게 유도되는가?

주요 결과

• fdHilb 범주 내에서의 강한 보완성은 정준 교환관계와 동치이며, 이는 유한차원 양자 시계에 대해 쌍대 시간/에너지 관측 가능성이 존재함을 암시한다.
• 시간/에너지 불확정성 원리는 보완 구조에 해당하는 정규직교 기저 간의 상호 무편향성으로 실현된다.
• 슈뢰딩거 방정식은 양자 시계에서 동역학계로의 Eilenberg-Moore 사상의 정의 방정식의 에너지 관점으로 특성화된다.
• 파인먼 시계 구성은 이 프레임워크의 추론으로서 타당성이 입증되며, 해밀토니안의 기저 상태가 양자 회로의 전체 역사를 인코딩한다.
• 동기화된 시계를 무시할 경우 나머지 시스템에서 총 에너지가 보존되며, 총 에너지 연산자는 개별 에너지 스펙트럼의 합으로 주어진다.
• 스톤의 정리의 유한차원 해석을 증명하여, 폰트리아진 이중군에 대한 적분을 통해 해밀토니안의 스펙트럼 측도로부터 유니터리 시간 진동을 재구성한다.