Upper bounds on the numbers of binary plateaued and bent functions

Vladimir N. Potapov

2024-11-18

Abstract:The logarithm of the number of binary n-variable bent functions is asymptotically less than $11(2^n)/32$ as n tends to infinity. Keywords: boolean function, Walsh--Hadamard transform, plateaued function, bent function, upper bound

Information Theory,Combinatorics

What problem does this paper attempt to address?

Asymptotic bounds on the numbers of certain bent functions

Vladimir N. Potapov,Ferruh Özbudak

DOI: https://doi.org/10.1007/s12095-024-00726-x

2024-07-20

Cryptography and Communications

Abstract:Using recent results of Keevash et al. [10] and Eberhard et al. [8] together with further new detailed techniques in combinatorics, we present constructions of two concrete families of generalized Maiorana-McFarland bent functions. Our constructions improve the lower bounds on the number of bent functions in n variables over a finite field if p is odd and n is odd in the limit as n tends to infinity. Moreover we obtain the asymptotically exact number of two dimensional vectorial Maiorana-McFarland bent functions in n variables over as n tends to infinity.

computer science, theory & methods,mathematics, applied
Existence of balanced functions that are not derivative of bent functions

Vladimir N. Potapov

2023-09-08

Abstract:It is disproved the Tokareva's conjecture that any balanced boolean function of appropriate degree is a derivative of some bent function. This result is based on new upper bounds for the numbers of bent and plateaued functions.

Information Theory
The combinatorial structure and value distributions of plateaued functions

Lukas Kölsch,Alexandr Polujan

2024-10-01

Abstract:We study combinatorial properties of plateaued functions. All quadratic functions, bent functions and most known APN functions are plateaued, so many cryptographic primitives rely on plateaued functions as building blocks. The main focus of our study is the interplay of the Walsh transform and linearity of a plateaued function, its differential properties, and their value distributions, i.e., the sizes of image and preimage sets. In particular, we study the special case of ``almost balanced'' plateaued functions, which only have two nonzero preimage set sizes, generalizing for instance all monomial functions. We achieve several direct connections and (non)existence conditions for these functions, showing for instance that plateaued $d$-to-$1$ functions (and thus plateaued monomials) only exist for a very select choice of $d$, and we derive for all these functions their linearity as well as bounds on their differential uniformity. We also specifically study the Walsh transform of plateaued APN functions and their relation to their value distribution.

Combinatorics,Information Theory
Two Problems about Monomial Bent Functions

Honggang Hu,Bei Wang,Xianhong Xie,Yiyuan Luo

2021-01-01

Abstract: In 2008, Langevin and Leander determined the dual function of three classes of monomial bent functions with the help of Stickelberger's theorem: Dillon, Gold and Kasami. In their paper, they proposed one very strong condition such that their method works, and showed that both Gold exponent and Kasami exponent satisfy this condition. In 2018, Pott {\em et al.} investigated the issue of vectorial functions with maximal number of bent components. They found one class of binomial functions which attains the upper bound. They also proposed an open problem regarding monomial function with maximal number of bent components. In this paper, we obtain an interesting result about the condition of Langevin and Leander, and solve the open problem of Pott {\em et al.}. Specifically, we show that: 1) for a monomial bent function over $\mathbb{F}_{2^{2k}}$, if the exponent satisfies the first part of the condition of Langevin and Leander, then it satisfies the entire condition; 2) $x^{2^k+1}$ is the only monomial function over $\mathbb{F}_{2^{2k}}$ which has maximal number of bent components. Besides, as a byproduct, we dig out a very nice property about Kloosterman sums.
A New Lower Bound on the Second-Order Nonlinearity of a Class of Monomial Bent Functions.

Deng Tang,Haode Yan,Zhengchun Zhou,Xiaosong Zhang

DOI: https://doi.org/10.1007/s12095-019-00360-y

2019-01-01

Cryptography and Communications

Abstract:The second-order nonlinearity can provide knowledge on classes of Boolean functions used in symmetric-key cryptosystems, coding theory, and Gowers norm. It is well-known that bent functions possess the highest nonlinearity on even number of variables and so it will be of great interest to investigate the lower bound on the second-order nonlinearity of such functions. In 2008, Canteaut et al. (Finite Fields Appl. 14 (1), 221–241, 2 ) found a class of monomial bent functions on n = 6 r variables and proved that their derivatives have nonlinearities either 2 n − 1 − 2 4 r − 1 or 2 n − 1 − 2 5 r − 1 . In this paper, we completely determine the distributions of the nonlinearities of the derivatives of this class of bent functions. Further, we present a new lower bound on the second-order nonlinearity of this class of bent functions, which is better than the previous one.
Direct Approaches for Generic Constructions of Plateaued Functions and Bent Functions Outside M#

