[论文解读] Determinants of weighted path matrices

Kelli Talaska|arXiv (Cornell University)|Feb 14, 2012

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

一句话总结

本文通过推导加权路径矩阵所有子式的有理表达式，将Lindström–Gessel–Viennot引理由无环图推广至任意有向图，包括含环图的情形。通过在路径-环对上构造符号相反的对合映射，将子式表示为由非相交路径族与点不相交环族索引的多项式之比，将经典无环情形的结果扩展至更广泛的组合框架，在代数组合学与统计学中具有应用价值。

ABSTRACT

We find rational expressions for all minors of the weighted path matrix of a directed graph, generalizing the classical Lindstrom/Gessel-Viennot result for acyclic directed graphs. The formulas are given in terms of certain flows in the graph.

研究动机与目标

• 将仅适用于无环图的经典Lindström–Gessel–Viennot行列式公式推广至可能含环的任意有向图。
• 为加权路径矩阵的所有子式提供有理表达式，其中矩阵元素为边权的形式幂级数。
• 通过在路径族与环族上引入符号相反的对合映射，将子式的组合解释推广至无环情形之外。
• 为含定向环的模型（如代数统计中的高斯图模型）建立适用框架。
• 通过提供更系统且索引无关的组合公式，统一并拓展先前关于环擦除行走与堆理论的研究。

提出的方法

• 将加权路径矩阵 M 定义为 (I − A)⁻¹，其中 A 为加权邻接矩阵，其元素定义为从顶点对出发的所有有向路径的幂级数之和。
• 定义路径族 P 与点不相交的环族 C，并对每对 (P, C) 构造带符号的权重和，符号由路径端点的排列决定。
• 在非非相交的 (P, C) 对上构造一个符号相反且保持权重的对合映射 φ，通过尾部交换与环移动操作，消除非本质项。
• 该对合作用于第一个具有自交、或与其他路径或环相交的路径 Pᵢ，通过交换尾部或移动环，形成符号相反的配对。
• 证明仅非相交路径族与点不相交环族在求和中保留，从而导出每个子式的有理表达式。
• 将子式表示为两个多项式的比值：分子为所有非相交路径族的带符号和，分母为所有环 C 的 (1 − wt(C)) 的乘积。

实验结果

研究问题

• RQ1 Lindström–Gessel–Viennot行列式公式如何推广至含定向环的有向图？
• RQ2 在非无环图中，当矩阵元素为形式幂级数而非多项式时，加权路径矩阵的子式背后的组合结构是什么？
• RQ3 能否构造一个符号相反的对合，以消除相交或重叠的路径与环配置，仅保留非相交族在行列式表达式中的贡献？
• RQ4 子式的有理表达式如何与图的底层拓扑相关，特别是在存在环的情况下？
• RQ5 环权重与路径排列在决定子式最终有理形式中起什么作用？

主要发现

• 任意有向图的加权路径矩阵的子式均为有理函数，其分子与分母均由显式的组合多项式给出。
• 分子为所有连接指定源点与汇点对的两两点不相交路径族的带符号和，符号由端点排列决定。
• 分母为图中所有自避免且点不相交的环 C 的 (1 − wt(C)) 的乘积，确保幂级数展开的收敛性。
• 对合 φ 在所有非非相交的路径-环对上建立了符号相反且保持权重的配对，证明仅非相交配置对最终行列式有贡献。
• 该方法通过允许图中存在环，并将子式表达为有理函数而非多项式，推广了无环情形。
• 该结果为含环图中子式的计算提供了统一框架，在代数组合学与代数统计（如高斯图模型）中具有应用价值。