Packing of partial designs

We say that two hypergraphsH1 andH2 withv vertices eachcan be packed if there are edge disjoint hypergraphsH1′andH2′on the same setV ofv vertices, whereHi′is isomorphic toHi.It is shown that for every fixed integersk andt, wheret≤k≤2t−2 and for all sufficiently largev there are two (t, k, v) partial designs that cannot be packed. Moreover, there are twoisomorphic partial (t, k, v)-designs that cannot be packed. It is also shown that for every fixedk≥2t−1 and for all sufficiently largev there is a (λ1,t,k,v) partial design and a (λ1,t,k,v) partial design that cannot be packed, where λ1 λ2≤O(vk−2t+1logv). Both results are nearly optimal asymptotically and answer questions of Teirlinck. The proofs are probabilistic.

[1]  Noga Alon,et al.  The Probabilistic Method , 2015, Fundamentals of Ramsey Theory.

[2]  Stephen Suen,et al.  A correlation inequality and a Poisson limit theorem for nonoverlapping balanced subgraphs of a random graph , 1990, Random Struct. Algorithms.

[3]  B. Bollobás,et al.  Extremal Graph Theory , 2013 .

[4]  Joel H. Spencer,et al.  Edge disjoint placement of graphs , 1978, J. Comb. Theory B.

[5]  Béla Bollobás,et al.  Packings of graphs and applications to computational complexity , 1978, J. Comb. Theory, Ser. B.

[6]  Paul A. Catlin,et al.  Subgraphs of graphs, I , 1974, Discret. Math..

[7]  Jean Doyen Constructions of disjoint Steiner triple systems , 1972 .

[8]  Vojtech Rödl,et al.  On a Packing and Covering Problem , 1985, Eur. J. Comb..

[9]  Luc Teirlinck,et al.  On Making Two Steiner Triple Systems Disjoint , 1977, J. Comb. Theory, Ser. A.