On APN Functions with Boomerang Uniformity One over $\mathbb F_{3^n}$: Differential and Boomerang Spectra and CCZ-Inequivalence
Abstract
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 $τ=g(1)$, let $ε$ be the indicator of $\Fthree^$, and, for $c\in\Fq$, define $\widetilde G_c(x):=g(x+c)+τε(x)$. We prove that every $\widetilde G_c$ is APN and has boomerang uniformity either one or two. More precisely, \[ β_{\widetilde G_c}=1 \quad\Longleftrightarrow\quad c\in\mathcal C_g :=\{c\in\Fq\setminus\Fthree:g(c)+τ\notin g(\Fq)\}, ...
Description / Details
Let , where is odd, and let be a perfect nonlinear (PN) function represented by a Dembowski--Ostrom (DO) polynomial. Put , let be the indicator of , and, for , define . We prove that every is APN and has boomerang uniformity either one or two. More precisely, [ β_{\widetilde G_c}=1 \quad\Longleftrightarrow\quad c\in\mathcal C_g :={c\in\Fq\setminus\Fthree:g(c)+τ\notin g(\Fq)}, \qquad |\mathcal C_g|=\frac{q-3}{2}, ] whereas for the remaining parameters. We determine the common differential spectrum and complete boomerang spectra of all the functions . 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 , three pairwise CCZ-inequivalent PN functions over , one from each of the Gold , Ding--Yuan , and Bierbrauer 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 .
Source: arXiv:2609.08968v1 - http://arxiv.org/abs/2609.08968v1 PDF: https://arxiv.org/pdf/2609.08968v1 Original Link: http://arxiv.org/abs/2609.08968v1
Please sign in to join the discussion.
No comments yet. Be the first to share your thoughts!
Sep 9, 2026
Computer Science
Cybersecurity
0