-
Further Investigation on Differential Properties of the Generalized Ness-Helleseth Function
Authors:
Yongbo Xia,
Chunlei Li,
Furong Bao,
Shaoping Chen,
Tor Helleseth
Abstract:
Let $n$ be an odd positive integer, $p$ be a prime with $p\equiv3\pmod4$, $d_{1} = {{p^{n}-1}\over {2}} -1 $ and $d_{2} =p^{n}-2$. The function defined by $f_u(x)=ux^{d_{1}}+x^{d_{2}}$ is called the generalized Ness-Helleseth function over $\mathbb{F}_{p^n}$, where $u\in\mathbb{F}_{p^n}$. It was initially studied by Ness and Helleseth in the ternary case. In this paper, for $p^n \equiv 3 \pmod 4$…
▽ More
Let $n$ be an odd positive integer, $p$ be a prime with $p\equiv3\pmod4$, $d_{1} = {{p^{n}-1}\over {2}} -1 $ and $d_{2} =p^{n}-2$. The function defined by $f_u(x)=ux^{d_{1}}+x^{d_{2}}$ is called the generalized Ness-Helleseth function over $\mathbb{F}_{p^n}$, where $u\in\mathbb{F}_{p^n}$. It was initially studied by Ness and Helleseth in the ternary case. In this paper, for $p^n \equiv 3 \pmod 4$ and $p^n \ge7$, we provide the necessary and sufficient condition for $f_u(x)$ to be an APN function. In addition, for each $u$ satisfying $χ(u+1) = χ(u-1)$, the differential spectrum of $f_u(x)$ is investigated, and it is expressed in terms of some quadratic character sums of cubic polynomials, where $χ(\cdot)$ denotes the quadratic character of $\mathbb{F}_{p^n}$.
△ Less
Submitted 30 August, 2024;
originally announced August 2024.
-
The $q$-ary antiprimitive BCH codes
Authors:
Hongwei Zhu,
Minjia Shi,
Xiaoqiang Wang,
Tor Helleseth
Abstract:
It is well-known that cyclic codes have efficient encoding and decoding algorithms. In recent years, antiprimitive BCH codes have attracted a lot of attention. The objective of this paper is to study BCH codes of this type over finite fields and analyse their parameters. Some lower bounds on the minimum distance of antiprimitive BCH codes are given. The BCH codes presented in this paper have good…
▽ More
It is well-known that cyclic codes have efficient encoding and decoding algorithms. In recent years, antiprimitive BCH codes have attracted a lot of attention. The objective of this paper is to study BCH codes of this type over finite fields and analyse their parameters. Some lower bounds on the minimum distance of antiprimitive BCH codes are given. The BCH codes presented in this paper have good parameters in general, containing many optimal linear codes. In particular, two open problems about the minimum distance of BCH codes of this type are partially solved in this paper.
△ Less
Submitted 28 September, 2021;
originally announced September 2021.
-
The Differential Spectrum of the Power Mapping $x^{p^n-3}$
Authors:
Haode Yan,
Yongbo Xia,
Chunlei Li,
Tor Helleseth,
Maosheng Xiong,
Jinquan Luo
Abstract:
Let $n$ be a positive integer and $p$ a prime. The power mapping $x^{p^n-3}$ over $\mathbb{F}_{p^n}$ has desirable differential properties, and its differential spectra for $p=2,\,3$ have been determined. In this paper, for any odd prime $p$, by investigating certain quadratic character sums and some equations over $\mathbb{F}_{p^n}$, we determine the differential spectrum of $x^{p^n-3}$ with a un…
▽ More
Let $n$ be a positive integer and $p$ a prime. The power mapping $x^{p^n-3}$ over $\mathbb{F}_{p^n}$ has desirable differential properties, and its differential spectra for $p=2,\,3$ have been determined. In this paper, for any odd prime $p$, by investigating certain quadratic character sums and some equations over $\mathbb{F}_{p^n}$, we determine the differential spectrum of $x^{p^n-3}$ with a unified approach. The obtained result shows that for any given odd prime $p$, the differential spectrum can be expressed explicitly in terms of $n$. Compared with previous results, a special elliptic curve over $\mathbb{F}_{p}$ plays an important role in our computation for the general case $p \ge 5$.
△ Less
Submitted 6 August, 2021;
originally announced August 2021.
-
A complete characterization of the APN property of a class of quadrinomials
Authors:
Kangquan Li,
Chunlei Li,
Tor Helleseth,
Longjiang Qu
Abstract:
In this paper, by the Hasse-Weil bound, we determine the necessary and sufficient condition on coefficients $a_1,a_2,a_3\in\mathbb{F}_{2^n}$ with $n=2m$ such that $f(x) = {x}^{3\cdot2^m} + a_1x^{2^{m+1}+1} + a_2 x^{2^m+2} + a_3x^3$ is an APN function over $\mathbb{F}_{2^n}$. Our result resolves the first half of an open problem by Carlet in International Workshop on the Arithmetic of Finite Fields…
▽ More
In this paper, by the Hasse-Weil bound, we determine the necessary and sufficient condition on coefficients $a_1,a_2,a_3\in\mathbb{F}_{2^n}$ with $n=2m$ such that $f(x) = {x}^{3\cdot2^m} + a_1x^{2^{m+1}+1} + a_2 x^{2^m+2} + a_3x^3$ is an APN function over $\mathbb{F}_{2^n}$. Our result resolves the first half of an open problem by Carlet in International Workshop on the Arithmetic of Finite Fields, 83-107, 2014.
△ Less
Submitted 8 July, 2020;
originally announced July 2020.
-
The resolution of Niho's last conjecture concerning sequences, codes, and Boolean functions
Authors:
Tor Helleseth,
Daniel J. Katz,
Chunlei Li
Abstract:
A new method is used to resolve a long-standing conjecture of Niho concerning the crosscorrelation spectrum of a pair of maximum length linear recursive sequences of length $2^{2 m}-1$ with relative decimation $d=2^{m+2}-3$, where $m$ is even. The result indicates that there are at most five distinct crosscorrelation values. Equivalently, the result indicates that there are at most five distinct v…
▽ More
A new method is used to resolve a long-standing conjecture of Niho concerning the crosscorrelation spectrum of a pair of maximum length linear recursive sequences of length $2^{2 m}-1$ with relative decimation $d=2^{m+2}-3$, where $m$ is even. The result indicates that there are at most five distinct crosscorrelation values. Equivalently, the result indicates that there are at most five distinct values in the Walsh spectrum of the power permutation $f(x)=x^d$ over a finite field of order $2^{2 m}$ and at most five distinct nonzero weights in the cyclic code of length $2^{2 m}-1$ with two primitive nonzeros $α$ and $α^d$. The method used to obtain this result proves constraints on the number of roots that certain seventh degree polynomials can have on the unit circle of a finite field. The method also works when $m$ is odd, in which case the associated crosscorrelation and Walsh spectra have at most six distinct values.
△ Less
Submitted 8 July, 2021; v1 submitted 22 June, 2020;
originally announced June 2020.
-
Cryptographically Strong Permutations from the Butterfly Structure
Authors:
Kangquan Li,
Chunlei Li,
Tor Helleseth,
Longjiang Qu
Abstract:
In this paper, we present infinite families of permutations of $\mathbb{F}_{2^{2n}}$ with high nonlinearity and boomerang uniformity $4$ from generalized butterfly structures.
Both open and closed butterfly structures are considered. It appears, according to experiment results, that open butterflies do not produce permutation with boomerang uniformity $4$.
For the closed butterflies, we propos…
▽ More
In this paper, we present infinite families of permutations of $\mathbb{F}_{2^{2n}}$ with high nonlinearity and boomerang uniformity $4$ from generalized butterfly structures.
Both open and closed butterfly structures are considered. It appears, according to experiment results, that open butterflies do not produce permutation with boomerang uniformity $4$.
For the closed butterflies, we propose the condition on coefficients $α, β\in \mathbb{F}_{2^n}$ such that the functions
$$V_i := (R_i(x,y), R_i(y,x))$$ with $R_i(x,y)=(x+αy)^{2^i+1}+βy^{2^i+1}$ are permutations of $\mathbb{F}_{2^n}^2$ with boomerang uniformity $4$, where $n\geq 1$ is an odd integer and $\gcd(i, n)=1$.
The main result in this paper consists of two major parts: the permutation property of $V_i$ is investigated in terms of the univariate form, and the boomerang uniformity is examined in terms of the original bivariate form. In addition, experiment results for $n=3, 5$ indicates that the proposed condition seems to cover all coefficients $α, β\in \mathbb{F}_{2^n}$ that produce permutations $V_i$ with boomerang uniformity $4$.
However, the experiment result shows that the quadratic permutation $V_i$ seems to be affine equivalent to the Gold function. Therefore, unluckily, we may not to obtain new permutations with boomerang uniformity $4$ from the butterfly structure.
△ Less
Submitted 12 December, 2019; v1 submitted 5 December, 2019;
originally announced December 2019.
-
More Classes of Complete Permutation Polynomials over $\F_q$
Authors:
Gaofei Wu,
Nian Li,
Tor Helleseth,
Yuqing Zhang
Abstract:
In this paper, by using a powerful criterion for permutation polynomials given by Zieve, we give several classes of complete permutation monomials over $\F_{q^r}$. In addition, we present a class of complete permutation multinomials, which is a generalization of recent work.
In this paper, by using a powerful criterion for permutation polynomials given by Zieve, we give several classes of complete permutation monomials over $\F_{q^r}$. In addition, we present a class of complete permutation multinomials, which is a generalization of recent work.
△ Less
Submitted 30 December, 2013; v1 submitted 17 December, 2013;
originally announced December 2013.
-
Niho Bent Functions and Subiaco/Adelaide Hyperovals
Authors:
Tor Helleseth,
Alexander Kholosha,
Sihem Mesnager
Abstract:
In this paper, the relation between binomial Niho bent functions discovered by Dobbertin et al. and o-polynomials that give rise to the Subiaco and Adelaide classes of hyperovals is found. This allows to expand the class of bent functions that corresponds to Subiaco hyperovals, in the case when $m\equiv 2 (\bmod 4)$.
In this paper, the relation between binomial Niho bent functions discovered by Dobbertin et al. and o-polynomials that give rise to the Subiaco and Adelaide classes of hyperovals is found. This allows to expand the class of bent functions that corresponds to Subiaco hyperovals, in the case when $m\equiv 2 (\bmod 4)$.
△ Less
Submitted 17 October, 2012;
originally announced October 2012.
-
Proofs of two conjectures on ternary weakly regular bent functions
Authors:
Tor Helleseth,
Henk D. L. Hollmann,
Alexander Kholosha,
Zeying Wang,
Qing Xiang
Abstract:
We study ternary monomial functions of the form $f(x)=\Tr_n(ax^d)$, where $x\in \Ff_{3^n}$ and $\Tr_n: \Ff_{3^n}\to \Ff_3$ is the absolute trace function. Using a lemma of Hou \cite{hou}, Stickelberger's theorem on Gauss sums, and certain ternary weight inequalities, we show that certain ternary monomial functions arising from \cite{hk1} are weakly regular bent, settling a conjecture of Helleset…
▽ More
We study ternary monomial functions of the form $f(x)=\Tr_n(ax^d)$, where $x\in \Ff_{3^n}$ and $\Tr_n: \Ff_{3^n}\to \Ff_3$ is the absolute trace function. Using a lemma of Hou \cite{hou}, Stickelberger's theorem on Gauss sums, and certain ternary weight inequalities, we show that certain ternary monomial functions arising from \cite{hk1} are weakly regular bent, settling a conjecture of Helleseth and Kholosha \cite{hk1}. We also prove that the Coulter-Matthews bent functions are weakly regular.
△ Less
Submitted 19 March, 2008;
originally announced March 2008.
