[论文解读] 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) 的谱半径上界 ρ(Hₖ(X)) ≤ Δ 中等式成立的条件。

实验结果

研究问题

• RQ1 在何种条件下，T-增益图的谱半径 ρ(Φ) 满足 ρ(Φ) ≤ 3λ₁(Φ)？
• RQ2 对于哪些类别的 T-增益图，不等式 λ₁(X) ≤ ρ(X) ≤ 3λ₁(X) 成立，如在混合图中所示？
• RQ3 当关联混合图的厄米特矩阵 Hₖ(X) 满足 ρ(Hₖ(X)) ≤ Δ 时，等式在何种情况下成立？
• RQ4 哪些 T-增益图与邻接矩阵实部非负的增益图换位等价？
• RQ5 T-增益图的谱性质如何统一并推广混合图与符号图的谱性质？

主要发现

• 不等式 λ₁(X) ≤ ρ(X) ≤ 3λ₁(X) 对混合图成立，但不适用于所有 T-增益图，反例已证明。
• 对于某些类别的 T-增益图，包括其邻接矩阵实部非负的图，不等式 ρ(Φ) ≤ 3λ₁(Φ) 成立。
• 厄米特矩阵 Hₖ(X) 的谱半径满足 ρ(Hₖ(X)) ≤ Δ，其中 Δ 为基础图的最大顶点度。
• 等式 ρ(Hₖ(X)) = Δ 成立当且仅当混合图 X 具有特定的正则结构，且增益平衡、度分布均匀。
• 本研究结果恢复并推广了两个已知的混合图谱界，通过 T-增益图提供统一框架。
• 本文通过模 2π 的顶点划分，构造性地刻画了平衡 T-增益图，将图结构与谱性质相联系。