Bent functions and line ovals (Q2401959)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 6769682
Language Label Description Also known as
default for all languages
No label defined
    English
    Bent functions and line ovals
    scientific article; zbMATH DE number 6769682

      Statements

      Bent functions and line ovals (English)
      0 references
      5 September 2017
      0 references
      Let \(K = \mathbb{F}_{2^n}\) and \(\mathbb{F}_2\) be finite fields of orders \(2^n\) and \(2\) respectively. Let \(\mathbb{F}_{2}^n\) be an \(\mathbb{F}_2\)-vector space of dimension \(n\). A Boolean function on \(\mathbb{F}_{2^n}\) is a mapping from \(\mathbb{F}_{2^n}\) to the prime field \(\mathbb{F}_2\). If \(f\) is a Boolean function defined on \(\mathbb{F}_{2^n}\), then the Walsh transform of \(f\) is defined as \[ W_f (b) = \sum_{x \in \mathbb{F}_{2^n}} (-1)^{f(x)+Tr(bx)}, \] where \(\operatorname{Tr}\) is the trace function from \(\mathbb{F}_{2^n}\) to \(\mathbb{F}_2\). Let \(n\) be an even integer, \(F=\mathbb{F}_{2^m}\), \(m=n/2\). A Boolean function \(f\) on \(\mathbb{F}_{2^n}\) is said to be bent if its Walsh transform satisfies \(W_f (b) = \pm 2^{n/2}\) for all \(b\in \mathbb{F}_{2^n}\). Two bent functions \(f,g\) are said to be extended-affine equivalent (EAequivalent) if there exist an affine permutation \(L\) of \(\mathbb{F}_{2^n}\) and an affine function \(\ell : \mathbb{F}_{2^n} \to \mathbb{F}_2\) such that \(g(x) = (f \circ L)(x) +\ell(x)\). In this paper, the author studies bent functions which are linear on elements of spreads and their connections with ovals and line ovals, giving descriptions of their dual bent functions. Concerning the connection with line ovals, the author proves that the function \(f\) defined by \(f(\lambda u) = \operatorname{Tr}_{\mathbb{F}_{2^m}/\mathbb{F}_2}(\lambda g(u))\), \(\lambda \in F\), for some function \(g : S \to F\), where \(S\) is the multiplicative group of the \((q+1)\)st roots of unity in \(K\), is bent if and only if the set \[ \mathcal{O} = \{\{x\in K : \operatorname{Tr}_{\mathbb{F}_{2^n}/\mathbb{F}_{2^m}}(ux)=g(u)\} : u\in S\} \] is a line oval in \(K\), that is a set of \(2^m+1\) lines no three of which are concurrent. Finally, he also points out that bent functions which are linear on elements of inequivalent spreads can be EAequivalent.
      0 references
      spreads
      0 references
      ovals
      0 references
      line ovals
      0 references
      quasi elds
      0 references
      semi elds
      0 references
      bent functions
      0 references
      Niho bent functions
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references