图G的能量 E ( G ) 是其邻接矩阵的所有特征值绝对值的和。如果两个图有相同的非零奇异值及重数，那么被称为奇异同谱图。奇异同谱图的刻画及性质研究对于图能量问题的推进有重要意义。本文利用克罗内克积和笛卡尔积运算，给出了一些新的关于奇异同谱图的性质。

图能量，奇异同谱图，克罗内克积，笛卡尔积

Chaofan Liang, Yimiao Jiang

School of Science, Chang’an University, Xi’an Shaanxi

Received: Mar. 14^th, 2023; accepted: Apr. 19^th, 2023; published: Apr. 27^th, 2023

The energy E ( G ) of graph G is the sum of the absolute values of all the eigenvalues of its adjacency matrix. If two graphs have the same non-zero singular values with the same multiplicities, then they are called singularly cospectral. The study of the characterization and properties of singularly cospectral graphs is important for the advancement of the graph energy problem. In this paper, some new properties on singularly cospectral graphs are given using the Kronecker product and the Cartesian product.

Keywords:Graph Energy, Singularly Cospectral Graph, Kronecker Product, Cartesian Product

Copyright © 2023 by author(s) and beplay安卓登录

This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).

http://creativecommons.org/licenses/by/4.0/

设无向简单图G的顶点集为 V ( G ) = { v 1 , v 2 , ⋯ , v n } ，边集为 E ( G ) 。其邻接矩阵定义为 A ( G ) = ( a i j ) ，其中 a i j = { 1 , 如 果   v i ∼ v j , 0 , 其 它 . 。图G的特征值就是邻接矩阵 A ( G ) 的特征值。图G的谱定义为 A ( G ) 的特征值的多重集，记为 Spec ( G ) 。假设 A ( G ) 的不同特征值为 λ 1 > λ 2 > ⋯ > λ s ，其重数分别为 m 1 , m 2 , ⋯ , m s ，则G的谱记为 Spec ( G ) = ( λ 1 λ 2 ⋯ λ s m 1 m 2 ⋯ m s ) 。若图G的顶点集可划分为两个非空子集X和Y，使得G的任一条边都有一个端点在X中，另一个端点在Y中，则称G为二部图。图能量的研究起源于有机化学，1978年Gutman [ 1 ] 首先将图G的能量 E ( G ) 定义为图G的特征值的绝对值之和，即 E ( G ) = ∑ i = 1 s m i | λ i | 。如果 E ( G ) = E ( H ) ，则称两个不同构的图G和图H等能量。如果两个图具有相同的谱，则称它们是同谱的。

为了进一步研究图的能量，Nikiforov [ 2 ] 引入了奇异同谱的定义。如果两个图具有相同的非零奇异值及重数，则称这两个图是奇异同谱的。显然同谱一定奇异同谱，反之不然。奇异同谱图的非零特征值的绝对值是相同。因此，奇异同谱图自然是等能量的。Nikiforov [ 2 ] 提出了寻找两个图是奇异同谱的充要条件的问题。与被充分研究的同谱图不同(研究结果可以参考文献 [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 7 ] )，很少有文献关注到奇异同谱图。Conde等人 [ 8 ] 通过给出奇异同谱的一些等价条件，在一定程度上回答了Nikiforov的问题。此外，他们还提出了一个寻找非同谱的奇异同谱图的问题。本文利用克罗内克积和笛卡尔积运算，给出了一些新的关于奇异同谱图的性质。

定义2.1给出了克罗内克积的矩阵表示。

定义2.1 [ 9 ] 设 A = ( a i j ) 是 ( m × n ) 的矩阵， B = ( b i j ) 是 ( r × s ) 的矩阵。矩阵A和B的克罗内克积(张量积)，记为 A ⊗ B ，被定义为分块矩阵

A ⊗ B = ( a 11 B a 12 B ⋯ a 1 n B a 21 B a 22 B ⋯ a 2 n B ⋮ ⋮ ⋮ a m 1 B a m 2 B ⋯ a m n B ) .

A ⊗ B 的阶数为 ( m r × n s ) ，有mn个块，且第 ( i , j ) 个块是 ( r × s ) 阶矩阵 a i j B 。

定义2.2给出了两个图的笛卡尔积的定义方式。

定义2.2 [ 10 ] 两个图 G 1 和 G 2 的笛卡尔积 G 1 □ G 2 的顶点集为 V ( G 1 ) × V ( G 2 ) ，如果在 G 1 中 u 1 和 v 1 相邻且 u 2 = v 2 ，或者 u 1 = v 1 且在 G 2 中 u 2 和 v 2 相邻，那么顶点 ( u 1 , u 2 ) 和 ( v 1 , v 2 ) 是相邻的。

定理2.1给出了矩阵克罗内克积、笛卡尔积的谱刻画和特征向量的对应关系。

定理2.1 [ 10 ] 设A是m阶方阵，B是n阶方阵。假设 λ i ( 1 ≤ i ≤ m ) 是A的任意特征值，对应的特征向量为 x i ， μ j ( 1 ≤ j ≤ n ) 是B的任意特征值，对应的特征向量为 y j 。那么 A ⊗ B 和 A □ B 的谱和特征向量如下：

i) λ i μ j ( 1 ≤ i ≤ m , 1 ≤ j ≤ n ) 是 A ⊗ B 的一个特征值，对应的特征向量为 x i ⊗ y j 。

