[论文解读] Effective Resistances and Kirchhoff index of Prism Graphs

Zübeyir Çınkır|arXiv (Cornell University)|Apr 11, 2017

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

一句话总结

本文通过电路简化与广义斐波那契数列，推导出棱柱图 $Y_n$ 中任意两顶点之间有效电阻的显式公式。建立了 $Y_n$ 的基洛霍夫指数的闭式表达式，并证明了一个新颖的三角恒等式，涉及 $\sin^2(k\pi/n)$，两者均以递推关系 $G_{n+2} = 4G_{n+1} - G_n$ 及含 $\sqrt{3}$ 和 $2-\sqrt{3}$ 的闭式表达式表示。

ABSTRACT

We explicitly compute the effective resistances between any two vertices of a prism graph by using circuit reductions and our earlier findings on a ladder graph. As an application, we derived a closed form formula for the Kirchhoff index of a prism graph. We show as a byproduct that an explicit sum formula involving trigonometric functions hold by comparing our formula for the Kirchhoff index and previously known results in the literature. We also expressed our formulas in terms of certain generalized Fibonacci numbers.

研究动机与目标

• 推导棱柱图 $Y_n$ 中任意两顶点之间有效电阻的显式闭式表达式。
• 利用电阻值与谱图论，计算 $Y_n$ 的基洛霍夫指数。
• 通过比较基洛霍夫指数结果与已知谱公式，建立一个涉及 $\sum_{k=0}^{n-1} \frac{1}{1 + 2\sin^2(k\pi/n)}$ 的新三角恒等式。
• 将所有电阻与指数公式用广义斐波那契数列 $G_n$ 表示，其定义为 $G_{n+2} = 4G_{n+1} - G_n$，且 $G_0=0$，$G_1=1$。

提出的方法

• 通过将 $Y_n$ 分解为两个梯形图 $L_{n-i+1}$ 与 $L_{i-1}$，对 $Y_n$ 进行电路简化，同时保持四个端点顶点不变。
• 利用先前研究中已知的梯形图电阻公式，将 $Y_n$ 简化为一个具有已知边电阻的 8 顶点图。
• 构建简化后 $Y_n$ 的离散拉普拉斯矩阵 $L$，并计算其广义逆 $L^+$，通过公式 $r(p,q) = l_{pp}^+ - 2l_{pq}^+ + l_{qq}^+$ 提取电阻值。
• 利用 $Y_n$ 中的对称性，减少不同电阻值的数量，简化计算。
• 结合对称性与电阻表达式，利用公式 $Kf(Y_n) = \frac{1}{2} \sum_{p,q \in V} r(p,q)$ 推导基洛霍夫指数。
• 通过 $Y_n = P_2 \square C_n$ 的拉普拉斯特征值表达式 $\lambda_{ij} = 4 - 2\cos(i\pi/2) - 2\cos(2j\pi/n)$，将基洛霍夫指数与特征值联系起来，从而推导出三角恒等式。

实验结果

研究问题

• RQ1 棱柱图 $Y_n$ 中任意两顶点之间的有效电阻值是什么？
• RQ2 能否通过电路简化与谱方法，推导出 $Y_n$ 的基洛霍夫指数的闭式公式？
• RQ3 通过将基洛霍夫指数表达式与已知谱结果比较，是否会涌现出一个非平凡的三角恒等式？
• RQ4 如何用满足 $G_{n+2} = 4G_{n+1} - G_n$ 的广义斐波那契数列 $G_n$ 表达电阻与指数公式？
• RQ5 基洛霍夫指数与 $Y_n$ 中生成树数量之间存在何种关系？

主要发现

• 棱柱图 $Y_n$ 的基洛霍夫指数为 $Kf(Y_n) = \frac{n(n^2-1)}{6} + \frac{n^2}{\sqrt{3}}\left[\frac{2}{1 - (2 - \sqrt{3})^n} - 1\right]$，对所有正整数 $n$ 成立。
• 证明了一个新的三角恒等式：$\sum_{k=0}^{n-1} \frac{1}{1 + 2\sin^2(k\pi/n)} = \frac{n}{\sqrt{3}}\left[\frac{2}{1 - (2 - \sqrt{3})^n} - 1\right]$，将电阻理论与三角级数联系起来。
• 顶点间电阻值用广义斐波那契数列 $G_n$ 表示，其中 $G_n = \frac{(2 - \sqrt{3})^{-n} - (2 - \sqrt{3})^n}{2\sqrt{3}}$，从而支持递推与闭式计算。
• 基洛霍夫指数公式可等价表示为 $Kf(Y_n) = \frac{n(n^2-1)}{6} + \frac{2n^2 G_n^2}{G_{2n} - 2G_n}$，明确显示其与数列 $G_n$ 的直接关联。
• $Y_n$ 中生成树的数量为 $\frac{n}{2}\left(\frac{G_{2n}}{G_n} - 2\right)$，与已知结果一致。
• 对 $Y_n$ 的电阻公式不仅适用于 $n \geq 3$，也适用于 $n=1$ 与 $n=2$，经递推简化与一致性检验验证。