[논문 리뷰] On the rational Tur\'an exponents conjecture

Dong Yeap Kang, Jaehoon Kim외 1명|arXiv (Cornell University)|2018. 11. 16.

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

한 줄 요약

이 논문은 $2 - \frac{a}{b}$가 모든 정수 $a,b \geq 1$에 대해 $b > a$ 및 $b \equiv \pm 1 \pmod{a}$ 조건을 만족할 때 실현 가능하다는 것을 증명함으로써, 합리적 터란 지수 추측에 중요한 진전을 이룩한다. 이는 유한히 많은 새로운 실현 가능한 지수를 확보하고, $2 - \frac{1}{m}$이 모든 $m \in \mathbb{N}$에 대해 극한점임을 확인한다. 또한 이론적 그래프 이론과 구조적 그래프 성질 간의 연결고리로 작용하는 분할 추측을 제안하며, $[1,2]$ 내의 모든 유리수 지수가 실현 가능하다는 것을 암시한다.

ABSTRACT

The extremal number $\\mathrm{ex}(n,F)$ of a graph $F$ is the maximum number of edges in an $n$-vertex graph not containing $F$ as a subgraph. A real number $r \\in [1,2]$ is realisable if there exists a graph $F$ with $\\mathrm{ex}(n , F) = \\Theta(n^r)$. Several decades ago, Erd\\H{o}s and Simonovits conjectured that every rational number in $[1,2]$ is realisable. Despite decades of effort, the only known realisable numbers are $0,1, \\frac{7}{5}, 2$, and the numbers of the form $1+\\frac{1}{m}$, $2-\\frac{1}{m}$, $2-\\frac{2}{m}$ for integers $m \\geq 1$. In particular, it is not even known whether the set of all realisable numbers contains a single limit point other than two numbers $1$ and $2$. In this paper, we make progress on the conjecture of Erd\\H{o}s and Simonovits. First, we show that $2 - \\frac{a}{b}$ is realisable for any integers $a,b \\geq 1$ with $b>a$ and $b \\equiv \\pm 1 ~({\ m mod}\\:a)$. This includes all previously known ones, and gives infinitely many limit points $2-\\frac{1}{m}$ in the set of all realisable numbers as a consequence. Secondly, we propose a conjecture on subdivisions of bipartite graphs. Apart from being interesting on its own, we show that, somewhat surprisingly, this subdivision conjecture in fact implies that every rational number between 1 and 2 is realisable.

연구 동기 및 목표

• [1,2] 구간 내에서 새로운 실현 가능한 지수를 규명함으로써 오랫동안 남아있던 합리적 터란 지수 추측을 해결하는 것.
• $b > a$ 및 $b \equiv \pm 1 \pmod{a}$ 조건을 만족하는 정수 $a,b \geq 1$에 대해 $2 - \frac{a}{b}$가 실현 가능하다는 것을 입증함으로써 기존 결과를 확장하는 것.
• 이중 그래프의 분할에 관한 새로운 추측을 제안하여, 이것이 참이라면 전체 합리적 터란 지수 추측이 성립함을 암시하는 것.
• 특히 트리와 완전이중그래프에 대해 블로우업과 분할을 통해 극한 그래프의 구조적 통찰을 제공하는 것.
• 실현 가능한 지수 집합 내에서 새로운 극한점, 즉 모든 $m \in \mathbb{N}$에 대해 $2 - \frac{1}{m}$을 식별하는 것.

제안 방법

• 근본 트리의 블로우업과 그 분할을 기반으로 한 새로운 구성 기법을 사용하여 밀도가 제어된 극한 그래프를 생성하는 것.
• 의존적인 랜덤 선택 방법의 변형을 적용하여 이웃성장률을 제어하고 금지된 구성요소를 피하는 밀도 높은 부분그래프의 존재를 보장하는 것.
• 이중 그래프에서 할의 정리와 매칭 이론을 활용하여 $\mathrm{sub}(K_{s,t})$ 및 $T_{s,t}^\ell$ 등의 특정 부분그래프를 통합하는 것.
• $D_{s,t}^\ell$의 개념, 즉 트리 $D_{s,t}$의 $\ell$-블로우업을 도입하여 재귀적 이웃 확장을 통한 극한 수의 분석을 수행하는 것.
• 기존의 극한 경계와 축소 정리(예: Faudree-Simonovits)를 활용하여 분할된 그래프의 극한 수에 대한 상한을 유도하는 것.
• 이중 그래프의 $1$-분할에 대한 극한 수에 대한 추측을 제안하며, 이는 지수의 구조를 유지하는 파wr-법 스케일링을 암시한다.

실험 결과

연구 질문

• RQ1 기존의 $1 + \frac{1}{m}$, $2 - \frac{1}{m}$, $2 - \frac{2}{m}$ 외에 $[1,2]$ 내에서 무한히 많은 새로운 실현 가능한 지수들이 존재하는가?
• RQ2 $b \equiv \pm 1 \pmod{a}$ 조건을 활용하여 $2 - \frac{a}{b}$ 형식의 실현 가능한 지수를 체계적으로 생성할 수 있는가?
• RQ3 $\mathrm{ex}(n,F) = O(n^{1+\alpha})$ 를 만족하는 이중 그래프 $F$에 대해, $\mathrm{ex}(n,\mathrm{sub}(F)) = O(n^{1+\alpha/2})$ 가 성립하는가?
• RQ4 $\ell$-블로우업인 트리 $H_{t,s}$에 대해, $\ell$ 이 크기가 증가함에 따라 $\mathrm{ex}(n,H_{t,s}^\ell)$의 점근적 복잡도가 $\Theta(n^{1 + \frac{t}{1 + (s+1)t}})$ 가 되는가?
• RQ5 $D_{t-1,s-1}^\ell$의 극한 수가 $O(n^{4/3})$ 에서 $O(n^{2 - \frac{t}{st-1}})$ 로 전이되는 임계값 $\ell_0$ 는 무엇인가?

주요 결과

• 모든 정수 $a,b \geq 1$ 에 대해 $b > a$ 및 $b \equiv \pm 1 \pmod{a}$ 조건을 만족할 경우, $2 - \frac{a}{b}$ 는 실현 가능하다. 이는 기존의 실현 가능한 지수 집합을 크게 확장한다.
• 결과적으로, 모든 $m \in \mathbb{N}$ 에 대해 $2 - \frac{1}{m}$ 이 실현 가능한 지수 집합의 극한점이 되며, 이는 유한히 많은 극한점이 존재함을 의미한다.
• 제안된 분할 추측이 참이라면, $[1,2]$ 내의 모든 유리수 지수가 실현 가능하다는 것을 암시한다.
• $t \geq s$ 인 $K_{s,t}$의 $1$-분할에 대해, $\mathrm{ex}(n,\mathrm{sub}(K_{s,t})) \leq O(n^{\frac{3}{2} - \frac{1}{4s-2}})$ 를 만족하며, 이는 이전의 경계를 향상시킨다.
• $D_{2,1}^2$ 의 극한 수는 $\Theta(n^{4/3})$ 이지만, 큰 $\ell$ 에 대해 $\mathrm{ex}(n,D_{2,1}^\ell) = \Theta(n^{7/5})$ 로 나타나며, 이는 $\ell = 3$ 에서 단계 전이가 발생함을 시사한다. $\ell = 2$ 가 아니라.
• $T_{4,7}^\ell$ 의 극한 수는 충분히 큰 $\ell$ 에 대해 $\Theta(n^{10/7})$ 이며, 이는 블로우업 구성법을 통해 새로운 실현 가능한 지수를 확인한 것이다.