교차수 감소의 연속적 특성

초록

ε>0에 대해 충분히 큰 정점 수 n을 갖는 그래프 G가 m>n^{1+ε}개의 간선을 가질 때, 전체 교차수의 거의 전체를 유지하면서 간선의 일정 비율을 제거할 수 있음을 보인다. 즉, 어떤 δ>0가 존재해 G의 부분그래프 G’가 전체 간선의 ≤(1‑δ)만을 남기면서 cr(G’)≥(1‑ε)·cr(G)를 만족한다. 이는 Fox‑Tóth의 이전 결과를 일반화한 것이다.

상세 분석

본 논문은 그래프 이론에서 교차수(cr)라는 복잡도 측정값이 “연속적으로” 감소한다는 새로운 관점을 제시한다. 기존 연구, 특히 Fox와 Tóth(2018)는 m≥cn·log n 수준의 간선을 가진 그래프에 대해 일정 비율 이하의 간선을 제거하면 교차수가 크게 감소하지 않는다는 결과를 얻었다. 그러나 그들의 방법은 로그 항에 의존했으며, 간선 수가 n^{1+ε}와 같이 다항적으로 큰 경우에는 적용이 제한적이었다.

저자들은 이 한계를 극복하기 위해 두 가지 핵심 기법을 도입한다. 첫째, “밀도‑분할” 기법으로, 그래프를 고밀도 부분과 저밀도 부분으로 나누어 각각에 맞는 제거 전략을 설계한다. 고밀도 영역에서는 Szemerédi 정규형과 유사한 정밀 파티셔닝을 이용해 작은 부분 그래프들 사이의 교차 구조를 정량화하고, 이때 발생하는 교차수를 하위 그래프에 고르게 분배한다. 둘째, “교차수 보존” 라우팅 기법으로, 제거되는 간선이 기존 교차에 크게 기여하지 않도록 선택한다. 이를 위해 저자들은 임의의 간선 집합 E’⊂E(G)에 대해, E’가 차지하는 교차수 비율을 상한값 δ(ε) 이하로 제한하는 확률적 선택 과정을 설계한다. 이 과정은 마르코프 체인과 독립 집합의 존재 정리를 결합해, 기대값 관점에서 전체 교차수의 (1‑ε) 배 이상을 보존함을 보인다.

주요 정리는 다음과 같다. 임의의 ε>0에 대해, 충분히 큰 n에 대해 m>n^{1+ε}인 그래프 G에 대해 δ=δ(ε)>0가 존재한다. 그때 G의 부분그래프 G’가 |E(G’)|≤(1‑δ)m이면서 cr(G’)≥(1‑ε)·cr(G)이다. 증명은 크게 두 단계로 나뉜다. (1) 고밀도 구간에서 정규형을 적용해 교차수의 하위 구조를 파악하고, (2) 저밀도 구간에서 임계값 이하의 간선을 무작위로 제거해 전체 교차수 손실을 제한한다. 두 단계 모두 기존의 “교차수 감소”에 대한 하한을 강화하는데, 특히 ε가 작을수록 δ는 ε에 비례해 선형적으로 감소한다는 점이 눈에 띈다.

이 결과는 그래프 그리기 알고리즘, 특히 대규모 네트워크 시각화에서 중요한 실용적 함의를 가진다. 교차수를 크게 유지하면서 그래프를 희소화할 수 있으면, 레이아웃 계산 비용을 크게 낮출 수 있다. 또한, 교차수와 그래프 마이너 관계 사이의 미묘한 연결 고리를 밝히는 데 기여한다는 점에서 이론적 가치도 높다.