[논문 리뷰] On Types of Observables in Constrained Theories

Edward Anderson|arXiv (Cornell University)|2016. 04. 19.

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.

연구 동기 및 목표

• 기존의 관측 가능성 개념—특히 쿠차르 관측 가능성이 포함하지 못하는 물리적으로 관련된 양을 모두 다룰 수 있도록 보완하기 위해.
• 제약이 순수하게 선형적이거나 이차가 아닐 경우 관측 가능성을 정의할 때 발생하는 개념적·기술적 모호함을 해결하기 위해.
• 다양한 물리계열, 예를 들어 상대론적 기하학 이론과 초위력학을 포함한 다양한 물리계에서 관측 가능성을 일반화하는 통합된 수학적 프레임워크를 제공하기 위해.
• 관측 가능성과 그에 관련된 제약 대수적 부분구조가 유계 격자(bounded lattices)를 이룬다는 것을 확립하여 체계적인 분류와 분석이 가능하게 하기 위해.
• 관측 가능성이 제약 대수의 대수적 부분구조와 연결되어 있음을 통해 물리적 정보만을 유지함으로써 관측 가능성의 물리적 의미를 명확히 하기 위해.

제안 방법

• 제약의 닫힌 대수적 부분구조와 약하게 교환되는 양을 A-관측 가능성으로 정의하여, 디라크 및 쿠차르 관측 가능성을 일반화한다.
• 포아송 괄호를 사용하여 조건 $\{\mathcal{F}_{\text{lin}}, O\} \approx 0$ 을 수식화하며, 여기서 $\mathcal{F}_{\text{lin}}$ 은 제1종 선형 제약의 부분대수이다.
• 제약 부분대수에서 해당 관측 가능 부분대수로의 사상 $\text{Assoc}$ 를 도입하고, 이것이 순서를 반전시키는 격자 준동형사상임을 보인다.
• 하세 다이어그램과 부분순서집합(posets)을 통해 제약 및 관측 가능 부분대수의 계층을 표현하며, 합(join)과 교집합(meet) 연산을 통해 격자 구조를 정의한다.
• 제약 대수적 부분구조와 그로 인해 유도된 A-관측 가능성이 모두 유계 격자를 이룬다는 것을 보이며, 0(자명한) 및 1(전체 대수) 원소를 포함한다.
• 관계 기반 역학, 약간의 비균일한 우주론, 초위력학 등에 이 프레임워크를 적용하여, 표준 쿠차르 또는 디라크 사례를 넘어서도 일반성을 유지함을 보여준다.

실험 결과

연구 질문

• RQ1 제약 해밀토니안 이론에서 쿠차르 관측 가능성이 가지는 한계를 넘어서, 관측 가능성을 일반화한 통합 프레임워크를 어떻게 구성할 수 있는가?
• RQ2 제약 부분대수에 의해 정의된 관측 가능성의 계층에 대한 수학적 구조는 무엇이며, 이는 물리적 의미와 어떻게 관련되는가?
• RQ3 디라크, 쿠차르, 비제약 관측 가능성이 A-관측 가능성의 더 넓은 범주 내에서 특수한 경우로 어떻게 나타나는가?
• RQ4 제약 부분대수와 관측 가능 부분대수 사이의 사상이 순서 정보를 어떻게 유지하거나 조각내는가? 이 사상이 언제 단사(injective)인가?
• RQ5 A-관측 가능성의 격자 이론적 구조를 활용하여 초위력학이나 관계 기반 역학과 같은 복잡한 이론에서 물리적 양을 체계적으로 분류하고 분석할 수 있는가?

주요 결과

• A-관측 가능성이 제약의 닫힌 대수적 부분구조와 약하게 교환되는 양으로 정의되며, 이는 디라크 및 쿠차르 관측 가능성을 일반화한다.
• 모든 A-관측 가능성의 집합은 유계 격자를 이룬다. 여기서 비제약 관측 가능성은 최상위 원소이고, 디라크 관측 가능성은 최하위 원소이다.
• 제약 부분대수에서 관측 가능 부분대수로의 사상 $\text{Assoc}$ 는 순서를 반전시키는 격자 준동형사상이며, 제약을 추가할수록 관측 가능성이 줄어든다는 것을 반영한다.
• 등각적 관계 기반 역학과 같은 경우, $\text{Assoc}$ 는 다对다일 수 있으며, 이는 여러 제약 부분대수가 동일한 관측 가능 부분대수를 생성할 수 있음을 의미한다. 이는 조각내기(coarse-graining)를 유도한다.
• 대부분의 물리계, 예를 들어 일반 상대성 이론과 전자기학에서는 $\text{Assoc}$ 가 단사적이며 격자 구조를 완전히 유지하므로 제약 부분대수와 관측 가능 부분대수 사이에 일대일 대응이 보장된다.
• 이 프레임워크는 표준 쿠차르나 디라크 관측 가능성이 부족하거나 정의되지 않는 관계 기반 역학 및 초위력학의 예제를 성공적으로 다루며, 더 넓은 적용 가능성을 입증한다.