On the Properties of the Boolean Functions Associated to the Differential Spectrum of General APN Functions and Their Consequences
Claude Carlet · IEEE Transactions on Information Theory · 2021
We initiate a study, when F is a general APN function, of the Boolean function γFrelated to the differential spectrum of F (and which is known to be bent if and only if F is almost bent). We first list many open questions about it. We study its algebraic normal form and its bivariate representation. We characterize its linear structures and specify nonexistence cases; we show, for n even, their relation with the bent components of F. We pose three related open problems. We characterize further in terms of γFthe fact that a component function of F is bent and study if the number of bent components can be optimal. We consider in particular two classes, one of which is that of APN power functions. We study more deeply the relation between the Walsh transform of γFand the Walsh transform of F. By applying the Titsworth relation to the Walsh transform WγF, we deduce a new relation satisfied by WF2, which is as simple as Chabaud-Vaudenay's characterization by the fourth moment of the Walsh transform (which is in fact a particular case of the new relation), and provides more information. From this new relation, we deduce, for a sub-class of APN functions, a lower bound on the nonlinearity, which is significantly stronger than nl(F) > 0 (the only general known bound). This sub-class of APN functions includes all known APN functions. The question (which is another open problem that we state) arises whether this sub-class equals that of all APN functions, but our bound provides at least a beginning of explanation why all known APN functions have non-weak nonlinearity. We finally show how the nonlinearities of γFand F are related by a simple formula; this leads to a last open problem.