[논문 리뷰] Sparse hypergraphs: new bounds and constructions

Gennian Ge, Chong Shangguan|arXiv (Cornell University)|2017. 06. 11.

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

한 줄 요약

이 논문은 고정된 정수 $ r \geq k+1 \geq e \geq 3 $ 에 대해 오랫동안 남아있던 Brown-Erdős-Sós 추측의 상한 부분을 증명함으로써 희박한 초그래프에 대한 새로운 경계를 확립하고, $ r \geq 3 $, $ k=2 $, $ e=4,5,7,8 $ 에 대해 추측된 하한에 도달하는 새로운 구성법을 애드티브 조합론을 활용해 제시하여 이전 문헌에서의 장벽을 돌파한다.

ABSTRACT

Let $f_r(n,v,e)$ denote the maximum number of edges in an $r$-uniform hypergraph on $n$ vertices, in which the union of any $e$ distinct edges contains at least $v+1$ vertices. The study of $f_r(n,v,e)$ was initiated by Brown, Erd{ő}s and S{ó}s more than forty years ago. In the literature, the following conjecture is well known. Conjecture: $n^{k-o(1)}k\ge 2$ and $e\ge 3$ as $n ightarrow\infty$. For $r=3, e=3, k=2$, the bound $n^{2-o(1)}

연구 동기 및 목표

• 모든 고정된 정수 $ r \geq k+1 \geq e \geq 3 $ 에 대해 Brown-Erdős-Sós 추측의 상한 부분을 증명하기 위해.
• $ r \geq 3 $, $ k=2 $, $ e=4,5,7,8 $ 에 대해 추측된 하한에 도달하는 새로운 희박한 초그래프를 구성하기 위해.
• $ e=3 $ 또는 $ r=3 $ 인 경우 외의 기존 사례를 넘어서 극값 초그래프 이론에 대한 이해를 확장하기 위해.
• 초그래프 제거 보조정리가 $ f_r(n,v,e) $ 에 대한 일반적인 상한을 유도하는 데 사용될 수 있음을 보여주기 위해.

제안 방법

• 초그래프 제거 보조정리를 적용하여 $ r \geq k+1 \geq e \geq 3 $ 에 대해 상한 $ f_r(n, er - (e-1)k + 1, e) = o(n^k) $ 를 확립한다.
• 이중 세기와 간선 교차 분석에서 유도된 재귀 부등식을 사용하여 $ f_r(n,v,e) $ 를 $ T_r(n,R,e) $ 로 표현하는 경계를 유도한다.
• 특히 해가 없는 집합과 산술적 등차수열을 활용한 애드티브 수론 도구를 통해 희박성 제약 조건 하에서 높은 간선 수를 갖는 $ r $-그래프를 구성한다.
• $ R = er - v $ 를 정의하여 분석을 단순화하고 레이마 7.1 을 반복 적용함으로써 경계를 도출하기 위해 재귀적 프레임워크 $ T_r(n,R,e) $ 를 정의한다.
• $ l \in [r] $ 에 대해 $ f_r(n,v,e) \leq f_r(n,v-r+l,e-1) + \binom{n}{l}/\binom{r}{l} $ 를 증명하고, 터런 문제의 재귀적 분해를 가능하게 한다.
• $ r $-분할 초그래프의 구조와 선형형식 $ (y, y+m, y+2m) $ 으로 정의된 간선 집합을 사용하여 $ \mathcal{G}_r(9,6) $-자유 초그래프를 $ n^{2-o(1)} $ 개의 간선으로 구성한다.

실험 결과

연구 질문

• RQ1 모든 $ r \geq k+1 \geq e \geq 3 $ 에 대해 상한 $ f_r(n, er - (e-1)k + 1, e) = o(n^k) $ 이 성립하는가?
• RQ2 $ e > 3 $ 에 대해 $ f_r(n, er - (e-1)k + 1, e) = n^{k-o(1)} $ 를 달성하는 구성법을 찾을 수 있는가?
• RQ3 초선형 간선 수를 갖는 희박한 초그래프를 구성하기 위해 Ruzsa-Szemerédi (6,3)-정리 이외의 새로운 방법이 존재하는가?
• RQ4 초그래프 제거 보조정리는 $ f_r(n,v,e) $ 에 대한 일반적인 상한을 체계적으로 도출하는 데 응용될 수 있는가?

주요 결과

• 모든 고정된 정수 $ r \geq k+1 \geq e \geq 3 $ 에 대해 상한 $ f_r(n, er - (e-1)k + 1, e) = o(n^k) $ 가 증명되었으며, 이는 이 범위 내에서 Brown-Erdős-Sós 추측의 상한 부분을 확인한다.
• $ r \geq 3 $, $ k=2 $, $ e=4,5,7,8 $ 에 대해 $ n^{2-o(1)} $ 개의 간선을 갖는 $ r $-그래프를 구성하여 $ \mathcal{G}_r(v,e) $-자유임을 확보하고, 추측된 하한에 도달한다.
• 이러한 구성법은 $ e > 3 $ 에 대해 하한에 도달하는 첫 번째 구성법으로서 이전 문헌에서의 장벽을 돌파하였으며, 이전까지 알려진 모든 구성법이 $ e=3 $ 또는 $ r=3 $ 인 경우에 국한되어 있었다.
• 재귀 부등식 $ f_r(n,v,e) \leq f_r(n,v-r+l,e-1) + \binom{n}{l}/\binom{r}{l} $ 가 확립되었고, 이는 날카운 점근적 상한을 도출하는 데 사용되었다.
• 이전 결과인 $ f_r(n, er - (e-1)k + \lfloor \log_2 e \rfloor, e) = o(n^k) $ 에 비해 개선되었으며, 추측과 일치하는 $ v = er - (e-1)k + 1 $ 에서도 이 경계가 성립함을 보였다.
• 간선 수가 $ n \cdot r(n,\star) $ 인 3-분할 3-균일 초그래프 $ \mathcal{H}_M $ 의 구성은 $ f_3(n,9,6) > n^{2-o(1)} $ 를 암시하며, $ e=6 $ 에 대해 추측을 지지한다.