토러스 그래프의 비자명 사이클 제거를 위한 효율적 스파인 구축

초록

본 논문은 $d$ 차원 토러스 그래프 $G_1$과 $G_{\infty}$에서 위상학적으로 비자명한 사이클을 없애기 위해 삭제해야 하는 정점·간선 수의 상한을 크게 개선한다. Cheeger 불등식과 그 이산형태를 이용해 경계가 작은 몸체를 무작위로 이동시킴으로써 $O(\sqrt d,m^{d-1})$개의 정점(또는 $O(\sqrt d/m)$ 비율의 간선)만 제거하면 모든 비자명 사이클이 사라짐을 보인다. 또한 연속 토러스의 표면적 $O(\sqrt d)$인 집합이 모든 비자명 사이클을 가로지른다는 결과도 간결히 재증명한다.

상세 분석

이 연구는 $d$ 차원 토러스의 두 종류 그래프, 즉 모든 좌표에서 인접하거나 동일한 경우를 허용하는 $G_{\infty}=(C_m^d){\infty}$와 한 좌표만 인접하고 나머지는 동일한 $G{1}=(C_m^d)1$에 초점을 맞춘다. 기존 문헌에서는 Bollobás·Kindler·Leader·O’Donnell이 $G{1}$에서 비자명 사이클을 없애기 위해 $O(d^{\log_2(3/2)}m^{d-1})$개의 정점을 삭제해야 한다고 주장했지만, 이는 차원 $d$가 커질수록 급격히 증가한다. 저자들은 Cheeger 불등식의 이산형태—정점 버전과 간선 버전—를 핵심 도구로 삼아, 경계가 작고 자체적으로 비자명 사이클을 포함하지 않는 작은 “몸체”(body)를 구성한다. 이 몸체는 표면적이 $O(\sqrt d)$ 수준이며, 토러스 전체에 대해 무작위 평행 이동(shift)을 적용한다. 이동된 몸체와 겹치는 정점(또는 간선)들을 삭제하면, 남은 그래프는 몸체가 차지한 영역을 제외하고는 토러스의 기본 주기 구조를 파괴하게 된다. 핵심 아이디어는 무작위 이동에 의해 각 정점이 몸체와 겹칠 확률이 $O(\sqrt d/m)$ 정도가 되므로, 전체 정점 수 $m^{d}$에 곱하면 $O(\sqrt d,m^{d-1})$개의 정점만을 기대적으로 삭제하면 된다. 이와 유사하게 $G_{\infty}$에서는 간선 삭제 비율이 $O(\sqrt d/m)$가 되며, 이는 전체 간선 수 대비 매우 작은 비율이다. 또한 연속 토러스 $\mathbb{T}^d$에 대해 동일한 몸체를 선택하면, 표면적 $O(\sqrt d)$인 집합이 모든 비자명 1‑사이클을 가로지른다는 Raz와 Kindler·O’Donnell·Rao·Wigderson의 결과를 짧게 재증명한다. 전체 증명은 Cheeger 불등식이 제공하는 “경계 최소화 ↔ 부피” 관계를 이용해 몸체의 부피와 표면적을 정밀히 제어하고, 무작위 이동에 의한 기대값 계산을 통해 삭제해야 할 정점·간선 수의 상한을 도출한다. 이 접근법은 기존 복잡한 퍼즐‑조각 기법을 대체하며, 차원 의존성을 $\sqrt d$ 수준으로 최적화한다는 점에서 이론적 의미가 크다.