[논문 리뷰] Random Tur\'an theorem for hypergraph cycles

Dhruv Mubayi, Liana Yepremyan|arXiv (Cornell University)|2020. 07. 20.

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

한 줄 요약

이 논문은 무작변 r-균일 초그래프 $G_{n,p}^{(r)}$에서 선형 짝수 사이클 $C_{2\theta}^{(r)}$에 대한 일반적인 터란 수를 설정하며, $p$의 값이 점점 줄어드는 범위를 제외한 모든 범위에서 다항로그 인자까지의 임계값 행동을 규명한다. 이는 이전의 결과를 강화하는 새로운 코드그레이에 의존하는 초과포화 결과를 도입함으로써 가능해졌으며, 이는 다양한 간선 확률 범위에서 정밀한 추정을 가능하게 한다.

ABSTRACT

Given $r$-uniform hypergraphs $G$ and $H$ the Tur\\'an number $\ m ex(G, H)$ is the maximum number of edges in an $H$-free subgraph of $G$. We study the typical value of $\ m ex(G, H)$ when $G=G_{n,p}^{(r)}$, the Erd\\H{o}s-R\\'enyi random $r$-uniform hypergraph, and $H=C_{2\\ell}^{(r)}$, the $r$-uniform linear cycle of length $2\\ell$. The case of graphs ($r=2$) is a longstanding open problem that has been investigated by many researchers. We determine $\ m ex(G_{n,p}^{(r)}, C_{2\\ell}^{(r)})$ up to polylogarithmic factors for all but a small interval of values of $p=p(n)$ whose length decreases as $\\ell$ grows. Our main technical contribution is a balanced supersaturation result for linear even cycles which improves upon previous such results by Ferber-Mckinley-Samotij and Balogh-Narayanan-Skokan. The novelty is that the supersaturation result depends on the codegree of some pairs of vertices in the underlying hypergraph. This approach could be used to prove similar results for other hypergraphs $H$.

연구 동기 및 목표

• 에르되시-레니 무작변 r-균일 초그래프 $G_{n,p}^{(r)}$에서 터란 수 $\mathrm{ex}(G_{n,p}^{(r)}, C_{2\theta}^{(r)})$의 일반적인 값을 규명하는 것.
• 이중 그래프를 초과하여 r-균일 선형 짝수 사이클에 초점을 맞춘 무작위 터란 문제에 대한 이해를 확장하는 것.
• 정점의 코드그레이를 고려하는 더 강력한 초과포화 정리 개발을 통해 기존의 초그래프 사이클 결과를 향상시키는 것.
• 넓은 범위의 $p$에 대해 $G_{n,p}^{(r)}$에서 $C_{2\theta}^{(r)}$-자유 부분그래프의 크기에 대한 점점 거의 확실한 경계를 설정하는 것.
• 짝수 사이클을 초과하여 다른 r-분할 r-그래프에 적용 가능한 프레임워크를 제공하는 것.

제안 방법

• 초그래프 내 정점 쌍의 코드그레이에 의존하는 선형 짝수 사이클에 대한 균형 잡힌 초과포화 결과 도입.
• 코드그레이에 의존하는 초과포화 결과를 활용하여 r-그래프에서 $\mathrm{ex}(G_{n,p}^{(r)}, C_{2\theta}^{(r)})$에 대한 날카로운 경계 유도.
• 컨테이너 방법과 확률 부등식(예: 체르노프 부등식, 마르코프 부등식)을 적용하여 무작변 초그래프 내 소규모 사이클의 수 제어.
• 스테이너 체계와 고지름 3-그래프의 블로업을 통해 명시적인 $C_{2\theta}^{(r)}$-자유 부분그래프 구축하여 하한 확보.
• 버트란의 추측을 활용하여 희박하고 고지름을 가진 부분그래프를 구축하기 위해 원하는 성질을 가진 부분 스테이너 체계 구축.
• 집중 부등식을 사용하여 고지름 3-그래프의 블로업에서 고립된 간선의 수가 기대값 주변에 집중됨을 보여주어 하한 구축 가능.

실험 결과

연구 질문

• RQ1 무작변 r-균일 초그래프 $G_{n,p}^{(r)}$에서 $\mathrm{ex}(G_{n,p}^{(r)}, C_{2\theta}^{(r)})$의 일반적인 값은 무엇인가요?
• RQ2 정점 쌍의 코드그레이는 초그래프에서 선형 짝수 사이클의 초과포화에 어떤 영향을 미치나요?
• RQ3 코드그레이를 고려하는 더 강력한 초과포화 결과를 개발하여 무작변 초그래프에서 터란 유형 경계를 향상시킬 수 있을까요?
• RQ4 $p=n^{-\alpha}$의 다양한 범위에서 $\mathrm{ex}(G_{n,p}^{(r)}, C_{2\theta}^{(r)})$의 임계값 행동은 어떻게 되나요?
• RQ5 코드그레이에 의존하는 초과포화 방법은 다른 r-분할 r-그래프로 얼마나 일반화될 수 있나요?

주요 결과

• 논문은 $\ell$가 증가함에 따라 점점 줄어드는 $p$의 구간을 제외한 모든 범위에서 $\mathrm{ex}(G_{n,p}^{(r)}, C_{2\theta}^{(r)})$를 다항로그 인자까지 규명한다.
• 기존의 페르버-맥킨리-사모티지 및 발라그-나라얀단-스코카논의 작업을 향상시키는 새로운 코드그레이에 의존하는 초과포화 결과를 증명한다.
• $p \ll n^{-1+1/(2\ell-1)}$일 경우, 터란 수는 거의 확실히 $\mathrm{ex}(G_{n,p}^{(r)}, C_{2\theta}^{(r)}) = (1-o(1))e(G_{n,p}^{(r)})$를 만족한다.
• $p \gg n^{-1+1/(2\ell-1)}$일 경우, 터란 수는 다항로그 인자까지 $O(p^{1/\ell}n^{1+1/\ell})$로 유계로 제한된다.
• 고지름 3-그래프의 블로업을 사용한 구축은 $p \gg n^{-2}$일 경우 $\Omega(p^{1/4}n^{3/2})$개의 간선을 가진 $C_4^{(3)}$-자유 부분그래프를 제공한다.
• $p = n^{-2/3}$일 경우 하한 $\Omega(n^{4/3})$를 달성하며, 이는 3-균일 경우의 임계값과 일치한다.