[论文解读] Postnikov-Shapiro Algebras, Graphical Matroids and their generalizations

Gleb Nenashev|arXiv (Cornell University)|Sep 29, 2015

Advanced Topics in Algebra参考文献 12被引用 3

一句话总结

本文证明了计数图中生成森林的Postnikov-Shapiro代数仅依赖于图的图形拟阵，而不依赖于图的具体结构。文章为超图中的生成树与生成森林引入了三种等价定义，将图形拟阵推广至超图拟阵，并证明代数结构由无桥拟阵决定，支持了关于拟阵等价下同构不变性的猜想。

ABSTRACT

In this paper we consider the original and different generalizations of Postnikov-Shapiro algebra which enumerate forests and trees of graphs, see~\cite{PSh}. Our main result is that the algebra counting forests depends only on graphical matroid and converse. Also we generalize algebras for a hypergraph. For this, we define spanning forests and trees of a hypergraph and the corresponding "hypergraphical" matroid. We present $3$ different equivalent definitions of spanning forests and trees, which can be read independently from other parts of the paper.

研究动机与目标

• 建立Postnikov-Shapiro代数与图形拟阵之间的直接代数联系，证明计数森林的代数仅依赖于拟阵。
• 将图中生成树与生成森林的概念推广至超图，扩展拟子理论的框架。
• 通过三种等价表述定义并表征超图拟阵，实现对超图生成结构的代数计数。
• 提出并研究一个猜想：若树的Postnikov-Shapiro代数同构，则其无桥拟阵也同构。

提出的方法

• 定义两个同构的Postnikov-Shapiro代数：一个作为多项式环的商代数，其生成元的幂次基于边割；另一个作为基于顶点生成元的Clifford代数的子代数。
• 使用Tutte多项式作为代数的Hilbert级数的生成函数，将代数维数与森林和树的组合计数联系起来。
• 通过移除图中所有桥来引入无桥拟阵的概念，证明代数结构在该操作下保持不变。
• 通过割、向量构型和代数理想三种方式构造超图中生成树的等价定义，推广图的情形。
• 通过商掉由割相关关系生成的理想，证明代数${\cal C}_{G}^{T}$同构于${\cal B}_{G}^{T}$，并保持拟阵结构。
• 提出将$G$-parking函数推广至超图，作为定义超图代数结构的基础，尽管完整构造仍待完成。

实验结果

研究问题

• RQ1 计数生成森林的Postnikov-Shapiro代数是否仅依赖于图形拟阵，而与图的具体边-顶点配置无关？
• RQ2 能否基于拟子理论原则自然地将图中生成树与生成森林的概念推广至超图？
• RQ3 是否存在三种等价的代数与组合定义，用于推广图情形下的超图生成树？
• RQ4 树的Postnikov-Shapiro代数的同构类是否仅由底层超图的无桥拟阵决定？
• RQ5 能否为超图生成树建立一个与Postnikov-Shapiro图构造类比的一致代数框架？

主要发现

• Postnikov-Shapiro代数${\cal B}_{G}^{F}$与${\cal C}_{G}^{F}$同构，其总维数等于图$G$中生成森林的数量，分次分量按外部活动性计数森林。
• 树计数代数${\cal C}_{G}^{T}$的Hilbert级数为$\mathcal{H}_{{\cal C}_{G}^{T}}(t) = T_{G}(1, \frac{1}{t}) \cdot t^{e(G)-v(G)+c(G)}$，直接将代数与Tutte多项式联系起来。
• 对于连通图，代数${\cal B}_{G}^{T}$同构于${\cal C}_{G}^{T}$，且其维数等于$G$中生成树的数量。
• ${\cal B}_{G}^{T}$仅依赖于$G$的无桥拟阵，且此类代数的同构蕴含无桥拟阵的同构，支持了关于拟阵重构的猜想。
• 本文通过割、向量构型和代数理想三种方式，构造了超图生成树的等价定义，推广了图拟阵至超图。
• 提出将$G$-parking函数推广至超图，作为定义超图生成树完整代数结构的必要步骤，尽管完整构造仍待完成。