[论文解读] The triangle-free graphs with rank 6

Long Wang, Yi-Zheng Fan+1 more|arXiv (Cornell University)|Jan 3, 2013

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

一句话总结

本文通过识别其约化形式，表征了所有邻接矩阵秩为6的连通无三角形图，具体而言，将其分类为七种特定图（G₁至G₆和G₅）之一的诱导子图。该方法结合了顶点乘法/约化操作与对诱导子图（如C₅、P₂和P₄）的结构分析，证明任何此类图必同构于G₆或其中五个基图的子图，且在约化和乘法操作下保持秩不变。

ABSTRACT

The rank of a graph G is defined to be the rank of its adjacency matrix A(G). In this paper we characterize all connected triangle-free graphs with rank 6.

研究动机与目标

• 对所有邻接矩阵秩为6的连通无三角形图进行分类。
• 通过顶点乘法与约化操作，识别此类图的约化形式。
• 确定哪些诱导子图（例如C₅、P₂、P₄）会导致图的秩超过6或限制其结构。
• 证明任何秩为6的约化无三角形图必为七种特定图之一（包括G₆）的诱导子图。
• 建立非二分无三角形图秩为6时，必包含诱导C₅，且为G₆的子图。

提出的方法

• 使用顶点乘法与约化操作以保持邻接矩阵秩，从而实现向最小形式的约化。
• 应用结构引理（例如引理2.6）以限制位于诱导子图外部的顶点的距离。
• 利用约化下的秩保持性：对于约化图，有 r(G) = r(R(G))。
• 使用诱导子图包含关系（G ⪯ H）基于已知的秩为6的基图对图进行分类。
• 通过邻域集（N_H(v)）的分析以强制图约化，并避免同构的顶点邻域。
• 通过分情况讨论法分析位于关键诱导子图（如3P₂、C₅）外部的顶点数量与位置，结合距离与邻接约束。

实验结果

研究问题

• RQ1 哪些约化的连通无三角形图秩为6？如何实现其完整分类？
• RQ2 哪些诱导子图会导致无三角形图的秩超过6？此类构型如何被排除？
• RQ3 顶点乘法与约化操作如何在无三角形图中保持秩不变？
• RQ4 当一个秩为6的无三角形图包含诱导C₅时，会产生何种结构约束？
• RQ5 所有连通无三角形图秩为6的图是否都能嵌入有限个基图集合中作为诱导子图？

主要发现

• 所有连通无三角形图秩为6的图，均为七种特定图（G₁至G₅和G₆）之一的诱导子图。
• 唯一约化的非二分无三角形图秩为6的是G₆，其包含诱导C₅，且为最大此类图。
• 任何包含诱导3P₂（三个不相交的P₂）的连通无三角形图秩为6的图，必为G₁至G₅的诱导子图。
• 若图包含诱导C₅且秩为6，则C₅外部的所有顶点度数至多为2，以避免产生三角形或增加秩。
• 当图中C₅外的顶点超过两个时，无法存在秩为6的图，否则将违反约化形式或秩条件，此结论由邻域与距离约束所证实。
• G₆是唯一最大化的约化无三角形图秩为6的图，其余所有图均为其子图。