[논문 리뷰] Avoiding long Berge cycles II, exact bounds for all $n$

Zoltán Füredi, Alexandr Kostochka외 1명|arXiv (Cornell University)|2018. 07. 16.

Limits and Structures in Graph Theory참고 문헌 5인용 수 15

한 줄 요약

이 논문은 $k \geq r+4$ 일 때 모든 $n$ 에 대해 $n$ 개의 정점과 $r$-균일 초그래프에서 길이 $k$ 이상의 Berge 사이클을 피하는 최대 간선 수를 정확히 결정한다. 최적 초그래프는 $k-1$ 개의 정점을 가진 완전 $r$-그래프와 $m = n \mod (k-2)$ 개의 정점을 가진 더 작은 완전 $r$-그래프를 붙여서 구성되며, 이 구성이 최적임을 구조적 및 샤도 기반 추론을 통해 증명한다.

ABSTRACT

Let $EG_r(n,k)$ denote the maximum number of edges in an $n$-vertex $r$-uniform hypergraph with no Berge cycles of length $k$ or longer. In the first part of this work, we have found exact values of $EG_r(n,k)$ and described the structure of extremal hypergraphs for the case when $k-2$ divides $n-1$ and $k\geq r+3$. In this paper we determine $EG_r(n,k)$ and describe the extremal hypergraphs for all $n$ when $k\geq r+4$.

연구 동기 및 목표

• 모든 $n$ 에 대해 $r$-균일 초그래프에서 길이 $k$ 이상의 Berge 사이클이 없는 경우, $\mathrm{EG}_r(n,k)$ 의 정확한 값을 구하는 것 — 이는 $n$ 개의 정점과 $r$-균일 초그래프에서의 최대 간선 수이다.
• 최대 간선 수를 달성하는 최적 초그래프의 구조를 규명하는 것.
• 이전 결과 [5] 에서는 $k-2$ 가 $n-1$ 을 나누는 조건에서만 성립했지만, 이를 모든 $n$ 으로 확장하는 것.
• 조건 $k \geq r+4$ 에서 최적 초그래프가 $k-1$ 개의 정점을 가진 완전 $r$-그래프 $K_{k-1}^{(r)}$ 와 $m = n \mod (k-2)$ 개의 정점을 가진 하나의 완전 $r$-그래프 $K_m^{(r)}$ 로 이루어져 있음을 증명하는 것.
• 이러한 구성에서 길이 $k$ 이상의 Berge 사이클이 존재하지 않으며, 샤도 및 교차 구조 분석을 통해 이것이 최적임을 입증하는 것.

제안 방법

• Berge 사이클이 단일 샤도 블록 내에 국한되므로, 사이클 포함성을 분석하기 위해 초그래프의 2-샤도 $\partial_2{\mathcal{H}}$ 를 사용하는 것.
• 그래프의 Erdős–Gallai 정리를 기반으로 하되, Berge 사이클의 유사체를 통해 초그래프로의 최적 경계 확장하는 것.
• 완전 $r$-그래프 $K_{k-1}^{(r)}$ 와 $m = n \mod (k-2)$ 인 하나의 $K_m^{(r)}$ 를 붙여서 최적 초그래프를 구성하는 것.
• Sperner 성질과 초간선 간의 교차 제약 조건을 활용하여 Berge 사이클을 제거하는 데, 특히 초간선을 샤도의 정점 집합으로 사영하는 $\varphi(f)$ 를 사용하는 것.
• 모순을 통한 반증: 만약 $\varphi({\mathcal{D}})$ 에 Berge 사이클이 존재한다면, 원래 초그래프는 길이 $k$ 이상의 Berge 사이클을 포함하게 되어 최적성 가정에 위배된다.
• 초간선 $f$ 에 대해 $\varphi(f)$ 의 크기 기반 사례 분석을 통한 증명: $|\varphi(f)| = r$ 와 $|\varphi(f)| < r$ 의 경우를 구분하고, 사영된 인덱스에 대해 트리 구조를 적용하여 최대성 조건을 강제하는 것.

실험 결과

연구 질문

• RQ1 모든 $n$ 에 대해 $k \geq r+4$ 일 때, 길이 $k$ 이상의 Berge 사이클이 없는 $r$-균일 초그래프에서 정점 수가 $n$ 인 경우의 최대 간선 수는 무엇인가?
• RQ2 모든 $n$ 이나 $k \geq r+4$ 일 때, 최적 초그래프는 어떤 구조적 성질을 가지는가?
• RQ3 이전에 [5] 에서만 $k-2$ 가 $n-1$ 을 나누는 조건에서 유효했던 최적 구성이 모든 $n$ 에 대해 일반화될 수 있는가?
• RQ4 2-샤도와 사영 사상 $\varphi(f)$ 는 어떻게 Berge 사이클 없는 초그래프를 특성화하는 데 기여하는가?
• RQ5 제약 조건 하에서 최적 초그래프의 구조는 동형을 제외하고 유일한가?

주요 결과

• 모든 $n$ 에 대해 $k \geq r+4$ 일 때, 길이 $k$ 이상의 Berge 사이클이 없는 $r$-균일 초그래프에서 정점 수가 $n$ 인 경우의 최대 간선 수는 정확히 $\left\lfloor\frac{n-1}{k-2}\right\rfloor\binom{k-1}{r} + \begin{cases} m-1 & \text{if } 1 \leq m \leq r \\ \binom{m}{r} & \text{if } r+1 \leq m \leq k-2 \end{cases}$ 이며, 여기서 $m = n \mod (k-2)$ 이다.
• 최적 초그래프는 $\left\lfloor\frac{n-1}{k-2}\right\rfloor$ 개의 완전 $r$-그래프 $K_{k-1}^{(r)}$ 와 $m = n - (k-2)\left\lfloor\frac{n-1}{k-2}\right\rfloor$ 개의 정점을 가진 하나의 추가 $K_m^{(r)}$ 을 붙여서 구성된다.
• 만약 $m \leq r$ 이면, 마지막 블록에 $\binom{m}{r}$ 대신 $m-1$ 개의 간선이 존재한다. 이는 Sperner 성질과 Berge 사이클 제약 조건 때문이다.
• 최적 초그래프는 동형을 제외하고 유일하며, 2-샤도가 $K_{k-1}$ 들의 서로소 합집합과 하나의 $K_m$ 으로 이루어지고, 초간선이 이 클리크들에 국한될 때에만 최대 간선 수를 달성한다.
• 증명은 어떤 초그래프가 더 많은 간선을 가진다면, 사영 구조 $\varphi({\mathcal{D}})$ 를 분석함으로써 길이 $k$ 이상의 Berge 사이클을 포함하게 되며, 이는 원래 초그래프가 최적일 수 없음을 보여준다.
• 이 구성은 최적이며, [5] 의 정리 3.1 에서 유도된 상한과 일치한다. 이는 $m$ 에 대한 사례 분석과 사영된 인덱스에 트리 구조를 적용하여 최대성을 강제함으로써 모든 $n$ 에 대해 확장된다.