Complexity
Volume 2020 (2020), Article ID 6538970, 7 pages
https://doi.org/10.1155/2020/6538970

Research Article

Linear Complexity of a New Class of Quaternary Generalized Cyclotomic Sequence with Period

Pinhui Ke, Yan Zhong, and Shengyuan Zhang

Fujian Provincial Key Laboratory of Network Security and Cryptology, Fujian Normal University, Fuzhou, Fujian 350117, China

Correspondence should be addressed to Pinhui Ke; keph@fjnu.edu.cn

Received 19 August 2019; Accepted 10 February 2020; Published 10 March 2020

Academic Editor: Chittaranjan Hens

Copyright © 2020 Pinhui Ke et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

Sequences with high linear complexity property are of importance in applications. In this paper, based on the theory of generalized cyclotomy, new classes of quaternary generalized cyclotomic sequences with order 4 and period are constructed. In addition, we determine their linear complexities over finite field and over , respectively.

1. Introduction

Pseudorandom sequence has a wide range of applications in the spread spectrum communication, radar navigation, code division multiple access, stream cipher, and so on [1]. The linear complexity of a sequence is defined as the smallest order of linear feedback shift register (LFSR) that can generate the whole sequence. According to Berlekamp–Massey algorithm [2], if the linear complexity of the sequence is l, then consecutive terms of the sequence can be used to restore the whole sequence. Hence, a “high” linear complexity should be no less than one half of the length (or minimum period) of the sequence [3]. For cryptographic applications, sequences with high linear complexity are required.

Sequences with high linear complexity can be constructed based on cyclotomic classes. Generally, sequences based on classical cyclotomic classes and generalized cyclotomic classes are called classical cyclotomic sequences and generalized cyclotomic sequences, respectively. There are lots of works on linear complexity of binary cyclotomic sequences, see [4–7], for instance. Recently, Xiao et al. presented a new class of cyclotomic binary sequences of period and determined the linear complexity of the sequences in the case of for a positive integer r and showed that the sequences have large linear complexity if p is a non-Wieferich prime [8]. Moreover, Edemskiy et al. examined the linear complexity of sequences and extended the result to more general even integers f [9]. At the same time, the results were also generalized by Ye and Ke in [10] by considering a new construction with a flexible support set, which includes the original construction as a special case. Very recently, in [11], Ouyang and Xie extended the construction to the case of and showed that the constructed sequences have high linear complexity when .

Compared with the binary case, less attention has been paid to quaternary sequences with high linear complexity. In [12], Kim et al. constructed a class of generalized cyclotomic sequences with period over and analyzed the autocorrelation properties of these sequences. In [13], Chen and Edemskiy determined the linear complexity of these sequences over . In [14], Du and Chen defined a family of quaternary sequences over of period using generalized cyclotomic classes over the residue class ring modulo . They determined the linear complexities of the sequences and then showed that the sequences have large linear complexity. The autocorrelation values of the sequences were further studied in [15]. In [16], Ke et al. generalized the construction of [14] to the case of . They proved that the constructed sequences are balanced and also possess high linear complexity. Recently, in [17], Liu et al. further extended the sequence construction of [16, 18]. A class of quaternary generalized cyclotomic sequences with order period over are constructed, and their linear complexities are studied. In addition, in [19], Edemskiy and Ivanov constructed another kind of new quaternary generalized cyclotomic sequences with period based on the Chinese Remainder Theorem and studied their autocorrelation properties and linear complexities over as well as .

Although the sequence they constructed are both quaternary sequences, it can be seen by comparison that [16, 17, 19] have their advantages and disadvantages. On the one hand, by definition in [16, 17], the elements in a fixed support set of the sequence are all even or odd, while the sequence proposed by Edemskiy and Ivanov in [19] takes value more random. On the other hand, in [19], the sequence has period , while in [17], the sequence has a more general period . In this paper, combining the advantages of the above two constructions, we will define a new class of quaternary generalized cyclotomic sequences of order 4 with period over as well as . Furthermore, we determine the linear complexities of the new defined sequences over and , respectively.

