Conventionalism in general relativity?: formal existence proofs and Reichenbach's theorem {\theta} in context

이 논문은 일반상대성이론의 기하학적 구조에 대한 리히헨바흐의 '테오렘 세타'가 기존 연구에서 제기된 강력한 반박 (no-go theorem) 에 의해 무효화되지 않음을 보이며, 오히려 해당 증명의 전제를 명확히 구분하고 확장함으로써 대체 시공간 이론들을 체계적으로 탐구하는 데 유용한 방법론적 틀을 제시합니다.

핵심

이 논문은 물리학과 철학의 경계에 있는 매우 까다로운 주제를 다루고 있습니다. 어렵게 들릴 수 있는 '일반 상대성 이론'과 '기하학의 관례성 (Conventionality)'에 대한 논쟁을, 누구나 이해할 수 있는 비유와 쉬운 언어로 설명해 드리겠습니다.

🌍 핵심 주제: "우주라는 지도는 정말 하나뿐일까?"

이 논문의 중심에는 **"우리가 우주의 모양 (기하학) 을 어떻게 정의하느냐는 사실 (Fact) 이 아니라, 우리가 선택한 규칙 (관례) 에 불과한 것일까?"**라는 질문이 있습니다.

예를 들어, 우주를 구형으로 볼 수도 있고, 평평하게 볼 수도 있습니다. 만약 우리가 우주를 평평하게 보기로 '약속'을 한다면, 그 대신에 눈에 보이지 않는 어떤 '보이지 않는 힘 (Universal Force)'이 물체를 구부러지게 만든다고 설명할 수 있을까요?

과거의 철학자 (라이헨바흐 등) 는 "아니요, 우주의 모양은 우리가 정하는 약속일 뿐입니다. 어떤 모양으로 정하든, 보이지 않는 힘을 적절히 섞으면 똑같은 현상을 설명할 수 있어요"라고 주장했습니다. 이를 **'라이헨바흐의 정리 (Theorem $\theta$)'**라고 부릅니다.

🕵️‍♂️ 이전 연구: "그건 안 돼!" (웨더올과 만작의 주장)

2014 년, 두 명의 물리학자 (웨더올과 만작) 는 "그렇지 않아. 아인슈타인의 일반 상대성 이론에서는 우주의 모양을 마음대로 바꿀 수 없어. 보이지 않는 힘을 더한다고 해도, 우주의 기하학적 구조를 바꾸면 설명이 안 되는 경우가 생기는 거야"라고 증명했습니다.

그들은 "우주라는 지도를 바꾼다면, 그 차이를 메꾸기 위한 '힘'이 수학적으로 존재할 수 없다"는 것을 보였습니다. 즉, 우주의 모양은 우리가 마음대로 정할 수 있는 '약속'이 아니라, 우주의 진짜 '사실'이다라고 주장한 셈입니다.

⚔️ 새로운 논쟁: "그건 함정이다!" (뒤어와 벤 - 메나헴의 반박)

하지만 다른 철학자들 (뒤어와 벤 - 메나헴) 은 "아니야, 그 증명에는 너무 많은 가정이 들어있어. 그 가정들을 깨면 다시 우주의 모양을 마음대로 바꿀 수 있어"라고 반박했습니다. 그들은 "그건 '아니오'라는 결론을 내리는 '노 - 고 (No-go)' 정리일 뿐, 우리가 우주의 모양을 바꿀 수 있는 모든 가능성을 차단한 건 아니야"라고 말했습니다.

📝 이 논문의 주인공: "무더기 (Mulder) 의 해법"

이 논문의 저자 (루워드 멀더) 는 이 두 진영의 싸움을 정리하며 다음과 같은 중요한 점을 지적합니다.

1. 두 가지 다른 질문을 혼동하고 있었다

이 논쟁은 사실 두 가지 다른 질문을 섞어서 하고 있었습니다.

• 질문 A (존재): "어떤 우주의 모양이 주어졌을 때, 적어도 하나는 다른 모양으로 바꿀 수 있는 방법이 있을까?" (가능성)
• 질문 B (보편성): "어떤 우주의 모양이든, 어떤 다른 모양으로든 마음대로 바꿀 수 있을까?" (완전한 자유)

