[論文レビュー] Introduction to SU(2) recoupling theory and graphical methods for loop quantum gravity

Ilkka Mäkinen|arXiv (Cornell University)|Oct 15, 2019

Noncommutative and Quantum Gravity Theories被引用数 5

ひとこと要約

本稿は、ループ量子重力における実用的計算を念頭においた、SU(2)再結合理論およびその図式的形式主義についての自己完結的な入門を提供する。スピンネットワーク、インターセンターや体積、面積、曲率などの演算子を取り扱うための図式的計算体系を提示し、明示的な例題と演習を通じてスピンネットワーク基底における計算技術を習得する。

ABSTRACT

We present a pedagogical introduction to SU(2) recoupling theory, focusing on those aspects of the topic which are useful for practical calculations in loop quantum gravity. In particular, we give a self-contained presentation of the powerful graphical formalism, which is an indispensable tool for performing computations in the spin network basis of loop quantum gravity. The use of the graphical techniques in loop quantum gravity is illustrated by several detailed example calculations. Plenty of exercises are included for the benefit of the ambitious student.

研究の動機と目的

• ループ量子重力の研究者および学生向けに、SU(2)再結合理論について統一的でアクセス可能かつ自己完結的な入門を提供すること。
• 図式的形式主義を、スピンネットワーク状態やインターセンターを取り扱う強力な計算ツールとして確立すること。
• 抽象的なSU(2)表現理論と、図式的手法を用いたループ量子重力における具体的な計算の間の溝を埋めること。
• インターセンター、3j-、6j-、9j-記号、および演算子作用についての一貫性のある基準化された表記法を提供すること。
• 詳細な例題と演習を含めることで、学習と研究を支援し、ループ量子重力における主要な演算子に焦点を当てる。

提案手法

• 基本表現からスピン-jの既約表現へと至るSU(2)表現理論を展開し、表記法と慣習を確立する。
• クリービッヒ・ゴルダン係数、3j-記号、およびインターセンターを、ゲージ不変状態の数学的基盤として導入する。
• SU(2)表現を表す有向線と、インターセンターを表す頂点を用いた図式的形式主義を提示し、図の操作ルールを定義する。
• 図式的計算の基本定理を導出し、トポロジカルな移動によって複雑なテンソル縮約を代数的に簡略化可能にする。
• 形式主義を応用して、スピンネットワーク状態上での体積、面積、角度、曲率、およびユークリッドハミルトニアンといった主要な演算子の行列要素を計算する。
• 明示的な例題と演習を通じて、図式的手法がゲージ不変行列要素を計算する上でいかに効率的であるかを示す。

実験結果

リサーチクエスチョン

• RQ1 SU(2)再結合理論の図式的形式主義を、ループ量子重力における幾何的演算子の行列要素を体系的に計算するためにどのように適用できるか。
• RQ2 異なるグラフに基づくスピンネットワーク状態が正規直交となる条件は何か。
• RQ3 体積演算子は三価ノードおよび四価ノードのインターセンターにどのように作用するのか。なぜ三価ノードではゼロに収束するのか。
• RQ4 曲率演算子およびユークリッドハミルトニアン演算子はスピンネットワーク状態にどのように作用するのか。エッジの向きに依存するか。
• RQ5 図式的計算技法を用いて、非図式的計算と図式的計算の間で演算子作用の整合性をどのように検証できるか。

主な発見

• 同一のグラフ上での2つのスピンネットワーク状態の内積は、エッジスピンにおけるクロネッカーのデルタの積と、ノードにおけるインターセンターの内積の積で与えられる。
• 三価ノードにおける体積演算子の作用は、ゲージ不変性条件 ∑J_i = 0 と ϵ_ijk の反対称性によりゼロに収束する。
• ノードにおける面積演算子 Av の固有値は、表面の同一側にあるエッジの J_i^2 の和によって決定され、表面に対する相対的向きに応じた符号を有する。
• 角度演算子 ∆(e1,e2)_v と体積演算子は、ゲージ不変性を保証するガウス演算子と可換である。
• 曲率演算子 R(e1,e3)_v はスピンネットワーク状態に非自明に作用し、その行列要素はエッジ e1 と e3 の相対的向きに依存する。
• ユークリッドハミルトニアン演算子 H(e1,e2,e3)_v の行列要素は、エッジ e1, e2, e3 の向きに依存せず、図式的手法によって検証された。