[論文レビュー] Hyperwalk Formulae for Even and Odd Laplacians in Finite CW-Hypergraphs

Iván Contreras, Sarah Loeb+1 more|arXiv (Cornell University)|Aug 26, 2017

Tensor decomposition and applications参考文献 5被引用数 3

ひとこと要約

本稿は、有限のCWハイパーグラフにおける偶数ラプラシアンおよび奇数ラプラシアンのハイパーウォーク公式を導入し、方向付きインシデント行列を介してハイパーグラフへと離散量子力学的概念を拡張する。偶数ラプラシアンのべき乗が頂点間の符号付きハイパーウォークを数え、奇数ラプラシアンのべき乗が細胞間の符号付きエッジ-ハイパーウォークを数えることが確立されており、CW複体構造と向きの概念に基づいた明示的な組合せ的解釈がなされている。

ABSTRACT

In this note we provide a combinatorial interpretation for the powers of the hypergraph Laplacians. Our motivation comes from the discrete formulation of quantum mechanics and thermodynamics in the case of finite graphs, which suggest a natural extension to simplicial and CW-complexes. With this motivation, we also define generalizations of the odd Laplacian which is specific to hypergraphs arising from CW-complexes. We then provide a combinatorial interpretation for the powers of these Laplacians.

研究の動機と目的

• グラフに既に適用されていた離散量子力学的定式化を、有限のCW複体およびそれに関連するハイパーグラフへ一般化すること。
• CW複体の細胞構造を用いて向きを組み込んだハイパーグラフラプラシアンフレームワークを定義すること。
• 偶数および奇数ラプラシアンのべき乗の組合せ的解釈を、ハイパーグラフ上の符号付きハイパーウォークの観点から提示すること。
• グラフにおける一般化ウォークの概念をハイパーグラフへと拡張し、特にCWハイパーグラフにおける超対称量子力学の文脈で考察すること。

提案手法

• ハイパーグラフのインシデント行列を$ I $とするとき、偶数ラプラシアンを$\Delta^+ = II^T$、奇数ラプラシアンを$\Delta^- = I^T I$として定義する。
• 頂点とエッジを交互に含む列をハイパーウォークとし、エッジと頂点を交互に含む列をエッジ-ハイパーウォークとして定義する。
• CW複体の細胞における向きを活用し、符号付きインシデント行列を用いてハイパーウォークに符号を割り当てる。
• 指数$ k $に関する帰納法を用いて、$(\Delta^+)^k(i,j)$が頂点$ v_i $から$ v_j $への長さ$ k $の符号付きハイパーウォークの数を数えることを証明する。
• 符号付きウォークの分配的性質を用いて、$(\Delta_d^-)^k(i,j)$が$ e_i^{d+1} $から$ e_j^{d+1} $への長さ$ k $の$(d+1,d)$-ハイパーウォークの符号の和を計算することを証明する。
• CWハイパーグラフにこのフレームワークを適用し、細胞の向きがウォークに一貫した符号割り当てを可能にし、量子力学的文脈におけるパーティション関数に類似した解釈を可能にする。

実験結果

リサーチクエスチョン

• RQ1 ハイパーグラフにおける偶数ラプラシアンのべき乗は、ウォークの観点からどのように組合せ的に解釈できるか？
• RQ2 CW複体から導かれるハイパーグラフにおける符号付きウォークを定義する際、向きが果たす役割は何か？
• RQ3 奇数ラプラシアンのべき乗は、CWハイパーグラフにおけるエッジ-ハイパーウォークの符号付き数え上げとどのように関係するか？
• RQ4 グラフにおける超対称量子力学の離散的パーティション関数形式を、ハイパーグラフラプラシアンを介してCW複体へと拡張できるか？
• RQ5 高次元ハイパーグラフにおけるハイパーウォークの符号の和の組合せ的意味は何か？

主な発見

• 偶数ラプラシアン$\Delta^+$の$ k $乗は、ハイパーグラフにおける頂点$ v_i $から$ v_j $への長さ$ k $のハイパーウォークの数を数える。
• 図1(b)のCWハイパーグラフにおいて、$ e_1^1 $から$ e_6^1 $への長さ4の$(1,2)$-ハイパーウォークの符号の和は、定理3.6により0である。
• $ e_1^2 $から$ e_3^2 $への長さ2の$(2,1)$-ハイパーウォークの符号の和は$+1$であることが、定理3.7により確認された。
• 図1(a)のハイパーグラフにおいて、$ v_1 $から$ v_3 $への長さ4のハイパーウォークは5,886個存在する。これは定理2.3により与えられる。
• 同じハイパーグラフにおいて、$ e_7 $から$ e_9 $への長さ3のエッジ-ハイパーウォークは384個存在する。これは定理2.4により計算された。
• CWハイパーグラフにおいて、$ e_6^1 $の$ e_1^2 $における符号は負である。これは、奇数ラプラシアンフレームワークにおける向き依存の符号割り当てを示している。