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

본 논문은 그래프 이론에서 두 중요한 파라미터인 퇴화도(δ)와 컷폭(cw) 사이의 정량적 관계를 새롭게 제시한다. 먼저 저자는 Gromov가 제시한 “복잡한 매니폴드 X를 실선 ℝ에 연속 사상할 때, 레벨 집합의 복잡도가 X의 복잡도를 제한할 수 있는가”라는 질문을 그래프의 연속 사상 f : G → ℝ와 연결한다. 그래프 G를 위상적으로 실현한 뒤, 레벨 집합의 최대 다중도는 정확히 그래프의 컷폭과 동치임을 보이며, 이를 통해 컷폭을 “정점 순서에 따른 가장 큰 교차 간선 수”라는 전통적 정의와 동일시한다. 다음으로 퇴화도 δ(G)를 정의한다. k‑core 개념을 이용해, G의 모든 정점이 최소 k개의 이웃을 갖는 최대 서브그래프를 k‑core라 하고, 비어 있지 않은 가장 큰 k‑core의 k를 퇴화도로 정의한다. 퇴화도는 색채수와 리스트 색채수에 대한 상한을 제공하는 잘 알려진 그래프 파라미터이다. 그 후 저자는 “균일 희소성”이라는 새로운 개념을 도입한다. 그래프 G가 λ‑희소하다는 것은 |E(G)| ≤ n(n−1)/(2λ) 를 의미한다. (ρ,λ)‑균일 희소성은 모든 정점 수 ≥ ρn 인 부분그래프가 λ‑희소함을 뜻한다. 이 정의는 전체 그래프가 아니라 큰 부분그래프에 대해서만 희소성을 요구함으로써, 예를 들어 삼각형이 없는 그래프가 Turán 정리로부터 (ρ, 2(ρn−1)/(ρn))-균일 희소성을 갖는다는 사실을 활용한다. 주요 결과는 정리 2.1이다. (ρ,λ)‑균일 희소 그래프 G에 대해 두 가지 하한을 제시한다. 1) 일반적인 경우:  cw(G) > ⌈ρn⌉·(δ(G)−(⌈ρn⌉−1)/λ)  (식 1) 2) 2 n ρ ≤ δ(G)λ−1 이 추가로 만족될 때:  cw(G) > (δ(G)λ+1)²/(4λ) − (δ(G)λ+1)/(2λ)  (식 2) 증명은 다음과 같다. 먼저 G의 δ‑core G′를 취한다. G′는 최소 차수가 δ(G)이며, 컷폭은 서브그래프에 대해 감소하지 않으므로 cw(G) ≥ cw(G′). G′에 대해 최적 순서 O를 잡고, i번째 정점까지의 교차 간선 수를 n_i라 두면, 균일 희소성 가정에 의해 i>ρn 일 때 G′의 i개의 정점이 이루는 부분그래프는 λ‑희소하므로 n_i ≤ i(i−1)/(2λ) 가 된다. 반면 최소 차수가 δ(G)이므로 총 차수 합은 i·δ(G) 이상이며, 이를 이용해 n_i ≥ i·δ(G)−i²/λ−i/λ 를 얻는다. 이 부등식을 i=⌈ρn⌉ 혹은 i≈(δ(G)λ+1)/2 로 대입해 식 1, 2를 도출한다. 정리 2.1을 바탕으로 여러 특수 경우를 논한다. - **일반 그래프**: 모든 그래프는 (0,1)‑균일 희소이므로 식 2에 λ=1을 대입하면  cw(G) > δ(G)²/4 + δ(G)/2  (식 3) 가 얻어진다. 이는 퇴화도가 커질수록 컷폭도 최소 2차적으로 성장한다는 강력한 하한이다. 특히 완전 그래프 K_n에 대해 식 3이 정확히 일치함을 확인한다. - **삼각형이 없는 그래프**: Turán 정리로부터 λ=2(ρn−1)/(ρn) 를 얻고, ρ를 δ(G)/n 로 잡으면 식 1이  cw(G) > δ(G)²/2  (식 4) 가 된다. 이는 일반적인 경우보다 두 배 큰 하한이며, 삼각형이 금지된 그래프가 상대적으로 더 희소하다는 사실을 정량화한다. - **K_{k+1} 금지 그래프**: Turán 정리의 일반형을 이용해 λ=k/(k−1)·(ρn)/(ρn−1) 로 두고, 같은 방식으로 식 1을 적용하면  cw(G) > (k/(k−1))·δ(G)²/4 − (k−1)·δ(G)/k  (식 5) 을 얻는다. 이는 k가 커질수록 일반 그래프와 비슷한 형태로 수렴한다. 마지막으로 Turán 그래프 T_{ur}(n,k) (가장 균형 잡힌 k‑partite 그래프)에 대해 상한과 하한이 같은 차수를 갖는 구체적인 정점 순서를 제시한다. 정점들을 1,…,n 으로 번호 매기고, 서로 다른 파트에 속하면 간선을 연결하는 방식으로 순서를 잡으면, 각 위치 i에서 교차하는 간선 수는 i·(n−i)·(k−1)/k + 1 로 계산된다. 이 함수는 i≈(n+k/(k−1))/2 에서 최대가 되며, 결과적으로  cw(T_{ur}(n,k)) ≈ (k−1)/k·n²/4 + O(n) 임을 확인한다. 따라서 식 5는 차수적으로 최적임을 알 수 있다. 전체적으로 논문은 퇴화도와 컷폭 사이의 2차 관계를 최초로 명시하고, 균일 희소성이라는 새로운 도구를 도입해 다양한 금지 서브그래프 조건 하에서 더 강한 하한을 제공한다. 이는 Gromov가 제시한 위상수학적 질문에 대한 조합론적 해답을 제시함과 동시에, 그래프 이론에서 컷폭을 다루는 새로운 방법론을 제시한다는 점에서 학문적 의의가 크다.