[논문 리뷰] Triangles in graphs without bipartite suspensions

Dhruv Mubayi, Sayan Mukherjee|arXiv (Cornell University)|2020. 04. 24.

Limits and Structures in Graph Theory인용 수 4

한 줄 요약

이 논문은 일반화된 투란 수 ex(n, K₃, Ĥ)에 대한 향상된 상계를 확립한다. 여기서 Ĥ는 그래프 H의 스텐셔닝이며, H가 완전 이분그래프 K_{a,b}, 짝수 사이클 C_{2k}, 또는 경로 P_k일 경우를 중심으로 다룬다. 삼각형 제거 보조정리와 이웃 구조의 분석을 통해 ex(n, K₃, K̂_{1,a,b}) = o(n^{3−1/a}) 및 ex(n, K₃, K̂_{1,2,2}) = o(n^{5/2})를 증명하며, 이는 이전의 상계를 크게 향상시키고 예상되는 이차 상계에 가까이 다가서게 한다.

ABSTRACT

Given graphs $T$ and $H$, the generalized Turán number ex$(n,T,H)$ is the maximum number of copies of $T$ in an $n$-vertex graph with no copies of $H$. Alon and Shikhelman, using a result of Erd\H os, determined the asymptotics of ex$(n,K_3,H)$ when the chromatic number of $H$ is greater than 3 and proved several results when $H$ is bipartite. We consider this problem when $H$ has chromatic number 3. Even this special case for the following relatively simple 3-chromatic graphs appears to be challenging. The suspension $\widehat H$ of a graph $H$ is the graph obtained from $H$ by adding a new vertex adjacent to all vertices of $H$. We give new upper and lower bounds on ex$(n,K_3,\widehat{H})$ when $H$ is a path, even cycle, or complete bipartite graph. One of the main tools we use is the triangle removal lemma, but it is unclear if much stronger statements can be proved without using the removal lemma.

연구 동기 및 목표

• 3색 그래프 H의 스텐셔닝 Ĥ = K₁ ∨ H를 포함하지 않는 n-정점 그래프에서 삼각형 수에 대한 더 날카운 상계를 도출하는 것.
• ex(n, K₃, K̂_{1,2,2})이 O(n²)인지 여부라는 열린 문제를 다루며, 초이차 상계를 제시하고 이차 하한을 제공하는 것.
• 기존의 χ(H) > 3 및 χ(H) = 2에 대한 결과를 넘어서, 도전적인 경우인 χ(H) = 3에 집중하는 분석을 확장하는 것.
• 삼각형 제거 보조정리와 이웃 구조의 역할을 통해 일반화된 투란 문제에 대한 향상된 점근적 상계 유도에 기여하는 것.

제안 방법

• 기본 상한으로서 ex(n, K₃, Ĥ) ≤ (n/3) · ex(n, H)를 사용한 후, Ĥ-자유 그래프에서의 이웃 구조에 대한 구조적 제약을 통한 개선.
• 삼각형 제거 보조정리를 적용하여 삼각형 수가 적은 그래프가 유한한 수의 간선-불변 삼각형을 가져야 하므로 분해 기법을 적용할 수 있음을 보이며.
• 삼각형 내에서 코드그리와 간선 유형(가벼운/무거운)을 분석하여, 간선 제거를 통한 유도적 상계를 유도하는 삼각형 수의 분석.
• K_{a,b}-자유 그래프에 대한 Kövari–Sós–Turán 정리와 C_{2k}-자유 그래프에 대한 Bondy–Simonovits 상계를 활용하여 H = K_{a,b}, C_{2k}, P_k에 대해 ex(n, H)를 상계화.
• 이웃도의 합에 대해 α−1 제곱을 취한 값의 합에 대해 점진적 부등식을 적용하여, ex(n, H) = O(n^α)일 때 총 삼각형 수를 ex(n, H)로 표현하는 상계 유도.
• 정리 6.1을 통한 일반화: ex(n, H) = O(n^α)일 때 1 < α < 2이면 ex(n, K₃, Ĥ) = o(n^{1+α})임을 보이며, 다양한 H 유형 간의 분석을 통합.

실험 결과

연구 질문

• RQ1 고정된 a ≥ 1, b ≥ a에 대해, 기존의 O(n^{3−1/a}) 상계에서 ex(n, K₃, K̂_{1,a,b}) = O(n^{3−1/a})를 o(n^{3−1/a})로 향상시킬 수 있는가?
• RQ2 ex(n, K₃, K̂_{1,2,2})이 O(n²)인지, 아니면 현재의 o(n^{5/2}) 상계가 초이차보다 더 빠르게 증가하는지를 판단할 수 있는가?
• RQ3 고정된 k ≥ 3에 대해 ex(n, K₃, K̂_{P_k})의 진정한 점근적 성장률은 무엇이며, 이차 하한 Ω(n²)이 타당한가?
• RQ4 이러한 일반화된 투란 상계를 증명할 때 삼각형 제거 보조정리를 피할 수 있는 정도는 어느 정도이며, 강력한 결과를 얻기 위해 필수적인가?
• RQ5 ex(n, H) = O(n^α), 1 < α < 2일 때, 모든 H에 대해 ex(n, K₃, Ĥ) = o(n^{1+α}) 상계를 통일적으로 확립할 수 있는가?

주요 결과

• 고정된 1 ≤ a ≤ b에 대해 ex(n, K₃, K̂_{1,a,b}) = o(n^{3−1/a})이며, 이는 Kövari–Sós–Turán 정리로부터 유도된 이전의 O(n^{3−1/a}) 상한을 향상시킨다.
• H = C_{2k}일 경우, ex(n, K₃, K̂_{C_{2k}}) = o(n^{2+1/k})이며, 이는 Bondy–Simonovits의 고전적 O(n^{2+1/k}) 상한을 향상시킨다.
• H = P_k (k ≥ 3)일 경우, ex(n, K₃, K̂_{P_k}) ≥ ⌊(k−1)/2⌋ · n²/8이며, n이 4⌊(k−1)/2⌋로 나누어떨어지면 이차 하한을 제공한다.
• k = 3, 4, 5일 경우, ex(n, K₃, K̂_{P_k}) = ⌊(k−1)/2⌋ · n²/8 + o(n²)이며, 이는 하한이 점근적으로 타당함을 보여준다.
• 정리 6.1은 일반적 결과를 확립한다: ex(n, H) = O(n^α)일 때 1 < α < 2이면 ex(n, K₃, Ĥ) = o(n^{1+α})이며, 다양한 H 유형 간의 분석을 통합한다.
• 논문은 삼각형 제거 보조정리가 강력한 o(n^{1+α}) 상계를 얻기 위해 필수적임을 보이며, 다른 방법론은 충분하지 않음을 입증한다.