Using P_τ property for designing bent functions provably outside the completed Maiorana–McFarland class

In this article, we identify certain instances of bent functions, constructed using the so-called P_τ P τ property, that are provably outside the completed Maiorana–McFarland ( MM^# M M # ) class. This also partially answers an open problem in posed by Kan et al. (IEEE Trans Inf Theory, https://doi.org/10.1109/TIT.2022.3140180 , 2022). We show that this design framework (using the P_τ P τ property), can provide instances of bent functions that are outside the known classes of bent functions, including the classes MM^# M M # , C,D C , D and D₀ D 0 , where the latter three were introduced by Carlet in the early nineties. We provide two generic methods for identifying such instances, where most notably one of these methods uses permutations that may admit linear structures. For the first time, a set of sufficient conditions for the functions of the form h(y,z)=Tr(yπ (z)) + G₁(Tr₁ᵐ(α ₁y),… ,Tr₁ᵐ(α ₖy))G₂(Tr₁ᵐ(β ₖ₊₁z),… ,Tr₁ᵐ(β τz))+ G₃(Tr₁ᵐ(α ₁y),… ,Tr₁ᵐ(α ₖy)) h ( y , z ) = T r ( y π ( z ) ) + G 1 ( T r 1 m ( α 1 y ) , … , T r 1 m ( α k y ) ) G 2 ( T r 1 m ( β k + 1 z ) , … , T r 1 m ( β τ z ) ) + G 3 ( T r 1 m ( α 1 y ) , … , T r 1 m ( α k y ) ) to be bent and outside MM^# M M # is specified without a strong assumption that the components of the permutation π π do not admit linear structures.