6,844 research outputs found

    Ramsey numbers for partially-ordered sets

    Full text link
    We present a refinement of Ramsey numbers by considering graphs with a partial ordering on their vertices. This is a natural extension of the ordered Ramsey numbers. We formalize situations in which we can use arbitrary families of partially-ordered sets to form host graphs for Ramsey problems. We explore connections to well studied Tur\'an-type problems in partially-ordered sets, particularly those in the Boolean lattice. We find a strong difference between Ramsey numbers on the Boolean lattice and ordered Ramsey numbers when the partial ordering on the graphs have large antichains.Comment: 18 pages, 3 figures, 1 tabl

    Diamond-free Families

    Get PDF
    Given a finite poset P, we consider the largest size La(n,P) of a family of subsets of [n]:={1,...,n}[n]:=\{1,...,n\} that contains no subposet P. This problem has been studied intensively in recent years, and it is conjectured that Ο€(P):=lim⁑nβ†’βˆžLa(n,P)/nchoosen/2\pi(P):= \lim_{n\rightarrow\infty} La(n,P)/{n choose n/2} exists for general posets P, and, moreover, it is an integer. For kβ‰₯2k\ge2 let \D_k denote the kk-diamond poset {A<B1,...,Bk<C}\{A< B_1,...,B_k < C\}. We study the average number of times a random full chain meets a PP-free family, called the Lubell function, and use it for P=\D_k to determine \pi(\D_k) for infinitely many values kk. A stubborn open problem is to show that \pi(\D_2)=2; here we make progress by proving \pi(\D_2)\le 2 3/11 (if it exists).Comment: 16 page

    On Quasiminimal Excellent Classes

    Get PDF
    A careful exposition of Zilber's quasiminimal excellent classes and their categoricity is given, leading to two new results: the L_w1,w(Q)-definability assumption may be dropped, and each class is determined by its model of dimension aleph_0.Comment: 16 pages. v3: correction to the statement of corollary 5.

    An improvement of the general bound on the largest family of subsets avoiding a subposet

    Get PDF
    Let La(n,P)La(n,P) be the maximum size of a family of subsets of [n]={1,2,...,n}[n]= \{1,2, ..., n \} not containing PP as a (weak) subposet, and let h(P)h(P) be the length of a longest chain in PP. The best known upper bound for La(n,P)La(n,P) in terms of ∣P∣|P| and h(P)h(P) is due to Chen and Li, who showed that La(n,P)≀1m+1(∣P∣+12(m2+3mβˆ’2)(h(P)βˆ’1)βˆ’1)(n⌊n/2βŒ‹)La(n,P) \le \frac{1}{m+1} \left(|P| + \frac{1}{2}(m^2 +3m-2)(h(P)-1) -1 \right) {\binom {n} {\lfloor n/2 \rfloor}} for any fixed mβ‰₯1m \ge 1. In this paper we show that La(n,P)≀12kβˆ’1(∣P∣+(3kβˆ’5)2kβˆ’2(h(P)βˆ’1)βˆ’1)(n⌊n/2βŒ‹)La(n,P) \le \frac{1}{2^{k-1}} (|P| + (3k-5)2^{k-2}(h(P)-1) - 1 ) {n \choose {\lfloor n/2\rfloor} } for any fixed kβ‰₯2k \ge 2, improving the best known upper bound. By choosing kk appropriately, we obtain that La(n,P)=O(h(P)log⁑2(∣P∣h(P)+2))(n⌊n/2βŒ‹)La(n,P) = O\left( h(P) \log_2\left(\frac{|P|}{h(P)}+2\right) \right) {n \choose \lfloor n/2 \rfloor } as a corollary, which we show is best possible for general PP. We also give a different proof of this corollary by using bounds for generalized diamonds. We also show that the Lubell function of a family of subsets of [n][n] not containing PP as an induced subposet is O(nc)O(n^c) for every c>12c>\frac{1}{2}.Comment: Corrected mistakes, improved the writing. Also added a result about the Lubell function with forbidden induced subposets. The final publication will be available at Springer via http://dx.doi.org/10.1007/s11083-016-9390-
    • …
    corecore