This paper is organized as follows. In Section 2, we introduce some necessary preliminary concepts and present a general construction of quaternary generalized cyclotomic sequences with period over . In addition, based on a mapping from to , quaternary sequences over can be derived directly from the quaternary sequences over . In Section 3, we compute the linear complexity of sequences we constructed over . In Section 4, we compute the linear complexity of sequences that we constructed over . In Section 5, we conclude this paper.

2. Perliminaries

Let p be an odd prime with . Let be a primitive root of , where denotes the set of all invertible elements of . It is well known that is also a primitive root of .

For and , we define

where are called generalized cyclotomic classes of order 4 with respect to and are called generalized cyclotomic classes of order 4 with respect to .

It is easy to verify that

For simplicity, we denote

Definition 1. Let . Then, we define the sequences and over of length by

respectively.
The well-known Gray-mapping is defined as

Let be a finite field of order 4, where µ satisfies the relation . Let σ be a map from to which is defined as follows:

where .
Then, we have , i.e.,

By this way, the sequences over defined in (4) and (5) can be modified to be sequences over as follows, i.e.,

Similarly,

Remark 1. Obviously, the support sets of sequences defined in this paper are more random than those in [16, 17], where the support sets all consist of even or odd numbers. In addition, the quaternary sequences constructed in [19] can be considered as a special case of the sequences defined above by taking . In other words, in the case of length , the constructions in [19] and this paper, although they were expressed in different forms, are the same in essence. In detail, the difference between these two constructions is that, in [19], the sequences were constructed by using the Chinese Remainder Theorem, while the sequences in this paper are defined directly. Therefore, this paper can be regarded as a generalization of [19].

3. Linear Complexity of the Sequence over

In this section, we discuss the linear complexity over . Hence, we focus on the quaternary sequences in (9) and (10). Let be a sequence over , and its linear complexity is the smallest positive integer L for which there exist constants such that

Let be a periodic sequence of period N over . And is called the generating polynomial of the sequence. Then, the minimal polynomial of is given by

and the linear complexity of is given by

Let d be the order of 4 modulo , that is, d is the smallest integer such that . Let ξ be a primitive element of ; then, the order of is , and has order p.

According to the definition of the linear complexity of the sequence, we should compute the number of common roots of the generating polynomial and polynomials . Notice that , so we may check that if is a root of . Furthermore, if it is a root of , we need to verify if it is a multiple root of [20].

To this end, we need some auxiliary polynomials:

where and .

Lemma 1. (see [18]). For , , we have

Lemma 2. (see [16]). For , , we have

(i)(ii)

where

Lemma 3. Let , , and . For , we have

Proof. Since the proof is similar, only the case of is considered here. By Lemma 1, we have

(1)If , note that for any . Obviously, . Hence,

(2)If , then

 where .(3)If , suppose that , , and ; then, . So,

The proof is thus completed.

Lemma 4. (see [4]). For , let θ be a primitive pth root of unity in the extension of the field , and define . Then, we have

Lemma 5. (see [4]). With the above notation, then if ; otherwise, .

Lemma 6. (see [21]). With notations defined as above, if , then .

Theorem 1. Let be an odd prime. Let be a generalized cyclotomic quaternary sequence of period defined in (9). Then, the linear complexity of over is given by

Proof. By the definition of the sequence , the generating polynomial of is given by

It is easily seen that if , then . Hence, 1 is not root of . We can write

According to Lemma 3, if , we have

where the last equality follows from the fact that .

(1)If , by Lemmas 4 and 5, we obtain . In other words, when .(2)If , by Lemmas 4 and 5 again, we know that (if not, then we can simply replace with ). So,

Thus, if , then ; if , then .
To complete the proof, we should verify that if is a multiple root of when .

According to Lemma 3, if , we have

As it was shown in [14], if , then or , where ζ satisfies the relation and over .

(i)When , without loss of generality, suppose that . By Lemma 6, we can write . Obviously, for any . Since

 and , then we get if . But, this means that , we get a contradiction. Thus, we have for any .(ii)When , without loss of generality, suppose that . By Lemma 6, we can write . Obviously, for any . Similarly, since

and , we derive that if . But, this means that . By , we get , i.e., . It is also a contradiction. Thus, we have for any .
In conclusion, we know for all . Then, we complete the proof.

Theorem 2. Let be an odd prime. Let be a generalized cyclotomic quaternary sequence of period defined in (10). Then, the linear complexity of over is given by