웨더올과 만작의 증명은 **질문 B (완전한 자유)**를 부정한 것입니다. 즉, "모든 모양을 마음대로 바꿀 수는 없다"는 것이 증명되었습니다. 하지만 **질문 A (적어도 하나)**는 아직 완전히 부인되지 않았습니다.

2. "함정"은 아니었다

상대방이 "가정을 깨면 되잖아!"라고 주장했지만, 저자는 "아니야, 그 가정들을 깨더라도 **질문 B (완전한 자유)**는 여전히 성립하지 않아"라고 말합니다.

• 비유: 우주를 구형으로 볼지, 평평하게 볼지, 혹은 비틀린 모양으로 볼지 마음대로 정할 수 있다는 '라이헨바흐의 정리'는 여전히 거짓입니다. 우리가 가정 (예: 힘의 종류, 공간의 차원 등) 을 조금만 바꿔도, 여전히 "모든 모양을 마음대로 바꿀 수는 없다"는 결론은 변하지 않습니다.

3. 새로운 발견: "비틀린 우주"도 마찬가지

저자는 증명 과정을 더 확장했습니다. 기존에는 우주가 '비틀림 (Torsion)'이 없는 매끄러운 공간이라고 가정했지만, 저자는 비틀림이 있는 공간에서도 같은 결론이 나온다는 것을 증명했습니다.

• 비유: 우주가 스프링처럼 비틀려 있더라도, 그 모양을 마음대로 다른 모양으로 바꾸고 보이지 않는 힘으로 설명하는 것은 여전히 불가능합니다.

🗺️ 결론: "지도 그리기 프로젝트"

이 논문의 가장 중요한 메시지는 **"증명을 무너뜨리려고 애쓰지 말고, 그 증명을 이용해 더 넓은 세상을 탐험하자"**는 것입니다.

• 기존의 생각: "아인슈타인의 이론이 틀렸으니, 내가 새로운 이론을 만들어야지!" (대립)
• 이 논문의 제안: "웨더올과 만작의 증명은 '이곳은 갈 수 없다'는 표지판입니다. 이 표지판을 보고 **'그렇다면 우리는 어디로 갈 수 있을까?'**를 체계적으로 찾아보자는 것입니다."

저자는 이 증명을 통해 우리가 우주의 모양을 어떻게 정의할 수 있는지, 어떤 '대안 이론'들이 수학적으로 가능한지, 그리고 그 경계는 어디까지인지 **체계적인 지도 (Atlas)**를 만들자고 제안합니다.

🎨 한 줄 요약

"우주의 모양을 마음대로 바꿀 수 있다는 '완전한 자유'는 없습니다. 하지만 그 한계를 정확히 파악함으로써, 우리가 우주를 이해할 수 있는 새로운 가능성들의 지도를 그릴 수 있습니다."

이 논문은 물리학의 복잡한 수학적 증명 뒤에 숨겨진 철학적 의미를 명확히 하고, 앞으로 우리가 우주의 본질을 탐구할 때 어떤 방향으로 나아가야 할지 체계적인 나침반을 제시합니다.

기술 요약

이 논문은 일반 상대성 이론 (GR) 에서의 기하학적 관례주의 (geometric conventionalism) 에 대한 논쟁, 특히 Weatherall 과 Manchak (W&M, 2014) 의 증명과 Dürr 와 Ben-Menahem (D&BM, 2022) 의 이에 대한 반박을 분석하고 재해석한 것입니다. 저자 Ruward Mulder 는 기존 논쟁에서 혼동되어 온 '존재 주장 (existence claim)'과 '보편성 주장 (universality claim)'을 명확히 구분하고, W&M 의 증명이 관례주의의 특정 형태 (리히텐바흐의 정리 $\theta$) 를 어떻게 반증하는지, 그리고 이를 통해 어떻게 새로운 연구 프로그램을 구축할 수 있는지를 제시합니다.

다음은 논문의 상세한 기술적 요약입니다.

---

1. 문제 제기 (Problem)

