[논문 리뷰] Empirical Equivalence, Artificial Gauge Freedom and a Generalized Kretschmann Objection

J. Brian Pitts|ArXiv.org|2009. 11. 28.

Quantum Mechanics and Applications참고 문헌 190인용 수 19

한 줄 요약

이 논문은 형식적으로 일반적으로 공변인 이론에서 비중복적인 시계 장의 유무가 실질적이고 형식적인 일반 공변성의 구분을 위한 원칙적인 기준이 될 수 있음을 제안한다. 인위적 게이지 자유도를 라그랑지안 우호적인 BFT 유사 절차를 통해 도입함으로써, 이론이 매개변수화를 모방하고 일반화된 Kretschmann 반론을 생성할 수 있음을 보여줌으로써, 상대성 이론에서의 이론 등가성과 부족한 경험적 결정성 문제를 분석할 수 있는 프레임워크를 제공한다.

ABSTRACT

Einstein considered general covariance to characterize the novelty of his General Theory of Relativity (GTR), but Kretschmann thought it merely a formal feature that any theory could have. The claim that GTR is "already parametrized" suggests analyzing substantive general covariance as formal general covariance achieved without hiding preferred coordinates as scalar "clock fields," much as Einstein construed general covariance as the lack of preferred coordinates. Physicists often install gauge symmetries artificially with additional fields, as in the transition from Proca's to Stueckelberg's electromagnetism. Some post-positivist philosophers, due to realist sympathies, are committed to judging Stueckelberg's electromagnetism distinct from and inferior to Proca's. By contrast, physicists identify them, the differences being gauge-dependent and hence unreal. It is often useful to install gauge freedom in theories with broken gauge symmetries (second-class constraints) using a modified Batalin-Fradkin-Tyutin (BFT) procedure. Massive GTR, for which parametrization and a Lagrangian BFT-like procedure appear to coincide, mimics GTR's general covariance apart from telltale clock fields. A generalized procedure for installing artificial gauge freedom subsumes parametrization and BFT, while being more Lagrangian-friendly than BFT, leaving any primary constraints unchanged and using a non-BFT boundary condition. Artificial gauge freedom licenses a generalized Kretschmann objection. However, features of paradigm cases of artificial gauge freedom might help to demonstrate a principled distinction between substantive and merely formal gauge symmetry.

연구 동기 및 목표

• 일반 상대성 이론에서 실질적 일반 공변성과 형식적 일반 공변성의 구분 문제를 철학적으로 해결하기 위해.
• 일반 공변성이 단지 형식적 특성일 뿐이라는 Kretschmann 반론을 해결하기 위해, 비트러널이고 물리적으로 의미 있는 게이지 자유도의 기준을 규명하기 위해.
• 시계 장과 수정된 BFT 절차를 통한 인위적 게이지 자유도가 이론 등가성과 경험적 부족 결정성 문제를 어떻게 명확히 할 수 있는지 탐색하기 위해.
• 시계 장의 부재를 핵심 진단 기준으로 삼아, 진정으로 일반 공변성을 갖는 이론을 물리적이고 철학적으로 일관된 기준으로 식별하기 위해.
• 매개변수화된 중력, 질량 있는 게이지 이론, 제약 동역학의 통찰을 통합하여 게이지 대칭성과 등가성 분석을 위한 일반화된 프레임워크를 구축하기 위해.

제안 방법

• 시계 장(선형 장을 사용해 선호되는 좌표를 표현하는 데 쓰이는 장)이 GTR에는 없고 다른 형태에서는 존재하는 '이미 매개변수화된' 이론 개념을 사용한다.
• 2차 제약을 1차 제약으로 전환하기 위해 수정된 Batalin-Fradkin-Tyutin(BFT) 절차를 적용하며, 주된 제약을 유지하고 BFT가 아닌 경계 조건을 사용한다.
• 이 일반화된 절차가 질량 있는 이론(예: 질량 있는 전기역학, 질량 있는 GTR)에서 인위적 게이지 자유도를 생성함을 보여주며, Stueckelberg의 표현과 유사하다.
• 이로 인한 이론을 분석하여, 인위적 게이지 자유도가 대수적 게이지 매개변수와 중복된 장 방정정식을 초래함을 보여주며, 자연스러운 게이지 대칭과의 차이를 드러낸다.
• 인위적 게이지 자유도와 자연스러운 게이지 자유도의 행동을 비교: 인위적 경우는 국소적으로 게이지 고정이 가능하지만, 자연스러운 경우는 종종 고정 시 비국소적 표현으로 이어진다.
• 질량 있는 GTR에 이 프레임워크를 적용하여, 명시적 시계 장 없이도 GTR의 일반 공변성을 재현함을 보여주며, 시계 장 부재가 실질적 일반 공변성의 징후임을 지지한다.

실험 결과

연구 질문

• RQ1 물리적으로 의미 있는 방식으로 실질적 일반 공변성과 형식적 일반 공변성을 어떻게 구분할 수 있는가?
• RQ2 broken 게이지 대칭을 가진 이론에서 인위적 게이지 자유도를 체계적으로 생성할 수 있으며, 이는 매개변수화와 시계 장과 어떻게 관련되는가?
• RQ3 시계 장의 유무가 상대론적 장 이론에서 일반 공변성의 물리적 내용과 어떻게 관련되는가?
• RQ4 인위적 게이지 자유도를 어떻게 활용하여 일반화된 Kretschmann 반론을 제기할 수 있으며, 자연스러운 게이지 대칭과의 구조적 차이를 식별함으로써 이러한 반론을 어떻게 해결할 수 있는가?
• RQ5 장 방정정식과 게이지 고정 행동 측면에서, Stueckelberg나 질량 있는 GTR의 인위적 게이지 자유도와 질량 없는 양-밀스 또는 전기역학의 자연스러운 게이지 자유도를 어떻게 구별할 수 있는가?

주요 결과

• 형식적으로 일반 공변인 이론에서 비중복적인 시계 장이 없으면, 이는 실질적으로 일반 공변임을 정확히 식별하며, 변분 기준이나 절대 대상 기준의 대안으로 원칙적인 기준을 제공한다.
• 라그랑지안 친화적인 BFT 절차의 수정을 통해 인위적 게이지 자유도를 체계적으로 생성할 수 있으며, 이는 주된 제약을 유지하고 전체 BFT 캐논ical 변환의 필요성을 피한다.
• 이 일반화된 절차를 Proca 이론에 적용하면 Stueckelberg의 표현 방식이 자연스럽게 유도되며, 이는 알려진 물리적 사례에서의 유용성을 입증한다.
• 인위적 게이지 자유도를 갖는 질량 있는 GTR는 명시적 시계 장 없이도 표준 GTR의 일반 공변성을 재현하며, 이는 기준이 파라다임적인 사례와 일관됨을 확인한다.
• 인위적 게이지 자유도를 갖는 이론은 대수적 게이지 매개변수와 중복된 장 방정정식을 보이며, 자연스러운 게이지 대칭은 종종 게이지 고정 시 비국소적 표현을 유도함을 시사하며, 물리적 구분이 있음을 나타낸다.
• 인위적 게이지 자유도는 게이지 대칭이 단지 형식적일 뿐이라는 주장인 일반화된 Kretschmann 반론을 생성할 수 있는 메커니즘을 제공하며, 同시에 장 내용과 동역학의 구조적 차이를 통해 이러한 반론을 해결할 수 있는 도구도 제공한다.