[论文解读] Exponential functions of finite posets and the number of extensions with a fixed set of minimal points

Frank a Campo, Marcel Erné|arXiv (Cornell University)|Feb 5, 2018

Advanced Combinatorial Mathematics参考文献 20被引用 5

一句话总结

本文引入了有限偏序集的指数函数，定义为具有固定极小元素集合以及在非极小点上诱导出特定偏序的标记偏序集扩展的数量。通过子偏序集的下集计数，作者推导出这些函数的显式与递归公式，表明其为指数和；关键结果包括闭式表达、可除性性质及渐近行为，完整列出了所有至多五个元素的非同构偏序集的此类函数。

ABSTRACT

We establish formulas for the number of all downsets (or equivalently, of all antichains) of a finite poset P. Then, using these numbers, we determine recursively and explicitly the number of all posets having a fixed set of minimal points and inducing the poset P on the non- minimal points. It turns out that these counting functions are closely related to a collection of downset numbers of certain subposets. Since any function of that kind is an exponential sum (with the number of minimal points as exponent), we call it the exponential function of the poset. Some linear equations, divisibility relations, upper and lower bounds, and asymptotical equalities for the counting functions are deduced. A list of all such exponential functions for posets with up to five points concludes the paper.

研究动机与目标

• 开发一种系统化方法，用于计算具有固定极小元素集合以及在其余点上诱导出指定偏序的标记偏序集扩展数量。
• 定义并分析偏序集的指数函数，该函数计数此类扩展，并证明其为极小元素数量的指数和。
• 利用子偏序集的下集数，推导出这些计数函数的递归与显式公式。
• 推导指数函数的结构性质，如可除性、界值及渐近行为。
• 整理所有至多五个元素的非同构偏序集的指数函数完整列表。

提出的方法

• 将指数函数 $ e(m,P) $ 定义为在 $ m + |K| $ 个点上具有 $ m $ 个极小元素且在非极小点集 $ K $ 上诱导出偏序 $ P $ 的标记偏序集的数量。
• 利用偏序集的水平与垂直分解，将 $ e(m,P) $ 递归地与子偏序集 $ U $ 的下集数 $ d(U) $ 关联。
• 通过保序函数与关系，将 $ e(m,P) $ 表示为包含下集数的指数和。
• 利用关联矩阵 $ A $、$ B $、$ C $ 和 $ D $ 建立矩阵表示，其中 $ D $ 包含 $ d(P_n)^m $，且 $ E^T $ 给出 $ e(m,P_n) $。
• 应用线性代数技术，通过矩阵求逆求解 $ e(m,P) $，特别是利用 $ C $-矩阵表达指数和中的系数。
• 利用下集与上集之间的对偶性以及 $ \mathcal{D} $ 和 $ \mathcal{U} $ 的函子性质，简化组合解释。

实验结果

研究问题

• RQ1 如何高效计算具有固定极小元素集合以及在非极小点上诱导出给定偏序的标记偏序集扩展数量？
• RQ2 计数函数 $ e(m,P) $ 的函数形式是什么？它如何与子偏序集的下集数相关？
• RQ3 指数函数 $ e(m,P) $ 的结构性质（如可除性、界值及渐近行为）是什么？
• RQ4 能否为所有至多五个元素的非同构偏序集实现指数函数的完整分类？
• RQ5 包含下集数与偏序集上集的矩阵表示如何实现 $ e(m,P) $ 的递归计算？

主要发现

• 指数函数 $ e(m,P) $ 是 $ m $ 的指数和，其系数由子偏序集的下集数导出，且可通过递归公式显式计算。
• 对于至多五个元素的偏序集，本文提供了 $ e(m,P) $ 的完整列表，包括闭式表达如 $ e_1(m) = 2^m - 1 $、$ e_2(m) = 3^m - 2^m $ 以及 $ e_3(m) = 4^m - 2\cdot 2^m + 1 $。
• 由于其指数和结构，函数 $ e(m,P) $ 满足可除性性质，且基于高度与极小元素数量推导出 $ d(P) $ 的上界。
• 渐近行为由首项 $ d(P)^m $ 主导，为大 $ m $ 提供了强有力的数值估计。
• 矩阵表示 $ A $、$ B $、$ C $ 和 $ D $ 允许高效计算 $ e(m,P) $，其中 $ D $ 包含 $ d(P_n)^m $，且 $ E^T $ 给出完整的指数函数。
• 本文证实 $ e(m,P) $ 可表示为 $ k^m $ 项的整系数线性组合，并为所有至多五个点的非同构偏序集提供系统化计算方法。