[論文レビュー] On the spectrum of complex unit gain graph

Aniruddha Samanta, M. Rajesh Kannan|arXiv (Cornell University)|Aug 28, 2019

Graph theory and applications参考文献 12被引用数 6

ひとこと要約

本稿は、複素単位ゲイングラフ（T-ゲイングラフ）のスペクトル的性質を調査し、隣接行列の固有値およびスペクトル半径に注目する。最大固有値と最大次数を用いてスペクトル半径の上限を確立し、ρ(Hₖ(X)) ≤ Δ が成り立つことを示し、等号成立は特定の構造的条件下でのみであることを証明する。これは、混合グラフおよびヘルミート隣接行列に関する既知の結果を拡張するものである。

ABSTRACT

A $\mathbb{T}$-gain graph is a simple graph in which a unit complex number is assigned to each orientation of an edge, and its inverse is assigned to the opposite orientation. The associated adjacency matrix is defined canonically, and is called $\mathbb{T}$-gain adjacency matrix. Let $\mathbb{T}_{G} $ denote the collection of all $\mathbb{T}$-gain adjacency matrices on a graph $G$. In this article, we study the cospectrality of matrices in $\mathbb{T}_{G} $ and we establish equivalent conditions for a graph $G$ to be a tree in terms of the spectrum and the spectral radius of matrices in $\mathbb{T}_{G} $. We identify a class of connected graphs $\mathfrak{F^{'}}$ such that for each $G \in \mathfrak{F^{'}}$, the matrices in $\mathbb{T}_G$ have nonnegative real part up to diagonal unitary similarity. Then we establish bounds for the spectral radius of $\mathbb{T}$-gain adjacency matrices on $ G \in \mathfrak{F^{'}} $ in terms of their largest eigenvalues. Thereupon, we characterize $\mathbb{T}$-gain graphs for which the spectral radius of the associated $\mathbb{T}$-gain adjacency matrices equal to the largest vertex degree of the underlying graph. These bounds generalize results known for the spectral radius of Hermitian adjacency matrices of digraphs and provide an alternate proof of a result about the sharpness of the bound in terms of largest vertex degree established in [Krystal Guo, Bojan Mohar. Hermitian adjacency matrix of digraphs and mixed graphs. J. Graph Theory 85 (2017), no. 1, 217-248.].

研究の動機と目的

• 同じ基礎となるグラフ上で定義されたT-ゲイングラフにおける隣接行列の共スペクトル性を研究すること。
• T-ゲイングラフについて、最大固有値λ₁(Φ)を用いてスペクトル半径ρ(Φ)の境界を確立すること。
• 混合グラフに関連するヘルミート行列Hₖ(X)について、スペクトル半径の境界ρ(Hₖ(X)) ≤ Δを導出し、等号成立の条件を同定すること。
• 既知の混合グラフ隣接行列に関する結果を、より広いクラスのT-ゲイングラフへ一般化すること。
• 隣接行列の非負の実部を持つゲイングラフへのスイッチング同値性を調査すること。これは導出された境界の成立に重要な条件である。

提案手法

• T-ゲイングラフを、単位円周群𝕋内のエッジゲインを有するグラフとして定義し、逆の向きに対して逆のゲインを割り当てる。
• 有向エッジのゲインに等しい要素を持つヘルミート行列として隣接行列A(Φ)を構成する。
• 混合グラフXに対してヘルミート行列Hₖ(X)を導入し、ヘルミート隣接行列を一般化する。
• ゲインを2πで法とする頂点の分割を用いて、サイクル構造およびゲイン積を分析する。
• パスに基づくゲイン蓄積およびサイクル積解析を用い、境界を証明するためのスペクトルグラフ理論的手法を適用する。
• 頂点次数およびゲイン構造の分析を通じて、境界ρ(Hₖ(X)) ≤ Δにおける等号成立を同定する。

実験結果

リサーチクエスチョン

• RQ1 T-ゲイングラフのスペクトル半径ρ(Φ)がρ(Φ) ≤ 3λ₁(Φ)を満たす条件は何か？
• RQ2 混合グラフと同様に、λ₁(X) ≤ ρ(X) ≤ 3λ₁(X) が成り立つT-ゲイングラフのどのクラスに対して成立するか？
• RQ3 混合グラフに関連するヘルミート行列Hₖ(X)について、境界ρ(Hₖ(X)) ≤ Δが等号で成立するのはいつか？
• RQ4 どのT-ゲイングラフが、隣接行列の実部が非負であるようなゲイングラフとスイッチング同値か？
• RQ5 T-ゲイングラフのスペクトル的性質は、どのようにして混合グラフおよび符号グラフのそれらを統合・一般化するか？

主な発見

• 混合グラフではλ₁(X) ≤ ρ(X) ≤ 3λ₁(X) が成り立つが、反例によって示されるように、これはすべてのT-ゲイングラフに拡張されない。
• 隣接行列の実部が非負であるような特定のT-ゲイングラフのクラスに対しては、境界ρ(Φ) ≤ 3λ₁(Φ) が成立する。
• ヘルミート行列Hₖ(X)のスペクトル半径は、基礎となるグラフの最大次数Δを用いてρ(Hₖ(X)) ≤ Δ を満たす。
• 等号ρ(Hₖ(X)) = Δ が成立するのは、ゲインがバランス良く、次数分布が均一である特定の正則構造をもつ混合グラフXであるとき、かつそのときに限る。
• 本稿の結果は、混合グラフに関する2つの既知の境界を回復・一般化し、T-ゲイングラフを用いた統一的な枠組みを提供する。
• 2πを法とする頂点の分割を用いた構成的特徴付けを通じて、バランスの取れたT-ゲイングラフを同定し、構造とスペクトル的性質を結びつける。