Abstract:We study the $n$-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 $k$. For cryptographic applications it is of interest to determine functions $f$ which have a relatively high degree and also maintain this degree when restricted to affine spaces of co-dimension $k$ for $k$ ranging from 1 to as high a value as possible. This highest value will be called the restriction degree stability of $f$, denoted by $\rm deg\_stab(f)$. We give several necessary and/or sufficient conditions for $f$ to maintain its degree on spaces of co-dimension $k$; 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 $\rm deg\_stab(f)$ is determined for functions of degrees $r\in \{1,2,n-2,n-1,n\}$ and for functions which are direct sums of monomials; 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 8 variables, therefore determining the optimal ones (i.e. with highest value of $\rm deg\_stab(f)$) for each degree.

A Survey of Cameron-Liebler Sets and Low Degree Boolean Functions in Grassmann Graphs

The degree of functions in the Johnson and q-Johnson schemes

The classification of Boolean degree $1$ functions in high-dimensional finite vector spaces

Cameron-Liebler Line Classes with parameter x=(q+1)^2/3

On the diameter and zero forcing number of some graph classes in the Johnson, Grassmann and Hamming association scheme

Bivariate $Q$-polynomial structures for the nonbinary Johnson scheme and the association scheme obtained from attenuated spaces

Geometry of bi-Lagrangian Grassmannian

Counterexamples to a Conjecture of Ahmadi and Shparlinski

Hypergraph Horn Functions

Low rank groups of Lie type acting point and line-primitively on finite generalised quadrangles

Lattices in function fields and applications

Hyperplane Arrangements and Compactifications of Vector Groups

Topics in Boolean Representable Simplicial Complexes

Low-degree functions without non-essential arguments

A survey on conjugacy class graphs of groups

An upper bound on the number of relevant variables for Boolean functions on the Hamming graph

The stability of the algebraic degree of Boolean functions when restricted to affine spaces

Uniquely hamiltonian graphs for many sets of degrees

Cameron-Liebler sets in permutation groups

Graded Lie Algebras, Compactified Jacobians and Arithmetic Statistics