Covering radius for sets of permutations
2005, Discrete Mathematics
https://doi.org/10.1016/J.DISC.2004.08.024Abstract
We study the covering radius of sets of permutations with respect to the Hamming distance. Let f (n, s) be the smallest number m for which there is a set of m permutations in S n with covering radius r ≤ n − s. We study f (n, s) in the general case and also in the case when the set of permutations forms a group. We find f (n, 1) exactly and bounds on f (n, s) for s > 1. For s = 2 our bounds are linear in n. This case relates to classical conjectures by Ryser and Brualdi on transversals of Latin squares and to more recent work by Kezdy and Snevily. We discuss a flaw in Derienko's published proof of Brualdi's conjecture. We also show that every Latin square contains a set of entries which meets each row and column exactly once while using no symbol more than twice. In the case where the permutations form a group, we give necessary and sufficient conditions for the covering radius to be exactly n. If the group is t-transitive, then its covering radius is at most n − t, and we give a partial determination of groups meeting this bound. We give some results on the covering radius of specific groups. For the group PGL(2, q), the question can be phrased in geometric terms, concerning configurations in the Minkowski plane over GF(q) meeting every generator once and every conic in at most s points, where s is as small as possible. We give an exact answer except in the case where q is congruent to 1 mod 6. The paper concludes with some remarks about the relation between packing and covering radii for permutations.
References (16)
- K. Balasubramanian, On transversals in Latin squares, Linear Algebra Appl. 131 (1990), 125-129.
- I. F. Blake, G. Cohen and M. Deza, Coding with permutations, Inform. Control 43 (1979), 1-19.
- P. J. Cameron, Permutation Groups, London Math. Soc. Student Texts 45, Cambridge University Press, Cambridge, 1999.
- P. J. Cameron and C. Y. Ku, Intersecting families of permutations, Europ. J. Combinatorics 24 (2003), 881-890.
- G. Cohen, I. Honkala, S. Litsyn and A. Lobstein, Covering Codes, North- Holland, Amsterdam, 1997.
- C. J. Colbourn and J. H. Dinitz (editors), CRC Handbook of Combinatorial Designs, CRC Press, Boca Raton, 1999.
- J. Dénes and A. D. Keedwell, Latin Squares and their Applications, Akademiai Kiado, Budapest, 1974.
- I. I. Derienko, On the Brualdi hypothesis (Russian), Matematicheskie Issledovaniya 102 (1988), 53-65.
- M. Deza and P. Frankl, On the maximum number of permutations with given maximal or minimal distance, J. Combin. Theory, (A) 22 (1977), 352-360.
- P. Erdős, D. R. Hickerson, D. A. Norton and S. K. Stein, Has every Latin square of order n a partial Latin transversal of size n -1? Amer. Math. Monthly 95 (1988), 428-430.
- The GAP Group, GAP -Groups, Algorithms, and Programming, Version 4.3; Aachen, St Andrews, 2002. (http://www-gap.dcs.st-and.ac.uk/ ~gap)
- R. Guralnick and K. Magaard, On the minimal degree of a primitive permutation group, J. Algebra 207 (1998), 127-145.
- M. Hall Jr. and L. J. Paige, Complete mappings of finite groups, Pacific J. Math. 5 (1955), 541-549.
- A. E. Kézdy and H. S. Snevily, unpublished manuscript.
- J. Quistorff, Improved sphere bounds in finite metric spaces, preprint.
- L. H. Soicher, GRAPE: A system for computing with graphs and groups, in Groups and Computation (L. Finkelstein and W. M. Kantor, eds.), DIMACS Series in Discrete Mathematics and Theoretical Computer Science 11, American Mathematical Society, Providence, RI, 1993, pp. 287-291.