ii) λ i + μ j ( 1 ≤ i ≤ m , 1 ≤ j ≤ n ) 是 A □ B 的一个特征值，对应的特征向量为 x i ⊗ y j 。

下面我们利用图的克罗内克积和笛卡尔积，给出一些新的奇异同谱图的性质。

定理3.1设 G 1 和 G 2 是一对n阶奇异同谱图。设 H 1 和 H 2 是一对m阶同谱图。

i) 如果 H 1 和 H 2 是二部图，那么 A ( G 1 ) ⊗ A ( H 1 ) 和 A ( G 2 ) ⊗ A ( H 2 ) 是同谱的。

ii) 如果 H 1 和 H 2 是二部图，那么 A ( G 1 )   □   A ( H 1 ) 和 A ( G 2 )   □   A ( H 2 ) 是奇异同谱的。

iii) 如果 H 1 和 H 2 不是二部图，那么 A ( G 1 ) ⊗ A ( H 1 ) 和 A ( G 2 ) ⊗ A ( H 2 ) 是奇异同谱的。

证明：i) 假设图 G 1 和 G 2 的特征值分别按 | λ 1 | ≥ | λ 2 | ≥ ⋯ ≥ | λ n | ； | μ 1 | ≥ | μ 2 | ≥ ⋯ ≥ | μ n | 排列。因为图 G 1 和 G 2 是奇异同谱的，我们有 | λ i | = | μ i | 。由于 H i ( i = 1 , 2 ) 是一个二部图，那么 ν j 是 H i 的特征值当且仅当 − ν j 也是 H i 的特征值。根据定理2.1，我们有

Spec ( A ( G 1 ) ⊗ A ( H 1 ) ) = { ± λ i ν j | i = 1 , ⋯ , n , j = 1 , ⋯ , ⌈ m 2 ⌉ } , Spec ( A ( G 2 ) ⊗ A ( H 2 ) ) = { ± μ i ν j | i = 1 , ⋯ , n , j = 1 , ⋯ , ⌈ m 2 ⌉ } . (1)

由此可见， A ( G 1 ) ⊗ A ( H 1 ) 和 A ( G 2 ) ⊗ A ( H 2 ) 是同谱的。

ii) 根据定理2.1，我们有

Spec ( A ( G 1 )   □   A ( H 1 ) ) = { λ i ± ν j | i = 1 , ⋯ , n , j = 1 , ⋯ , ⌈ m 2 ⌉ } , Spec ( A ( G 2 )   □   A ( H 2 ) ) = { μ i ± ν j | i = 1 , ⋯ , n , j = 1 , ⋯ , ⌈ m 2 ⌉ } . (2)

如果 λ i = μ i ，则 λ i ± ν j = μ i ± ν j ( i = 1 , ⋯ , n ; j = 1 , ⋯ , ⌈ m 2 ⌉ ) ，否则 λ i = − μ i ，有 λ i ± ν j = − ( μ i ∓ ν j ) 。由此可知， | λ i ± ν j | = | μ i ± ν j | ，即 A ( G 1 )   □   A ( H 1 ) 和 A ( G 2 )   □   A ( H 2 ) 是奇异同谱的。

iii) 由于 H i ( i = 1 , 2 ) 不是一个二部图，因此存在 H i 的特征值 ν j 0 ，使得 − ν j 0 不是 H i 的特征值。又因为图 G 1 和 G 2 是奇异同谱的，对于每个 i = 1 , ⋯ , n ; j = 1 , ⋯ , ⌈ m 2 ⌉ ，都有 | λ i ν j | = | μ i ν j | 成立。由于图 G 1 和 G 2 是不同谱的，因此至少存在一个下标 i 0 ，使得 λ i 0 = − μ i 0 ，因此存在特征值 λ i 0 ν j 0 不在 A ( G 2 ) ⊗ A ( H 2 ) 的谱中，即 λ i 0 ν j 0 ∈ Spec ( A ( G 2 ) ⊗ A ( H 2 ) ) 。这就意味着， A ( G 1 ) ⊗ A ( H 1 ) 和 A ( G 2 ) ⊗ A ( H 2 ) 是奇异同谱的。

