Super-simple, Pan-orientable, and Pan-decomposable BIBDs with Block Size 4 and Related Structures

Let v, k, and μ be positive integers. A tournament T of order k, briefly k-tournament, is a directed graph on k vertices in which there is exactly one directed edge between any two vertices. A (v, k, λ = 2μ)-BIBD is called T-orientable if for each of its blocks B, it is possible to replace B by a copy of T on the set B so that every ordered pair of distinct points appears in exactly μ k-tournaments. A (v, k, λ = 2μ)-BIBD is called pan-orientable if it is T-orientable for every possible k-tournament T. In this paper, we continue the earlier investigations and complete the spectrum for (v, 4, λ = 2μ)-BIBDs which possess both the pan-orientable property and the pan-decomposable property first introduced by Granville et al. (Graphs Comb 5:57–61, 1989). For all μ, we are able to show that the necessary existence conditions are sufficient. When λ = 2 and v > 4, our designs are super-simple, that is they have no two blocks with more than two common points. One new corollary to this result is that there exists a (v, 4, 2)-BIBD which is both super-simple and directable for all v ≡ 1, 4 (mod 6), v > 4. Finally, we investigate the existence of pan-orientable, pan-decomposable (v, 4, λ = 2μ)-BIBDs with a pan-orientable, pan-decomposable (w, 4, λ = 2μ)-BIBD as a subdesign; here we obtain complete results for λ = 2, 4, but there remain several open cases for λ = 6 (mostly for v < 4w), and the case λ = 12 still has to be investigated.

[1]  Douglas R. Stinson The spectrum of nested Steiner triple systems , 1985, Graphs Comb..

[2]  Richard M. Wilson,et al.  Constructions and Uses of Pairwise Balanced Designs , 1975 .

[3]  Hao Shen,et al.  Doyen–Wilson theorem for nested Steiner triple systems , 2004 .

[4]  R. Julian R. Abel,et al.  Existence of directed BIBDs with block size 7 and related perfect 5-deletion-correcting codes of length 7 , 2010, Des. Codes Cryptogr..

[5]  Hao Shen,et al.  Existence of $$(v, K_{1(3)}\cup\{{w}^*\})$$ -PBDs and its applications , 2008, Des. Codes Cryptogr..

[6]  Nabil Shalaby,et al.  Existence of directed GDDs with block size five , 1998 .

[7]  Jinhua Wang,et al.  A note on pandecomposable (v, 4, 2)-BIBDs with subsystems , 2006, Australas. J Comb..

[8]  D G Sarvate All directed GDDs with block size three, λ 1 =0,exist , 1984 .

[9]  Abdollah Khodkar,et al.  Various super-simple designs with block size four , 1994, Australas. J Comb..

[10]  Iliya Bluskov,et al.  New upper bounds on the minimum size of covering designs , 1998 .

[11]  Andrew Granville,et al.  On complementary decompositions of the complete graph , 1989, Graphs Comb..

[12]  Sven Hartmann,et al.  On Orthogonal Double Covers of Graphs , 2002, Des. Codes Cryptogr..

[13]  Alexander Schrijver,et al.  Group divisible designs with block-size four , 2006, Discret. Math..

[14]  Sven Hartmann,et al.  Pan-orientable block designs , 2008, Australas. J Comb..

[15]  Haim Hanani,et al.  Balanced incomplete block designs and related designs , 1975, Discret. Math..

[16]  J. Yin,et al.  Constructions for Perfect 5-Deletion-Correcting Codes of Length$7$ , 2006, IEEE Transactions on Information Theory.

[17]  Vladimir S. Lebedev,et al.  On optimal superimposed codes , 2004 .

[18]  R. Julian R. Abel,et al.  New results on GDDs, covering, packing and directable designs with block size 5 , 2010 .

[19]  Douglas R. Stinson,et al.  On combinatorial designs with subdesigns , 1989, Discret. Math..

[20]  Zhenfu Cao,et al.  Super-simple balanced incomplete block designs with block size 4 and index 6 , 2005 .

[21]  R. Julian R. Abel,et al.  Super-simple, pan-orientable and pan-decomposable GDDs with block size 4 , 2010, Discret. Math..

[22]  Rolf S. Rees,et al.  Two new direct product-type constructions for resolvable group-divisible designs , 1993 .

[23]  Hanfried Lenz,et al.  Design theory , 1985 .

[24]  Chen Kejun On the existence of super-simple (v,4,4)-BIBDs , 1996 .

[25]  Andries E. Brouwer,et al.  Optimal Packings of K4's into a Kn , 1979, J. Comb. Theory A.

[26]  K. Heinrich,et al.  Super-simple designs with v⩽32 , 2001 .

[27]  Ruizhong Wei,et al.  Super-simple (v, 5, 4) designs , 2007, Discret. Appl. Math..

[28]  R. Julian R. Abel,et al.  Super-simple Steiner pentagon systems , 2008, Discret. Appl. Math..

[29]  Ruizhong Wei,et al.  Super-simple (ν, 5, 5) Designs , 2006, Des. Codes Cryptogr..

[30]  Jianxing Yin,et al.  Existence of directed GDDs with block size five and index λ⩾2 , 2000 .

[31]  C. Colbourn,et al.  The CRC handbook of combinatorial designs , edited by Charles J. Colbourn and Jeffrey H. Dinitz. Pp. 784. $89.95. 1996. ISBN 0-8493-8948-8 (CRC). , 1997, The Mathematical Gazette.

[32]  Peter Adams,et al.  On the existence of super-simple designs with block size 4 , 1995 .

[33]  C. Colbourn,et al.  Mutually orthogonal latin squares (MOLS) , 2006 .

[34]  Douglas R Stinson,et al.  New constructions for perfect hash families and related structures using combinatorial designs and codes , 2000 .

[35]  Donald L. Kreher,et al.  Super-simple (v, 5, 2)-designs , 2004, Discret. Appl. Math..

[36]  Ruizhong Wei,et al.  Super-simple balanced incomplete block designs with block size 4 and index 5 , 2009, Discret. Math..

[37]  Jennifer Seberry,et al.  All DBIBDs with block size four exist , 1980 .

[38]  Rudolf Mathon,et al.  Combinatorial and algorithmic aspects of directed designs , 1996 .

[39]  Frank E. Bennett,et al.  Incomplete idempotent Schröder quasigroups and related packing designs , 1994 .