표면에 삽입된 그래프의 5‑박스 표현과 사이클 길이에 따른 차원 감소

초록

본 논문은 고정된 방향성 표면에 삽입된 그래프가 짧은 비수축 사이클을 포함하지 않을 경우 5차원 박스(5‑box)로 표현될 수 있음을 보인다. 이를 통해 genus g인 그래프에서 f(g)개의 정점을 제거하면 5‑box 표현이 가능함을 증명하고, f(g)를 g에 비례하도록 선형화한다. 또한 모든 적절한 소소 마이너 폐쇄 클래스 𝔽에 대해, 충분히 긴 사이클만을 가진 그래프는 3‑box 표현이 가능함을 보여, 차원 감소 한계가 최적임을 확인한다.

상세 분석

이 연구는 그래프의 박스성(boxicity), 즉 최소 차원 d 에서 d‑박스들의 교집합으로 그래프를 나타낼 수 있는지를 조사한다. 기존에 Thomassen이 1986년에 평면 그래프는 3‑box 표현이 가능함을 증명했으며, 이는 최적임이 알려져 있다. 저자는 이를 고차원 표면으로 일반화한다.

핵심 아이디어는 에지‑폭(edge‑width), 즉 비수축 사이클의 최소 길이가 충분히 클 경우 그래프를 “부분적으로 평면”인 구조로 분해할 수 있다는 점이다. Theorem 1(Thomassen)은 큰 에지‑폭을 가진 삼각분할 그래프가 최소 거리 d 를 갖는 g 개의 비수축 사이클을 포함하는 planarizing collection을 가짐을 보인다. 이러한 사이클들을 제거하면 남은 부분은 평면 그래프가 되며, 평면 그래프는 3‑box 표현이 가능하다(Thomassen의 엄격한 3‑box 결과).

다음 단계는 남은 사이클과 그 주변 정점들을 두 개의 추가 차원(총 5 차원)으로 처리하는 것이다. 저자는 기존 3‑box 표현에 대해 빈 내부 코너(empty inner corner) 라는 구조적 특성을 이용한다. Lemma 4와 Theorem 5·6에 의해, 각 삼각형이 내부 코너를 갖는 경우 해당 코너에 새로운 박스를 삽입해도 교차 구조가 깨지지 않는다. 이를 통해 사이클 집합과 그 인접 정점들을 별도의 2‑차원 인터벌 그래프로 표현하고, 마지막 하나의 인터벌 차원(I₇)을 이용해 사이클‑정점 간의 비인접성을 보장한다. 결국 전체 그래프는 5개의 인터벌 그래프(=5‑box)로 표현된다.

또한, 정점 제거 전략을 사용해 일반 genus g 그래프에서도 동일한 결과를 얻는다. 초기 증명에서는 f(g) 가 지수적으로 커졌지만, 저자는 표면 절단과 경계 정점의 선형 개수(60g − 30)를 이용해 f(g) = O(g)임을 보인다. 이는 비수축 사이클이 짧은 경우에도 적용 가능하다.

마지막으로, 소소 마이너 폐쇄 클래스 𝔽에 대해 사이클 길이 제한만으로 3‑box 표현이 가능함을 증명한다. 여기서는 경로‑퇴화(path‑degenerate) 그래프와 acyclic coloring 사이의 연결을 활용한다. Corollary 15·16은, 예를 들어 K₆‑마이너를 포함하지 않는 그래프에서 사이클 길이가 일정 상수 이상이면 박스 차원이 3으로 제한된다는 강력한 결과를 제공한다. 이는 차원 감소 한계가 최적임을 보여준다(예: K₆‑마이너가 없는 그래프는 3‑box 이하가 불가능한 경우 존재).

전체적으로, 저자는 표면 위의 큰 에지‑폭과 엄격한 3‑box 구조를 결합해 차원 상수를 5로 낮추고, 정점 제거와 마이너 폐쇄 클래스에 대한 일반화까지 확장함으로써 박스성 연구에 새로운 통합 프레임워크를 제시한다.