Yanjun Li,Haibin Kan,Sihem Mesnager,Jie Peng,Lijing Zheng

DOI: https://doi.org/10.1109/tit.2024.3497804

IF: 2.5

2024-01-01

IEEE Transactions on Information Theory

Abstract:The problem of designing explicit bent and plateaued functions has been researched for several decades. However, finding new bent functions outside the well-known completed Maiorana-McFarland class M # is still a challenge. Plateaued functions have been characterized in many different ways, but there is no general and rigorous mathematical method to generate them directly, except for the ones in the spirit of the well-known Maiorana-McFarland constructions or those obtained through adaptations of the secondary constructions of bent functions. Jeong and Lee recently made significant advances regarding algorithms for constructing balanced plateaued functions with maximal algebraic degrees in [IEEE Trans. Inf. Theory, 70(2), 1408-1421, 2024]. Due to the gap between our significant interest in the notion of plateaued functions and the knowledge we have on it, our motivation is to bring further results on the constructions of plateaued functions that allow us to understand their structure better. This article creates a framework of new generic constructions of bent and plateaued functions by studying Boolean functions of the form h ( x ) = f ( x )+ F ( f 1 ( x ),… fr ( x )), where fi ( x ) = f ( x )+ f ( x +μ i ) for each 1 ≤ i ≤ r . We firstly prove that h and f have the same extended Walsh-Hadamard spectrum if D μi D μj f = 0 for any 1 ≤ i < j ≤ r . This result extends a previous construction of bent functions to any Boolean functions. The strength of such a result is that it allows us to obtain several plateaued functions of high algebraic degrees from known ones with low algebraic degrees, which was a significant and challenging problem raised in the literature. Such a result is a real challenge and breaks a deadlock since no mathematical method allows the general constructions of plateaued functions. We next give an extended affine equivalent form of the function h , which provides us with another compelling perspective to design new bent functions (including those which are outside M # from certain known ones inside M # ) and plateaued functions. Finally, we present four generic constructions of bent functions outside M # from generalized Maiorana-McFarland functions.
An Open Problem about Monomial Bent Functions

Honggang Hu,Bei Wang,Xianhong Xie,Yiyuan Luo

DOI: https://doi.org/10.1109/tit.2023.3311583

IF: 2.5

2023-01-01

IEEE Transactions on Information Theory

Abstract:In 2018, Pott et al. investigated vectorial functions with maximal number of bent components. They found one class of binomial functions attaining the upper bound. They also proposed an open problem regarding monomial functions that have the maximal number of bent components. In this paper, we solve this open problem. Specifically, we prove that if $k\geq 2$ , then $x^{s(2^{k}+1)}$ are the only monomial functions over $\mathbb {F}_{2^{2k}}$ that have the maximal number of bent components, where $s\in \{1, 2, 2^{2}, \ldots, 2^{k-1}\}$ . As a consequence, we also solve an open problem of Ness and Helleseth about the cross-correlation function between two sequences in 2006.
An Open Problem on the Bentness of Mesnager's Functions

Chunming Tang,Peng Han,Qi Wang,Jun Zhang,Yanfeng Qi

DOI: https://doi.org/10.48550/arXiv.2109.13421

2021-09-28

Abstract:Let $n=2m$. In the present paper, we study the binomial Boolean functions of the form $$f_{a,b}(x) = \mathrm{Tr}_1^{n}(a x^{2^m-1 }) +\mathrm{Tr}_1^{2}(bx^{\frac{2^n-1}{3} }), $$ where $m$ is an even positive integer, $a\in \mathbb{F}_{2^n}^*$ and $b\in \mathbb{F}_4^*$. We show that $ f_{a,b}$ is a bent function if the Kloosterman sum $$K_{m}\left(a^{2^m+1}\right)=1+ \sum_{x\in \mathbb{F}_{2^m}^*} (-1)^{\mathrm{Tr}_1^{m}(a^{2^m+1} x+ \frac{1}{x})}$$ equals $4$, thus settling an open problem of Mesnager. The proof employs tools including computing Walsh coefficients of Boolean functions via multiplicative characters, divisibility properties of Gauss sums, and graph theory.

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

