[논문 리뷰] The maximum $p$-Spectral Radius of Hypergraphs with $m$ Edges

Linyuan Lü|arXiv (Cornell University)|2018. 03. 23.

Graph theory and applications참고 문헌 10인용 수 7

한 줄 요약

이 논문은 Nikiforov가 제기한 $r$-균일 초그래프의 최대 $p$-스펙트럴 반경에 관한 추측을 해결한다. $m = \binom{s}{r}$일 때, 최대 $\rho_p(H)$는 $\frac{rm}{s^{r/p}}$로 유계이며, 등호가 성립하는 것은 $H$가 완전한 $r$-균일 초그래프 $K_s^r$에 고립 정점들을 더한 경우에 국한된다. 본 결과는 모든 $r \geq 2$에 대해 초그래프 라그랑지안에 관한 Frankl-Füredi 추측의 주요 케이스를 완전히 해결한다.

ABSTRACT

For $r\geq 2$ and $p\geq 1$, the $p$-spectral radius of an $r$-uniform hypergraph $H=(V,E)$ on $n$ vertices is defined to be $$ρ_p(H)=\max_{{\bf x}\in \mathbb{R}^n: \|{\bf x}\|_p=1}r \cdot \!\!\!\! \sum_{\{i_1,i_2,\ldots, i_r\}\in E(H)} x_{i_1}x_{i_2}\cdots x_{i_r},$$ where the maximum is taken over all ${\bf x\in \mathbb{R}^n}$ with the $p$-norm equals 1. In this paper, we proved for any integer $r\geq 2$, and any real $p\geq 1$, and any $r$-uniform hypergraph $H$ with $m={s\choose r}$ edges (for some real $s\geq r-1$), we have $$λ_p(H)\leq \frac{rm}{s^{r/p}}.$$ The equality holds if and only if $s$ is an integer and $H$ is the complete $r$-uniform hypergraph $K^r_s$ with some possible isolated vertices added. Thus, we completely settled a conjecture of Nikiforov. In particular, we settled all the principal cases of the Frankl-Füredi's Conjecture on the Lagrangians of $r$-uniform hypergraphs for all $r\geq 2$.

연구 동기 및 목표

• 고정된 갯수의 간선을 가진 $r$-균일 초그래프의 $p$-스펙트럴 반경을 최대화하는 오랜 동안 미해결된 문제를 다룬다.
• 모든 $m = \binom{s}{r}$일 때 $p$-스펙트럴 반경의 상한에 관한 Nikiforov의 추측을 해결한다.
• 모든 $r \geq 2$에 대해 초그래프 라그랑지안에 관한 Frankl-Füredi 추측의 주요 케이스를 확인한다.
• $p=1$, $p=r$, $p=\infty$에 대해 알려진 결과들을 통합하고 일반화하는 엄밀한 분석적 상한을 확립한다.
• 주어진 간선 수 제약 조건 하에서 최대 $p$-스펙트럴 반경을 달성하는 초그래프의 완전한 특성화를 제공한다.

제안 방법

• 정점 수에 대한 귀납법을 사용하여 초그래프를 한 정점을 제거하고 잔여 부분초그래프의 스펙트럴 반경을 분석하는 재귀적 분해를 수행한다.
• $p$-스펙트럴 반경 $\rho_p(H)$를 단위 $\ell^p$-구면 위에서 동차 다항식 $r \sum_{e \in E(H)} \prod_{i \in e} x_i$ 의 최대값으로 정의한다.
• Hölder 부등식을 사용하여 $\rho_p(H)$와 $\rho_1(H)$를 연결하여 핵심 부등식 $\rho_p(H) \leq \rho_1(H)^{1/p} (rm)^{1-1/p}$을 유도한다.
• 귀납 가정을 적용하여 $m = \binom{s}{r}$일 때 $\rho_1(H)$를 $s$에 대해 유계로 제한함으로써 $\rho_1(H) \leq \frac{rm}{s^r}$를 보인다.
• 등호가 성립하는 것은 $s$가 정수이면서 $H$가 고립 정점들을 포함한 완전한 $r$-균일 초그래프 $K_s^r$인 경우에 국한됨을 증명한다.
• 모서리 수 $m$에 대응하는 $s$를 찾기 위해 $p_r^{-1}(m)$의 역함수를 사용하여 최적의 초그래프 구조를 구성한다.

실험 결과

연구 질문

• RQ1 모든 $r \geq 2$ 및 $p \geq 1$에 대해 $m$개의 간선을 가진 $r$-균일 초그래프들 중에서 최대 $p$-스펙트럴 반경은 무엇인가?
• RQ2 실수 $s \geq r-1$에 대해 $m = \binom{s}{r}$일 때 Nikiforov의 추측 $\rho_p(H) \leq \frac{rm}{s^{r/p}}$가 성립하는가?
• RQ3 모든 $s$가 정수일 때, 완전한 $r$-균일 초그래프 $K_s^r$는 $m = \binom{s}{r}$일 때 $p$-스펙트럴 반경을 최대화하는 유일한 초그래프인가?
• RQ4 모든 $r \geq 2$에 대해 초그래프 라그랑지안에 관한 Frankl-Füredi 추측의 주요 케이스는 성립하는가?
• RQ5 언제 $p$-스펙트럴 반경이 최대화되고, 언제 그 상한이 엄밀한가?

주요 결과

• 모든 $r \geq 2$ 및 $p \geq 1$에 대해 $m = \binom{s}{r}$개의 간선을 가진 $r$-균일 초그래프의 최대 $p$-스펙트럴 반경은 $\frac{rm}{s^{r/p}}$로 유계이다.
• 등호가 성립하는 것은 $s$가 정수이면서 초그래프 $H$가 고립 정점들을 포함한 완전한 $r$-균일 초그래프 $K_s^r$인 경우에 국한된다.
• 상한은 엄밀하며, 극값 초그래프의 구조를 특성화하며, Nikiforov의 추측을 일반적으로 해결한다.
• 본 결과는 모든 $r \geq 2$에 대해 초그래프 라그랑지안에 관한 Frankl-Füredi 추측의 주요 케이스를 확인하며, 이전에 $r=3$ 및 $r \geq 4$에 대해 부분적으로 확보된 결과들을 확장한다.
• 증명은 $m = \binom{s}{r}$일 때 $p$-스펙트럴 반경이 완전한 초그래프 $K_s^r$에 의해 정확히 최대화됨을 보이며, 다른 어떤 초그래프도 이 상한을 달성하지 못한다.
• 모든 $p$-스펙트럴 반경 상한과 기존의 관계 $\rho_p(H) \leq \rho_1(H)^{1/p} (rm)^{1-1/p}$를 조합함으로써 최종 상한 $\frac{rm}{s^{r/p}}$을 유도한다.