[論文レビュー] A finiteness proof for the Lorentzian state sum spinfoam model for quantum general relativity

Louis Crane, Alejandro Pérez+1 more|ArXiv.org|Apr 18, 2001

Noncommutative and Quantum Gravity Theories参考文献 17被引用数 40

ひとこと要約

本稿は、任意の4次元多様体の有限三角形分割上における、一般相対性理論の量子化のためのローレンツ型状態和スピントゥーモデルの有限性を証明する。相対論的スピンネットワークを双曲空間上の多重積分として表現し、対称性を保つ正則化を適用することにより、無限次元表現や非有界領域への積分にもかかわらず、状態和が収束することを示し、ローレンツ型計量を持つ摂動的に有限な量子重力理論を確立する。

ABSTRACT

We show that the normalized Lorentzian state sum is finite on any triangulation. It thus provides a candidate for a perturbatively finite quantum theory of general relativity in four dimensions with Lorentzian signature.

研究の動機と目的

• 4次元量子一般相対性理論のローレンツ型状態和スピントゥーモデルの摂動的有限性を確立すること。
• 文献[5]および[7]で提案された正規化されたローレンツ型モデルが、任意の有限三角形分割上で有限であるかどうかという未解決の問題を解消すること。
• 無限次元ユニタリ表現および非有界領域への積分にもかかわらず、モデルが有限のまま保たれることを示すこと。
• バランスの取れた表現制約と特定の正規化が有限性を保証する役割を明確にすること。

提案手法

• モデルは、三角形分割された4次元多様体上の状態和として定義され、面ラベルはローレンツ代数のバランスの取れたユニタリ表現に対応する正の実数パラメータρfをとる。
• 相対論的スピンネットワークΘ4およびI10は、双曲空間H上の多重積分を用いて表現され、核関数Kρ(x,y) = sin(ρ d(x,y)) / (ρ sinh(d(x,y)))を用いる。
• ローレンツ不変性を保ちつつ、1つの積分を省略する正則化を適用し、有限で明確に定義されたトレースが得られる。
• I10積分の漸近的推定値は、双曲積分の境界を用いて導出され、発散を制御するために積分領域を[0,1)と[1,∞)に丁寧に分割する。
• すべての内部面に対する積分の有界性は、組合せ的分解とすべての項に対する一様な制御を用いて、状態和全体の有限性が証明される。
• 証明は[11]の技術に依拠しており、特に核関数の積分の減衰と対称性の性質の分析が中心となる。

実験結果

リサーチクエスチョン

• RQ1 ローレンツ型状態和スピントゥーモデルにおける正規化された振幅は、4次元多様体の任意の有限三角形分割上で有限であるか？
• RQ2 1つの積分を省略する正則化手順は、ローレンツ不変性を保ちつつ収束を保証するか？
• RQ3 ローレンツ型モデルにおける無限領域への積分の発散行動は、漸近的推定値と領域分割を用いて制御可能か？
• RQ4 バランスの取れた表現制約（k=0）が有限性を可能にする役割は何か？もしこれがない場合、モデルは発散するか？
• RQ5 特異的または退化した三角形分割に対しても有限性は成立するか？現在の証明はこのような場合にも拡張可能か？

主な発見

• 正規化されたローレンツ型状態和は、4次元多様体の任意の有限三角形分割上で有限であることが証明され、モデルの摂動的有限性が確立された。
• I10の個々の10J記号の有限性は、双曲積分表現における1つの積分を省略する正則化により生じ、対称性が保たれている。
• I10積分の異なる積分領域における漸近的減衰の微妙なバランスが、完全な状態和の有限性をもたらしている。
• 証明は、積分領域を[0,1)と[1,∞)に分割し、それぞれに別個の境界を適用することで、和のすべての項が有限であることを保証している。
• モデルは、バランスの取れた表現の選択と[7]からの正規化の特定の選択にのみ有限性を示しており、これらが有限性に不可欠であることが示唆される。
• 結果は退化した三角形分割には拡張されず、その場合の状態和の有限性は未解決であり、さらなる解析を要する。