[논문 리뷰] A logical treatment of special relativity, with and without faster-than-light observers

Benjamin Hoffman|arXiv (Cornell University)|2013. 06. 25.

Noncommutative and Quantum Gravity Theories참고 문헌 12인용 수 4

한 줄 요약

이 논문은 더 이상의 정의된 술어 없이 관측자와 신호를 포함하는 최소한의 술어 집합을 사용하여 특수 상대성 이론의 형식적, 일阶 논리적 공리계를 제시한다. 이는 빛보다 느린 관측자(STM)와 더 빠른 관측자(FTL)를 모두 수용한다. 이 이론의 확장된 버전에 대해 모델이 실폐쇄 순서체 위의 시공간 구조와 정확히 일치함을 보여주는 표현 정리가 수립되며, 이는 논리 체계의 완전성과 결정 가능성을 증명하고, FTL 상황에 적용 가능한 핵심 물리적 술어를 일반화한다.

ABSTRACT

There are three goals of this thesis. First: to present a concise yet accessible description of basic mathematical logic and model theory. Second: to develop an axiomatization of special relativity using only two undefined predicates. Ideally, these axioms should be empirically verifiable and supported by a large body of evidence. Finally: to weaken this axiomatization so as to allow for the existence of faster-than-light observers, which are normally excluded from the theory of special relativity. The modifications to the axiom system should be as slight as possible, and should be motivated by the question: what features of the original axiom system preclude the existence of faster-than-light observers?

연구 동기 및 목표

• 관측자와 신호 두 개의 정의되지 않은 술어만을 사용하여 특수 상대성 이론의 간결하고 경험적으로 기초가 된 일阶 논리 공리계를 개발하기 위해.
• 표준 특수 상대성 이론 프레임워크를 최소한의 공리 수정을 통해 더 빠른 관측자를 포함하도록 확장하면서 논리적 일관성을 유지하기 위해.
• 확장된 이론의 모든 모델이 실폐쇄 순서체 위의 시공간 구조와 동형임을 특징짓는 표현 정리를 제공하기 위해.
• simultaneity, betweenness, proper time 등의 핵심 물리적 술어를 STM 및 FTL 상황 모두에 적용 가능한 일반화된 형태로 확장하기 위해.
• 확장된 이론이 완전하고 결정 가능함을 증명하여, 모든 논리적 함의가 유도되고 검증될 수 있음을 보장하기 위해.

제안 방법

• 관측자와 신호의 이중 종류를 가진 구조를 사용하여 일阶 논리에서 특수 상대성 이론을 형식화하고, 전송(T)과 상대성(R)을 기본 관계로 사용하기 위해.
• Ax의 프레임워크를 기반으로 한 최소 공리계 SimpleRel을 도입하여 인과성, 신호 전파, 시공간 내 관측자의 행동을 캡처하는 공리들을 포함하기 위해.
• Minkowski 기하학과의 일관성을 유지하면서 FTL 관측자를 허용하는 AxFTL1–AxFTL3 공리들을 추가하여 시스템을 SimpleRelFTL로 확장하기 위해.
• 시공간 선 유형을 사용하여 STM 및 FTL 관측자 모두에 적용 가능한 일반화된 기하학적 술어 Bw^FTL, Eq^FTL, Sim^FTL, Δ^FTL, τ^FTL를 정의하기 위해.
• 표현 정리 증명: SimpleRelFTL의 모든 모델은 실폐쇄 순서체 F 위의 구조 M_F^FTL와 동형이며, 이는 모델과 시공간 기하학 사이의 정확한 대응 관계를 수립한다.
• 모델 이론적 도구인 원소 동치성, 정의 가능성, 완전성 등을 사용하여 확장된 이론의 논리적 성질을 분석하기 위해.

실험 결과

연구 질문

• RQ1 특수 상대성 이론을 일阶 형식 체계에서 완전히 특징지우기 위해 필요한 최소한의 논리적 공리는 무엇인가?
• RQ2 표준 특수 상대성 이론에서 더 빠른 빛의 관측자가 존재하지 않도록 하는 논리적 가정은 무엇인가?
• RQ3 더 빠르고 느린 관측자를 모두 포함하는 일관된 일阶 논리 체계를 구성할 수 있는가?
• RQ4 simultaneity와 proper time 등의 물리적 술어를 논리적 일관성을 해치지 않으면서 FTL 관측자에게도 일반화할 수 있는가?
• RQ5 FTL 관측자를 포함한 확장된 상대성 이론 체계는 완전하고 결정 가능한가?

주요 결과

• 이론 SimpleRelFTL는 완전하고 결정 가능하며, 이는 공리의 모든 논리적 함의가 도출되고 검증될 수 있음을 의미한다.
• SimpleRelFTL의 모든 모델은 실폐쇄 순서체 F 위의 구조 M_F^FTL와 동형이며, 이는 논리적 모델과 시공간 기하학 사이의 정확한 대응 관계를 수립한다.
• 관측자 a가 관측자 b와 평행하고 인과적으로 관련이 없을 경우, a에 대한 b에 대한 관련된 이중체가 존재하며 유일하게 정의된다. 이는 표현 정리를 통해 증명되었다.
• 일반화된 술어 Bw^FTL, Eq^FTL, Sim^FTL, Δ^FTL, τ^FTL는 표준 물리적 개념을 FTL 관측자에게까지 확장하며, 프레임워크 내에서 논리적으로 일관된다.
• AxFTL1–AxFTL3 공리들은 FTL 관측자를 허용하면서도 논리적 구조를 손상시키지 않으며, 이는 그들의 세계선이 필드 기반 시공간 모델에서 계면선 내에 위치하도록 보장함으로써 성공적으로 달성된다.
• 일반화된 술어를 포함한 시스템 SimpleRel^*는 원래 이론과 동일한 논리적 내용을 포괄하며, 새로운 정의가 원래 이론의 보존적 확장임을 보여준다.