On a class of \(m\)-to-1 functions
type: Item
instance of: scholarly article
title: On a class of \(m\)-to-1 functions
zbMATH Open document ID: 1545.11102
author: Zhiguo Ding
author: Michael E. Zieve
published in: Discrete Applied Mathematics
publication date: 2024-05-29T00:00:00Z
review text: We say that a function \(f:U\to V\) is \(m\)-to-\(1\) if each element of \(f(U)\) has exactly \(m\) \(f\)-preimages.\N\NThe paper under review concerns Theorem 4.7 in [\textit{D. Bartoli} et al., Discrete Appl. Math. 309, 194--201 (2022; Zbl 1504.11130)]. The authors of the aforementioned article did not prove Theorem 4.7 in their paper, but proved a special case of it.\N\NThe authors in the paper under review give a simple proof of Theorem 4.7, and also refine and generalize the result in several ways. The following is their main result, which subsumes Theorem 4.7.\N\N \textbf{Theorem} Let \(q\) be a prime power, and let \(G\) be a finite subgroup of \(\mathrm{PGL}_2(\overline{\mathbb{F}_q})\). Suppose there exist distinct \(a,b\in \mathbb{F}_q\) which are both fixed by \(\tau_g(X)\) for every \(g\in G\). Write \(f(X):=\sum_{g\in G}\,\tau_g(X)\), and let \(m\) be the number of elements \(g\in G\) for which \(\tau_g(X)\) is in \(\mathbb{F}_q(X)\). Write \(n:=|G|\), and let \(S\) be the set of poles of \(F(X)\) in \(\mathbb{F}_q\). Then the following hold:\N\N\begin{itemize}\N\item[1.] \(\gcd(n,q)=1\);\N\item[2.] \(\gcd(n,q-1)=m\);\N\item[3.] \(\deg (f)=n\);\N\item[4.] \(|S|=m-1\);\N\item[5.] \(\gamma \mapsto f(\gamma)\) defines \(m\)-to-\(1\) functions \(\mathbb{P}^1(\mathbb{F}_q)\setminus \{a,b\}\to \mathbb{P}^1(\mathbb{F}_q)\) and \(\mathbb{F}_q\setminus (S\cup \{a,b\})\to \mathbb{F}_q\);\N\item[6.] We have \N\[\N\displaystyle{f(X)=\frac{n(aX-b)}{X-1}\circ X^n\circ \frac{X-b}{X-a}}.\N\]\N\end{itemize}
reviewed by: Neranga Fernando
Mathematics Subject Classification ID: 11T06
Mathematics Subject Classification ID: 11T71
Mathematics Subject Classification ID: 94A60
zbMATH DE Number: 7855821
zbMATH Keywords: two-to-one functions
zbMATH Keywords: rational functions
MaRDI profile type: MaRDI publication profile
cites work: Two-to-one functions from Galois extensions
cites work: Perfect nonlinear functions and cryptography
cites work: On Dillon's class \(H\) of bent functions, Niho bent functions and o-polynomials
cites work: When does \(G(x)+\gamma \, \text{Tr}(H(x))\) permute \(\mathbb F_{p^n}\)?
cites work: Paley type group schemes and planar Dembowski-Ostrom polynomials
cites work: Low-degree permutation rational functions over finite fields
cites work: Constructing permutations of finite fields via linear translators
cites work: Binary Linear Codes With Few Weights From Two-to-One Functions
cites work: Further Study of 2-to-1 Mappings Over F2n
cites work: Difference sets and hyperovals
cites work: On Two-to-One Mappings Over Finite Fields
cites work: Almost perfect and planar functions
cites work: On APN functions \(L_1(x^3) + L_2(x^9)\) with linear \(L_1\) and \(L_2\)
cites work: Further results on planar DO functions and commutative semifields
cites work: Two-to-one mappings and involutions without fixed points over \(\mathbb{F}_{2^n}\)
DOI: 10.1016/J.DAM.2024.04.028
description: scientific article; zbMATH DE number 7855821