짝수 사이클에 대한 베르스트라테 추측을 무너뜨린 두 반례
베르스트라테가 제시한 “ℓ<k이면 C₂ₖ‑free 그래프는 일정 비율 이상의 C₂ℓ‑free 부분그래프를 포함한다”는 추측은 ℓ=4, k=5 경우에 두 가지 반례가 존재함을 보인다. 첫 번째는 고밀도 C₁₀‑free 하이퍼큐브 부분그래프, 두 번째는 웽거가 만든 C₁₀‑free 극대 그래프이다. 두 반례 모두 일정 비율(c) 이상의 간선을 유지하면서도 C₈을 피할 수 없음을 증명한다.
저자: David Conlon, Eion Mulrenin, Cosmin Pohoata
논문은 짝수 사이클을 포함하지 않는 그래프에서 더 짧은 짝수 사이클을 피하는 부분그래프를 일정 비율 이상 찾을 수 있는가에 대한 베르스트라테의 추측을 집중적으로 검토한다. 추측은 “모든 정수 2≤ℓ0도 만족시키는 C₈‑free 부분그래프가 존재하지 않는다.
이 두 반례는 서로 다른 방식으로 베르스트라테 추측을 무너뜨린다. 첫 번째는 하이퍼큐브의 구조적 특성을 이용해 밀도가 낮은 C₁₀‑free 그래프를 만든 뒤, C₈‑free 서브그래프가 전체 간선의 일정 비율을 차지할 수 없음을 보인다. 두 번째는 웽거의 고밀도 C₁₀‑free 그래프가 매우 강인한 C₈‑구조를 가지고 있음을 증명한다. 특히 두 번째 결과는 “일반화된 육각형”과 같은 다른 C₁₀‑free 구성과는 달리, 웽거 구조가 C₈에 대해 거의 불가피하게 포함시킨다는 점을 강조한다.
논문의 마지막 섹션에서는 이러한 결과를 바탕으로 더 일반적인 짝수 사이클 쌍에 대한 전망을 제시한다. 저자들은 C_{4k}와 C_{4k+2} 사이의 극한 비율 차이가 충분히 커서, 충분히 큰 k에 대해 베르스트라테 추측이 성립하지 않을 가능성을 제시한다. 또한, 하이퍼큐브 Qₙ에서 C_{4k}와 C_{4k+2}의 extremal 수가 서로 다른 상한 기법(그래프 vs 3‑uniform hypergraph)에서 유도된다는 점을 언급하며, 이는 추후 연구에서 중요한 방향을 제공한다. 전체적으로 이 논문은 짝수 사이클 사이의 관계에 대한 기존의 직관을 뒤흔들고, 베르스트라테 추측이 전 범위에 걸쳐 성립하지 않음을 강력히 증명한다.
원본 논문
고화질 논문을 불러오는 중입니다...
댓글 및 학술 토론
Loading comments...
의견 남기기