[論文レビュー] General Covariance and the "Problem of Time" in a Discrete Cosmology

Graham Brightwell, Fay Dowker+3 more|ArXiv.org|Feb 27, 2002

Cosmology and Gravitation Theories参考文献 15被引用数 29

ひとこと要約

本稿は、離散的量子重力における時間の問題に取り組み、特定の有限な因果的順序構造（スティーム）の存在に基づく述語である「スティーム集合」——因果セットにおけるスティームの部分順序として現れる可能性がある有限因果セットSに基づく——が、一般共変な確率的力学における基本的測定可能観測量であると提唱する。主な結果は、これらのスティームに基づく述語が一般共変かつ有限時間で検証可能であるため、因果セット量子重力における時間の問題に対する実現可能な解決策を提供することにある。

ABSTRACT

Identifying an appropriate set of ``observables'' is a nontrivial task for most approaches to quantum gravity. We describe how it may be accomplished in the context of a recently proposed family of stochastic (but classical) dynamical laws for causal sets. The underlying idea should work equally well in the quantum case.

研究の動機と目的

• 離散的時空枠組みにおける物理的に意味のある一般共変な観測量を同定することで、量子重力における時間の問題を解決すること。
• 因果セットの力学が一般共変性を尊重しつつも測定可能な予測を可能にする方法で定式化できることを示すこと。
• 有限な因果的順序構造（スティーム）の存在によって定義されるスティーム述語が、一般共変性と有限時間での検証可能性の両方に適合する、実現可能な観測量のクラスを提供すること。
• すべての物理的に関連する観測量がスティーム述語から構成可能であるという予想が、離散的量子重力における解釈的問題を解決するかどうかを検討すること。
• 複数の同型なスティームが存在する状況において、標準的な測度を超えて論理的に独立した条件付き確率の概念が必要かどうかを検討すること。

提案手法

• 離散的一般共変性とベル因果性を満たす因果セット（causets）上の確率的力学的プロセスを定義する。
• Sを有限因果セット（「スティーム」として）とし、R(S)を基本的測定可能述語（スティーム集合）として導入する。Sは、完全な因果セット内に部分順序として現れる可能性がある。
• スティーム述語の真偽は有限時間で検証可能であることが保証されるが、偽であることは無限極限でのみ確定する。
• 因果セットの空間上の測度μを用いてスティーム集合に確率を割り当て、一般共変性と整合性を保つ。
• スティーム述語が生成する可測集合の代数に注目することで、力学の予測的構造を分析する。
• 複数の同型なスティームが存在する場合における条件付き確率の役割を検討し、標準的な測度が十分かどうかを評価する。

実験結果

リサーチクエスチョン

• RQ1 離散的量子重力における時間の問題が、一般共変かつ有限時間で検証可能な観測量のクラスを同定することで解決可能かどうか。
• RQ2 因果セット力学におけるすべての物理的に関連する観測量が、スティームに基づく述語からどの程度構成可能か。
• RQ3 複数の同型なスティームが存在する状況において、標準的な条件付き確率の概念が十分かどうか。あるいは、特定のスティーム（「この特定のスティーム」）を区別するために、新しい形式的体系が必要かどうか。
• RQ4 離散的一般共変性とベル因果性によって定義される因果セットの確率的力学が、因果セット空間上に一貫した測度をどのように導くか。
• RQ5 この枠組みを完全な量子重力に一般化する際、量子測度の役割は何か。また、その移行に伴って生じる技術的課題は何か。

主な発見

• スティーム集合R(S)は一般共変であり、有限時間で検証可能であるため、離散的力学理論における物理的観測量として適している。
• スティーム述語の真偽は有限観測によって決定可能であるが、偽であることは無限極限でのみ確定するが、実用上は有限時間で反証可能である。
• すべての物理的に関連する観測量がスティーム述語から構成可能であるという予想が証明されれば、このクラスのモデルにおける時間の問題が解決される。
• この枠組みは、時空的性質が初期段階から因果セット構造に組み込まれているため、正準的量子重力における「凍結形式」問題を回避する。
• 離散的一般共変性とベル因果性に基づく力学は、自然に一般共変性と整合する可測集合を持つ確率的過程を導く。
• 複数の同型なスティームが存在する状況において、論理的に独立した新たな条件付き確率の概念が必要になる可能性が提起され、形式的体系における潜在的な未解決問題を示唆している。