ExplorerComputer ScienceCybersecurity
Research PaperResearchia:202609.09014

On APN Functions with Boomerang Uniformity One over $\mathbb F_{3^n}$: Differential and Boomerang Spectra and CCZ-Inequivalence

Namhun Koo

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)\}, ...

Submitted: September 9, 2026Subjects: Cybersecurity; Computer Science

Description / Details

Let q=3nq=3^n, where n>1n>1 is odd, and let g:\Fq\Fqg:\Fq\to\Fq be a perfect nonlinear (PN) function represented by a Dembowski--Ostrom (DO) polynomial. Put τ=g(1)τ=g(1), let εε be the indicator of \Fthree\Fthree^*, and, for c\Fqc\in\Fq, define G~c(x):=g(x+c)+τε(x)\widetilde G_c(x):=g(x+c)+τε(x). We prove that every G~c\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)}, \qquad |\mathcal C_g|=\frac{q-3}{2}, ] whereas βG~c=2β_{\widetilde G_c}=2 for the remaining (q+3)/2(q+3)/2 parameters. We determine the common differential spectrum and complete boomerang spectra of all the functions G~c\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 nn, three pairwise CCZ-inequivalent PN functions over \F3n\F_{3^n}, one from each of the Gold f1f_1, Ding--Yuan f3f_3, and Bierbrauer f5f_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=45n=45.


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!

Access Paper
View Source PDF
Submission Info
Date:
Sep 9, 2026
Topic:
Computer Science
Area:
Cybersecurity
Comments:
0
Bookmark
On APN Functions with Boomerang Uniformity One over $\mathbb F_{3^n}$: Differential and Boomerang Spectra and CCZ-Inequivalence | Researchia