I Introduction
With the development of correlation attack and algebraic attack, it is becoming the main trend to use the nonlinear feedback shift register sequences with pseudorandom property as the driving sequences in stream cipher design. The feedback with carry shift register (FCSR) proposed by [6] and [7] is a kind of generator which can produce nonlinear sequences quickly.
Balanced binary and quaternary sequences with good autocorrelation play important roles in communication and cryptography systems. The -adic complexity measures the smallest length of FCSR which generates the sequence over . Sequences over with low -adic complexity are susceptibly decoded by the rational approximation algorithm, see [6], [8-9]. Particularly, a quaternary sequence can be decoded by the rational approximation algorithm with consecutive bits. Hence, the 4-adic complexity of a safe sequence with period should exceed . There are numerous results about the 2-adic complexity of binary sequences with good autocorrelation, see [2-3], [11-14], for example. However, the 4-adic complexity of quaternary sequences with good autocorrelation has not been studied so fully and there are few quaternary sequences with good autocorrelation whose 4-adic complexity is known, see [10]. This may pose risk to communication and cryptography system.
In this paper, we determine the 4-adic complexity of the balanced quaternary sequences of even period and with ideal autocorrelation defined in [5] and [4], respectively. Our results show that the 4-adic complexity of the quaternary sequences with period and defined in these two papers is larger than and respectively. Hence they are safe enough to resist the attack of the rational approximation algorithm.
Ii Preliminaries
In the application of communication and cryptography, balanced sequences with good autocorrelation property are preferred.
For a sequence over with period , it is said to be balanced if for any pair of with ,where
The autocorrelation function of a sequence over with period is defined by
where is a complex -th primitive root of unity.
The maximal out-of-phase autocorrelation magnitude should be as small as possible and the number of the occurrences of the maximal out-of-phase autocorrelation magnitude should be minimized. A sequence with the possible minimum value of the maximal out-of-phase autocorrelation magnitude and the minimum number of occurrences of the maximal out-of-phase autocorrelation magnitude is said to have the ideal autocorrelation property.
For a binary sequence with period , it is well known that if
(1) |
then is an ideal autocorrelation sequence.
The autocorrelation distribution of a quaternary sequence of even period with ideal autocorrelation and balance property is given by
in [5].
By using the Legendre sequences and the Gray mapping, two classes of balanced quaternary sequences of even period with ideal autocorrelation were constructed in [5]. Balanced quaternary sequences of period with ideal autocorrelation were constructed in [4] by using the binary sequences of period with ideal autocorrelation and the Gray mapping.
For an odd prime
, let and be the set of quadratic residues and quadratic non-residues in the set , respectively. Two classes of Legendre sequences and of period are defined byrespectively.
The Gray mapping is defined by
According to the definition of the Gray mapping, we can get
(2) |
where and .
The following two classes of quaternary sequences and of even period defined by using the Gray mapping and the Legendre sequences were shown to have ideal autocorrelation and balance property in [5].
Definition 1.
([5]) For an odd prime with , let and be two binary sequences of the same period defined by
The quaternary sequence of period is defined by .
Definition 2.
([5]) For an odd prime with , let and be two binary sequences of the same period defined by
The quaternary sequence of period is defined by .
Let . Assume that is a binary sequence of period with ideal autocorrelation. Let be the characteristic set of defined by
and . By the Chinese remainder theorem, we have the isomorphism
The following class of quaternary sequences of even period defined by using the Gray mapping and the ideal autocorrelation sequences with period were shown to have ideal autocorrelation and balance property in [4].
Definition 3.
([4]) Let be binary sequence of period with ideal autocorrelation and a characteristic set of . Let be the quaternary sequence defined by
where and are the binary sequences of period defined by
The definition about the -adic complexity of quaternary sequences with period is defined as follows.
Definition 4.
According to Definition 4, determining the -adic complexity of quaternary sequences is equivalent to determining .
Iii Main result
In this section, we study the 4-adic complexity of the quaternary sequences of period and with ideal autocorrelation in Section II.
For , the Legendre symbol is defined by
The following four lemmas are useful in the sequel.
Lemma 1.
([1], Theorem 7.3) If is a periodic binary sequence of odd period with ideal autocorrelation, then the number of nonzero bits in one period of is .
The proof of the lemma is similar to that of Lemma 2(1) in [14]. For the completeness of the paper, we give a simple proof.
Lemma 2.
Let be an odd prime. Then
Proof.
Since
Then from and
we get
∎
Lemma 3.
For a prime , if , then we have .
Proof.
Since and has only one solution in the set , then from , we get which implies . Hence we get . ∎
Lemma 4.
For an odd prime , we have
Proof.
From
we get
Since
then the rest result follows from
and
∎
Now we study the 4-adic complexity of the quaternary sequence in Definition 1.
Theorem 5.
For the quaternary sequence in Definition 1, we have
Proof.
(i) Firstly, we prove
Let the symbols be the same as before. Then we get
(3) |
Since ), then from (3) we know
It then follows that . If , then from and , we get which contradicts with . Therefore .
Assume that is a prime divisor of such that . By (3) we get
Then we have . Combining with Lemma 2, we have which implies . Hence, we have . By Fermat’s little Theorem, we get . Then we have which is a contradiction. Hence, we know .
Therefore we get
(4) |
(ii) Next, we prove
By (3) we have
Then we get only when .
Assume that and , then by Lemma 3 we get which contradicts with . It then follows that .
Let be a divisor of such that . Then from (3) we have Thus which implies Therefore
(5) |
Combining with (4-5) and the definition of the 4-adic complexity, the result is proven. ∎
The 4-adic complexity of the sequence in Definition 2 is given by the following theorem.
Theorem 6.
For the quaternary sequence in Definition 2, we have
Proof.
(i) Firstly, we determine the exact value of .
Assume that the symbols are the same as before. Then we have
(6) |
Since , then by (6) we know
Then we get .
Let be a prime divisor of . From (6) and we have
Then by Lemma 2 and , we have
Hence, we have . From and we get which is a contradiction. Therefore
(7) |
(ii) Now we determine .
Since , then by (6) we get
Hence we get only when .
Assume that and , then from Lemma 3 we have which contradicts with . It then follows that . Assume that is a prime divisor of and such that . Then by (6) we get
which implies . Hence we have
(8) |
Combining with (7-8) and the definition of the 4-adic complexity, the result is proven. ∎
The 4-adic complexity of the sequence with period in Definition 3 is given as follows.
Theorem 7.
For the quaternary sequence with period in Definition 3, we have
Proof.
With the symbols the same as before, we have
Comments
There are no comments yet.