Proof. The proof of this theorem is similar to that of Theorem 1. Thus, we omit it here.

4. Linear Complexity of the Sequence over

Let be a quaternary sequence of period T over , and its linear complexity is the smallest order L of a linear feedback shift register (LFSR) in , for which there exist constants such that

Also, is called that connection polynomial. is called the generating polynomial of the sequence. Then, an LFSR with a connection polynomial generates if and only if [22]

where satisfies . That is,

Let be a Galois ring of characteristic 4 and cardinality , where r is the order of 2 modulo p [23]. Let be the group of units of R, and it contains a cyclic subgroup of order [23]. Then, let be of order p. We can write , and then the order of γ is and . By [23], we know that is the maximal ideal of ring R. The natural homomorphism will be denoted by “-” and the image in by .

Notice that, in the ring R, the number of roots of a polynomial can be greater than its degree. Hence, we need some lemmas.

Lemma 7. (see [13]). Let be a nonconstant polynomial. If is a root of polynomial , then there exists a polynomial such that

Moreover, if is also the root of and , then

where .

Lemma 8. (see [13]). Let be a nonconstant polynomial. If for all , then there exists polynomial such that

If for all , then there exists polynomial such that

Theorem 3. Let be an odd prime. Let be a generalized cyclotomic quaternary sequence of period defined in (10). Then, the linear complexity of over is given by

Proof. With notations defined as before, let be of order and . It is easy to know that . Then, . Hence, when , we have .
By the definition of the connection polynomial and linear complexity over , we have .
Without loss of generality, assume that ; then, there exists a connection polynomial , and it satisfies

where the degree of is less than .
By the definition of γ, we have and . Then, in the ring , holds.
By (4), we get

If , and by Lemma 1, we obtain

According to (41), we have for all . Then, , which implies that there exists a polynomial such that

Moreover, it is easily seen that

where , , and is Euler function. Then,

Thus, and ; this means that

Hence, when , we have

In other words, when , we have . Then, by Lemma 8, we get . But, this means that , which is contrary to our assumption. The proof is thus completed.

Theorem 4. Let be an odd prime. Let be a generalized cyclotomic quaternary sequence of period defined in (5). Then, the linear complexity of over is given by

Proof. The proof of this theorem is similar to that of Theorem 3. Thus, we omit it here.

5. Conclusions

This paper presented new classes of quaternary generalized cyclotomic sequences with order 4 and period , where p is an odd prime and . We computed their linear complexity over finite field as well as . The results indicated that the sequences proposed in this paper possess high linear complexities. Autocorrelation is another important measure of a sequence. For quaternary sequence s with even period over , the optimal maximum out-of-phase autocorrelation magnitude, denoted by , has been shown to be 2 [24]. For the new proposed sequence, when the period is , Edemskiy has proved that if and if , respectively. However, for the general case, the autocorrelation properties of the new proposed sequences are not known. Hence, as a further work, it is valuable to analyze the autocorrelation values of the new proposed sequences.

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

This research was supported by the National Natural Science Foundation of China (nos. 61772292 and 61772476), the Natural Science Foundation of Fujian Province (no. 2019J01273), and Fujian Normal University Innovative Research Team (no. IRTL1207).

References

G. Golomb and G. Gong, Signal Design for Good Correlation: For Wireless Communications, Cryptography and Radar Applications, Cambridge University Press, Cambridge, UK, 2005.

J. Massey, “Shift-register synthesis and BCH decoding,” IEEE Transactions on Information Theory, vol. 15, no. 1, pp. 122–127, 1969.

R. Lidl and H. Niederreiter, Finite Fields, Cambridge University Press, Cambridge, UK, 1997.

C. Ding, T. Helleseth, and W. Shan, “On the linear complexity of legendre sequences,” IEEE Transactions on Information Theory, vol. 44, no. 3, pp. 1276–1278, 1998.

J.-H. Kim and H.-Y. Song, “On the linear complexity of Hall’s sextic residue sequences,” IEEE Transactions on Information Theory, vol. 47, no. 5, pp. 2094–2096, 2001.

