On an extremal hypergraph problem related to combinatorial batch codes

From MaRDI portal




Abstract: Let n,r,k be positive integers such that 3leqk<n and 2leqrleqk1. Let m(n,r,k) denote the maximum number of edges an r-uniform hypergraph on n vertices can have under the condition that any collection of i edges, span at least i vertices for all 1leqileqk. We are interested in the asymptotic nature of m(n,r,k) for fixed r and k as nightarrowinfty. This problem is related to the forbidden hypergraph problem introduced by Brown, ErdH{o}s, and S'os and very recently discussed in the context of combinatorial batch codes. In this short paper we obtain the following results. {enumerate}[(i)] Using a result due to ErdH{o}s we are able to show m(n,k,r)=o(nr) for 7leqk, and 3leqrleqk1lceillogkceil. This result is best possible with respect to the upper bound on r as we subsequently show through explicit construction that for 6leqk, and klceillogkceilleqrleqk1,m(n,r,k)=Theta(nr). This explicit construction improves on the non-constructive general lower bound obtained by Brown, ErdH{o}s, and S'os for the considered parameter values. For 2-uniform CBCs we obtain the following results. {enumerate} We provide exact value of m(n,2,5) for ngeq5. Using a result of Lazebnik,et al. regarding maximum size of graphs with large girth, we improve the existing lower bound on m(n,2,k) (Omega(nfrack+1k1)) for all kgeq8 and infinitely many values of n. We show m(n,2,k)=O(n1+frac1lfloorfrack4floor) by using a result due to Bondy and Simonovits, and also show m(n,2,k)=Theta(n3/2) for k=6,7,8 by using a result of K"{o}vari, S'os, and Tur'{a}n.









This page was built for publication: On an extremal hypergraph problem related to combinatorial batch codes

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