• 배경: 기하학적 관례주의는 우주의 기하학적 구조를 결정하는 데 관습적 요소가 개입된다는 입장입니다. 역사적으로 리히텐바흐 (Reichenbach) 는 "보편적 힘 (universal forces)"을 도입하여 서로 다른 기하학적 구조를 가진 모델들이 경험적으로 구별 불가능하도록 만들 수 있다고 주장했습니다. 이를 **정리 $\theta$ (Theorem $\theta$)**라 부릅니다.
• W&M 의 주장: Weatherall 과 Manchak 은 일반 상대성 이론 (GR) 에서 리히텐바흐의 주장을 rigorously(엄밀하게) 검토했습니다. 그들은 "만약 보편적 힘을 표준적인 힘 (rank-2 텐서 장) 으로 표현하고, 측지선 방정식 (geodesic equation) 에 포함시킨다면, GR 은 뉴턴 중력처럼 기하학적 관례주의를 허용하지 않는다"는 증명을 제시했습니다. 즉, 두 개의 서로 다른 계량 (metric) 을 보편적 힘으로 연결하여 동일한 측지선을 만드는 것이 불가능하다는 것입니다.
• D&BM 의 반박: Dürr 와 Ben-Menahem 은 W&M 의 증명이 지나치게 많은 가정 (assumptions) 을 전제하고 있다고 비판하며, 이러한 가정들을 거부함으로써 관례주의를 구제할 수 있는 '회피구 (loopholes)'가 있다고 주장했습니다. 그들은 W&M 의 증명을 '부정 정리 (no-go theorem)'로 해석하여, 그 가정들을 하나씩 부인함으로써 대안적 기하학의 존재 가능성을 열었습니다.
• 핵심 쟁점: W&M 의 증명이 정말로 관례주의 전체를 무너뜨리는지, 아니면 특정 조건 하에서만 유효한지, 그리고 D&BM 이 지적한 가정들의 부인이 정말로 리히텐바흐의 보편성 주장 (정리 $\theta$) 을 구제할 수 있는지가 명확하지 않았습니다.

2. 방법론 (Methodology)

저자는 다음과 같은 철학적 및 수학적 방법론을 사용합니다.

1. 명제 분석 및 구분: 논쟁의 핵심이 되는 두 가지 주장을 명확히 구분합니다.
   • 존재 주장 (Existence Claim, UDT-$\forall g \exists \tilde{g}$): 주어진 계량 $g$에 대해, 보편적 힘을 통해 경험적으로 동등한 적어도 하나의 다른 계량 $\tilde{g}$가 존재한다.
   • 보편성 주장 (Universality Claim, UDT-$\forall g \forall \tilde{g}$): 주어진 계량 $g$에 대해, 어떤 다른 계량 $\tilde{g}$든 보편적 힘을 통해 경험적으로 동등하게 만들 수 있다 (리히텐바흐의 정리 $\theta$).
2. 가정 목록화 및 논리적 분석: W&M 의 증명에 사용된 가정들 (CONF, NORM, FORCE, RIEM, TOPO 등) 을 명시화하고, D&BM 이 지적한 '회피구'들이 실제로 어떤 주장 (존재 vs 보편성) 을 타격하는지 분석합니다.
3. 증명의 일반화 (Generalization): W&M 의 증명을 리만 기하학 (Riemannian geometry, 비틀림이 없는 연결) 에서 **비틀림이 있는 연결 (torsionful connections)**이 있는 공간으로 확장하여 증명합니다. 이는 D&BM 이 제기한 'RIEM(리만 기하학 가정)'을 거부하는 경우에도 결론이 유효한지 검증하는 과정입니다.
4. 연구 프로그램 제안: W&M 의 증명을 단순히 반박의 대상이 아니라, 다양한 대안적 시공간 이론을 체계적으로 탐색하기 위한 '가도 정리 (go theorem)'로 재해석하는 프로그램을 제시합니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

3.1. '존재'와 '보편성'의 명확한 구분

저자는 W&M 과 D&BM 이 서로 다른 목표를 향해 논쟁하고 있음을 지적합니다.

• W&M 의 증명 (Proposition 2) 은 **보편성 주장 (정리 $\theta$)**을 강력하게 반증합니다. 즉, GR 내에서 임의의 두 계량을 보편적 힘으로 연결하는 것은 불가능합니다.
• D&BM 이 지적한 가정들의 부인 (예: conformal restriction 제거, 비리만 기하학 도입 등) 은 존재 주장을 구제할 수는 있을지 모르지만, **보편성 주장 (정리 $\theta$)**을 구제하지는 못합니다.
• 결론: 가정들을 부인한다고 해서 "어떤 계량이라도 다른 계량으로 대체 가능하다"는 리히텐바흐의 보편성 주장은 여전히 성립하지 않습니다.

3.2. 비틀림이 있는 시공간으로의 일반화 (Proposition 3)

