[논문 리뷰] An Einstein equation for discrete quantum gravity

Stan Gudder|arXiv (Cornell University)|2012. 04. 20.

Noncommutative and Quantum Gravity Theories참고 문헌 14인용 수 5

한 줄 요약

이 논문은 이산 양자 중력의 인과 집합 접근법에서 아인슈타인 장 방정식의 이산 형태를 제안한다. 힐베르트 공간에서의 이중차분 연산자를 통해 곡률 연산자를 정의함으로써, 곡률을 디코herence 행렬과 연결된 메트릭 연산자와 질량-에너지 연산자로 분해함으로써, 일반 상대성 이론이 이산 양자 중력의 연속 근사에서 어떻게 나타나는지 테스트할 수 있는 프레임워크를 제공한다.

ABSTRACT

The basic framework for this article is the causal set approach to discrete quantum gravity (DQG). Let $Q_n$ be the collection of causal sets with cardinality not greater than $n$ and let $K_n$ be the standard Hilbert space of complex-valued functions on $Q_n$. The formalism of DQG presents us with a decoherence matrix $D_n(x,y)$, $x,y\in Q_n$. There is a growth order in $Q_n$ and a path in $Q_n$ is a maximal chain relative to this order. We denote the set of paths in $Q_n$ by $Ω_n$. For $ω, ω'\inΩ_n$ we define a bidifference operator $\varbigtriangledown_{ω, ω'}^n$ on $K_n\otimes K_n$ that is covariant in the sense that $\varbigtriangledown_{ω, ω'}^n$ leaves $D_n$ stationary. We then define the curvature operator $ script_{ω, ω'}^n=\varbigtriangledown_{ω, ω'}^n-\varbigtriangledown_{ω', ω}^n$. It turns out that $ script_{ω, ω'}^n$ naturally decomposes into two parts $ script_{ω, ω'}^n=\dscript_{ω, ω'}^n+ script_{ω, ω'}^n$ where $\dscript_{ω, ω'}^n$ is closely associated with $D_n$ and is called the metric operator while $ script_{ω, ω'}^n$ is called the mass-energy operator. This decomposition is a discrete analogue of Einstein's equation of general relativity. Our analogue may be useful in determining whether general relativity theory is a close approximation to DQG.

연구 동기 및 목표

• 이산 양자 중력의 프레임워크에서 인과 집합을 사용하여 아인슈타인 방정식의 이산 형태를 개발하는 것.
• 디코herence 행렬을 유지하는 이중차분 연산자를 사용하여 이산적 맥락에서 곡률을 정의하는 것.
• 곡률 연산자를 일반 상대성 이론의 구조를 반영하여 메트릭 성분과 질량-에너지 성분으로 분해하는 것.
• 일반 상대성 이론이 이산 양자 중력의 연속 근사에서 어떻게 유도되는지 테스트할 수 있는 형식적 체계를 제공하는 것.

제안 방법

• 스페이스타임이 부분순서집합으로서의 이산 원소들로 구성되며, 인과 관계를 가진 인과 집합 접근법을 사용한다.
• 크기가 $ \leq n $ 인 인과 집합 위의 복소수 함수들의 힐베르트 공간 $ K_n $ 와 양자 간섭을 코딩하는 디코herence 행렬 $ D_n(x,y) $ 를 정의한다.
• $ K_n \otimes K_n $ 위에 존재하는 이중차분 연산자 $ \varbigtriangledown_{\omega,\omega'}^n $ 를 도입하며, 이는 디코herence 행렬 $ D_n $ 에 대해 공변성을 가진다.
• 곡률 연산자 $ \mathcal{R}_{\omega,\omega'}^n = \varbigtriangledown_{\omega,\omega'}^n - \varbigtriangledown_{\omega',\omega}^n $ 를 정의하며, 이는 두 부분으로 분해된다.
• $ \mathcal{D}_{\omega,\omega'}^n $ 을 디코herence 행렬 $ D_n $ 와 연결된 메트릭 연산자로 식별하고, $ \mathcal{T}_{\omega,\omega'}^n $ 을 질량-에너지 연산자로 식별한다.
• 힐베르트 공간 $ L_n = K_n \otimes K_n $ 에서의 표준 기저 벡터 $ e_x^n $ 와 디랙 표기법을 사용하여 모든 연산자의 행렬 원소 표현을 유도한다.

실험 결과

연구 질문

• RQ1 인과 집합 접근법을 사용한 양자 중력의 맥락에서 아인슈타인 방정식의 이산 형태를 구성할 수 있는가?
• RQ2 디코herence 행렬에 코딩된 양자 간섭 구조로부터 곡률은 어떻게 유도되는가?
• RQ3 양자 중력 프레임워크에서 메트릭과 에너지-모멘텀 텐서의 이산 형태는 무엇인가?
• RQ4 곡률이 메트릭과 질량-에너지 연산자로 분해되는 것은 일반 상대성 이론이 이산 양자 중력의 연속 근사에서 유도된다는 것을 시사하는가?

주요 결과

• 곡률 연산자 $ \mathcal{R}_{\omega,\omega'}^n $ 이 자연스럽게 $ \mathcal{D}_{\omega,\omega'}^n + \mathcal{T}_{\omega,\omega'}^n $ 으로 분해되며, 이때 $ \mathcal{D}_{\omega,\omega'}^n $ 은 디코herence 행렬 $ D_n $ 와 연결되어 메트릭 연산자의 역할을 한다.
• 연산자 $ \mathcal{T}_{\omega,\omega'}^n $ 은 일반 상대성 이론의 에너지-모멘텀 텐서와 유사한 질량-에너지 연산자로 식별된다.
• 이중차분 연산자 $ \varbigtriangledown_{\omega,\omega'}^n $ 는 그 작용 하에서 디코herence 행렬 $ D_n $ 이 변하지 않음을 보여, 공변성을 가진다.
• 정규직교 기저를 $ K_n $ 과 $ L_n = K_n \otimes K_n $ 에서 사용하여 모든 연산자의 행렬 원소 표현을 명시적으로 유도하였으며, 이는 구체적인 계산을 가능하게 한다.
• 이 형식적 체계는 일반 상대성 이론이 이산 양자 중력의 연속 근사에서 효과 이론으로 나타나는지 테스트할 수 있는 후보 프레임워크를 제공한다.