[論文レビュー] Tensor networks and the enumeration of regular subgraphs

Peter Zograf|ArXiv.org|May 10, 2006

Tensor decomposition and applications参考文献 2被引用数 4

ひとこと要約

この論文は、任意のグラフにおけるd-正則部分グラフ（d-ファクターおよびハミルトニアンサイクルを含む）を列挙するためのテンソルネットワークベースのアルゴリズムを導入する。頂点に対称テンソルを配置し、双線形形式を用いてそれらを縮約することで、任意の指定されたタイプの部分グラフを数える生成関数を計算する。主な結果として、テンソルネットワークの縮約によるd-正則部分グラフ列挙の普遍的フレームワークが得られる。

ABSTRACT

We propose a universal approach to a range of enumeration problems in graphs. The key point is in contracting suitably chosen symmetric tensors placed at the vertices of a graph along the edges. In particular, this leads to an algorithm that counts the number of d-regular subgraphs of an arbitrary graph including the number of d-factors (previously we considered the case d=2 with a special emphasis on the enumeration of Hamiltonian cycles; cf. math.CO/0403339). We briefly discuss the problem of the computational complexity of this algorithm.

研究の動機と目的

• 任意の有限グラフにおけるd-正則部分グラフを列挙する普遍的な手法を開発すること。
• d=2のハミルトニアンサイクル列挙に関する先行研究を、任意のd ≥ 1に一般化すること。
• 生成関数を介して部分グラフの数を捉える、テンソルネットワークを用いた体系的なフレームワークを提供すること。
• 提案されたアルゴリズムの計算複雑性を分析し、それが有効である条件を同定すること。
• 対称テンソルネットワークと対称多項式との間の関係を、部分グラフ列挙の文脈で確立すること。

提案手法

• 各頂点にd-価の対称テンソルA_dと、ベクトル空間V上の対称双線形形式Bを用いてテンソルネットワークを構築する。
• Bを用いてエッジペアごとにテンソルを縮約し、体F上のスカラー値にまでネットワークを簡約する。
• 得られるグラフ関数F_A,B(G)は、タイプλのk-正則部分グラフの数を係数に持つ生成関数である。
• この構成は、対称冪S^d Vと対称多項式p_λ(x_1,…,x_r)を用いて、部分グラフの数を符号化する。
• 最小の最大頂点次数を維持するエッジの縮約のシーケンスを用い、線グラフG*の木幅によって制御される。
• 計算複雑性は|V(G)|^O(1) exp(O(tw(G*)))で抑えられ、ここでtw(G*)は線グラフの木幅である。

実験結果

リサーチクエスチョン

• RQ1 任意のグラフにおけるすべてのd-正則部分グラフを列挙できる普遍的なテンソルネットワークフレームワークを構築できるか？
• RQ2 対称テンソルおよび双線形形式の選択が、部分グラフ列挙の生成関数にどのように影響するか？
• RQ3 部分グラフ列挙のためのテンソルネットワーク縮約アルゴリズムの計算複雑性は何か？
• RQ4 グラフ構造と関連して、アルゴリズムがどのような条件下で実行可能になるか？
• RQ5 対称テンソル分解技術を用いることで、アルゴリズムの効率が向上するか？

主な発見

• テンソルネットワークの縮約F_A,B(G)は、Gにおける各タイプλのk-正則部分グラフの数を一意に決定する生成関数を生成する。
• r ≥ 1 + max_H l(H)のとき、関数F_A_k,I_r(G)は、Gにおけるタイプλのk-正則部分グラフの数N_k,λ(G)を一意に決定する。
• r=2のとき、F_A_k,I_2(G)はGにおけるk-ファクター（スパニングk-正則部分グラフ）の総数を与える。
• r = n+1で単位根を用いるとき、F_A_k,I_{n+1}(G)/nはGにおける連結k-ファクターの数を与える。
• アルゴリズムの複雑性は|V(G)|^O(1) exp(O(tw(G*)))で抑えられ、線グラフの木幅が有界なグラフでは効率的である。
• この方法は、ハミルトニアンサイクル列挙に関する先行結果を一般化し、d-正則部分グラフの数え上げに統一的なアプローチを提供する。