[论文解读] Acyclic orientations and poly-Bernoulli numbers

Peter J‎. Cameron, Celia A. Glass+2 more|arXiv (Cornell University)|Dec 11, 2014

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

一句话总结

本文建立了完全二分图 $K_{n_1,n_2}$ 的无环定向与负指数多伯努利数之间的直接联系，证明了无环定向的数量等于 $B_{n_1}^{(-n_2)}$。此外，本文证明该计数具有单峰性，且在 Turán 图 $T(2,n)$ 处达到最大值，从而证实了关于平衡完全二分图在最大化无环定向数量方面最优性的猜想。

ABSTRACT

The main contribution of this paper is a formula for the number of acyclic orientations of a complete bipartite, $K_{n_1,n_2},$ revealing that it is equal to the poly-Bernoulli number $B_{n_1}^{(-n_2)}$ introduced in 1997 by Kaneko. We also give a simple bijective identification of acyclic orientations and lonesum matrices, confirming a 2008 result of Brewbaker, and show that the poly-Bernoulli numbers behave concavely, as well being symmetric. A second goal is to explore the behaviour of more general complete $r$-partite graphs in the space of the number of acyclic orientations. We prove that the number of acyclic orientations of complete bipartite graphs on $n$ vertices is a unimodular concave function maximised by the Turán graph $T(2,n).$ For tripartite graphs, we derive an explicit formula for its number of its acyclic orientations, for the specific case with a single vertex partition. For more complex complete $r$-partite graphs an algorithmic approach is suggested, taking advantage of the relationship with graph colouring through the result of Stanley, namely the value of the graph colouring polynomial at the value -1. An underlying theme is the exploration of the space of the number of acyclic orientations of graphs. We present various theoretical and computational results, with additional, conjectures for both complete $r$-partite and general graphs to guide future research.

研究动机与目标

• 建立完全二分图 $K_{n_1,n_2}$ 的无环定向数量与多伯努利数 $B_{n_1}^{(-n_2)}$ 之间精确公式的联系。
• 研究完全 $r$-分图中无环定向数量的单峰性与凹性行为，尤其关注 $r=2$ 和 $r=3$ 的情形。
• 验证在固定 $n$ 和 $m$ 的条件下，Turán 图在最大化无环定向数量方面的最优性，支持悬挂窗帘猜想。
• 通过双射构造探讨无环定向与孤立和矩阵之间的关系，确认 Brewbaker 于 2008 年的结果。
• 为平衡完全二分图在 $n$ 个顶点和 $m$ 条边的图空间中具有局部最大无环定向数量的猜想，提供计算与理论证据。

提出的方法

• 通过组合计数推导出 $K_{n_1,n_2}$ 的无环定向数量的闭式表达，并利用色多项式恒等式 $a(G) = (-1)^n P_G(-1)$ 验证结果。
• 建立 $K_{n_1,n_2}$ 的无环定向与孤立和矩阵之间的双射对应，确认其与负指数多伯努利数的联系。
• 应用 Stanley 关于色多项式在 $-1$ 处取值的定理，计算完全 $r$-分图的 $a(G)$，从而实现对 $r > 3$ 的算法计算。
• 利用在线整数数列百科全书（OEIS）发现无环定向计数与多伯努利数之间的关联。
• 对小规模 $n$ 进行计算验证，以检验在完全二分图附近（如 $K_{n,n} \pm e$ 和 $K_{n-1,n+1}$）的 $a(G)$ 行为的猜想。
• 分析序列 $a(K_{k,n-k})$ 在 $1 \leq k \leq n$ 范围内的性质，证明其具有单峰性，并确定 Turán 图 $T(2,n)$ 为最大值点。

实验结果

研究问题

• RQ1 完全二分图 $K_{n_1,n_2}$ 的无环定向数量是否等于多伯努利数 $B_{n_1}^{(-n_2)}$？
• RQ2 序列 $a(K_{k,n-k})$ 是否在 $k = \lfloor n/2 \rfloor$ 处取得最大值，对应于 Turán 图 $T(2,n)$？
• RQ3 在 $n$ 个顶点和 $m$ 条边的所有图中，是否平衡划分的完全二分图能最大化无环定向数量？
• RQ4 完全三部图的无环定向数量如何变化？能否推导出闭式公式？
• RQ5 函数 $A_n(m)$（即 $n$ 个顶点和 $m$ 条边的图中无环定向的最大数量）在 Turán 点处是否具有凹性，如悬挂窗帘猜想所建议？

主要发现

• 完全二分图 $K_{n_1,n_2}$ 的无环定向数量恰好等于多伯努利数 $B_{n_1}^{(-n_2)}$，该结论通过直接公式推导及与孤立和矩阵的双射关系得到证实。
• 对于 $1 \leq k \leq n$，序列 $a(K_{k,n-k})$ 具有单峰性，且在 $k = \lfloor n/2 \rfloor$ 或 $k = \lceil n/2 \rceil$ 处达到最大值，证实了 Turán 图 $T(2,n)$ 在完全二分图中最大化无环定向数量。
• 对于满足 $n_1 + n_2 + n_3 = n$ 的完全三部图 $K_{n_1,n_2,n_3}$，在第 4.2 节中推导出了无环定向数量的闭式公式。
• 数值证据表明，$a(K_{n,n}) - a(K_{n,n}-e)$ 约为 $a(K_{n,n}+e) - a(K_{n,n})$ 的两倍，且随着 $n$ 增大，该比值趋近于 2，支持了关于边扰动效应的猜想。
• 比值 $\frac{a(K_{n,n}) - a(K_{n+1,n-1})}{a(K_{n,n}) - a(K_{n,n}-e)}$ 在 $n = 1000$ 时趋近于约 1.63，表明 $K_{n,n}-e$ 的无环定向数量可能多于 $K_{n+1,n-1}$，尽管该行为尚未完全收敛。
• 对 $n=10, 100, 1000$ 的计算结果表明，$K_{n,n}$ 的无环定向数量多于 $K_{n-1,n+1}+e$，且比值 $\frac{a(K_{n,n}) - a(K_{n-1,n+1})}{a(K_{n-1,n+1}+e) - a(K_{n-1,n+1})}$ 缓慢收敛至约 3.26，提示其可能收敛于某个常数。