arXiv++ Combinatorics

We study generalizations of two classical primary constructions of Boolean bent functions, namely the Maiorana-McFarland ($MM$) class and the (Desarguesian) partial spread ($\mathcal{PS}_{ap}$) class. The construction of bent functions lying outside the completed $MM$ class has attracted considerable attention in recent years. In this direction, we construct families of generalized Maiorana--McFarland bent functions that are not equivalent to any function in the classical $MM$ or $\mathcal{PS}_{ap}$ classes, and hence lie outside their completed classes. As a second contribution, we investigate the decomposition of generalized $\mathcal{PS}_{ap}$ functions. We prove that when the degree is sufficiently small relative to the size of the underlying finite field, such functions do not, in general, admit a decomposition into bent or semibent functions. Consequently, they cannot be obtained from known secondary constructions based on concatenation. Finally, we present a secondary construction of Boolean bent functions arising from the concatenation of components of vectorial generalized $\mathcal{PS}_{ap}$ functions. Our constructions and proofs rely on classical results concerning second-order derivatives of bent functions and their duals. In addition, we employ methods from the theory of algebraic curves and their function fields.

In Pasalic et al., IEEE Trans. Inform. Theory 69 (2023), 2702--2712, and in Anbar, Meidl, Cryptogr. Commun. 10 (2018), 235--249, two different vectorial negabent and vectorial bent-negabent concepts are introduced, which leads to seemingly contradictory results. One of the main motivations for this article is to clarify the differences and similarities between these two concepts. Moreover, the negabent concept is extended to generalized Boolean functions from \(\mathbb{F}_2^n\) to the cyclic group \(\mathbb{Z}_{2^k}\). It is shown how to obtain nega-\(\mathbb{Z}_{2^k}\)-bent functions from \(\mathbb{Z}_{2^k}\)-bent functions, or equivalently, corresponding non-splitting relative difference sets from the splitting relative difference sets. This generalizes the shifting results for Boolean bent and negabent functions. We finally point to constructions of \(\mathbb{Z}_8\)-bent functions employing permutations with the \((\mathcal{A}_m)\) property, and more generally we show that the inverse permutation gives rise to \(\mathbb{Z}_{2^k}\)-bent functions.

We investigate pairs of permutations $F,G$ of $\mathbb{F}_{p^n}$ such that $F(x+a)-G(x)$ is a permutation for every $a\in\mathbb{F}_{p^n}$. We show that necessarily $G(x) = \wp(F(x))$ for some complete mapping $-\wp$ of $\mathbb{F}_{p^n}$, and call the permutation $F$ a perfect $\wp$ nonlinear (P$\wp$N) function. If $\wp(x) = cx$, then $F$ is a PcN function, which have been considered in the literature, lately. With a binary operation on $\mathbb{F}_{p^n}\times\mathbb{F}_{p^n}$ involving $\wp$, we obtain a quasigroup, and show that the graph of a P$\wp$N function $F$ is a difference set in the respective quasigroup. We further point to variants of symmetric designs obtained from such quasigroup difference sets. Finally, we analyze an equivalence (naturally defined via the automorphism group of the respective quasigroup) for P$\wp$N functions, respectively, the difference sets in the corresponding quasigroup.

Small complete arcs and caps in Galois spaces over finite fields $\fq$ with characteristic greater than 3 are constructed from cubic curves with an isolated double point. For $m$ a divisor of $q+1$, complete plane arcs of size approximately $q/m$ are obtained, provided that $(m,6)=1$ and $m<\{1}{4}q^{1/4}$. If in addition $m=m_1m_2$ with $(m_1,m_2)=1$, then complete caps of size approximately $\{m_1+m_2}{m}q^{N/2}$ in affine spaces of dimension $N\equiv 0 \pmod 4$ are constructed.

Bicovering arcs in Galois affine planes of odd order are a powerful tool for constructing complete caps in spaces of higher dimensions. In this paper we investigate whether some arcs contained in nodal cubic curves are bicovering. For $m_1$, $m_2$ coprime divisors of $q-1$, bicovering arcs in $AG(2,q)$ of size $k\le (q-1)\frac{m_1+m_2}{m_1m_2}$ are obtained, provided that $(m_1m_2,6)=1$ and $m_1m_2<\sqrt[4]{q}/3.5$. Such arcs produce complete caps of size $kq^{(N-2)/2}$ in affine spaces of dimension $N\equiv 0 \pmod 4$. For infinitely many $q$'s these caps are the smallest known complete caps in $AG(N,q)$, $N \equiv 0 \pmod 4$.