[論文レビュー] Continued Fractions and Unique Factorization on Digraphs

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

Quantum Computing Algorithms and Architecture被引用数 5

ひとこと要約

本稿では、有限有向グラフまたは重み付き有向グラフの任意の二頂点間のウォークの特性級数を、単純パスとサイクルへの一意的因数分解に基づく新しいネスト積を用いて表現する普遍的な連分数表現を導入する。主な貢献は、この積において単純パスとサイクルが素元として機能することを証明し、ウォーク級数の明示的計算および因数分解アルゴリズムの開発を可能にすることにある。

ABSTRACT

We show that the characteristic series of walks (paths) between any two vertices of any finite digraph or weighted digraph G is given by a universal continued fraction of finite depth involving the simple paths and simple cycles of 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 G uniquely factorize into nesting products of simple paths and simple cycles. Nesting is a walk product which we define. We show that the simple paths and simple cycles are the prime elements of the ensemble of all walks on G equipped with the nesting product. We give an algorithm producing the prime factorization of individual walks. We obtain a recursive formula producing the prime factorization of ensembles of walks. Our results have already found applications in the field of matrix computations. We give examples illustrating our results.

研究の動機と目的

• 有限有向グラフまたは重み付き有向グラフにおける任意の二頂点間のウォーク級数に対して、普遍的な連分数表現を確立すること。
• 単純パスと単純サイクルのネスト積に基づく、任意のウォークのための新しい因数分解フレームワークを構築すること。
• ネスト積の下で、単純パスと単純サイクルがウォークの代数的構造における素元として機能することを証明すること。
• 個々のウォークおよびウォークの集合の素因数分解を計算するためのアルゴリズムを提供すること。
• 行列計算への実用的応用を明示的な例を通じて示すこと。

提案手法

• 一つのウォークを別のウォークに埋め込むことで構成される、新たなウォーク積「ネスト積」を定義し、階層的構造を形成する。
• 繰返しの頂点のない単純パスと、始点／終点を除いて繰返しのない頂点のない単純サイクルを、基本的構成要素として特徴付ける。
• 有限有向グラフ上の任意のウォークが、単純パスとサイクルのネスト積として一意に分解可能であるという一意的因数分解定理を確立する。
• 任意の二頂点間のウォークの特性級数を符号化する、有限深さの普遍的連分数公式を導出する。
• 再帰的分解を用いて、グラフ内に存在する任意の個別ウォークの素因数分解を計算するアルゴリズムを構築する。
• 有向グラフの構造に基づいて、ウォーク集合全体の因数分解を再帰的に行う公式を開発する。

実験結果

リサーチクエスチョン

• RQ1 有限有向グラフにおける任意の二頂点間のウォークの特性級数は、普遍的な連分数として表現可能か？
• RQ2 新しいネスト積を用いて、任意のウォークが単純パスと単純サイクルへ一意的に因数分解可能か？
• RQ3 ネスト積の下で、単純パスと単純サイクルはウォークのモノイドにおける素元として機能するか？
• RQ4 個々のウォークおよびウォーク集合の素因数分解を計算するためのアルゴリズム的枠組みは何か？
• RQ5 この代数的構造は、行列計算やその他の計算問題にどのように応用可能か？

主な発見

• 有限有向グラフにおける任意の二頂点間のウォークの特性級数は、単純パスとサイクルのみを含む有限深さの普遍的連分数として与えられる。
• 有限有向グラフ上に存在する任意のウォークは、単純パスと単純サイクルのネスト積として一意に因数分解可能であり、基本的因数分解定理を確立する。
• ネスト積の下で、単純パスと単純サイクルがウォークのモノイドにおける素元として証明された。
• 任意の個別ウォークの素因数分解を計算する明示的アルゴリズムが提供された。
• ウォーク集合の素因数分解を計算する再帰的公式が導出され、スケーラブルな計算を可能にした。
• 本フレームワークは、すでに行列計算への応用を経験しており、実用的有用性を示した。