[논문 리뷰] Hypergraph Turán numbers of vertex disjoint cycles

Ran Gu, Xueliang Li외 1명|arXiv (Cornell University)|2013. 05. 23.

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

한 줄 요약

이 논문은 특정 길이의 정점으로 분리된 최소 순환 또는 선형 순환의 가족을 피하는 $k$-균일 초그래프의 정확한 터란 수를 결정한다. 극한 초그래프 이론과 귀납법을 사용하여, 충분히 큰 $n$에 대해 이러한 초그래프에서 간선 수의 최댓값에 대한 정확한 공식을 수립하며, 이는 이전의 단일 순환 결과를 정점으로 분리된 순환의 합집합으로 확장한 것으로, 명시적인 구성과 날카운 경계를 포함한다.

ABSTRACT

The Turán number of a $k$-uniform hypergraph $H$, denoted by $e{x_k}\left({n;H} ight)$, is the maximum number of edges in any $k$-uniform hypergraph $F$ on $n$ vertices which does not contain $H$ as a subgraph. Let $\mathcal{C}_{\ell}^{\left(k ight)}$ denote the family of all $k$-uniform minimal cycles of length $\ell$, $\mathcal{S}(\ell_1,\ldots,\ell_r)$ denote the family of hypergraphs consisting of unions of $r$ vertex disjoint minimal cycles of length $\ell_1,\ldots,\ell_r$, respectively, and $\mathbb{C}_{\ell}^{\left(k ight)}$ denote a $k$-uniform linear cycle of length $\ell$. We determine precisely $e{x_k}\left({n;\mathcal{S}(\ell_1,\ldots,\ell_r)} ight)$ and $e{x_k}\left({n;\mathbb{C}_{\ell_1}^{\left(k ight)}, \ldots, \mathbb{C}_{\ell_r}^{\left(k ight)}} ight)$ for sufficiently large $n$. The results extend recent results of Füredi and Jiang who determined the Turán numbers for single $k$-uniform minimal cycles and linear cycles.

연구 동기 및 목표

• 단일 $k$-균일 최소 및 선형 순환에 대한 알려진 터란 수를 정점으로 분리된 순환의 가족으로 확장하기 위해.
• 정점으로 분리된 최소 순환 $\ell_1,\ldots,\ell_r$의 길이를 갖는 $r$개의 합집합을 피하는 $k$-균일 초그래프에 대한 극한 수 $ex_k(n; \mathcal{S}(\ell_1,\ldots,\ell_r))$를 결정하기 위해.
• 정점으로 분리된 $k$-균일 선형 순환의 가족에 대해 $ex_k(n; \mathbb{C}_{\ell_1}^{(k)},\ldots,\mathbb{C}_{\ell_r}^{(k)})$를 확립하기 위해.
• 금지된 순환 가족을 포함하지 않으면서 간선 수가 최대가 되는 초그래프를 정확한 공식으로 제공하고 특성화하기 위해.
• Füredi와 Jiang의 단일 순환에 대한 이전 결과를 귀납적이고 구조적 추론을 통해 정점으로 분리된 순환의 합집합으로 일반화하기 위해.

제안 방법

• 지정된 순환 가족을 피하는 $k$-균일 초그래프에서 간선 수의 최댓값을 분석하기 위해 극한 초그래프 이론을 활용하기 위해.
• 순환 수 $r$에 대한 귀납법을 사용하며, 기본 사례 $r=1$는 Füredi와 Jiang의 단일 순환에 대한 알려진 결과에 의존한다.
• 고정된 $t$-집합 $S$를 설정하고, $S$와 만족하는 모든 $k$-간선을 포함하며, 필요에 따라 보완 부분에 추가 간선을 포함하여 극한 초그래프를 구성하기 위해.
• 구조적 분해를 적용: 초그래프 내에서 $k$-균일 선형 순환 $\mathbb{C}_{\ell_1}^{(k)}$를 식별한 후, 남은 정점에 대해 귀납법을 적용하기 위해.
• 종단 집합과 $(k-1)$-간선의 개념을 활용하여 순환을 재귀적으로 통합함으로써, 상호 배타성과 금지된 부분그래프의 방지를 보장하기 위해.
• Berge 경로와 선형 경로의 터란 수에 대한 경계를 활용하여 점근적 간선 수를 유도하고 극한성의 타당성을 검증하기 위해.

실험 결과

연구 질문

• RQ1 정점으로 분리된 최소 순환 $\ell_1,\ldots,\ell_r$의 길이를 갖는 $r$개의 가족을 피하는 $k$-균일 초그래프에 대한 정확한 터란 수 $ex_k(n; \mathcal{S}(\ell_1,\ldots,\ell_r))$는 무엇인가요?
• RQ2 정점으로 분리된 $r$개의 $k$-균일 선형 순환의 합집합에 대해 터란 수 $ex_k(n; \mathbb{C}_{\ell_1}^{(k)},\ldots,\mathbb{C}_{\ell_r}^{(k)})$는 어떻게 행동합니까?
• RQ3 금지된 순환 가족을 포함하지 않으면서 터란 수를 달성하는 극한 초그래프는 명시적으로 특성화될 수 있나요?
• RQ4 특히 순환 길이가 짝수 또는 홀수일 경우, 다수의 분리된 순환에 대한 터란 수와 단일 순환에 대한 터란 수는 어떻게 다릅니다?
• RQ5 간선 수가 터란 수를 초과하는 초그래프는 반드시 적어도 하나의 금지된 순환을 포함해야 하는 구조적 성질는 무엇인가요?

주요 결과

• 충분히 큰 $n$에 대해, $ex_k(n; \mathcal{S}(\ell_1,\ldots,\ell_r)) = \binom{n}{k} - \binom{n-t}{k} + J$이며, 여기서 $t = \sum_{i=1}^r \lfloor \ell_i / 2 \rfloor$ 이고, 모든 $\ell_i$가 짝수이면 $J=1$, 그렇지 않으면 $J=0$이다.
• $\mathcal{S}(\ell_1,\ldots,\ell_r)$에 대한 극한 초그래프는 고정된 $t$-집합 $S$와 겹치는 모든 $k$-간선과, 모든 $\ell_i$가 짝수이면 $S$ 외부에 하나의 추가 $k$-간선을 포함한다.
• $ex_k(n; \mathbb{C}_{\ell_1}^{(k)},\ldots,\mathbb{C}_{\ell_r}^{(k)})$의 정확한 값은 모든 $\ell_i$가 짝수일 경우 $\binom{n}{k} - \binom{n-t}{k} + \binom{n-t-2}{k-2}$이며, 그렇지 않으면 $\binom{n}{k} - \binom{n-t}{k}$이다.
• $\mathbb{C}_{\ell_1}^{(k)},\ldots,\mathbb{C}_{\ell_r}^{(k)}$에 대한 극한 구성은 고정된 $t$-집합 $S$와 겹치는 모든 $k$-간선과, 모든 $\ell_i$가 짝수이면 $[n]\setminus S$ 내에서 두 개의 고정된 원소를 포함하는 모든 $k$-간선을 포함한다.
• 결과는 극한 초그래프가 이소모르피즘을 제외하고 유일하며, 금지된 순환 가족을 포함하지 않으면서 최대 간선 수를 달성한다는 것을 확인한다.
• 논문은 정점으로 분리된 순환의 합집합에 대한 터란 수가 점근적으로 날카로우며, $r=1$일 때 알려진 단일 순환 결과와 일치함을 증명하며, 이를 다수의 순환으로 확장한다.