[논문 리뷰] Groups of Worldview Transformations Implied by Isotropy of Space

Judit X. Madarász, Mike Stannett외 1명|arXiv (Cornell University)|2020. 07. 28.

History and Theory of Mathematics인용 수 1

한 줄 요약

이 논문은 (1+3)차원 시공간에서 관성 관측자 간의 세계관 변환군이 간단히 공간의 등방성만을 가정할 경우, 간단히 갈릴레이, 파oincaré, 또는 유클리드等운동의 부분군이어야 한다는 것을 보여준다. 유클리드 순서체 Q 위에서의 일阶논리(formal logic)를 사용하여, 저자들은 등방성이 유일하게 결정하는 운동학적 군이 속도(빛의 속도 또는 기하 척도)를 매개변수로 하는 세 가지 물리적 가능성을 제공함을 증명한다: 고전적, 상대론적, 유클리드 운동학.

ABSTRACT

Given any Euclidean ordered field, $Q$, and any 'reasonable' group, $G$, of (1+3)-dimensional spacetime symmetries, we show how to construct a model $M_{G}$ of kinematics for which the set $W$ of worldview transformations between inertial observers satisfies $W=G$. This holds in particular for all relevant subgroups of $Gal$, $cPoi$, and $cEucl$ (the groups of Galilean, Poincar\'e and Euclidean transformations, respectively, where $c\in Q$ is a model-specific parameter orresponding to the speed of light in the case of Poincar\'e transformations). In doing so, by an elementary geometrical proof, we demonstrate our main contribution: spatial isotropy is enough to entail that the set $W$ of worldview transformations satisfies either $W\subseteq Gal$, $W\subseteq cPoi$, or $W\subseteq cEucl$ for some $c>0$. So assuming spatial isotropy is enough to prove that there are only 3 possible cases: either the world is classical (the worldview transformations between inertial observers are Galilean transformations); the world is relativistic (the worldview transformations are Poincar\'e transformations); or the world is Euclidean (which gives a nonstandard kinematical interpretation to Euclidean geometry). This result considerably extends previous results in this field, which assume a priori the (strictly stronger) special principle of relativity, while also restricting the choice of $Q$ to the field of reals. As part of this work, we also prove the rather surprising result that, for any $G$ containing translations and rotations fixing the time-axis $t$, the requirement that $G$ be a subgroup of one of the groups $Gal$, $cPoi$ or $cEucl$ is logically equivalent to the somewhat simpler requirement that, for all $g\in G$: $g[t]$ is a line, and if $g[t]=t$ then $g$ is a trivial transformation (i.e. $g$ is a linear transformation that preserves Euclidean length and fixes the time-axis setwise).

연구 동기 및 목표

• 공간의 등방성만으로, 특수상대성원리 전체를 가정하지 않고도 시공간 내 관성 관측자 간의 세계관 변환군의 구조가 유도되는지 조사하는 것.
• 이전 결과들이 실수체 R과 특수상대성원리 전체를 가정해야만 작동했음을 고려하여, 임의의 유클리드 순서체 Q 위로 이를 일반화하는 것.
• 등방성이 세계관 변환군 W가 어떤 c > 0에 대해 갈릴레이(Gal), 파oincaré(cPoi), 또는 유클리드(cEucl)의 세 가지 표준군 중 하나의 부분군에 포함됨을 보여주는 것.
• G가 Gal, cPoi, 또는 cEucl의 부분군임과 동치인 논리적 조건을 확립하는 것: 모든 g ∈ G에 대해 g[t]가 직선이며, g[t] = t 이면 g는 자명함.
• 모든 합리적인 대칭군 G에 대해, 세계관 변환 W가 정확히 G와 일치하도록 하는 모델 MG를 구축하는 것. 이는 등방성과 기본 체 공리만을 사용한다.

제안 방법

• 관측자(IOb)와 양수(Q)를 포함하는 이종(first-order) 언어에서 운동학을 형식화하며, Q는 유클리드 순서체(모든 음이 아닌 원소가 제곱근을 가짐)이다.
• 세계관 변환 wkh: Q⁴ → Q⁴를 정의하여, 한 관측자의 좌표계에서의 사건을 다른 관측자의 좌표계로 매핑함. 모든 관측자가 동일한 시공간 사건을 좌표화하도록 보장한다.
• 핵심 기하 조건 도입: 모든 g ∈ G에 대해 g[t]는 직선이며, g[t] = t 이면 g는 자명함 (시간축을 고정하고 유클리드 길이를 유지함).
• 이 조건이 등방성 하에서 G가 Gal, cPoi, 또는 cEucl의 부분군임과 논리적으로 동치임을 증명함.
• 시간 지연 공식에서 유도된 매개변수 κ를 사용하여 군을 분류함: κ > 0 → cPoi, κ < 0 → cEucl, κ = 0 → Gal.
• 모델 구축 정리(정리 5.3)를 사용하여, 임의의 이러한 G에 대해 모델 MG를 구성함. 각 경우에서 W = G임을 보장한다.

실험 결과

연구 질문

• RQ1 공간의 등방성만으로도 세계관 변환군이 Gal, cPoi, 또는 cEucl에 제한됨을 유도할 수 있는가?
• RQ2 세 운동학적 군을 도출하기 위해 실수체 R을 가정할 필요가 있는가, 아니면 이를 임의의 유클리드 순서체로 일반화할 수 있는가?
• RQ3 세계관 변환의 구조를 도출하기 위해 특수상대성원리를 가정할 필요가 있는가, 아니면 등방성만으로도 충분한가?
• RQ4 G가 시간축을 고정하고 이를 직선으로 매핑한다는 조건이 전체 군 구조 가정의 최소 대체 조건으로 사용될 수 있는가?
• RQ5 모든 변환이 자명한 경우(즉, 움직이는 관측자가 존재하지 않는 경우) 분류에 어떤 일이 일어나는가?

주요 결과

• 공간의 등방성만으로도 관성 관측자 간의 세계관 변환군 W가 어떤 c > 0에 대해 Gal, cPoi, 또는 cEucl 중 하나의 부분군에 포함됨을 암시한다.
• 분류는 단 하나의 매개변수 κ에 의해 결정됨: κ > 0 이면 W ⊆ cPoi(상대론적 경우); κ < 0 이면 W ⊆ cEucl(유클리드 경우); κ = 0 이면 W ⊆ Gal(고전적 경우).
• G가 Gal, cPoi, 또는 cEucl의 부분군임의 조건은 기하 조건과 논리적으로 동치임을 보여줌: 모든 g ∈ G에 대해 g[t]는 직선이며, g[t] = t 이면 g는 자명함.
• 시간축을 고정하고 이동 및 회전을 포함하는 합리적인 대칭군 G에 대해, 세계관 변환 W가 정확히 G와 일치하는 모델 MG가 존재함.
• 움직이는 관측자(비자명한 변환)의 존재는, κ > 0, κ < 0, 또는 κ = 0에 따라 시계가 느리게, 빨리, 또는 정확하게 작동함을 의미함.
• 모델 구축 과정은 임의의 유클리드 순서체 Q에서 일관되게 수행되며, 실수체 R이 분류에 필수적인 것이 아니며, 이전 결과들이 R을 가정한 것은 과도하게 제한적이었다는 것을 보여준다.