[论文解读] Ported Tutte Functions of Extensors and Oriented Matroids

Seth Chaiken|ArXiv.org|May 28, 2006

Matrix Theory and Algorithms参考文献 51被引用 9

一句话总结

本文提出了一种基于外代数的端口拟阵与定向拟阵的Tutte函数新型可展式表述，通过对偶化、收缩和端口特异性运算推广Tutte多项式。核心贡献是在外代数框架下建立一个符号正确的Tutte方程，该方程捕捉了电路网络的解，并推广了矩阵树定理与图论中的基尔霍夫定律。

ABSTRACT

The Tutte equations are ported (or set-pointed) when the equations F(N) = g_e F(N/e) + r_e F(N\e) are omitted for elements e in a distinguished set called ports. Solutions F can distinguish different orientations of the same matroid. A ported extensor with ground set is a decomposible element in the exterior algebra over a vector space with a given basis, called the ground set, containing a distinguished subset called ports. These can represent ported matroids and have analogous dualization, deletion and contraction operations. A ported extensor function is defined using dualization, port element renaming, exterior multiplication, and contraction of non-ports. We prove that this function satisfies a sign-corrected variant of the Tutte equations over exterior algebra. For non-ported unimodular, i.e., regular matroids, our function reduces to the basis generating function and for graphs the Laplacian (or Kirchhoff) determinant. In general, the function value, as an extensor, signifies the space of solutions to Kirchhoff's and Ohm's electricity equations after projection to the variables associated to the ports. Combinatorial interpretation of various determinants (the Plucker coordinates) generalize the matrix tree theorem and forest enumeration expressions for electrical resistance. The corank-nullity polynomial, basis expansions with activities, and a geometric lattice expansion generalize to ported Tutte functions of oriented matroids. The ported Tutte functions are parametrized, which raises the problem of how to generalize known characterizations of parameterized non-ported Tutte functions.

研究动机与目标

• 将Tutte多项式推广至具有端口集的拟阵与定向拟阵，采用外代数方法。
• 提供一个统一的代数框架，通过可展式运算捕捉电路网络的解。
• 将基生成函数与矩阵树定理推广至具有端口的图与幺模拟阵。
• 阐明端口Tutte函数与电路网络中欧姆定律与基尔霍夫定律等物理定律的关系。
• 将余秩-零化度多项式、基展开式与几何格展开式推广至端口设定下。

提出的方法

• 将端口可展式定义为向量空间上外代数中的可分解元素，其具有一个特殊基集与一个端口子集。
• 通过对外对偶、端口元素重命名、外积运算与非端口元素的收缩，构建端口Tutte函数。
• 在外代数中使用符号正确的Tutte方程，以反对称楔积替代交换环上的运算。
• 将函数值表示为可展式，编码基尔霍夫方程与欧姆定律解空间在端口变量上的投影。
• 将该构造应用于具有端口边的图，表明可展式值对应于附加单位矩阵的拉普拉斯矩阵。
• 将普吕克坐标与行列式推广，以组合方式解释森林计数与电路电阻。

实验结果

研究问题

• RQ1 如何利用外代数将Tutte多项式推广至具有特殊端口集的拟阵？
• RQ2 在外部代数框架下，对偶性与收缩在定义端口Tutte函数中起什么作用？
• RQ3 电路网络中基尔霍夫与欧姆定律的解如何对应于端口拟阵的可展式表示？
• RQ4 能否通过此可展式方法将矩阵树定理与基生成函数推广至具有端口的幺模拟阵？
• RQ5 在端口设定下，余秩-零化度多项式、带活动性的基展开式与几何格展开式如何推广？

主要发现

• 所提出的可展式函数满足使用外代数运算而非交换环运算的符号正确Tutte方程变体。
• 对于端口集为空的幺模拟阵，该函数退化为基生成函数；对于图，其退化为拉普拉斯行列式。
• 在具有端口边的图上，可展式值编码了基尔霍夫与欧姆定律解空间在端口电压与电流变量上的投影。
• 附加单位矩阵的拉普拉斯矩阵是该可展式函数在电路网络中取值的具体实例。
• 普吕克坐标（子矩阵的行列式）推广了矩阵树定理，并为电路电阻提供了组合解释。
• 当所有参数为1时，由于高斯消元与分块矩阵运算，可展式函数的计算复杂度为多项式时间。