그래프 컷폭과 퇴화도 사이의 새로운 하한 관계

초록

본 논문은 그래프의 퇴화도(δ), 컷폭(cw) 및 균일 희소성(ρ, λ)을 연결하는 부등식을 제시한다. 일반 그래프에 대해 cw(G) > δ(G)²/4 + δ(G)/2 라는 2차 하한을 얻으며, 삼각형이 없는 그래프에서는 cw(G) > δ(G)²/2 로 더 강한 결과를 얻는다. 또한 K_{k+1}를 포함하지 않는 그래프에 대한 일반화된 식도 도출한다. 이러한 결과는 Gromov가 제기한 “복잡한 그래프를 실선에 사상할 때 레벨 집합의 복잡도는 어떻게 제한되는가”라는 질문에 그래프 이론적 관점에서 답을 제공한다.

상세 분석

논문은 먼저 컷폭을 연속 사상 f : G → ℝ의 최대 다중도와 동치인 전통적 정의로 소개한다. 정점 순서 O = (x₁<⋯<x_n)에 대해 cw(G,O)=max_i |{uv∈E | u≤x_i<v}| 로 정의하고, cw(G)=min_O cw(G,O) 로 최소값을 취한다. 이어 퇴화도 δ(G)는 k‑core 개념을 이용해 “G가 비어 있지 않은 가장 큰 k‑core의 k” 로 정의한다. 퇴화도는 색채수와 리스트 색채수에 대한 상한을 제공한다는 잘 알려진 성질을 언급한다.

희소성은 두 파라미터 λ>1, ρ∈(0,1] 로 정의한다. 그래프 G가 λ‑희소하다는 것은 |E(G)|≤n(n−1)/(2λ) 를 의미하고, (ρ,λ)‑균일 희소성은 모든 정점 수 ≥ρn 인 부분그래프가 λ‑희소함을 뜻한다. 이 정의는 삼각형이 없는 그래프가 Turán 정리로부터 (ρ, 2(ρn−1)/(ρn))-균일 희소함을 갖는다는 사실을 이용한다.

주요 정리 2.1은 (ρ,λ)‑균일 희소 그래프에 대해 두 가지 하한을 제시한다. 첫 번째는 cw(G) > ⌈ρn⌉·(δ(G)−(⌈ρn⌉−1)/λ)  (1) 이며, 두 번째는 2 n ρ ≤ δ(G)λ−1 일 때 cw(G) > (δ(G)λ+1)²/(4λ)−(δ(G)λ+1)/(2λ)  (2) 이다. 증명은 δ‑core G′를 취하고, 그 위에서 최적 순서를 O를 잡아 각 i에 대해 교차하는 간선 수 n_i를 하한한다. 균일 희소성 가정으로 n_i ≥ i·δ(G)−i²/λ−i/λ 를 얻고, 이를 i=⌊(δ(G)λ+1)/2⌋ 혹은 i=⌈ρn⌉ 에 대입해 (1), (2)를 도출한다.

특수 경우를 통해 일반 그래프에 대한 간단한 하한을 얻는다. 모든 그래프는 (0,1)‑균일 희소이므로 (2)를 적용하면 cw(G) > δ(G)²/4 + δ(G)/2  (3) 를 얻는다. 이는 Gromov의 질문에 대한 “높은 퇴화도를 가진 그래프는 실선으로 사상될 때 반드시 높은 다중도를 가진다”는 정량적 답이다. 삼각형이 없는 경우 Turán 정리로부터 λ=2(ρn−1)/(ρn) 를 대입하면 cw(G) > δ(G)²/2  (4) 를 얻으며, 이는 일반적인 경우보다 두 배 강한 하한이다. 더 일반적으로 K_{k+1}를 금지하는 경우 λ를 Turán‑정리의 일반형으로 설정해 cw(G) > (k/(k−1))·δ(G)²/4 − (k−1)·δ(G)/(k)  (5) 와 같은 식을 얻는다. 마지막으로 Turán 그래프 T_{ur}(n,k) 에 대해 위 부등식이 차수적으로 최적임을 보이며, 실제 순서를 구성해 상한과 하한이 같은 차수를 갖는 것을 확인한다.

전체적으로 논문은 퇴화도와 컷폭 사이의 2차 관계를 최초로 명시하고, 희소성 개념을 도입해 다양한 금지 서브그래프 조건 하에서 더 강한 하한을 도출한다. 이는 그래프 이론뿐 아니라 Gromov가 제시한 위상수학적 질문에 대한 조합론적 해답을 제공한다는 점에서 의미가 크다.