[论文解读] Continued Fractions and Unique Factorization on Quivers

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

Algebraic structures and combinatorial models参考文献 7被引用 2

一句话总结

本文提出了一种适用于有向图中任意两点间所有行走路径的通用连分数表示，其基础是通过一种新颖的嵌套乘积运算，将行走路径唯一地分解为简单路径和环路。关键贡献在于证明了简单路径和环路在此乘积运算下充当素元素，从而实现了类似于算术基本定理的行走路径因式分解。

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.

研究动机与目标

• 通过一种新颖的嵌套乘积运算，建立有向图上任意行走路径的唯一因式分解框架。
• 证明在嵌套乘积运算下，简单路径和简单环路是行走路径代数结构中的素元素。
• 推导出任意两点间所有行走路径的闭式连分数表达式，且该表达式适用于任意权重和图结构。
• 开发一种算法，用于计算单个行走路径的素因数分解，并推导出一组行走路径的递归公式。
• 通过图行走路径的因式分解，为机器学习、矩阵计算和量子力学提供理论基础。

提出的方法

• 定义一种行走路径之间的嵌套乘积运算，其组合方式类似于乘法，同时保持路径结构的完整性。
• 引入简单路径（无重复顶点）和简单环路（除起点/终点外无重复顶点）作为基本构建单元。
• 证明有向图中的每条行走路径均可唯一地分解为简单路径和简单环路的嵌套乘积，类似于素因数分解。
• 推导出一种深度和广度均为有限的通用连分数公式，通过简单路径和环路的嵌套乘积编码图中任意两点间的全部行走路径。
• 构建一种算法，基于路径分解和嵌套规则，计算单个行走路径的素因数分解。
• 开发一种递归公式，通过聚合各组成行走路径的因数分解，计算一组行走路径的素因数分解。

实验结果

研究问题

• RQ1 是否可以使用定义的乘积运算，将有向图中的所有行走路径唯一地分解为基本组成部分？
• RQ2 在嵌套乘积运算下，所有行走路径的集合具有怎样的代数结构？
• RQ3 如何构建一种通用的连分数表示，以编码图中任意两点间的全部行走路径？
• RQ4 在嵌套乘积下的行走路径幺半群中，素元素是什么？它们与简单路径和环路有何关系？
• RQ5 在机器学习、矩阵计算和量子力学中，行走路径的唯一因式分解可如何被有效利用？

主要发现

• 所有有向图中的行走路径均可唯一地分解为简单路径和简单环路的嵌套乘积，从而建立了行走路径的算术基本定理。
• 证明了简单路径和简单环路是在嵌套乘积运算下行走路径幺半群中的素元素。
• 推导出一种深度和广度均为有限的通用连分数，可编码图中任意两点间的全部行走路径。
• 通过简单路径和环路的嵌套乘积，显式构造了连分数公式，提供了闭式表达式。
• 开发了一种算法，用于计算单个行走路径的素因数分解，实现了对复杂行走结构的系统性分解。
• 建立了用于计算一组行走路径素因数分解的递归公式，将方法扩展至集体行走分析。