[논문 리뷰] Diffeomorphism-invariant observables and dynamical frames in gravity: reconciling bulk locality with general covariance

Christophe Goeller, Philipp A. Hoehn외 1명|arXiv (Cornell University)|2022. 06. 02.

Geophysics and Sensor Technology인용 수 15

한 줄 요약

이 논문은 일반 공변성 중력 이론에서 동적 기준 프레임을 구성하기 위한 완전히 비섭동적이고 미분형식 불변인 프레임워크를 제안한다. 보편적인 드레싱 공간과 장에 의존하는 프레임으로 구성된 관계적 아틀라스를 사용함으로써, 새로운 '관계적 국소성'의 개념을 만족하는 관계적 관측량을 정의한다. 이는 미세causality를 충족시키고, 국소적 봉우리 동역학을 지원하며, 국소적 중력 물리학이 일반 공변성과 호환되지 않는다는 주장을 반박한다.

ABSTRACT

We describe a completely general and fully non-perturbative framework for constructing dynamical reference frames in generally covariant theories, and for understanding the gauge-invariant observables that they yield. Our approach makes use of a 'universal dressing space', which contains as a subset every possible dynamical frame. We describe examples of such frames, including matter frames, a popular construction based on boundary-anchored geodesics and one using minimal surfaces -- but our formalism does not depend on the existence of a boundary. The class of observables we construct generalises and unifies the dressed and relational approaches to constructing gravitational observables, including single-integral and canonical power-series constructions. All these (possibly gravitationally charged) relational observables describe physics in a precise sense relative to the dynamical frame and respect a notion of 'relational' locality based on the relationships between fields. By using 'relational atlases', i.e. collections of dynamical frames glued together by field-dependent maps (which are relational observables too), we can construct relationally local observables throughout spacetime. This further establishes a framework for dynamical frame covariance that permits us to change between arbitrary relational frame perspectives. Relational locality obeys many desirable properties: we prove that it satisfies microcausality in the bulk (in tension with previous work done mainly in a perturbative setting which we comment on), and show that it permits a relational version of local bulk dynamics. Relational locality is therefore arguably more physically meaningful than the ordinary notion of locality. Thus, our formalism -- which we argue to be an updated, gauge-invariant version of general covariance -- refutes the commonly claimed non-existence of local gravitational bulk physics.

연구 동기 및 목표

• 일반 공변성과 봉우리 국소성 간의 갈등을 해결하기 위해 물리적 국소성의 정의를 재정의함으로써 양자 중력 이론에서의 문제를 해결하는 것.
• 고정 배경 구조에 의존하지 않고 게이지 불변이며 물리적으로 의미 있는 관측량을 일반 공변 이론에서 구성하는 것.
• 기존의 관계적 관측량과 드레싱 관측량 등의 접근법을 통합하고 일반화하여 하나의 비섭동적 형식론으로 만드는 것.
• 미세causality를 충족하고 봉우리에서 국소적 동역학을 지원하는 관계적 국소성의 개념을 확립하는 것.
• 동적 기준 프레임을 기반으로 구성할 경우 국소적 중력 물리학이 비단 가능할 뿐 아니라 근본적이라는 것을 보여주는 것.

제안 방법

• 모든 가능한 동적 기준 프레임을 포함하는 보편적인 드레싱 공간을 도입하여 기준 프레임에 의존하는 관측량을 통합적으로 다룰 수 있도록 하는 것.
• 물리적 장과 관계적 기준 구조를 연결하는 장에 의존하는 사상(프레임)을 통해 관계적 관측량을 정의하는 것.
• 겹치는 동적 기준 프레임들로 이루어진 관계적 아틀라스를 구성하며, 이들 간의 전이 사상은 장에 의존하고, 그 자체로 관계적 관측량이 되도록 하는 것.
• 해결책 공간 위의 프레시미플렉틱 형식을 사용하여, 관계적 장 구성과 기준 프레임 사상에 기반한 해밀토니안 구조를 유도하는 것.
• 공변 위상공간 형식론을 적용하여 프레시미플렉틱 전류를 관계적 변수로 표현함으로써 게이지 불변성과 공변성을 확보하는 것.
• 무한소 기준 프레임 변화를 묘사하고 공변 장 공간 외부 미분 $ \delta_R $ 를 정의하기 위해 장 공간 위에 마우러-카르탕 유사 형식 $ V_R $ 를 유도하는 것.

실험 결과

연구 질문

• RQ1 일반 공변성과 호환되는 완전히 비섭동적 배경 독립적 프레임워크를 구성할 수 있는가? 이는 일반 공변성을 존중하는 물리적 관측량을 도출할 수 있는가?
• RQ2 미분형식 불변성과 호환되며 국소적 동역학을 지원하는 중력에서의 국소성 개념을 어떻게 정의할 수 있는가?
• RQ3 고정된 시공간 배경이 없는 상황에서도, 봉우리에서 미세causality를 충족하는 관계적 관측량을 구성할 수 있는가?
• RQ4 동적 기준 프레임들을 체계적으로 관계적 아틀라스로 조합하여 전역적 일관성과 관계적 공변성을 확보할 수 있는가?
• RQ5 일般 공변 이론에서 물리적으로 의미 있는 시간 진동과 부분계의 동역학을 회복할 수 있는가?

주요 결과

• 이 프레임워크는 일반 공변성을 존중하는 비자명한 관계적 국소성에서의 게이지 불변 관측량을 구성하여 일반 공변성과 봉우리 국소성 간의 갈등을 해결한다.
• 동적 기준 프레임 내의 장 간의 관계를 통해 정의된 관계적 국소성은 봉우리에서 미세causality를 충족한다—이전의 섭동적 결과들이 비국소성을 암시한 것과는 반대로.
• 이 형식론은 단일-적분, 급수 전개, 드레싱 관측량 등 기존의 접근법을 통합하고 일반화하여 하나의 비섭동적 형식론으로 통합한다.
• 관계적 아틀라스를 통해 일관되고 장에 의존하는 기준 프레임의 변화를 가능하게 하여, 동적 기준 프레임 공변성의 개념을 확립한다.
• 관계적 변수로 표현된 프레시미플렉틱 형식의 구성은 동적 기준 프레임에 의한 장 재정의 하에서 해밀토니안 구조의 일관성을 확인한다.
• 논문은 관계적 관측량을 기반으로 구성할 경우 국소적 중력 물리학이 비단 가능할 뿐 아니라 근본적이라는 주장을 펼치며, 그 존재가 불가능하다는 주장에 반박한다.