Abstract
An orthomorphism over a finite field \({\mathbb {F}}\) is a permutation \(\theta :{\mathbb {F}}\mapsto {\mathbb {F}}\) such that the map \(x\mapsto \theta (x)-x\) is also a permutation of \({\mathbb {F}}\). The orthomorphism \(\theta \) is cyclotomic of index k if \(\theta (0)=0\) and \(\theta (x)/x\) is constant on the cosets of a subgroup of index k in the multiplicative group \({\mathbb {F}}^*\). We say that \(\theta \) has least index k if it is cyclotomic of index k and not of any smaller index. We answer an open problem due to Evans by establishing for which pairs (q, k) there exists an orthomorphism over \({\mathbb {F}}_q\) that is cyclotomic of least index k. Two orthomorphisms over \({\mathbb {F}}_q\) are orthogonal if their difference is a permutation of \({\mathbb {F}}_q\). For any list \([b_1,\ldots ,b_n]\) of indices we show that if q is large enough then \({\mathbb {F}}_q\) has pairwise orthogonal orthomorphisms of least indices \(b_1,\ldots ,b_n\). This provides a partial answer to another open problem due to Evans. For some pairs of small indices we establish exactly which fields have orthogonal orthomorphisms of those indices. We also find the number of linear orthomorphisms that are orthogonal to certain cyclotomic orthomorphisms of higher index.
Similar content being viewed by others
References
Babai, L., Gál, A., Wigderson, A.: Superpolynomial lower bounds for monotone span programs. Combinatorica 19, 301–319 (1999)
Bell, J.: Cyclotomic orthomorphisms of finite fields. Discrete Appl. Math. 161, 294–300 (2013)
Cavenagh, N.J., Wanless, I.M.: On the number of transversals in Cayley tables of cyclic groups. Discrete Appl. Math. 158, 136–146 (2010)
Clark, D., Lewis, J.T.: Transversals of cyclic Latin squares. Congr. Numer. 128, 113–120 (1997)
Eberhard, S., Manners, F., Mrazović, R.: Additive Triples of Bijections, or the Toroidal Semiqueens Problem. arXiv:1510.05987v3 [math.CO]
Evans, A.B.: Orthomorphism Graphs of Groups. Lecture Notes in Mathematics, vol. 1535. Springer, Berlin (1992)
Evans, A.B.: Maximal sets of mutually orthogonal Latin squares II. Eur. J. Comb. 13, 345–350 (1992)
Evans, A.B.: The existence of strong complete mappings of finite groups: a survey. Discrete Math. 313, 1191–1196 (2013)
Glebov, R., Luria, Z.: On the maximum number of Latin transversals. J. Comb. Theory Ser. A A141, 136–146 (2016)
McKay, B.D., McLeod, J.C., Wanless, I.M.: The number of transversals in a Latin square. Des. Codes Cryptogr. 40, 269–284 (2006)
Niederreiter, H., Winterhof, A.: Cyclotomic \({\cal{R}}\)-orthomorphisms of finite fields. Discrete Math. 295, 161–171 (2005)
Stones, D.S., Wanless, I.M.: Compound orthomorphisms of the cyclic group. Finite Fields Appl. 16, 277–289 (2010)
Taranenko, A.A.: Multidimensional permanents and an upper bound on the number of transversals in latin squares. J. Comb. Des. 23, 305–320 (2015)
Acknowledgements
The authors are grateful to Tony Evans for helpful advice on orthomorphisms and for providing the example in (6). As this article goes to press, we also acknowledge the recent exciting preprint [5] which provides much better estimates for numbers of orthomorphisms than were available when we wrote the comments leading up to Theorem 8.
Author information
Authors and Affiliations
Corresponding author
Additional information
Research supported by ARC Grant DP150100506.
Rights and permissions
About this article
Cite this article
Fear, D., Wanless, I.M. Existence results for cyclotomic orthomorphisms. J Algebr Comb 46, 1–14 (2017). https://doi.org/10.1007/s10801-017-0740-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10801-017-0740-z