中文

禁止保持秩的偏序集副本

组合数学 2017-10-26 v1

摘要

不含 PP 作为子偏序集副本的 [n]={1,2,...,n}[n]=\{1,2,...,n\} 子集族的最大规模 La(n,P)La(n,P) 已被深入研究。设 PP 为分级偏序集。如果 [n]={1,2,...,n}[n]=\{1,2,...,n\} 的子集族 F\mathcal{F} 包含 PP 的一个副本,使得 PP 中具有相同秩的元素被映射到 F\mathcal{F} 中大小相同的集合,则称该族包含 PP 的一个\emph{保持秩}的副本。不含 PP 作为子偏序集的保持秩副本的 [n]={1,2,...,n}[n]=\{1,2,...,n\} 子集族的最大规模记为 Larp(n,P)La_{rp}(n,P)。显然,La(n,P)Larp(n,P)La(n,P) \le La_{rp}(n,P) 成立。在本文中,我们证明了高度为 2 的树偏序集和高度为 3 的单调树偏序集的 Larp(n,P)La_{rp}(n,P) 的渐近最优上界,加强了 Bukh 在这些情况下的结果。我们还获得了 Larp(n,{Yh,s,Yh,s})La_{rp}(n,\{Y_{h,s},Y_{h,s}'\})La(n,{Yh,s,Yh,s})La(n,\{Y_{h,s},Y_{h,s}'\}) 的精确值,其中 Yh,sY_{h,s} 表示具有 h+sh+s 个元素 x1,,xh,y1,,ysx_1,\dots,x_h,y_1,\dots,y_s 且满足 x1<<xh<y1,,ysx_1<\dots<x_h<y_1,\dots,y_s 的偏序集,而 Yh,sY'_{h,s} 表示 Yh,sY_{h,s} 的对偶偏序集。

关键词

引用

@article{arxiv.1710.09086,
  title  = {Forbidding rank-preserving copies of a poset},
  author = {Dániel Gerbner and Abhishek Methuku and Dániel T. Nagy and Balázs Patkós and Máté Vizer},
  journal= {arXiv preprint arXiv:1710.09086},
  year   = {2017}
}

备注

11 pages