如果 H 1 和 H 2 是同构图，那么我们可以立即得到一个推论。

推论3.2设 G 1 和 G 2 是一对n阶奇异同谱图。设H是一个m阶的图。

i) 如果H是一个二部图，那么 A ( G 1 ) ⊗ A ( H ) 和 A ( G 2 ) ⊗ A ( H ) 是同谱的。

ii) 如果H是一个二部图，那么 A ( G 1 )   □   A ( H ) 和 A ( G 2 )   □   A ( H ) 是奇异同谱的。

iii) 如果H不是一个二部图，那么 A ( G 1 ) ⊗ A ( H ) 和 A ( G 2 ) ⊗ A ( H ) 是奇异同谱的。

为了说明推论3.2，我们给出以下三个例子。

例3.3设 G 1 和 G 2 是一对奇异同谱图(见图1)，设H是4个顶点的路图(见图2)。我们可以得到 A ( G 1 ) ⊗ A ( H ) 和 A ( G 2 ) ⊗ A ( H ) 所对应的邻接矩阵图(见图3)。在表1中我们列出 A ( G 1 ) ⊗ A ( H ) 和 A ( G 2 ) ⊗ A ( H ) 的所有特征值，容易验证 A ( G 1 ) ⊗ A ( H ) 和 A ( G 2 ) ⊗ A ( H ) 是同谱的。

图1. 一对奇异同谱图 G 1 与 G 2

图2. 图H

图3. A ( G 1 ) ⊗ A ( H ) 与 A ( G 2 ) ⊗ A ( H ) 所对应的邻接矩阵图

表1. A ( G 1 ) ⊗ A ( H ) 与 A ( G 2 ) ⊗ A ( H ) 的特征值

例3.4设 G 1 和 G 2 是一对奇异同谱图(见图4)，设H是4个顶点的路图(见图5)。我们可以得到 A ( G 1 )   □   A ( H ) 和 A ( G 2 )   □   A ( H ) 所对应的邻接矩阵图(见图6)。在表2中我们列出 A ( G 1 )   □   A ( H ) 和 A ( G 2 )   □   A ( H ) 的所有特征值，容易验证 A ( G 1 )   □   A ( H ) 和 A ( G 2 )   □   A ( H ) 是奇异同谱的。

图4. 一对奇异同谱图 G 1 与 G 2

图5. 图H

图6. A ( G 1 )   □   A ( H ) 与 A ( G 2 )   □   A ( H ) 所对应的邻接矩阵图

表2. A ( G 1 )   □   A ( H ) 与 A ( G 2 )   □   A ( H ) 的特征值

例3.5设 G 1 和 G 2 是一对奇异同谱图(见图7)，设H是一个5个顶点的图(见图8)。我们可以得到 A ( G 1 ) ⊗ A ( H ) 和 A ( G 2 ) ⊗ A ( H ) 所对应的邻接矩阵图(见图9)。在表3中我们列出 A ( G 1 ) ⊗ A ( H ) 和 A ( G 2 ) ⊗ A ( H ) 的所有特征值，容易验证 A ( G 1 ) ⊗ A ( H ) 和 A ( G 2 ) ⊗ A ( H ) 是奇异同谱的。

图7. 一对奇异同谱图 G 1 与 G 2

图8. 图H

图9. A ( G 1 ) ⊗ A ( H ) 与 A ( G 2 ) ⊗ A ( H ) 所对应的邻接矩阵图

表3. A ( G 1 ) ⊗ A ( H ) 与 A ( G 2 ) ⊗ A ( H ) 的特征值

奇异同谱图的刻画及性质研究对于图能量问题的推进具有重要意义，我们利用图的克罗内克积和笛卡尔积，给出一些新的奇异同谱图的性质，并给出了具体的实例。后续将利用此性质，研究构造同构图的充分条件。

梁超凡,姜艺淼. 一些奇异同谱图的性质研究Research on the Property of Some Singularly Cospectral Graphs[J]. 运筹与模糊学, 2023, 13(02): 1211-1217. https://doi.org/10.12677/ORF.2023.132124