[논문 리뷰] Categorified Algebra and Quantum Mechanics

Jeffrey C. Morton|ArXiv.org|2006. 01. 19.

Quantum Mechanics and Applications참고 문헌 10인용 수 8

한 줄 요약

이 논문은 군oids와 모노이드를 사용하여 양자역학을 분류화한 프레임워크인 M-stuff 유형을 소개한다. 이는 양자 조화 진동자에 대한 조합론적 모델링을 가능하게 한다. U(1)의 단위군을 통해 구조 유형을 일반화함으로써 위상 인자를 포함시키며, 시간 진동, 내적, 파인먼 다이어그램 등이 카테고리적 구조에서 자연스럽게 유도되는 카테고리적 포크 공간을 구성한다. 이는 고차원 대수학을 통해 조합론과 양자 이론을 통합한다.

ABSTRACT

Interest in combinatorial interpretations of mathematical entities stems from the convenience of the concrete models they provide. Finding a bijective proof of a seemingly obscure identity can reveal unsuspected significance to it. Finding a combinatorial model for some mathematical entity is a particular instance of the process called ``categorification''. Examples include the interpretation of N as the Burnside rig of the category of finite sets with product and coproduct, and the interpretation of N[x] as the category of combinatorial species. This has interesting applications to quantum mechanics, and in particular the quantum harmonic oscillator, via Joyal's ``species'', a new generalization called ``stuff types'', and operators between these, which can be represented as rudimentary Feynman diagrams for the oscillator. In quantum mechanics, we want to represent states in an algebra over the complex numbers, and also want our Feynman diagrams to carry more structure than these ``stuff operators'' can do, and these turn out to be closely related. We will show how to construct a combinatorial model for the quantum harmonic oscillator in which the group of phases, U(1), plays a special role. We describe a general notion of ``M-Stuff Types'' for any monoid M, and see that the case M=U(1) provides an interpretation of time evolution in the combinatorial setting, as well as other quantum mechanical features of the harmonic oscillator.

연구 동기 및 목표

• 고차 카테고리 이론을 사용하여 양자역학의 조합론적, 분류화된 모델을 개발한다.
• 평가, 합성, 내적을 지원하는 'stuff 유형'으로 구조 유형을 일반화한다.
• 시간 진동과 유니타리 대칭성(U(1))을 양자 시스템의 카테고리적 프레임워크에 통합한다.
• 파인먼 다이어그램의 연산법을 카테고리적 함자와 군oids의 기수와 통합한다.
• 분류화의 개념을 모노이드 작용, 특히 U(1)을 포함하도록 확장하여 물리적 해석을 가능하게 한다.

제안 방법

• 군oids의 범주를 사용하여 양자 조화 진동자의 포크 공간을 분류화하며, 이는 군oids 값을 갖는 함수로 일반화된 구조 유형을 기반으로 한다.
• 모든 모노이드 M에 대해 M-stuff 유형을 정의하며, M = U(1)은 양자역학에서 위상 인자와 시간 진동을 모델링한다.
• 군oids의 기수를 사용하여 stuff 유형에 수치적 값을 할당하며, 생성 함수를 일반화한다.
• 2-범주에서의 약한 당김을 통해 내적을 정의하여, 힐베르트 공간 내적을 카테고리화한다.
• 창조 및 소멸 연산자를 stuff 유형의 범주 간의 함수로 표현하며, 파인먼 다이어그램은 이러한 함수의 스트링 다이어그램으로 나타낸다.
• 군oids의 자유 대칭 모노이드 완성과 자유 완성의 조합을 사용하여 2-리그 구조를 적용하고, 일반화된 종의 범주를 생성한다.

실험 결과

연구 질문

• RQ1 군oids와 함수와 같은 카테고리적 구조를 사용하여 양자 조화 진동자의 포크 공간을 어떻게 재구성할 수 있는가?
• RQ2 양자역학에서 내적의 카테고리적 대응은 무엇이며, 당김과 약한 당김과 어떻게 관련되는가?
• RQ3 시간 진동과 유니타리 대칭성을 조합론적, 분류화된 프레임워크에 어떻게 통합할 수 있는가?
• RQ4 조화 진동자의 파인먼 다이어그램은 stuff 유형과 연산자의 2-범주에서의 사상으로 어떻게 해석할 수 있는가?
• RQ5 M = U(1)일 때, 구조 유형을 M-stuff 유형으로 확장하면 양자역학의 핵심 특징을 어떻게 복원할 수 있는가?

주요 결과

• U(1)-stuff 유형의 범주는 상태가 군oids 값을 갖는 함수이고, 내적은 약한 당김에서 유도되는 조합론적 포크 공간의 모델을 제공한다.
• 양자 조화 진동자에서의 시간 진동은 U(1)이 M-stuff 유형에 작용하는 것으로 자연스럽게 모델링되며, 위상은 모노이드 구조에 의해 표현된다.
• 두 개의 stuff 유형 간 내적은 약한 당김으로 카테고리화되며, 이는 표준 포크 공간 내적의 2-범주적 일반화이다.
• 조화 진동자의 파인먼 다이어그램은 stuff 연산자의 합성으로 나타나는 스트링 다이어그램으로 나타나며, 진폭은 군oids의 기수로 계산된다.
• 이 구성은 고차 모노이드와 군oids로 일반화되어 다중 종류의 종의 표현과 양자장 이론으로의 확장을 가능하게 한다.
• 논문은 군oids의 자유 완성 간의 함수를 통해 일반화된 종의 2-범주를 구축하며, 조합론과 양자 대수학을 통합한다.