1. 引言
多项式的零点和方程的根是同一个数学对象的两种不同表达方式,代数学中对方程的根的研究具有非常悠久的历史,早在1799年,Gauss就在其博士论文中给出了代数基本定理的第一个实质性证明。而多项式的实根性能推出序列的对数凹性以及单峰性,因此多项式的实根性研究是单峰型问题中的一个重要的组成部分。单峰型问题是组合学中基本的研究课题之一,长期以来吸引了许多数学研究者对其进行了大量的研究。1989年Stanley在文献 [1] 中研究了序列是对数凹或单峰的各种方法并给出了具体的例子;1994年Brenti在文献 [2] 中研究了代数、组合数学和几何中的对数凹和单峰序列;2012年Huh (2022年菲尔兹奖获得者)在文献 [3] 中证明了图的色多项式系数的对数凹性并发表在四大期刊之一上。2015年Branden在文献 [4] 中综述了组合数学中单峰性、对数凹性和实根性的最新发展。至今仍有许多数学研究者致力于研究组合数学中多项式的实根性问题。
偏序集是组合数学中最基本的概念之一,也是组合数学连接其他学科的纽带。自从Rota提出偏序集的概念后,组合数学有了自己的理论框架,因此许多组合学家都在偏序集上做过大量的研究,由此也衍生出了很多偏序集上十分重要的多项式,比如能以统一的方式处理许多组合数学中的计数问题以及恒等式问题的莫比乌斯函数、在某些特定情况下能对应到图的色多项式的特征多项式、能反映出偏序集本身性质的秩多项式等等,除此之外还有链多项式、f-多项式以及h-多项式等等。近年来也有许多数学研究者对偏序集上的多项式实根性或单峰性问题进行过研究,比如Mcconville等人在文献 [5] 中研究了相关的猜想;Oguz和Ravichandran在文献 [6] 中证明了栅栏偏序集的秩多项式是单峰的;Haglund和Zhang在文献 [7] 中研究了与欧拉多项式相关的实根性问题;此外Zhang还在文献 [8] 中研究了单纯形边细分局部h-多项式的实根性等等,总之偏序集上的多项式的实根性研究是多项式的零点问题中非常重要且热门的一个部分。
链多项式作为偏序集上的一类重要的多项式,它的实根性引起了许多数学家的兴趣。比如Stanley成功证明了“3 + 1 − free”偏序集的链多项式是实根的 [9];Neggers猜想所有有限分配格的链多项式都是实根的 [10],最后由Stembridge [11] 予以反驳,Branden [12] 发现了更一般猜想的反例;最近又有人提出猜想所有有限几何格的链多项式是实根的并在子空间格和分拆格上得到了验证。本文主要研究偏序集上的链多项式以及偏序集的序复形的f-多项式和h-多项式的实根性。在前人研究的基础上,从n元链、直和、序理想等基本概念出发,构造了一个新的偏序集,并且证明了这个新偏序集的链多项式以及它的序复形所对应的h-多项式是实根的。
2. 预备知识
偏序集P是一个集合,连同一个记为≤的二元关系,满足下面三条公理:
1) 自反性:对所有的
,
。
2) 反对称性:如果
且
,则
。
3) 传递性:如果
且
,则
。
我们使用下面一些含义明显的记号:
表示
,
表示
且
,而
表示
。如果偏序集P,Q之间存在一个保持序关系的双射
使得它的逆也保持序关系,则称这两个偏序集P和Q同构,即在P中
当且仅当在Q中
。P的子偏序集是指P的子集Q连同Q上的偏序关系:对
,有在Q中
当且仅当在P中
。P的一类特殊子偏序集是对任意
定义的闭区间
。
设
,若
且不存在
使得
,则称y覆盖x,记为
。若存在某个元素
使得对所有的
都有
,则称P具有
。类似地,若存在某个元素
使得对所有的
都有
,则称P具有
。
链是任意两个元素都能比较大小的偏序集。由n个元素构成的链称为一条n元链,记为n。有限链C的长度l(C)定义为
。若偏序集P的所有极大链都具有相同长度n,则称P是秩为n的分次偏序集。此时,存在唯一的秩函数
满足:若x是P的极小元,则
;若在P中y覆盖x,则
。
P的序理想是指满足下面条件的P的子集I:若
且
,则
。P的所有序理想按照包含关系排序,构成一个偏序集,记为J(P)。
如果P和Q为在不相交集合上的偏序集,则P和Q的直和为
上的偏序集
,使得在
中
,即满足(a)
且在P中
,或者(b)
且在Q中
。P和自身的m次直和记为mP,特别地,m条n元链n的直和记为mn。
在一个顶点集V上的单纯复形为V的子集族Δ满足(a) 如果
,则
;(b) 如果
且
,则
。元素
称为Δ的面,S的维数
定义为
。特别地,
总是Δ的面(只要
),维数为−1。我们还定义Δ的维数为
。如果Δ是有限的,则令
表示Δ的i维面的个数。
有限偏序集L的链多项式定义为
,
其中
表示L中k元链的条数。给定
维单纯复形Δ,它的f-多项式以及h-多项式定义为
,
,
其中
表示Δ的
维面的数目。容易看出
只有实根当且仅当
只有实根。我们主要对偏序集的序复形感兴趣。由有限偏序集L中所有的链组成的单纯复形
称为L的序复形( [13] 3.8节)。因此按照定义我们有
。本文中记
,则有
, (1)
其中n是L中链的最大基数。
假设秩为n的有限分次偏序集L有最小元
和最大元
,并且秩函数为
。若
,记L的子偏序集
的极大链个数为
,设
,
则由( [13] 3.13)节知,
.
我们用C(L)和M(L)分别表示由L中的所有覆盖关系和所有极大链组成的集合。称映射
是L上的一个边标记。对于L中任意一条极大链
,定义边标记序列
.
设
,并且称C是关于
严格递增的如果
。通过限制
,所有这些定义都适用于L中的闭区间。我们称
是L上的一个严格R-标记,如果L中的每个闭区间都存在唯一一个关于
严格递增的极大链。当
是一个严格R-标记时,对任意
,我们有
.
一个实系数多项式
称为实根的,如果
的根都是实根或者
。对于两个实根多项式
和
,如果它们的根分别为
和
,并且满足
,则称
交错
。我们规定零多项式交错每个实根多项式,也被每个实根多项式交错。
实根多项式序列
称为交错的,如果对任意
,
交错
。下面的引理将在本文中应用。
引理2.1. ( [14],定理2.3)设
是一个交错序列且首项系数均为正,则有
a) 对任意实数
,多项式
都是实根的,并且
交错
,
交错
。
b) 对
,令
,
则序列
交错。
3. 主要结果
设
,n表示一条n元链,定义偏序集
,
即
是mn的基数不超过n的所有序理想按照包含关系再添加最大元
得到的偏序集,不失一般性,设mn为集合
上的偏序集,它的m条n元链分别记为
,其中
,
。则有下面的定理。
定理3.1. 对任意
,
是实根的且
交错
。
证明:
中任一覆盖关系
称为一条边,记为
。设
,若
,则存在唯一元素
,使得
,定义边标记
,
则
是一个严格R-标记。因为对于
中的闭区间
,若
,不妨设
,则
存在唯一关于
严格递增的极大链
;若
,设
且
,则
且
,由
的定义知,
中任一条极大链C的最后一条边的边标记为
,因此容易验证,将
中的最小的
个元素依次添加进
得到的极大链:
为
中唯一一条关于
严格递增的极大链。因此
是
上的一个严格R-标记。易知
是秩为
的分次偏序集,则有
.
又
是
上的严格R-标记,因此对任意
,
.
对任意
,若
,则存在唯一元素
,使得
,定义映射
,
对于
中任意一条极大链
,定义映射
,
容易看出
是从
到
的双射。对任意
,定义
。
下证对任意
,
。只需验证对于任意的
,
当且仅当
:
当
时,设
,
,其中
,
,则有
当且仅当
当且仅当
当且仅当
;
当
时,设
,此时
,
,则有
当且仅当
且
当且仅当
。
因此对任意的
,
。
再证对任意的
,
.
只需说明
是这两个集合之间的双射:
对任意的
,我们有
且
。
因此
。
对于任意的
,由
是从
到
的双射,因此存在唯一的
使得
,又因为
,故
。
综上可得
是从
到
的双射,因此它们的基数相同。
接下来我们定义集合
,
则存在
的双射:
.
我们用
表示集合
,其中
。由于
当且仅当
,因此对于任意的
,有
,
且
,
则
,
其中
。
设
,
则有
,
.
最后,我们用数学归纳法证明
是首项系数均为正的交错序列:
当
时,
是首项系数均为正的交错序列。
假设
时命题成立,即
是首项系数均为正的交错序列,则由引理2.1。(b) 可知
是首项系数均为正的交错序列。又由引理2.1。(a) 可知
是实根的且
交错
。□
推论3.2.
的链多项式
是实根的。
证明:由等式(1)可知
和
的实根性相同,因此由定理3.1。得
是实根的。□
推论3.3. 对任意的
,
,偏序集
的链多项式
是实根的。
证明:当
时,
是实根的;当
时,偏序集
同构于J(mn) ( [13], 3.4节),因此
与
同构,它们的链多项式实根性相同。□
4. 总结与展望
本文将研究偏序集上链多项式的实根性问题的一种比较新颖的方法应用到了J(mn)中的自定义偏序集
上,并且证明了它的链多项式的实根性,从而使得分布格J(mn)的链多项式的实根性问题得到了部分解决,在今后的研究中将以此为基础,改进方法进行进一步探索,最终期望彻底解决分布格J(mn)上链多项式的实根性问题。