I Introduction
Let be the finite field with elements, where , is a prime and is a positive integer. For any function over and any element , the derivative of at is defined as
|
|
|
For any , let
|
|
|
The differential uniformity of is defined as
|
|
|
which was introduced by Nyberg in [12] to measure the ability of , when used as an S-box (substitution box) in a cipher, to resist differential attacks. The differential uniformity is desired to be as low as possible, corresponding to a stronger resistance against differential attacks. If , then is called a perfect nonlinear (PN) function, which exists only in odd characteristics. Whereas, if , then is called an almost perfect nonlinear (APN) function, which is the minimum possible value for binary fields.
When studying the differential properties of a function , the differential uniformity is the most basic characteristic that needs to be determined. The differential spectrum of can provide more detailed information on the differential properties of , which is defined as the following multiset
|
|
|
where
|
|
|
We have the following fundamental property of the differential spectrum (see, for instance, [1]):
|
|
|
(1) |
In [2], when working on the differential properties of power functions over binary fields, Blondeau and Nyberg introduced a new concept called locally-APNness. They showed that a locally-APN S-box could achieve lower differential probabilities compared to S-boxes with differential uniformity , using a cryptographic toy example [3]. Recently, Hu et al. generalized this concept to general functions over arbitrary finite fields [6]. A function over is said to be locally-APN if
|
|
|
The boomerang attack is a variant of the differential attack proposed by Wagner in [14], which combines the differential layers of the upper and lower layers of block ciphers. The quantity measures the resistance of an S-box to boomerang attacks is called the boomerang uniformity, which was introduced by Boura and Canteaut in [4] for permutations over binary fields and was later generalized to general functions over arbitrary finite fields by Li et al. in [7]. The boomerang uniformity of a function over is defined as
|
|
|
where denotes the number of solutions to the following system of equations
|
|
|
Similarly, the boomerang spectrum of is defined as the following multiset
|
|
|
where
|
|
|
From here until the end of this section, we assume that . Let (resp., ) denote the set of non-zero square (resp., non-square) elements in . It is known that there exists a unique quadratic character of which is given by
|
|
|
Throughout this paper, the symbol always represents this meaning.
Consider the following function over :
|
|
|
where . It was first studied by Ness and Helleseth in [11] for the ternary case and was later generalized to the general case by Zeng et al. in [17]. They showed that if or , then is an APN function. Subsequently, several papers have been dedicated to studying the differential properties of . Zha proved in his PhD dissertation [18] that the differential uniformity of is if . Recently, when , Xia et al. [15] determined the differential uniformity of for any and expressed the differential spectrum of in terms of several quadratic character sums of cubic polynomials for any with . Very recently, they generalized in [16] their results to the case of a general odd power satisfying . It is worth mentioning that when or , although has a large differential uniformity (equaling ), it is locally-APN.
This was first observed by Lyu et al. in [9], where they also computed the boomerang spectra of , revealing the first class of non-PN functions whose boomerang uniformity can attain or .
Note that can be rewritten as . This inspires us to consider the following generalization of :
|
|
|
(2) |
where and . The numerical results indicate that many of the βs exhibit low differential uniformity. In this paper, we study what appears to be the simplest case, . Since is the square function, which has been extensively studied, we always assume that . In [5], Budaghyan and Pal showed that for any . Moreover, based on their computational results over fields of small orders, they conjectured that there exist infinitely many and such that is an APN function. In this paper, we show that the conjecture does not hold by determining the differential uniformity of the functions βs.
We set the following set
|
|
|
The remainder of the paper is organized as follows. In Section II, we introduce some basic concepts and several results that will be used later. In Section III, we preliminarily investigate the differential properties of for . In Section IV, we determine the differential uniformity of for . In Section V, we determine the differential uniformity of when . In Section VI, we determine the differential spectra and boomerang uniformity of . Finally, Section VII serves as a conclusion.
II Preliminaries
If is an odd prime power, we use (resp., ) to denote the set of non-zero square (resp., non-square) elements in . If , we use to denote the two square roots of in . Put
|
|
|
Then .
Regarding the sizes of the sets βs, we have the following conclusion.
Lemma 1 ([13, Lemma 6]).
For any , put .
-
1.
If , then
|
|
|
-
2.
If , then
|
|
|
The following helpful lemma will be used repeatedly later.
Lemma 2.
Assume that . Let and be such that . Suppose that . Then if and only if .
Proof.
By symmetry, it suffices to prove the sufficiency. We assume that . Since , we have or . For a contradiction, assume that . Then there exists such that , which implies that
|
|
|
(3) |
Consider the quadratic polynomial , whose discriminant is . Hence, it has two distinct roots and in . Since , both and are square or neither is square. It follows that equation (3) has four distinct solutions or no solution in . By assumption, it has at least one solution in , so it has four distinct solutions in , i.e., and . Note that
|
|
|
|
|
|
|
|
|
|
|
|
(4) |
where and . Comparing the coefficients of and , we have and , which implies that or . Moreover, since polynomial (II) has four distinct roots in , we have . However, we have , which implies that (note that since ). This contradicts our assumption that . Hence .
β
An important tool used later in this paper is estimating rational points on algebraic curves over finite fields. Here, we only provide a minimal introduction to the necessary concepts.
Let be an arbitrary prime power. For any polynomial , we use to denote the zero set of in , i.e.,
|
|
|
We need the following definition of absolute irreducibility.
Definition 1.
Let be a field. A polynomial is said to be absolutely irreducible if it is irreducible over , the algebraic closure of .
The following is a variation of the well-known Weil estimate.
Theorem 1 ([10, Theorem 7.1.9]).
If is an absolutely irreducible polynomial of degree , then
|
|
|
Let be a field. Note that a bivariate polynomial can be viewed as a univariate polynomial over the ring . If has the form , where for , then the irreducibility of in is equivalent to its irreducibility as a polynomial over . Thus, in this case, we only need to consider the irreducibility of univariate polynomials over rings. The following two simple lemmas will play a crucial role in verifying the absolute irreducibility of bivariate polynomials later.
Lemma 3.
Let be an integral domain and . If neither nor is a square element in , then the polynomial is irreducible in .
Proof.
Assume that can be factored as the product of two quadratic polynomials, i.e.,
|
|
|
Comparing the coefficients of and on both sides, we have
|
|
|
If , then we have and , which implies that is a square element in . This contradicts our hypothesis. Hence, both and are non-zero, which implies that . Then, is a square element in , which contradicts our hypothesis. Hence, cannot be factored as the product of two quadratic polynomials.
Now assume that can be factored as the product of a linear and cubic polynomial. Then has a root in , say , which implies that is a root of the quadratic polynomial . It follows that has another root in , with and . Then, we again have , a square element in , which contradicts our hypothesis. Hence is irreducible in .
β
Lemma 4.
Let be an integral domain such as and . If is a square element in , then .
Proof.
Assume that . Comparing the coefficients of all terms on both sides, we have
|
|
|
It follows that , and , which implies that .
β
The character sum is a powerful tool in both theory and application. Below, we recall some facts about character sums of the form where and is a multiplicative character of . Such character sums are called Weil sums.
If is a quadratic polynomial and , then we can determine the exact value of the associated Weil sum.
Lemma 5 ([8, Theorem 5.48]).
Let be an odd prime power and let with . Put . Then
|
|
|
The counting problem in the following Lemma can be addressed using Lemma 5.
Lemma 6 ([8, Lemma 6.24]).
Let be an odd prime power, and . Then
|
|
|
where the integer-valued function on is defined by for and .
We need the following result of the character sum.
Lemma 7.
Let be an odd prime power such that , then
|
|
|
Proof.
Let . Then for some . Since , we have . We may assume that , and then for some , which implies that . Hence . Moreover, for any , there exist exactly two elements such that . It follows that
|
|
|
|
|
|
|
|
by Lemma 5.
β
Jacobsthal sums are also a class of Weil sums that have been extensively studied.
Definition 2.
Let be an odd prime number, and . The sum
|
|
|
is called a Jacobsthal sum.
Lemma 8 ([8, Theorem 5.52]).
Let be an odd prime number, and . We have if the largest power of dividing also divides .
For a general polynomial , we have the following estimate for the associated Weil sum.
Theorem 2 ([8, Theorem 5.41]).
Let be an odd prime power, let be a multiplicative character of of order , and let be a monic polynomial of positive degree that is not an -th power of a polynomial. Let be the number of distinct roots of in its splitting field over . Then for every , we have
|
|
|
The following lemma about quadratic character sums of cubic polynomials will also be used later.
Lemma 9.
Let be an odd prime power and let with . Then
|
|
|
|
|
|
|
|
Proof.
We have
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
β
From this point until the end of the paper, we assume that is an odd prime power such that , where is a prime and is a positive integer. Let be the function over defined by (2).
Lemma 10.
For any and , we have and . In particular, and have the same differential and boomerang spectrum.
Proof.
Let and . By definition, equals the number of solutions to the following equation
|
|
|
Making the substitution , we can see that equals the number of solutions to the following equation
|
|
|
Hence . The assertion for boomerang uniformity can be proved similarly.
β
It is known that if is a monomial, then and for any and , which implies that and . An interesting point is that has similar properties.
Lemma 11.
For any and , we have
|
|
|
and
|
|
|
In particular, we have and .
Proof.
Let and . By definition, equals the number of solutions to the following equation
|
|
|
which becomes
|
|
|
after dividing both sides by . Making the substitution , we can see that equals the number of solutions to the following equation
|
|
|
If , it is clear that . If , making the substitution , then we can see that equals the number of solutions to the following equation
|
|
|
Hence . The assertion for boomerang uniformity can be proved similarly.
β
III The Differential Properties of with
In this section, we conduct an initial study of the differential properties of under the assumption that .
By Lemma 11, in order to compute the differential uniformity of , we only need to consider the numbers . We have
|
|
|
|
|
|
|
|
Then and .
Let and . Then and . Since , we have for . For any and , we put
|
|
|
Case 1.Β If , then
|
|
|
The unique possible solution of is . Moreover, we have
|
|
|
(5) |
Case 2.Β If , then
|
|
|
The unique possible solution of is . Moreover, we have
|
|
|
(6) |
Case 3.Β If , then
|
|
|
Consider the equation
|
|
|
(7) |
The discriminant of this quadratic equation is . Let , be the two solutions (possibly equal) of this equation in . We have and . Moreover, if and only if
|
|
|
|
|
|
|
|
(8) |
Case 4.Β If , then
|
|
|
Consider the equation
|
|
|
(9) |
The discriminant of this quadratic equation is . Let , be the two solutions (possibly equal) of this equation in . We have and . Moreover, if and only if
|
|
|
|
|
|
|
|
(10) |
Lemma 12.
Assume that . If , then .
Proof.
Since , we have , which implies that
|
|
|
Since , we have . By (5), we have .
β
Lemma 13.
Assume that . If , then .
Proof.
Since , we have , which implies that
|
|
|
|
|
|
|
|
Since , we have . By (5), we have .
β
Lemma 14.
Assume that . If , then .
Proof.
Since , we have , which implies that
|
|
|
Since , we have . By (6), we have .
β
Lemma 15.
Assume that . If , then .
Proof.
Since , we have , which implies that
|
|
|
|
|
|
|
|
Since , we have . By (6), we have .
β
Lemma 16.
For any , we have .
Proof.
We only prove that ; the proof for is similar. We know that . Since , by (5), we have . Since and , by (6), we have
|
|
|
Note that , which implies that the two solutions of the equation (9) are and . Hence
|
|
|
It follows that and thus .
β
Corollary 1.
For any , we have . Moreover, we have following conclusions:
-
1.
if , then .
-
2.
if , then for any , if and only if and .
-
3.
if , then for any , if and only if and .
Proof.
The first assertion follows immediately from Lemma 12, Lemma 13 and Lemma 16. It is clear that for any , if and only if one of the following conditions holds:
-
i)
, ;
-
ii)
, ;
-
iii)
,Β ,Β ;
-
iv)
,Β ,Β .
-
1.
Assume that . By Lemma 12, neither of the condition ii) and the condition iii) can hold. By Lemma 14, neither of the condition i) and the condition iv) can hold. Hence none of the conditions i)-iv) can hold, which implies that .
βAssume that . By Lemma,13, neither of the conditions i) and iii) can hold. By Lemma 15, neither of the conditions ii) and iv) can hold. Hence, none of the conditions i)-iv) can hold, which implies that .
-
2.
By Lemma 12, neither of the conditions ii) and iii) can hold. By Lemma 15, neither of the conditions ii) and iv) can hold. Hence only the condition i) can hold.
-
3.
By Lemma 13, neither of the conditions i) and iii) can hold. By Lemma 14, neither of the conditions i) and iv) can hold. Hence, only condition ii) can hold.
β
VI The Differential Spectra and Boomerang Uniformity of
This section determines the differential spectra and boomerang uniformity of . By Lemma 10, it suffices to consider . We have and .
Case 1.Β If , then
|
|
|
The unique possible solution of is . Moreover, we have
|
|
|
(22) |
It is clear that .
Case 2.Β If , then
|
|
|
which implies that
|
|
|
(23) |
Case 3.Β If , then . It is clear that . Since , we have . Assume that and consider the equation . It is clear that . Moreover, if and only if and , where is the (only) square root of such that .
Case 4.Β If , then
|
|
|
It is clear that . The two solutions of are and , neither of which is in . Hence . Assume that and consider the equation . It is clear that . Moreover, if and only if and , where is the (only) square root of such that .
In summary, we have , and for any , . If , then . Put
|
|
|
and
|
|
|
Then . We have
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
where , runs over all subsets of , and
|
|
|
|
|
|
|
|
Since and , we have
|
|
|
Now we compute each .
-
1.
If , then .
-
2.
If for some , then since is a linear function. By Lemma 5, we have . It follows that .
-
3.
By Lemma 5, we have , and . By Lemma 8, we have . Hence
|
|
|
|
|
|
|
|
-
4.
By Lemma 8, we have . By Lemma 9, we have
|
|
|
and
|
|
|
We have
|
|
|
by Lemma 7.
-
5.
By Lemma 8, we have .
In summary, we have
|
|
|
|
(24) |
Similarly, we can prove that
|
|
|
|
(25) |
Theorem 7.
Assume that . The differential spectrum of is given by
|
|
|
where
|
|
|
In particular, is a locally-APN function with differential uniformity .
Proof.
By Lemma 11, (24) and (25), we have
and
|
|
|
|
By (1), we have
|
|
|
It follows that
|
|
|
β
Finally, we compute the boomerang uniformity of . We need to solve the following system of equations
|
|
|
(26) |
for any . For any , let be the set of solutions of (26) in .
Lemma 21.
For any , there is no solution to the system of equations (26) with or .
Proof.
Assume that . Then (26) becomes
|
|
|
Since , we have . If , then we have
|
|
|
which implies that and thus . This is a contradiction. If , then and thus . This is also a contradiction. Hence there is no solution to (26) with .
Assume that . Then (26) becomes
|
|
|
Since , we have and , which implies that . It follows that . But then it is impossible that . Hence there is no solution to (26) with . By symmetry, we can prove the assertion on .
β
By Lemma 21, we have
|
|
|
Case 1.Β If , then (26) becomes
|
|
|
|
|
|
|
|
Since we have , which implies that . This is impossible and thus for any .
Case 2.Β If , then (26) becomes
|
|
|
(27) |
It follows that and if and only if
|
|
|
Case 3.Β If , then (26) becomes
|
|
|
It follows that and if and only if
|
|
|
(28) |
Case 4.Β If , then (26) becomes
|
|
|
Since , we have . Hence for any .
Case 5.Β If , then (26) becomes
|
|
|
It follows that and if and only if
|
|
|
Case 6.Β If , then (26) becomes
|
|
|
which implies that for any .
Case 7.Β If , then (26) becomes
|
|
|
which implies that for any .
Case 8.Β If , then (26) becomes
|
|
|
which implies that for any .
Case 9.Β If , then (26) becomes
|
|
|
It follows that and if and only if
|
|
|
By following the analysis above, it can be easily proven that for any . Then we have the following corollary.
Corollary 4.
For any , we have . Moreover, if and only if or .
Theorem 8.
If , then the boomerang uniformity of is .
Proof.
Put and . Then it is clear that and . By (27) and (28), consists of such that
|
|
|
It follows that
|
|
|
|
|
|
|
|
Using the previous method, we can obtain that
|
|
|
If , then .
β