그래프 세제곱에서의 에지 증가와 최적 경계

초록

본 논문은 직경이 3 이상인 모든 연결 그래프 G에 대해 세제곱 그래프 G³의 평균 차수가 최소 차수 δ(G)의 7/4배 이상임을 증명하고, 해당 상수가 최적임을 보이는 예시를 제시한다. 이를 통해 Hegarty가 제기한 상수 최적화 문제를 해결한다.

상세 분석

논문은 먼저 그래프 G의 k-제곱 Gᵏ을 정의하고, 직경이 k 이하이면 Gᵏ가 완전 그래프가 됨을 상기한다. 기존 연구에서는 정규 그래프의 경우 G²에서 일정 비율 이상의 에지 증가가 보장되지 않지만, G³에서는 일정 양의 상수 c>0이 존재한다는 Hegarty의 결과가 있었으며, Pokrovskiy가 c=1/6까지 끌어올렸다. 본 논문은 이 문제를 완전히 해결하여, 모든 연결 그래프(정규 여부와 무관)에서 e(G³) ≥ (7/8)·δ(G)·v(G) 를 증명한다. 평균 차수는 2e(G³)/v(G)이므로 이는 평균 차수가 최소 차수의 7/4배 이상임을 의미한다.

증명은 “doubling vertex”(deg_{G³}(v) ≥ 2δ)와 그 집합 Z를 도입하고, Z를 제외한 연결 성분들의 집합 X_i를 고려한다. 주요 주장들은 (1) 길이 3의 지오데식 경로 내부 정점은 모두 doubling이며, (2) 같은 성분에 속한 두 정점은 2-이웃 집합이 동일하고, (3) 인접 성분 사이에 공통 이웃이 없을 경우에도 2-이웃 집합이 동일함을 보인다. 이를 통해 “∼” 관계를 정의해 성분들을 등가류 Y_i 로 묶는다.

각 Y_i에 대해 N(Y_i) 가 G²에서 완전 그래프를 이루고, 직경 ≥3이므로 G²는 완전 그래프가 아니다. 따라서 N²(Y_i) \ N(Y_i) 에 속하는 정점 u가 존재하고, 이 u와 Y_i 사이의 이웃 관계를 이용해 모든 v∈Y_i에 대해 deg_{G³}(v) ≥ δ + |Y_i| 를 얻는다.

다음으로 Z와 Y_i들의 크기 관계를 이용해 z = |Z| ≥ δ·ℓ – y (ℓ은 등가류 수, y = Σ|Y_i|) 를 도출한다. 마지막으로 모든 정점의 차수 합을 계산하면
∑{v∈V} deg{G³}(v) – (7/4)δ·v(G) ≥ (1/4)δ·z – (3/4)δ·y + Σ y_i² ≥ 0
임을 확인한다. 따라서 평균 차수가 7/4·δ 이상임을 증명한다.

상수의 최적성을 보이기 위해, H₁~H₅ 라는 다섯 개의 부분 그래프를 특정 방식으로 연결해 만든 G_k 를 구성한다. 이 그래프는 4k-정규이며, 정점 수는 8k+3이다. 계산을 통해 e(G_k³) = 28k²+16k+2 로, 평균 차수가 정확히 (7/4)·δ에 도달함을 확인한다. 따라서 7/8·δ·v(G) 라는 경계는 최적이다.

또한 방향 그래프에 대한 유사한 추측(Conjecture 1.4)도 제시하며, 이는 Caccetta‑Häggkvist 추측과 연관된 흥미로운 문제임을 언급한다. 전체적으로, 논문은 정규성 가정 없이도 G³에서의 에지 성장 하한을 정확히 규명하고, 기존 연구의 공백을 메우는 중요한 기여를 한다.