Inversion Diameter와 Treewidth의 최적 경계

초록

본 논문은 그래프의 트리폭이 k인 경우, 그 인버전 그래프의 지름이 정확히 2k에 도달할 수 있음을 보이며, 최대 차수가 3인 그래프에 대해 인버전 지름이 차수와 동일하게 3 이하임을 증명한다. 전자는 기존 상한이 최적임을, 후자는 Havet·Hörsch·Rambaud의 Δ-정리 추측을 Δ=3에 대해 확인한 결과이다.

상세 분석

논문은 두 가지 주요 결과를 제시한다. 첫 번째는 트리폭 k를 갖는 그래프에 대해 인버전 지름이 2k에 도달한다는 정리(정리 1.5)이다. 이를 위해 저자들은 k‑클리크를 시작으로, 각 기존 k‑클리크에 대해 F₂ᵏ의 모든 2ᵏ개의 라벨 벡터를 이용해 새로운 정점을 추가하는 재귀적 구성 G(k)ₘ을 정의한다. 이 과정은 G(k)ₘ이 k‑트리, 즉 트리폭 ≤k인 그래프임을 보장한다. 라벨링 π(k)와 연관된 t‑차원 벡터 할당이 존재한다면 인버전 지름은 t 이하가 된다(정리 2.1). 저자들은 λ(k)=limₘ diam(I(G(k)ₘ))가 2k보다 작다고 가정하고 모순을 도출한다. 핵심은 k‑클리크의 정점 벡터들이 선형 독립성을 유지해야 함을 보이는 일련의 보조 정리(레마 3.1~3.4)와, “나쁜 클리크”(bad clique) 개념을 도입해 차원 논리를 전개하는 것이다. 특히 레마 3.6에서는 p<k인 나쁜 p‑클리크가 존재하면 더 큰 나쁜 클리크가 생성돼 모순이 발생함을 증명한다. 결국 λ(k)≤2k−1은 불가능하고, λ(k)=2k가 성립함을 보여 상한 2k가 정확히 맞음이 확인된다.

두 번째 결과는 최대 차수 Δ=3인 그래프에 대해 인버전 지름이 Δ 이하, 즉 3 이하임을 증명한 정리(정리 1.4)이다. 기존 문헌에서는 Δ=3에 대해 상한 4가 알려졌으며, Δ와 인버전 지름 사이의 선형 관계에 대한 추측이 제시되었다. 저자들은 모든 3‑정규(또는 최대 차수 3) 그래프에 대해 가능한 라벨링을 전부 탐색하는 컴퓨터 프로그램을 구현하고, 각 라벨링에 대해 3‑차원 벡터 할당이 가능한지를 검사한다. 프로그램은 모든 경우에 대해 할당이 존재함을 확인했으며, 이는 정리 2.1의 역방향 조건을 만족시켜 diam(I(G))≤3임을 보인다. 논문은 이 계산적 증명을 수학적으로 정리화하는 방향을 제시하면서, 순수 증명이 아직 남아 있음을 언급한다.

전체적으로 논문은 인버전 연산을 벡터 공간 할당 문제와 연결시키는 강력한 프레임워크를 활용한다. 트리폭에 대한 상한이 정확히 맞는 사례를 구성함으로써 기존 결과의 최적성을 확립하고, 차수 제한에 대한 추측을 부분적으로 해결한다. 또한, 복잡한 선형 대수적 구조(자기 직교 공간, 차원 논리)를 그래프 이론에 적용하는 방법론이 향후 인버전 지름의 일반적 상한 탐구에 유용할 것으로 기대된다.