[論文レビュー] Algebraic connectivity of multigraphs

O Suil|arXiv (Cornell University)|Mar 12, 2016

Graph theory and applications参考文献 7被引用数 3

ひとこと要約

この論文は、Fiedlerの代数的連結度に関する結果を多重グラフへ拡張し、ほとんどの多重グラフにおいて、第二小のラプラシアン固有値 μ₂(G) が κ(G)·m(G) で上から抑えられることを証明している。ここで κ(G) は頂点連結度、m(G) は各頂点における最大辺多重度である。この不等式は、等号を達成する d-正則多重グラフの明示的構成によって、鋭いものであることが示されている。

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.

研究の動機と目的

• 単純グラフにおけるFiedlerの不等式 μ₂(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 代数的連結度 μ₂(G) > d/4 が d-正則多重グラフにおいて 2-連結性を強制する構造的条件は何か？
• RQ4 どの d-正則多重グラフで等号 μ₂(G) = d が成立するか？
• RQ5 辺多重度は、スペクトルギャップおよび連結度にどのように影響するか？

主な発見

• 完全グラフの辺を複製したものを除くすべての多重グラフ G に対して、μ₂(G) ≤ κ(G)·m(G) が成り立ち、Fiedler型の一般化された不等式が確立される。
• 不等式 μ₂(G) ≤ κ(G)·m(G) は鋭いものであり、任意の t ≥ 2 および無限個の d に対して、μ₂(H) = d、κ(H) = t、m(H) = d/t を満たす d-正則多重グラフの構成によってそれが示されている。
• 完全グラフの辺を複製したものを除く d-正則多重グラフでは、μ₂(G) ≤ d が成り立ち、構成された族で等号が達成される。
• d-正則多重グラフ（2頂点の場合を除く）において μ₂(G) > d/4 ならば、G は 2-連結であることが示され、高い代数的連結度と強い連結度の間の関係が明確になった。
• 各頂点における最大辺多重度 m(G) は、多重グラフにおける代数的連結度の上界を調整する上で重要な役割を果たす。
• μ₂(H) = d かつ m(H) = d/t を満たす d-正則多重グラフの構成により、m(G) をより小さい連結度関数に置き換えることはできないことが示された。