[논문 리뷰] Generalization of Schnyder woods to orientable surfaces and applications

Benjamin Lévêque|arXiv (Cornell University)|2017. 02. 24.

Computational Geometry and Mesh Generation참고 문헌 7인용 수 5

한 줄 요약

이 논문은 조합적 구조를 확장하기 위해 각도 레이블링과 방향성을 도입하여, 평면 맵에서의 Schnyder 워드를 임의의 종수를 가진 옹호 표면, 특히 토러스로 일반화한다. 표면 호몰로지 기반으로 Schnyder 방향을 분할분석하고, 토러스 케이스에서 특수한 '교차' 및 '균형 잡힌' Schnyder 워드의 존재를 증명함으로써, 평탄한 토러스 위에서 최적의 인코딩과 직선 그래프 도식화를 가능하게 한다.

ABSTRACT

Schnyder woods are particularly elegant combinatorial structures with numerous applications concerning planar triangulations and more generally 3-connected planar maps. We propose a simple generalization of Schnyder woods from the plane to maps on orientable surfaces of any genus with a special emphasis on the toroidal case. We provide a natural partition of the set of Schnyder woods of a given map into distributive lattices depending on the surface homology. In the toroidal case we show the existence of particular Schnyder woods with some global properties that are useful for optimal encoding or graph drawing purpose.

연구 동기 및 목표

• 원래 평면 삼각분할에 대해 정의된 Schnyder 워드를 임의의 종수를 가진 옹호 표면, 특히 토러스에 대해 확장한다.
• 각도 레이블링을 통한 Schnyder 방향의 특성화 및 표면 위 호몰로지 클래스와의 연결을 수립한다.
• 그래프 도식화 및 인코딩에의 응용을 위해, 토러스 케이스에서 전역적 성질(예: 교차, 균형 잡힘)을 갖는 특수한 Schnyder 워드의 존재를 증명한다.
• 평면에서의 삼각분할과 유일세포 맵 사이의 이분형을 토러스 설정으로 일반화한다.
• 토러스 삼각분할에서 교차 또는 최소 균형 잡힌 Schnyder 워드를 계산하는 선형 시간 알고리즘을 개발한다.

제안 방법

• 옹호 표면에 임bed된 맵에 대해 각도 레이블링을 사용하여 Schnyder 워드를 일반화하고, 이러한 레이블링과 특정 간선 방향성 사이의 대응관계를 정의한다.
• 호몰로지 이론을 사용하여 비수축 가능한 고리의 호몰로지 클래스에 기반해 Schnyder 방향 집합을 분배형 랏티스로 분할한다.
• 토러스 케이스에서 단색 고리의 분석과 그 교차를 통해 '교차' Schnyder 워드의 개념을 도입한다.
• 균형 잡힌 Schnyder 워드를 표준 랏티스 구조를 통해 정의하여 유일한 최소 원소를 보장하며, 이는 이분형에 유용하다.
• Poulalhon과 Schaeffer의 인코딩 방법을 적용하여 토러스 삼각분할과 루트 유일세포 맵 사이의 이분형을 수립한다.
• 범주적 지오데식 임베딩을 유니버설 커버에서 사용하여 다항 크기의 격자에 평탄한 토러스 표현을 구성한다.

실험 결과

연구 질문

• RQ1 모든 본질적으로 3-연결된 토러스 맵은 Schnyder 워드를 갖는가? 만약 그렇다면 어떤 조건에서인가?
• RQ2 토러스 상에서 '교차' 또는 '균형 잡힌'과 같은 전역적 성질을 Schnyder 워드에 정의할 수 있는가? 이러한 성질은 호몰로지와 어떻게 관련되는가?
• RQ3 토러스 삼각분할과 일정한 유일세포 맵의 클래스 사이에 이분형이 존재하는가? 이는 평면 케이스와 유사한가?
• RQ4 선형 시간 알고리즘이 토러스 삼각분할에서 교차 또는 최소 균형 잡힌 Schnyder 워드를 계산할 수 있는가?
• RQ5 토러스 상의 Schnyder 워드의 구조적 성질은 고차원 표면으로 어떻게 일반화될 수 있으며, 존재에 대한 차단 요소는 무엇인가?

주요 결과

• 토러스 맵이 Schnyder 워드를 갖는다 하는 것은 본질적으로 3-연결된 경우에 국한되며, 이는 기존 평면 조건을 고차원 표면으로 확장한 것이다.
• 주어진 맵의 Schnyder 방향 집합은 호몰로지 클래스로 색인된 자연스러운 분배형 랏티스로 분할되며, 이는 이전 결과를 일반화한다.
• 토러스 삼각분할의 경우, 교차 Schnyder 워드 또는 최소 균형 잡힌 Schnyder 워드를 선형 시간에 계산할 수 있다.
• 토러스 삼각분할과 루트 유일세포 맵 사이의 이분형이 수립되었으며, 이는 평면에서의 Poulalhon–Schaeffer 이분형을 일반화한 것이다.
• 본질적으로 3-연결된 모든 토러스 맵에 대해, 유니버설 커버에서 지오데식 임베딩을 사용하여 다항 크기의 격자에 평탄한 토러스 표현을 구성할 수 있다.
• 토러스 상에서 균형 잡힌 Schnyder 워드의 존재는 랏티스 내에서 표준 최소 원소를 보장하며, 이는 최적의 인코딩과 토러스 삼각분할의 균일한 무작위 생성을 가능하게 한다.