[논문 리뷰] Hypergraph Turan numbers of linear cycles

Zoltán Füredi, Tao Jiang|Repository of the Academy's Library (Library of the Hungarian Academy of Sciences)|2013. 02. 11.

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

한 줄 요약

이 논문은 $k \geq 5$ 이고 $n$ 이 충분히 클 때, 초그래프에서 $k$-균일 선형 사이클에 대한 정확한 터란 수를 델타 시스템 방법을 사용하여 결정한다. 최적 가족은 홀수 사이클 길이 $\ell = 2t+1$ 에서는 고정된 $t$-집합과 교차하는 모든 $k$-집합이며, 짝수 $\ell = 2t+2$ 에서는 이 가족에 더해 두 개의 고정된 원소를 포함하는 모든 $k$-집합으로 구성된다. 이는 무베이와 버스트라에테의 추측을 더 강한 형태로 확인한다.

ABSTRACT

A k-uniform linear cycle of length s is a cyclic list of k-sets A_1,..., A_s such that consecutive sets intersect in exactly one element and nonconsecutive sets are disjoint. For all k at least 5 and s at least 3 and sufficiently large n we determine the largest size of a k-uniform set family on [n] not containing a linear cycle of length s. For odd s=2t+1 the unique extremal family F_S consists of all k-sets in [n] intersecting a fixed t-set S in [n]. For even s=2t+2, the unique extremal family consists of F_S plus all the k-sets outside S containing some fixed two elements. For k at least 4 and large n we also establish an exact result for so-called minimal cycles. For all k at least 4 our results substantially extend Erdos' result on largest k-uniform families without t+1 pairwise disjoint members and confirm, in a stronger form, a conjecture of Mubayi and Verstraete. Our main method is the delta system method.

연구 동기 및 목표

• $k \geq 5$ 이고 $n$ 이 큰 경우 $k$-균일 선형 사이클에 대한 정확한 터란 수를 결정하는 것.
• pairwise disjoint edge $t+1$ 개를 포함하지 않는 $k$-균일 가족의 최대 크기에 대한 에르되시의 결과를 확장하는 것.
• 무베이와 버스트라에테의 선형 사이클에 대한 최적 가족에 관한 추측을 더 강한 형태로 확인하는 것.
• $k \geq 4$ 인 $k$-균일 초그래프에서 최소 사이클에 대한 정확한 결과를 확립하는 것.

제안 방법

• 고핵도를 갖는 집합계열을 분석하기 위해 [12] 및 [9]의 도구들을 포함한 델타 시스템 방법을 적용한다.
• 핵도 그래프 $\mathrm{Ker}_s({\cal F})$ 와 $r$-핵도 그래프 $\mathrm{Ker}^{(r)}_s({\cal F})$ 를 사용하여 고다중도 교차를 식별한다.
• 로바슈-크루스칼-카토나 그 sombord 정리를 사용하여 초그래프의 $p$-그림자 크기를 제한한다.
• 금지된 구성요소를 제어하기 위해 프랭클의 정리(2-핵도가 유계인 $k$-균일 가족의 최대 크기)를 적용한다.
• 핵도 그래프에서 경로와 사이클을 구성함으로써 모순을 이끌어내어 특정 구조를 가진 최적 가족을 배제한다.
• 안정성 추론을 구현하여, 선형 사이클을 피하는 큰 가족은 고정된 $t$-집합으로 정의된 최적 가족과 구조적으로 유사해야 한다고 보여준다.

실험 결과

연구 질문

• RQ1 $k \geq 5$ 이고 $n$ 이 큰 경우, $n$ 개의 정점에서 구성된 $k$-균일 초그래프 중 선형 사이클 길이 $\ell$ 를 포함하지 않는 최대 크기는 얼마인가요?
• RQ2 사이클 길이 $\ell$ 이 홀수인지 짝수인지에 따라 최적 가정의 구조는 어떻게 달라지나요?
• RQ3 무베이와 버스트라에테의 선형 사이클에 대한 터란 수 추측을 극한 집합 이론을 사용하여 더 강한 형태로 확인할 수 있을까요?
• RQ4 $k \geq 4$ 인 $k$-균일 초그래프에서 최소 선형 사이클에 대한 정확한 터란 수는 무엇인가요?
• RQ5 핵도와 그림자 크기는 선형 사이클을 피하는 초그래프의 구조를 어떻게 제약합니까?

주요 결과

• 홀수 $\ell = 2t+1$ 와 $k \geq 5$ 에서, 유일한 최적 가정은 고정된 $t$-집합 $S$ 와 교차하는 모든 $k$-집합으로 구성되며, 크기는 $\binom{n}{k} - \binom{n-t}{k}$ 이다.
• 짝수 $\ell = 2t+2$ 와 $k \geq 5$ 에서, 최적 가정은 고정된 $t$-집합 $S$ 와 교차하는 모든 $k$-집합에 더해 $S$ 외부의 두 고정 원소를 포함하는 모든 $k$-집합으로 구성되며, 크기는 $\binom{n}{k} - \binom{n-t}{k} + \binom{n-t-2}{k-2}$ 이다.
• 홀수 $\ell$ 에 대한 최적 가정은 유일하며, 선형 $\ell$-사이클을 포함하지 않으면서 최대 크기를 달성한다.
• 짝수 $\ell = 2t+2$ 에서도 주어진 조건 하에 최적 가정은 역시 유일하다.
• $k \geq 4$ 에서, 본 논문은 최소 선형 사이클에 대한 정확한 터란 수를 확립하였으며, 최적 가정의 크기는 $\binom{n}{k} - \binom{n-t}{k} + 1$ 으로 유계된다.
• 안정성 결과에 따르면, 최적 크기에서 $\delta$ 이내인 모든 가정은 고정된 $t$-집합으로 정의된 최적 가정과 구조적으로 유사해야 한다.