[논문 리뷰] Rubber Relationalism: Smallest Graph-Theoretically Nontrivial Leibniz Spaces

Edward Anderson|arXiv (Cornell University)|2018. 05. 09.

Topological and Geometric Data Analysis참고 문헌 30인용 수 3

한 줄 요약

이 논문은 N체 문제에서 라이프니츠 공간의 위상적 추상화인 고무 관계론을 제안한다. 이는 동일시할 수 없는, 거울상으로 식별된 점 구성들을 위상적 인접성을 인코딩하는 그래프로 모델링함으로써 이루어진다. 최소 비자명한 경우는 ℝ에 대해 N=5, ℝᵈ (d≥2)에 대해 N=6, 𝕊¹에 대해 N=6이며, 잔여 그래프는 보편적인 원뿔점 구조와 N에 특화된 정보를 드러낸다.

ABSTRACT

Kendall's Similarity Shape Theory for constellations of N points in the carrier space $\mathbb{R}^d$ as quotiented by the similarity group was developed for use in Probability and Statistics. It was subsequently shown to reside within Mechanics' Shape-and-Scale Theory, in which points are interpreted as particles, carrier space plays the role of absolute space, and the Euclidean group is quotiented out. Let us jointly refer to Shape(-and-Scale) Theory as Relational Theory, and to its reduced configuration spaces as relational spaces. We now consider a less structured version: the Topological Relational Theory of `rubber configurations'. This already encodes some features of the much more diverse Geometrical Relational Theories. In contrast with the latter's (stratified) manifold relational spaces, the former's are graphs: much simpler to treat; their edges encode topological adjacency. We concentrate on Leibniz spaces, corresponding to indistinguishable points and mirror-image identification. These are moreover the building blocks of the distinguishable and (where possible) mirror-image distinct cases' relational spaces. For connected manifold without boundary carrier spaces, there are just 3 'rubber relationalisms: $\mathbb{R}$, $\mathbb{S}^1$, and a joint one for all carrier spaces with $d \geq 2$. For $d \geq 2$, rubber configurations are in 1:1 correspondence with partitions, with $\mathbb{S}^1$ and $\mathbb{R}$ giving successive refinements. We find that generic and maximal configurations are universally present as cone points, as are binaries in the first 2 cases. Deconing leaves us with residue graphs containing the N-specific information. We provide graph-theoretical nontriviality criteria for which N = 6, 6 and 5 are minimal across these models, and stronger such for which N = 8, 8 and 6 are minimal, and outline GR topology-change analogue-model and N-body problem applications.

연구 동기 및 목표

• 측도 기반의 관계 공간을 그래프 기반의 '고무 구성'으로 대체하여 형태 이론의 위상적 동반자로 개발한다. 이 구성은 오직 위상적 인접성만을 인코딩한다.
• 구성 공간을 최소화하기 위해 서로 구별 불가능한 점과 거울상으로 식별된 점을 고려한 라이프니츠 몫화를 통해 최소 비자명한 관계 공간을 그래프 이론적 기준으로 식별한다.
• 세 가지 보편적 기저 공간 모델인 ℝ, ℝᵈ (d≥2), 𝕊¹에서 고무 라이프니츠 공간이 비자명해지는 최소 N을 규명한다.
• 일반적 구성과 최대 구성이 원뿔점으로서 어떻게 나타나는지 분석하고, 탈원뿔화 연산을 통해 N에 특화된 정보를 추출한다.
• 고무 관계론과 배경 독립 물리학의 응용 간의 연결 고리를 설정한다. 이는 일반 상대성 이론의 위상 변화 및 N체 문제에 해당한다.

제안 방법

• 기저 공간(ℝ, ℝᵈ, 𝕊¹) 상의 N점 구성들을 그래프로 모델링하여, 변이 위상적 인접성을 나타내며 '고무 관계 공간'을 형성한다.
• 라이프니츠 몰입(서로 구별 불가능한 점과 거울상으로 식별된 점을 통합함)을 적용하여 구성 공간을 최소화된 관계 그래프로 축소한다.
• 분할 이론을 사용하여 d≥2 차원에서 고무 구성이 집합 분할과 일대일 대응됨을 보이며, ℝ 및 𝕊¹의 경우가 이를 더욱 세분화함을 보여준다.
• 원뿔점(일반적 구성 및 최대 구성)을 제거하여 '잔여 그래프'를 정의함으로써 N에 특화된 위상적 정보를 고립한다.
• 그래프 이론적 비자명성 기준을 적용하여 비자명성이 발생하는 최소 N을 규명한다: 세 모델에 대해 각각 N=6,6,5이며, 더 강력한 기준을 적용하면 N=8,8,6이 된다.
• 격자 이론과 하세 다이어그램을 활용하여 몰입된 구성 공간을 유계 격자로 간주하고, 그룹 작용과 몰입된 구조 간의 반대순서 이중성 관계를 해석한다.

실험 결과

연구 질문

• RQ1 ℝ, ℝᵈ (d≥2), 𝕊¹에서 고무 라이프니츠 공간이 그래프 이론적으로 비자명해지는 데 필요한 최소 점 수 N은 얼마인가?
• RQ2 일반적 구성과 최대 구성은 고무 관계 그래프에서 어떻게 원뿔점으로 나타나며, 구성 공간의 위상에 어떤 역할을 하는가?
• RQ3 탈원뿔화 후의 잔여 그래프는 구성에 대한 N에 특화된 정보를 어느 정도 포함하는가?
• RQ4 ℝ, ℝᵈ (d≥2), 𝕊¹ 모델은 분할 구조의 세분화에서 어떻게 다름을 보이며, 어떤 보편성 클래스가 도출되는가?
• RQ5 고무 관계론은 배경 독립 이론에서 위상 변화와 N체 문제의 단순화된 모델로 기능할 수 있는가?

주요 결과

• 기저 공간 ℝ에 대해 최소 비자명한 고무 라이프니츠 공간은 N=5에서 발생하며, 잔여 그래프로 '헬름' 그래프가 존재한다.
• d≥2에 대해 최소 비자명한 경우는 N=6이며, 잔여 그래프로 '항공모함' 그래프가 존재한다. 이는 ℝᵈ의 공동 보편 클래스를 나타낸다.
• 기저 공간 𝕊¹에 대해 최소 비자명한 경우도 N=6이며, 잔여 그래프로 '항공모함' 그래프가 존재한다.
• 일반적 구성과 최대 구성은 세 모델 전반에서 보편적으로 원뿔점으로 나타나며, 탈원뿔화로 인해 N에 특화된 관계 구조가 인코딩된 잔여 그래프가 도출된다.
• 더 강력한 비자명성 기준은 세 모델에 대해 각각 N=8,8,6을 최소로 식별하며, 더 엄격한 조건에서 비자명성의 임계값이 더 높음을 시사한다.
• d≥2에 대한 고무 관계 공간은 집합 분할과 일대일 대응되며, 전체 관계 구조는 그룹 작용과 몰입된 공간 간 격자 이론적 이중성에 의해 포괄된다.