[논문 리뷰] Theoretical Equivalence in Physics

James Owen Weatherall|arXiv (Cornell University)|2018. 10. 18.

Philosophy and History of Science참고 문헌 79인용 수 3

한 줄 요약

이 논문은 물리학에서 이론적 동치성에 대해 다섯 가지 기준—경험적 동치성, 해석적 동치성, 정의적 동치성, 범주론적 동치성, 이중성—을 분석함으로써 이론적 동치성을 고찰한다. 수학적 구조, 특히 범주론과 Morita 동치성 같은 형식적 프레임워크가 두 물리 이론이 진정으로 동치인지 평가하는 데 강력한 기반을 제공할 수 있음을 주장하면서도, 이중성이 항상 물리적 해석을 유지하지는 않는다는 경고를 제기한다.

ABSTRACT

I review the philosophical literature on the question of when two physical theories are equivalent. This includes a discussion of empirical equivalence, which is often taken to be necessary, and sometimes taken to be sufficient, for theoretical equivalence; and "interpretational" equivalence, which is the idea that two theories are equivalent just in case they have the same interpretation. It also includes a discussion of several formal notions of equivalence that have been considered in the recent philosophical literature, including (generalized) definitional equivalence and categorical equivalence. The article concludes with a brief discussion of the relationship between equivalence and duality.

연구 동기 및 목표

• 두 물리 이론이 이론적으로 동치라고 간주될 수 있는 철학적 및 형식적 기준을 명확히 하기.
• 경험적 동치성이 이론적 동치성의 필수 조건이지만 항상 충분 조건이 되지 않는다는 점을 검토하기.
• 정의적 동치성, Morita 동치성, 범주론적 동치성과 같은 형식적 프레임워크가 다양한 물리 이론 간의 이론적 내용을 어떻게 포괄하는지 조사하기.
• 고에너지 물리학에서의 이중성과 철학적 이론적 동치성 개념 간의 관계 분석하기.
• 이중 이론이 물리적 해석을 유지하는지 평가하여, 이중성이 항상 완전한 이론적 동치성을 의미한다는 가정을 도전하기.

제안 방법

• 이론적 동치성에 관한 철학 문헌을 조사하며, 경험적, 해석적, 형식적 기준에 초점을 맞추기.
• 일반화된 정의적 동치성과 범주론적 동치성과 같은 형식적 도구를 사용해 물리 이론을 비교하기.
• 범주론을 활용해 이론의 다양한 표현 방식이 동일한 모델 범주를 생성하는지 평가하기.
• T-이중성, S-이중성과 같은 물리학적 이중성을 한 이론의 다양한 표현 간의 동형사상 관점에서 분석하기.
• De Haro의 보편 이론 및 이중 실현의 체계를 사용해 이중 이론이 번역 과정에서 물리적 의미를 유지하는지 평가하기.
• 철학적 동치 개념과 물리적 예시를 대조하며, 특히 양자역학과 일반상대성 이론에서의 적용을 중심으로 분석하기.

실험 결과

연구 질문

• RQ1 두 물리 이론이 이론적으로 동치로 간주되기 위해 충족시켜야 할 조건은 무엇인가?
• RQ2 경험적 동치성이 이론적 동치성에 얼마나 충분한가? 언제 실패할 수 있는가?
• RQ3 범주론적 동치성 또는 Morita 동치성과 같은 형식적 동치 관계는 물리 이론의 이론적 내용을 어떻게 포착하는가?
• RQ4 고에너지 물리학에서의 이중성이 진정으로 이론적 동치성을 반영하는가, 아니면 물리적 해석을 유지하지 못하는가?
• RQ5 이론 간의 이중성이 한 보편 이론의 서로 다른 표현 간의 동형사상으로 어떻게 이해될 수 있는가?

주요 결과

• 경험적 동치성은 이론적 동치성의 필수 조건이지만 충분 조건은 아니며, 이론들이 예측에서는 일치하지만 해석이나 구조에서 다를 수 있기 때문이다.
• 일반화된 정의적 동치성과 범주론적 동치성은 경험적 일치만으로는 포착되지 않는 이론적 내용을 더 잘 포착하는 형식적 기준을 제공한다.
• Morita 동치성은 서로 다른 수학적 표현을 가진 이론을 비교하는 데 강력한 프레임워크를 제공하지만, 범주론적 동치성과는 범위와 함의에서 다름을 보인다.
• 이중성이 항상 이론적 동치성을 의미하지는 않으며, 이중 표현 방식이 동일한 수학적 구조에 대해 서로 다른 물리적 의미를 부여할 수 있기 때문이다.
• De Haro의 체계는 이중 이론이 형식적으로는 동형일 수 있지만 물리적 해석을 유지하지 못할 수 있음을 드러내며, 이중성이 항상 완전한 동치성을 의미한다는 개념을 도전한다.
• Butterfield의 비판은 일부 이중성이 물리적 의미를 번역 과정에서 유지하지 못하는 한, 형식적으로 동형이라도 동치된 물리 이론을 반영하지 못할 수 있음을 시사한다.