[论文解读] A family of partitions of the set of walks on a directed graph

S. J. Thwaite|arXiv (Cornell University)|Sep 11, 2014

Advanced Combinatorial Mathematics参考文献 13被引用 4

一句话总结

本文引入了一类对有向图上所有路径的划分，该划分由整数序列 $ΠΣ$ 索引，$ΠΣ$ 定义了可重求和的环路。文章刻画了 $ΠΣ$-不可约路径，并提出了一种“穿衣”过程，通过环路附加重建所有路径，从而实现基于路径的矩阵函数计算中无限几何级数的精确重求和。

ABSTRACT

We present a family of partitions of $W_\mathcal{G}$, the set of walks on a directed graph $\mathcal{G}$. Each partition in this family is identified by an integer sequence $K$, which specifies a collection of cycles on $\mathcal{G}$ with a certain well-defined structure. We term such cycles resummable, and a walk that does not traverse any such cycles $K$-irreducible. For a given value of $K$, the corresponding partition of $W_\mathcal{G}$ consists of a collection of cells that each contain a single $K$-irreducible walk $i$ plus all walks that can be formed from $i$ by attaching one or more resummable cycles to its vertices. We characterise the entire family of partitions of $W_\mathcal{G}$ by giving explicit expressions for the structure of the $K$-irreducible walks and the resummable cycles for arbitrary values of $K$. We demonstrate how these results can be exploited to recast the sum over all walks on a directed graph as a sum over dressed $K$-irreducible walks, and discuss the applications of this reformulation to matrix computations.

研究动机与目标

• 定义一个系统化的框架，将有向图上所有路径的集合根据可重求和环路结构划分为等价类。
• 识别并刻画 $ΠΣ$-不可约路径——即避开由穿衣签名 $ΠΣ$ 定义的特定结构环路的路径。
• 建立路径约化算子 $ΠΣ^{–}$ 和穿衣算子 $ΠΣ_{Γ}$，在不可约路径与完整路径集合之间建立映射，确保划分的一致性。
• 实现基于路径展开中出现的无限几何级数的精确重求和，尤其适用于矩阵函数和统计推断。
• 通过允许任意环路结构（超越自环或所有环路）通过可定制的 $ΠΣ$ 签名实现精确重求和，推广路径和方法。

提出的方法

• 引入穿衣签名 $ΠΣ$，即一个非负整数序列，用于定义具有特定结构约束的可重求和环路类。
• 将 $ΠΣ$-不可约路径定义为不包含 $ΠΣ$-定义类中任何可重求和环路的路径。
• 构建路径约化算子 $ΠΣ^{–}$，可从任意路径中剥离所有可重求和环路，得到其 $ΠΣ$-不可约核心。
• 定义穿衣算子 $ΠΣ_{Γ}$，用于生成通过将任意组合的可重求和环路附加到 $ΠΣ$-不可约路径上所能得到的所有路径。
• 证明：在所有 $ΠΣ$-不可约路径上，穿衣算子的像构成完整路径集合 $W_{Γ}$ 的一个划分。
• 为给定图 $Γ$ 上所有 $ΠΣ$-不可约路径的集合 $I_{ΠΣ,Γ}$ 提供显式表达式，适用于任意 $ΠΣ$。

实验结果

研究问题

• RQ1 如何基于特定环路结构的存在，系统地划分有向图上所有路径的集合？
• RQ2 如何精确刻画避开由给定整数序列 $ΠΣ$ 定义的所有环路的路径？
• RQ3 如何将环路的附加或移除过程形式化为保持划分结构的约化与穿衣操作？
• RQ4 对于任意穿衣签名 $ΠΣ$，$ΠΣ$-不可约路径的一般形式是什么？
• RQ5 该框架如何实现基于路径展开的无限几何级数的精确重求和？其对矩阵函数计算有何影响？

主要发现

• 有向图 $Γ$ 上所有路径的集合可以被划分为互不相交的单元，每个单元包含一个唯一的 $ΠΣ$-不可约路径，以及通过向其附加任意集合可重求和环路所生成的所有路径。
• $ΠΣ$-不可约路径通过一个对任意整数序列 $ΠΣ$ 均有效的公式被显式刻画，为它们的构造性枚举提供了方法。
• 通过穿衣算子 $ΠΣ_{Γ}$ 实现的环路重求和，使得完整路径和可重写为对 $ΠΣ$-不可约路径的求和，每个路径乘以一个表示所有可能环路附加的分支连分数。
• 该重表述精确重求和了环路的无限几何级数，将原始路径和简化为更紧凑、部分重求和的级数。
• 该方法推广了先前结果：自环重求和（$ΠΣ = [1,0]$）和全环路重求和（$ΠΣ = ΠΣ_{\mathrm{max}}$）均为该框架中的特例。
• 该框架为矩阵函数和统计推断提供了新的不可约路径和表达式，其收敛性与数值稳定性可能因 $ΠΣ$ 的选择而得到改善。