Bent functions and line ovals (Q2401959)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Bent functions and line ovals |
scientific article |
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