[논문 리뷰] Untangling two systems of noncrossing curves

Jiřı́ Matoušek, Eric Sedgwick외 2명|arXiv (Cornell University)|2013. 02. 26.

Computational Geometry and Mesh Generation인용 수 7

한 줄 요약

이 논문은 경계를 고정하는 호메오모르피즘을 통해 컴act한 2차원 표면 위의 두 개의 교차하지 않는 곡선계 사이의 교차 수를 최소화하는 문제를 다룬다. 평면 표면(구에 구멍이 있는 것)의 경우 교차 수를 O(mn)으로 줄일 수 있으며, 성질이 g이고 구멍 수가 h인 일반 표면의 경우 bound는 O((m+n)^4)이며, 이는 h와 g에 관계없이 성립한다. 이는 Dehn 변형과 표면 위의 그래프 임베딩을 포함한 위상수학적 기법을 사용하여 도출된다.

ABSTRACT

We consider two systems of curves $(α_1,...,α_m)$ and $(β_1,...,β_n)$ drawn on a compact two-dimensional surface $M$ with boundary. Each $α_i$ and each $β_j$ is either an arc meeting the boundary of $M$ at its two endpoints, or a closed curve. The $α_i$ are pairwise disjoint except for possibly sharing endpoints, and similarly for the $β_j$. We want to "untangle" the $β_j$ from the $α_i$ by a self-homeomorphism of $M$; more precisely, we seek a homeomorphism $ϕ:M ightarrow M$ fixing the boundary of $M$ pointwise such that the total number of crossings of the $α_i$ with the $ϕ(β_j)$ is as small as possible. This problem is motivated by an application in the algorithmic theory of embeddings and 3-manifolds. We prove that if $M$ is planar, i.e., a sphere with $h\geq 0$ boundary components ("holes"), then $O(mn)$ crossings can be achieved (independently of $h$), which is asymptotically tight, as an easy lower bound shows. In general, for an arbitrary (orientable or nonorientable) surface $M$ with $h$ holes and of (orientable or nonorientable) genus $g$, we obtain an $O((m+n)^4)$ upper bound, again independent of $h$ and $g$. The proofs rely, among others, on a result concerning simultaneous planar drawings of graphs by Erten and Kobourov.

연구 동기 및 목표

• 경계를 점별로 고정하는 자기호메오모르피즘을 통해 컴 pact한 2차원 표면 위의 두 개의 상호소거, 교차하지 않는 곡선계 사이의 교차 수를 최소화하는 것.
• 해당 호메오모르피즘 이후로 달성 가능한 최소 교차 수의 점근적 최악의 경우 경계를 고려한 표면의 성질과 구멍 수에 따라 결정하는 것.
• Dehn 변형과 그래프 임베딩을 포함한 위상수학적 및 조합적 기법을 개발하여 표면 복잡도에 관계없이 효율적인 풀어내기를 달성하는 것.

제안 방법

• 경계 조건을 유지하면서 한 곡선계(B)의 위치를 다른 곡선계(A)에 대해 Dehn 변형과 등장변형을 사용해 수정하는 것.
• 경계 성분을 점으로 압축하여 표면을 단순화하고 문제를 경계가 없는 비가역적 또는 가역적 표면으로 환원하는 것.
• 곡선계 B의 끝점과 곡선에서 그래프 G를 구성한 후, 제어된 성질을 가진 표면에 임베딩하여 위상수학적 그래프 이론 결과를 적용하는 것.
• Erten과 Kobourov의 동일 평면 도형에 대한 결과를 적용하여 교차 수가 제한된 그래프를 임베딩하는 것.
• 방향 불일치를 수정하기 위해 방향을 설정하는 곡선과 쌍대 그래프를 반복적으로 사용하는 것.
• 곡선을 왜곡하고 압축을 해제하여 원래 표면의 구조를 복원하면서도 교차 수가 제한된 상태를 유지하는 것.

실험 결과

연구 질문

• RQ1 경계를 고정하는 호메오모르피즘을 통해 표면 위의 두 개의 교차하지 않는 곡선계 사이에 달성 가능한 최소 교차 수는 얼마인가?
• RQ2 이 최소 교차 수는 표면의 구멍 수 h와 성질 g에 관계없이 유계가 될 수 있는가?
• RQ3 Dehn 변형과 등장변형은 풀어내기 과정에서 교차 수를 줄이는 데 어떻게 기여하는가?
• RQ4 교차 수를 최소화하는 호메오모르피즘을 구성하는 데 사용할 수 있는 위상수학적 불변량 또는 그래프 이론 도구는 무엇인가?
• RQ5 표면 복잡도에 관계없이 교차 수에 대해 비제곱 또는 다항식 경계를 달성하는 것은 가능한가?

주요 결과

• 평면 표면(성질 0, h개의 구멍)의 경우, m개와 n개의 교차하지 않는 곡선으로 이루어진 두 곡선계 사이의 교차 수는 O(mn)으로 줄일 수 있으며, 이는 점근적으로 최적이다.
• 일반 표면의 경우 성질이 g이고 구멍 수가 h인 경우, 교차 수는 O((m+n)^4)로 줄일 수 있으며, 이는 g와 h에 관계없이 성립한다.
• 상한은 Dehn 변형, 등장변형, 제어된 성질을 가진 표면 위의 그래프 임베딩의 조합을 통해 달성된다.
• 증명은 경계 성분을 압축하고, 곡선 끝점에서 그래프를 구성하며, 쌍대 그래프를 사용해 방향 불일치를 수정하는 데 의존한다.
• 수정 과정에서 새로 발생하는 교차 수가 O(g + n) 이내로 유지되어 전체 다항식 경계가 유지된다.
• 결과는 가역적 표면과 비가역적 표면 모두에 대해 성립하며, m과 n에 대한 점근적 경계는 동일하다.