[논문 리뷰] A New Bound for the Brown--Erd\H{o}s--S\'os Problem.

David Conlon, Lior Gishboliner외 2명|arXiv (Cornell University)|2019. 12. 18.

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

한 줄 요약

이 논문은 극도의 조합론에서 Brown–Erd\'os–S\'os 문제에 대한 새로운 渐近 bound를 확립한다. 3-균형 초그래프에 대해, $e$ 개의 간선을 포함하지만 최대 $e + \lceil 26\log e / \log\log e\rceil$ 개의 정점에서 구성된 간선 수는 $o(n^2)$이다. 이 결과는 오랫동안 유지되어 온 S\'ark\H{o}zy–Selkow bound를 개선하며, $\lfloor\log_2 e\rfloor$ 오차 항을 로그 이하의 항으로 대체함으로써 초그래프 제거 보조정리의 정교한 응용을 통해 달성된다.

ABSTRACT

Let $f(n,v,e)$ denote the maximum number of edges in a $3$-uniform hypergraph not containing $e$ edges spanned by at most $v$ vertices. One of the most influential open problems in extremal combinatorics then asks, for a given number of edges $e \\geq 3$, what is the smallest integer $d=d(e)$ so that $f(n,e+d,e) = o(n^2)$? This question has its origins in work of Brown, Erd\\H{o}s and S\\'os from the early 70's and the standard conjecture is that $d(e)=3$ for every $e \\geq 3$. The state of the art result regarding this problem was obtained in 2004 by S\\'{a}rk\\"{o}zy and Selkow, who showed that $f(n,e + 2 + \\lfloor \\log_2 e \ floor,e) = o(n^2)$. The only improvement over this result was a recent breakthrough of Solymosi and Solymosi, who improved the bound for $d(10)$ from 5 to 4. We obtain the first asymptotic improvement over the S\\'{a}rk\\"{o}zy--Selkow bound, showing that $$ f(n, e + O(\\log e/ \\log\\log e), e) = o(n^2). $$

연구 동기 및 목표

• Brown–Erd\'os–S\'os 추측을 해결하기 위해, $f_3(n,e+d,e) = o(n^2)$가 되도록 하는 최소의 $d(e)$를 결정하는 것.
• 이전 개선 작업을 제한하는 자연스러운 장벽을 극복하기 위해, 특히 S\'ark\H{o}zy–Selkow bound의 $\lfloor\log_2 e\rfloor$ 항을 줄이는 것.
• 2004년 S\'ark\H{o}zy–Selkow 결과에 대한 일반적인 渐近 개선을 처음으로 제공하는 것.
• 일반화된 램지 유형 문제, 예를 들어 간선 색칠과 무채색 부분그래프를 포함하는 문제들로 이 개선 결과를 확장하는 것.

제안 방법

• 임의의 $r$ 에 대해 $r$-균형 초그래프 제거 보조정리를 적용하여 이전 접근 방식의 핵심 제약 조건을 우회하는 것.
• 계승적 추정을 사용하여 오차 항의 상수를 26에서 $6+o(1)$으로 개선하는 것.
• 새로운 감소 논증을 통해 일반화된 Brown–Erd\'os–S\'os 추측을 $r=3$, $k=2$ 경우로 환원하는 것.
• 완전 그래프의 간선 색칠로부터 4-균형 초그래프를 구성하여 문제를 $f_4(n,p,e)$ 함수와 연결하는 것.
• 색칠 기반 감소를 통해 일반화된 램지 문제와 Brown–Erd\'os–S\'os 문제 사이의 연결 고리를 확립하는 것.
• $f_4(n,p,e) = o(n^2)$이면 $g(n,p,q) = \binom{n}{2} - o(n^2)$임을 증명하여 경계 전이를 가능하게 하는 것.

실험 결과

연구 질문

• RQ1 최소의 $d(e)$는 무엇이며, 이는 어떻게 渐近적으로 개선될 수 있는가? $f_3(n,e+d,e) = o(n^2)$
• RQ2 S\'ark\H{o}zy–Selkow bound의 $\lfloor\log_2 e\rfloor$ 오차 항을 로그 이하의 함수로 줄일 수 있는가?
• RQ3 일반적으로 적용된 초그래프 제거 보조정리는 Brown–Erd\'os–S\'os 문제에서 돌파구를 마련할 수 있는가?
• RQ4 f_3(n,e+d,e) 문제에서의 개선 사항은 관련된 램지 유형 문제로 얼마나 널리 전이될 수 있는가?
• RQ5 일반화된 Brown–Erd\'os–S\'os 추측은 원래의 $r=3$, $k=2$ 경우와 동치이며, 근사 결과도 동일하게 전이될 수 있는가?

주요 결과

• 논문은 $f_3(n,e + \lceil 26\log e / \log\log e\rceil, e) = o(n^2)$를 확립하며, 이는 S\'ark\H{o}zy–Selkow bound에 대한 첫 번째 일반적 개선이다.
• 계승적 추정을 정교화함으로써 상수 26을 $6 + o(1)$으로 개선하여, $f_3(n,e + (6+o(1))\log e / \log\log e, e) = o(n^2)$를 도출한다.
• 이 결과는 $q \geq q_{\text{quad}}(p) + C\log p / \log\log p$ 이면 $g(n,p,q) = \binom{n}{2} - o(n^2)$임을 의미하며, S\'ark\H{o}zy와 Selkow의 bound를 향상시킨다. 여기서 $C$는 절대 상수이다.
• 증명은 일반화된 Brown–Erd\'os–S\'os 추측이 원래의 $r=3$, $k=2$ 경우와 동치이며, 근사 경계가 양쪽 모두에 대해 전이된다는 것을 보여준다.
• 일반화된 램지 문제에서 Brown–Erd\'os–S\'os 문제로의 감소가 체계적으로 정의되며, $f_4(n,p,e) = o(n^2)$이면 $g(n,p,q) = \binom{n}{2} - o(n^2)$임을 보여준다.
• 논문은 임의의 $r$ 에 대해 $r$-그래프 제거 보조정리를 적용함으로써 이전 방법의 자연스러운 장벽을 극복하며, 로그 이하의 오차 항을 가능하게 한다.