[논문 리뷰] The 2-page crossing number of $K_n$

Bernardo M. Ábrego, Oswin Aichholzer외 3명|arXiv (Cornell University)|2012. 06. 25.

Computational Geometry and Mesh Generation참고 문헌 12인용 수 6

한 줄 요약

이 논문은 완전 그래프 $K_n$의 2페이지 교차 수가 정확히 $Z(n) = \frac{1}{4}\left\lfloor\frac{n}{2}\right\rfloor\left\lfloor\frac{n-1}{2}\right\rfloor\left\lfloor\frac{n-2}{2}\right\rfloor\left\lfloor\frac{n-3}{2}\right\rfloor$임을 증명하며, 오랫동안 남아있던 추측을 확인한다. 저자들은 $k$-邊와 $\leq\leq k$-邊의 위상적 일반화를 도입하여 기하학적이지 않은 그림으로까지 조합적 도구를 확장하고, 교차 수가 최소인 2페이지 북 그림의 특성을 규명하여, 짝수 $n$에 대해서는 동치 관계까지 유일성을 보이고, 홀수 $n$에 대해서는 지수적 다양성을 보인다. 주요 결과는 $K_n$에 대한 2페이지 교차 수 문제를 해결한다.

ABSTRACT

Around 1958, Hill described how to draw the complete graph $K_n$ with [Z(n) :=1/4\lfloor \frac{n}{2} floor \lfloor \frac{n-1}{2} floor \lfloor \frac{n-2}{2}% floor \lfloor \frac{n-3}{2} floor] crossings, and conjectured that the crossing number $\crg (K_{n})$ of $K_n$ is exactly Z(n). This is also known as Guy's conjecture as he later popularized it. Towards the end of the century, substantially different drawings of $K_{n}$ with Z(n) crossings were found. These drawings are \emph{2-page book drawings}, that is, drawings where all the vertices are on a line $\ell$ (the spine) and each edge is fully contained in one of the two half-planes (pages) defined by $\ell$. The \emph{2-page crossing number} of $K_{n} $, denoted by $ν_{2}(K_{n})$, is the minimum number of crossings determined by a 2-page book drawing of $K_{n}% $. Since $\crg(K_{n}) \leν_{2}(K_{n})$ and $ν_{2}(K_{n}) \le Z(n)$, a natural step towards Hill's Conjecture is the %(formally) weaker conjecture $ν_{2}(K_{n}) = Z(n)$, popularized by Vrt'o. %As far as we know, this natural %conjecture was first raised by Imrich Vrt'o in 2007. %Prior to this paper, results known for $ν_2(K_n)$ were basically %the same as for $\crg (K_n)$. Here In this paper we develop a novel and innovative technique to investigate crossings in drawings of $K_{n}$, and use it to prove that $ν_{2}(K_{n}) = Z(n) $. To this end, we extend the inherent geometric definition of $k$-edges for finite sets of points in the plane to topological drawings of $K_{n}$. We also introduce the concept of ${\leq}{\leq}k$-edges as a useful generalization of ${\leq}k$-edges and extend a powerful theorem that expresses the number of crossings in a rectilinear drawing of $K_{n}$ in terms of its number of $(\le k)$-edges to the topological setting.

연구 동기 및 목표

• 2페이지 교차 수 $\nu_2(K_n)$가 $Z(n)$와 같다는 추측을 해결하며, 힐의 유명한 교차 수 추측의 더 약한 형태를 다룬다.
• 기하학적 개념인 $k$-邊와 $\leq k$-邊를 $K_n$의 추상적 그림으로 일반화하기 위한 위상적 프레임워크를 개발한다.
• 모든 교차 수가 최소인 2페이지 북 그림을 특성화하고, 위상 동형과 동형사상에 대해 그 수를 결정한다.
• 직선 그림에서의 교차 수 공식을 위상적 형태로 일반화하여 $\leq\leq k$-邊를 통해 표현한다.
• 계산적 열거에 의존하지 않고, 기하학적 도구를 사용하지 않은 구조적이고 조합적 증명을 통해 $\nu_2(K_n) = Z(n)$를 확립한다.

제안 방법

• 좋은 그림에서 삼각형의 방향성을 통해 간선의 방향을 정의함으로써, 기하학적 설정을 초월한 조합적 분석이 가능한 $k$-邊의 위상적 일반화를 도입한다.
• $\leq\leq k$-邊를 정의하여, 위상적 그림에서 누적 간선 수를 캡처하는 $\leq k$-邊의 일반화를 수행한다.
• 교차 수를 $\leq\leq k$-邊로 표현하는 위상적 교차 수 공식의 버전을 증명하며, 기존의 직선 그림에서의 결과를 확장한다.
• 일반화된 $\leq\leq k$-邊 프레임워크를 활용해 2페이지 북 그림에서의 교차 수에 하한을 도출한다.
• 명시적인 2페이지 북 그림의 가족을 구성하여 $Z(n)$개의 교차를 달성하고, 새로운 간선 수 세기 기반 기법을 통해 이것이 교차 수가 최소임을 증명한다.
• 대칭성과 자기동형사상의 논리를 적용하여 비동치 그림를 분류하며, 짝수 $n$에 대해서는 유일성, 홀수 $n$에 대해서는 지수적 성장을 보인다.

실험 결과

연구 질문

• RQ1 2페이지 교차 수 $\nu_2(K_n)$의 정확한 값은 무엇이며, $Z(n)$와 같은가?
• RQ2 기하학적 그림에서부터 $K_n$의 위상적 그림로 $k$-邊의 개념을 어떻게 일반화할 수 있으며, 이를 조합적 분석에 활용할 수 있는가?
• RQ3 짝수 및 홀수 $n$에 대해 교차 수가 최소인 2페이지 북 그림의 구조와 수는 어떻게 되는가?
• RQ4 기하학적 그림에서 성립하는 부등식 $E_{\leq k}(P) \geq 3\binom{k+2}{2}$는 위상적 그림로도 일반화 가능한가? 만약 그렇지 않다면, 이를 증명하기 위한 대안적 프레임워크는 무엇인가?
• RQ5 2페이지 그림의 대칭성과 자기동형사상은 비동치 교차 수가 최소인 그림의 수에 어떤 영향을 미치는가?

주요 결과

• 2페이지 교차 수가 정확히 $Z(n)$임을 입증하여, 모든 $n$에 대해 $\nu_2(K_n) = Z(n)$라는 추측을 확인한다.
• 짝수 $n$에 대해서는 동치 관계까지 교차 수가 최소인 2페이지 북 그림이 유일하다.
• 홀수 $n$에 대해서는 최소 $2^{(n-5)/2}$개의 비위상동형 교차 수가 최소인 2페이지 북 그림이 존재하며, $n=37$까지 정확한 수가 계산되었다.
• 비동치 교차 수가 최소인 2페이지 그림의 수는 점점 증가하는 추세로 약 $2^{0.54n}$ 정도이며, 하한인 $2^{(n-5)/2}$에 매우 가까운 수준이다.
• 기하학적 그림에서 성립하는 부등식 $E_{\leq k}(D) \geq 3\binom{k+2}{2}$는 일반적으로 위상적 그림에서는 성립하지 않으며, 이에 따라 $\leq\leq k$-邊의 도입이 필수적이다.
• 대칭 기반의 구성 방법을 통해 교차 수가 최소인 2페이지 그림의 명시적 특성을 확립하였으며, 모든 이러한 그림들이 단일 기본 그림에서 군 작용을 통해 유도됨을 보였다.