-
On functions of low differential uniformity in characteristic 2: A close look (I)
Authors:
Nurdagül Anbar,
Tekgül Kalaycı,
Alev Topuzoğlu
Abstract:
We introduce a new concept, the APN-defect, which can be thought of as measuring the distance of a given function $G:\mathbb{F}_{2^n} \rightarrow \mathbb{F}_{2^n}$ to the set of almost perfect nonlinear (APN) functions. This concept is motivated by the detailed analysis of the differential behaviour of non-APN functions (of low differential uniformity) $G$ using the so-called difference squares. W…
▽ More
We introduce a new concept, the APN-defect, which can be thought of as measuring the distance of a given function $G:\mathbb{F}_{2^n} \rightarrow \mathbb{F}_{2^n}$ to the set of almost perfect nonlinear (APN) functions. This concept is motivated by the detailed analysis of the differential behaviour of non-APN functions (of low differential uniformity) $G$ using the so-called difference squares. We describe the relations between the APN-defect and other recent concepts of similar nature. Upper and lower bounds for the values of APN-defect for several classes of functions of interest, including Dembowski-Ostrom polynomials are given. Its exact values in some cases are also calculated. The difference square corresponding to a modification of the inverse function is determined, its APN-defect depending on $n$ is evaluated and the implications are discussed.
In the forthcoming second part of this work we further examine modifications of the inverse function. We also study modifications of classes of functions of low uniformity over infinitely many extensions of $\mathbb{F}_{2^n}$. We present quantitative results on their differential behaviour, especially in connection with their APN-defects.
△ Less
Submitted 11 June, 2024;
originally announced June 2024.
-
Vectorial Negabent Concepts: Similarities, Differences, and Generalizations
Authors:
Nurdagül Anbar,
Sadmir Kudin,
Wilfried Meidl,
Enes Pasalic,
Alexandr Polujan
Abstract:
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 neg…
▽ More
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.
△ Less
Submitted 8 February, 2024;
originally announced February 2024.
-
P$\wp$N functions, complete map**s and quasigroup difference sets
Authors:
Nurdagul Anbar,
Tekgul Kalyci,
Wilfried Meidl,
Constanza Riera,
Pantelimon Stanica
Abstract:
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 map** $-\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 liter…
▽ More
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 map** $-\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.
△ Less
Submitted 25 December, 2022;
originally announced December 2022.
-
On functions with the maximal number of bent components
Authors:
Nurdagül Anbar,
Tekgül Kalaycı,
Wilfried Meidl,
László Mérai
Abstract:
A function $F:\mathbb{F}_2^n\rightarrow \mathbb{F}_2^n$, $n=2m$, can have at most $2^n-2^m$ bent component functions. Trivial examples are obtained as $F(x) = (f_1(x),\ldots,f_m(x),a_1(x),\ldots, a_m(x))$, where $\tilde{F}(x)=(f_1(x),\ldots,f_m(x))$ is a vectorial bent function from $\mathbb{F}_2^n$ to $\mathbb{F}_2^m$, and $a_i$, $1\le i\le m$, are affine Boolean functions. A class of nontrivial…
▽ More
A function $F:\mathbb{F}_2^n\rightarrow \mathbb{F}_2^n$, $n=2m$, can have at most $2^n-2^m$ bent component functions. Trivial examples are obtained as $F(x) = (f_1(x),\ldots,f_m(x),a_1(x),\ldots, a_m(x))$, where $\tilde{F}(x)=(f_1(x),\ldots,f_m(x))$ is a vectorial bent function from $\mathbb{F}_2^n$ to $\mathbb{F}_2^m$, and $a_i$, $1\le i\le m$, are affine Boolean functions. A class of nontrivial examples is given in univariate form with the functions $F(x) = x^{2^r}{\rm Tr^n_m}(Λ(x))$, where $Λ$ is a linearized permutation of $\mathbb{F}_{2^m}$. In the first part of this article it is shown that plateaued functions with $2^n-2^m$ bent components can have nonlinearity at most $2^{n-1}-2^{\lfloor\frac{n+m}{2}\rfloor}$, a bound which is attained by the example $x^{2^r}{\rm Tr^n_m}(x)$, $1\le r<m$ (Pott et al. 2018). This partially solves Question 5 in Pott et al. 2018. We then analyse the functions of the form $x^{2^r}{\rm Tr^n_m}(Λ(x))$. We show that for odd $m$, only $x^{2^r}{\rm Tr^n_m}(x)$, $1\le r<m$, has maximal nonlinearity, whereas there are more of them for even $m$, of which we present one more infinite class explicitly. In detail, we investigate Walsh spectrum, differential spectrum and their relations for the functions $x^{2^r}{\rm Tr^n_m}(Λ(x))$. Our results indicate that this class contains many nontrivial EA-equivalence classes of functions with the maximal number of bent components, if $m$ is even, several with maximal possible nonlinearity.
△ Less
Submitted 8 October, 2020;
originally announced October 2020.
-
On nilpotent automorphism groups of function fields
Authors:
Nurdagül Anbar,
Burçin Güneş
Abstract:
We study the automorphisms of a function field of genus $g\geq 2$ over an algebraically closed field of characteristic $p>0$. More precisely, we show that the order of a nilpotent subgroup $G$ of its automorphism group is bounded by $16 (g-1)$ when G is not a $p$-group. We show that if $|G|=16(g-1) $, then $g-1$ is a power of $2$. Furthermore, we provide an infinite family of function fields attai…
▽ More
We study the automorphisms of a function field of genus $g\geq 2$ over an algebraically closed field of characteristic $p>0$. More precisely, we show that the order of a nilpotent subgroup $G$ of its automorphism group is bounded by $16 (g-1)$ when G is not a $p$-group. We show that if $|G|=16(g-1) $, then $g-1$ is a power of $2$. Furthermore, we provide an infinite family of function fields attaining the bound.
△ Less
Submitted 17 December, 2019;
originally announced December 2019.
-
Determining the Walsh spectra of Taniguchi's and related APN-functions
Authors:
Nurdagül Anbar,
Tekgül Kalaycı,
Wilfried Meidl
Abstract:
We introduce a method based on Bezout's theorem on intersection points of two projective plane curves, for determining the nonlinearity of some classes of quadratic functions on $\mathbb{F}_{2^{2m}}$. Among those are the functions of Taniguchi 2019, Carlet 2011, and Zhou and Pott 2013, all of which are APN under certain conditions. This approach helps to understand why the majority of the function…
▽ More
We introduce a method based on Bezout's theorem on intersection points of two projective plane curves, for determining the nonlinearity of some classes of quadratic functions on $\mathbb{F}_{2^{2m}}$. Among those are the functions of Taniguchi 2019, Carlet 2011, and Zhou and Pott 2013, all of which are APN under certain conditions. This approach helps to understand why the majority of the functions in those classes have solely bent and semibent components, which in the case of APN functions is called the classical spectrum. More precisely, we show that all Taniguchi functions have the classical spectrum independent from being APN. We determine the nonlinearity of all functions belonging to Carlet's class and to the class of Zhou and Pott, which also confirms with comparatively simple proofs earlier results on the Walsh spectrum of APN-functions in these classes. Using the Hasse-Weil bound, we show that some simple sufficient conditions for the APN-ness of the Zhou-Pott functions, which are given in the original paper, are also necessary.
△ Less
Submitted 29 April, 2019;
originally announced April 2019.
-
On Belyi's Theorems in Positive Characteristic
Authors:
Nurdagul Anbar,
Seher Tutdere
Abstract:
There are two types of Belyi's Theorem for curves defined over finite fields of characteristic p, namely the Wild and the Tame p-Belyi Theorems. In this paper, we discuss them in the language of function fields. We provide a self-contained proof for the Wild p-Belyi Theorem for any prime p and the Tame 2-Belyi Theorem.
There are two types of Belyi's Theorem for curves defined over finite fields of characteristic p, namely the Wild and the Tame p-Belyi Theorems. In this paper, we discuss them in the language of function fields. We provide a self-contained proof for the Wild p-Belyi Theorem for any prime p and the Tame 2-Belyi Theorem.
△ Less
Submitted 2 November, 2018;
originally announced November 2018.
-
On the difference between permutation polynomials over finite fields
Authors:
Nurdagül Anbar,
Almasa Oduzak,
Vandita Patel,
Luciane Quoos,
Anna Somoza,
Alev Topuzoğlu
Abstract:
The well-known Chowla and Zassenhaus conjecture, proven by Cohen in 1990, states that if $p>(d^2-3d+4)^2$, then there is no complete map** polynomial $f$ in $\Fp[x]$ of degree $d\ge 2$. For arbitrary finite fields $\Fq$, a similar non-existence result is obtained recently by I\c sık, Topuzo\u glu and Winterhof in terms of the Carlitz rank of $f$.
Cohen, Mullen and Shiue generalized the Chowla-…
▽ More
The well-known Chowla and Zassenhaus conjecture, proven by Cohen in 1990, states that if $p>(d^2-3d+4)^2$, then there is no complete map** polynomial $f$ in $\Fp[x]$ of degree $d\ge 2$. For arbitrary finite fields $\Fq$, a similar non-existence result is obtained recently by I\c sık, Topuzo\u glu and Winterhof in terms of the Carlitz rank of $f$.
Cohen, Mullen and Shiue generalized the Chowla-Zassenhaus-Cohen Theorem significantly in 1995, by considering differences of permutation polynomials. More precisely, they showed that if $f$ and $f+g$ are both permutation polynomials of degree $d\ge 2$ over $\Fp$, with $p>(d^2-3d+4)^2$, then the degree $k$ of $g$ satisfies $k \geq 3d/5$, unless $g$ is constant. In this article, assuming $f$ and $f+g$ are permutation polynomials in $\Fq[x]$, we give lower bounds for $k %=\mathrm{deg(h)} $ in terms of the Carlitz rank of $f$ and $q$. Our results generalize the above mentioned result of I\c sık et al. We also show for a special class of polynomials $f$ of Carlitz rank $n \geq 1$ that if $f+x^k$ is a permutation of $\Fq$, with $\gcd(k+1, q-1)=1$, then $k\geq (q-n)/(n+3)$.
△ Less
Submitted 23 March, 2017;
originally announced March 2017.
-
Modified planar functions and their components
Authors:
Nurdagül Anbar,
Wilfried Meidl
Abstract:
Zhou 2013 introduced modified planar functions to describe $(2^n,2^n,2^n,1)$ relative difference sets $R$ as a graph of a function on the finite field $\F_{2^n}$, and pointed out that projections of $R$ are difference sets that can be described by negabent or bent$_4$ functions, which are Boolean functions given in multivariate form. Objective of this paper is to contribute to the understanding of…
▽ More
Zhou 2013 introduced modified planar functions to describe $(2^n,2^n,2^n,1)$ relative difference sets $R$ as a graph of a function on the finite field $\F_{2^n}$, and pointed out that projections of $R$ are difference sets that can be described by negabent or bent$_4$ functions, which are Boolean functions given in multivariate form. Objective of this paper is to contribute to the understanding of these component functions of modified planar functions. We first completely describe a multivariate version of modified planar functions in terms of their bent$_4$ components. In the second part we characterize the component functions of (univariate) modified planar functions in terms of appropriate generalizations of the Walsh-Hadamard transform, with respect to which they have a flat spectrum. We hereby obtain a description of modified planar functions by their components which is similar to that of the classical planar functions in odd characteristic as a vectorial bent function.
△ Less
Submitted 12 November, 2016;
originally announced November 2016.
-
A modular interpretation of various cubic towers
Authors:
Nurdagül Anbar,
Alp Bassa,
Peter Beelen
Abstract:
In this article we give a Drinfeld modular interpretation for various towers of function fields meeting Zink's bound.
In this article we give a Drinfeld modular interpretation for various towers of function fields meeting Zink's bound.
△ Less
Submitted 17 October, 2016;
originally announced October 2016.
-
A complete characterization of Galois subfields of the generalized Giulietti--Korchmáros function field
Authors:
Nurdagül Anbar,
Alp Bassa,
Peter Beelen
Abstract:
We give a complete characterization of all Galois subfields of the generalized Giulietti--Korchmáros function fields $\mathcal C_n / \fqn$ for $n\ge 5$. Calculating the genera of the corresponding fixed fields, we find new additions to the list of known genera of maximal function fields.
We give a complete characterization of all Galois subfields of the generalized Giulietti--Korchmáros function fields $\mathcal C_n / \fqn$ for $n\ge 5$. Calculating the genera of the corresponding fixed fields, we find new additions to the list of known genera of maximal function fields.
△ Less
Submitted 3 October, 2016;
originally announced October 2016.
-
Idempotent and p-potent quadratic functions: Distribution of nonlinearity and co-dimension
Authors:
Nurdagül Anbar,
Wilfried Meidl,
Alev Topuzoglu
Abstract:
The Walsh transform $\widehat{Q}$ of a quadratic function $Q:F_{p^n}\rightarrow F_p$ satisfies $|\widehat{Q}(b)| \in \{0,p^{\frac{n+s}{2}}\}$ for all $b\in F_{p^n}$, where $0\le s\le n-1$ is an integer depending on $Q$. In this article, we study the following three classes of quadratic functions of wide interest. The class $\mathcal{C}_1$ is defined for arbitrary $n$ as…
▽ More
The Walsh transform $\widehat{Q}$ of a quadratic function $Q:F_{p^n}\rightarrow F_p$ satisfies $|\widehat{Q}(b)| \in \{0,p^{\frac{n+s}{2}}\}$ for all $b\in F_{p^n}$, where $0\le s\le n-1$ is an integer depending on $Q$. In this article, we study the following three classes of quadratic functions of wide interest. The class $\mathcal{C}_1$ is defined for arbitrary $n$ as $\mathcal{C}_1 = \{Q(x) = Tr(\sum_{i=1}^{\lfloor (n-1)/2\rfloor}a_ix^{2^i+1})\;:\; a_i \in F_2\}$, and the larger class $\mathcal{C}_2$ is defined for even $n$ as $\mathcal{C}_2 = \{Q(x) = Tr(\sum_{i=1}^{(n/2)-1}a_ix^{2^i+1}) + {\rm Tr_{n/2}}(a_{n/2}x^{2^{n/2}+1}) \;:\; a_i \in F_2\}$. For an odd prime $p$, the subclass $\mathcal{D}$ of all $p$-ary quadratic functions is defined as $\mathcal{D} = \{Q(x) = Tr(\sum_{i=0}^{\lfloor n/2\rfloor}a_ix^{p^i+1})\;:\; a_i \in F_p\}$. We determine the distribution of the parameter $s$ for $\mathcal{C}_1, \mathcal{C}_2$ and $\mathcal{D}$. As a consequence we obtain the distribution of the nonlinearity for the rotation symmetric quadratic Boolean functions, and in the case $p > 2$, our results yield the distribution of the co-dimensions for the rotation symmetric quadratic $p$-ary functions, which have been attracting considerable attention recently. We also present the complete weight distribution of the subcodes of the second order Reed-Muller codes corresponding to $\mathcal{C}_1$ and $\mathcal{C}_2$.
△ Less
Submitted 15 March, 2016;
originally announced March 2016.
-
Complete arcs and complete caps from cubics with an isolated double point
Authors:
Nurdagul Anbar,
Daniele Bartoli,
Massimo Giulietti,
Irene Platoni
Abstract:
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…
▽ More
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.
△ Less
Submitted 15 May, 2013;
originally announced May 2013.
-
Small complete caps from nodal cubics
Authors:
Nurdagul Anbar,
Daniele Bartoli,
Massimo Giulietti,
Irene Platoni
Abstract:
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…
▽ More
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$.
△ Less
Submitted 14 May, 2013;
originally announced May 2013.