-
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.
-
Asymptotic performance of double and four circulant codes with small hull dimension
Authors:
Zohreh Aliabadi,
Tekgül Kalaycı
Abstract:
We study the asymptotic behavior of double and four circulant codes, which are quasi-cyclic codes of index two and four respectively. Exact enumeration results are derived for these families of codes with the prescribed hull dimension. These formulas, in turn, are the most used tools to prove the good behavior of double circulant and four circulant codes asymptotically. Computational results on th…
▽ More
We study the asymptotic behavior of double and four circulant codes, which are quasi-cyclic codes of index two and four respectively. Exact enumeration results are derived for these families of codes with the prescribed hull dimension. These formulas, in turn, are the most used tools to prove the good behavior of double circulant and four circulant codes asymptotically. Computational results on the code families in consideration are provided as well.
△ Less
Submitted 9 February, 2025; v1 submitted 13 January, 2024;
originally announced January 2024.
-
On the hull and complementarity of one generator quasi-cyclic codes and four-circulant codes
Authors:
Zohreh Aliabadi,
Cem Güneri,
Tekgül Kalaycı
Abstract:
We study one generator quasi-cyclic codes and four-circulant codes, which are also quasi-cyclic but have two generators. We state the hull dimensions for both classes of codes in terms of the polynomials in their generating elements. We prove results such as the hull dimension of a four-circulant code is even and one-dimensional hull for double-circulant codes, which are special one generator code…
▽ More
We study one generator quasi-cyclic codes and four-circulant codes, which are also quasi-cyclic but have two generators. We state the hull dimensions for both classes of codes in terms of the polynomials in their generating elements. We prove results such as the hull dimension of a four-circulant code is even and one-dimensional hull for double-circulant codes, which are special one generator codes, is not possible when the alphabet size $q$ is congruent to 3 mod 4. We also characterize linear complementary pairs among both classes of codes. Computational results on the code families in consideration are provided as well.
△ Less
Submitted 8 January, 2024; v1 submitted 11 July, 2023;
originally announced July 2023.
-
A note on the hull and linear complementary pair of cyclic codes
Authors:
Zohreh Aliabadi,
Tekgül Kalaycı
Abstract:
The Euclidean hull of a linear code $C$ is defined as $C\cap C^{\perp}$, where $C^\perp$ denotes the dual of $C$ under the Euclidean inner product. A linear code with zero hull dimension is called a linear complementary dual (LCD) code. A pair $(C, D)$ of linear codes of length $n$ over $\mathbb{F}_q$ is called a linear complementary pair (LCP) of codes if $C\oplus D=\mathbb{F}_q^n$. In this paper…
▽ More
The Euclidean hull of a linear code $C$ is defined as $C\cap C^{\perp}$, where $C^\perp$ denotes the dual of $C$ under the Euclidean inner product. A linear code with zero hull dimension is called a linear complementary dual (LCD) code. A pair $(C, D)$ of linear codes of length $n$ over $\mathbb{F}_q$ is called a linear complementary pair (LCP) of codes if $C\oplus D=\mathbb{F}_q^n$. In this paper, we give a characterization of LCD and LCP of cyclic codes of length $q^m-1$, $m \geq 1$, over the finite field $\mathbb{F}_q$ in terms of their basic dual zeros and their trace representations. We also formulate the hull dimension of a cyclic code of arbitrary length over $\mathbb{F}_q$ with respect to its basic dual zero. Moreover, we provide a general formula for the dimension of the intersection of two cyclic codes of arbitrary length over $\mathbb{F}_q$ based on their basic dual zeros.
△ Less
Submitted 5 April, 2023;
originally announced April 2023.
-
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.
