[論文レビュー] A family of partitions of the set of walks on a directed graph

S. J. Thwaite|arXiv (Cornell University)|Sep 11, 2014

Advanced Combinatorial Mathematics参考文献 13被引用数 4

ひとこと要約

本稿は、整数列 $ΠΣ$ によって定義される再結合可能なサイクルをインデックスとする、有向グラフ上のすべてのウォークの族の分割を導入する。$ΠΣ$-非可約ウォークを特徴付け、サイクルの付加によってすべてのウォークを再構成するドレッシング手続きを提示し、ウォークベースの行列関数計算における無限幾何級数の正確な再結合を可能にする。

ABSTRACT

We present a family of partitions of $W_\mathcal{G}$, the set of walks on a directed graph $\mathcal{G}$. Each partition in this family is identified by an integer sequence $K$, which specifies a collection of cycles on $\mathcal{G}$ with a certain well-defined structure. We term such cycles resummable, and a walk that does not traverse any such cycles $K$-irreducible. For a given value of $K$, the corresponding partition of $W_\mathcal{G}$ consists of a collection of cells that each contain a single $K$-irreducible walk $i$ plus all walks that can be formed from $i$ by attaching one or more resummable cycles to its vertices. We characterise the entire family of partitions of $W_\mathcal{G}$ by giving explicit expressions for the structure of the $K$-irreducible walks and the resummable cycles for arbitrary values of $K$. We demonstrate how these results can be exploited to recast the sum over all walks on a directed graph as a sum over dressed $K$-irreducible walks, and discuss the applications of this reformulation to matrix computations.

研究の動機と目的

• 有向グラフ上のすべてのウォークの集合を、再結合可能なサイクル構造に基づいて同値類に体系的に分割するフレームワークを定義すること。
• 整数列 $ΠΣ$ で定義される特定の構造的サイクルを避ける $ΠΣ$-非可約ウォークを同定・特徴付けること。
• $ΠΣ$-非可約ウォークと全ウォーク集合の間を写像するウォーク削減作用素 $ΠΣ^{–}$ とドレッシング作用素 $ΠΣ_{Γ}$ を確立し、分割の整合性を保証すること。
• ウォーク展開に生じる無限幾何級数の正確な再結合を可能にすること、特に行列関数および統計的推論への応用を目的とする。
• 自己ループやすべてのサイクルに限定されない、任意のサイクル構造をカスタマイズ可能な $ΠΣ$ シグネチャにより正確に再結合可能にするように、パス和法を一般化すること。

提案手法

• 再結合可能なサイクルのクラスを定義する非負整数列としてのドレッシングシグネチャ $ΠΣ$ を導入する。
• $ΠΣ$-非可約ウォークを、$ΠΣ$-定義された家族に属する再結合可能なサイクルを含まないウォークとして定義する。
• 任意のウォークからすべての再結合可能なサイクルを剥ぎ取ることで、その $ΠΣ$-非可約コアを生成するウォーク削減作用素 $ΠΣ^{–}$ を構築する。
• 任意の $ΠΣ$-非可約ウォークに再結合可能なサイクルの任意の組み合わせを付加することで得られるすべてのウォークを生成するドレッシング作用素 $ΠΣ_{Γ}$ を定義する。
• ドレッシング作用素の $ΠΣ$-非可約ウォーク全体への像が、全ウォーク集合 $W_{Γ}$ の分割をなすことを証明する。
• 任意の $ΠΣ$ に対して有効な、与えられたグラフ $Γ$ 上のすべての $ΠΣ$-非可約ウォークの集合 $I_{ΠΣ,Γ}$ の明示的表現を提供する。

実験結果

リサーチクエスチョン

• RQ1 有向グラフ上のすべてのウォークの集合を、特定のサイクル構造の有無に基づいて体系的に分割する方法は何か？
• RQ2 与えられた整数列 $ΠΣ$ で定義されるすべてのサイクルを避けるウォークの明確な特徴付けは何か？
• RQ3 サイクルの付加または除去を、分割構造を保つ削減およびドレッシング作用として形式化する方法は何か？
• RQ4 任意のドレッシングシグネチャ $ΠΣ$ に対して $ΠΣ$-非可約ウォークの一般形は何か？
• RQ5 このフレームワークは、ウォークに基づく展開における無限幾何級数の正確な再結合をどのように可能にし、行列関数計算にどのような影響を及えるか？

主な発見

• 有向グラフ $Γ$ 上のすべてのウォークの集合は、互いに素なセルに分割可能であり、各セルは一意の $ΠΣ$-非可約ウォークと、それに対して任意の再結合可能なサイクルの集合を付加して得られるすべてのウォークを含む。
• $ΠΣ$-非可約ウォークは、任意の整数列 $ΠΣ$ に対して有効な公式により明示的に特徴付けられており、それらを構成的に列挙する方法を提供する。
• ドレッシング作用素 $ΠΣ_{Γ}$ を用いたサイクルの再結合により、全ウォーク和を $ΠΣ$-非可約ウォークの和に再定式化でき、各ウォークは再結合可能なサイクルのすべての可能な付加を表す分岐連分数で重み付けられる。
• この再定式化により、無限幾何級数のサイクルの正確な再結合が可能となり、元のウォーク和はよりcompactで部分的に再結合された級数に簡略化される。
• 本手法は先行研究を一般化する：自己ループの再結合（$ΠΣ = [1,0]$）および全サイクルの再結合（$ΠΣ = ΠΣ_{\mathrm{max}}$）は、このフレームワーク内での特殊ケースである。
• 本フレームワークにより、行列関数および統計的推論のための新しい非可約ウォーク和の表現が可能となり、$ΠΣ$ の選択に応じて収束性および数値的安定性の向上が期待できる。