[论文解读] 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}$ 為單射且完全保留格結構，確保約束與觀測量子代數之間的一一對應。
• 該框架成功涵蓋關係力學與超引力等範例，其中標準的庫查爾或狄拉克觀測量不足或定義不清，展現其更廣泛的適用性。