[论文解读] Spanning trees in complete uniform hypergraphs and a connection to extended r-Shi hyperplane arrangements

Sivaramakrishnan Sivasubramanian|ArXiv.org|May 3, 2006

Advanced Combinatorial Mathematics参考文献 3被引用 6

一句话总结

本文为 $r \geq 3$ 的完全 $r$-一致超图建立了计数生成树的 Cayley 型公式，证明了在固定 $r$-完美匹配下，由 $rk+1$ 个顶点生成的 $(r+1)$-生成树的数量等于长度为 $k$ 的 $r$-停车函数的数量。通过广度优先搜索顺序，构建了这些生成树与 $r$-停车函数之间的双射，并利用 Stanley 定理将该计数与 $r$-扩展 Shi 超平面排列的区域数联系起来。

ABSTRACT

We give a Cayley type formula to count the number of spanning trees in the complete r-uniform hypergraph for all r >= 3. Similar to the bijection between spanning trees in complete graphs and Parking functions, we derive a bijection from spanning trees of the complete (r+1)-uniform hypergraph which arise from a fixed r-perfect matching and r-Parking functions. We observe a simple consequence of this bijection in terms of the number of regions of the extended Shi arrangement.

研究动机与目标

• 推导出完全 $r$-一致超图中 $r \geq 3$ 时 $r$-生成树数量的闭式公式。
• 在固定 $r$-完美匹配下，建立长度为 $k$ 的 $r$-停车函数与 $rk+1$ 个顶点上 $(r+1)$-生成树之间的双射对应关系。
• 将此类生成树的计数与 $k$ 维中 $r$-扩展 Shi 超平面排列的区域数联系起来。
• 将经典关于停车函数和完全图中生成树的结果推广到高一致度超图。

提出的方法

• 对 $r=3$ 使用 Pfaffian 矩阵树定理，并通过超图二部表示的结构分析将方法推广至 $r \geq 4$。
• 将 $r$-生成树定义为：其二部表示（顶点与超边之间）构成一棵树，且满足顶点与超边数量的约束条件。
• 通过使用广度优先搜索顺序来确定超边插入根树结构的顺序，构建了 $r$-停车函数与 $(r+1)$-生成树之间的双射。
• 应用 Stanley 定理：长度为 $k$ 的 $r$-停车函数的数量等于 $r$-扩展 Shi 排列 $S_k^r$ 的区域数。
• 在 $rk$ 个顶点上固定一个 $r$-完美匹配，以限制生成树的集合，从而实现与 $r$-停车函数之间的一一对应。
• 使用根 $r$-生成树的指数生成函数，但主要证明为组合方法，避免使用生成函数以保持结构洞察力。

实验结果

研究问题

• RQ1 在 $n = (r-1)k + 1$ 个顶点的完全 $r$-一致超图中，$r$-生成树的数量是多少？
• RQ2 是否存在长度为 $k$ 的 $r$-停车函数与从固定 $r$-完美匹配中生成的 $(r+1)$-生成树之间的自然组合双射？
• RQ3 此类生成树的计数与 $r$-扩展 Shi 超平面排列的区域数之间有何关系？
• RQ4 为何 $r$-生成树的公式中包含因子 $rPM \cdot n^{k-1}$，其中 $rPM$ 是 $n-1$ 个顶点上 $(r-1)$-完美匹配的数量？

主要发现

• 在 $n = (r-1)k + 1$ 个顶点上的 $r$-生成树数量为 $rPM \cdot n^{k-1}$，其中 $rPM$ 是在 $n-1$ 个顶点上完全 $(r-1)$-一致超图中 $(r-1)$-完美匹配的数量。
• 当 $r=3$ 时，在 $n=2k+1$ 个顶点上的 3-生成树数量为 $1 \cdot 3 \cdot \cdots \cdot (2k-1) \cdot (2k+1)^{k-1}$。
• 存在一个构造性双射，将长度为 $k$ 的 $r$-停车函数与从固定 $r$-完美匹配中生成的 $rk+1$ 个顶点上的 $(r+1)$-生成树一一对应。
• 此类 $(r+1)$-生成树的数量等于 $r$-扩展 Shi 超平面排列 $S_k^r$ 的区域数，该结论由 Stanley 定理确立。
• 该双射基于树中顶点的广度优先搜索顺序，该顺序决定了对应于匹配对的超边的插入顺序。
• 该构造确保 $r$-停车函数序列中第 $i$ 个最小值至多为 $r(i-1)$，与树构造中基于高度的插入规则一致。