Abstract.
The basic necessary conditions for the existence of a (v, k, λ)-perfect Mendelsohn design (briefly (v, k, λ)-PMD) are v ≥ k and λ v(v − 1) ≡ 0 (mod k). These conditions are known to be sufficient in most cases, but certainly not in all. For k = 3, 4, 5, 7, very extensive investigations of (v, k, λ)-PMDs have resulted in some fairly conclusive results. However, for k = 6 the results have been far from conclusive, especially for the case of λ = 1, which was given some attention in papers by Miao and Zhu [34], and subsequently by Abel et al. [1]. Here we investigate the situation for k = 6 and λ > 1. We find that the necessary conditions, namely v ≥ 6 and λ v(v − 1)≡0 (mod 6) are sufficient except for the known impossible cases v = 6 and either λ = 2 or λ odd.
Similar content being viewed by others
References
RJR Abel FE Bennett H Zhang (2000) ArticleTitlePerfect Mendelsohn designs with block size 6 J Stat Plann Inf 86 287–319 Occurrence Handle0974.05008 Occurrence Handle1768275 Occurrence Handle10.1016/S0378-3758(99)00114-7
RJR Abel FE Bennett (1998) ArticleTitleThe existence of perfect Mendelsohn designs with block size 7 Discrete Math 190 1–14 Occurrence Handle0957.05017 Occurrence Handle1639725 Occurrence Handle10.1016/S0012-365X(98)00030-2
RJR Abel FE Bennett G Ge L Zhu (2002) ArticleTitleExistence of Steiner seven-cycle systems Discrete Math 252 1–16 Occurrence Handle1009.05019 Occurrence Handle1907742 Occurrence Handle10.1016/S0012-365X(00)00357-5
RJR Abel FE Bennett G Ge (2002) ArticleTitleAlmost resolvable perfecct Mendelsohn designs with block size five Discrete Appl Math 116 1–15 Occurrence Handle1015.05009 Occurrence Handle1877112 Occurrence Handle10.1016/S0166-218X(00)00381-4
Abel RJR, Brouwer AE, Colbourn CJ, Dinitz JH (1996) Mutually orthogonal latin squares. In: Colbourn CJ, Dinitz JH (eds) CRC handbook of combinatorial designs. CRC Press, pp 111–142
RJR Abel N Finizio M Greig S Lewis (2000) ArticleTitle(2,6) GWhD existence results and some Z-cyclic solutions Congr Numer 144 1–20 Occurrence Handle1817922
RJR Abel M Greig (1998) ArticleTitleBalanced incomplete block designs with block size 7 Designs Codes Cryptogr 13 5–30 Occurrence Handle1007.41015 Occurrence Handle1600683 Occurrence Handle10.1023/A:1008204220755
FE Bennett (1982) ArticleTitleDirect Constructions for perfect 3-cyclic designs Ann Discrete Math 15 63–68 Occurrence Handle0499.05011
FE Bennett (1985) ArticleTitleConjugate orthogonal Latin squares and related designs Ars Combin 19 51–62 Occurrence Handle0577.05016 Occurrence Handle810262
FE Bennett (1990) ArticleTitleConcerning pairwise balanced designs with prime power block sizes Comtemp Math 111 23–37 Occurrence Handle0707.05010
FE Bennett Y Chang J Yin H Zhang (1997) ArticleTitleExistence of HPMDs with block size five J Combin Des 5 257–273 Occurrence Handle0912.05008 Occurrence Handle1451285 Occurrence Handle10.1002/(SICI)1520-6610(1997)5:4<257::AID-JCD3>3.0.CO;2-E
FE Bennett CJ Colbourn L Zhu (1996) ArticleTitleExistence of three HMOLS of types hn and 2n31 Discrete Math 160 49–65 Occurrence Handle0867.05012 Occurrence Handle1417560 Occurrence Handle10.1016/0012-365X(95)00148-P
Bennett FE, Gronau H-DOF, Ling ACH, Mullin RC (1996) PBD-Closure. In: Colbourn CJ, Dinitz JH (eds) CRC handbook of combinatorial designs. CRC Press, pp 111–142
FE Bennett KT Phelps CA Rodger J Yin L Zhu (1992) ArticleTitleExistence of perfect Mendelsohn designs with k = 5 and λ > 1 Discrete Math 103 129–137 Occurrence Handle0756.05011 Occurrence Handle1171310 Occurrence Handle10.1016/0012-365X(92)90263-F
FE Bennett KT Phelps CA Rodger L Zhu (1992) ArticleTitleConstructions of perfect Mendelsohn designs Discrete Math 103 139–151 Occurrence Handle0756.05012 Occurrence Handle1171311 Occurrence Handle10.1016/0012-365X(92)90264-G
FE Bennett D Sotteau (1981) ArticleTitleAlmost resolvable decomposition of K * n J Combin Theor Ser B 103 228–232 Occurrence Handle615317 Occurrence Handle10.1016/0095-8956(81)90067-8
FE Bennett H Shen J Yin (1994) ArticleTitleIncomplete perfect Mendelsohn designs with block size 4 and holes of size 2 and 3 J Combin Des 3 171–183 Occurrence Handle0823.05010 Occurrence Handle1269239
FE Bennett J Yin H Zhang RJR Abel (1998) ArticleTitlePerfect Mendelsohn packing designs with block size five Designs Codes Cryptogr 14 5–22 Occurrence Handle0910.05020 Occurrence Handle1608204 Occurrence Handle10.1023/A:1008200319697
FE Bennett J Yin L Zhu (1993) ArticleTitlePerfect Mendelsohn designs with k = 7 and λ even Discrete Math 113 7–25 Occurrence Handle0788.05004 Occurrence Handle1212867 Occurrence Handle10.1016/0012-365X(93)90505-N
FE Bennett X Zhang (1990) ArticleTitleResolvable Mendelsohn designs with block size four Aeqationes Math 40 248–260 Occurrence Handle0725.05012 Occurrence Handle1069797 Occurrence Handle10.1007/BF02112298
FE Bennett X Zhang L Zhu (1990) ArticleTitlePerfect Mendelsohn designs with block size four Ars Combin 29 65–72 Occurrence Handle0717.05020 Occurrence Handle1046095
T Beth D Jungnickel H Lenz (1999) Design theory Cambridge Univ. Press UK
AE Brouwer GHJ Rees Particlevan (1982) ArticleTitleMore mutually orthogonal Latin squares Discrete Math 39 263–281 Occurrence Handle0486.05015 Occurrence Handle676191 Occurrence Handle10.1016/0012-365X(82)90149-2
T Hishida K Ishikawa M Jimbo S Kageyama S Kuriki (2001) ArticleTitleNon-existence of a nested BIB Design NB(10, 15, 2, 3) J Combin Math Combin Comput 36 55–63 Occurrence Handle0984.05011 Occurrence Handle1821625
Mathon R, Rosa A (1985) Some results on the existence and enumeration of BIBDs, Math. Report 125, December-1985. McMaster University, Hamilton, Ont
H Hanani (1975) ArticleTitleBalanced incomplete block designs and related designs Discrete Math 11 255–360 Occurrence Handle0361.62067 Occurrence Handle382030 Occurrence Handle10.1016/0012-365X(75)90040-0
H Hanani (1989) ArticleTitleBIBDs with block size 7 Discrete Math 77 89–96 Occurrence Handle0682.05010 Occurrence Handle1022454 Occurrence Handle10.1016/0012-365X(89)90354-3
DF Hsu AD Keedwell (1985) ArticleTitleGeneralized complete mappings, neofields, sequenceable groups and block designs, II Pacific J Math 117 291–312 Occurrence Handle0575.05011 Occurrence Handle779922
ER Lamken WH Mills RM Mullin (1991) ArticleTitleFour pairwise balanced designs Designs Codes Cryptogr 1 63–68 Occurrence Handle0756.05016 Occurrence Handle10.1007/BF00123959
ACH Ling CJ Colbourn RC Mullin (1997) ArticleTitlePairwise balanced designs with consecutive block sizes Designs Codes Cryptogr 10 203–222 Occurrence Handle0869.05009 Occurrence Handle1432299 Occurrence Handle10.1023/A:1008248521550
Mendelsohn NS (1971) A natural generalization of Steiner triple systems. In: Computers in number theory. Academic Press, New York pp 323–338
NS Mendelsohn (1977) ArticleTitlePerfect cyclic designs Discrete Math 20 63–68 Occurrence Handle480106 Occurrence Handle10.1016/0012-365X(77)90043-7
Mendelsohn NS (1969) Combinatorial designs as models of universal algebras. In: Recent progress in combinatorics. Academic Press, New York, pp 123–132
Y Miao L Zhu (1995) ArticleTitlePerfect Mendelsohn designs with block size six Discrete Math 143 189–207 Occurrence Handle0832.05009 Occurrence Handle1344752 Occurrence Handle10.1016/0012-365X(94)00015-B
RM Wilson (1974) ArticleTitleConstructions and uses of pairwise balanced designs Math Centre Tracts 55 18–41
J Yin (1993) ArticleTitleThe existence of (v, 6, 3)-PMDs Math Appl 6 457–462
Zhang H private communication
X Zhang (1990) ArticleTitleOn the existence of (v, 4, 1)-PMD Ars Combin 29 3–12 Occurrence Handle0893.65036 Occurrence Handle1046087
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by J. D. Key.
Researcher F.E. Bennett supported by NSERC Grant OGP 0005320.
Rights and permissions
About this article
Cite this article
Abel, R.J.R., Bennett, F.E. The Existence of (ν,6, λ)-Perfect Mendelsohn Designs with λ > 1. Des Codes Crypt 40, 211–224 (2006). https://doi.org/10.1007/s10623-006-0008-4
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/s10623-006-0008-4