[论文解读] 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

一句话总结

本文提出了一种基于新型乘积运算‘嵌套’（nesting）的加权有向图上行走路径的因子分解方法，该方法可唯一地将任意行走路径分解为简单路径与简单环——即所谓的素元素。核心成果是：对于任意两个顶点之间的所有行走路径，其生成函数存在一个通用的、有限深度与有限宽度的连分数表示，该结果将欧拉的乘积公式推广至图论中的行走路径场景。

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$），其限制性高于连接运算，并施加结构约束。
• 证明在嵌套运算下，行走路径集合中的不可约与素元素即为简单路径与简单环——即不重复访问任何顶点的行走路径。
• 建立唯一因子分解定理：任意有向图上的行走路径均可唯一地分解为简单路径与简单环的嵌套乘积。
• 将行走路径系列 $W_{\mathcal{G};\alpha\omega}$ 定义为从顶点 $\alpha$ 到 $\omega$ 的所有行走路径之和，并推导其通用连分数表示。
• 基于路径与环的分解，设计递归算法以计算单个行走路径及行走路径集合的素因子分解。
• 提出行走路径集合的星高（star-height）的递归公式，其与子图中哈密顿路径与环的存在性相关联。

实验结果

研究问题

• RQ1 能否通过系统化的代数结构，实现对任意加权有向图上行走路径系列的通用、上下文无关重求和？
• RQ2 何种行走路径乘积运算可实现非平凡的素因子分解，且与连接运算的平凡因子分解相区别？
• RQ3 在有限有向图中，是否存在任意两个顶点之间所有行走路径之和的有限闭式表达？
• RQ4 行走路径因子分解的复杂性与哈密顿路径存在性等图论问题之间有何关联？
• RQ5 能否利用行走路径唯一分解为简单路径与环的性质，统一量子力学、机器学习与矩阵函数等领域的应用？

主要发现

• 在有限加权有向图中，任意两个顶点之间的行走路径系列由一个通用连分数表示，其深度与宽度均为有限，且本文已明确推导出该表达式。
• 该连分数由简单路径与简单环构成，且已证明其在嵌套乘积运算下为唯一素元素。
• 嵌套乘积确保仅考虑满足严格结构约束（除允许的嵌套外，不重复访问顶点）的行走路径，从而实现非平凡的因子分解。
• 行走路径集合 $W_{\mathcal{G};\alpha\omega}$ 的星高计算为 NP-完全问题，因其可归约为判断子图中是否存在哈密顿路径。
• 该方法提供了一种算法，用于计算单个行走路径的素因子分解，并给出集合行走路径的递归公式，从而实现系统化的重求和。
• 该成果将欧拉的黎曼ζ函数乘积公式推广至有向图上的行走路径场景，建立了图论中深刻的代数类比。