[논문 리뷰] The signless Laplacian spectral radius of graphs without intersecting odd cycles

Mingzhu Chen, A-Ming Liu외 1명|arXiv (Cornell University)|2021. 08. 09.

Graph theory and applications참고 문헌 22인용 수 5

한 줄 요약

이 논문은 교차하는 홀수 사이클을 포함하지 않는 그래프, 특히 가족 $F_{a_1,\dots,a_k}$를 피하는 그래프에 대해 부호 없는 라플라스 스펙트럼 반경에 대한 날카로운 상계를 확립하고, 이 상계에 도달하는 최적 그래프를 특성화한다. 안정성 방법과 스펙트럼 그래프 이론을 활용하여, 최대 스펙트럼 반경이 유일하게 완전 스플릿 그래프 $S_{n,t}$에 의해 달성됨을 증명하며, 홀수 사이클에 대한 구조적 제약 조건 하에서 터런 유형 결과를 스펙트럼 설정으로 확장한다.

ABSTRACT

Let $F_{a_1,\dots,a_k}$ be a graph consisting of $k$ cycles of odd length $2a_1+1,\dots, 2a_k+1$, respectively which intersect in exactly a common vertex, where $k\geq1$ and $a_1\ge a_2\ge \cdots\ge a_k\ge 1$. In this paper, we present a sharp upper bound for the signless Laplacian spectral radius of all $F_{a_1,\dots,a_k}$-free graphs and characterize all extremal graphs which attain the bound. The stability methods and structure of graphs associated with the eigenvalue are adapted for the proof.

연구 동기 및 목표

• 공통 정점에서 교차하는 $k$개의 홀수 사이클을 포함하지 않는 모든 그래프 중에서 부호 없는 라플라스 스펙트럼 반경의 최대값을 결정하는 것, 즉 $F_{a_1,\dots,a_k}$-자유 그래프에서의 문제.
• 이 최대 스펙트럼 반경을 달성하는 최적 그래프를 특성화하는 것.
• 접근 스펙트럼 반경에서의 브랄디-솔헤이드-터런 유형 문제를 부호 없는 라플라스 스펙트럼 반경으로 확장하여, 사이클 교차 제약 조건 하에서의 일반화를 시도하는 것.
• 기존의 홀수 사이클에 대한 터런 유형 결과를 스펙트럼 최적 설정으로 일반화하는 것.

제안 방법

• 스펙트럼 그래프 이론에서의 안정성 방법을 활용하여, $F_{a_1,\dots,a_k}$-자유 조건 하에서 최대 부호 없는 라플라스 스펙트럼 반경을 갖는 그래프의 구조를 분석하는 것.
• 페르론-프로베누스 정리를 적용하여 스펙트럼 반경을 비교하고, 비최적 그래프 구성 요소를 배제하는 것.
• 중심 정점 $u$를 제거한 후 $G - u$의 구성 요소를 분석하기 위해 구조 렘마를 적용하여, $P_{2t+1}$이나 $F_{a_1,\dots,a_k}$와 같은 금지된 부분그래프가 발생하지 않도록 보장하는 것.
• 최소 차수 제약 조건을 통해 부분그래프 간 간선 수를 근사하고, $ex(n, C_{2a+1}) = \lfloor n^2/4 \rfloor$와 같은 알려진 최적 그래프 경계를 활용하는 것.
• 부분그래프 $H_i$의 구조를 분석하여, $G - u$ 내에서 $H_i$가 반드시 $S_{h_i,t-1}$에 포함되거나 $L_{r_i,t-1}$과 동형이어야 하며, 여러 개의 이러한 구성 요소가 존재할 경우 모순이 발생함을 보이는 것.
• 유일한 구성 요소만 존재할 수 있음을 증명하고, 간선 수 계산과 모순을 통해 최적 그래프가 반드시 $S_{n,t}$, 즉 완전 스플릿 그래프임을 보이는 것.

실험 결과

연구 질문

• RQ1 공통 정점에서 교차하는 $k$개의 홀수 사이클을 피하는 그래프에서 부호 없는 라플라스 스펙트럼 반경의 최대 가능성은 무엇인가요?
• RQ2 $F_{a_1,\dots,a_k}$-자유 조건 하에서 이 최대 스펙트럼 반경을 달성하는 그래프는 어떤 것인가요?
• RQ3 특히 홀수 사이클의 공통 정점 주변의 그래프 구조가 스펙트럼 반경에 어떤 제약을 가하는가요?
• RQ4 이러한 스펙트럼 및 구조적 제약 조건 하에서 최적 그래프는 유일하게 특성화될 수 있는가요?

주요 결과

• 가족 $F_{a_1,\dots,a_k}$-자유 그래프의 부호 없는 라플라스 스펙트럼 반경에 대한 날카로운 상계는 $q(S_{n,t})$이며, 여기서 $S_{n,t}$는 순서 $n$과 매개수 $t$를 갖는 완전 스플릿 그래프이다.
• 이 상계에 도달하는 최적 그래프는 $S_{n,t}$로 유일하게 결정되며, 이는 순서 $n$이 충분히 클 경우 완전 그래프 $K_t$와 크기 $n-t$인 독립 집합의 합집합으로 구성된다.
• 스펙트럼 반경이 $q(S_{n,t})$와 동일한 모든 그래프는 반드시 $S_{n,t}$와 동형이어야 하며, 페르론-프로베누스 정리에 의해 어떤 진부분그래프도 엄밀히 더 작은 스펙트럼 반경을 갖기 때문이다.
• 만약 $G - u$에 최소 차수 $t-1$를 갖는 부분그래프를 지닌 구성 요소가 두 개 이상 존재한다면, $G$는 반드시 $F_{a_1,\dots,a_k}$를 부분그래프로 포함하게 되어 $F_{a_1,\dots,a_k}$-자유 조건에 위배된다.
• 증명은 $L_{r,t-1}$이 진부분그래프로 존재할 수 없음을 보이며, 이를 통해 금지된 경로나 사이클이 발생하여 모순이 발생함을 보이고, 이는 $G = S_{n,t}$이 아닐 경우에만 성립한다.
• 이 특성화는 $n$이 충분히 클 경우에 유효하며, $ex(n, H_{k,s}) = \lfloor n^2/4 \rfloor + (k-1)^2$라는 경계가 스펙트럼 분석의 구조적 기반을 제공한다.