[论文解读] A note on the minimum skew rank of powers of paths

Luz M. DeAlba, Ethan Kerzner+1 more|arXiv (Cornell University)|Jul 13, 2011

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

一句话总结

本文确定了路径严格幂的最小斜秩，基于路径长度和幂次得出精确公式。结果表明，对于路径 $P_n$ 的 $r$ 次幂，当 $n$ 为奇数且 $1 \leq r \leq n-3$ 时，最小斜秩为 $n - r + 1$；当 $n$ 为偶数且 $t - s$ 为偶数时，最小斜秩为 $n - r$；当 $n$ 为偶数且 $t - s$ 为奇数时，最小斜秩为 $n - r + 2$，且当 $r$ 较大时，秩稳定在 4。这些结果拓展了关于斜对称矩阵与图的幂的先前研究。

ABSTRACT

The real minimum skew rank of a simple graph G is the smallest possible rank among all real skew symmetric matrices, whose (i,j)-entry (for i not equal to j) is nonzero whenever {i, j} is an edge in G and is zero otherwise. In this paper we study the problem of real minimum skew rank of powers and strict powers of paths.

研究动机与目标

• 确定路径严格幂的最小斜秩，即通过长度恰好为 $r$ 的行走连接距离不超过 $r$ 的顶点所构成的一类图。
• 拓展关于路径及其幂的最小斜秩的先前结果，尤其在斜对称矩阵约束下的情形。
• 根据 $n$ 的奇偶性与 $r$ 的取值，建立 $\operatorname{mr}^{-}(P_n^{(r)})$ 的精确公式，包括 $r \geq n-2$ 的情形。
• 将路径严格幂的最小斜秩与其最小秩进行比较，证明 $\operatorname{mr}(P_n^{(r)}) \leq \operatorname{mr}^{-}(P_n^{(r)})$，且在特定奇偶性条件下等号成立。

提出的方法

• 使用图的严格幂的定义：若在图 $G$ 中存在从 $i$ 到 $j$ 的长度恰好为 $r$ 的行走，则 $G^{(r)}$ 包含边 $ij$。
• 应用关于路径最小斜秩的已知结果：若 $n$ 为偶数，则 $\operatorname{mr}^{-}(P_n) = n$；若 $n$ 为奇数，则 $\operatorname{mr}^{-}(P_n) = n-1$。
• 通过引理 2.6 进行结构分解，证明当 $r = 2s$ 为偶数时，有 $P_n^{(2s)} \cong P_{\lceil n/2 \rceil}^s \cup P_{\lfloor n/2 \rfloor}^s$，从而将问题简化为更小的路径。
• 应用最小斜秩的子图与并图性质：对于诱导子图，有 $\operatorname{mr}^{-}(H) \leq \operatorname{mr}^{-}(G)$；对于不相交并图，有 $\operatorname{mr}^{-}(G_1 \cup G_2) = \operatorname{mr}^{-}(G_1) + \operatorname{mr}^{-}(G_2)$。
• 利用 $n$ 的奇偶性与差值 $t - s$（其中 $n = 2t$，$r = 2s$）的奇偶性，推导递归公式，以区分最终表达式中的不同情形。
• 通过分类讨论与数学归纳法验证结果，尤其针对 $r \geq n-2$ 的情形，此时秩稳定在 4 或 2，具体取决于奇偶性。

实验结果

研究问题

• RQ1 对于任意 $r$，$n$ 个顶点的路径 $P_n^{(r)}$ 的最小斜秩是多少？
• RQ2 路径 $P_n^{(r)}$ 的最小斜秩如何依赖于 $n$ 的奇偶性与 $r$ 的取值？
• RQ3 在何种条件下，$P_n^{(r)}$ 的最小斜秩等于其最小秩，何时又严格大于？
• RQ4 是否可以将 $P_n^{(2s)}$ 的结构分解为更小路径幂的不相交并图，以简化秩的计算？

主要发现

• 当 $1 \leq r \leq n-3$ 且 $n$ 为奇数时，$P_n^{(r)}$ 的最小斜秩为 $n - r + 1$。
• 当 $1 \leq r \leq n-3$，$n = 2t$ 为偶数，且 $t - s$ 为偶数（其中 $r = 2s$）时，最小斜秩为 $n - r$。
• 当 $1 \leq r \leq n-3$，$n = 2t$ 为偶数，且 $t - s$ 为奇数时，最小斜秩为 $n - r + 2$。
• 当 $r \geq n - 2$ 时，$P_n^{(r)}$ 的最小斜秩为 4（若 $n$ 为偶数），或 2（若 $n$ 为 odd）。
• 路径 $P_n^{(r)}$ 的最小秩始终小于或等于其最小斜秩，且等号成立当且仅当 $n$ 与 $r$ 同为奇数，或同为偶数且 $t - s$ 为偶数。
• 同构关系 $P_n^{(2s)} \cong P_{\lceil n/2 \rceil}^s \cup P_{\lfloor n/2 \rfloor}^s$ 允许通过将图分解为更小的分量，实现最小斜秩的递归计算。