단순 위상 그래프 열거의 새로운 상한

초록

이 논문은 정점 n개, 간선 m개를 갖는 단순 위상 그래프의 서로 다른 그리기(위상적 배치)의 개수를 두 가지 동형 개념—위상 동형과 약한 동형—에 대해 상한을 제시한다. 저자는 모든 그래프 G에 대해 약한 동형 클래스 수가 2^{O(n^2 log(m/n))} 이하이며, m < n^{3/2}인 경우 2^{O(m n^{1/2} log n)} 이하임을 보인다. 이를 통해 n개의 의사선분 교차 그래프 수가 2^{O(n^{3/2} log n)}로 제한됨을 얻는다. 또한 완전 그래프의 경우 VC‑dimension과 순열 집합에 대한 최신 결과를 이용해 상한을 2^{n^2 α(n)^{O(1)}}로 개선한다. 마지막으로 위상 동형 클래스 수는 2^{m^2+O(mn)} 이하이며, m > (6+ε)n인 경우 2^{Ω(m^2)}의 하한을 가진다.

상세 분석

논문은 먼저 단순 위상 그래프(simple topological graph)의 정의를 명확히 한다. 여기서 ‘단순’이란 두 간선이 최대 한 점(끝점 혹은 교차점)만 공유하고, 세 개 이상의 간선이 같은 교차점에 겹치지 않는다는 조건이다. 위상 동형(isomorphism)은 구면상의 연속적인 변형(homeomorphism)으로 그래프를 옮길 수 있는지를 묻는 반면, 약한 동형(weak isomorphism)은 두 그래프가 동일한 교차 쌍 집합을 갖는지만을 요구한다. 이 두 개념은 특히 완전 그래프 K_n의 경우 크게 차이가 나며, 기존 연구에서는 약한 동형 클래스의 개수를 추정하는 것이 핵심 과제로 남아 있었다.

기존에 Pach와 Tóth이 제시한 결과는 n개의 정점에 대해 단순 위상 그래프의 약한 동형 클래스 수가 2^{O(n^2 log n)}임을 보였지만, 이는 m이 n에 비해 크게 변할 때는 비효율적이었다. 저자는 이를 일반 그래프 G(정점 n, 간선 m, 고립 정점 없음)로 확장하여, 약한 동형 클래스 수를 2^{O(n^2 log(m/n))}로 제한한다. 이 식은 m이 n에 비례하면 O(n^2 log n)과 일치하고, m이 n^{3/2}보다 작을 때는 더 강력한 2^{O(m n^{1/2} log n)} 상한을 제공한다. 핵심 아이디어는 그래프의 간선 집합을 적절히 분할하고, 각 파트에서 가능한 교차 패턴을 VC‑dimension 관점에서 제한하는 것이다. 특히, Cibulka와 저자가 공동으로 증명한 “VC‑dimension이 k인 순열 집합의 최대 크기” 결과를 활용해, 순열의 제한된 복잡도가 교차 구조의 조합 폭을 억제한다는 점을 보였다.

완전 그래프 K_n에 대해서는 기존 상한 2^{O(n^2 log n)}을 크게 개선한다. 저자는 순열 집합의 VC‑dimension을 α(n) (역함수) 수준으로 제한함으로써, 약한 동형 클래스 수를 2^{n^2 α(n)^{O(1)}}로 낮춘다. 여기서 α(n)은 역아커만 함수로, 실질적으로 상수에 가까운 성장률을 보인다. 이는 순열의 복잡성을 정밀하게 제어함으로써 교차 패턴의 자유도를 크게 억제한 결과이다.

위상 동형 클래스에 대해서는 보다 강력한 상한 2^{m^2+O(mn)}을 제시한다. 이는 각 간선 쌍이 교차 여부와 순서를 결정하는 2^{O(m^2)} 경우의 수에, 정점 배치에 따른 추가 자유도를 O(mn) 정도만 더 고려하면 충분함을 의미한다. 반면, 하한 측면에서는 m > (6+ε)n인 경우, 그래프를 충분히 촘촘히 배치하면 교차 쌍을 거의 자유롭게 선택할 수 있어 2^{Ω(m^2)}개의 서로 다른 위상 동형을 만들 수 있음을 보인다. 이는 기존에 알려진 하한보다 한 차원 높은 결과이며, 그래프가 충분히 밀집될 때 교차 구조가 폭발적으로 늘어날 수 있음을 강조한다.

마지막으로, 위 결과를 의사선분(pseudosegment) 교차 그래프에 적용한다. 의사선분은 서로 최대 한 번 교차하는 곡선이며, 이러한 선분들의 교차 그래프는 단순 위상 그래프의 약한 동형 클래스와 일대일 대응한다. 따라서 위의 상한을 이용하면 n개의 의사선분이 만들 수 있는 교차 그래프 수가 2^{O(n^{3/2} log n)} 이하임을 얻는다. 이는 이전에 알려진 2^{O(n^{2})} 상한보다 현저히 개선된 결과이며, 의사선분 집합의 복잡성을 보다 정확히 파악하는 데 기여한다.

전체적으로 이 논문은 VC‑dimension, 순열 집합 이론, 그리고 위상 그래프의 구조적 특성을 결합해 기존 상한을 크게 낮추고, 하한까지 일치시키는 균형 잡힌 결과를 제공한다. 이는 위상 그래프 이론뿐 아니라 교차 그래프, 의사선분, 그리고 조합적 기하학 전반에 걸친 응용 가능성을 열어준다.