[논문 리뷰] Dynamics in canonical models of loop quantum gravity

Ilkka Mäkinen|arXiv (Cornell University)|2019. 10. 01.

Noncommutative and Quantum Gravity Theories인용 수 1

한 줄 요약

이 학위논문은 루프 양자 중력 이론에서 재해석된 모델에 대해 수학적으로 일관된 해밀토니안 연산자를 제안한다. 이는 대칭적인 곡률 연산자를 사용하여 동역학을 단순화한 것으로, 해밀토니안 스펙트럼의 페르투르베이티브 근사화를 가능하게 하며, 혼합 상태를 통한 다항식 표현 방식을 통해 인터티너를 새롭게 정의함으로써 양자 중력 동역학의 기하학적 통찰을 제공한다.

ABSTRACT

In this thesis we consider the problem of dynamics in canonical loop quantum gravity, primarily in the context of deparametrized models, in which a scalar field is taken as a physical time variable for the dynamics of the gravitational field. The dynamics of the quantum states of the gravitational field is then generated directly by a physical Hamiltonian operator, instead of being implicitly defined through the kernel of a Hamiltonian constraint. We introduce a new construction of a Hamiltonian operator for loop quantum gravity, which has both mathematical and practical advantages in comparison to earlier proposals. Most importantly, the new Hamiltonian can be constructed as a symmetric operator, and is therefore a mathematically consistent candidate for a generator of physical time evolution in deparametrized models. We develop methods for approximately evaluating the dynamics generated by a given physical Hamiltonian, even if an exact solution to the eigenvalue problem of the Hamiltonian cannot be achieved. We also introduce a new representation for intertwiners in loop quantum gravity, based on projecting intertwiners onto coherent states of angular momentum, and in which intertwiners are represented as polynomials of certain complex variables, and operators in loop quantum gravity are expressed as differential operators acting on these variables. In addition to reviewing the results of the author's scientific work, this thesis also gives a thorough introduction to the basic framework of canonical loop quantum gravity, and a self-contained presentation of the graphical formalism for SU(2) recoupling theory, which is the invaluable tool for performing practical calculations in loop quantum gravity. The author therefore hopes that parts of this thesis could serve as a comprehensible source of information for anyone interested in learning the elements of loop quantum gravity.

연구 동기 및 목표

• 코어 루프 양자 중력 이론에서 오랫동안 해결되지 않은 수학적으로 일관되고 물리적으로 의미 있는 동역학을 수립하는 것.
• 스칼라 장을 물리적 시간으로 사용하는 재해석된 접근법을 통해 해밀토니안 제약 조건과 관련된 기술적 과제를 극복하는 것.
• 대칭성을 확보하여 유니타리 시간 진화를 보장하는 새로운 해밀토니안 연산자를 개발하고, 곡률 연산자 구성 방식을 통해 동역학을 단순화하는 것.
• 복소 변수에 대한 다항식으로 표현된 새로운 인터티너 표현 방식을 도입하여 연산자의 기하학적 해석을 가능하게 하는 것.
• 정확한 해가 구하기 어려운 경우 물리적 해밀토니안의 스펙트럼을 근사화하기 위한 실용적 방법을 제공하는 것.

제안 방법

• 최근에 제안된 곡률 연산자를 사용하여 재해석된 모델에서 새로운 물리적 해밀토니안 연산자를 구성함으로써, 대칭 연산자로서의 수학적 일관성을 확보한다.
• 해밀토니안의 유클리드 부분을 간단한 곡률 연산자 위에 작은 교란으로 간주하여 페르투르베이션 이론을 적용하며, 이는 바르베로-임머르지 매개변수 값이 큰 경우에 유효하다.
• SU(2) 혼합 상태에 프로젝션을 통해 새로운 인터티너 표현 방식을 활용하며, 인터티너를 복소 변수에 대한 다항식으로 표현하고, 연산자는 미분 연산자로 표현한다.
• 스핀 네트워크 기저에서 실질적인 계산을 수행하기 위해 SU(2) 재결합 이론의 그래픽 형식(3j-, 6j-, 9j-, 12j-기호 사용)을 적용한다.
• 그래픽 계산의 기본 정리—모든 화살표와 노드 부호를 뒤집어도 다이어그램 값이 그대로 유지됨—을 활용하여 복잡한 SU(2) 재결합 수축을 단순화하고 검증한다.
• 기존에 알려진 곡률 연산자의 고유값과 고유상태를 활용하여 전체 해밀토니안의 스펙트럼을 추정하는 수치적 근사 방법을 구현한다.

실험 결과

연구 질문

• RQ1 루프 양자 중력 이론의 재해석된 모델에 대해 수학적으로 일관되고 대칭적인 해밀토니안 연산자를 구성할 수 있는가?
• RQ2 전체 해밀토니안 고유값 문제를 해석할 수 없는 경우, 중력장의 동역학은 어떻게 근사화할 수 있는가?
• RQ3 새로운 인터티너 표현 방식을 사용하여 해밀토니안 연산자가 스핀 네트워크 상태에 작용할 때 기하학적으로 표현할 수 있는가?
• RQ4 페르투르베이션 이론는 루프 양자 중력 이론에서 큰 바르베로-임머르지 매개변수에 대해 어느 정도 적용 가능할 수 있는가?
• RQ5 SU(2) 재결합 이론의 그래픽 형식은 어떻게 체계적으로 적용되어 복잡한 연산자 행렬 요소를 단순화하고 계산할 수 있는가?

주요 결과

• 제안된 해밀토니안 연산자는 대칭적이므로, 재해석된 모델에서 물리적 시간 진화의 유니타리 생성자로서 수학적으로 일관된 후보가 된다.
• 해밀토니안 구성에서 곡률 연산자의 사용은 그 구조를 크게 단순화시켜 계산의 가능성을 높인다.
• 바르베로-임머르지 매개변수가 큰 경우, 해밀토니안의 유클리드 부분은 곡률 연산자 위의 교란으로 간주될 수 있으며, 이로 인해 표준 페르투르베이션 이론을 사용하여 전체 해밀토니안의 스펙트럼을 근사할 수 있다.
• 새로운 인터티너 표현은 인터티너를 복소 변수에 대한 다항식으로 표현하며, 연산자는 미분 연산자로 작용하여 단위 벡수가 각운동량 혼합 상태를 매개변수화하는 방식으로 기하학적 해석을 가능하게 한다.
• 화살표와 부호의 반전에 대한 기본 정리를 포함한 그래픽 형식은 12j-기호와 같은 복잡한 SU(2) 재결합 수축을 6j- 및 9j-기호의 곱으로 체계적으로 단순화할 수 있게 한다.
• 수치적 예시는 근사 방법의 실현 가능성을 확인하며, 곡률 연산자의 알려진 고유상태를 활용하여 물리적 해밀토니안의 스펙트럼을 합리적인 정확도로 추정할 수 있음을 보여준다.