×

元素偏序集的线性扩展数。 (英文) Zbl 1485.06001号

设(P)是一个顶点为(n)的偏序集。(P)的线性扩张数,即(P)顶点集的总阶数,与定义它的部分阶数一致,是(P)一个重要的不变量,在某种松散的意义上是对(P)复杂性的度量。因此,了解线性扩展数的可能值是很有意义的。(它明显介于当原始偏序集根本没有比较时获得的\(n!\)和当初始偏序集已经是全序时获得的1之间)。
设(mathbf{LE}(n))表示顶点偏序集的线性扩张的可能数目集。本文的主要结果是存在一个正常数,使得([1,exp(cn/\log(n)]])中的每个整数都是某些顶点偏序集的线性扩张数。聪明的证明依赖于递归地构造一个宽度为2的偏序集序列,其线性扩展的数量与所谓的Stern-Brocot树的属性有关,而该树本身与Farey树紧密相连)。这意味着这个问题可以简化为证明以下可能具有独立意义的数论结果:存在一个常数(c>9),在给定的(n,geq 2)中,存在一些(1,leq d,leq n-1),使得当欧几里德算法在(n,d)上运行时,商之和最多为\)其中,\(\phi\)通常是Euler的目标函数。作者推测因子(frac{n}{phi(n)}\log\log(n。
这个结果表明,从1到(n!)范围内的小值将具有具有相同数量线性扩展的(n。作者证明,对于(n\geq8),我们有(vert\mathbf{LE}(n)\cap[(n-1)!,n!]\vert<(n-3)!)。还提到了关于扩展这些结果的各种未决问题。

MSC公司:

06A07年 偏序集的组合数学
2005年11月 乘法结构;欧几里德算法;最大公约数
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Aiylam,D.,广义Stern-Brocot树,整数,17,A19(2017)·兹比尔1412.11009
[2] Atkinson,M.D.,Chang,H.W.:有界宽度部分阶的扩展。卡尔顿大学计算机科学学院(1985)·兹比尔0632.06001
[3] 贝茨,B。;邦德,M。;Tognetti,K.,《胸骨-胸骨树中的定位术语》,欧洲期刊Comb。,31, 3, 1020-1033 (2010) ·Zbl 1221.05037号 ·doi:10.1016/j.ejc.2007.10.05
[4] 贝茨,B。;邦德,M。;Tognetti,K.,《连接Calkin-Wilf和Stern-Brocot树》,《欧洲联合杂志》,31,7,1637-1661(2010)·Zbl 1209.05045号 ·doi:10.1016/j.ejc.2010.04.002
[5] Benjamin,A.T.,Quinn,J.J.:真正重要的证据:组合证明的艺术。多尔恰尼数学博览会第27名。MAA(2003)·Zbl 1044.11001号
[6] Björner,A。;Wachs,ML,偏序集的置换统计和线性扩展,J.Comb。理论系列A,58,1,85-114(1991)·Zbl 0742.05084号 ·doi:10.1016/0097-3165(91)90075-R
[7] Brightwell,G.,《随机k维序:线性扩展的宽度和数量》,Order,9,4,333-342(1992)·Zbl 0781.06003号 ·doi:10.1007/BF00420352
[8] Brightwell,G。;Winkler,P.,《计算线性扩展》,Order,8,3,225-242(1991)·Zbl 0759.06001号 ·doi:10.1007/BF00383444
[9] 格陵兰州布赖特韦尔;Tetali,P.,布尔格的线性扩张数,Order,20,4,333-345(2003)·Zbl 1061.06001号 ·doi:10.1023/B:ORDE.000034596.50352.f7
[10] 北卡罗来纳州卡尔金。;Wilf,HS,《重新计算理性》,《美国数学》。周一。,107, 4, 360-363 (2000) ·兹比尔0983.11009 ·doi:10.1080/00029890.2000.12005205
[11] Dittmer,S.,Pak,I.:限制偏序集的线性扩张计数。arXiv:1802.06312v1(2018)·Zbl 1484.06011号
[12] Edelman,P。;Hibi,T。;Stanley,RP,线性扩张的递归,Order,6,1,15-18(1989)·Zbl 0692.06001号 ·doi:10.1007/BF00341632
[13] Felsner,S。;Manneville,T.,无N阶的线性扩展,阶,32,2147-155(2015)·Zbl 1328.06003号 ·doi:10.1007/s11083-014-9321-0
[14] Hardy,G.H.,Wright,E.M.:数论导论。牛津大学出版社(1979)·Zbl 0423.10001号
[15] DH Lehmer,《斯特恩双原子级数论》,美国数学。周一。,36, 2, 59-67 (1929) ·doi:10.1080/00029890.1929.11986912
[16] McDiarmid,C。;彭曼,D。;Iliopoulos,V.,部分阶线性扩张和可比对,Order,35,3,403-420(2018)·Zbl 1412.06003号 ·doi:10.1007/s11083-017-9439-y
[17] Stachowiak,G.,可比图与线性扩展数之间的关系,Order,6,3,241-244(1989)·兹标0696.06001 ·doi:10.1007/BF00563525
[18] Stanley,RP,双偏序多胞体,离散计算几何,1,1,9-23(1986)·Zbl 0595.5208号 ·doi:10.1007/BF02187680
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。