Abstract
Let G be a finite group and \(k\geqslant 2\) be an integer. A (G, k, 1)-difference matrix (DM) is a \(k\times |G|\) matrix \(D=(d_{ij})\) with entries from G, such that for all distinct rows x and y, the multiset of differences \(\{d_{xi} d_{yi}^{-1}:1\leqslant i\leqslant |G|\}\) contains each element of G exactly once. This paper examines the existence of difference matrices with five rows over a finite abelian group. It is proved that if G is a finite abelian group and the Sylow 2-subgroup of G is trivial or noncyclic, then a (G, 5, 1)-DM exists, except for \(G \in \{{\mathbb {Z}}_3,\) \({\mathbb {Z}}_2 \oplus {\mathbb {Z}}_2,\) \({\mathbb {Z}}_4 \oplus {\mathbb {Z}}_2,\) \({\mathbb {Z}}_9\}\) and possibly for some groups whose Sylow 2-subgroup lies in \(\{{\mathbb {Z}}_2\oplus {\mathbb {Z}}_2\), \({\mathbb {Z}}_4\oplus {\mathbb {Z}}_2\), \({\mathbb {Z}}_{32} \oplus {\mathbb {Z}}_{2},\) \({\mathbb {Z}}_{16} \oplus {\mathbb {Z}}_{4}\}\), and some cyclic groups of order 9p with p prime.
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., Bennett F.E.: Quintesssential PBDs and PBDs with prime power block sizes \(\ge 8\). J. Comb. Des. 13, 239–267 (2005).
Abel R.J.R., Bennett F.E., Ge G.: Super-simple holey Steiner pentagon systems and related designs. J. Comb. Des. 16, 301–328 (2008).
Abel R.J.R.: Existence of \(t\) strongly symmetric pairwise orthogonal Latin squares for \(t \in \{3,4,5\}\). Australas. J. Comb. 72, 306–328 (2018).
Abel R.J.R., Cavenagh N.: Concerning eight mutually orthogonal Latin squares. J. Comb. Des. 15, 255–261 (2007).
Abel R.J.R., Combe D., Palmer W.D.: Generalized Bhaskar Rao designs and dihedral groups. J. Comb. Theory Ser. A 106, 145–157 (2004).
Abel R.J.R., Colbourn C.J., Dinitz J.H.: Mutually orthogonal Latin squares (MOLS). In: Colbourn C.J., Dinitz J.H. (eds.) CRC Handbook of Combinatorial Designs, pp. 160–193. CRC Press, Boca Raton (2007).
Abel R.J.R., Colbourn C.J., Wojtas M.: Concerning seven and eight mutually orthogonal Latin squares. J. Comb. Des. 12, 123–131 (2004).
Abel R.J.R., Costa S., Finizio N.J.: Directed-ordered whist tournaments and \((v,5,1)\) difference families: existence results and some new classes of \(Z\)-cyclic solutions. Discret. Appl. Math. 143, 43–53 (2004).
Abel R.J.R., Finizio N.J., Ge G., Greig M.: New \(Z\)-cyclic triplewhist frames and triplewhist tournament designs. Discret. Appl. Math. 154, 1649–1673 (2006).
Abel R.J.R., Ge G.: Some difference matrix constructions and an almost completion for the existence of triplewhist tournaments TWh\((v)\). Eur. J. Comb. 26, 1094–1104 (2005).
Bray J.N., Cai Q., Cameron P.J., Spiga P., Zhang H.: The Hall-Paige conjecture, and synchronization for affine and diagonal groups. J. Algebra 545, 27–42 (2020).
Buratti M.: Recursive constructions for difference matrices and relative difference families. J. Comb. Des. 6, 165–182 (1998).
Chang Y., Miao Y.: Constructions for optimal optical orthogonal codes. Discret. Math. 261, 127–139 (2003).
Chee Y.M., Kiah H.M., Ling S., Wei H.: Geometric orthogonal codes of size larger than optical orthogonal codes. IEEE Trans. Inform. Theory 64(4), 2883–2895 (2018).
Colbourn C.J.: Difference matrices. In: Colbourn C.J., Dinitz J.H. (eds.) CRC Handbook of Combinatorial Designs, pp. 411–419. CRC Press, Boca Raton (2007).
Evans A.B.: Orthomorphism Graphs of Groups. Lecture Notes in Mathematics. Springer, Berlin (1992).
Evans A.B.: On orthogonal orthomorphisms of cyclic and non-abelian groups. Discret. Math. 243, 229–233 (2002).
Evans A.B.: On orthogonal orthomorphisms of cyclic and non-abelian groups. II. J. Comb. Des. 15, 195–209 (2007).
Evans A.B.: The admissibility of sporadic simple groups. J. Algebra 321, 105–116 (2009).
Feng T., Wang X., Chang Y.: Semi-cyclic holey group divisible designs with block size three. Des. Codes Cryptogr. 74, 301–324 (2015).
Ge G.: On \((g,4;1)\)-difference matrices. Discret. Math. 301, 164–174 (2005).
Ge G., Yin J.: Constructions for optimal \((v,4,1)\) optical orthogonal codes. IEEE Trans. Inf. Theory 47, 2998–3004 (2001).
Hall M., Paige L.J.: Complete mappings of finite groups. Pac. J. Math. 5, 541–549 (1955).
Johnson D.M., Dulmage A.L., Mendelsohn N.S.: Orthomorphisms of groups and orthogonal latin squares. I. Can. J. Math. 13, 356–372 (1961).
Jungnickel D.: On difference matrices and regular latin squares. Abh. Math. Sem. Hamburg 50, 219–231 (1980).
Jungnickel D.: On difference matrices, resolvable transversal designs and generalized Hadamard matrices. Math. Zeitschrift 167, 49–60 (1979).
Lazebnik F., Thomason A.: Orthomorphisms and the construction of projective planes. Math. Comput. 73, 1547–1557 (2004).
Niskanen S., Östergård P.R.J.: Cliquer User’s Guide, Version 1.0, Communications Laboratory, Helsinki University of Technology, Espoo, Finland, Tech. Rep. T48 (2003).
Pan R., Chang Y.: \((m, n,3,1)\) optical orthogonal signature pattern codes with maximum possible size. IEEE Trans. Inf. Theory 61, 1139–1148 (2015).
Pan R., Chang Y.: A note on difference matrices over noncyclic finite abelian groups. Discret. Math. 339, 822–830 (2016).
van Greevenbroek K., Jedwab J.: A new structure for difference matrices over abelian \(p\)-groups. In: Schmidt K.-U., Winterhof A. (eds.) Combinatorics and Finite Fields: Difference Sets, Polynomials, Pseudorandomness and Applications, pp. 79–108. de Gruyter, Berlin (2019).
Wilcox S.: Reduction of the Hall-Paige conjecture to sporadic simple groups. J. Algebra 321, 1407–1428 (2009).
Yin J.: Cyclic difference packing and covering arrays. Des. Codes Cryptogr. 37, 281–292 (2005).
Acknowledgements
This research includes computations using the computational cluster Katana supported by Research Technology Services at UNSW Sydney. Also, the third author acknowledges the support from an Australian Government Research Training Program Scholarship and from the School of Mathematics and Statistics, UNSW Sydney. The first, fourth and sixth authors acknowledge support from NSFC under Grant Numbers 11601472, 11871095 and 11771227 respectively. The fifth author was supported by a 2020-2021 AMSI Vacation Research Scholarship.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by M. Buratti.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix: HPMDs in the proof of Lemma 9
Each element (x, y) is simply written as \(x_y\).
A strictly \(({\mathbb {Z}}_2 \oplus {\mathbb {Z}}_{36},{\mathbb {Z}}_2 \oplus 6{\mathbb {Z}}_{36})\)-invariant 5-HPMD of type \(12^{6}\):
A strictly \(({\mathbb {Z}}_6 \oplus {\mathbb {Z}}_{12},{\mathbb {Z}}_6 \oplus 6{\mathbb {Z}}_{12})\)-invariant 5-HPMD of type \(12^{6}\):
A strictly \((({\mathbb {Z}}_2 \oplus {\mathbb {Z}}_2) \oplus {\mathbb {Z}}_{18}, {\mathbb {Z}}_2 \oplus {\mathbb {Z}}_2 \oplus 6{\mathbb {Z}}_{18})\)-invariant 5-HPMD of type \(12^{6}\):
The construction of the previous three HPMDs was facilitated by first finding suitable \(\bmod \ 2\) values for the first (\({\mathbb {Z}}_2\) or \({\mathbb {Z}}_6\)) coordinate and mod 6 values for the last \(({\mathbb {Z}}_{36},\) \({\mathbb {Z}}_{12}\) or \({\mathbb {Z}}_{18})\) coordinate of each point in the base blocks before doing the main part of the computer search. We used the same mod 2 and mod 6 prespecifications for all three of these HPMDs. The next HPMD was also obtained by first prespecifying these mod 2 and mod 6 values. Prespecifying the mod y values of certain entries (for some small y) is a tool that can sometimes help when searching for other types of designs such as designs obtained from difference families.
A strictly \(({\mathbb {Z}}_2 \oplus {\mathbb {Z}}_{72},{\mathbb {Z}}_2 \oplus 6{\mathbb {Z}}_{72})\)-invariant 5-HPMD of type \(24^{6}\):
The 24 base blocks are now obtained by multiplying each of the above 12 base blocks by 1 and \(-1\).
A strictly \(({\mathbb {Z}}_4 \oplus {\mathbb {Z}}_{24},2{\mathbb {Z}}_4 \oplus 3{\mathbb {Z}}_{24})\)-invariant 5-HPMD of type \(16^{6}\):
The 16 base blocks are obtained by multiplying each of the above 8 base blocks by 1 and \(-1\).
Appendix: TWhFrames in the proof of Lemma 10
A strictly \(({\mathbb {Z}}_{8} \oplus {\mathbb {Z}}_{4} \oplus {\mathbb {Z}}_2, 4{\mathbb {Z}}_{8} \oplus 2{\mathbb {Z}}_4 \oplus {\mathbb {Z}}_2)\)-invariant TWhFrame:
A strictly \(({\mathbb {Z}}_{16} \oplus {\mathbb {Z}}_{2}^2,8{\mathbb {Z}}_{16}\oplus {\mathbb {Z}}_2^2)\)-invariant TWhFrame:
A strictly \(({\mathbb {Z}}_{54} \oplus {\mathbb {Z}}_{2},9{\mathbb {Z}}_{54} \oplus {\mathbb {Z}}_2)\)-invariant TWhFrame:
A strictly \(({\mathbb {Z}}_{16} \oplus {\mathbb {Z}}_{8}, 4{\mathbb {Z}}_{16} \oplus 2{\mathbb {Z}}_8)\)-invariant TWhFrame:
A strictly \(({\mathbb {Z}}_{32} \oplus {\mathbb {Z}}_{4}, 8{\mathbb {Z}}_{32} \oplus {\mathbb {Z}}_4)\)-invariant TWhFrame:
A strictly \(({\mathbb {Z}}_{64} \oplus {\mathbb {Z}}_{2}, 8{\mathbb {Z}}_{64} \oplus {\mathbb {Z}}_2)\)-invariant TWhFrame:
Rights and permissions
About this article
Cite this article
Pan, R., Abel, R.J.R., Bunjamin, Y.A. et al. Difference matrices with five rows over finite abelian groups. Des. Codes Cryptogr. 90, 367–386 (2022). https://doi.org/10.1007/s10623-021-00981-6
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10623-021-00981-6