[论文解读] 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 该代数结构如何应用于矩阵计算及其他计算问题？

主要发现

• 有限有向图中任意两点间行走的特征序列由仅包含简单路径与环路的有限深度通用连分数给出。
• 任何有限有向图中的任意行走均可唯一地分解为简单路径与环路的嵌套积，确立了基本因子分解定理。
• 证明了在嵌套积运算下，简单路径与简单环路是行走幺半群中的素元素。
• 提供了一种显式算法，用于计算图中任意单个行走的素因子分解。
• 推导出用于计算行走集合素因子分解的递归公式，实现了可扩展计算。
• 该框架已在矩阵计算中得到应用，证明了其实际效用。