T. Yan, X. Du, G. Xiao, and X. Huang, “Linear complexity of binary Whiteman generalized cyclotomic sequences of order 2k,” Information Sciences, vol. 179, no. 7, pp. 1019–1023, 2009.

X. Zeng, H. Cai, X. Tang, and Y. Yang, “Optimal frequency hopping sequences of odd length,” IEEE Transactions on Information Theory, vol. 59, no. 5, pp. 3237–3248, 2013.

Z. Xiao, X. Zeng, C. Li, and T. Helleseth, “New generalized cyclotomic binary sequences of period p²,” Designs, Codes and Cryptography, vol. 86, no. 7, pp. 1483–1497, 2017.

V. Edemskiy, C. Li, X. Zeng, and T. Helleseth, “The linear complexity of generalized cyclotomic binary sequences of period pr,” Designs, Codes and Cryptography, pp. 1–15, 2018.

Z. Ye, P. Ke, and C. Wu, “A further study of the linear complexity of new binary cyclotomic sequence of length pr,” Applicable Algebra in Engineering, Communication and Computing, vol. 30, no. 3, pp. 217–231, 2019.

Y. Ouyang and X. Xie, “Linear complexity of generalized cyclotomic sequences of period 2pm,” Designs, Codes and Cryptography, vol. 87, no. 5, pp. 1–12, 2019.

Y.-J. Kim, Y.-P. Hong, and H.-Y. Song, “Autocorrelation of some quaternary cyclotomic sequences of length 2p,” IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, vol. E91-A, no. 12, pp. 3679–3684, 2008.

Z. Chen and V. Edemskiy, “Linear complexity of quaternary sequences over Z₄ derived from generalized cyclotomic classes modulo 2p,” International Journal of Network Security, vol. 19, no. 4, pp. 613–622, 2017.

X. Du and Z. Chen, “Linear complexity of quaternary sequences generated using generalized cyclotomic classes modulo 2p,” IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, vol. E94-A, no. 5, pp. 1214–1217, 2011.

P. Ke, Z. Yang, and J. Zhang, “On the autocorrelation and linear complexity of some 2p periodic quaternary cyclotomic sequences over F4,” IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, vol. E94-A, no. 11, pp. 2472–2477, 2011.

P. Ke and S. Zhang, “New classes of quaternary cyclotomic sequence of length with high linear complexity,” Information Processing Letters, vol. 112, no. 16, pp. 646–650, 2012.

L. Liu, X. Yang, B. Wei, and L. Wu, “A new class of quaternary generalized cyclotomic sequences of order 2d and length 2pm with high linear complexity,” International Journal of Wavelets, Multiresolution and Information Processing, vol. 16, no. 1, Article ID 1850006, 2018.

X. Zhou, X. Li, J. Xiao, Y. Tang, R. Abbasi, and L. Xu, “Linear complexity of generalized cyclotomic binary sequences of order and length 2pm,” International Journal of Wavelets, Multiresolution and Information Processing, vol. 14, no. 5, Article ID 1650040, 2016.

V. Edemskiy and A. Ivanov, “Autocorrelation and linear complexity of quaternary sequences of period 2p based on cyclotomic classes of order four,” in Proceedings of the IEEE International Symposium on Information Theory, pp. 3120–3124, Istanbul, Turkey, July 2013.

J. Zhang, C.-A. Zhao, and X. Ma, “Linear complexity of generalized cyclotomic binary sequences of length 2p m,” Applicable Algebra in Engineering, Communication and Computing, vol. 21, no. 2, pp. 93–108, 2010.

J. Michel and Q. Wang, “Some new balanced and almost balanced quaternary sequences with low autocorrelation,” Cryptography and Communications, vol. 11, no. 2, pp. 191–206, 2019.

P. Udaya and M. U. Siddiqi, “Generalized GMW quadriphase sequences satisfying the Welch bound with equality,” Applicable Algebra in Engineering, Communication and Computing, vol. 10, no. 3, pp. 203–225, 2000.

Z. Wan, Finite Fields and Galois Rings, World Scientific Publisher, Singapore, 2003.

X. Tang and C. Ding, “New classes of balanced quaternary and almost balanced binary sequences with optimal autocorrelation value,” IEEE Transactions on Information Theory, vol. 56, no. 12, pp. 6398–6405, 2010.