[논문 리뷰] The Smallest Shape Spaces. II. 4 Points in 1-d Suffices to have a Complex Background-Independent Theory of Inhomogeneity

Edward Anderson|arXiv (Cornell University)|2017. 11. 28.

Advanced Mathematical Theories and Applications참고 문헌 24인용 수 19

한 줄 요약

이 논문은 1차원 공간에서 4개의 점을 사용하여 배경에 종속되지 않는 비균질성 이론을 개발하며, 그들의 형상 공간이 복잡한 테세레이션을 가진 2차원 구(sphere)를 이룬다는 것을 보여준다. 이 모델은 충돌, 대칭성, 융합, 균일성 등을 포괄하며, 라이프니츠 형상 공간은 둔근삼각형(scalene spherical triangle)을 이룬다. 이는 양자 중력과 천체구조 형성 이론의 기초 틀을 제공한다.

ABSTRACT

The program of understanding Shape Theory layer by layer topologically and geometrically -- proposed in Part I -- is now addressed for 4 points in 1-$d$. Topological shape space graphs are far more complex here, whereas metric shape spaces are (pieces of) spheres which admit an intricate shape-theoretically significant tessellation. Metric shapes covers a far wider range of notions of inhomogeneity: collisions, symmetric states, mergers and uniform states are all distinctly realized in this model. We furthermore provide quantifiers for the extent to which various ways which configurations maximally and minimally realize these. Some of the uniform states additionally form cusps and higher catastrophes in the indistinguishable-particle and Leibniz shape spaces. We also provide shape-theoretically significant notions of centre for the indistinguishable-particle and Leibniz shape spaces. 4 points in 1-$d$ constitutes a useful and already highly nontrivial model of inhomogeneity and of uniformity -- both topics of cosmological interest -- and also of background independence: of interest in the foundations of physics and in quantum gravity. We finally give the automorphism groups of the topological shape space graphs and the metric shape space (pieces of) manifolds, which is a crucial preliminary toward quantizing the indistinguishable-particle and Leibniz versions of the model.

연구 동기 및 목표

• 1차원 공간에서 4개의 점을 사용하여 최소한의 배경에 종속되지 않는 체계에서 비균일성과 균일성에 대한 종합적인 이론을 개발하기 위해.
• 1차원 공간에서 4개 입자의 위상적 및 메트릭 형상 공간을 특성화하기 위해, 그들의 그래프 구조와 다양체 기하학을 포함하여.
• 형상 공간 내에서 충돌, 대칭성, 융합, 균일 상태와 같은 구체적인 구성 유형들을 식별하고 정량화하기 위해.
• 형상 공간의 자동형사군(automorphism groups)을 규명하여 양자화에 대한 핵심 단계를 마련하기 위해.
• 라이프니츠 형상 공간을 둔근삼각형으로 규명함으로써, 형상 통계 및 양자 중력에 대한 새로운 기하학적 모델을 제공하기 위해.

제안 방법

• 1차원 공간에서 4개의 점에 대한 위상적 형상 공간 그래프를 구성하며, 이는 (3,1)의 경우보다 훨씬 더 복잡하다.
• 메트릭 형상 공간을 2차원 구(S²) 또는 그 몫공간으로 간주하며, 실수 사영 공간 RP² 및 동일한 입자를 위한 라이프니츠 공간을 포함한다.
• 구기 기하학을 사용하여 라이프니츠 공간의 모서리와 변들을 이중 이진 충돌, 반사 대칭 구성, 중심 구성과 대응시킨다.
• 그래프 이론적 방법을 통해 형상 공간 그래프의 간선 수와 정점 수를 이용하여 비균일성과 균일성의 정성적 유형을 정의하고 세는 것.
• 오일러 지표(χ)와 경로 수(p(G))와 같은 위상적 불변량을 적용하여 형상 유형을 분류하고 구성 다양성의 정량적 측도를 유도하는 것.
• 간선 수 e(G), 오일러 지표 χ(G), 경로 수 p(G) 등의 그래프 매개변수를 사용하여 근사적 및 총 정성적 유형(Q_approx 및 Q_total)에 대한 공식을 유도하며, 밀도가 높고 경계가 없는 공간에 대한 단순화를 시행한다.

실험 결과

연구 질문

• RQ1 1차원 공간에서 4개의 점의 형상 공간 그래프와 메트릭 다양체는 1차원 공간에서 3개의 점의 경우와 비교해 위상적 및 기하학적 복잡성 측면에서 어떻게 다른가?
• RQ2 1차원 공간에서 4개의 점을 가진 모델 내에서 비균일성의 구체적인 실현 방식—예를 들어 충돌, 대칭 상태, 융합, 균일 구성—은 무엇인가?
• RQ3 동일한 입자를 위한 라이프니츠 형상 공간은 기하학적으로 어떻게 구성되어 있으며, 그 테세레이션은 형상 이론적 대칭성에 대해 무엇을 드러내는가?
• RQ4 위상적 및 메트릭 형상 공간의 자동형사군은 무엇이며, 양자화에 어떻게 기여하는가?
• RQ5 형상 공간 내에서 그래프 이론적 및 위상적 불변량을 사용하여 균일성과 융합 구조를 어떻게 정량화할 수 있는가?

주요 결과

• 1차원 공간에서 동일한 4개의 입자에 대한 라이프니츠 형상 공간은 2차원 구의 1/48에 해당하는 둔근삼각형으로 구성되며, 이의 모서리는 이중 이진 충돌과 반사 대칭 구성에 대응한다.
• 메트릭 형상 공간은 2차원 구(S²)이며, 라이프니츠 몫공간은 이sovceles 및 둔근삼각형으로 이루어진 복잡한 테세레이션을 가진 둔근삼각형을 형성한다.
• 정성적 형상 유형의 수는 (3,1)의 경우 1에서 (4,1)의 경우 약 150으로 증가하여 위상적 및 기하학적 다양성의 급격한 증가를 반영한다.
• 가장 균일한 구성은 정삼각형 구성으로 식별되며, 질량 가중 평균 직경의 최대 및 최소값은 단위 관성모멘트당 명시적으로 계산된다.
• 위상적 형상 공간 그래프와 메트릭 형상 공간 다양체의 자동형사군이 유도되었으며, 이는 양자화에 대한 핵심 기초를 제공한다.
• 간선 수 e(G), 오일러 지표 χ(G), 경로 수 p(G) 등의 그래프 불변량을 사용하여 비균일성과 균일성에 대한 정량적 측도 Q_approx 및 Q_total를 도출하였으며, 간선 수, 오일러 지표, 경로 수에 대한 닫힌 표현식을 제공한다.