[논문 리뷰] Algebraic connectivity of multigraphs

O Suil|arXiv (Cornell University)|2016. 03. 12.

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

한 줄 요약

이 논문은 다중그래프로 페일러의 대칭성 연결성 결과를 확장하여, 대부분의 다중그래프에서 두 번째로 작은 라플라시안 고유값 μ₂(G)가 κ(G)·m(G)로 상한이 있음을 증명한다. 여기서 κ(G)는 정점 연결성, m(G)는 각 정점당 최대 간선 다중도이다. 이 상한은 명시적인 구성에 의해 정확히 도달됨을 보여, 날카로운 bound임을 입증한다.

ABSTRACT

Let $\mu_2(G)$ be the second smallest Laplacian eigenvalue of a graph $G$, and let $\kappa(G)$ be the minimum size of a vertex set $S$ such that $G-S$ is disconnected. Fiedler proved that $\mu_2(G) \le \kappa(G)$ for a non-complete simple graph $G$, for this reason $\mu_2(G)$ is called the algebraic connectivity of $G$. We extend his result to multigraphs. For a pair of vertices $u$ and $v$, let $m(u,v)$ be the number of edges with endpoints $u$ and $v$. For a vertex $v$, let $m(v)=\max_{u \in N(v)} m(v,u)$, where $N(v)$ is the set of neighbors of $v$, and let $m(G)=\max_{v \in V(G)} m(v)$. We prove that for any multigraph $G$, except when $G$ is a multigraph obtained from a complete graph by duplicating edges, $\mu_2(G) \le \kappa(G) m(G)$. We also prove that for a $d$-regular multigraph $G$, except for the 2-vertex $d$-regular multigraph, if $\mu_2(G) > \frac d4$, then $G$ is 2-connected. For $t\ge2$ and infinitely many $d$, we construct $d$-regular multigraphs $H$ with $\mu_2(H)=d$, $\kappa(H)=t$, and $m(H)=\frac dt$. These graphs show that the inequality $\mu_2(G) \le \kappa(G) m(G)$ is sharp. In addition, we prove that if $G$ is a $d$-regular multigraph, except for a graph obtained from a complete graph by duplicating edges, then $\mu_2(G) \le d$, equality holds for the graphs in the construction.

연구 동기 및 목표

• 간단한 그래프에서의 페일러 부등식 μ₂(G) ≤ κ(G)를 다중그래프로 일반화하기.
• 간선 다중도가 대칭성 연결성 상한에 미치는 역할을 정의하고 분석하기.
• d-정규 다중그래프의 명시적 구성에 의해 μ₂(G) ≤ κ(G)·m(G)의 날카로움을 확립하기.
• 다중그래프에서 대칭성 연결성, 정규성, 정점 연결성 간의 관계를 조사하기.
• d-정규 다중그래프에서 μ₂(G) = d가 성립하는 조건을 규명하기.

제안 방법

• m(G)를 각 정점 v에 대해 v와의 이웃 간 최대 간선 다중도의 최댓값으로 정의한다.
• κ(G)를 최소 정점 컷 크기로, μ₂(G)를 두 번째로 작은 라플라시안 고유값으로 정의한다.
• 스펙트럼 그래프 이론과 구조 분석을 사용하여, 반복된 간선을 가진 비완전 다중그래프에 대해 μ₂(G) ≤ κ(G)·m(G)를 유도한다.
• 무한한 d-정규 다중그래프의 가족을 구성하여 μ₂(H) = d, κ(H) = t, m(H) = d/t를 만족함으로써 상한의 날카로움을 입증한다.
• d-정규 다중그래프에서 고대칭성 연결성(μ₂(G) > d/4)이 2-연결성을 유도하는 함의를 분석한다.
• 구조적 유일성으로 인해 간선을 복제한 완전그래프는 주 부등식에서 예외적으로 제외된다.

실험 결과

연구 질문

• RQ1 간선 다중도를 고려할 때 다중그래프에서 부등식 μ₂(G) ≤ κ(G)가 성립하는가?
• RQ2 다중그래프에서 상한 μ₂(G) ≤ κ(G)·m(G)가 등호로 도달될 수 있는가?
• RQ3 어떤 구조적 조건이 d-정규 다중그래프에서 μ₂(G) > d/4이면 2-연결성을 유도하는가?
• RQ4 어떤 d-정규 다중그래프에서 등호 μ₂(G) = d가 성립하는가?
• RQ5 간선 다중도는 다중그래프에서 스펙트럼 간격과 연결성에 어떤 영향을 미치는가?

주요 결과

• 완전그래프의 간선을 복제하여 생성된 다중그래프를 제외한 모든 다중그래프 G에 대해 μ₂(G) ≤ κ(G)·m(G)가 성립하며, 이는 일반화된 페일러 유형의 상한을 확립한다.
• d-정규 다중그래프를 구성함으로써 μ₂(H) = d, κ(H) = t, m(H) = d/t를 만족하는 예를 통해 상한 μ₂(G) ≤ κ(G)·m(G)가 날카로움을 입증한다. 이는 임의의 t ≥ 2 및 무한히 많은 d에 대해 성립한다.
• 간선을 복제한 완전그래프를 제외한 d-정규 다중그래프에서는 μ₂(G) ≤ d이며, 구성된 가족에서 등호가 도달된다.
• d-정규 다중그래프에서 μ₂(G) > d/4이면(2정점 케이스 제외), G는 2-연결임을 보여, 높은 대칭성 연결성이 강한 연결성과 연결된다.
• 각 정점당 최대 간선 다중도 m(G)는 다중그래프에서 대칭성 연결성의 상한을 조절하는 데 핵심적인 역할을 한다.
• μ₂(H) = d 및 m(H) = d/t를 만족하는 d-정규 다중그래프의 구성은 다중도 m(G)를 더 작은 연결성 함수로 대체할 수 없음을 보여준다.