[논문 리뷰] Counting Hypergraphs with Large Girth

Sam Spiro, Jacques Verstraëte|arXiv (Cornell University)|2020. 10. 04.

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

한 줄 요약

이 논문은 컨테이너 방법을 $r$-균일 초그래프에서 큰 둘레를 가진 초그래프를 세는 데로 확장한다. 이는 이러한 초그래프의 수를 큰 둘레를 가진 그래프의 수와 연관지킨다. 초그래프의 수가 $n$개 정점, $m$개 간선, 둘레가 $\ell$보다 큰 경우 $\mathrm{N}_m^2(n,\ell)^{r-1+\lambda}$로 유계화됨을 증명하며, 여기서 $\lambda = \lceil(r-2)/(\ell-2)\rceil$이다. 이는 $\ell-2$가 $r-2$를 나누면 지수 항에 $1+o(1)$ 요소가 있을 뿐이므로 최적임을 입증한다. 이는 흩어진, 고둘레의 초구조에서 극도의 그래프 이론과 초그래프 이론 사이에 강력한 정량적 연결을 제공한다.

ABSTRACT

Morris and Saxton used the method of containers to bound the number of $n$-vertex graphs with $m$ edges containing no $\ell$-cycles, and hence graphs of girth more than $\ell$. We consider a generalization to $r$-uniform hypergraphs. The {\em girth} of a hypergraph $H$ is the minimum $\ell$ such that for some $F \subseteq H$, there exists a bijection $ϕ: E(C_\ell) o E(F)$ with $e\subseteq ϕ(e)$ for all $e\in E(C_\ell)$. Letting $N_m^r(n,\ell)$ denote the number of $n$-vertex $r$-uniform hypergraphs with $m$ edges and girth larger than $\ell$ and defining $λ= \lceil (r - 2)/(\ell - 2) floor$, we show \[ N_m^r(n,\ell) \leq N_m^2(n,\ell)^{r - 1 + λ}\] which is tight when $\ell - 2 $ divides $r - 2$ up to a $1 + o(1)$ term in the exponent. This result is used to address the extremal problem for subgraphs of girth more than $\ell$ in random $r$-uniform hypergraphs.

연구 동기 및 목표

• 컨테이너 방법을 그래프에서 $r$-균일 초그래프로 확장하여 큰 둘레를 가진 구조를 세는 데 목적이 있다.
• 정점 수 $n$, 간선 수 $m$, 둘레가 $\ell$보다 큰 $n$-정점 $r$-그래프의 수에 대한 날카운 상계를 확립하는 것.
• 랜덤 $r$-균일 초그래프에서 둘레가 $\ell$를 초과하는 부분그래프에 대한 극도 문제를 다루는 것.
• 랜덤 초그래프에서의 극도 함수 $\mathrm{ex}(H_{n,p}^r, \mathcal{C}_{[\ell]}^r)$의 渐近적 행동을 규명하는 것.

제안 방법

• 컨테이너 방법을 사용하여 $m$개 간선과 둘레 $> \ell$를 가진 $r$-그래프의 수를 유계화함으로써, 그래프의 결과를 일반화한다.
• $\lambda = \lceil(r-2)/(\ell-2)\rceil$를 정의하고 $\mathrm{N}_m^r(n,\ell) \leq \mathrm{N}_m^2(n,\ell)^{r-1+\lambda}$를 증명함으로써 초그래프 수를 그래프 수와 연관시킨다.
• 확률론적 및 극도 기법을 적용하여 랜덤 초그래프에서의 베르제 사이클 수를 분석한다.
• 마르코프 부등식과 체르노프 경계를 사용하여 랜덤 초그래프에서 간선 수와 사이클 수의 집중성을 확립한다.
• 이중 세는 방식과 베르제 사이클 출현에 대한 극도 경계를 활용하여 날카운 조건을 유도한다.
• 산림 $F - v$에 대한 베르제-$F$ 초그래프로의 일반화를 제안하고 최적 지수에 대한 추측을 제기한다.

실험 결과

연구 질문

• RQ1 현재 $\mathrm{N}_m^r(n,\ell)$에 대한 효과적인 경계가 없기 때문에, 컨테이너 방법을 $r$-균일 초그래프에서 큰 둔체를 가진 경우로 어떻게 적응시킬 수 있는가?
• RQ2 다음 경계를 만족하는 가장 날카운 지수 $\beta$는 무엇인가? $\mathrm{N}_m^r(n,\mathcal{C}_\ell^r) \leq 2^{cm} \cdot \mathrm{N}_{[m]}^2(n,C_\ell)^\beta$
• RQ3 랜덤 $r$-균일 초그래프에서 둘레가 $\ell$를 초과하는 간선의 극도 수가 추측한 바와 같이 두 단계 임계값 행동을 따르는가?
• RQ4 베르제-$F$ 초그래프의 경계에서 지수 $r!/2$는 향상시킬 수 있는가? 특히 $F$가 사각형 그래프일 경우에 대해?
• RQ5 언제 $p^m \cdot \mathrm{N}_m^r(n,\ell) \to \infty$이면 $H_{n,p}^r$가 거의 확실히 $m$개 간선을 가지며 둘레 $> \ell$인 부분그래프를 포함하는가?

주요 결과

• 정점 수 $n$, 간선 수 $m$, 둘레가 $\ell$보다 큰 $n$-정점 $r$-그래프의 수는 $\mathrm{N}_m^2(n,\ell)^{r-1+\lambda}$로 유계화되며, 여기서 $\lambda = \lceil(r-2)/(\ell-2)\rceil$이다. 이는 그래프 수와의 강력한 정량적 연결을 제공한다.
• 이 경계는 $\ell-2$가 $r-2$를 나누면 지수 항에 $1+o(1)$ 요소가 있을 뿐이므로 최적임을 입증한다. 이는 핵심 케이스에서 최적성을 확인한다.
• 랜덤 $r$-균일 초그래프 $H_{n,p}^r$에 대해, 둘레 $> \ell$인 부분그래프에서의 극도 간선 수는 거의 확실히 $p^{1/(2r-3)}n^{2-o(1)}$ 이상임을 보여주며, 하한을 확립한다.
• 현재 형태로는 $\ell \geq 4$일 때 구조적 문제로 인해 베르제 4사이클이 보조 초그래프 $H''$에 존재함으로써 방법이 실패한다. 이는 적용 범위를 제한한다.
• 산림 $F - v$에 대해 베르제-$F$ 초그래프로의 일반화가 증명되었으며, 지수 $r!/2$를 가진 경계를 얻었지만, 이는 아마 최적이 아니다.
• 논문은 랜덤 초그래프에서 두 단계 극도 임계값에 대한 추측 III를 제기하며, 후보 지수 $\gamma = r-1 + (r-2)/(\varepsilon-2)$를 제시하고, $\gamma(3,4) = 5/2$를 검증하는 문제 II를 제기한다.