[论文解读] Subspace Sum Graph of a Vector Space

Angsuman Das|arXiv (Cornell University)|Feb 27, 2017

Advanced Graph Theory Research参考文献 9被引用 3

一句话总结

本文引入了有限维向量空间 𝕍 的子空间和图 𝒢(𝕍)，其中顶点为非平凡真子空间，边连接满足和为 𝕍 的子空间对。主要贡献是证明 𝒢(𝕍) 为完美图当且仅当 dim(𝕍) = 3，并建立了子空间和图与其基向量空间之间的同构关系。

ABSTRACT

In this paper we introduce a graph structure, called subspace sum graph $\mathcal{G}(\mathbb{V})$ on a finite dimensional vector space $\mathbb{V}$ where the vertex set is the collection of non-trivial proper subspaces of a vector space and two vertices $W_1,W_2$ are adjacent if $W_1 + W_2=\mathbb{V}$. The diameter, girth, connectivity, maximal independent sets, different variants of domination number, clique number and chromatic number of $\mathcal{G}(\mathbb{V})$ are studied. It is shown that two subspace sum graphs are isomorphic if and only if the base vector spaces are isomorphic. Finally some properties of subspace sum graph are studied when the base field is finite.

研究动机与目标

• 定义并研究一种基于向量空间子空间及其和性质的新图结构，即子空间和图。
• 研究向量空间的代数性质如何转化为图论不变量（如直径、围长和连通性）的性质。
• 建立子空间和图与其基向量空间之间同构关系的刻画。
• 分析色数与团数，并确定图完美性的条件。
• 探讨当基域为有限域时图的结构性质，特别是利用 q-二项式系数与高斯数。

提出的方法

• 定义子空间和图 𝒢(𝕍)，其顶点集为 𝕍 的非平凡真子空间，边集由满足 W₁ + W₂ = 𝕍 的子空间对定义。
• 使用线性代数工具（如维数公式和基的延拓）分析邻接关系与子图结构。
• 应用强完美图定理，通过检查 𝒢(𝕍) 及其补图中是否存在长度大于3的诱导奇圈来判断完美性。
• 利用 q-二项式系数与高斯数计算有限域情形下的团数与色数。
• 构造显式例子（如 𝕍 的维数为3且基域为 𝔽₂）以展示图的性质并验证理论结果。
• 通过子空间维数的归纳法与情形分析，证明当 dim(𝕍) = 3 时，图及其补图中均不存在诱导奇圈。

实验结果

研究问题

• RQ1 在何种条件下子空间和图 𝒢(𝕍) 为完美图？完美性与 𝕍 的维数之间有何关系？
• RQ2 在何种条件下两个子空间和图 𝒢(𝕍) 与 𝒢(𝕎) 同构？这与向量空间同构有何关联？
• RQ3 当基域为有限域时，𝒢(𝕍) 的色数与团数的精确值是多少？
• RQ4 𝒢(𝕍) 的支配数、直径与围长如何依赖于 𝕍 的维数与基域？
• RQ5 当基域为有限域时，子空间和图是否为欧拉图？在何种条件下成立？

主要发现

• 子空间和图 𝒢(𝕍) 为完美图当且仅当 dim(𝕍) = 3，该结论通过强完美图定理证明，即在 𝒢(𝕍) 及其补图中均不存在长度大于3的诱导奇圈。
• 两个子空间和图同构当且仅当其基向量空间同构，从而建立了强代数-图论对应关系。
• 当基域为 𝔽_q 且 dim(𝕍) = 3 时，𝒢(𝕍) 的团数与色数均等于 1 + q + q²，该值与 1-维子空间的数量一致。
• 当基域为 𝔽_q 且 q 为偶数时，图 𝒢(𝕍) 为欧拉图，如推论 6.1 所示。
• 𝒢(𝕍) 的直径至多为 3，当 dim(𝕍) ≥ 3 时围长为 3，表明图中存在三角形。
• 对于所有维数大于1的向量空间，图均为连通图，且最大独立集对应于两两和不张成 𝕍 的子空间集合。