[논문 리뷰] On Symmetry and Duality

Sebastian De Haro, Jeremy Butterfield|arXiv (Cornell University)|2018. 09. 25.

Quantum Mechanics and Applications참고 문헌 31인용 수 2

한 줄 요약

이 논문은 물리 이론 간 이중성(dualities)을 그들의 기초 모델 루트(common core theories) 간의 동형사상(isomorphisms)으로 간주하는 스키마를 제안한다. 이는 해석을 제거한 이론의 공통 핵심 이론이다. 순수 이론, 모델, 해석을 구분함으로써 저자들은 삼중 대칭 분류법을 도입한다: 규정된 대칭, 우연한 대칭, 적절한 대칭. 주요 기여는 이중성이 모델 간의 동형사상이 공통 핵심 이론의 구조를 존중할 때에만 대칭을 유지함을 보여주는 것으로, 이중적 표현 간에서 대칭이 어떻게 행동하는지에 대한 모호함을 해결한다.

ABSTRACT

Abstract: We advocate an account of dualities between physical theories: the basic idea is that dual theories are isomorphic representations of a common core. We defend and illustrate this account, which we call a Schema, in relation to symmetries. Overall, the account meshes well with standard treatments of symmetries. But the distinction between the common core and the dual theories prompts a distinction between three kinds of symmetry: which we call ‘stipulated’, ‘accidental’ and ‘proper’.

연구 동기 및 목표

• 모델 루트의 동형사상에 기반한 공식 스키마를 도입하여 물리 이론 간의 이중성과 대칭의 관계를 명확히 하기.
• 순수 이론에서 모델으로 이행할 때 대칭이 어떻게 유지되거나 상실되는지에 대한 개념적 모호함을 해결하기.
• 이론과 그 모델과의 관계에 따라 네 가지 유형의 대칭—규정된, 우연한, 적절한, 부적절한—을 구분하기.
• 이중성이 모델 간의 동형사상이 공통 핵심 이론의 구조를 존중할 때에만 대칭을 유지함을 보여주기.
• 군론적 및 표현 이론적 도구를 사용하여 양자장 이론과 시공간 이론에서의 이중성을 체계적으로 분석할 수 있는 프레임워크 제공하기.

제안 방법

• 해석을 제거한 이론으로서의 '순수 이론'을 정의하여 이중 모델의 공통 핵심으로서의 기능을 수행한다.
• 모델 루트를 순수 이론의 동형 표현으로 정의하며, '특정 구조'는 모델의 물리적 내용을 포착한다.
• 군 준동형사상과 자기동형사상(group automorphisms)을 사용하여 순수 이론의 대칭이 모델에서 어떻게 또는 어떻게 그렇지 않게 실현될 수 있는지 모델링한다.
• 행렬 표현의 군과 갈릴레이 변환의 예를 들어 대칭 간의 차이를 설명한다.
• 이중성의 다이어그램이 가환하지 않을 경우, 순수 이론의 대칭이 모델에서 상실될 수 있음을 보여주는 반례를 구성한다. 이는 이중성의 다이어그램이 가환하지 않을 경우, 순수 이론의 자기동형사상이 몫군 C2에 잘 정의된 자기동형사상으로 내림내릴 수 없음을 보여준다.
• 모델 이론의 차이를 바탕으로, 규정된 대칭(이론에 내재된), 우연한 대칭(모델에서 우연히 실현된), 적절한 대칭(모델에 내재되어 있으나 이론에는 내재되어 있지 않은)을 구분한다.

실험 결과

연구 질문

• RQ1 구조적 및 운동적 불변성을 유지하는 방식으로 물리 이론 간 이중성을 공식적으로 특징지울 수 있는 방법은 무엇인가?
• RQ2 이중 이론이 어떻게 동형사상으로 간주될 수 있으며, 공통 핵심(순수 이론)은 이러한 동형사상에서 어떤 역할을 하는가?
• RQ3 순수 이론의 대칭은 그 모델의 대칭과 어떻게 관련되어 있으며, 언제 유지되거나 상실되는가?
• RQ4 이중 모델과 그 기초 이론의 맥락에서 규정된, 우연한, 적절한 대칭은 무엇으로 구분되는가?
• RQ5 이 스키마는 이중성이 이론 간의 대칭으로 간주될 수 있다는 '거대한 대칭' 직관을 어느 정도 반영하는가?

주요 결과

• 이중성은 공통 순수 이론의 모델 간의 동형사상으로 가장 잘 이해되며, 이 순수 이론은 구조 없고 해석 없는 핵심 이론이다.
• 순수 이론과 모델의 구분은 대칭의 삼중 분류를 가능하게 한다: 규정된 대칭(이론에 내재된), 우연한 대칭(모델에서 우연히 실현된), 적절한 대칭(모델에 내재되어 있으나 이론에는 내재되어 있지 않은).
• 순수 이론의 대칭이 모델에서 실현되지 않을 수 있음을 D4와 그 몫군 C2를 사용한 반례로 보여주었다. 여기서 D4의 자기동형사상이 C2에 잘 정의된 자기동형사상으로 내림내리지 못한다.
• 이 스키마는 모델 루트 간의 동형사상이 공통 핵심 이론의 구조를 존중할 때에만 이중성이 대칭을 유지함을 보장하여, 잘못된 대칭 위반을 방지한다.
• 이 프레임워크는 기존의 대칭 다루기 방식과 이중성이 모델 루트 간의 동형사상이라는 새로운 관점 간의 조화를 성공적으로 이룩한다. 이는 단순한 형식적 매핑을 넘어서는 것이다.
• 2차원 양자장 이론에서 보손화(bosonization)에 이 스키마를 적용한 결과, 페르미온적 모델과 보손적 모델이 공통의 무한차원 대수적 핵심의 동형 실현임을 확인하였다.