[論文レビュー] Spectra of hyperstars on public transportation networks

Eleonora Andreotti|arXiv (Cornell University)|Apr 16, 2020

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

ひとこと要約

本稿は、複雑な公共交通網のスペクトル解析を可能にするために、$(m,k)$-stars を超ハイパーグラフに一般化した $(m,k)$-ハイパースターを導入する。均一ハイパーグラフにおける頂点集合の削減が、質量行列と類似変換を用いて固有値および固有ベクトルの符号を保存することを証明し、スペクトル特性に影響を与えることなく構造的簡略化を可能にする。

ABSTRACT

The purpose of this paper is to introduce a model to study structures which are widely present in public transportation networks. We show that, through hypergraphs, one can describe these structures and investigate the relation between their spectra. To this aim, we extend the structure of $(m,k)$-stars on graphs to hypergraphs: the $(m,k)$-hyperstars on hypergraphs. Also, by giving suitable conditions on the hyperedge weights we prove the existence of matrix eigenvalues of computable values and multiplicities, where the matrices considered are Laplacian, adjacency and transition matrices. By considering separately the case of generic hypergraphs and uniform hypergraphs, we prove that two kinds of vertex set reductions on hypergraphs with $(m,k)$-hyperstar are feasible, keeping the same eigenvalues with reduced multiplicity. Finally, some useful eigenvectors properties are derived up to a product with a suitable matrix, and we relate these results to Fiedler spectral partitioning on the hypergraph.

研究の動機と目的

• ハイパーグラフを用いて公共交通網における繰り返し現れる構造的パターンをモデル化すること。
• $(m,k)$-スターモデルをグラフからハイパーグラフに一般化し、複数の頂点と複数のエッジの関係を表現するための$(m,k)$-ハイパースターを定義すること。
• ハイパーグラフのラプラシアン、隣接行列、遷移行列の固有値が既知の重複度を伴って計算可能となる条件を確立すること。
• スペクトル特性を保持する2種類の頂点集合削減法を開発すること、特に均一ハイパーグラフに特化して。
• 簡略化されたハイパーグラフのスペクトルとフィードラーのスペクトル分割法との関係を明らかにすること。

提案手法

• 中心となるハイパーエッジが $m$ 個の頂点に接続され、そのうち $k$ 個がコア部分集合を形成するように、$(m,k)$-ハイパースターを定義することで、$(m,k)$-スターモデルをグラフからハイパーグラフに拡張する。
• 縮小されたハイパーグラフにおける頂点およびハイパーエッジの重みを表現するため、インシデント行列 $I_{q_*}$ と質量行列 $ ilde{f M}^*$、$ ilde{f N}$ を定義する。
• 行列 $K$ を用いた類似変換により $K^T A K = ilde{M}^{1/2} B ilde{M}^{1/2}$ を満たし、削減による固有値不変性を保証する。
• 質量行列と類似変換を介して、元のハイパーグラフと縮小されたハイパーグラフの間でスペクトル同等性を証明する。具体的には $ ext{spec}(A) = ext{spec}( ilde{M} B)$ および $ ext{spec}(L) = ext{spec}(L( ilde{M} B))$ を示す。
• 固有ベクトルの対応関係を導出する。すなわち、縮小系の固有ベクトル $x$ に対して、$Kx$ が元の系の同じ固有値に対する固有ベクトルであることを示す。
• 元のハイパーグラフと縮小されたハイパーグラフの間で固有ベクトルの符号の一貫性を確立し、スペクトル分割法において重要である。

実験結果

リサーチクエスチョン

• RQ1 グラフ上の$(m,k)$-スターモデルをハイパーグラフに一般化することで、共有ハブを持つ複数停の公共交通網をどのようにモデル化できるか？
• RQ2 ハイパーエッジの重みにどのような条件下で、ハイパーグラフの隣接行列およびラプラシアン行列の固有値と重複度が計算可能となるか？
• RQ3 ハイパーグラフにおける頂点集合の削減が、隣接行列およびラプラシアン行列のスペクトルを保持できるか？
• RQ4 頂点のみを削除するのと、頂点とその関連するハイパーエッジを併せて削除するのとで、2種類の頂点削減法にどのような相違があるか？
• RQ5 縮小されたハイパーグラフにおける固有ベクトルの符号は、元のハイパーグラフとどのように関係するか。特に、フィードラーのスペクトル分割法の文脈において。

主な発見

• $(m,k)$-ハイパースター構造は、$(m,k)$-スターをハイパーグラフに一般化し、共有ハブを持つ複数停の鉄道網のモデル化を可能にする。
• $(m,k)$-ハイパースターを有するハイパーグラフでは、適切な重み条件のもとで、隣接行列およびラプラシアン行列の固有値が重複度を伴って計算可能となる。
• 2種類の異なる頂点集合削減法がスペクトルを保持する。1つは頂点のみを削除する（ハイパーエッジを保持する）方法であり、もう1つは頂点とその関連するハイパーエッジを併せて削除する方法である。
• 縮小されたハイパーグラフの隣接行列およびラプラシアン行列は、質量行列と類似変換を介して、元の行列の変換版とスペクトル的に同等である。
• 縮小系の固有ベクトル $x$ に対して、$Kx$ が元の系の同じ固有値に対する固有ベクトルとなる。このとき、固有値および符号パターンが保存される。
• 系の補題4は、元のハイパーグラフと縮小されたハイパーグラフの間で、固有ベクトルの成分の符号が一貫していることを確認し、スペクトル分割法の安定性を支援する。