[논문 리뷰] A Local Resolution of the Problem of Time. II. Configurational Relationalism via a generalization of Group Averaging

Edward Anderson|arXiv (Cornell University)|2019. 05. 15.

Topological and Geometric Data Analysis참고 문헌 37인용 수 14

한 줄 요약

이 논문은 $τ$-act $τ$-all 방법을 통해 군 평균화를 일반화하여 구성론적 관계론을 구현함으로써 양자 중력에서의 시간 문제의 한 측면을 해결한다. 군 $τ$에 대해 최적화함—군 평균화 및 inf/sup 연산 포함—은 게이지 불변의 관계적 관측가를 생성하며, 일반 상대성 이론의 운동량 제약과 더 넓은 기하학적 불변량에의 적용이 가능하다.

ABSTRACT

In this article, we consider a second Problem of Time Facet. This started life as Wheeler's Thin Sandwich Problem, within the narrow context of 1) GR-as-Geometrodynamics, in particular its momentum constraint. 2) A Lagrangian variables level treatment. Conceiving in terms of Barbour's Best Matching is a freeing from 1), now in the context of first-class linear constraints. Conceiving in terms of the underlying Background Independence aspect - the titular Configurational Relationalism - serves moreover to remove 2) as well. This is implemented by the $G$-act, $G$-all method. I.e. given an object $O$ that is not $G$-invariant, we act on it with $G$ and then apply an operation involving the whole group. This has the effect of double-cancelling the introduction of our group action, thus yielding a $G$-independent version of $O$. A first example of whole-group operation is group averaging. This is a valuable prototype by its familiarity to a large proportion of Mathematics and Physics majors through featuring in elementary Group Theory and Representation Theory courses (and which can be traced back to Cauchy). In particular, this is much more familiar than Thin Sandwiches or Best Matching! Secondly, extremization over the group, of which Best Matching, and taking infs or sups over the group, are examples. Some further significant examples of this method in modern geometry and topology include those of Kendall, Younes, Hausdorff and Gromov. In this way, we populate this approach with examples well beyond the usual GR literature's by DeWitt, Barbour and Fischer (which we also outline).

연구 동기 및 목표

• canonical 양자 중력에서 시간 문제의 두 번째 측면을 해결하는 것, 특히 일반 상대성 이론의 운동량 제약을 다루는 것.
• 일반 상대성 이론을 기하학적 역학으로 간주하고 라그랑주 수준의 공식화에 국한되지 않도록 시간 문제를 해방시키는 것.
• 군 작용과 전체 군 연산을 사용하여 게이지 불변 관측가를 구성하는 데 있어 구성론적 관계론을 보편적 프레임워크로 수립하는 것.
• 군 평균화 및 군에 대한 최적화(예: inf/sup)가 관계적 관측가를 구성하는 데 있어 근본적이고 광범위하게 적용 가능한 프로토타입임을 보여주는 것.
• 관계론의 범위를 일반 상대성 이론을 넘어서 기하학적, 위상수학적, 통계적 불변량—예를 들어, Gromov–Hausdorff 거리와 정보 이론적 구성요소—까지 확장하는 것.

제안 방법

• $τ$-act $τ$-all 방법을 도입: 군 $τ$에 대해 비불변 객체 $O$에 작용한 후, $τ$ 전역에 걸쳐 전체 연산을 적용하여 $τ$-불변 형태를 생성하는 것.
• 군 평균화를 $τ$-all 연산의 익숙한 프로토타입으로 사용하며, 이는 코시에 뿌리를 두고 있으며 표현 이론에서 표준적인 역할을 한다고 설명하는 것.
• 군 $τ$에 대해 최적화—예를 들어 하한 또는 상한 취하기—를 적용하여 베스트 매칭을 일반화하고 관계적 거리 측정법을 가능하게 하는 것.
• $τ = \mathrm{Diff}(\Sigma)$를 사용하여 일반 상대성 이론의 운동량 제약에 이 방법을 적용하며, 얇은 샌드위치 문제를 특수 케이스로 복원하는 것.
• 기하학적 불변량—예를 들어 하우스도르프 거리 및 Gromov–Hausdorff 거리—와 물리적 구성요소—엔트로피 및 분할 함수—에도 이 프레임워크를 확장하는 것.
• 관계적 구성요소 선택 기준을 제안: 직접성, 물리적 자연스러움(예: 작용 또는 정보와의 관계), 더 큰 구성공간으로의 확장 가능성.

실험 결과

연구 질문

• RQ1 일반 상대성 이론을 기하학적 역학으로 간주하지 않고도 시간 문제의 운동량 제약 측면을 어떻게 해결할 수 있는가?
• RQ2 통일된 군 이론적 방법을 통해 구성론적 관계론을 얇은 샌드위치 및 베스트 매칭 프레임워크를 넘어서 일반화할 수 있는가?
• RQ3 군 평균화 및 군에 대한 최적화가 양자 중력에서 게이지 불변의 관계적 관측가를 구성하는 데 어떤 역할을 하는가?
• RQ4 기하학과 위상수학에서 잘 알려진 수학적 구성요소—예를 들어 Gromov–Hausdorff 거리—는 이 관계론 프레임워크에 어떻게 통합될 수 있는가?
• RQ5 $τ$-act $τ$-all 연산의 광범위한 가능성 공간에서 물리적으로 의미 있는 관계적 구성요소를 선택하는 데 사용할 수 있는 기준은 무엇인가?

주요 결과

• $τ$-act $τ$-all 방법은 군 평균화와 베스트 매칭을 게이지 불변 관측가를 구성하는 보편적 프레임워크로 일반화한다.
• 코시에 뿌리를 두고 있으며 표현 이론에서 표준적인 군 평균화는 관계적 관측가의 널리 접근 가능한 프로토타입으로 기능한다.
• 군 $τ$에 대해 최적화함—하한 또는 상한 취하기 포함—은 하우스도르프 거리 및 Gromov–Hausdorff 거리와 같은 관계적 거리를 생성한다.
• 이 방법은 $τ = \mathrm{Diff}(\Sigma)$일 때 베스트 매칭의 특수 케이스로 얇은 샌드위치 문제를 복원하므로 고전적 접근과 관계론적 접근을 통합한다.
• 구성론적 관계론은 일반 상대성 이론을 초월하여 기하학적, 위상수학적, 정보 이론적 구성요소까지 확장되며, 선택 기준을 통해 물리적 관련성을 보장한다.
• 이 프레임워크는 양자, 해밀토니안, 고전 수준의 관계론 구성에 지원되며, 위상수학적 변화나 더 큰 구성공간으로의 확장에도 적용 가능하다.