Hyper-bent functions and cyclic codes

  • Authors:
  • Claude Carlet;Philippe Gaborit

  • Affiliations:
  • INRIA, Domaine de Voluceau, Rocquencourt, Le Chesnay, Cedex, France and University of Paris (MAATICAH);LACO, Université de Limoges, Limoges, France

  • Venue:
  • Journal of Combinatorial Theory Series A
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

Bent functions are those Boolean functions whose Hamming distance to the Reed-Muller code of order 1 equal 2n-1) - 2n/2-1 (where the number n of variables is even). These combinatorial objects, with fascinating properties, are rare. Few constructions are known, and it is difficult to know whether the bent functions they produce are peculiar or not, since no way of generating at random bent functions on 8 variables or more is known.The class of bent functions contains a subclass of functions whose properties are still stronger and whose elements are still rarer. Youssef and Gong have proved the existence of such hyperbent functions, for every even n. We prove that the hyper-bent functions they exhibit are exactly those elements of the well-known PIap class, introduced by Dillon, up to the linear transformations x ↦ δx, δ ∈ F2n*. Hyper-bent functions seem still more difficult to generate at random than bent functions; however, by showing that they all can be obtained from some codewords of an extended cyclic code Hn with small dimension, we can enumerate them for up to 10 variables. We study the non-zeroes of Hn and we deduce that the algebraic degree of hyper-bent functions is n/2. We also prove that the functions of class PIap are some codewords of weight 2n-1 - 2n/2-1 of a subcode of Hn and we deduce that for some n, depending on the factorization of 2n - 1, the only hyperbent functions on n variables are the elements of the class PIap#, obtained from PIap by composing the functions by the transformations x ↦ δx, δ ≠ 0, and by adding constant functions. We prove that non-PIap# hyper-bent functions exist for n = 4, but it is not clear whether they exist for greater n. We also construct potentially new bent functions for n = 12.