저자는 W&M 의 증명을 비틀림 (torsion) 이 있는 연결 (connection) 으로 확장한 Proposition 3을 증명합니다.

• 내용: 리만 기하학 (비틀림 없음) 이 아닌, 비틀림이 있는 연결을 가진 시공간에서도, 두 개의 서로 다른 계량 (conformally related) 을 보편적 힘 (rank-2 텐서) 으로 연결하여 측지선을 일치시키는 것은 불가능합니다.
• 의미: 이는 D&BM 이 주장한 "비틀림을 도입하면 관례주의가 가능하다"는 주장이 틀렸음을 보여줍니다. 비틀림이 있더라도 정리 $\theta$는 성립하지 않습니다.
• 텔레패럴렐 등가성 (Teleparallel Equivalent): GR 의 텔레패럴렐 등가 이론 (TEGR) 에서 비틀림이 '힘'으로 해석될 수 있는지 여부에 대해, 비틀림 항이 표준적인 힘 텐서 (FORCE 조건) 를 만족하지 않음을 보여줍니다. 즉, 비틀림은 기하학적 효과이지 표준적인 힘은 아닙니다.

3.3. 연구 프로그램으로서의 재해석

저자는 W&M 의 증명을 부정적으로만 보지 않고, 다음과 같은 연구 프로그램의 출발점으로 제안합니다.

• 가정들의 체계적 부인: W&M 의 증명에 사용된 가정들 (TOPO, RIEM, FORCE, CONF, NORM 등) 을 하나씩 부인 ($\neg$) 하여, 어떤 새로운 형태의 대안적 시공간 이론이 가능한지 체계적으로 탐색합니다.
• 기하학적 삼위일체 (Geometric Trinity) 의 분석: GR, TEGR(비틀림 기반), STEGR(비계량성 기반) 과 같은 이론들이 어떻게 W&M 의 증명 범주에 위치하는지 분석합니다.
• 새로운 명제 생성: 이러한 부인들을 통해 "어떤 조건 하에서는 대안적 모델이 존재할 수 있다"는 새로운 '존재 증명'들을 체계적으로 도출할 수 있는 틀을 마련합니다.

4. 논의 및 의의 (Discussion & Significance)

• 관례주의의 한계 규명: 이 논문은 일반 상대성 이론에서 리히텐바흐의 강력한 보편성 주장 (정리 $\theta$) 이 표준적인 힘의 개념 하에서는 성립할 수 없음을 수학적으로 엄밀하게 증명합니다. 이는 GR 이 뉴턴 중력보다 기하학적 관례주의에 덜 취약함을 보여줍니다.
• 논쟁의 재구성: 기존 논쟁이 '관례주의가 옳은가/틀린가'라는 이분법적 대립을 넘어, "어떤 조건 (가정) 하에서 어떤 종류의 관례주의가 가능한가"를 탐구하는 체계적인 분류 체계로 전환해야 함을 주장합니다.
• 이론적 공간의 지도화: W&M 의 증명을 '부정 (no-go)'이 아닌 '탐색 (go)'의 도구로 사용하여, 미발견된 대안적 시공간 이론들의 공간 (space of spacetime theories) 을 체계적으로 매핑할 수 있는 방법론을 제시합니다. 이는 현대 물리학의 이론적 다양성을 이해하는 데 중요한 철학적 도구로 작용합니다.
• 실증적 함의: 비틀림이나 비계량성 같은 기하학적 구조가 '힘'으로 해석될 수 있는지에 대한 엄밀한 기준을 제시함으로써, 중력의 본질에 대한 물리학적 논의 (예: TEGR 의 해석) 에도 기여합니다.

요약

이 논문은 W&M 의 증명이 리히텐바흐의 보편성 주장 (정리 $\theta$) 을 반증함을 재확인하고, D&BM 의 비판이 이 보편성 주장을 구제하지 못함을 논증합니다. 또한, 비틀림이 있는 시공간으로의 일반화를 통해 이 결론의 강건성을 입증하며, W&M 의 증명을 다양한 대안적 중력 이론을 체계적으로 탐색하기 위한 연구 프로그램의 기초로 재정의합니다. 이는 기하학적 관례주의에 대한 논의를 단순한 철학적 변론을 넘어 엄밀한 수학적 탐구와 이론 분류의 영역으로 끌어올린 중요한 기여입니다.