# APN Permutations

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

# Characterization of Permutations

## Component Functions

An ${\displaystyle (n,n)}$-function ${\displaystyle F}$ is a permutation if and only if all of its components ${\displaystyle F_{\lambda }}$ for ${\displaystyle \lambda \in \mathbb {F} _{2^{n}}^{*}}$ are balanced.

## Autocorrelation Functions of the Directional Derivatives

The characterization in terms of the component functions given above can be equivalently expressed as

${\displaystyle \sum _{a\in \mathbb {F} _{2^{n}}^{*}}{\mathcal {F}}(D_{a}f_{\lambda })=-2^{n}}$

for any ${\displaystyle \lambda \in \mathbb {F} _{2^{n}}^{*}}$.

Equivalently [1], ${\displaystyle F}$ is a permutation if and only if

${\displaystyle \sum _{\lambda \in \mathbb {F} _{2^{n}}^{*}}{\mathcal {F}}(D_{a}f_{\lambda })=-2^{n}}$

for any ${\displaystyle \lambda \in \mathbb {F} _{2^{n}}^{*}}$.

# Characterization of APN Permutations

## Autocorrelation Functions of the Directional Derivatives

An ${\displaystyle (n,n)}$-function ${\displaystyle F}$ is an APN permutation if and only if [1]

${\displaystyle \sum _{\lambda \in \mathbb {F} _{2^{n}}^{*}}{\mathcal {F}}(D_{a}f_{\lambda })=-2^{n}}$

and

${\displaystyle \sum _{\lambda \in \mathbb {F} _{2^{n}}^{*}}{\mathcal {F}}^{2}(D_{a}f_{\lambda })=2^{2n}}$

for any ${\displaystyle a\in \mathbb {F} _{2^{n}}^{*}}$.

1. Thierry Berger, Anne Canteaut, Pascale Charpin, Yann Laigle-Chapuy, On Almost Perfect Nonlinear Functions Over GF(2^n), IEEE Transactions on Information Theory, 2006 Sep,52(9),4160-70