Design and analysis of bent functions using M-subspaces

Enes Pasalic,Alexandr Polujan,Sadmir Kudin,Fengrong Zhang
DOI: https://doi.org/10.1109/tit.2024.3352824
IF: 2.5
2024-01-01
IEEE Transactions on Information Theory
Abstract:In this article, we provide the first systematic analysis of bent functions f on Fn2 in the Maiorana-McFarland class M regarding the origin and cardinality of their M-subspaces, i.e., vector subspaces such that for any two elements a, b from this subspace, the second-order derivative DaDbf is the zero function on Fn2. By imposing restrictions on permutations π of Fn/2 2, we specify the conditions so that Maiorana-McFarland bent functions f(x, y) = x · π(y) + h(y) admit a unique M-subspace of dimension n/2. On the other hand, we show that permutations π with linear structures give rise to Maiorana-McFarland bent functions that do not have this property. In this way, we contribute to the classification of Maiorana-McFarland bent functions, since the number of M-subspaces of a fixed dimension is invariant under equivalence. Additionally, we give several generic methods of specifying permutations π so that f ∈ M admits a unique M-subspace. Most notably, using the knowledge about M-subspaces, we show that using the bent 4-concatenation of four suitably chosen Maiorana-McFarland bent functions on Fn−2 2, one can in a generic manner generate bent functions on Fn2 outside the completed Maiorana-McFarland class M# for any even n ≥ 8. Remarkably, with our construction methods, it is possible to obtain inequivalent bent functions on F82 not stemming from the two primary classes, the partial spread class PS and M. In this way, we contribute to a better understanding of the origin of bent functions in eight variables, since only a small fraction of about 276 bent functions stems from PS and M, whereas their total number on F82 is approximately 2106.
computer science, information systems,engineering, electrical & electronic
What problem does this paper attempt to address?