[논문 리뷰] Lagrangian densities of hypergraph cycles

Yuejian Peng, Zilong Yan|arXiv (Cornell University)|2018. 10. 31.

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

한 줄 요약

이 논문은 3-균일 초그래프 $F_5 = \{123,124,345\}$의 라그랑지안 밀도를 확립하여, 이것이 알려진 바 있는 첫 번째 비완전한 3-균일 초그래프임을 증명하고, 3-균일 선형 사이클 $C_3^3$의 완전성도 확인한다. 또한 $C_3^3$-자유 3-그래프는 라그랑지안이 최대가 되기 위해서는 반드시 $K_5^3$를 포함해야 하며, 이 결과를 전이 기법을 사용하여 $r$-균일 초그래프로 확장한다.

ABSTRACT

The Lagrangian density of an $r$-uniform hypergraph $F$ is $r!$ multiplying the supremum of the Lagrangians of all $F$-free $r$-uniform hypergraphs. For an $r$-graph $H$ with $t$ vertices, it is clear that $π_λ(H)\ge r!λ{(K_{t-1}^r)}$. We say that an $r$-unform hypergraph $H$ with $t$ vertices is perfect if $π_λ(H)= r!λ{(K_{t-1}^r)}$. A theorem of Motzkin-Straus implies that all $2$-uniform graphs are perfect. It is interesting to explore what kind of hypergraphs are perfect. A hypergraph is linear if any 2 edges have at most 1 vertex in common. We propose the following conjecture: (1) For $r\ge 3$, there exists $n$ such that a linear $r$-unofrm hypergraph with at least $n$ vertices is perfect. (2) For $r\ge 3$, there exists $n$ such that if $G, H$ are perfect $r$-uniform hypergraphs with at least $n$ vertices, then $G\bigsqcup H$ is perfect. Regarding this conjecture, we obtain a partial result: Let $S_{2,t}=\{123,124,125,126,...,12(t+2)\}$. (An earlier result of Sidorenko states that $S_{2,t}$ is perfect \cite{Sidorenko-89}.) Let $H$ be a perfect $3$-graph with $s$ vertices. Then $F=S_{2,t}\bigsqcup H$ is perfect if $s\geq 3$ and $t\geq 3$.

연구 동기 및 목표

• 3-균일 초그래프인 $F_5 = \{123,124,345\}$의 라그랑지안 밀도를 결정하고, 3-균일 초그래프 중 세 개의 간선을 가진 세 가지 미해결 케이스 중 하나를 해결한다.
• 특히 선형 초그래프를 중심으로 $r$-균일 초그래프의 완전성 문제를 조사하여, 큰 선형 $r$-그래프는 완전하다는 추측을 확장한다.
• $C_3^3 = \{123,345,561\}$인 3-균일 선형 사이클이 완전함을 증명하고, $C_3^3$-자유 3-그래프 중에서 라그랑지안이 최대가 되는 것은 반드시 $K_5^3$를 포함하는 것뿐임을 규명한다.
• 전이 기법을 사용하여 라그랑지안 밀도 결과를 $r$-균일 초그래프, 특히 길이 $t$인 선형 사이클에 대해 확장한다.
• 초그래프 사이클에 대한 라그랑지안 밀도에 관한 오랜 미해결 문제를 해결하여, 3-균일 초그래프에서 첫 번째 비완전 예시를 제공한다.

제안 방법

• $F_5$에 대해 라그랑지안 방법을 적용하여, 가용 가중치 벡터 $\vec{x} \in \Delta$ 위에서 최적화를 수행함으로써 $F_5$-자유 3-그래프에 대한 $\lambda(G)$를 계산한다.
• Pikhurko의 전이 기법을 활용하여 초그래프 확장의 투란 밀도와 라그랑지안 밀도를 연결한다.
• $F_5$-자유 3-그래프 $G$의 구조적 분석을 통해 $K_{2t-2}^{3-}$를 초월한 정점 확장을 고려하고, $F_5$-복사본을 피하기 위한 이웃 조건을 분석한다.
• 조합적 사실(예: 사실 5.8, 사실 5.17)을 사용하여, 특정 양호한 쌍 조건이 성립할 경우 $\lambda(G) < \lambda(K_{2t-1}^3)$임을 보이고, 이는 최적성에 미치지 못함을 시사한다.
• 새로운 정점 $x$와 $a$를 포함한 간선 구성에 따라 경우를 나누고, 경로 구성(예: $P_{t-3}$)을 사용하여 금지된 사이클을 탐지한다.
• 이웃 및 간선 회피 논증을 통해 $C_3^3$-자유 3-그래프 중에서 라그랑지안이 최대가 되는 경우는 반드시 $K_5^3$를 부분그래프로 포함해야 함을 증명한다.

실험 결과

연구 질문

• RQ1 3-균일 초그래프 $F_5 = \{123,124,345\}$의 라그랑지안 밀도는 무엇이며, 완전한가?
• RQ2 3-균일 선형 사이클 $C_3^3 = \{123,345,561\}$는 완전한가? 그리고 $C_3^3$-자유 3-그래프 중에서 어떤 것이 최대 라그랑지안을 달성하는가?
• RQ3 완전성 성질은 선형 사이클의 길이 $t$에 대해 $r$-균일 초그래프로 확장될 수 있는가?
• RQ4 $F_5$와 $C_3^3$에 대한 결과는 전이 기법을 통해 $r$-균일 초그래프로 확장될 수 있는가?
• RQ5 두 개의 완전한 $r$-그래프의 분리합집합은 어떤 조건에서 완전한가?

주요 결과

• $F_5 = \{123,124,345\}$의 라그랑지안 밀도는 $\lambda(K_5^3)$이며, $F_5$는 알려진 바 있는 첫 번째 비완전한 3-균일 초그래프이다.
• $C_3^3 = \{123,345,561\}$는 완전함이 증명되었으며, 모든 $C_3^3$-자유 3-그래프 중에서 $\lambda(G) = \lambda(K_5^3)$를 달성하는 것은 반드시 $K_5^3$를 포함하는 것뿐이다.
• $t \geq 3$일 때, 분리합집합 $S_{2,t} \sqcup H$는 $H$가 $s \geq 3$개 정점으로 이루어진 완전한 3-그래프이면 완전하다. 이는 시도렌코의 이전 결과를 확장한다.
• 길이 $t$인 3-균일 선형 사이클 $C_t^3$는 $t \geq 3$일 때 완전하며, 그 라그랑지안 밀도는 $\lambda(K_{2t-1}^3)$이다.
• $F_5$, $C_3^3$, $S_{2,t}$의 확장 투란 밀도는 Pikhurko의 전이 기법을 통해 유도할 수 있다.
• $G$가 $C_3^3$-자유 3-그래프이고 $\lambda(G) = \lambda(K_5^3)$이면, $G$는 반드시 $K_5^3$를 부분그래프로 포함해야 하며, 이는 최극성의 확인이다.