[논문 리뷰] Hypergraphs with few Berge paths of fixed length between vertices

Zhiyang He, Michael Tait|arXiv (Cornell University)|2018. 07. 26.

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

한 줄 요약

이 논문은 고전적인 균형 사이클 문제를 초그래프로 확장하여, 고정된 길이 $k$의 베르그 경로를 최대 $t$개 이하로 가진다는 조건 하에, $r$-균일 초그래프에서의 최대 초간선 수를 연구한다. 확률론적 및 대수기하학적 방법을 사용하여, $t$가 충분히 클 경우 최대 간선 수가 $\Theta(n^{1+1/k})$임을 입증하며, 이는 기존의 그래프에 대한 결과를 초그래프로 일반화하고, 베르그-$\Theta_{k,t}$-자유 초그래프에 대해 순서의 크기를 확인한다.

ABSTRACT

In this paper we study the maximum number of hyperedges which may be in an $r$-uniform hypergraph under the restriction that no pair of vertices has more than $t$ Berge paths of length $k$ between them. When $r=t=2$, this is the even-cycle problem asking for $\mathrm{ex}(n, C_{2k})$. We extend results of Füredi and Simonovits and of Conlon, who studied the problem when $r=2$. In particular, we show that for fixed $k$ and $r$, there is a constant $t$ such that the maximum number of edges can be determined in order of magnitude.

연구 동기 및 목표

• 정점 쌍 간에 고정된 길이 $k$의 다수의 베르그 경로를 금지함으로써, 그래프에서의 $C_{2k}$에 대한 투란 유형 문제를 $r$-균일 초그래프로 일반화한다.
• 모든 정점 쌍이 길이 $k$의 베르그 경로를 $t$개 이하로만 가질 수 있는 $r$-균일 초그래프에서의 최대 초간선 수를 결정한다.
• 고정된 $k$와 $r$에 대해 최대 함수 $\mathrm{ex}_r(n, \Theta_{k,t}^B)$의 순서의 크기를 확립하고, $t$가 충분히 클 경우 이 순서가 날카로움을 보인다.

제안 방법

• 유한체 위의 랜덤 다항식을 사용한 확률적 구성 방법을 통해, 정점 쌍 간의 경로 수를 제어할 수 있는 초그래프를 생성한다.
• 다양체와 다항식 시스템과 같은 대수기하학 도구를 사용하여, 유효한 베르그 경로를 모방할 수 있는 열화되거나 단순하지 않은 산책의 수를 제한한다.
• 스웨츠-지프엘 보조정리와 마르코프 부등식을 적용하여, 높은 확률로 구성된 초그래프가 $\Omega_{k,r}(n^{1+1/k})$개의 간선을 가지며, 큰 $t$에 대해 $\Theta_{k,t}^B$ 부분초그래프를 피한다는 것을 보인다.
• 지오리와 레몬스의 영감을 받은 감소 보조정리를 사용하여 $r$-균일 초그래프를 $2$-균일 그래프로 변환함으로써, 기존의 그래프 이론적 경계를 초그래프로 이전할 수 있도록 한다.
• 고정된 초간선 색인 순서를 가진 길이 $k$의 유효한 베르그 경로 집합 $S_\sigma$를 정의하고, 관련 대수다양체의 복잡도 한계를 사용하여 경로 수를 제어한다.
• 체비셰프 부등식을 적용하여 간선 수가 기대값 주변에 집중됨을 보이며, 이는 원하는 최대 성질을 가진 초그래프의 존재를 보장한다.

실험 결과

연구 질문

• RQ1 모든 정점 쌍이 길이 $k$의 베르그 경로를 최대 $t$개 이하로만 가질 수 있는 $r$-균일 초그래프에서의 최대 초간선 수는 얼마인가?
• RQ2 고정된 $k$와 $r$에 대해 $t$가 충분히 클 경우, 최대 함수 $\mathrm{ex}_r(n, \Theta_{k,t}^B)$가 $\Theta(n^{1+1/k})$로 증가하는가?
• RQ3 최대 간선 수는 균일도 $r$과 허용된 경로 수 $t$에 따라 어떻게 달라지는가?
• RQ4 정점 쌍 간에 다수의 베르그 경로를 금지하는 초그래프에서 최대 함수의 순서의 크기를 결정할 수 있는가? 이는 균형 사이클 문제의 일반화이다.
• RQ5 $t$가 클 경우 최대 함수의 의존성은 무엇이며, 이는 그래프 경우와 어떻게 비교되는가?

주요 결과

• 고정된 $k$와 $r$에 대해, $\mathrm{ex}_r(n, \Theta_{k,t}^B) \leq c_{r,k,t} n^{1+1/k}$를 만족하는 상수 $c_{r,k,t}$가 존재하며, 이는 투란-시몬비츠 경계를 초그래프로 일반화한다.
• 만약 $t$가 $k$와 $r$에 대해 충분히 크다면, 최대 함수는 $\mathrm{ex}_r(n, \Theta_{k,t}^B) = \Omega_{k,r}(n^{1+1/k})$를 만족하며, 이는 순서의 크기가 날카로움을 보여준다.
• 구성은 $\mathbb{F}_q$ 위의 랜덤 다항식을 사용하여, $n = rN$개 정점에서 $\Omega(N^{1+1/k})$개의 간선을 가지며 $\Theta_{k,C_{k,r}+1}^B$ 부분초그래프를 포함하지 않는 $r$-균일 초그래프를 생성한다.
• 랜덤 구성에서 임의의 정점 쌍 간의 길이 $k$의 베르그 경로 수는 $C_{k,r}$ 이하로 제한되며, 이 제한은 높은 확률로 모든 쌍이 이 수를 초과하지 않음을 보장하는 데 사용된다.
• 이 방법은 열화된 산책을 제어하고 스웨츠-지프엘 보조정리를 적용하기 위해 대수기하학을 기반으로 하며, 유효한 경로 수가 여전히 제한됨을 보장한다.
• 간선 수의 분산이 $O(\mathbb{E}[X])$임을 보이며, 체비셰프 부등식에 의해 간선 수가 기대값 주변에 집중됨을 보여, $\Omega(n^{1+1/k})$개의 간선과 원하는 금지된 부분초그래프 성질을 가진 초그래프의 존재를 보장한다.