English

Two results about the hypercube

Combinatorics 2017-10-25 v1

Abstract

First we consider families in the hypercube QnQ_n with bounded VC dimension. Frankl raised the problem of estimating the number m(n,k)m(n,k) of maximal families of VC dimension kk. Alon, Moran and Yehudayoff showed that n(1+o(1))1k+1(nk)m(n,k)n(1+o(1))(nk).n^{(1+o(1))\frac{1}{k+1}\binom{n}{k}}\leq m(n,k)\leq n^{(1+o(1))\binom{n}{k}}. We close the gap by showing that log(m(n,k))=(1+o(1))(nk)logn\log \left(m(n,k)\right)= {(1+o(1))\binom{n}{k}}\log n and show how a tight asymptotic for the logarithm of the number of induced matchings between two adjacent small layers of QnQ_n follows as a corollary. Next, we consider the integrity I(Qn)I(Q_n) of the hypercube, defined as I(Qn)=min{S+m(QnS):SV(Qn)},I(Q_n) = \min\{ |S| +m(Q_n \setminus S) : S \subseteq V (Q_n) \}, where m(H)m(H) denotes the number of vertices in the largest connected component of HH. Beineke, Goddard, Hamburger, Kleitman, Lipman and Pippert showed that c2nnI(Qn)C2nnlognc\frac{2^n}{\sqrt{n}} \leq I(Q_n)\leq C\frac{2^n}{\sqrt{n}}\log n and suspected that their upper bound is the right value. We prove that the truth lies below the upper bound by showing that I(Qn)C2nnlognI(Q_n)\leq C \frac{2^n}{\sqrt{n}}\sqrt{\log n}.

Keywords

Cite

@article{arxiv.1710.08509,
  title  = {Two results about the hypercube},
  author = {Jozsef Balogh and Tamas Meszaros and Adam Zsolt Wagner},
  journal= {arXiv preprint arXiv:1710.08509},
  year   = {2017}
}

Comments

7 pages

R2 v1 2026-06-22T22:23:22.673Z