On vectorial functions mapping strict affine subspaces of their domain into strict affine subspaces of their co-domain, and the strong D-property
Claude Carlet,Enrico Piccione
DOI: https://doi.org/10.3934/amc.2024025
2024-06-04
Advances in Mathematics of Communications
Abstract:Given three positive integers and , we studied those vectorial Boolean -functions which mapped an -dimensional affine space into an -dimensional affine space where and possibly . This provided -functions as restrictions of . We showed that the nonlinearity of must not be too large for allowing this, and we observed that if it was zero, then it was always possible. In this case, we showed that the nonlinearity of the restriction may be large. We then focused on the case and of the form where was almost perfect nonlinear (APN) and was a linear function with a kernel of dimension 1. We observed that the problem of determining the D-property of APN -functions , where was a hyperplane, was related to the problem of constructing APN -functions . For this reason, we introduce the strong D-property defined for -functions . We gave a characterization of this property for crooked functions and their compositional inverse (if it existed) by means of their ortho-derivatives, and we proved that the Gold APN function and its inverse in dimension odd big enough both had the strong D-property. We also proved in simpler a way than Taniguchi in 2023 that the strong D-property of the Gold APN function holds for even big enough. Then, we gave a partial result on the Dobbertin APN power function, and on the basis of this result, we conjectured that it has the strong D-property as well. We then moved our focus to two known infinite families of differentially 4-uniform -permutations constructed as the restrictions of -functions or where was linear with a kernel of dimension 1 and was an APN permutation. After a deeper investigation on these classes, we provided proofs (which were missing) that they are not APN in dimension even. Then, we presented our own construction by relaxing some hypotheses on and .
computer science, theory & methods,mathematics, applied