Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
The authors construct infinite families of Almost Perfect Nonlinear (APN) functions over $\mathbb{F}_{3^n}$ for odd $n$ by applying an indicator-based perturbation to Dembowski–Ostrom planar functions, fully resolving their differential and boomerang spectra. Achieving the theoretical lower bound of boomerang uniformity is crucial for optimal resistance against advanced differential cryptanalysis, an optimum previously unreached by general infinite constructions in odd characteristic finite fields. The resulting functions achieve optimal boomerang uniformity of one for $(q-3)/2$ parameter choices and are proven pairwise CCZ-inequivalent to known power functions, Ness–Helleseth binomials, and across distinct presemifield families for $n \ge 45$.
Optimal boomerang uniformity of one in odd characteristic is finally achievable across infinite families, delivering the first general construction of maximally boomerang-resistant APN functions.
Let $q=3^n$, where $n>1$ is odd, and let $g:\Fq\to\Fq$ be a perfect nonlinear (PN) function represented by a Dembowski--Ostrom (DO) polynomial. Put $\tau=g(1)$, let $\epsilon$ be the indicator of $\Fthree^*$, and, for $c\in\Fq$, define $\widetilde G_c(x):=g(x+c)+\tau\epsilon(x)$. We prove that every $\widetilde G_c$ is APN and has boomerang uniformity either one or two. More precisely, \[ \beta_{\widetilde G_c}=1 \quad\Longleftrightarrow\quad c\in\mathcal C_g :=\{c\in\Fq\setminus\Fthree:g(c)+\tau\notin g(\Fq)\}, \qquad |\mathcal C_g|=\frac{q-3}{2}, \] whereas $\beta_{\widetilde G_c}=2$ for the remaining $(q+3)/2$ parameters. We determine the common differential spectrum and complete boomerang spectra of all the functions $\widetilde G_c$. Since boomerang uniformity one is the least possible for an APN function over a finite field of odd characteristic, this gives, to the best of our knowledge, the first general construction yielding infinite families of APN functions attaining this optimum. This common differential spectrum rules out CCZ equivalence with every power function and every Ness--Helleseth-type binomial. We also prove that CCZ equivalence between sign-switches of DO PN functions forces EA equivalence between the original PN functions. Using the orders of the nuclei of the associated presemifields, we exhibit, for infinitely many odd $n$, three pairwise CCZ-inequivalent PN functions over $\F_{3^n}$, one from each of the Gold $f_1$, Ding--Yuan $f_3$, and Bierbrauer $f_5$ families. Consequently, over each such field, our construction produces three pairwise CCZ-inequivalent APN functions with boomerang uniformity one. The smallest extension degree obtained in this way is $n=45$.