[논문 리뷰] The p-spectral radius of k-partite and k-chromatic uniform hypergraphs

Liying Kang, Vladimir Nikiforov외 1명|arXiv (Cornell University)|2014. 01. 31.

graph theory and CDMA systems참고 문헌 9인용 수 3

한 줄 요약

이 논문은 $k$-분할 및 $k$-색칠 가능 $r$-균일 초그래프의 $p$-스펙트럼 반지름에 대한 극값 경계를 설정하며, 동일한 정점 분할 조건 하에서 완전 $k$-분할 초그래프 $T_k^r(n)$와 완전 $k$-색칠 가능 초그래프 $Q_k^r(n)$가 각각 $p > 1$ 및 $p \geq 1$일 때 $p$-스펙트럼 반지름을 최대화함을 증명한다. 이 결과는 스펙트럼 방법을 사용하여 고전적인 극값 그래프 이론을 초그래프로 일반화한다.

ABSTRACT

We characterize the r-graph with maximal p-spectral radius among the k-partite r-graphs of order n, and the 3-graph with maximal p-spectral radius among the k-chromatic 3-graphs of order n.

연구 동기 및 목표

• 순서 $n$인 $k$-분할 $r$-균일 초그래프 중에서 $p > 1$일 때 최대 $p$-스펙트럼 반지름을 결정하는 것.
• $p=1$ 및 $p=2$에 대한 알려진 극값 결과를 일반 $p \geq 1$의 $k$-색칠 가능 초그래프 맥락으로 확장하는 것.
• $k$-분할 및 $k$-색칠 가능 초그래프에서 $p$-스펙트럼 반지름에 대한 극값 문제를 해결하고, 이전의 라그랑주 및 스펙트럼 반지름 연구를 일반화하는 것.
• 완전 $k$-분할 및 완전 $k$-색칠 가능 초그래프에서 유일하게 달성되는 $p$-스펙트럼 반지름에 대한 날카운 상한을 확립하는 것.

제안 방법

• 다항형 $P_G(\mathbf{x})$의 $\ell^p$-단위 구면 위에서의 최댓값으로서 $p$-스펙트럼 반지름 $\lambda^{(p)}(G)$를 정의한다.
• 라그랑주 승수법과 대칭성 추론을 사용하여 최댓값이 정점 집합이 가능한 한 균형 잡힐 때 달성됨을 보인다.
• 스펙트럼 형식의 단항식의 $p$-노름을 유 bounds하기 위해 거듭제곱 평균 부등식을 적용한다.
• $x > r-1$에 대해 함수 $f(x) = \binom{x}{r}$의 볼록성을 활용하여 $k$-색칠 가능 초그래프의 간선 수를 유 bounds한다.
• 극값 경계에서 등호가 성립하는 조건이 초그래프가 완전 $k$-분할 또는 완전 $k$-색칠 가능이고 부분이 균형을 이루고 있을 때에만 성립함을 증명한다.
• 고유값 및 고유벡터 분석을 통해 $\lambda^{(1)}(G)$와 $\lambda^{(p)}(G)$를 연결하고, 보간법 및 허더 타입 부등식을 통해 경계를 유도한다.

실험 결과

연구 질문

• RQ1 순서 $n$인 $k$-분할 $r$-균일 초그래프에 대해 $p > 1$일 때 최대 $p$-스펙트럼 반지름은 무엇인가요?
• RQ2 완전 $k$-분할 $r$-그래프 $T_k^r(n)$는 $p > 1$일 때 $k$-분할 $r$-그래프 중에서 $\lambda^{(p)}(G)$를 유일하게 최대화합니까?
• RQ3 순서 $n$인 $k$-색칠 가능 $3$-균일 초그래프에 대해 $p \geq 1$일 때 최대 $p$-스펙트럼 반지름은 무엇인가요?
• RQ4 완전 $k$-색칠 가능 $3$-그래프 $Q_k^3(n)$은 $p \geq 1$일 때 $k$-색칠 가능 $3$-그래프 중에서 $\lambda^{(p)}(G)$를 유일하게 최대화합니까?
• RQ5 $p=1$ 및 $p=2$에 대한 알려진 부등식을 초과하여 $\lambda^{(p)}(G)$의 극값 경계를 더욱 날카롭게 일반화할 수 있나요?

주요 결과

• 모든 $p > 1$에 대해 순서 $n$인 $k$-분할 $r$-그래프 $G$의 $p$-스펙트럼 반지름은 $\lambda^{(p)}(G) < \lambda^{(p)}(T_k^r(n))$를 만족하며, 등호는 $G = T_k^r(n)$일 때에만 성립한다. 여기서 $T_k^r(n)$은 크기가 $\lfloor n/k\rfloor$ 또는 $\lceil n/k\rceil$인 완전 $k$-분할 $r$-그래프이다.
• 모든 $p \geq 1$에 대해 순서 $n$인 $k$-색칠 가능 $3$-그래프 $G$의 $p$-스펙트럼 반지름은 $\lambda^{(p)}(G) < \lambda^{(p)}(Q_k^3(n))$를 만족하며, 등호는 $G = Q_k^3(n)$일 때에만 성립한다. 여기서 $Q_k^3(n)$은 부분이 균형을 이룬 완전 $k$-색칠 가능 $3$-그래프이다.
• $p$-스펙트럼 반지름 $\lambda^{(p)}(G)$는 모든 $k$-분할 $r$-그래프 중에서 완전 $k$-분할 초그래프 $T_k^r(n)$에 의해 유일하게 최대화되며, 이는 $r=3$에 대한 추측을 확인하고 일반 $r \geq 2$로 확장한다.
• $k$-색칠 가능 $3$-그래프에 대해 $\lambda^{(p)}(G) \leq 3! \left(\binom{n}{3} - k\binom{n/k}{3}\right) n^{-3/p}$라는 부등식이 성립하며, 등호는 $G = Q_k^3(n)$이고 $k \mid n$일 때에만 성립한다.
• $k$-색칠 가능 $3$-그래프의 극값 $p$-스펙트럼 반지름은 $G$가 $Q_k^3(n)$과 동형이 아닐 경우에 엄격히 작으며, 이는 $p=1$일 때의 Mubayi와 Talbot의 결과를 모든 $p \geq 1$으로 일반화한다.
• 결과는 날카롭고, $p=1$ (라그랑주) 및 $p=2$ (스펙트럼 반지름)에 대한 고전적 극값 결과를 일반화하며, 모든 $p \geq 1$에서 완전 $k$-분할 및 완전 $k$-색칠 가능 초그래프가 유일한 최대화자임을 보여준다.