11 research outputs found
A Note On The Cross-Sperner Families
Let be a pair of families of , where
. If and hold for all
and , then is
called a Cross-Sperner pair. P. Frankl and Jian Wang introduced the extremal
problem that
-,
where . In this note, we prove that
for all
. This solves an open problem proposed by P. Frankl and Jian Wang.Comment: We solve an open problem proposed by P. Frankl and Jian Wan
Colouring set families without monochromatic k-chains
A coloured version of classic extremal problems dates back to Erd\H{o}s and
Rothschild, who in 1974 asked which -vertex graph has the maximum number of
2-edge-colourings without monochromatic triangles. They conjectured that the
answer is simply given by the largest triangle-free graph. Since then, this new
class of coloured extremal problems has been extensively studied by various
researchers. In this paper we pursue the Erd\H{o}s--Rothschild versions of
Sperner's Theorem, the classic result in extremal set theory on the size of the
largest antichain in the Boolean lattice, and Erd\H{o}s' extension to
-chain-free families.
Given a family of subsets of , we define an
-colouring of to be an -colouring of the sets without
any monochromatic -chains . We
prove that for sufficiently large in terms of , the largest
-chain-free families also maximise the number of -colourings. We also
show that the middle level, , maximises the
number of -colourings, and give asymptotic results on the maximum
possible number of -colourings whenever is divisible by three.Comment: 30 pages, final versio
Improved bounds for cross-Sperner systems
A collection of families (F1,F2,⋯,Fk)∈P([n])k is cross-Sperner if there is no pair i≠j for which some Fi∈Fi is comparable to some Fj∈Fj. Two natural measures of the 'size' of such a family are the sum ∑ki=1|Fi| and the product ∏ki=1|Fi|. We prove new upper and lower bounds on both of these measures for general n and k≥2 which improve considerably on the previous best bounds. In particular, we construct a rich family of counterexamples to a conjecture of Gerbner, Lemons, Palmer, Patkós, and Szécsi from 2011
On some extremal and probabilistic questions for tree posets
Given two posets we say that is -free if does not contain a
copy of . The size of the largest -free family in , denoted by
, has been extensively studied since the 1980s. We consider several
related problems. Indeed, for posets whose Hasse diagrams are trees and
have radius at most , we prove that there are -free
families in , thereby confirming a conjecture of Gerbner, Nagy,
Patk\'os and Vizer [Electronic Journal of Combinatorics, 2021] in these cases.
For such we also resolve the random version of the -free problem, thus
generalising the random version of Sperner's theorem due to Balogh, Mycroft and
Treglown [Journal of Combinatorial Theory Series A, 2014], and Collares Neto
and Morris [Random Structures and Algorithms, 2016]. Additionally, we make a
general conjecture that, roughly speaking, asserts that subfamilies of
of size sufficiently above robustly contain , for any
poset whose Hasse diagram is a tree