Supplementary information files for "The stability of the algebraic degree of Boolean functions when restricted to affine spaces"

Supplementary files for article "The stability of the algebraic degree of Boolean functions when restricted to affine spaces"<br><br>We study the <i>n</i>-variable Boolean functions which keep their algebraic degree unchanged when they are restricted to any (affine) hyperplane, or more generally to any affine space of a given co-dimension <i>k</i>. For cryptographic applications it is of interest to determine functions <i>f</i> which have a relatively high algebraic degree and also maintain this degree when restricted to all affine spaces of co-dimension <i>k</i> for <i>k</i> ranging from 1 to as high a value as possible. This highest value will be called the restriction degree stabilityof <i>f</i>, denoted by deg_stab(<i>f</i>). We give several necessary and/or sufficient conditions for <i>f</i> to maintain its degree on spaces of co-dimension <i>k</i>; we show that this property is related to the property of having “fast points” as well as to other properties and parameters. The value of deg_stab(<i>f</i>) is determined for functions which are direct sums of monomials, as well as for functions of algebraic degrees 1, 2, <i>n -</i><i> </i>2, <i>n</i> - 1 and <i>n</i>; we also determine the symmetric functions which maintain their degree on any hyperplane. Furthermore, we give an explicit formula for the number of functions which maintain their degree on all hyperplanes. Finally, using our previous results and some computer assistance, we determine the behaviour of all the functions in up to 8 variables, therefore determining the optimal ones (i.e. with highest value of deg_stab(<i>f</i>)) for each degree.<br><br>©The Author(s), CC BY 4.0