Abstract
We discuss group divisible designs with block size four and type \(g^u b^1 (gu/2)^1\), where \(u = 5\), 6 and 7. For integers a and b, we prove the following. (i) A 4-GDD of type \((4a)^5 b^1 (10a)^1\) exists if and only if \(a \ge 1\), \(b \equiv a\) (mod 3) and \(4a \le b \le 10a\). (ii) A 4-GDD of type \((6a+3)^6 b^1 (18a+9)^1\) exists if and only if \(a \ge 0\), \(b \equiv 3\) (mod 6) and \(6a+3 \le b \le 18a + 9\). (iii) A 4-GDD of type \((6a)^6 b^1 (18a)^1\) exists if and only if \(a \ge 1\), \(b \equiv 0\) (mod 3) and \(6a \le b \le 18a\). (iv) A 4-GDD of type \((12a)^7 b^1 (42a)^1\) exists if and only if \(a \ge 1\), \(b \equiv 0\) (mod 3) and \(12a \le b \le 42a\), except possibly for \(12a \in \{120, 180, 240, 360, 420, 720, 840\}\), \(24a< b < 42a\), for \(12a \in \{144, 1008\}\), \(30a< b < 42a\), and for \(12a \in \{168, 252, 336, 504, 1512\}\), \(36a< b < 42a\).
Similar content being viewed by others
References
Abel, R.J.R.: Existence of five MOLS of orders 18 and 60. J. Comb. Des. 23, 135–139 (2015)
Abel, R.J.R., Colbourn, C.J., Dinitz, J.H.: Mutually orthogonal Latin squares (MOLS). In: Colbourn, C.J., Dinitz, J.H. (eds.) Handbook of Combinatorial Designs, 2nd edn, pp. 160–193. Chapman & Hall/CRC Press, London (2007)
Abel, R.J.R., Colbourn, C.J., Dinitz, J.H.: Incomplete MOLS. In: Colbourn, C.J., Dinitz, J.H. (eds.) Handbook of Combinatorial Designs, 2nd edn, pp. 193–211. Chapman & Hall/CRC Press, London (2007)
Brouwer, A.E., Schrijver, A., Hanani, H.: Group divisible designs with block size four. Discret. Math. 20, 1–10 (1977)
Colbourn, C.J., Rosa, A.: Triple Systems. Clarendon, Oxford (1999)
Colbourn, C.J., Hoffman, D.G., Rees, R.S.: A new class of group divisible designs with block size three. J. Comb. Theory Ser. A 59, 73–89 (1992)
Deng, D., Rees, R., Shen, H.: On the existence of nearly Kirkman triple systems with subsystems. Des. Codes Cryptogr. 48, 17–33 (2008)
Forbes, A.D.: Group divisible designs with block size four and type \(g^u m^1\)—II. J. Comb. Des. 27, 311–349 (2019)
Forbes, A.D.: Group divisible designs with block size four and type \(g^u m^1\)—III. J. Comb. Des. 27, 623–700 (2019). Preprint. arXiv:1903.07064
Forbes, A.D., Forbes, K.A.: Group divisible designs with block size 4 and type \(g^u m^1\). J. Comb. Des. 26, 519–539 (2018)
Ge, G.: Group divisible designs. In: Colbourn, C.J., Dinitz, J.H. (eds.) Handbook of Combinatorial Designs, 2nd edn, pp. 255–260. Chapman & Hall/CRC Press, London (2007)
Ge, G., Ling, A.C.H.: Group divisible designs with block size four and group type \(g^u m^1\) for small \(g\). Discret. Math. 285, 97–120 (2004)
Ge, G., Ling, A.C.H.: Group divisible designs with block size four and group type \(g^u m^1\) with minimum \(m\). Des. Codes Cryptogr. 34, 117–126 (2005)
Ge, G., Rees, R.S.: On group-divisible designs with block size four and group-type \(g^u m^1\). Des. Codes Cryptogr. 27, 5–24 (2002)
Ge, G., Rees, R.S.: On group-divisible designs with block size four and group type \(6^u m^1\). Discret. Math. 279, 247–265 (2004)
Ge, G., Rees, R.S., Zhu, L.: Group-divisible designs with block size four and group-type \(g^u m^1\) with \(m\) as large or as small as possible. J. Comb. Theory Ser. A 98, 357–376 (2002)
Greig, M., Mullin, R.C.: PBDs: recursive constructions. In: Colbourn, C.J., Dinitz, J.H. (eds.) Handbook of Combinatorial Designs, 2nd edn, pp. 236–246. Chapman & Hall/CRC Press, London (2007)
Grüttmüller, M., Rees, R.S.: Mandatory representation designs MRD\((4, k; v)\) with \(k \equiv 1\) mod 3. Util. Math. 60, 153–180 (2001)
Hanani, H.: Balanced incomplete block designs and related designs. Discret. Math. 11, 255–369 (1975)
Janiszczak, I., Staszewski, R.: Isometry invariant permutation codes and mutually orthogonal Latin squares. J. Comb. Des. 27, 541–551 (2019)
Kreher, D.L., Stinson, D.R.: Small group-divisible designs with block size four. J. Stat. Plan. Inference 1, 111–118 (1997)
Rees, R.S., Stinson, D.R.: On the existence of incomplete designs of block size four having one hole. Util. Math. 35, 119–152 (1989)
Schuster, E.: Group divisible designs with block size four and group type \(g^u m^1\) where \(g\) is a multiple of 8. Discret. Math. 310, 2258–2270 (2010)
Schuster, E.: New classes of group divisible designs with block size 4 and group type \(g^u m^1\). J. Comb. Math. Comb. Comput. 91, 65–105 (2014)
Stinson, D.R.: Hill-climbing algorithms for the construction of combinatorial designs. Ann. Discret. Math. 26, 321–334 (1985)
Wang, L., Abel, R.J.R., Deng, D., Wang, J.: Existence of incomplete canonical Kirkman packing designs. Discret. Math. 341, 536–554 (2018)
Wang, J., Shen, H.: Existence of \((v, K_{1(3)} \cup \{w^*\})\)-PBDs and its applications. Des. Codes Cryptogr. 46, 1–16 (2008)
Wei, H., Ge, G.: Group divisible designs with block size four and group type \(g^u m^1\) for more small \(g\). Discret. Math. 313, 2065–2083 (2013)
Wei, H., Ge, G.: Group Divisible designs with block size four and group type \(g^u m^1\) for \(g \equiv 0 (\text{ mod }\,6)\). J. Comb. Des. 22, 26–52 (2014)
Wei, H., Ge, G.: Group divisible designs with block size four and group type \(g^u m^1\). Des. Codes Cryptogr. 74, 243–282 (2015)
Wilson, R.M.: An existence theory for pairwise balanced designs I: composition theorems and morphisms. J. Comb. Theory Ser. A 13, 220–245 (1972)
Acknowledgements
The author would like to thank the reviewers for suggestions from which this paper has benefitted.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
For the Appendix, see https://arxiv.org/abs/arXiv:1906.02170.
Rights and permissions
About this article
Cite this article
Forbes, A.D. Group Divisible Designs with Block Size Four and Type \(g^u b^1 (gu/2)^1\). Graphs and Combinatorics 36, 1687–1703 (2020). https://doi.org/10.1007/s00373-020-02213-5
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00373-020-02213-5