[논문 리뷰] Realizing the chromatic numbers and orders of spinal quadrangulations of surfaces

Serge Lawrencenko|arXiv (Cornell University)|2012. 07. 08.

Graph Labeling and Dimension Problems참고 문헌 7인용 수 4

한 줄 요약

이 논문은 그래프 스파인과 그들의 2중 교차를 이용하여 주어진 종수, 색칠 수, 순서를 갖는 닫힘 옹호 표면의 체내 사각형 분할을 구성하는 새로운 방법을 제시한다. 주요 기여는 Hartsfield와 Ringel의 결과를 일반화하여 이전의 제한을 초월해 무한히 많은 종수에 대해 최소 사각형 분할을 실현할 수 있도록 한 것이다. 특히, 스파인으로서 간선을 제거한 완전 그래프를 사용함으로써 이를 달성한다.

ABSTRACT

A method is suggested for construction of quadrangulations of the closed orientable surface with given genus g and either (1) with given chromatic number or (2) with given order allowed by the genus g. In particular, N. Hartsfield and G. Ringel's results [Minimal quadrangulations of orientable surfaces, J. Combin. Theory, Series B 46 (1989) 84-95] are generalized by way of generating new minimal quadrangulations of infinitely many other genera.

연구 동기 및 목표

• 주어진 위상적 및 조합적 성질을 갖는 닫힘 옹호 표면의 사각형 분할을 체계적으로 구성하는 방법을 개발하는 것.
• Hartsfield와 Ringel의 최소 사각형 분할에 관한 결과를 무한히 많은 추가 종수로 일반화하는 것.
• 주어진 종수에 대한 체내 사각형 분할의 가능한 색칠 수와 순서의 전체 스펙트럼을 규명하는 것.
• 체내 사각형 분할이 정점 수 측면에서 최소가 되는 조건을 설정하는 것.
• 체내 사각형 분할의 최소 순서에 대한 공식을 제시하고, 이 공식이 이론적 상한과 일치하는 경우를 특정하는 것.

제안 방법

• 스파인 그래프 $ G $의 2중 교차 그래프 $ G[:] $ 를 사용하는 방법으로, $ G[:] $ 는 $ G $ 의 두 개의 분리된 복제본을 취하고, 한 복제본의 각 정점과 다른 복제본의 이웃 정점 간에 연결하여 구성된다.
• 결과로 얻어진 체내 사각형 분할의 종수는 첫 번째 베티 수 $ \beta(G) $ 에 의해 결정되며, 이에 따라 $ G[:] \hookrightarrow \Sigma_{\beta(G)} $ 가 성립한다.
• 주어진 종수 $ g $ 에 대해 스파인은 $ K_p - me $ 로 구성되며, 여기서 $ K_p $ 는 완전 그래프이고 $ m $ 개의 간선이 제거된다. 이때 $ \beta(K_p) - m = g $ 가 성립하도록 한다.
• 최소 정점 수를 확보하기 위해 $ 2p \leq \frac{1}{2}(5 + \sqrt{32g - 7}) $ 를 풀며, 이에 따라 $ |V|_{\min}^{\rm{sp}}(g) = 2\left\lceil \frac{1}{2}(3 + \sqrt{8g + 1}) \right\rceil $ 라는 공식이 도출된다.
• 이 방법은 이전에 Hartsfield와 Ringel이 연구한 $ m = 0,1 $ 의 경우를 초월해 $ m \geq 2 $ 를 允허함으로써 이전 결과를 일반화한다.
• 최소성을 확보하기 위해 $ p \geq 4 + 4m $ 인 이중 부등식 조건이 유도되며, 이는 최소 체내 사각형 분할을 구성하는 기준이 된다.

실험 결과

연구 질문

• RQ1 주어진 종수 $ g $, 색칠 수 $ n $, 순서 $ 2p $ 가 상호 호환 가능한 경우, 어떤 종수 $ g $, 색칠 수 $ n $, 순서 $ 2p $ 에 대해 체내 사각형 분할을 구성할 수 있는가?
• RQ2 고정된 종수 $ g $ 의 사각형 분할이 실현할 수 있는 색칠 수의 전체 스펙트럼은 무엇인가?
• RQ3 어떤 종수 $ g $ 에서 체내 사각형 분할의 최소 순서가 이론적 상한에 도달하는가?
• RQ4 이 방법은 이전에 다뤄진 $ m = 0,1 $ 의 경우를 초월해 새로운 최소 사각형 분할을 생성하기 위해 어떻게 확장될 수 있는가?
• RQ5 체내 사각형 분할이 정점 수 측면에서 최소가 되는 조건은 무엇인가?

주요 결과

• 이 방법은 $ \beta(K_n) \leq g $ 를 만족하는 모든 색칠 수 $ n $ 를 실현하며, 주어진 종수 $ g $ 에 대해 가능한 색칠 수의 전체 스펙트럼을 커버한다.
• 모든 $ g \geq 0 $ 과 $ p \geq 2 $ 에 대해 $ g \leq \beta(K_p) $ 를 만족할 경우, $ 2p $ 개의 정점을 갖는 종수 $ g $ 의 체내 사각형 분할이 존재한다.
• 체내 사각형 분할의 최소 순서는 $ |V|_{\min}^{\rm{sp}}(g) = 2\left\lceil \frac{1}{2}(3 + \sqrt{8g + 1}) \right\rceil $ 로 주어지며, 이는 무한히 많은 경우에 도달된다.
• 공식 $ |V|_{\min}(g) = 2\lceil a(g) \rceil $ 는 $ \lceil a(g) \rceil = \lfloor b(g) \rfloor $ 일 때 성립하며, 여기서 $ a(g) = \frac{1}{2}(3 + \sqrt{8g + 1}) $ 이고 $ b(g) = \frac{1}{4}(7 + \sqrt{32g - 15}) $ 이며, 이는 무한히 많은 $ g $ 에서 발생한다.
• 이 구성은 Hartsfield와 Ringel이 다루지 않은 새로운 최소 사각형 분할을 제공한다. 예를 들어, $ (K_{12} - 2e)[:] \hookrightarrow \Sigma_{53} $ 는 최소이며 128개의 면을 갖는다.
• 이 방법은 최소 순서의 이론적 상한이 무한히 많은 경우에 정확히 도달함을 확인하며, 특히 $ g = \beta(K_p) $ 일 때 $ |V|_{\min}(g) = 2p $ 를 얻는다.