독립집합 금지 그래프에서 s클리크 밀도 최소화 문제의 최신 해법

초록

이 논문은 플래그 알제브라 기법을 이용해 독립집합 크기가 3보다 작은 그래프에서 8클리크의 최소 밀도를 정확히 구하고, 독립집합과 5-사이클이 동시에 금지된 경우 s=4,5,6에 대해 최소 s클리크 밀도가 2^{1-s}임을 보인다. 또한 이러한 결과를 바탕으로 Baumann‑Briggs 문제가 제시한 k-집합이 t‑클리크를 이루는 그래프에서 s‑클리크의 최소 개수를 점근적으로 해결한다.

상세 분석

논문은 먼저 Erdős가 1962년에 제기한 “독립집합이 크기 3 이하인 그래프에서 s‑클리크의 최소 밀도는 얼마인가”라는 고전 문제에 새로운 사례를 추가한다. 저자들은 플래그 알제브라(flag algebra)라는 최신 조합 최적화 도구를 활용해, n이 충분히 큰 경우 독립집합이 3개 이하인 그래프에서 8‑클리크의 최소 밀도가 정확히 491411/268435456+o(1)임을 증명한다. 이 값은 이전에 알려진 상한·하한 사이의 간격을 완전히 메우는 첫 사례이며, 플래그 알제브라의 계산 복잡성을 극복하기 위해 맞춤형 SDP(반정밀도 반정수 계획) 프로그램과 고성능 클러스터를 이용한 수치 검증을 수행한다.

다음으로 저자들은 추가 제약조건을 도입한다. 즉, 그래프가 독립집합 크기 3을 금지할 뿐 아니라 유도된 5‑사이클(C5)도 포함하지 않을 때, s=4,5,6에 대해 최소 s‑클리크 밀도가 2^{1‑s}+o(1)임을 보인다. 여기서 2^{1‑s}는 완전 이분 그래프 K_{n/2,n/2}가 제공하는 밀도와 일치한다. 저자들은 이 경우 extremal 그래프가 거의 균등한 이분 구조를 갖는다는 것을 증명하고, “almost extremal” 그래프가 소수의 변형(예: 작은 수의 추가 혹은 삭제된 간선)만을 포함한다는 정밀한 구조 정리를 제시한다.

이러한 두 주요 결과를 바탕으로 Baumann‑Briggs가 2025년에 제시한 일반화된 문제, 즉 “모든 k‑집합이 t‑클리크를 포함하도록 강제된 n‑정점 그래프에서 s‑클리크의 최소 개수”에 대한 여러 경우를 점근적으로 해결한다. 특히 k=3, t=2(즉, 독립집합이 없고)와 k=5, t=4(5‑정점 부분그래프가 4‑클리크를 포함) 상황에서 정확한 상한을 구하고, 해당 상한을 달성하는 그래프들의 구조를 완전히 규명한다. 논문은 또한 플래그 알제브라를 이용한 증명의 한계와 향후 확장 가능성을 논의하며, 더 높은 s나 복잡한 금지 서브그래프 조합에 대한 도전 과제를 제시한다.