arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2503.20982

Permutation polynomials over finite fields from low-degree rational functions

Kirpa Garg·Sartaj Ul Hasan·Chunlei Li·Hridesh Kumar·Mohit Pal
View original source ↗Read source document ↗Export metadata ↓

Abstract

This paper considers permutation polynomials over the finite field $F_{q^2}$ in even characteristic by utilizing low-degree permutation rational functions over $F_q$. As a result, we obtain two classes of permutation binomials and six classes of permutation pentanomials over $F_{q^2}$. Additionally, we show that the obtained binomials and pentanomials are quasi-multiplicative inequivalent to the known ones in the literature.

Explore related subjects

cs.CRmath.NT

Keep this discovery

BibTeXRIS

Kirpa Garg, Sartaj Ul Hasan, Chunlei Li, Hridesh Kumar, Mohit Pal. 2025-08-21. Permutation polynomials over finite fields from low-degree rational functions. https://doi.org/10.3934/amc.2025040

Cite the original work for its findings. Save a collection to share your selection of sources.

Discover connections

cs.CR subjectmath.NT subject

Connections use source metadata and explicit phrase matches, not verified experimental comparisons.

KEEP EXPLORING

Related papers

arXiv2026

Supersingular Elliptic Curves Without Inseparable Small Degree Endomorphisms

For a fixed characteristic $p$, let $δ(p)$ denote the smallest degree needed to guarantee the existence of an isogeny from any supersingular curve $E$ to its Frobenius conjugate $E^{(p)}$. We translate existence questions concerning $δ(p)$ into questions about positive definite integral ternary quadratic forms and use Voronoi's theory of perfect forms in dimension three to characterize when $δ(p)$ is nearly maximal. For sufficiently large primes, we show that $δ(p)$ attains its upper bound precisely when $p$ is represented by one of nine explicit cubic polynomials, reducing the infinitude of such primes to whether one of these cubics takes prime values infinitely often. We also prove that, for almost all primes, $δ(p)$ lies at least $p^{1/6-o(1)}$ below its upper bound.

math.NT↗
arXiv2023

The second-order zero differential spectra of some APN and other maps over finite fields

The Feistel Boomerang Connectivity Table and the related notion of $F$-Boomerang uniformity (also known as the second-order zero differential uniformity) has been recently introduced by Boukerrou et al.~\cite{Bouk}. These tools shall provide a major impetus in the analysis of the security of the Feistel network-based ciphers. In the same paper, a characterization of almost perfect nonlinear functions (APN) over fields of even characteristic in terms of second-order zero differential uniformity was also given. Here, we find a sufficient condition for an odd or even function over fields of odd characteristic to be an APN function, in terms of second-order zero differential uniformity. Moreover, we compute the second-order zero differential spectra of several APN or other low differential uniform functions, and show that our considered functions also have low second-order zero differential uniformity, though it may vary widely, unlike the case for even characteristic when it is always zero.

cs.IT↗
arXiv2026

The shifted-prime Erdős-Wintner law for primitive-root determinant densities: extremal order, dimension zero, and Fourier decay

For a prime $p$, let $c(p)=\frac{φ(p-1)}{p-1}\prod_{j\ge1}(1-p^{-j})$, the limiting density of matrices over $\mathbb F_p$ whose determinant is a primitive root. Its limiting law over the primes is a continuous prime-indexed Bernoulli product with support $[0,1/2]$, Hausdorff dimension zero, and vanishing lower and upper dyadic $L^q$ dimensions for every $q>1$. Its logarithmic push-forward $μ_f$ is Rajchman. For every $A>0$, as $T\to\infty$, $|\widehat{μ_f}(τ)|\le(\log T)^{-1+o(1)}$ outside a subset of $[0,T]$ of relative measure $O_A((\log\log T)^{-A})$. As $h\downarrow0$, $\sup_aμ_f([a,a+h])=\mathfrak S_2e^{-γ}/\log(1/h)+O(\log^{-2}(1/h))$, where $\mathfrak S_2$ is the twin-prime singular series; every maximizing left endpoint lies in $(\log3-h,\log3+h)$ for sufficiently small $h$. We prove $\min_{p\le x}c(p)\asymp(\log\log x)^{-1}$ and $\limsup_{p\to\infty}(c(p)\log\log p)^{-1}=e^γ$. The limiting law of $\log(φ(p+1)/φ(p-1))$ has support $\mathbb R$, is purely singular, and has Hausdorff dimension zero. These results are unconditional. We give an effective refinement of the shifted-prime $σ$-extremal order, with explicit high-prime-power moduli, least-prime witnesses, and an effective one-sided lower bound. Bounds for $1/c(p)$ without complete factorization of $p-1$ yield a certified asymptotic search for fully splitting number-theoretic transform (NTT) primes with a prescribed reciprocal-density bound at fixed transform length. Under an explicit unproved hypothesis on exponent-pair constants, $|\widehat{μ_f}(τ)|=O(1/\log\log|τ|)$. Finally, we determine the second distinct squared norm of $A_{n_1}\otimes\cdots\otimes A_{n_k}$ for $k\ge2$ and $n_i\ge2$. This yields exact shell gaps of cyclotomic codifferents and a uniform smoothing asymptotic at $ε=2^{-cφ(m)}$ for $c>2\log_2(1+\sqrt6)$.

cs.CR↗