[논문 리뷰] Lorentzian Connes Distance, Spectral Graph Distance and Loop Gravity

Carlo Rovelli|arXiv (Cornell University)|2014. 08. 14.

Noncommutative and Quantum Gravity Theories참고 문헌 23인용 수 4

한 줄 요약

이 논문은 루프 양자중력에서 이산적 시공간 기하학을 위한 콘네의 스펙트럴 거리 공식을 루이지안으로 일반화하는 것을 제안한다. 이는 각 변에 연관된 민코프스키 벡터 $n_e$로 장식된 그래프 기반 디랙 연산자를 사용한다. 이 구성은 거리가 디랙 연산자와의 유계 교환자 조건 하에서 함수 차이의 상한을 통해 정의되는 물리적으로 자연스러운 로렌츠 공변 스펙트럴 기하학을 제공하며, 스피노폼 양자중력에서 4차원 거리에 대한 새로운 프레임워크를 제공한다.

ABSTRACT

Connes' formula defines a distance in loop quantum gravity, via the spinfoam Dirac operator. A simple notion of spectral distance on a graph can be extended do the discrete Lorentzian context, providing a physically natural example of Lorentzian spectral geometry, with a neat space of Dirac operators. The Hilbert structure of the fermion space is Lorentz covariant rather than invariant.

연구 동기 및 목표

• 콘네의 스펙트럴 거리 공식을 루이지안 서명으로 확장하여, 이산적이고 인과적인 양자 시공간에서 기하학적 거리 정의를 가능하게 한다.
• 오랜 기간 동안 루프 양자중력에서 거리를 정의하는 데 있어 일관되고 공변적인 공식화가 부족했던 문제를 해결한다.
• 로컬 로렌츠 기준과 연결된 힐베르트 구조의 가중치를 가진 이산적이고 유한차원 스펙트럴 트리플을 스피노폼에 대해 수립하여 루이지안 기하학을 코딩한다.
• 각 변마다 시간적 민코프스키 벡터 $n_e$로 매개화된 두차원 복합체 위에서 디랙 연산자의 자연스러운 공간을 정의하여 이산 루이지안 기하학을 포괄한다.

제안 방법

• 정점에서의 복소수 함수 대수 $\bf A$, 각 정점에서의 $\mathbb{C}$-공간들의 직합인 $\bf H$, 그리고 행렬 성분 $\langle v|D|w\rangle = i\Gamma_{vw}$를 갖는 그래프 디랙 연산자 $D$를 포함하는 그래프 기반 스펙트럴 트리플 $C = ({\rm \bf A}, {\rm \bf H}, D)$를 정의한다.
• 각 변 $e$에 연관된 민코프스키 벡터 $n_e$로 그래프 디랙 연산자를 장식함으로써 루이지안 기하학을 도입한다. 여기서 $n_e$는 삼각분할에서의 시공간적 2-세포의 쌍대 3-형식에 대응한다.
• 콘네의 거리 공식 $d(p,q) = \sup_f |f(p)-f(q)|$를 사용하여, 조건 $\|[D,f]\| \leq 1$ 하에서 그래프 상에서 물리적으로 의미 있는 거리를 정의한다.
• 디랙 연산자 $D$가 각 로컬 로렌츠 기준에 대응하는 힐베르트 구조의 가중치를 가진 페르미온 공간 $\bf H$ 위에서 작용하며, 이는 로렌츠 공변성(불변성은 아님)을 보장한다.
• 모든 가능한 디랙 연산자의 공간을 $\mathcal{D} = \otimes_e M^+$로 정의한다. 여기서 $M^+$는 $\mathbb{R}^{3,1}$ 내의 전방 빛원뿔이며, 이는 이산 루이지안 기하학의 자연스러운 매개변수화를 제공한다.
• 이산 디랙 작용 $S = i \sum_e \langle \psi | n_e | \psi \rangle$을 연속체 디랙 작용과 연결하여, $n_e$ 가 이산화된 코테트라드 장으로 기능함을 보여준다.

실험 결과

연구 질문

• RQ1 콘네의 스펙트럴 거리 공식은 루프 양자중력에 관련된 이산적이고 유한차원의 설정에서 루이지안 서명으로 일반화될 수 있는가?
• RQ2 두차원 복합체 위의 결과 스펙트럴 트리플은 양자 시공간에서 물리적으로 일관되고 로렌츠 공변적인 거리 정의를 제공하는가?
• RQ3 스피노폼 위의 디랙 연산자 공간은 자연스럽게 민코프스키 벡터 $n_e$로 매개화될 수 있으며, 이는 깔끔한 기하학적 구조를 제공하는가?
• RQ4 이 이산 루이지안 스펙트럴 트리플 위의 스펙트럴 작용 $S = \mathrm{Tr}[\chi(D)]$는 아인슈타인-힐베르트 작용의 타당한 이산화인가?
• RQ5 디랙 연산자 공간 $\mathcal{D}$ 위에서의 적분은 기하학에 대한 경로적분으로 해석될 수 있으며, 이는 스피노폼 역학을 콘네의 스펙트럴 기하학과 연결하는가?

주요 결과

• 그래프 상에서의 루이지안 콘네 거리는 $d(p,q) = \sup_f |f(p)-f(q)|$로 정의되며, 조건 $\|[D,f]\| \leq 1$ 하에서, 이는 연산자 노름을 사용할 경우 그래프에서의 최소 경로 길이로 축소된다.
• 이산 디랙 연산자는 각 변 $e$에 시간적 민코프스키 벡터 $n_e$를 할당하는 것으로 완전히 결정되며, $n_e$는 삼각분할에서의 시공간적 2-세포의 쌍대 3-형식을 나타낸다.
• 페르미온 힐베르트 공간 $\bf H$ 는 표준 내적을 갖지 않으며, 대신 각 로컬 로렌츠 기준에 대응하는 힐베르트 구조의 가중치를 지닌다. 이는 로렌츠 공변성을 보장한다.
• 모든 가능한 디랙 연산자의 공간은 $\mathcal{D} = \otimes_e M^+$로 주어지며, 여기서 $M^+$는 $\mathbb{R}^{3,1}$ 내의 전방 빛원뿔이다. 이는 이산 루이지안 기하학의 자연스러운 매개변수화를 제공한다.
• 이산 디랙 작용 $S = i \sum_e \langle \psi | n_e | \psi \rangle$ 는 연속체 디랙 작용의 이산화된 형태임을 보여주며, $n_e$ 는 이산화된 코테트라드 장의 역할을 한다.
• 이 구성은 스펙트럴 작용 $S = \mathrm{Tr}[\chi(D)]$ 가 이산 설정에서 아인슈타인-힐베르트 작용을 근사할 수 있음을 시사하며, 루이지안 중력의 스펙트럴 공식화로 가는 잠재적 길을 제공한다.