[논문 리뷰] Sidorenko's conjecture for blow-ups

David Conlon, Joonkyung Lee|arXiv (Cornell University)|2018. 09. 04.

Limits and Structures in Graph Theory참고 문헌 13인용 수 26

한 줄 요약

이 논문은 복잡한 그래프를 더 단순한 형태로 변환할 수 있는 새로운 '홀더 기법'을 사용하여, 이중 그래프의 넓은 신규 클래스에 대해 시도르렌코의 추측을 증명한다. 핵심 결과는 각도 $k$에 대해, 이중 분할의 한 쪽에서 도수 $k$를 가진 정점의 수가 이항계수를 포함하는 나눗셈 조건을 만족할 경우 추측이 성립한다는 것이다. 이는 모든 이중 그래프 $H$에 대해 어떤 블로우업 $H_A^p$가 추측을 만족함을 의미하며, 시도르렌코의 추측의 $L^p$-버전을 확인한다.

ABSTRACT

A celebrated conjecture of Sidorenko and Erdős-Simonovits states that, for all bipartite graphs $H$, quasirandom graphs contain asymptotically the minimum number of copies of $H$ taken over all graphs with the same order and edge density. This conjecture has attracted considerable interest over the last decade and is now known to hold for a broad range of bipartite graphs, with the overall trend saying that a graph satisfies the conjecture if it can be built from simple building blocks such as trees in a certain recursive fashion. Our contribution here, which goes beyond this paradigm, is to show that the conjecture holds for any bipartite graph $H$ with bipartition $A \cup B$ where the number of vertices in $B$ of degree $k$ satisfies a certain divisibility condition for each $k$. As a corollary, we have that for every bipartite graph $H$ with bipartition $A \cup B$, there is a positive integer $p$ such that the blow-up $H_A^p$ formed by taking $p$ vertex-disjoint copies of $H$ and gluing all copies of $A$ along corresponding vertices satisfies the conjecture. Another way of viewing this latter result is that for every bipartite $H$ there is a positive integer $p$ such that an $L^p$-version of Sidorenko's conjecture holds for $H$.

연구 동기 및 목표

• 이중 그래프의 복제 수의 최소값을 다각도 그래프 이론에서 오랫동안 남아있던 추측을 해결하기 위해.
• 트리나 약한 노름을 갖는 그래프에서의 재귀적 구성 외의 알려진 그래프 클래스를 확장하기 위해.
• 모든 이중 그래프 $H$에 대해, 양의 정수 $p$가 존재하여 블로우업 $H_A^p$가 추측을 만족함을 증명하기 위해.
• 복잡한 이중 그래프를 분석하기에 더 다룰 수 있는 형태로 단순화할 수 있는 새로운 방법—'홀더 기법'—을 도입하기 위해.

제안 방법

• 복잡한 그래프의 호모모르피즘 조밀도를 더 단순하고 구조화된 그래프의 조밀도와 연결하기 위해 헬더 부등식을 활용하는 새로운 기법인 '홀더 기법'을 도입한다.
• 정점 집합의 순열에 대한 평균을 취하여, 이중 분할의 한 쪽에서 정점의 도수 분포를 기반으로 변형된 그래프 $J$를 정의한다.
• 거듭제곱 함수의 볼록성과 헬더의 부등식을 사용하여, 호모모르피즘 조밀도 $t_H(G)$를 아래로부터 $t_{K_2}(G)^{e(H)}$로 바운드하며, 이는 추측된 하한값이다.
• 정점의 도수 $k$를 가진 $B$ 쪽의 정점 수가 $\binom{|A|}{k}$로 나누어떨어지는 그래프에 이 방법을 적용하여, 평균화 과정이 잘 정의되고 적분 가능한 함수를 유도한다.
• 변형된 그래프 $J$가 그 구조적 단순성과 약한 노름을 갖는 그래프의 알려진 성질 덕분에 시도르렌코의 추측을 만족함을 증명한다.
• 블로우업 $H$가 $A$를 따라 이루어질 수 있음을 고려하여 동일한 프레임워크를 적용함으로써, 충분히 큰 $p$에 대해 $H_A^p$가 추측을 만족함을 보인다.

실험 결과

연구 질문

• RQ1 트리 유사한 재귀적 연산으로 구성되지 않은 이중 그래프에 대해 시도르렌코의 추측이 성립하는가?
• RQ2 구조적 및 분석적 기법을 사용하여 임의의 이중 그래프의 블로우업에 대해 추측을 증명할 수 있는가?
• RQ3 이중 그래프의 한 쪽에서의 도수 분포에 어떤 조건이 있어야 시도르렌코의 추측이 성립하는가?
• RQ4 모든 이중 그래프에 대해 성립하는 일반적인 $L^p$-버전의 시도르렌코의 추측이 존재하는가?
• RQ5 '홀더 기법'을 체계적으로 적용하여 복잡한 그래프 호모모르피즘 부등식을 더 단순하고 알려진 경우로 줄일 수 있는가?

주요 결과

• 이중 분할 $A \cup B$를 가진 모든 이중 그래프 $H$에 대해, 각 $k$에 대해 $B$에서 도수 $k$를 가진 정점의 수가 $\binom{|A|}{k}$로 나누어떨어지면, 시도르렌코의 추측이 성립한다.
• 모든 이중 그래프 $H$에 대해, 양의 정수 $p$가 존재하여 블로우업 $H_A^p$가 시도르렌코의 추측을 만족한다.
• 모든 이중 그래프 $H$에 대해 $L^p$-버전의 시도르렌코의 추측이 성립하며, 이는 $H_A^p$가 어떤 $p \geq 1$에 대해 추측을 만족함을 의미한다.
• 증명은 복잡한 그래프를 제어 가능한 도수 구조를 가진 단순한 그래프 $J$로 줄이는 데 기반한 새로운 '홀더 기법'에 의존한다.
• 만약 $H$가 $B$ 쪽에서 정규 그래프이면, $|B| \geq \binom{|A|}{r}$이면 나눗셈 조건 없이도 추측이 성립한다.
• 지역 버전의 추측이 확립되었다: 임의의 $\varepsilon, q > 0$에 대해, 간선 조밀도가 $q$인 큰 그래프는 서로 다른 정점의 튜플을 포함하며, 이 튜플이 유도하는 $H$-복제의 조밀도가 $q^{e(H)}$에서 $\varepsilon$ 이내에 있다.