[논문 리뷰] A New Approach to Quantising Space-Time: I. Quantising on a General Category

C. J. Isham|ArXiv.org|2003. 03. 17.

Data Management and Algorithms참고 문헌 12인용 수 6

한 줄 요약

이 논문은 인과 집합이나 위상과 같이 매끄러운 다양체가 아닌 이산 공간-시간 구조를 범주 안의 대상으로 간주하고, 구조를 보존하는 사상(화살표)을 운동량의 유사체로 간주함으로써, 이에 대한 새로운 연산자 기반 양자화 프레임워크를 제안한다. 주요 기여는 화살표 장을 사용하여 '범주 양자화 모노이드'를 구성함으로써, 이는 범주의 대상 위의 힐베르트 공간에서 유니터리 표현을 가능하게 하여 일관된 역사 기반 양자 중력 이론의 기초를 마련한다.

ABSTRACT

A new approach is suggested to the problem of quantising causal sets, or topologies, or other such models for space-time (or space). The starting point is the observation that entities of this type can be regarded as objects in a category whose arrows are structure-preserving maps. This motivates investigating the general problem of quantising a system whose `configuration space' (or history-theory analogue) can be regarded as the set of objects in a category. In this first of a series of papers, we study this question in general and develop a scheme based on constructing an analogue of the group that is used in the canonical quantisation of a system whose configuration space is a manifold $Q\simeq G/H$ where G and H are Lie groups. In particular, we choose as the analogue of G the monoid of `arrow fields' on the category. Physically, this means that an arrow between two objects in the category is viewed as some sort of analogue of momentum. After finding the `category quantisation monoid', we show how suitable representations can be constructed using a bundle of Hilbert spaces over the set of objects.

연구 동기 및 목표

• 매끄러운 다양체 구조를 갖지 않는 인과 집합이나 위상과 같은 공간-시간 모델을 양자화하기 위한 엄밀한 수학적 프레임워크를 제공하기 위해.
• 고정 배경 다양체가 없는 상황에서 전통적인 캐논리컬 양자화가 실패하는 이산 공간-시간 구조에 대해 양자 역학을 정의하는 데 도전하는 데 목적이 있다.
• 공간-시간 또는 공간적 구성이 대응하는 대상으로서의 범주 위에서 양자 이론을 구성하는 일반적 체계를 개발하기 위해.
• 양자 상태를 범주의 대상 위의 함수로 정의하고, 역학을 분해 함수에 의해 코딩함으로써 일관된 역사 기반 양자 중력 이론을 가능하게 하기 위해.
• 범주 구조를 확장하여 물리장과 양자 계량을 포함시키기 위한 기초를 마련하기 위해.

제안 방법

• 시스템의 구성 공간은 범주 Q의 대상 집합으로 간주되며, 그 사이의 구조를 보존하는 사상(화살표)이 존재한다.
• G/H 다양체에서의 리군 G의 유사체로 기능하는, Ob(Q) 위의 화살표 번들의 단면으로서 '화살표 장의 모노이드'를 구성한다.
• 각 대상 c에 대해 관련된 섬유 K[c]를 갖는 힐베르트 공간 번들을 Ob(Q) 위에 정의하여, 양자 상태를 이 번들의 단면으로 구성할 수 있도록 한다.
• 화살표 장의 작용을 통해 힐베르트 번들 위에서 범주 양자화 모노이드의 유니터리 표현을 구축함으로써, 운동량 연산자의 역할을 일반화한다.
• 범주 Q를 물리장 등의 구조를 포함하도록 확장함으로써 추가 자유도를 포함할 수 있도록 한다.
• 이 접근은 캐논리컬 양자화와 HPO(역사 사영 연산자) 일관된 역사 해석 양자이론 모두와 호환된다.

실험 결과

연구 질문

• RQ1 매끄러운 다양체가 아니며 따라서 표준 캐논리컬 양자화에 적합하지 않은 인과 집합이나 위상과 같은 공간-시간 구조에 대해 양자 이론을 어떻게 정의할 수 있는가?
• RQ2 구성 공간이 다양체가 아니라 범주인 시스템에서 운동량의 적절한 유사체는 무엇인가?
• RQ3 표준 스톤–폰 노이만 정리가 적용되지 않는 상황에서, 범주 위의 양자이론에 대해 유니터리 표현을 어떻게 구성할 수 있는가?
• RQ4 일관된 역사 기반 양자 인과 집합 이론에서 분해 함수의 역할은 무엇이며, 이는 어떻게 범주 양자화 프레임워크로부터 유도될 수 있는가?
• RQ5 범주 Q를 수정함으로써 물리장이나 양자 계량을 포함시키는 데에 이 프레임워크를 확장할 수 있는가?

주요 결과

• 논문은 범주 Q 위의 화살표 장의 모노이드를 사용하여 '범주 양자화 모노이드'를 구성하였으며, 이는 G/H 대칭 공간에서의 군 G의 양자 유사체로 기능한다.
• 이 모노이드의 유니터리 표현은 Q의 대상 위의 힐베르트 공간 번들 위에 실현되며, 표준 양자 상태 공간의 일반화를 제공한다.
• 이 프레임워크는 상태가 Ob(Q) 위의 함수로 정의되는 바탕으로, 캐논리컬 양자화와 일관된 역사 기반 해석을 모두 지원한다.
• 이 방법은 이산 공간-시간에 대한 양자 이론을 수립하기 위한 수학적으로 엄밀한 도구를 제공하지만, 아직 분해 함수의 형태를 명시하지는 않는다.
• 범주 Q를 확장함으로써 추가 자유도를 포함시킬 수 있으며, 예를 들어 대상 위에 함수 공간이나 계량 장을 포함시킴으로써 가능하다.
• 논문은 c가 인과 집합일 경우 각 섬유 K[c]에 비표준 힐베르트 공간 구조가 필요하다고 강조하며, 이는 양자 이론의 기초 수학적 프레임워크에 근본적인 전환을 요구한다.