[論文レビュー] Walk-Sums, Continued Fractions and Unique Factorisation on Digraphs

Pierre-Louis Giscard, S. J. Thwaite+1 more|arXiv (Cornell University)|Feb 24, 2012

semigroups and automata theory参考文献 30被引用数 12

ひとこと要約

本稿では、重み付き有向グラフ上のウォークの新たな因数分解を、'ネスト'と呼ばれる新しい積演算を用いて提案する。この因数分解により、任意のウォークが一意に単純パスと単純サイクル（素元として定義される）の積に分解される。主な結果は、任意の二頂点間のすべてのウォークの系列に対して、有限深さかつ有限幅を持つ普遍的な連分数表現が得られることであり、これはオイラーの積分公式をウォークに一般化したものである。

ABSTRACT

We show that the series of all walks between any two vertices of any (possibly weighted) directed graph $\mathcal{G}$ is given by a universal continued fraction of finite depth and breadth involving the simple paths and simple cycles of $\mathcal{G}$. A simple path is a walk forbidden to visit any vertex more than once. We obtain an explicit formula giving this continued fraction. Our results are based on an equivalent to the fundamental theorem of arithmetic: we demonstrate that arbitrary walks on $\mathcal{G}$ factorize uniquely into nesting products of simple paths and simple cycles, where nesting is a product operation between walks that we define. We show that the simple paths and simple cycles are the prime elements of the set of all walks on $\mathcal{G}$ equipped with the nesting product. We give an algorithm producing the prime factorization of individual walks, and obtain a recursive formula producing the prime factorization of sets of walks. Our results have already found applications in machine learning, matrix computations and quantum mechanics.

研究の動機と目的

• 任意の重み付き有向グラフ上のウォークの和と再和算を体系的かつ文脈に依存しない枠組みで確立すること。
• 従来の文献において、ウォーク系列の一般的な再和算手法が不足していること、特に文脈依存的かつ普遍的でないことに対処すること。
• より制限的な積演算（'ネスト'）を用いてウォークに新たな代数的構造を定義し、非自明な素因数分解の性質を明らかにすること。
• 有限有向グラフにおける任意の二頂点間のウォーク系列に対して、閉形式で表現可能な普遍的な連分数式を導出すること。
• 機械学習、行列関数、量子ダイナミクスの多様な応用を、ウォーク因数分解という共通の数学的基盤で統一すること。

提案手法

• ウォークに新しい積演算 'ネスト' ($\odot$) を導入する。これは連結よりも制限が強く、構造的制約を課す。
• ネストの下で、ウォーク集合の不可約かつ素元な要素が単純パスと単純サイクル（任意の頂点を再訪問しないウォーク）であることを証明する。
• 任意のウォークが単純パスと単純サイクルのネスト積として一意に因数分解されることを示す一意因数分解定理を確立する。
• 頂点 $\alpha$ から $\omega$ へのすべてのウォークの和として定義されるウォーク系列 $W_{\mathcal{G};\alpha\omega}$ を定義し、その普遍的連分数表現を導出する。
• パスおよびサイクルの分解に基づき、個々のウォークおよびウォーク集合の素因数分解を再帰的アルゴリズムで計算する。
• ウォーク集合のスターハイド（star-height）に関する再帰的公式を定式化し、部分グラフにおけるハミルトンパスおよびサイクルの存在と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 任意の重み付き有向グラフ上のウォーク系列に対して、体系的な代数的構造を用いて普遍的かつ文脈に依存しない再和算が可能か？
• RQ2 連結とは異なり、非自明な素因数分解を可能にするウォークの積演算は何か？
• RQ3 有限有向グラフにおいて、任意の二頂点間のすべてのウォークの和に対して、有限で閉形式の表現が存在するか？
• RQ4 ウォーク因数分解の複雑さは、ハミルトンパスの存在性といったグラフ理論的問題とどのように関係するか？
• RQ5 単純パスとサイクルへのウォークの一意的因数分解を活用することで、量子力学、機械学習、行列関数の分野の応用を統一できるか？

主な発見

• 有限重み付き有向グラフにおける任意の二頂点間のウォーク系列は、有限深さかつ有限幅の普遍的連分数として明示的に導出されている。
• 連分数は単純パスと単純サイクルから構成され、これらがネスト積演算における唯一の素元であることが証明されている。
• ネスト積は、重複する頂点訪問が許可される範囲に制限された厳密な構造的制約を課すため、非自明な因数分解が可能になる。
• ウォーク集合 $W_{\mathcal{G};\alpha\omega}$ のスターハイドを計算することは、部分グラフにおけるハミルトンパスの存在を判定することに還元されるため、NP完全である。
• 本手法は、個々のウォークの素因数分解を計算するアルゴリズムおよびウォーク集合の再帰的公式を提供し、体系的な再和算を可能にする。
• 結果として、リーマンゼータ関数のオイラー積分公式が、有向グラフ上のウォークの文脈に一般化され、グラフ理論における深い代数的類似性が確立された。