同余条件、包裹以及图和拟阵的塔特多项式

设 $G$ 为一个矩阵，$M(G)$ 为由 $G$ 的列向量集合 $E$ 上的线性相关性定义的拟阵。粗略地说，一个包裹是定义在 $E$ 上、取值于阿贝尔群 $A$ 的函数对 $(f,g)$ 的子集，满足一个上边缘条件(即 $f-g$ 是相对于 $G$ 的 $A$ 值流)和一个同余条件(即 $f$ 和 $g$ 的支撑集的大小满足模某个整数的同余条件)。我们证明了若干形如以下形式的定理：包裹大小的线性组合，其系数为单位根，等于 $M(G)$ 的塔特多项式在复双曲线 $(\lambda - 1)(x-1) = |A|$ 上点 $(\lambda-1,x-1)$ 处的取值。