[論文レビュー] On Types of Observables in Constrained Theories

Edward Anderson|arXiv (Cornell University)|Apr 19, 2016

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

ひとこと要約

本稿では、制約付きハミルトニアン理論における観測可能量の一般化枠組みであるA-観測可能量を導入する。これは制約の閉じた代数的部分構造に基づいて定義され、ディラック、クチャール、非制約付き観測可能量が統一的なラティス的構造内での特殊ケースとして含まれることを示し、超重力や関係的力学といった多様な物理理論における観測可能量の定義の曖昧さを解消する。

ABSTRACT

The Kuchar observables notion is shown to apply only to a limited range of theories. Relational mechanics, slightly inhomogeneous cosmology and supergravity are used as examples that require further notions of observables. A suitably general notion of A-observables is then given to cover all of these cases. `A' here stands for `algebraic substructure'; A-observables can be defined by association with each closed algebraic substructure of a theory's constraints. Both constrained algebraic structures and associated notions of A-observables form bounded lattices.

研究の動機と目的

• 既存の観測可能量の概念—特にクチャール観測可能量—の限界を克服し、制約付き理論における物理的に関連する量をすべてカバーできるようにすること。
• 制約が純粋に線形的または二次的でない場合に観測可能量を定義する際の概念的・技術的曖昧さを解消すること。
• 関係的力学や超重力といった多様な物理系にわたる観測可能量のタイプを一般化する統一的な数学的枠組みを提供すること。
• 観測可能量とそれに関連する制約代数的部分構造が有界ラティスを形成することを確立し、体系的な分類と解析を可能にすること。
• 観測可能量と制約代数の代数的部分構造を結びつけることで、物理的内容を明確にし、物理的情報のみを保持することを保証すること。

提案手法

• 制約の閉じた代数的部分構造と弱く可換する量としてA-観測可能量を定義し、ディラックおよびクチャール観測可能量を一般化する。
• ポアソン括弧を用いて条件 $\{\mathcal{F}_{\text{lin}}, O\} \approx 0$ を形式化し、ここで $\mathcal{F}_{\text{lin}}$ は第一類線形制約の部分代数を表す。
• 制約部分代数から対応する観測可能量部分代数への写像 $\text{Assoc}$ を導入し、これが順序反転ラティス準同型であることを示す。
• ハッセ図およびポセットを用いて制約と観測可能量の部分代数の階層を表現し、結合および交わりの演算によってラティス構造を定義する。
• 制約代数的部分構造およびそれによって得られるA-観測可能量が、0（自明）および1（完全な代数）をもつ有界ラティスを形成することを示す。
• 関係的力学、わずかに非一様な宇宙論、超重力といった具体例にこの枠組みを適用し、標準的なクチャールまたはディラックの場合を超える一般性を示す。

実験結果

リサーチクエスチョン

• RQ1 制約付きハミルトニアン理論におけるクチャール観測可能量の限界を超えて、観測可能量の概念を一般化する統一的枠組みをどのように構築できるか。
• RQ2 制約部分代数によって定義される観測可能量の階層の背後にある数学的構造は何か。また、それは物理的内容とどのように関係するか。
• RQ3 ディラック、クチャール、非制約付き観測可能量が、A-観測可能量の広いクラス内での特殊ケースとしてどのように現れるか。
• RQ4 制約部分代数と観測可能量部分代数との間の関連性は、順序情報の保存または粗粒度化をどのように保つのか。また、この写像が単射であるのはどのような場合か。
• RQ5 A-観測可能量のラティス的構造を用いて、超重力や関係的力学のような複雑な理論における物理的量を体系的に分類・解析できるか。

主な発見

• A-観測可能量は、制約の閉じた代数的部分構造と弱く可換する量として定義され、ディラックおよびクチャール観測可能量を一般化する。
• すべてのA-観測可能量の集合は有界ラティスを形成し、非制約付き観測可能量が上部要素、ディラック観測可能量が下部要素として位置づけられる。
• 制約部分代数から観測可能量部分代数への写像 $\text{Assoc}$ は順序反転ラティス準同型であり、制約を追加することで観測可能量の自由度が減少することを反映している。
• 共形的関係的力学のような状況では、$\text{Assoc}$ は多対一になり得る。これは、複数の制約部分代数が同じ観測可能量代数をもたらす可能性を示し、粗粒度化が生じることを意味する。
• 一般相対性理論や電磁気学を含む大多数の物理系では、$\text{Assoc}$ は単射であり、ラティス構造を完全に保存する。これにより、制約部分代数と観測可能量部分代数の間に一対一対応が保証される。
• 本枠組みは、関係的力学や超重力といった、標準的なクチャールまたはディラック観測可能量が不十分または定義されない例に対しても適切に適用可能であり、そのより広範な適用可能性を示している。