[論文レビュー] Resistance distance, Kirchhoff index, and Kemeny's constant in flower graphs

Nolan Faught, Mark Kempton+1 more|arXiv (Cornell University)|Jul 6, 2020

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

ひとこと要約

本稿では、複数の基本グラフのコピーの頂点を巡回的に同一視して得られるグラフであるフラワーグラフにおける抵抗距離の正確な公式を導出する。この公式を完全グラフとサイクルに適用することで、キルフホフ指数とケメンズ定数の閉形式表現が得られ、コピー数が増加するにつれて抵抗距離が無限大に発散することを証明する。

ABSTRACT

We obtain a general formula for the resistance distance (or effective resistance) between any pair of nodes in a general family of graphs which we call flower graphs. Flower graphs are obtained from identifying nodes of multiple copies of a given base graph in a cyclic way. We apply our general formula to two specific families of flower graphs, where the base graph is either a complete graph or a cycle. We also obtain bounds on the Kirchhoff index and Kemeny's constant of general flower graphs using our formula for resistance. For flower graphs whose base graph is a complete graph or a cycle, we obtain exact, closed form expressions for the Kirchhoff index and Kemeny's constant.

研究の動機と目的

• 複数の基本グラフのコピー間で頂点のペアを巡回的に同一視することによって構成される、新しい種類のグラフであるフラワーグラフにおける抵抗距離の一般公式を導出すること。
• 抵抗距離の漸近的挙動を分析し、コピー数が増加するにつれて抵抗距離が無限大に発散することを示すこと。
• 完全グラフおよびサイクルを基本とするフラワーグラフにおけるキルフホフ指数とケメンズ定数の正確な閉形式表現を計算すること。
• 導出した抵抗距離の公式を用いて、一般のフラワーグラフにおけるキルフホフ指数とケメンズ定数の上限を確立すること。
• フラワーグラフが、抵抗距離が有界に保たれるランダム幾何グラフとは本質的に異なる抵抗スケーリングを示すことを示すこと。

提案手法

• フラワーグラフを、基本グラフ G の n 個のコピーからなり、特定の頂点ペアがコピー間で巡回的に同一視されているものとして定義する。
• n-分離とラプラシアン行列のムーア・ペンローズ一般逆行列を用いて、一般の抵抗距離の公式を導出する。
• 対称性および構造的性質を活用して、2 つの特定の基本グラフ（完全グラフ K_m およびサイクル C_m）に抵抗距離の公式を適用する。
• すべての無向頂点ペアの抵抗距離を、頂点次数で重み付けして合計することでキルフホフ指数を計算する。
• 文献 [10] に提示された公式を用いてケメンズ定数を計算し、これは抵抗距離の総和を次数で重み付けしたものと直接関連している。
• 内側、外側、界面の頂点に分けられた複雑なネストされた和を簡略化し、閉形式の表現を導出する。

実験結果

リサーチクエスチョン

• RQ1 与えられた基本グラフから構成されるフラワーグラフにおける、任意の二頂点間の抵抗距離の正確な値は何か？
• RQ2 フラワーグラフにおいて、コピー数 n が増加するにつれて抵抗距離はどのようにスケーリングするか？
• RQ3 完全グラフおよびサイクルを基本とするフラワーグラフにおけるキルフホフ指数とケメンズ定数の閉形式表現は何か？
• RQ4 一般のフラワーグラフにおけるキルフホフ指数およびケメンズ定数の上限と正確な値の間にはどのような差があるか？
• RQ5 フラワーグラフにおける抵抗挙動は、抵抗が有界に保たれるランダム幾何グラフとはどのように異なるか？

主な発見

• フラワーグラフにおける抵抗距離は、コピー数 n が無限大に近づくにつれて、いかなる基本グラフに対しても無限大に発散する。
• 基本グラフが C_m（サイクル）であるフラワーグラフにおいて、キルフホフ指数は正確に (n² - 6n + 4)(m - 1) + m²(2n - 1) - 2n - 1 / 6 に等しい。
• 基本グラフが C_m（サイクル）であるフラワーグラフにおいて、ケメンズ定数は正確に (n² - 6n + 4)(m - 1) + m²(2n - 1) - 2n - 1 / 6 に等しい。
• 上限と正確なキルフホフ指数の比は、n → ∞ のとき 3m² / (m - 1)² に収束する。
• 上限と正確なケメンズ定数の比は、n → ∞ のとき 3(m - 1)² に収束する。
• これらの結果は、抵抗が有界に保たれ、構造ではなく次数にのみ依存するランダム幾何グラフとは著しく対照的である。