[论文解读] $G$-Parking Functions, Acyclic Orientations and Spanning Trees

Brian Benson, Deeparnab Chakrabarty+1 more|arXiv (Cornell University)|Jan 7, 2008

Advanced Graph Theory Research参考文献 17被引用 6

一句话总结

本文提出了一种新的双射，连接最大 $G$-parking functions 与在指定顶点 $q$ 处具有唯一源点的无环定向，建立了 parking functions 与无断路生成树之间的直接组合联系。主要贡献是一个简化且构造性的双射，可推广至笛卡尔积，并为 $n$-立方体 $Q_n$ 提供显式计数公式，为无环生成树数量的双射证明提供了一个非平凡的进展。

ABSTRACT

Given an undirected graph $G=(V,E)$, and a designated vertex $q\in V$, the notion of a $G$-parking function (with respect to $q$) was independently developed and studied by various authors, and has recently gained renewed attention. This notion generalizes the classical notion of a parking function associated with the complete graph. In this work, we study properties of {\em maximum} $G$-parking functions and provide a new bijection between them and the set of spanning trees of $G$ with no broken circuit. As a case study, we specialize some of our results to the graph corresponding to the discrete $n$-cube $Q_n$. We present the article in an expository self-contained form, since we found the combinatorial aspects of $G$-parking functions somewhat scattered in the literature, typically treated in conjunction with sandpile models and closely related chip-firing games.

研究动机与目标

• 建立最大 $G$-parking functions 与在 $q$ 处具有唯一源点的无环定向之间的直接、初等的组合双射，避免依赖芯片下放术语。
• 为无断路生成树（安全生成树）与具有唯一汇点的无环定向之间提供更简单、更清晰的双射，改进先前的构造方法。
• 将双射推广至所有生成树与所有 $G$-parking functions，同时保持安全树与最大 parking functions 之间的对应关系。
• 研究在离散 $n$-立方体 $Q_n$ 上 $G$-parking functions 的结构，提供显式构造与计数界限。
• 为无环生成树数量的双射证明贡献一环，这是代数组合学中的一个开放问题。

提出的方法

• 在 $G$-parking functions 上引入偏序 $\prec$，并将不被任何其他元素支配的元素定义为极大元。
• 开发扩展的 Dhar 算法，通过贪心的顶点移除过程，为每个最大 $G$-parking function 关联唯一的无环定向。
• 通过出度序列，建立具有唯一源点 $q$ 的无环定向与最大 $G$-parking functions 之间的双射。
• 通过反向删除过程，建立具有唯一汇点的无环定向与安全生成树（无断路的生成树）之间的新、更简单的双射。
• 通过将构造扩展至非极大情形，将双射推广至所有 $G$-parking functions 与所有生成树。
• 将该框架应用于 $n$-立方体 $Q_n$，通过笛卡尔积结构构造最大 parking functions，并推导出被一个最大函数支配的函数数量的界限。

实验结果

研究问题

• RQ1 能否在不依赖芯片下放模型的前提下，构造出最大 $G$-parking functions 与在 $q$ 处具有唯一源点的无环定向之间的直接、初等双射？
• RQ2 是否存在一种比先前已知方法更简单的双射，用于连接无断路生成树（安全生成树）与具有唯一汇点的无环定向？
• RQ3 在图的笛卡尔积上，特别是 $Q_n = Q_{n-1} \square K_2$ 上，最大 $G$-parking functions 的结构与计数是什么？
• RQ4 能否通过 $Q_n$ 上最大 parking functions 的显式构造，为 $Q_n$ 的生成树数量提供双射解释？
• RQ5 被一个固定最大 $G$-parking function 支配的 $G$-parking functions 集合的大小是多少，特别是在 $Q_n$ 上？

主要发现

• 建立了最大 $G$-parking functions 集合与在 $q$ 处具有唯一源点的无环定向集合之间的新双射，提供了直接的组合对应关系。
• 本文提出了无断路生成树与具有唯一汇点的无环定向之间更简单双射，改进了 Gebhard 与 Sagan 的先前构造。
• 对于 $n$-立方体 $Q_n$，被一个固定最大函数支配的 $G$-parking functions 的数量为 $|\mathrm{dom}(f)| = \prod_{k=2}^{n} k^{\binom{n}{k}}$。
• 在 $Q_n$ 上 $G$-parking functions 的总数为 $|\mathcal{P}(Q_n,q)| = \prod_{k=2}^{n} (2k)^{\binom{n}{k}} = 2^{2^n - n - 1} \cdot \prod_{k=2}^{n} k^{\binom{n}{k}}$，与矩阵-树定理所给出的生成树数量一致。
• 展示了通过因子图 $G_1$ 与 $G_2$ 上的最大 parking functions，可以构造 $G_1 \square G_2$ 上的最大 parking functions。
• 这些结果为无环生成树数量的双射证明提供了非平凡的进展，这是组合学中的一个开放问题。