English

Poset Ramsey number $R(P,Q_n)$. II. N-shaped poset

Combinatorics 2023-07-06 v2

Abstract

Given partially ordered sets (posets) (P,P)(P, \leq_P) and (P,P)(P', \leq_{P'}), we say that PP' contains a copy of PP if for some injective function f ⁣:PPf\colon P\rightarrow P' and for any A,BPA, B\in P, APBA\leq _P B if and only if f(A)Pf(B)f(A)\leq_{P'} f(B). For any posets PP and QQ, the poset Ramsey number R(P,Q)R(P,Q) is the least positive integer NN such that no matter how the elements of an NN-dimensional Boolean lattice are colored in blue and red, there is either a copy of PP with all blue elements or a copy of QQ with all red elements. We focus on the poset Ramsey number R(P,Qn)R(P, Q_n) for a fixed poset PP and an nn-dimensional Boolean lattice QnQ_n, as nn grows large. It is known that n+c1(P)R(P,Qn)c2(P)nn+c_1(P) \leq R(P,Q_n) \leq c_2(P) n, for positive constants c1c_1 and c2c_2. However, there is no poset PP known, for which R(P,Qn)>(1+ϵ)nR(P, Q_n)> (1+\epsilon)n, for ϵ>0\epsilon >0. This paper is devoted to a new method for finding upper bounds on R(P,Qn)R(P, Q_n) using a duality between copies of QnQ_n and sets of elements that cover them, referred to as blockers. We prove several properties of blockers and their direct relation to the Ramsey numbers. Using these properties we show that R(N,Qn)=n+Θ(n/logn)R(\mathcal{N},Q_n)=n+\Theta(n/\log n), for a poset N\mathcal{N} with four elements A,B,C,A, B, C, and DD, such that A<CA<C, B<DB<D, B<CB<C, and the remaining pairs of elements are incomparable.

Keywords

Cite

@article{arxiv.2211.02440,
  title  = {Poset Ramsey number $R(P,Q_n)$. II. N-shaped poset},
  author = {Maria Axenovich and Christian Winter},
  journal= {arXiv preprint arXiv:2211.02440},
  year   = {2023}
}

Comments

19 pages, 6 figures. Title of the article changed