이중껍질성 그림으로 본 완전 그래프 교차수 하리‑힐 추측

초록

본 논문은 기존의 s‑shellable 개념을 일반화한 s‑bishellable 개념을 도입하고, (⌊n/2⌋‑2)-bishellable인 Kₙ의 모든 그리기가 하리‑힐 추측이 제시하는 최소 교차수 H(n) 이상을 갖는다는 새로운 정리를 증명한다. 또한 K₁₁에 대한 H(11) 교차수를 달성하면서도 s‑shellable이 아닌 3‑bishellable 그림을 제시하고, 무한히 많은 n에 대해 bishellable이지만 shellable이 아닌 그림들의 가족을 구성한다.

상세 분석

논문은 먼저 완전 그래프 Kₙ의 평면 그리기에서 교차수 cr(D)를 최소화하는 문제, 즉 하리‑힐 추측(H(n)=¼⌊n/2⌋⌊(n‑1)/2⌋⌊(n‑2)/2⌋⌊(n‑3)/2⌋)을 배경으로 제시한다. 기존 연구에서 ‘s‑shellable’이라는 조합적 조건이 도입돼, s≥⌊n/2⌋이면 그리기가 최소 교차수 H(n) 이상을 갖는 것이 증명되었다. 그러나 s‑shellable은 s‑1‑shellable을 자동으로 보장하지 못하고, 순환적인 정점열이 필요해 적용 범위가 제한적이었다.

이에 저자들은 ‘s‑bishellable’이라는 새로운 정의를 제시한다. s‑bishellable은 두 개의 정점열 a₀,…,a_s와 b_s,…,b₀가 존재하고, 각각이 단계적으로 기준 면 F에 인접하면서, 어느 단계에서도 a열과 b열이 겹치지 않는다는 조건이다. 이 정의는 s‑shellable을 포함하며, 특히 s‑shellable이면 (s‑2)-bishellable임을 보인다.

핵심 정리(Theorem 4)는 “(⌊n/2⌋‑2)-bishellable인 그리기는 반드시 cr(D)≥H(n)”이다. 증명은 k‑edge 개념을 활용한다. 각 에지는 기준 면에 대한 좌·우 배치에 따라 k‑edge(0≤k≤⌊n/2⌋‑1)로 정의되며, 교차수는 k‑edge들의 가중합으로 표현된다(E≤≤k(D) = Σ_{i=0}^k (k+1‑i)E_i(D)). Lemma 6은 k‑bishellable이면 E≤≤k(D)≥3·C(k+3,3)임을 귀납적으로 보인다. 이 하한을 교차수 공식에 대입하면 H(n) 이상의 교차수가 얻어진다.

증명 과정에서 bishellable의 ‘단조성’이 중요한 역할을 한다. a₀을 제거하면 (k‑1)-bishellable이 남고, 이를 이용해 귀납 단계에서 invariant edge와 a₀에 인접한 edge들의 기여를 정확히 계산한다. 특히, a₀와 b₀ 주변의 2(k+1)개의 edge가 최소 (k+2 choose 2) 만큼의 가중합을 제공함을 보이며, 이는 전체 합을 충분히 크게 만든다.

또한 저자들은 K₁₁에 대한 구체적인 그림을 제시한다. 이 그림은 H(11)=100개의 교차수를 갖고, 3‑bishellable이지만 어떤 s≥5에 대해서도 s‑shellable이 아니다. 이는 bishellable이 실제로 더 넓은 클래스의 그림을 포괄함을 실증한다.

마지막으로 무한히 많은 n에 대해 (⌊n/2⌋‑2)-bishellable이면서 s‑shellable이 아닌 그림들의 구성법을 제시한다. 이 구성은 정점들을 두 원에 배치하고, 특정 순서대로 삭제해 bishellable 조건을 만족시키면서도 긴 순환열을 만들 수 없게 함으로써 s‑shellable을 방해한다.

결과적으로, bishellable 개념은 기존 shellability보다 적용 범위가 넓고 증명이 간결하며, 하리‑힐 추측을 검증할 수 있는 새로운 도구를 제공한다.