When does a bent concatenation not belong to the completed Maiorana-McFarland class?

Sadmir Kudin,Enes Pasalic,Alexandr Polujan,Fengrong Zhang

2024-04-25

Abstract:Every Boolean bent function $f$ can be written either as a concatenation $f=f_1||f_2$ of two complementary semi-bent functions $f_1,f_2$; or as a concatenation $f=f_1||f_2||f_3||f_4$ of four Boolean functions $f_1,f_2,f_3,f_4$, all of which are simultaneously bent, semi-bent, or 5-valued spectra-functions. In this context, it is essential to ask: When does a bent concatenation $f$ (not) belong to the completed Maiorana-McFarland class $\mathcal{M}^\#$? In this article, we answer this question completely by providing a full characterization of the structure of $\mathcal{M}$-subspaces for the concatenation of the form $f=f_1||f_2$ and $f=f_1||f_2||f_3||f_4$, which allows us to specify the necessary and sufficient conditions so that $f$ is outside $\mathcal{M}^\#$. Based on these conditions, we propose several explicit design methods of specifying bent functions outside $\mathcal{M}^\#$ in the special case when $f=g||h||g||(h+1)$, where $g$ and $h$ are bent functions.

Information Theory,Cryptography and Security,Discrete Mathematics,Combinatorics

What problem does this paper attempt to address?

This paper investigates a special type of bent functions in Boolean functions that do not belong to the Majorana-McFarland class (M#). Bent functions have important applications in cryptography and coding theory. The main objective of the paper is to fully describe the cases where the composed bent functions of two or four Boolean functions do not belong to the M# class.

Firstly, for the composition of two functions f1 and f2 denoted as f=f1||f2, the paper provides formulas for the second order derivatives and defines the M-subspace, which is crucial in determining whether a function belongs to the M# class. If f1 and f2 do not share a high-dimensional M-subspace and satisfy specific derivative conditions, then f is not in the M# class.

Next, for the composition of four functions f1, f2, f3, and f4 denoted as f=f1||f2||f3||f4, the paper presents an expression for the second order derivatives and describes the M-subspace structures of different dimensions in detail. Similarly, if these functions do not share specific M-subspaces and satisfy specific linear relations, then f is not in the M# class.

Furthermore, the paper discusses a special form of bent function f=g||h||g||(h+1), where g and h are bent functions. If g and h do not share the maximum dimensional M-subspace, then f does not belong to the M# class. This provides a method to construct bent functions that are not in the M# class.

Finally, the paper demonstrates how the class inclusion properties of bent functions can be affected by applying appropriate affine transformations, and provides specific application examples.

In conclusion, this paper delves into the structure of bent functions, particularly their M-subspaces, to determine which composed bent functions are not included in the Majorana-McFarland class. This research has significant implications for understanding and designing such functions.