9-variable Boolean functions with nonlinearity 242 in the generalized rotation symmetric class

We give a new lower bound to the covering radius of the first order Reed-Muller code RM(1,n), where n@?{9,11,13}. Equivalently, we present the n-variable Boolean functions for n@?{9,11,13} with maximum nonlinearity found till now. In 2006, 9-variable Boolean functions having nonlinearity 241, which is strictly greater than the bent concatenation bound of 240, have been discovered in the class of Rotation Symmetric Boolean Functions (RSBFs) by Kavut, Maitra and Yucel. To improve this nonlinearity result, we have firstly defined some subsets of the n-variable Boolean functions as the generalized classes of ''k-RSBFs and k-DSBFs (k-Dihedral Symmetric Boolean Functions)'', where k is a positive integer dividing n. Secondly, utilizing a steepest-descent like iterative heuristic search algorithm, we have found 9-variable Boolean functions with nonlinearity 242 within the classes of both 3-RSBFs and 3-DSBFs. Thirdly, motivated by the fact that RSBFs are invariant under a special permutation of the input vector, we have classified all possible permutations up to the linear equivalence of Boolean functions that are invariant under those permutations.

[1]  Nicholas J. Patterson,et al.  The covering radius of the (215, 16) Reed-Muller code is at least 16276 , 1983, IEEE Trans. Inf. Theory.

[2]  Johannes Mykkeltveit The covering radius of the (128, 8) Reed-Muller code is 56 (Corresp.) , 1980, IEEE Trans. Inf. Theory.

[3]  Fred S. Roberts,et al.  Applied Combinatorics , 1984 .

[4]  Frank Harary,et al.  Graph Theory , 2016 .

[5]  Selçuk Kavut,et al.  Generalized Rotation Symmetric and Dihedral Symmetric Boolean Functions - 9 Variable Boolean Functions with Nonlinearity 242 , 2007, AAECC.

[6]  F. MacWilliams,et al.  The Theory of Error-Correcting Codes , 1977 .

[7]  Subhamoy Maitra,et al.  Balanced Boolean Function on 13-variables having Nonlinearity strictly greater than the Bent Concatenation Bound , 2007, IACR Cryptol. ePrint Arch..

[8]  Subhamoy Maitra,et al.  Idempotents in the neighbourhood of Patterson-Wiedemann functions having Walsh spectra zeros , 2008, Des. Codes Cryptogr..

[9]  Elwyn R. Berlekamp,et al.  Weight distributions of the cosets of the (32, 6) Reed-Muller code , 1972, IEEE Trans. Inf. Theory.

[10]  Cunsheng Ding,et al.  The Stability Theory of Stream Ciphers , 1991, Lecture Notes in Computer Science.

[11]  Selçuk Kavut,et al.  Search for Boolean Functions With Excellent Profiles in the Rotation Symmetric Class , 2007, IEEE Transactions on Information Theory.

[12]  Yuliang Zheng,et al.  GAC - the Criterion for Global Avalance Characteristics of Cryptographic Functions , 1995, J. Univers. Comput. Sci..

[13]  John A. Clark,et al.  Results on Rotation Symmetric Bent and Correlation Immune Boolean Functions , 2004, FSE.

[14]  Ning Cai,et al.  Orphan structure of the first-order Reed-Muller codes , 1992, Discret. Math..

[15]  Caroline Fontaine,et al.  On Some Cosets of the First-Order Reed-Muller Code with High Minimum Weight , 1999, IEEE Trans. Inf. Theory.

[16]  Tor Helleseth,et al.  On the covering radius of binary codes (Corresp.) , 1978, IEEE Trans. Inf. Theory.

[17]  Eric Filiol,et al.  Highly Nonlinear Balanced Boolean Functions with a Good Correlation-Immunity , 1998, EUROCRYPT.

[18]  Pantelimon Stanica,et al.  Rotation symmetric Boolean functions - Count and cryptographic properties , 2003, Discret. Appl. Math..

[19]  Selçuk Kavut,et al.  Enumeration of 9-Variable Rotation Symmetric Boolean Functions Having Nonlinearity > 240 , 2006, INDOCRYPT.

[20]  O. S. Rothaus,et al.  On "Bent" Functions , 1976, J. Comb. Theory, Ser. A.

[21]  Anne Canteaut,et al.  Improved Fast Correlation Attacks Using Parity-Check Equations of Weight 4 and 5 , 2000, EUROCRYPT.

[22]  Xiang-dong Hou On the norm and covering radius of the first-order Reed-Muller codes , 1997, IEEE Trans. Inf. Theory.