별빛을 세는 새로운 눈: 독립집합·고차도 조건 하의 Ahlswede‑Katona 정리 정밀화

초록

Ahlswede‑Katona 정리는 주어진 간선 밀도에서 2‑엣지 별(체리)의 최대 개수를 규정한다. 본 논문은 그래프가 큰 독립집합을 포함하고, 그 집합의 모든 정점이 최소 k개의 이웃을 갖는 경우를 추가 가정으로 두어 정리를 정밀화한다. 독립집합·고차도 조건을 만족하는 그래프 군 G(n,m,ℓ,k)에서 체리 수의 상한을 정확히 구하고, 특히 ρ와 α(=β) 구간에서 극한값 I(S₂,ρ,α,α)를 결정한다. 또한 이중 그래프에 대한 유사 결과와 증명 기법을 제시한다.

상세 분석

논문은 먼저 Ahlswede‑Katona 정리의 고전적 형태를 복습하고, 이를 “체리 밀도” ρ(S₂,G)=N(S₂,G)/C(n,3) 로 표현한다. 기존 정리는 전체 그래프에서 최대 체리 수가 quasi‑clique C(n,m) 혹은 quasi‑star S(n,m) 중 하나에서 달성된다고 알려져 있다. 그러나 quasi‑clique는 큰 독립집합을 포함하지 않으며, 이는 하이퍼그래프 Turán 문제에서 필요한 구조와 충돌한다. 이를 해결하기 위해 저자들은 G(n,m,ℓ,k)라는 새로운 그래프 패밀리를 정의한다. 여기서 ℓ는 독립집합의 최소 크기, k는 그 집합 내 모든 정점의 최소 차수를 의미한다.

주요 정리 1.4와 1.5는 ρ∈