Alexandr Valyuzhenich

2024-04-16

Abstract:The spectrum of a complex-valued function $f$ on $\mathbb{Z}_{q}^n$ is the set $\{|u|:u\in \mathbb{Z}_q^n~\mathrm{and}~\widehat{f}(u)\neq 0\}$, where $|u|$ is the Hamming weight of $u$ and $\widehat{f}$ is the Fourier transform of $f$. Let $1\leq d'\leq d\leq n$. In this work, we study Boolean functions on $\mathbb{Z}_{q}^n$, $q\geq 3$, whose spectrum is a subset of $\{0\}\cup \{d',\ldots,d\}$. We prove that such functions have at most $\frac{d}{2}\cdot \frac{q^{d+d'}}{2^{d'}(q-1)^{d'}}$ relevant variables for $d'+d\leq n+1$. In particular, we prove that any Boolean function of degree $d$ on $\mathbb{Z}_{q}^n$, $q\geq 3$, has at most $\frac{dq^{d+1}}{4(q-1)}$ relevant variables. We also show that any equitable 2-partition of the Hamming graph $H(n,q)$, $q\geq 3$, associated with the eigenvalue $n(q-1)-qd$ has at most $\frac{d}{2}\cdot \frac{q^{2d}}{2^d(q-1)^{d}}$ relevant variables for $d\leq \frac{n+1}{2}$.

Combinatorics
Three New Infinite Families of Bent Functions

Libo Wang,Baofeng Wu,Zhuojun Liu,Dongdai Lin

DOI: https://doi.org/10.1007/s11432-016-0624-x

2017-01-01

Science China Information Sciences

Abstract:Bent functions are maximally nonlinear Boolean functions with an even number of variables.They are closely related to some interesting combinatorial objects and also have important applications in coding,cryptography and sequence design.In this paper,we firstly give a necessary and sufficient condition for a type of Boolean functions,which obtained by adding the product of finitely many linear functions to given bent functions,to be bent.In the case that these known bent functions are chosen to be Kasami functions,Gold-like functions and functions with Niho exponents,respectively,three new explicit infinite families of bent functions are obtained.Computer experiments show that the proposed familes also contain such bent functions attaining optimal algebraic degree.
On The Dual Of Generalized Boolean Bent Functions Over Z(4)

Baofeng Wu,Dongdai Lin

DOI: https://doi.org/10.1109/ISIT.2015.7282506

2015-01-01

Abstract:We introduce and study dual functions of generalized Boolean bent functions over Z(4), i.e., functions from F2-vector spaces to Z(4) whose Fourier transforms have constant magnitudes. For a special class of generalized Boolean bent functions with even number of variables constructed from a class of quadratic binary bent functions in polynomial forms proposed by the first author, we explicitly determine their dual functions by explicitly determining duals of these binary bent functions.
On the Nonexistence of Bent Functions.

Yin Zhang,Meicheng Liu,Dongdai Lin

DOI: https://doi.org/10.1142/s0129054111008799

2011-01-01

International Journal of Foundations of Computer Science

Abstract:In this paper, we study the nonexistence of bent functions in the class of Boolean functions without monomials of degree less than d in their algebraic normal forms (ANF). We prove that n-variable Boolean functions in such class are not bent when there are not more than n + d - 3 monomials in their ANFs. We also show that an n-variable Boolean function is not bent if it has no monomial of degree less than ⌈3n/8 + 3/4⌉ in its ANF.
New constructions of balanced Boolean functions with the maximum possible Walsh supports

Yueying Lou,Qichun Wang

DOI: https://doi.org/10.1016/j.dam.2024.05.007

IF: 1.254

2024-05-23

Discrete Applied Mathematics

Abstract:Cryptographic Boolean functions play an important role in the design of symmetric ciphers. Many cryptographic criteria such as balancedness, nonlinearity, correlation immunity and transparency order are connected with the Walsh support of a Boolean function. However, we still know little about the possible structure of the Walsh supports of Boolean functions. In 2005, Carlet and Mesnager studied the Walsh supports of Boolean functions and constructed a class of n -variable Boolean functions whose Walsh support is F2n∖{0} , for n≥10 . For n≤6 , it can be verified using the computer that there is no Boolean function with the Walsh Support F2n∖{0} . However, concerning the values of n=7,8,9 , it has been an open problem for many years. In this paper, we construct two classes of balanced Boolean functions with the maximum possible Walsh support F2n∖{0} , and partially solve this problem. The first class of functions are of odd variables with n≥9 , and the second class of functions are constructed based on the Maiorana–McFarland bent functions, which are of even variables with n≥8 . As a result, the above open problem has been settled for n=8,9 , and the only unsolved case is n=7 .

mathematics, applied
Further Results on Constructions of Generalized Bent Boolean Functions

Fengrong Zhang,Shixiong Xia,Pantelimon Stănică,Yu Zhou

DOI: https://doi.org/10.1007/s11432-016-5543-7

2016-01-01

Science China Information Sciences

Abstract:>Dear editor,Boolean bent functions were introduced by Rothaus in 1976 as an interesting combinatorial object with the important property of having optimal nonlinearity[1].Since bent functions have many applications in sequence design,cryptography and algebraic coding,they have been extensively studied during the last thirty years[2,3].Over the past decades,based on bent functions,several constructions of highly nonlinear balanced functions were presented[4,5].
A Lower Bound on the Number of Boolean Functions with Median Correlation Immunity

Vladimir N. Potapov

DOI: https://doi.org/10.1109/REDUNDANCY48165.2019.9003342

2019-10-07

Abstract:The number of $n$-ary balanced correlation immune (resilient) Boolean functions of order $\frac{n}{2}$ is not less than $n^{2^{(n/2)-2}(1+o(1))}$ as $n\rightarrow\infty$. Keywords: resilient function, correlation immune function, orthogonal array

Information Theory
Further Study on the Maximum Number of Bent Components of Vectorial Functions.

Sihem Mesnager,Fengrong Zhang,Chunming Tang,Yong Zhou

DOI: https://doi.org/10.1007/s10623-019-00639-4

2018-01-01

Abstract:In 2018, Pott et al. have studied in (IEEE Trans Inf Theory 64(1):403-411, 2018) the maximum number of bent components of vectorial functions. They have presented many nice results and suggested several open problems in this context. This paper is in the continuation of their study in which we solve two open problems raised by Pott et al. and partially solve an open problem raised by the same authors. Firstly, we prove that for a vectorial function, the property of having the maximum number of bent components is invariant under the so-called CCZ equivalence. Secondly, we prove the non-existence of APN plateaued functions having the maximum number of bent components. In particular, quadratic APN functions cannot have the maximum number of bent components. Finally, we present some sufficient conditions that the vectorial function defined from $$\mathbb {F}_{2^{2k}}$$ to $$\mathbb {F}_{2^{2k}}$$ by its univariate representation: $$\begin{aligned} \alpha x^{2^i}\left( x+x^{2^k}+\sum \limits _{j=1}^{\rho }\gamma ^{(j)}x^{2^{t_j}} +\sum \limits _{j=1}^{\rho }\gamma ^{(j)}x^{2^{t_j+k}}\right) \end{aligned}$$ has the maximum number of bent components, where $$\rho \le k$$ . Further, we show that the differential spectrum of the function $$ x^{2^i}(x+x^{2^k}+x^{2^{t_1}}+x^{2^{t_1+k}}+x^{2^{t_2}}+x^{2^{t_2+k}})$$ (where $$i,t_1,t_2$$ satisfy some conditions) is different from the binomial function $$F^i(x)= x^{2^i}(x+x^{2^k})$$ presented in the article of Pott et al.
Secondary Constructions of Highly Nonlinear Boolean Functions and Disjoint Spectra Plateaued Functions

Feng-rong Zhang,Claude Carlet,Yu-pu Hu,Tian-jie Cao

DOI: https://doi.org/10.1016/j.ins.2014.06.024

IF: 8.1

2014-01-01

Information Sciences

Abstract:In this paper, we modify a generalized indirect sum construction to construct functions with high nonlinearity. By utilizing the modified construction, highly nonlinear functions in (n+m) variables can be obtained from known bent functions in n variables and highly nonlinear functions in m variables. It is possible to obtain new (n+15)-variable functions with nonlinearity 2n+15-1-2(n+15-1)/2+20×2n/2 and new 12-variable 2-resilient functions with nonlinearity 2000 and algebraic degree 8, which achieve optimal algebraic immunity. Moreover, the modified construction can also be used as an iterative construction of a quadruple of disjoint spectra plateaued functions. In addition, we present sufficient conditions for a quadruple of disjoint spectra plateaued functions to have no nonzero linear structure.
Several New Infinite Families of Bent Functions Via Second Order Derivatives.

University of South China,Peng Jie,Kan Haibin,Li Yanjun

DOI: https://doi.org/10.1007/s12095-020-00436-0

2020-01-01

Cryptography and Communications

Abstract:Inspired by a recent work of Tang et al. on constructing bent functions [14, IEEE TIT, 63(1): 6149-6157, 2017], we introduce a property (Pτ) of any Boolean function that its second order derivatives vanish at any direction (ui,uj) for some τ-subset {u1,…,uτ} of $\mathbb {F}_{2^{n}}$, and then establish a link between this property and the construction of Tang et al. (IEEE Trans. Inf. Theory 63(10), 6149–6157 2017). It enables us to find more bent functions efficiently. We construct (at least) five new infinite families of bent functions from some known functions: the Gold’s bent functions and some quadratic non-monomial bent functions, Leander’s monomial bent functions, Canteaut-Charpin-Kyureghyan’s monomial bent functions, and the Maiorana-McFarland class of bent functions, respectively. Our result generalizes some recent works on bent functions. We also provide the corresponding dual functions in all our constructions except the quadratic non-monomial one. It also turns out that we can get new bent functions outside the Maiorana-McFarland completed class.
On the max min of the algebraic degree and the nonlinearity of a Boolean function on an affine subspace

Jan Kristian Haugland

2024-09-05

Abstract:We investigate the max min of the algebraic degree and the nonlinearity of a Boolean function in $n$ variables when restricted to a $k$-dimensional affine subspace of $\mathbb{F}_2^n$. Previous authors have focused on the cases when the max min of the algebraic degree is 0 or 1. Upper bounds, lower bounds and a conjecture on the exact value in special cases are presented.

Combinatorics
Complete Characterization of Generalized Bent and 2-Bent Boolean Functions.

Chunming Tang,Can Xiang,Yanfeng Qi,Keqin Feng

DOI: https://doi.org/10.1109/tit.2017.2686987

2017-01-01

Abstract:In this paper, we investigate properties of generalized bent Boolean functions and 2k-bent (i.e., negabent, octabent, hexadecabent, et al.) Boolean functions in a uniform framework. From the Hadamard matrices, Hodzic and Pasalic presented sufficient conditions for generalized bent functions. Using cyclotomic fields and the decomposition of generalized bent functions, we generalize their results, prove that Hodzic and Pasalic's conditions of generalized bent functions are not only sufficient but also necessary, and completely characterize generalized bent functions in terms of their component functions. Furthermore, we present a secondary construction of bent functions or semibent functions from generalized bent functions. Finally, we give the relations of generalized bent functions and 2 k -bent functions, demonstrate that 2 k -bent functions are actually a special class of generalized bent functions, and completely characterize 2 k -bent functions.

Upper bounds on the numbers of binary plateaued and bent functions

Asymptotic bounds on the numbers of certain bent functions

Existence of balanced functions that are not derivative of bent functions

The combinatorial structure and value distributions of plateaued functions

Two Problems about Monomial Bent Functions

A New Lower Bound on the Second-Order Nonlinearity of a Class of Monomial Bent Functions.

Direct Approaches for Generic Constructions of Plateaued Functions and Bent Functions Outside M#

An Open Problem about Monomial Bent Functions

An Open Problem on the Bentness of Mesnager's Functions

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

Three New Infinite Families of Bent Functions

On The Dual Of Generalized Boolean Bent Functions Over Z(4)

On the Nonexistence of Bent Functions.

New constructions of balanced Boolean functions with the maximum possible Walsh supports

Further Results on Constructions of Generalized Bent Boolean Functions

A Lower Bound on the Number of Boolean Functions with Median Correlation Immunity

Further Study on the Maximum Number of Bent Components of Vectorial Functions.

Secondary Constructions of Highly Nonlinear Boolean Functions and Disjoint Spectra Plateaued Functions

Several New Infinite Families of Bent Functions Via Second Order Derivatives.

On the max min of the algebraic degree and the nonlinearity of a Boolean function on an affine subspace

Complete Characterization of Generalized Bent and 2-Bent Boolean Functions.