**On the Affine Equivalence and Nonlinearity Preserving Bijective Mappings**

*İsa Sertkaya and Ali Doğanaksoy*

**Abstract: **It is well-known that affine equivalence relations keep nonlineaerity invariant for all Boolean functions. The set of all Boolean functions, $\mathcal{F}_n$, over $\bbbf_2^n$, is naturally regarded as the $2^n$ dimensional vector space, $\bbbf_2^{2^n}$. Thus, while analyzing the transformations acting on $\mathcal{F}_n$, $S_{2^{2^n}}$, the group of all bijective mappings, defined from $\bbbf_2^{2^n}$ onto itself should be considered. As it is shown in \cite{ser,ser:dog,ser:dog:2}, there exist non-affine bijective transformations that preserve nonlinearity. In this paper, first, we prove that the group of affine equivalence relations is isomorphic to the automorphism group of Sylvester Hadamard matrices. Then, we show that new nonlinearity preserving non-affine bijective mappings also exist. Moreover, we propose that the automorphism group of nonlinearity classes, should be studied as a subgroup of $S_{2^{2^n}}$, since it contains transformations which are not affine equivalence relations.

**Category / Keywords: **secret-key cryptography / Boolean functions, nonlinearity, affine equivalence, automorphism groups, Sylvester Hadamard matrices

**Date: **received 25 Dec 2010, last revised 1 Jan 2011

**Contact author: **isa at uekae tubitak gov tr

**Available format(s): **Postscript (PS) | Compressed Postscript (PS.GZ) | PDF | BibTeX Citation

**Note: **Some typing errors are corrected and some sentence revisions are made.
Also a typing error in category / keywords section is also corrected.

**Version: **20110101:155931 (All versions of this report)

**Discussion forum: **Show discussion | Start new discussion

[ Cryptology ePrint archive ]