Kruskal-Katona type Problem

arXiv1805.00340MaRDI QIDQ6301026FDOQ6301026

Authors: Matthew Fitch 

Publication date: 1 May 2018

Abstract: The Kruskal Katona theorem was proved in the 1960s. In the theorem, we are given an integer $r$ and families of sets $mathcalAsubsetmathbb{N}^{(r)}$ and $mathcalBsubsetmathbb{N}^{(r-1)}$ such that for every $AinmathcalA$, every subset of $A$ of size $r-1$ is in $mathcalB$. We are interested in finding the mimimum size of $b=|mathcalB|$ given fixed values of $r$ and $a=|mathcalA|$. The Kruskal Katona theorem states that this mimimum occurs when both $mathcalA$ and $mathcalB$ are initial segments of the colexicographic ordering. The Kruskal Katona theorem is very useful and has had many applications and generalisations. In this paper, we are interested in one particular generalisation, where instead of every subset of $A$ of size $r-1$ being in $mathcalB$, we will instead ask that only $k$ of them are, where $k$ is some integer smaller than $r$. Note that setting $k=r$ is exactly the Kruskal Katona theorem. We will first find exact results for the cases where $0leqkleq3$. For $kgeq4$ we will not solve the question completely, however, we will find the exact result for infinitely many $a$. We will also provide a formula that is within some additive constant of the correct result for all $a$.

This page was built for publication: Kruskal-Katona type Problem

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