정규 3차 그래프를 네 기본 기울기로 그리기

초록

본 논문은 모든 3차 정규 그래프가 수평·수직·양·음 45도 네 가지 기본 기울기만을 사용해 직선 변으로 그릴 수 있음을 증명한다. 또한, 네 개의 기울기가 이러한 성질을 갖는 필요충분조건은 그 집합이 K₄를 그릴 수 있는 경우와 동치임을 보인다.

상세 분석

그래프의 **기울기 수(sl(G))**는 서로 다른 직선 기울기의 최소 개수를 의미한다. 기존 연구에서는 차수가 3인 그래프에 대해 5개의 기울기가 필요하다는 결과가 있었으며, 4개의 기울기로는 연결된 경우에만 가능하다는 제한이 있었다. 이 논문은 이러한 격차를 메우고, 모든 3차 정규 그래프—연결 여부와 무관하게—를 네 기본 기울기 {0, π/4, π/2, 3π/4}만으로 표현할 수 있음을 보인다.

핵심 아이디어는 M‑컷(컷‑에지가 매칭을 이루는 절단)과 슈퍼사이클(모든 정점의 차수가 최소 2이고 모두 2가 아닌 사이클) 구조를 활용하는 것이다. 먼저, BFS 탐색을 통해 그래프 내에 길이가 O(log n) 이하인 사이클을 찾고, 이를 축소해 슈퍼사이클을 만든다. Lemma 2.6은 충분히 큰 그래프(정점 수 n ≥ 2s−2)에서 슈퍼사이클이 존재하면, 크기가 ≤ s−2인 적절한 M‑컷을 확보할 수 있음을 증명한다. 이 M‑컷을 이용해 그래프를 두 개의 서브큐빅(차수가 ≤ 3인) 컴포넌트로 분리하고, 기존의 Theorem 2.3(서브큐빅 그래프는 네 기본 기울기로 그릴 수 있음)을 적용한다. 한 컴포넌트를 180도 회전·수직 이동시켜 M‑컷의 두 끝을 정확히 수직(π/2)으로 연결하면 전체 그래프가 요구된 네 기울기로 완성된다.

작은 그래프(정점 수 ≤ 16)와 3‑연결·비해밀턴성 조건을 만족하지 않는 경우는 별도 검증이 필요하다. 여기서는 차수‑2 정점이 존재하거나 2‑정점 절단집합이 있는 경우를 이용해 다시 M‑컷을 찾고, 혹은 Max Engelstein이 제시한 해밀턴 사이클이 있는 경우를 적용한다. 결국 모든 예외 케이스를 전산 검증(코드 부록)으로 확인하여, n ≥ 18인 경우와 n ≤ 16인 경우 모두 네 기본 기울기로 그릴 수 있음을 완전히 증명한다.

Theorem 1.2는 **기울기 집합의 ‘좋음’**을 정의하고, 네 기울기가 K₄를 그릴 수 있으면 그 집합은 기본 기울기의 아핀 변환임을 보인다. 즉, K₄를 그릴 수 없는 네 기울기 집합은 어떤 3차 정규 그래프도 그릴 수 없다는 강력한 역조건을 제공한다.

이 결과는 기울기 수가 차수에 따라 무한히 커질 수 있다는 기존 의문에 반해, 차수 3에서는 고정된 네 개의 기울기로 충분함을 보여준다. 또한, 평면 기울기 수, 두께, 기하학적 두께와 같은 다른 그래프 파라미터와의 관계를 명확히 하여, 향후 차수 4 이상의 경우에 대한 연구 방향을 제시한다.