A continuous analogue of Erdős' k-Sperner theorem

DOI10.1016/J.JMAA.2019.123754zbMATH Open1436.28004arXiv1904.09625OpenAlexW2993888737MaRDI QIDQ2287347FDOQ2287347

Authors: Themis Mitsis, Christos Pelekis, Václav Vlasák 

Publication date: 20 January 2020

Published in: Journal of Mathematical Analysis and Applications (Search for Journal in Brave)

Abstract: A emph{chain} in the unit $n$-cube is a set $Csubset[0,1{]}^n$ such that for every $mathbfx=(x_1,ldots,x_n)$ and $mathbfy=(y_1,ldots,y_n)$ in $C$ we either have $x_{i}le{y}_i$ for all $iin[n]$, or $x_{i}ge{y}_i$ for all $iin[n]$. We show that the $1$-dimensional Hausdorff measure of a chain in the unit $n$-cube is at most $n$, and that the bound is sharp. Given this result, we consider the problem of maximising the $n$-dimensional Lebesgue measure of a measurable set $Asubset[0,1{]}^n$ subject to the constraint that it satisfies $mathcal{H}^1(AcapC)lekappa$ for all chains $Csubset[0,1{]}^n$, where $kappa$ is a fixed real number from the interval $(0,n]$. We show that the measure of $A$ is not larger than the measure of the following optimal set: [ A^{ast}_{kappa} = left{ (x_1,ldots,x_n)in [0,1]^n : frac{n-kappa}{2}le sum_{i=1}^{n}x_i le frac{n+ kappa}{2} ight} , . ] Our result may be seen as a continuous counterpart to a theorem of ErdH{o}s, regarding $k$-Sperner families of finite sets.

Full work available at URL: https://arxiv.org/abs/1904.09625

Recommendations

• scientific article; zbMATH DE number 937456
• scientific article; zbMATH DE number 3993588
• On a continuous analog of Sperner's problem
• scientific article; zbMATH DE number 3900758
• Sperner's theorem and a problem of Erdős, Katona and Kleitman
• A generalization of the Erdős-Ko-Rado theorem
• A generalization of the Erdős-Ko-Rado theorem
• An extension of the Erdős-Tetali theorem
• A quantitative Erdös–Fuchs theorem and its generalization
• Analogs of the Erdős-Wintner theorem in certain Banach spaces

zbMATH Keywords

Hausdorff measureLebesgue measurechains\(k\)-Sperner families

Mathematics Subject Classification ID

Hausdorff and packing measures (28A78) Extremal set theory (05D05)

Cites Work

• Measure theory and fine properties of functions
• Title not available (Why is that?)
• Title not available (Why is that?)
• On a lemma of Littlewood and Offord
• Title not available (Why is that?)
• The Erdős-Ko-Rado theorem for vector spaces
• Continuous versions of some extremal hypergraph problems. II
• Title not available (Why is that?)
• Title not available (Why is that?)
• Measure Graphs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Hausdorff dimension of unions of affine subspaces and of Furstenberg-type sets
• The de Bruijn-Erdős theorem from a Hausdorff measure point of view

Cited In (4)

• An \(A_\alpha\)-spectral Erdős-Pósa theorem
• Title not available (Why is that?)
• The de Bruijn-Erdős theorem from a Hausdorff measure point of view
• Title not available (Why is that?)

This page was built for publication: A continuous analogue of Erdős' \(k\)-Sperner theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2287347)