[논문 리뷰] Maximizing the number of edges in three-dimensional colored triangulations whose building blocks are balls

Valentin Bonzom|arXiv (Cornell University)|2018. 02. 18.

Advanced Combinatorial Mathematics참고 문헌 57인용 수 11

한 줄 요약

이 논문은 모든 빌딩 블록이 최대 하나를 제외하고 3-구와 홈오모르픽한 3차원 색칠된 삼각분할에서 간선을 최대화하는 문제를 해결한다. 이 간선 최대화 삼각분할은 3-구와 홈오모르픽이며, 이는 이중 1-스켈레톤의 트리와 일대일 대응되며, 간선 수는 빌딩 블록들에 대해 독립적인 합으로 계산된다. 핵심 결과는 이중 그래프에서 2-간선 컷을 통한 공백형 블록의 조합적 특성화이다.

ABSTRACT

Colored triangulations offer a generalization of combinatorial maps to higher dimensions. Just like maps are gluings of polygons, colored triangulations are built as gluings of special, higher-dimensional building blocks, such as octahedra, which we call colored building blocks and known in the dual as bubbles. A colored building block is determined by its boundary triangulation, which in the case of polygons is simply characterized by its length. In three dimensions, colored building blocks are labeled by some 2D triangulations and those homeomorphic to the 3-ball are labeled by the subset of planar ones. Similarly to Euler's formula in 2D which provides an upper bound to the number of vertices at fixed number of polygons with given lengths, we look in three dimensions for an upper bound on the number of edges at fixed number of given colored building blocks. In this article we solve this problem when all colored building blocks, except possibly one, are homeomorphic to the 3-ball. To do this, we find a characterization of the way a colored building block homeomorphic to the ball has to be glued to other blocks of arbitrary topology in a colored triangulation which maximizes the number of edges. This local characterization can be extended to the whole triangulation as long as there is at most one colored building block which is not a 3-ball. The triangulations obtained this way are in bijection with trees. The number of edges is given as an independent sum over the building blocks of such a triangulation. In the case of all colored building blocks being homeomorphic to the 3-ball, we show that these triangulations are homeomorphic to the 3-sphere. Those results were only known for the octahedron and for melonic building blocks before. This article is self-contained and can be used as an introduction to colored triangulations and their bubbles from a purely combinatorial point of view.

연구 동기 및 목표

• 모든 빌딩 블록이 최대 하나를 제외하고 3-구와 홈오모르픽인 3차원 색칠 삼각분할에서 가능한 간선 수의 최댓값을 결정하는 것.
• 이 간선 최대화 삼각분할 내에서 3-구 빌딩 블록의 접합 구조를 특성화하는 것.
• 간선 최대화 삼각분할과 이중 1-스켈레톤 내 트리 사이의 일대일 대응을 확립하는 것.
• 모든 빌딩 블록이 3-구일 경우, 결과로 얻어진 삼각분할이 3-구와 홈오모르픽임을 보이는 것.
• 이전에 옥타에드론과 멜로닉 블록에 대해서만 알려진 결과를 임의의 평면 삼각분할을 빌딩 블록으로 일반화하는 것.

제안 방법

• 논문은 색칠된 삼각분할을 간선 색칠된 그래프로 이중 표현하여, 3-버블이 정점에 대응하고 2-간선 컷이 공백형 블록의 위상적 분리에 대응하도록 한다.
• 간선 전환과 2-다이폴 수축을 기반으로 하는 재귀적 추론을 적용하여 그래프를 단순화하면서 위상적 유형과 간선 수를 유지한다.
• 3-버블(정점에 대응)에 오일러 공식을 적용하여 이중색 사이클과 구성 요소의 기하수에 대한 제약 조건을 유도한다.
• 특정 조건 하에서 간선 전환이 이중색 사이클 수를 유지하므로, 간선 최대화 그래프는 모든 3-버블이 평면적(기하수 0)이어야 한다는 것을 증명한다.
• 핵심 기술 도구는 2-간선 컷을 통한 위상 이동의 특성화로, 공백형 블록이 그림자에서 제거될 수 있음은 오직 그 블록이 이러한 컷을 통해 접합되어 있을 때에만 성립함을 보여준다.
• 초기 그래프에서 알려진 구형 그래프로의 위상 이동 시퀀스를 통해 전체 삼각분할이 공백형임을 보여주는 것으로 확장한다.

실험 결과

연구 질문

• RQ1 모든 빌딩 블록이 최대 하나를 제외하고 3-구와 홈오모르픽일 경우, 3차원 색칠 삼각분할에서 달성 가능한 간선 수의 최댓값은 무엇인가요?
• RQ2 3-구 빌딩 블록은 다른 블록들과 어떻게 접합되어야 삼각분할의 간선 수를 최대화할 수 있나요?
• RQ3 간선 최대화 성질은 이중 1-스켈레톤과 2-간선 컷을 통해 조합적으로 특성화될 수 있나요?
• RQ4 전체 삼각분할이 3-구와 홈오모르픽이 되는 조건은 무엇인가요?
• RQ5 간선 최대화 삼각분할과 이중 그래프 내 조합적 트리 사이에 일대일 대응이 존재합니까?

주요 결과

• 간선 최대화 삼각분할의 간선 수는 빌딩 블록들에 대해 독립적인 합으로 주어지며, 기여도는 내부 구조와 경계 삼각분할에 의해 결정된다.
• 3-구와 홈오모르픽인 빌딩 블록은 이중 1-스켈레톤에서의 2-간선 컷 시퀀스를 통해 제거될 수 있도록 접합되어야 한다.
• 모든 빌딩 블록이 3-구일 경우, 결과로 얻어진 삼각분할은 3-구와 홈오모르픽이다.
• 간선 최대화 삼각분할은 각 정점이 빌딩 블록에 대응하고 각 간선이 2-간선 컷 연결에 대응하는 트리와 일대일 대응된다.
• 이러한 삼각분할 내의 3-버블(정점에 대응)은 모두 평면적(기하수 0)이며, 이는 간선 최대화의 필수 조건이다.
• 이러한 구성은 이전에 옥타에드론과 멜로닉 블록에 대해서만 알려진 결과를 임의의 평면 삼각분할을 빌딩 블록으로 일반화한다.