A Review Study of Prime Period Perfect Gaussian Integer Sequences

1. Introduction

A Gaussian integer sequence (GIS) is a sequence with coefficients that are complex numbers $a+bj$, where $j=\sqrt{-1}$ and a and b are integers. The construction of perfect Gaussian integer sequence (PGIS) has become an important research topic [1,2,3,4,5,6,7,8,9,10] because integers require less memory; also, the implementation of a PGIS is simpler than those of other perfect sequences (PSs) with real or complex coefficients, in which a sequence is perfect if and only if it has an ideal periodic autocorrelation function (PACF).

By tracing the construction of PGISs, a general form of even-period PGISs was presented in [1], in which the PGISs were constructed by linearly combining four base sequences or their cyclic shift equivalents using Gaussian integer coefficients of equal magnitude. Yang et al. [2] constructed PGISs of odd prime period p by using cyclotomic classes with respect to the multiplicative group of $\mathbf{GF}\left(p\right)$. Ma et al. [3] later presented PGISs with a period of $p(p+2)$ based on Whiteman’s generalized cyclotomy of order two over ${\mathbb{Z}}_{p(p+2)}$, where p and $(p+2)$ are twin primes. In [4], Chang et al. introduced the concept of the degree of a sequence and constructed degree-2 and degree-3 PGISs of prime period p. Then, they up-sampled these PGISs by a factor of m and filled them with new coefficients to build degree-3 and degree-4 PGISs of arbitrary composite period $N=mp$. Lee et al. focused on constructing degree-2 PGISs of various periods using two-tuple-balanced sequences and cyclic difference sets [5,6]. Algorithms that could generate PGISs of arbitrary period were developed by Pei et al. [7], and one of these algorithms could be applied to construct degree-5 PGISs of prime period $p\equiv 1\left(\mathrm{mod}4\right)$ by applying the generalized Legendre sequences (GLS). A systematic method for constructing sparse PGISs in which most of the elements are zeros was proposed [8]. PGISs of period $p^k$ with degrees equal to or less than $k+1$ and those of period $qp$ with degrees equal to or larger than four were proposed in [9] and [10].

With the above mentioned significant results of theoretical PGIS study and matured construction techniques, exploring the application of PGIS gradually becomes a new research topic [11,12,13,14,15,16,17]. In [11], a PGIS was applied to OFDM systems for peak-to-average power ratio (PAPR) reduction. Subsequently, the PGIS was used to construct the transform matrix for the associated precoded OFDM systems to achieve full frequency diversity and obtain optimal bit-error rate [12]. A CDMA scheme based on PGIS, called PGIS-CDMA system, was developed by Chang [13], where a set of PGISs could substitute and outperform the PN codes (e.g., m-sequences, Gold sequences, Kasami sequences, and bent sequences) in a direct sequence (DS) CDMA system. Construction of circular convolution group based on perfect sequences for block data transmission with high diversity order appeared in [14]. New application of PGIS to cryptography refers to [15], which a hybrid public/private key cryptography scheme based on PGIS of period $N=pq$ was proposed. This hybrid cryptosystem can take the advantages of public and private-key systems, and it is with implementation simplicity for easy adaptation to an IoT platform. PGIS can also be applied to construct a set of zero circular convolution (ZCC) sequences [16], which ZCC sequences featured the advantage of possessing the desired PACF and the ideal periodic crosscorrelation function (PCCF) properties. ZCC sequences could be applied for multiuser channel estimation as well as the optimal joint symbol detection and channel estimation [16,17].

Different from that of binary sequence families, there are no upper bound the available numbers of PGISs, which one can construct as many different PGISs as one would expect. We can use degree, pattern and period as three parameters to uniquely define a PGIS. From the application point of view, the available numbers of degrees and patterns of a set of PGISs are desired when the period of a this set of PGISs is fixed. For example, the capacity of a PGIS-CDMA system is determined by the number of degrees and patterns [13]. In addition, prime period PGISs can serve as the fundamental tool for constructing arbitrary composite period PGISs [4]. These two reasons stimulate us to make a review and through study of constructing prime period PGIS from both degree and pattern points of view.

To construct more degrees and patterns of different PGISs is the goal of this study, which we conclude and group the construction approaches into systematic and nonsystematic two schemes. When perfect sequences are constructed by matching the flat magnitude spectrum or the ideal PACF criterion, the pattern and degree of a sequence are determined and known in advance. For example, the construction of degree-2 and degree-3 PGISs of prime period in [4] and the construction of degree-5 PGIS adopting from the generalized Legengre sequences(GLS) by Pei et al. [7]. This is the reason this approach can be called a systematic scheme. In this approach, when the cyclotomic order is greater than 3, solving constraint equations by matching flat magnitude spectrum criterion becomes a great challenge. With this aspect, we can apply correlation and convolution operations in this study to construct degree-4 and many other degrees which belong to the set $\{6,7,10,11,12,14,20,21\}$. However, the degree, as well as the pattern, of a PGIS constructed from taking either correlation or convolution operation between two or more PGISs might vary, and is too complicated to be analyzed systematically, which is a case by case condition. This is rather a nonsystematic scheme of PGIS construction compared with the mentioned systematic scheme. One can apply systematic scheme to construct lower degree PGISs, and then these lower degree PGISs can be applied to construct many other higher degree PGISs using nonsystematic scheme. The proposed systematic and nonsystematic schemes can be combined to construct efficiently abundant PGISs with various degrees and patterns for the associated different applications.

The structure of this paper is briefly described. Followed by depicting the properties of PGISs in Section 2, Sections from 3 to 6 present a review study of the systematic construction of general prime period PGISs of degrees 1, 2, 3 and 5, respectively. New study of PGIS construction by correlation and convolution operations is addressed in Section 7, which there exist abundant degrees and patterns to those PGISs of particular prime periods, e.g., $N=2^m-1$ and $N=\frac{p^m-1}{m-1}$, where p is an odd prime. Conclusions are summarized in Section 8.

2. Definitions and PGIS Properties

2.1. Notations

$\delta \left[\tau \right]$ is the Kronecker delta sequence of period N. The boldface character $\mathbf{s}$ denotes a sequence or a vector of period N which is expressed as $\mathbf{s}={\left\{s\left[n\right]\right\}}_{n=0}^{N-1}$, and ${\mathbf{s}}_{-1}^{*}={\left\{s^{*}\left[{(-n)}_N\right]\right\}}_{n=0}^{N-1}$, where the superscript * and ${(·)}_N$ stand for complex conjugate and modulo N operation, respectively. Let ${\mathbf{s}}^{(-m)}={\left\{s\left[{(n+m)}_N\right]\right\}}_{n=0}^{N-1}$ and ${\mathbf{s}}^{\left(m\right)}={\left\{s\left[{(n-m)}_N\right]\right\}}_{n=0}^{N-1}$ denote the circular shift of $\mathbf{s}$ to the left and right, respectively, by m places, where $0\le m\le N-1$. A set of N different sequences is expressed as ${\left\{{\mathbf{s}}_m\right\}}_{m=0}^{N-1}$. ${\mathbf{S}}_1\circ {\mathbf{S}}_2$ denotes component-wise product between ${\mathbf{S}}_1$ and ${\mathbf{S}}_2$.

2.2. Definitions

2.2.1. Degree

The degree of a sequence is defined as the number of distinct non-zero elements within one period of the sequence.

2.2.2. Pattern

The pattern of a sequence is defined as the distribution of non-zero elements within one period of the sequence.

We can demonstrate two degree-6 PGISs of period 31, which are with different pattern, as follows:

$$(-3,9,9,2,9,-2,2,8,9,-2,-2,2,2,2,8,-5,9,2,-2,8,-2,2,2,-5,2,8,2,-5,8,-5,-5),$$

and

$$(-9,0,0,1,0,-1,1,-2,0,-1,-1,5,1,5,-2,2,0,1,-1,-2,-1,5,5,2,1,-2,5,2,-2,2,2).$$

Notice that since sequence and pattern are periodic with period N, thus sequence $\left\{s\right[n\left]\right\}$ and its circular shifts $\left\{s\left[{(n\pm m)}_N\right]\right\}$ in this paper are considered to be with the same pattern, so are both sequences $\left\{cs\right[n\left]\right\}$ and $\left\{s^{*}\left[n\right]\right\}$. However the pattern of sequence $\left\{s\left[{(-n)}_N\right]\right\}$ may not be the same as that of $\left\{s\right[n\left]\right\}$.

2.2.3. Circular convolution

The circular convolution between ${\mathbf{s}}_1={\left\{s_1\left[n\right]\right\}}_{n=0}^{N-1}$ and ${\mathbf{s}}_2={\left\{s_2\left[n\right]\right\}}_{n=0}^{N-1}$, denoted by ${\mathbf{s}}_1\otimes {\mathbf{s}}_2$=${\left\{s_{12}\left[n\right]\right\}}_{n=0}^{N-1}$, where $s_{12}\left[n\right]$ is the nth component of ${\mathbf{s}}_1\otimes {\mathbf{s}}_2$, is defined as

$$\begin{array}{c}\hfill s_{12}\left[n\right]=\sum _{\tau =0}^{N-1}{s}_1\left[\tau \right]s_2\left[{(n-\tau )}_N\right],\end{array}$$

where ${(·)}_N$ denotes modulo N.

2.2.4. PACF

Let $\mathbf{s}={\left\{s\left[n\right]\right\}}_{n=0}^{N-1}$ denote a sequence of period N, where $s\left[n\right]$ is the nth component of $\mathbf{s}$. ${\mathbf{R}}_s\equiv \mathbf{s}\otimes {\mathbf{s}}_{-1}^{*}={\left\{R\left[\tau \right]\right\}}_{\tau =0}^{N-1}$ denote the periodic autocorrelation function (PACF) of $\mathbf{s}$, i.e.,

$$\begin{array}{c}\hfill R\left[\tau \right]=\sum _{n=0}^{N-1}s\left[n\right]s^{*}\left[{(n-\tau )}_N\right],\end{array}$$

where ${\mathbf{s}}_{-1}={\left\{s\left[{(-n)}_N\right]\right\}}_{n=0}^{N-1}$. Let $\mathbf{S}={\left\{S\left[n\right]\right\}}_{n=0}^{N-1}$ denote the discrete Fourier transform (DFT) of $\mathbf{s}$. Then, the DFT of ${\mathbf{R}}_s$ is $\mathbf{S}\circ {\mathbf{S}}^{*}$=${\left|\mathbf{S}\right|}^2$, where $|·|$ denotes the Euclidean norm. The sequence $\mathbf{s}$ is called perfect if and only if ${\mathbf{R}}_{\mathbf{s}}=E·\delta \left[\tau \right]$, where E is energy of the sequence $\mathbf{s}$. The DFT pair-relationship between ${\mathbf{R}}_{\mathbf{s}}=E·\delta \left[\tau \right]$ and $\mathbf{S}\circ {\mathbf{S}}^{*}={\left|\mathbf{S}\right|}^2$ indicates that a sequence $\mathbf{s}$ is perfect if and only if the magnitude spectrum of $\mathbf{s}$ is flat, i.e., $\left|S\left[n\right]\right|=\sqrt{E},\forall 0\le n\le N-1$.

2.2.5. PCCF

The periodic crosscorrelation function (PCCF) between ${\mathbf{s}}_1={\left\{s_1\left[\tau \right]\right\}}_{\tau =0}^{N-1}$ and ${\mathbf{s}}_2={\left\{s_2\left[\tau \right]\right\}}_{\tau =0}^{N-1}$ is defined as

$$\begin{array}{c}\hfill R_{1,2}\left[\tau \right]=\sum _{n=0}^{N-1}{s}_1\left[n\right]s_2^{*}\left[{(n-\tau )}_N\right].\end{array}$$

2.2.6. Coset

Let $N=KM+1$ be an odd prime number, thus ${\mathbf{Z}}_N=\{1,2,\dots ,N-1\}$ is both a multiplicative group and a cyclic group [22]. If $\alpha \in {\mathbf{Z}}_N$ is a primitive element, it follows that ${\alpha }^{N-1}=1$. Let $\mathbf{H}\equiv {\left\{{\alpha }^{m·K}\right\}}_{m=0}^{M-1}$ and $\gamma \in {\mathbf{Z}}_N$. The subset $\mathbf{H}\gamma \equiv \left\{h\gamma \right|h\in \mathbf{H}\}$ is called the right coset of subgroup $\mathbf{H}$ generated by $\gamma$. Define

$$\begin{array}{c}\hfill {\mathbf{H}}_k\equiv \mathbf{H}{\alpha }^k,k=0,1,\dots ,K-1.\end{array}$$

(1)

It is easy to shown that ${\mathbf{H}}_k,k=0,1,\dots ,K-1$, are distinct right cosets of $\mathbf{H}$, where $\mathbf{H}={\mathbf{H}}_0$. It can be further shown that ${\mathbf{Z}}_N={\mathbf{H}}_0\cup {\mathbf{H}}_1\cup \cdots \cup {\mathbf{H}}_{K-1}$ and $|{\mathbf{Z}}_N|=|{\mathbf{H}}_0|+|{\mathbf{H}}_1|+\cdots +|{\mathbf{H}}_{K-1}|=KM$. It is noted that ${\mathbf{H}}_k=\mathbf{H}{\alpha }^k=\mathbf{H}{\alpha }^{\left(k+m·K\right)}$, where ${\alpha }^{k+m·K}$, $m=0,1,\dots ,M-1$, belong to the same coset.

2.3. PGIS Properties

Only parts of PGIS properties, which are related to this study, are summarized to form the following Theorem. Especially the property 7 is applied for nonsystematic PGIS construction.

Theorem 1.

Let $\mathbf{s}={\left\{s\left[n\right]\right\}}_{n=0}^{N-1}$, ${\mathbf{s}}_1$ and ${\mathbf{s}}_2$ be three PGISs of prime period N. The following sequences are also PGISs of period N

1) $\left\{s\left[{(n\pm m)}_N\right]\right\}$, where m is any integer;

2) $\left\{cs\right[n\left]\right\}$, where c is any nonzero Gaussian integer;

3) $\left\{s^{*}\left[n\right]\right\}$, where $s^{*}\left[n\right]$ denotes complex conjugation;

4) $\left\{S\right[k\left]\right\}$, the DFT of $\left\{s\right[n\left]\right\}$, given that $\left\{s\right[n\left]\right\}$ is with constant amplitude;

5) $\left\{s\left[{(-n)}_N\right]\right\}$;

6) ${\mathbf{s}}_1\otimes {\mathbf{s}}_2$;

7) ${\left\{R_{1,2}\left[\tau \right]\right\}}_{\tau =0}^{N-1}$, ${\left\{R_{2,1}\left[\tau \right]\right\}}_{\tau =0}^{N-1}$, ${\left\{R_{1,1}\left[\tau \right]\right\}}_{\tau =0}^{N-1}$ and ${\left\{R_{2,2}\left[\tau \right]\right\}}_{\tau =0}^{N-1}$.

Proof. 

1). The proof of properties 1) to 6) can refer to [21] and [13].

2). To prove property 7), at first $\left\{s_2^{*}\left[{(-\tau )}_N\right]\right\}$ is also a PGIS, and it has $\left\{R_{1,2}\left[\tau \right]\right\}$=$\left\{s_1\left[\tau \right]\right\}\otimes \left\{s_2^{*}\left[{(-\tau )}_N\right]\right\}$. The convolution between $\left\{s_1\left[\tau \right]\right\}$ and $\left\{s_2^{*}\left[{(-\tau )}_N\right]\right\}$ two PGISs yields that $\left\{R_{1,2}\left[\tau \right]\right\}$ is also a PGIS of period N by property 6). Similarly $\left\{R_{2,1}\left[\tau \right]\right\}$=$\left\{s_2\left[\tau \right]\right\}\otimes \left\{s_1^{*}\left[{(-\tau )}_N\right]\right\}$, $\left\{R_{1,1}\left[\tau \right]\right\}$=$\left\{s_1\left[\tau \right]\right\}\otimes \left\{s_1^{*}\left[{(-\tau )}_N\right]\right\}$ and $\left\{R_{2,2}\left[\tau \right]\right\}$=$\left\{s_2\left[\tau \right]\right\}\otimes \left\{s_2^{*}\left[{(-\tau )}_N\right]\right\}$ are also PGISs of period N as well. □

When the degree of sequence is a great concern, one can apply the cyclotomic class for constructing systematically PS and PSIS according to following Theorem.

Theorem 2.

Let a cyclic group ${\mathbf{Z}}_N=\{1,2,\dots ,N-1\}$ be partitioned into K cosets, where each coset contains M elements and $N=1+KM$. Let $c_1$, $c_2$, …, $c_F$ be all the F positive factors of $N-1$. There exist $F+1$ classes of PSs of period N with degrees 1, $1+\frac{N-1}{c_1}$, $1+\frac{N-1}{c_2}$, …, $1+\frac{N-1}{c_F}$, respectively. It is noted that $K\in \{\frac{N-1}{c_1},\frac{N-1}{c_2},\dots ,\frac{N-1}{c_F}\}$.

Proof. 

Referred to [18]. □

Consider the case of $N=13$, where the six positive factors of $N-1=12$ are 1, 2, 3, 4, 6 and 12, respectively. Therefore, the corresponding degrees of the PSs or PGISs are given by 13, 7, 5, 4, 3, and 2, respectively. We would like to mention that Theorem 2 can ensure the existence of six patterns of PSs with period $N=13$, however it is challenging to construct PGISs of these six patterns where the coefficients of these sequences should be Gaussian integer numbers.

3. Unique Degree-1 PGIS

To encompass a broader scope of sequence degree, a particular degree-1 PGIS, which is originated from Kronecker delta sequence $\delta \left[\tau \right]$, is addressed in this section.

Theorem 3.

For any nonzero Gaussian integer a, sequence $\mathbf{s}=(a,\underset{N-1}{\underbrace{0,\dots ,0}})$ and all $N-1$ other circular shifts of $\mathbf{s}$, with notation ${\mathbf{s}}^{\left(n\right)}$, are the only existing degree-1 PGISs of period N. In other words, $(a,0,\dots ,0)$ is the unique pattern of degree-1 PGIS.

Proof. 

At first, the number of different nonzero elements for degree-1 PGIS is one. The DFT of $\mathbf{s}=(a,\underset{N-1}{\underbrace{0,\dots ,0}})$ is $\mathbf{S}=(a,\underset{N-1}{\underbrace{a,\dots ,a}})$, which $\mathbf{S}$ meets the flat magnitude spectrum criterion for sequence $\mathbf{s}$ to be a PGIS. Let ${\mathbf{s}}^{\left(n\right)}=(\underset{n}{\underbrace{0,\dots ,0}},a,\underset{N-n-1}{\underbrace{0,\dots ,0}})$ be the n-shift of $\mathbf{s}$. The DFT of ${\mathbf{s}}^{\left(n\right)}$ is ${\mathbf{S}}^{\left(n\right)}={\left\{a{e}^{-j\frac{2\pi nm}{N}}\right\}}_{m=0}^{N-1}$, where $\left|a{e}^{-j\frac{2\pi nm}{N}}\right|=\left|a\right|,\forall m$. This infers that ${\mathbf{s}}^{\left(n\right)}$ is a degree-1 PGIS, and this is valid to all $n=1,\dots ,N-1$.

When there exist 2 “a" elements in this sequence, e.g., $\mathbf{s}+{\mathbf{s}}^{\left(n\right)}$, the DFT of sequence $\mathbf{s}+{\mathbf{s}}^{\left(n\right)}$ becomes $\mathbf{S}+{\mathbf{S}}^{\left(n\right)}={\left\{a\left(1+e^{-j\frac{2\pi nm}{N}}\right)\right\}}_{m=0}^{N-1}$, where $\left|a(1+e^{-j\frac{2\pi nm}{N}})\right|\ne \left|a(1+e^{-j\frac{2\pi nk}{N}})\right|$, $0\le m,k\le N-1,m\ne k$. The flat magnitude spectrum criterion for a sequence to be perfect can not be maintained in this situation. By extending this result, when sequence exists more than two “a" elements, the DFT of this sequence becomes ${\left\{a(1+{\sum }_{n\ne 0}{e}^{-j\frac{2\pi nm}{N}})\right\}}_{m=0}^{N-1}$ for some n, which it is straightforward that $\left|a(1+{\sum }_{n\ne 0}{e}^{-j\frac{2\pi nm}{N}})\right|\ne \left|a(1+{\sum }_{n\ne 0}{e}^{-j\frac{2\pi nk}{N}})\right|$ is true, $0\le m,k\le N-1,m\ne k$. This leads conclusion that the sequence can no longer be a degree-1 PGIS when there exist two or more “a" elements. □

4. Degree-2 PGISs Consturction

Besides that of degree-2 PGISs that can be constructed using cyclotomic class the same as other degree PGISs do, many binary sequences, e.g., m-sequences and cyclic difference set, can also be adopted to construct degree-2 PGISs, where binary sequence construction is rather a matured topic with many construction schemes or algorithms [5,6,21]. This implies the more abundant patterns of degree-2 than other degrees. The significance of existence abundant sequence patterns of degree-2 PGISs has the merit that the more number of PGISs the more they can be applied to generate more new PGISs by means of taking convolution or correlation operation upon themselves. This topic of convolution technique on PGIS construction is addressed in the Section 7 of this paper.

4.1. Construction using cyclotomic class

4.1.1. Cyclotomic class of order 1

Let $N=kf+1$ be a odd prime. When $k=1$, there is no partition the cyclic multiplicative group $Z_N=\{1,2,\dots ,N-1\}$. In this situation, the pattern of degree-2 PGIS is

$$\begin{array}{c}\hfill \mathbf{s}=(a,\underset{N-1}{\underbrace{b,\dots ,b}}),\end{array}$$

(2)

where a and b are two nonzero Gaussian integers.

The autocorrelation function of sequence $\mathbf{s}=(a,\underset{N-1}{\underbrace{b,\dots ,b}})$ is

$$R\left[\tau \right]=\left\{\begin{array}{c}|a{|}^2+(N-1)|b{|}^2,\tau =0\\ a{b}^{*}+b{a}_1^{*}+(N-2)|b{|}^2,\tau \ne 0.\end{array}\right.$$

Constraint equation $a{b}^{*}+b{a}^{*}+(N-2)|b{|}^2=0$ is the necessary as well as sufficient condition for sequence $\mathbf{s}$ to be a degree-2 PGIS with nonzero Gaussian integers $a=x_1+j{y}_1$ and $b=x_0+j{y}_0$, which this equation can be further simplified as

$$\begin{array}{c}\hfill 2(x_0{x}_1+y_0{y}_1)+(N-2)(x_0^2+y_0^2)=0.\end{array}$$

(3)

Example 1.

When $f=4$ and $N=4+1=5$, Gaussian integers $a=9+2j$ and $b=-1-3j$ fulfill (3). A degree-2 PGIS of period 5 is given by

$$\mathbf{s}=(9+2j,-1-3j,-1-3j,-1-3j,-1-3j).$$

4.1.2. Cyclotomic class of order 2

When k=2 and $N=2f+1$ is an odd prime. The cyclic group $Z_N=\{1,2,\dots ,N-1\}$ can be partitioned into two cosets $Z_N=\mathrm{H}{b}_0\cup \mathrm{H}{b}_1$, where ${\alpha }^{2f}=1$, $\mathrm{H}{b}_0={\left\{{\alpha }^{2n}\right\}}_{n=0}^{f-1}$ and $\mathrm{H}{b}_1={\left\{{\alpha }^{2n+1}\right\}}_{n=0}^{f-1}$. To construct PGIS, at first, three base sequences ${\mathbf{x}}_{\delta }$ and ${\mathbf{x}}_i={\left\{x_i\left[n\right]\right\}}_{n=0}^{N-1},i=0,1$, are defined as follows:

$$\begin{array}{c}\hfill {\mathbf{x}}_{\delta }=(1,\underset{N-1}{\underbrace{0,\dots ,0}}),\end{array}$$

$$\begin{array}{c}\hfill x_i\left[n\right]=\left\{\begin{array}{cc}1,& n\in \mathrm{H}{b}_i\hfill \\ 0,& \mathrm{otherwise}.\hfill \end{array}\right.\end{array}$$

Theorem 4.

Let $N=2f+1$ be an odd prime and f be an odd integer. The sequence $\mathbf{s}=a({\mathbf{x}}_{\delta }+{\mathbf{x}}_0)+b{\mathbf{x}}_1$ with two nonzero Gaussian integers a and b is a degree-2 PGIS if the following constraint equation holds.

$$\begin{array}{cc}\hfill \left|a\left(f+1\right)+bf\right|& =\left|\frac{\left(a-b\right)\left(1+j\sqrt{N}\right)}{2}\right|\hfill \\ \hfill & =\left|\frac{\left(a-b\right)\left(1-j\sqrt{N}\right)}{2}\right|.\hfill \end{array}$$

(4)

Proof. 

Referred to [4]. □

Corollary 1.

Let $N=2f+1$ be an odd prime and f be an odd integer. The sequence $\mathbf{s}=b({\mathbf{x}}_{\delta }+{\mathbf{x}}_1)+a{\mathbf{x}}_0$ with two nonzero Gaussian integers a and b is a degree-2 PGIS if

$$\begin{array}{cc}\hfill \left|b\left(f+1\right)+af\right|& =\left|\frac{\left(b-a\right)\left(1+j\sqrt{N}\right)}{2}\right|\hfill \\ \hfill & =\left|\frac{\left(b-a\right)\left(1-j\sqrt{N}\right)}{2}\right|.\hfill \end{array}$$

(5)

Proof. 

The flat magnitude spectrum criterion leads to the constraint equation (5). □

Let $a=a_R+j{a}_I$ and $b=b_R+j{b}_I$. The constraint equation (4) infers that the following equation should be fulfilled:

$$\begin{array}{c}\hfill \frac{b_R^2+b_I^2}{{\left(a_R+b_R\right)}^2+{\left(a_I+b_I\right)}^2}=\frac{f+1}{2}.\end{array}$$

(6)

And (5) infers that

$$\begin{array}{c}\hfill \frac{a_R^2+a_I^2}{{\left(a_R+b_R\right)}^2+{\left(a_I+b_I\right)}^2}=\frac{f+1}{2}.\end{array}$$

(7)

Example 2.

When $f=15$ and $N=2f+1=31$, Gaussian integers $a=-5$ and $b=6+2j$ fulfill (6). A degree-2 PGIS of period 31 is given by

$$\begin{array}{c}\hfill \mathbf{s}=(a,a,a,b,a,a,b,a,a,a,a,b,b,b,a,b,a,b,a,a,a,b,b,b,b,a,b,b,a,b,b).\end{array}$$

(8)

Example 3.

Gaussian integers $a=2-6j$ and $b=-3+4j$ can fulfill (7). A degree-2 PGIS of period 31, but with different pattern to that of (8), is

$$\begin{array}{c}\hfill \mathbf{s}=(b,a,a,b,a,a,b,a,a,a,a,b,b,b,a,b,a,b,a,a,a,b,b,b,b,a,b,b,a,b,b).\end{array}$$

(9)

However, there exists no degree-2 PGIS of prime period $N=2f+1$ when f is an even integer, if base sequences ${\mathbf{x}}_{\delta }$, ${\mathbf{x}}_0$ and ${\mathbf{x}}_1$ are applied for sequence construction[4].

4.2. Degree-2 PGISs of arbitrary prime period

Let’s define two base sequences ${\mathbf{x}}_a$, ${\mathbf{x}}_b$ as follows:

$$\begin{array}{c}\hfill {\mathbf{x}}_a=(1,\underset{N-1}{\underbrace{1,\dots ,1}}),\end{array}$$

(10)

$$\begin{array}{c}\hfill {\mathbf{x}}_b=(N-1,\underset{N-1}{\underbrace{-1,\dots ,-1}}),\end{array}$$

Base sequences ${\mathbf{x}}_a$ and ${\mathbf{x}}_b$ can be applied to construct degree-2 PGIS of prime period $N=2f+1$ for both even and odd f according to Theorem 5.

Theorem 5.

The sequence $\mathbf{s}=a{\mathbf{x}}_a+b{\mathbf{x}}_b$ with nonzero Gaussian integers a and b is a degree-2 PGIS if $\left|a\right|=\left|b\right|$.

Proof. 

Referred to [4]. □

Above all, there exist three different sequence patterns to degree-2 PGISs of odd prime period $N=2f+1$ when f is odd, but there is only one pattern when f is even. However, note that any degree-2 PGISs constructed based on Theorem 5 belong to the same sequence pattern as that of (2). To explain the reason, the two base sequences that span sequence pattern in (2) are ${\mathbf{x}}_{\delta }$ and ${\mathbf{x}}_c=(0,\underset{N-1}{\underbrace{1,\dots ,1}})$, which $\{{\mathbf{x}}_{\delta },{\mathbf{x}}_c\}$ and $\{{\mathbf{x}}_a,{\mathbf{x}}_b\}$ can span the same vector space.

From sequence application point of view, it is desirable to design as many distinct sequences as possible for a given period. There do exist many other sequence patterns to the degree-2 PGIS family of particular prime period, addressed in the following two subsections.

4.3. Degree-2 PGISs adopting from ternary perfect sequences

4.3.1. Construction based on ternary perfect sequences

Ipatov derived a large class of ternary PSs of period $N=\frac{q^m-1}{q-1}$, where m is an odd number and $q=p^s$, p is an odd prime and s is an integer [21,23,24]. Having with sequence elements belong to $\{0,+1,-1\}$, the ternary PSs can be adopted to obtain general degree-2 PGISs by replacing $+1$ and $-1$ with any nonzero Gaussian integers a and $-a$, respectively. The degree-2 PGISs derived from ternary PSs may contain many zero elements. Given $q=3$ and $m=3$, ternary PS of period $13=\frac{3^3-1}{3-1}$ is $(0,0,1,0,1,1,1,-1,-1,0,1,-1,1)$, and a degree-2 PGIS of period $N=13$ is given by:

$$\begin{array}{c}\hfill \mathbf{s}=(0,0,a,0,a,a,a,-a,-a,0,a,-a,a).\end{array}$$

(11)

4.3.2. Construction based on CIDTS

The second type degree-2 PGISs can be built adopting from the correlation identity derived ternary sequences(CIDTS) [21]. Momentarily we present only the construction of 12 different degree-2 PGISs of prime period $N=2^5-1$ based on CIDTS, which are $\{{\mathbf{t}}_1,\cdots ,{\mathbf{t}}_{12}\}$, in Table 1. The detailed construction rules of this scheme can refer to Section 7.5.

4.4. Degree-2 PGISs of prime period $2^m-1$

In the case of prime period $N=2^m-1$ family, there exists many sequence patterns of degree-2 PGISs. In [5], Lee et al. constructed four different kinds of degree-2 PGISs of period $N=2^m-1$ from the trace representations of Legendre sequences, Hall’s sextic residue sequences, m-sequences, and GMW sequences, respectively. In addition, a new design degree-2 PGISs using cyclic difference sets can refer to [6]. Let’s present Theorem 6 before addressing the construction of degree-2 PGISs of prime period $N=2^m-1$.

Theorem 6.

For any prime number N, the set of quadratic residues of N forms a multiplicative group with cardinality $\frac{N-1}{2}$.

Proof. 

There are $\frac{N-1}{2}$ quadratic residues of prime N, which are congruent to $1^2,2^2,\cdots ,\frac{N-1}{2},$ respectively. The set $Z_N=\{1,2,\dots ,N-1\}$ is a cyclic group generated by a primitive root $\alpha$ modulo N, where ${\alpha }^{N-1}=1$, and the set ${\left\{{\alpha }^{2n}\right\}}_{n=0}^{f-1}$ forms the subgroup of $Z_N$. According to Euler’s Criterion[20], when $a\equiv {\alpha }^{2n}(modN)$, an even power of a primitive root, $a^{\frac{N-1}{2}}\equiv 1(modN)$ is true. This implies a is a quadratic residue modulo N. The set ${\left\{{\alpha }^{2n}\right\}}_{n=0}^{f-1}$ and the quadratic residues of N are isomorphic between each other. This proves the quadratic residues of N forms a multiplicative group. □

4.4.1. Degree-2 PGISs from Legendre sequences

According to Theorem 6, the set of quadratic residues of prime N is isomorphic to cyclotomic class of order 2. Thus, any degree-2 PGISs of prime period $2^m-1$ constructed using the trace representations of Legendre sequences belong to the same sequence patterns built according to Theorem 6.

4.4.2. Degree-2 PGISs from Hall’s sextic residue sequences

In the case of prime period $N=4a^2+27=6f+1=2^m-1$, where a, f and m are positive integers, e.g., N=31 and N=127, there exist six different sequence patterns of degree-2 PGISs derived from the trace representation of Hall’s sextic residue sequences [5].

4.4.3. Degree-2 PGISs from m-sequences

In the case of degree-2 PGISs derived from m-sequences of period $2^m-1$, the number of distinct $m-$sequence is $\frac{\varphi (2^m-1)}{m}$, where $\varphi (·)$ is the Euler’s totient function. For example, when N=7, there exist two patterns which are the same as that of the cyclotomic class of order 2. In case of N=31, the existing six sequence patterns are the same as that based on the Hall’s sextic residue sequences [5]. There exist 18 different sequence patterns when N=127, which these patterns are different from both the Hall’s sextic residue sequences and the cyclotomic class of order 2. The more details of this topic can refer to [5].

4.4.4. Degree-2 PGISs from cyclic difference set

The TABLE II in [6] presents the cyclic difference sets $(\nu ,\kappa ,\lambda )$ of order $(\kappa -\lambda )\le 30$, among of which the two cyclic sets that belong to the family of prime period $N=2^m-1$ are $(31,6,1)$ and $(31,15,7)$. The degree-2 PGIS pattern constructed using $(31,15,7)$ belongs to one of six patterns derived from m-sequences of period $2^5-1$; while a new pattern can be generated using $(31,6,1)$, which when $a=-j$ and $b=1+3j$ are applied, the degree-2 PGIS of period $N=31$ is

$$\begin{array}{c}\hfill \mathbf{s}=(a,b,a,a,a,b,a,a,a,a,a,b,a,a,a,a,a,a,a,a,a,a,a,a,b,b,a,b,a,a,a).\end{array}$$

(12)

5. Degree-3 PGISs Consturction

5.1. Construction using cyclotomic class of order 2

Let $N=2f+1$ be an odd prime. When f is odd, the autocorrelation function of sequence $\mathbf{s}=a_2{\mathbf{x}}_{\delta }+a_0{\mathbf{x}}_0+a_1{\mathbf{x}}_1$ can be expressed as follows:

$$\begin{array}{c}\hfill R\left[\tau \right]=\left\{\begin{array}{cc}|a_2{|}^2+f·\left(\right|a_0{|}^2+|a_1{|}^2),\hfill & \tau =0\hfill \\ a_2{a}_1^{*}+a_0{\displaystyle \sum _{n\in \mathrm{H}{b}_0}}{s}^{*}\left[{(n-\tau )}_N\right]+a_1{\displaystyle \sum _{n\in \mathrm{H}{b}_1}}{s}^{*}\left[{(n-\tau )}_N\right],\hfill & \tau \in \mathrm{H}{b}_0\hfill \\ a_2{a}_0^{*}+a_0{\displaystyle \sum _{n\in \mathrm{H}{b}_0}}{s}^{*}\left[{(n-\tau )}_N\right]+a_1{\displaystyle \sum _{n\in \mathrm{H}{b}_1}}{s}^{*}\left[{(n-\tau )}_N\right],\hfill & \tau \in \mathrm{H}{b}_1.\hfill \end{array}\right.\end{array}$$

(13)

When f is even, the autocorrelation function becomes

$$\begin{array}{c}\hfill R\left[\tau \right]=\left\{\begin{array}{cc}|a_2{|}^2+f·\left(\right|a_0{|}^2+|a_1{|}^2),\hfill & \tau =0\hfill \\ a_2{a}_0^{*}+a_0{\displaystyle \sum _{n\in \mathrm{H}{b}_0}}{s}^{*}\left[{(n-\tau )}_N\right]+a_1{\displaystyle \sum _{n\in \mathrm{H}{b}_1}}{s}^{*}\left[{(n-\tau )}_N\right],\hfill & \tau \in \mathrm{H}{b}_0\hfill \\ a_2{a}_1^{*}+a_0{\displaystyle \sum _{n\in \mathrm{H}{b}_0}}{s}^{*}\left[{(n-\tau )}_N\right]+a_1{\displaystyle \sum _{n\in \mathrm{H}{b}_1}}{s}^{*}\left[{(n-\tau )}_N\right],\hfill & \tau \in \mathrm{H}{b}_1.\hfill \end{array}\right.\end{array}$$

(14)

Let $a_i=x_i+j{y}_i$, $i=0,1,2$, be three nonzero different Gaussian integers. For an odd f, the necessary and sufficient conditions for sequence $\mathbf{s}$, with its autocorrelation function defined in (13), to be a degree-3 PGIS of period $N=2f+1$ leads to the following linear system of two equations with variables $x_2$ and $y_2$. The same equations to that of (15) are shown in [2] and [4], where the derivation of (15) in [4] is based on the frequency-domain approach.

$$\begin{array}{c}\hfill \left\{\begin{array}{c}{y}_0{x}_1-y_1{x}_0=y_2(x_1-x_0)+x_2(y_0-y_1)\\ -(\mathsf{\Delta }+x_0{x}_1+y_0{y}_1)=x_2(x_1+x_0)+y_2(y_1+y_0)\end{array}\right.\end{array}$$

(15)

where $\mathsf{\Delta }=\frac{f-1}{2}({(x_0+x_1)}^2+{(y_0+y_1)}^2)$. For an even f, the requirement of ${\left\{R\left[\tau \right]\right\}}_{\tau =1}^{N-1}=0$ in (14) leads to the following linear system of two equations with variables $x_2$ and $y_2$. Chang et al. derived the same constraint equations as that of (16) in [4]. However, their derivation is from the frequency domain approach.

$$\begin{array}{c}\hfill \left\{\begin{array}{c}\frac{(x_1^2-x_0^2)}{2}+\frac{(y_1^2-y_0^2)}{2}=x_2(x_1-x_0)+y_2(y_1-y_0)\\ {\mathsf{\Delta }}_x+{\mathsf{\Delta }}_y=-N{x}_2(x_1+x_0)-N{y}_2(y_1+y_0)\end{array}\right.\end{array}$$

(16)

where ${\mathsf{\Delta }}_x={(x_0+x_1)}^2{f}^2-x_0{x}_1-\frac{(N+1){(x_0-x_1)}^2}{4}$ and ${\mathsf{\Delta }}_y={(y_0+y_1)}^2{f}^2-y_0{y}_1-\frac{(N+1){(y_0-y_1)}^2}{4}$.

In [7], Pei et al. applied Legendre sequence and Gauss sum to construct degree-3 PGISs. This approach is more efficient in deriving the coefficients of sequence to achieve ideal PACF than solving the constraint equations of (15) and (16). However, as described in Theorem 5, the sequence pattern constructed based on the Legendre sequences is the same as that based on the cyclotomic class of order 2.

5.2. Degree-3 PGISs of prime period $2^m-1$

This subsection presents more sequence patterns of degree-3 PGIS of prime period $2^m-1$, which are derived from taking circular convolution upon two degree-2 PGISs. We present 12 illustrative examples to demonstrate the results of circular convolution in Table 2, which the former 12 patterns are obtained from circular convolution applied to degree-2 PGISs from Table 1, and the bottom row pattern is constructed using cyclotomic class of order 2.

5.3. Construction from ternary perfect sequences

There exists also degree-3 PGIS constructed from taking circular convolution between ternary PS and degree-2 PGIS with sequence pattern $\mathbf{s}=(a,\underset{N-1}{\underbrace{b,\dots ,b}})$. One more degree-3 PGIS example $\mathbf{s}={\mathbf{s}}_{10}\otimes {\mathbf{s}}_{11}$ of period $N=2^5-1$ is present in Table 2.

Table 1. 23 patterns of degree-2 PGISs of period 31

$\mathbf{PGIS}$	$\mathbf{sequence}\mathbf{pattern}$	$\mathbf{coefficients}$
${\mathbf{s}}_1$	$(a,b,b,a,b,a,a,b,b,a,a,a,a,a,b,b,b,a,a,b,a,a,a,b,a,b,a,b,b,b,b)$	$a=-1+3j,b=4j$
${\mathbf{s}}_2$	$(a,b,b,b,b,a,b,a,b,a,a,a,b,a,a,b,b,b,a,a,a,a,a,b,b,a,a,b,a,b,b)$	${\mathbf{s}}_1$ to ${\mathbf{s}}_6$
${\mathbf{s}}_3$	$(a,b,b,a,b,b,a,a,b,b,b,b,a,b,a,a,b,a,b,a,b,b,b,a,a,a,b,a,a,a,a)$	are derived from
${\mathbf{s}}_4$	$(a,a,a,a,a,b,a,a,a,b,b,b,a,b,a,b,a,a,b,a,b,b,b,b,a,a,b,b,a,b,b)$	m-sequences
${\mathbf{s}}_5$	$(a,a,a,b,a,b,b,b,a,b,b,a,b,a,b,a,a,b,b,b,b,a,a,a,b,b,a,a,b,a,a)$
${\mathbf{s}}_6$	$(a,a,a,b,a,a,b,b,a,a,a,b,b,b,b,a,a,b,a,b,a,b,b,a,b,b,b,a,b,a,a)$
${\mathbf{s}}_7$	$(a,b,a,a,a,b,a,a,a,a,a,b,a,a,a,a,a,a,a,a,a,a,a,a,b,b,a,b,a,a,a)$	$a=-j,b=1+3j$
${\mathbf{s}}_8$	$(b,a,a,b,a,a,b,a,a,a,a,b,b,b,a,b,a,b,a,a,a,b,b,b,b,a,b,b,a,b,b)$	$a=2-6j$,$b=-3+4j$
${\mathbf{s}}_9$	$(a,a,a,b,a,a,b,a,a,a,a,b,b,b,a,b,a,b,a,a,a,b,b,b,b,a,b,b,a,b,b)$	$a=-5$,$b=6+2j$
${\mathbf{s}}_{10}$	$(a,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b)$	$a=88+63j$,$b=-5+j$
${\mathbf{s}}_{11}$	$(0,0,a,0,b,a,a,a,b,b,0,a,b,b,0,b,b,a,a,a,a,a,b,a,b,a,0,a,a,b,a)$	a is Gaussian integer and $b=-a$,
${\mathbf{t}}_1$	$(b,b,b,a,b,0,a,a,b,0,0,0,a,0,a,0,b,a,0,a,0,0,0,0,a,a,0,0,a,0,0)$	${\mathbf{s}}_{11}$ is ternary sequence,
${\mathbf{t}}_2$	$(b,0,0,a,0,a,a,0,0,a,a,b,a,b,0,0,0,a,a,0,a,b,b,0,a,0,b,0,0,0,0)$	${\mathbf{t}}_1$ to ${\mathbf{t}}_{12}$ are CIDTS
${\mathbf{t}}_3$	$(b,0,0,b,0,a,b,0,0,a,a,a,b,a,0,0,0,b,a,0,a,a,a,0,b,0,a,0,0,0,0)$	constructed based on m-sequences
${\mathbf{t}}_4$	$(b,a,a,0,a,0,0,0,a,0,0,a,0,a,0,b,a,0,0,0,0,a,a,b,0,0,a,b,0,b,b)$
${\mathbf{t}}_5$	$(b,0,0,0,0,b,0,a,0,b,b,a,0,a,a,0,0,0,b,a,b,a,a,0,0,a,a,0,a,0,0)$
${\mathbf{t}}_6$	$(b,0,0,a,0,0,a,a,0,0,0,0,a,0,a,b,0,a,0,a,0,0,0,b,a,a,0,b,a,b,b)$
${\mathbf{t}}_7$	$(b,b,b,0,b,a,0,0,b,a,a,0,0,0,0,a,b,0,a,0,a,0,0,a,0,0,0,a,0,a,a)$
${\mathbf{t}}_8$	$(b,0,0,0,0,a,0,b,0,a,a,a,0,a,b,0,0,0,a,b,a,a,a,0,0,b,a,0,b,0,0)$
${\mathbf{t}}_9$	$(b,a,a,0,a,b,0,0,a,b,b,0,0,0,0,a,a,0,b,0,b,0,0,a,0,0,0,a,0,a,a)$
${\mathbf{t}}_{10}$	$(b,0,0,b,0,0,b,a,0,0,0,0,b,0,a,a,0,b,0,a,0,0,0,a,b,a,0,a,a,a,a)$
${\mathbf{t}}_{11}$	$(b,a,a,a,a,0,a,b,a,0,0,0,a,0,b,0,a,a,0,b,0,0,0,0,a,b,0,0,b,0,0)$
${\mathbf{t}}_{12}$	$(b,a,a,0,a,0,0,0,a,0,0,b,0,b,0,a,a,0,0,0,0,b,b,a,0,0,b,a,0,a,a)$
${\mathbf{s}}_{10}$, ${\mathbf{s}}_8$ and ${\mathbf{s}}_9$ are constructed using cyclotomic class of order 1,2,2, respectively, and ${\mathbf{s}}_7$ is from (12)

Table 1. 23 patterns of degree-2 PGISs of period 31

$\mathbf{PGIS}$	$\mathbf{sequence}\mathbf{pattern}$	$\mathbf{coefficients}$
${\mathbf{s}}_1$	$(a,b,b,a,b,a,a,b,b,a,a,a,a,a,b,b,b,a,a,b,a,a,a,b,a,b,a,b,b,b,b)$	$a=-1+3j,b=4j$
${\mathbf{s}}_2$	$(a,b,b,b,b,a,b,a,b,a,a,a,b,a,a,b,b,b,a,a,a,a,a,b,b,a,a,b,a,b,b)$	${\mathbf{s}}_1$ to ${\mathbf{s}}_6$
${\mathbf{s}}_3$	$(a,b,b,a,b,b,a,a,b,b,b,b,a,b,a,a,b,a,b,a,b,b,b,a,a,a,b,a,a,a,a)$	are derived from
${\mathbf{s}}_4$	$(a,a,a,a,a,b,a,a,a,b,b,b,a,b,a,b,a,a,b,a,b,b,b,b,a,a,b,b,a,b,b)$	m-sequences
${\mathbf{s}}_5$	$(a,a,a,b,a,b,b,b,a,b,b,a,b,a,b,a,a,b,b,b,b,a,a,a,b,b,a,a,b,a,a)$
${\mathbf{s}}_6$	$(a,a,a,b,a,a,b,b,a,a,a,b,b,b,b,a,a,b,a,b,a,b,b,a,b,b,b,a,b,a,a)$
${\mathbf{s}}_7$	$(a,b,a,a,a,b,a,a,a,a,a,b,a,a,a,a,a,a,a,a,a,a,a,a,b,b,a,b,a,a,a)$	$a=-j,b=1+3j$
${\mathbf{s}}_8$	$(b,a,a,b,a,a,b,a,a,a,a,b,b,b,a,b,a,b,a,a,a,b,b,b,b,a,b,b,a,b,b)$	$a=2-6j$,$b=-3+4j$
${\mathbf{s}}_9$	$(a,a,a,b,a,a,b,a,a,a,a,b,b,b,a,b,a,b,a,a,a,b,b,b,b,a,b,b,a,b,b)$	$a=-5$,$b=6+2j$
${\mathbf{s}}_{10}$	$(a,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b)$	$a=88+63j$,$b=-5+j$
${\mathbf{s}}_{11}$	$(0,0,a,0,b,a,a,a,b,b,0,a,b,b,0,b,b,a,a,a,a,a,b,a,b,a,0,a,a,b,a)$	a is Gaussian integer and $b=-a$,
${\mathbf{t}}_1$	$(b,b,b,a,b,0,a,a,b,0,0,0,a,0,a,0,b,a,0,a,0,0,0,0,a,a,0,0,a,0,0)$	${\mathbf{s}}_{11}$ is ternary sequence,
${\mathbf{t}}_2$	$(b,0,0,a,0,a,a,0,0,a,a,b,a,b,0,0,0,a,a,0,a,b,b,0,a,0,b,0,0,0,0)$	${\mathbf{t}}_1$ to ${\mathbf{t}}_{12}$ are CIDTS
${\mathbf{t}}_3$	$(b,0,0,b,0,a,b,0,0,a,a,a,b,a,0,0,0,b,a,0,a,a,a,0,b,0,a,0,0,0,0)$	constructed based on m-sequences
${\mathbf{t}}_4$	$(b,a,a,0,a,0,0,0,a,0,0,a,0,a,0,b,a,0,0,0,0,a,a,b,0,0,a,b,0,b,b)$
${\mathbf{t}}_5$	$(b,0,0,0,0,b,0,a,0,b,b,a,0,a,a,0,0,0,b,a,b,a,a,0,0,a,a,0,a,0,0)$
${\mathbf{t}}_6$	$(b,0,0,a,0,0,a,a,0,0,0,0,a,0,a,b,0,a,0,a,0,0,0,b,a,a,0,b,a,b,b)$
${\mathbf{t}}_7$	$(b,b,b,0,b,a,0,0,b,a,a,0,0,0,0,a,b,0,a,0,a,0,0,a,0,0,0,a,0,a,a)$
${\mathbf{t}}_8$	$(b,0,0,0,0,a,0,b,0,a,a,a,0,a,b,0,0,0,a,b,a,a,a,0,0,b,a,0,b,0,0)$
${\mathbf{t}}_9$	$(b,a,a,0,a,b,0,0,a,b,b,0,0,0,0,a,a,0,b,0,b,0,0,a,0,0,0,a,0,a,a)$
${\mathbf{t}}_{10}$	$(b,0,0,b,0,0,b,a,0,0,0,0,b,0,a,a,0,b,0,a,0,0,0,a,b,a,0,a,a,a,a)$
${\mathbf{t}}_{11}$	$(b,a,a,a,a,0,a,b,a,0,0,0,a,0,b,0,a,a,0,b,0,0,0,0,a,b,0,0,b,0,0)$
${\mathbf{t}}_{12}$	$(b,a,a,0,a,0,0,0,a,0,0,b,0,b,0,a,a,0,0,0,0,b,b,a,0,0,b,a,0,a,a)$
${\mathbf{s}}_{10}$, ${\mathbf{s}}_8$ and ${\mathbf{s}}_9$ are constructed using cyclotomic class of order 1,2,2, respectively, and ${\mathbf{s}}_7$ is from (12)

Table 2. 14 patterns of degree-3 PGISs of period 31

$\mathbf{PGIS}$	$\mathbf{sequence}\mathbf{pattern}$	$\mathbf{coefficients}$
${\mathbf{s}}_1\otimes {\mathbf{s}}_3$	$(a,b,b,c,b,c,c,b,b,c,c,a,c,a,b,b,b,c,c,b,c,a,a,b,c,b,a,b,b,b,b)$	$a=112-44j,b=16-16j,$
${\mathbf{s}}_1\otimes {\mathbf{s}}_4$	$(a,a,a,c,a,b,c,c,a,b,b,b,c,b,c,b,a,c,b,c,b,b,b,b,c,c,b,b,c,b,b)$	$c=-80+12j$
${\mathbf{s}}_1\otimes {\mathbf{s}}_5$	$(a,c,c,b,c,b,b,b,c,b,b,c,b,c,b,a,c,b,b,b,b,c,c,a,b,b,c,a,b,a,a)$	(all ${\mathbf{s}}_i$ are from $\mathrm{Table}1$)
${\mathbf{s}}_1\otimes {\mathbf{s}}_6$	$(a,b,b,a,c,b,a,b,b,c,c,c,a,c,b,b,b,a,c,b,c,c,c,b,a,b,c,b,b,b,b)$
${\mathbf{s}}_2\otimes {\mathbf{s}}_3$	$(a,b,b,c,b,b,c,c,b,b,b,b,c,b,c,a,b,c,b,c,b,b,b,a,c,c,b,a,c,a,a)$
${\mathbf{s}}_2\otimes {\mathbf{s}}_4$	$(a,b,b,b,b,a,b,c,b,a,a,c,b,c,c,b,b,b,a,c,a,c,c,b,b,c,c,b,c,b,b)$
${\mathbf{s}}_2\otimes {\mathbf{s}}_5$	$(a,b,b,b,b,c,b,a,b,c,c,c,b,c,a,b,b,b,c,a,c,c,c,b,b,a,c,b,a,b,b)$
${\mathbf{s}}_2\otimes {\mathbf{s}}_6$	$(a,a,a,b,a,c,b,b,a,c,c,b,b,b,b,c,a,b,c,b,c,b,b,c,b,b,b,c,b,c,c)$
${\mathbf{s}}_3\otimes {\mathbf{s}}_5$	$(a,b,b,a,b,b,a,c,b,b,b,b,a,b,c,c,b,a,b,c,b,b,b,c,a,c,b,c,c,c,c)$
${\mathbf{s}}_3\otimes {\mathbf{s}}_6$	$(a,c,c,b,c,a,b,b,c,a,a,b,b,b,b,c,c,b,a,b,a,b,b,c,b,b,b,c,b,c,c)$
${\mathbf{s}}_4\otimes {\mathbf{s}}_5$	$(a,c,c,b,c,b,b,b,c,b,b,a,b,a,b,c,c,b,b,b,b,a,a,c,b,b,a,c,b,c,c)$
${\mathbf{s}}_4\otimes {\mathbf{s}}_6$	$(a,c,c,c,c,b,c,a,c,b,b,b,c,b,a,b,c,c,b,a,b,b,b,b,c,a,b,b,a,b,b)$
${\mathbf{s}}_{10}\otimes {\mathbf{s}}_{11}$	$(a,a,b,a,c,b,b,b,c,c,a,b,c,c,a,c,c,b,b,b,b,b,c,b,c,b,a,b,b,c,b)$	$a=-25-5j,b=68-67j,$
		$c=-118-57j$
${\mathbf{s}}_{cy}$	$(a,b,b,c,b,b,c,b,b,b,b,c,c,c,b,c,b,c,b,b,b,c,c,c,c,b,c,c,b,c,c)$	$a=-5-5j,b=3+3j,$
	(construction using cyclotomic class of order 2)	$c=-4-4j$

Table 2. 14 patterns of degree-3 PGISs of period 31

$\mathbf{PGIS}$	$\mathbf{sequence}\mathbf{pattern}$	$\mathbf{coefficients}$
${\mathbf{s}}_1\otimes {\mathbf{s}}_3$	$(a,b,b,c,b,c,c,b,b,c,c,a,c,a,b,b,b,c,c,b,c,a,a,b,c,b,a,b,b,b,b)$	$a=112-44j,b=16-16j,$
${\mathbf{s}}_1\otimes {\mathbf{s}}_4$	$(a,a,a,c,a,b,c,c,a,b,b,b,c,b,c,b,a,c,b,c,b,b,b,b,c,c,b,b,c,b,b)$	$c=-80+12j$
${\mathbf{s}}_1\otimes {\mathbf{s}}_5$	$(a,c,c,b,c,b,b,b,c,b,b,c,b,c,b,a,c,b,b,b,b,c,c,a,b,b,c,a,b,a,a)$	(all ${\mathbf{s}}_i$ are from $\mathrm{Table}1$)
${\mathbf{s}}_1\otimes {\mathbf{s}}_6$	$(a,b,b,a,c,b,a,b,b,c,c,c,a,c,b,b,b,a,c,b,c,c,c,b,a,b,c,b,b,b,b)$
${\mathbf{s}}_2\otimes {\mathbf{s}}_3$	$(a,b,b,c,b,b,c,c,b,b,b,b,c,b,c,a,b,c,b,c,b,b,b,a,c,c,b,a,c,a,a)$
${\mathbf{s}}_2\otimes {\mathbf{s}}_4$	$(a,b,b,b,b,a,b,c,b,a,a,c,b,c,c,b,b,b,a,c,a,c,c,b,b,c,c,b,c,b,b)$
${\mathbf{s}}_2\otimes {\mathbf{s}}_5$	$(a,b,b,b,b,c,b,a,b,c,c,c,b,c,a,b,b,b,c,a,c,c,c,b,b,a,c,b,a,b,b)$
${\mathbf{s}}_2\otimes {\mathbf{s}}_6$	$(a,a,a,b,a,c,b,b,a,c,c,b,b,b,b,c,a,b,c,b,c,b,b,c,b,b,b,c,b,c,c)$
${\mathbf{s}}_3\otimes {\mathbf{s}}_5$	$(a,b,b,a,b,b,a,c,b,b,b,b,a,b,c,c,b,a,b,c,b,b,b,c,a,c,b,c,c,c,c)$
${\mathbf{s}}_3\otimes {\mathbf{s}}_6$	$(a,c,c,b,c,a,b,b,c,a,a,b,b,b,b,c,c,b,a,b,a,b,b,c,b,b,b,c,b,c,c)$
${\mathbf{s}}_4\otimes {\mathbf{s}}_5$	$(a,c,c,b,c,b,b,b,c,b,b,a,b,a,b,c,c,b,b,b,b,a,a,c,b,b,a,c,b,c,c)$
${\mathbf{s}}_4\otimes {\mathbf{s}}_6$	$(a,c,c,c,c,b,c,a,c,b,b,b,c,b,a,b,c,c,b,a,b,b,b,b,c,a,b,b,a,b,b)$
${\mathbf{s}}_{10}\otimes {\mathbf{s}}_{11}$	$(a,a,b,a,c,b,b,b,c,c,a,b,c,c,a,c,c,b,b,b,b,b,c,b,c,b,a,b,b,c,b)$	$a=-25-5j,b=68-67j,$
		$c=-118-57j$
${\mathbf{s}}_{cy}$	$(a,b,b,c,b,b,c,b,b,b,b,c,c,c,b,c,b,c,b,b,b,c,c,c,c,b,c,c,b,c,c)$	$a=-5-5j,b=3+3j,$
	(construction using cyclotomic class of order 2)	$c=-4-4j$

6. Degree-5 PGISs Consturction

6.1. PGISs construction using GLS

Though the authors in [2] did not mention the degree concept of a sequence, they did make efforts on construction the degree-5 PGIS of prime period $N=4f+1$, which by using the cyclotomic class of order 4 and depending on either odd or even f, two systems of four equations were derived, respectively. However, it is still in pending situation to solve these two constraint equations from which to show the existence of prime period degree-5 PGIS. Peiet al. made a breakthrough of constructing successfully the prime period degree-5 PGIS from adopting the GLS in stead of using cyclomotic class of order 4, though they did not mention the degree-5 concept either [7]. The more detailed study of constructing degree-5 PGIS by adopting GLS is addressed in this subsection.

At first, the GLS, denoted by $\mathbf{g}$=${\left\{g\left[n\right]\right\}}_{n=0}^{N-1}$, is defined [20] as follows:

$$\begin{array}{c}\hfill g\left[n\right]=\left\{\begin{array}{cc}0,& n=0,\hfill \\ \exp \left[\frac{j2\pi \left({\mathrm{ind}}_{h}n\right)}{N-1}\right],& n\ne 0(modN).\hfill \end{array}\right.\end{array}$$

(17)

In (17), ${\mathrm{ind}}_{h}n$ is the index function defined by

$$h^{{\mathrm{ind}}_{h}n}\equiv n(modN).$$

In a further generalization, a scaling factor, $r=1,2,\dots ,N-2,$ can be introduced in the definition (17), yielding

$$\begin{array}{c}\hfill g\left[n\right]=\left\{\begin{array}{cc}0,& n=0,\hfill \\ \exp \left[\frac{j2\pi r\left({\mathrm{ind}}_{h}n\right)}{N-1}\right],& n\ne 0(modN).\hfill \end{array}\right.\end{array}$$

(18)

Lemma 1.

Let $N=4f+1$ be an prime number. In (18), when the scaling factor r=f, $g\left[n\right]\in \{1,j,-1,-j\},n\ne 0$.

Proof. 

Inserting r=f to (18) proves the result. □

Let ${\left\{G\left[n\right]\right\}}_{n=0}^{N-1}$ be the DFT of GLS $\mathbf{g}$.

Lemma 2.

Let $N=4f+1$ be an prime number. In (18), when the scaling factor r=f, the magnitude spectrum of $\mathbf{g}={\left\{g\left[n\right]\right\}}_{n=0}^{N-1}$ is as follows:

$$\begin{array}{c}\hfill \left|G\left[n\right]\right|=\left\{\begin{array}{cc}0,& n=0,\hfill \\ \sqrt{N},& n\ne 0(modN).\hfill \end{array}\right.\end{array}$$

(19)

Proof. 

Referred to [20]. □

We can adopt the results of Lemmas 1 and 2 and apply base sequence ${\mathbf{x}}_{\mathbf{a}}$, defined in (10), and GLS $\mathbf{g}$ to bound the coefficients of sequences in Gaussian integers, according to Theorem 7.

Theorem 7.

Let $N=4f+1$ be an prime number and a is nonzero Gaussian integer. The sequence $\mathbf{s}=a·{\mathbf{x}}_{\mathbf{a}}+N·\mathbf{g}$ is a degree-5 PGIS of period N given that ${\left|a\right|}^2=N$.

Proof. 

When ${\left|a\right|}^2=N$, the magnitude spectrum of $a·{\mathbf{x}}_{\mathbf{a}}$ is $N\sqrt{N}\delta \left[n\right]$. By applying the result of Lemmas 1 and 2, it is straightforward that the magnitude spectrum of $\mathbf{s}=a·{\mathbf{x}}_{\mathbf{a}}+N·\mathbf{g}$ is flat, as well as, $g\left[n\right]\in \{1,j,-1,-j\}$ implies that the number of different Gaussian integers appeared in sequence $\mathbf{s}$ is five. This proves that $\mathbf{s}=a·{\mathbf{x}}_{\mathbf{a}}+N·\mathbf{g}$ is a degree-5 PGIS. □

Example 4 and 5 present odd and even f examples of degree-5 PGIS of period $N=4f+1$ , respectively.

Example 4.

When $f=3$, $N=4·3+1=13$. Let $a=2-3j$, where ${\left|a\right|}^2=13$. The GLS $\mathbf{g}=(0,1,j,1,-1,j,j,-j,-j,1,-1,-j,-1)$. A degree-5 PGIS $\mathbf{s}=a·{\mathbf{x}}_{\mathbf{a}}+13·\mathbf{g}$ of period 13 is given by

$$\begin{array}{c}\hfill \mathbf{s}=(a,b,c,b,d,c,c,e,e,b,d,e,d),\end{array}$$

(20)

where $a=2-3j$, $b=15-3j$, $c=2+10j$, $d=-11-3j$, and $e=2-16j$.

Example 5.

When $f=4$, $N=4·4+1=17$. Let $a=4+j$, where ${\left|a\right|}^2=17$. The GLS $\mathbf{g}=(0,1,-1,j,1,j,-j,-j,-1,-1,-j,-j,j,1,j,-1,1)$. A degree-5 PGIS $\mathbf{s}=a·{\mathbf{x}}_{\mathbf{a}}+17·\mathbf{g}$ of period 17 is given by

$$\begin{array}{c}\hfill \mathbf{s}=(a,b,c,d,b,d,e,e,c,c,e,e,d,b,d,c,b),\end{array}$$

(21)

where $a=4+j$, $b=21+j$, $c=-13+j$, $d=4+18j$, and $e=4-16j$.

6.2. Degree-5 PGISs of prime period $2^m-1$

Addressed in the previous subsection, degree-5 PGIS of arbitrary prime period $N=4f+1$ can be constructed using the GLS, where for each $N=4f+1$ there exist two sequence patterns associated with even and odd f, respectively. This subsection presents the creation of more sequence patterns to the degree-5 PGIS family using the CIDTS scheme [21]. However, this scheme can be applied only to particular prime period, e.g., $N=2^m-1$. The principles of CIDTS scheme are summarized as follows:

Let ${\mathbf{s}}_b={\left\{s_b\left[n\right]\right\}}_{n=0}^{N-1}$ and ${\mathbf{s}}_c={\left\{s_c\left[n\right]\right\}}_{n=0}^{N-1}$ be two sequences with two-valued autocorrelation functions (ACFs), i.e.

$$\begin{array}{c}\hfill R_b\left[\tau \right]=\left\{\begin{array}{cc}{A}_b,& \tau =0,\hfill \\ B_b,& n\ne 0\hfill \end{array}\right.\end{array}$$

$$\begin{array}{c}\hfill R_c\left[\tau \right]=\left\{\begin{array}{cc}{A}_c,& \tau =0,\hfill \\ B_c,& n\ne 0\hfill \end{array}\right.\end{array}$$

The CCF between ${\mathbf{s}}_b$ and ${\mathbf{s}}_c$ is

$$\begin{array}{c}\hfill R_{b,c}\left[\tau \right]=\sum _{n=0}^{N-1}{s}_b\left[n\right]s_c^{*}\left[{(n-\tau )}_N\right],\end{array}$$

The following identity is true for periodic correlation functions

$$\begin{array}{c}\hfill \sum _{n=0}^{N-1}{R}_{b,c}\left[n\right]R_{b,c}^{*}\left[{(n-\tau )}_N\right]=\sum _{n=0}^{N-1}{R}_b\left[n\right]R_c^{*}\left[{(n-\tau )}_N\right].\end{array}$$

Let $s_a\left[n\right]=R_{b,c}\left[n\right]$, then ${\mathbf{s}}_a={\left\{s_a\left[n\right]\right\}}_{n=0}^{N-1}$ is a periodic sequence with two-valued ACF given by [21]

$$\begin{array}{c}\hfill R_a\left[\tau \right]=\sum _{n=0}^{N-1}{R}_{b,c}\left[n\right]R_{b,c}^{*}\left[{(n-\tau )}_N\right]=\left\{\begin{array}{cc}{A}_b{A}_c+(N-1)B_b{B}_c,& \tau =0,\hfill \\ A_b{B}_c+A_c{B}_b+(N-2)B_b{B}_c,& n\ne 0.\hfill \end{array}\right.\end{array}$$

(22)

From (22), when both ${\mathbf{s}}_b$ and ${\mathbf{s}}_c$ are PSs, then ${\mathbf{s}}_a$ does too. Otherwise, one can still do necessary adjustment and make ${\mathbf{s}}_a$ a PS [21]. The result of (22) can be adopted to construct a degree-5 PGIS of particular prime period, e.g., $N=2^m-1$. For $m-$sequence of period $N=2^5-1=31$, the six distinct $m-$sequences are $\{{\mathbf{m}}_1,\cdots ,{\mathbf{m}}_6\}$, which are obtained from $\{{\mathbf{s}}_1,\cdots ,{\mathbf{s}}_6\}$, listed in Table 1, after substituting $a=1$ and $b=-1$, respectively. Let’s make adjustment by setting $s_a\left[n\right]=R_{b,c}\left[n\right]+1$ to construct three different degree-5 PGISs ${\mathbf{s}}_a$, presented in Example 6.

Example 6.

At first, when ${\mathbf{s}}_b={\left\{m_1\left[n\right]\right\}}_{n=0}^{N-1}$ and ${\mathbf{s}}_c={\left\{m_2\left[n\right]\right\}}_{n=0}^{N-1}$, by setting $\left\{t_{13}\left[n\right]\right\}=\left\{\frac{R_{b,c}\left[n\right]+1}{4}\right\}$, a degree-5 PGIS of period 31 is

$$\begin{array}{c}\hfill {\mathbf{t}}_{13}=(3,0,0,1,0,-1,1,-2,0,-1,-1,1,1,1,-2,2,0,1,-1,-2,-1,1,1,2,1,-2,1,2,-2,2,2).\end{array}$$

(23)

Secondly, when ${\mathbf{s}}_b={\left\{m_3\left[n\right]\right\}}_{n=0}^{N-1}$ and ${\mathbf{s}}_c={\left\{m_4\left[n\right]\right\}}_{n=0}^{N-1}$, $\left\{t_{14}\left[n\right]\right\}=\left\{\frac{R_{b,c}\left[n\right]+1}{4}\right\}$ obtains

$$\begin{array}{c}\hfill {\mathbf{t}}_{14}=(3,-2,-2,1,-2,0,1,-1,-2,0,0,2,1,2,-1,1,-2,1,0,-1,0,2,2,1,1,-1,2,1,-1,1,1).\end{array}$$

(24)

Finally, when ${\mathbf{s}}_b={\left\{m_5\left[n\right]\right\}}_{n=0}^{N-1}$ and ${\mathbf{s}}_c={\left\{m_6\left[n\right]\right\}}_{n=0}^{N-1}$ are applied, the third PGIS is

$$\begin{array}{c}\hfill {\mathbf{t}}_{15}=(3,-1,-1,2,-1,-2,2,0,-1,-2,-2,1,2,1,0,1,-1,2,-2,0,-2,1,1,1,2,0,1,1,0,1,1).\end{array}$$

(25)

Since $R_{c,b}\left[{(-n)}_N\right]=R_{b,c}\left[n\right]$, when $R_{c,b}\left[n\right]\ne R_{b,c}\left[n\right]$, setting $t_{-a}\left[n\right]$=$\frac{R_{c,b}\left[n\right]+1}{4}$ will generate distinct PSIS, where $\left\{t_{-a}\left[n\right]\right\}$=$\left\{t_a\left[{(-n)}_N\right]\right\}$. Consequently, there exist three other patterns associated with (23)-(25), respectively.

7. PGISs Construction from Convolution and Correlation Operations

Basically there are three parts in this section. The first part consists of subsections 7.1 and 7.2, which addresses the relationship between circulant matrix and circular convolution, and explores some properties of PGISs construction from convolution. Applying cascading convolution to construct successfully the degree-4 PGIS is discussed in subsection $\mathit{7}.\mathit{3}$. The last part presents more higher degrees PGISs construction of different types, which includes subsections $\mathit{7}.\mathit{4}$, $\mathit{7}.\mathit{5}$ and $\mathit{7}.\mathit{6}$.

7.1. Relationship between convolution and circulant matrix

Let’s define a circulant matrix $\mathbf{C}$ of size $N\times N$ based on sequence $\mathbf{c}={\left\{c\left[n\right]\right\}}_{n=0}^{N-1}$, where the elements of $\mathbf{c}$ form the first row of $\mathbf{C}$. With this definition, $\mathbf{C}=\left\{c\left[{(k-n)}_N\right]\right\}$, where the $(n,k)$ entry of $\mathbf{C}$, denoted by $C_{n,k}$, is

$$C_{n,k}=c\left[{(k-n)}_N\right].$$

The eigenvalues of a circulant matrix comprise the DFT of the first row of the circulant matrix, and conversely first row of a circulant matrix is the inverse DFT of the eigenvalues. In particular all circulant matrices share the same eigenvectors, ([25] and p.267, [26])

$$\begin{array}{c}\hfill {\mathbf{y}}_m=\frac{1}{\sqrt{N}}{[1e^{-j2\pi m/N}\cdots e^{-j2\pi m(N-1)/N}]}^T,m=0,1,\dots ,N-1,\end{array}$$

(26)

where ${[·]}^T$ denotes transpose. Let $\mathbf{U}$ be matrix consisting of the eigenvectors ${\mathbf{y}}_m$ as columns in order and $\mathsf{\Psi }$=diag(${\psi }_k$) is the diagonal matrix with diagonal elements ${\psi }_0,{\psi }_1,\cdots ,{\psi }_{N-1}$. It is true that $\mathbf{U}{\mathbf{U}}^H$=${\mathbf{U}}^H\mathbf{U}={\mathbf{I}}_N$, where ${\mathbf{I}}_N$ is an identity matrix.

Lemma 3.

Let $\mathbf{C}=\left\{c\left[{(k-n)}_N\right]\right\}$ and $\mathbf{B}=\left\{b\left[{(k-n)}_N\right]\right\}$ be circulant $N\times N$ matrices with eigenvalues ${\psi }_m$ and ${\beta }_m$, respectively, $m=0,1,\dots ,N-1$, where

$${\psi }_m=\sum _{k=0}^{N-1}c\left[k\right]e^{-j2\pi km/N},$$

$${\beta }_m=\sum _{k=0}^{N-1}b\left[k\right]e^{-j2\pi km/N}.$$

Then $\mathbf{C}$ and $\mathbf{B}$ commute and

$$\mathit{CB}=\mathit{BC}=\mathit{U}\mathsf{\Omega }{\mathit{U}}^H,$$

where Ω=diag(${\psi }_m{\beta }_m$) is the diagonal matrix with diagonal elements ${\psi }_0{\beta }_0,{\psi }_1{\beta }_1,\cdots ,{\psi }_{N-1}{\beta }_{N-1}$, ${[·]}^H$ denotes transpose and conjugate operation, and $\mathit{CB}$ is also a circulant matrix.

Proof. 

Referred to [25] and [26]. □

Theorem 8.

Let ${\mathbf{s}}_1,{\mathbf{s}}_2,\cdots ,{\mathbf{s}}_k$ be k distinct PGISs of period N. Then $\mathbf{s}={\mathbf{s}}_1\otimes {\mathbf{s}}_2\otimes \cdots \otimes {\mathbf{s}}_k$ is a PGIS of period N, where ⊗ denotes circular convolution. In addition, $\mathbf{s}$ is also a PGIS of period N, when any numbers of ${\mathbf{s}}_i$ are substituted by ${\mathbf{s}}_{-i}=\left\{s_i\left[{(-n)}_N\right]\right\}$ or ${\mathbf{s}}_{-i}^{*},i=1,\cdots ,k$.

Proof. 

At first, taking convolution upon two PGISs ${\mathbf{s}}_1\otimes {\mathbf{s}}_2$ obtains a new PGIS, then the resultant PGIS can be convoluted with the third PGIS ${\mathbf{s}}_3$ to generate other new PGIS, etc. This leads $\mathbf{s}$ a PGIS of period N. Next, when ${\mathbf{s}}_i$ is a PGIS, both ${\mathbf{s}}_{-i}$ and ${\mathbf{s}}_{-i}^{*}$ are PGISs as well. This derives $\mathbf{s}$ is also a PGIS of period N if ${\mathbf{s}}_i$ is substituted by ${\mathbf{s}}_{-i}$ or ${\mathbf{s}}_{-i}^{*}$. □

With the defined circulant matrix ${\mathbf{C}}_{s_2}=\left\{s_2\left[{(n-k)}_N\right]\right\}$, which is formed based on sequence ${\mathbf{s}}_{-2}={\left\{s_2\left[{(-n)}_N\right]\right\}}_{n=0}^{N-1}$, the evaluation of circular convolution between ${\mathbf{s}}_1$ and ${\mathbf{s}}_2$, denoted by $\mathbf{s}={\mathbf{s}}_1\otimes {\mathbf{s}}_2$, can be obtained by taking the matrix multiplication operation $\mathbf{S}={\mathbf{C}}_{s_2}{\mathbf{S}}_1$ instead, where ${\mathbf{S}}_1={[s_1\left[0\right]s_1\left[1\right]\cdots s_1[N-1]]}^T$ is a $N\times 1$ vector consisting of N elements from ${\mathbf{s}}_1={\left\{s_1\left[n\right]\right\}}_{n=0}^{N-1}$. That is, the values of N components of PGIS $\mathbf{s}={\left\{s\left[n\right]\right\}}_{n=0}^{N-1}$ can be derived from the N elements of a $N\times 1$ vector $\mathbf{S}={\mathbf{C}}_{s_2}{\mathbf{S}}_1$.

When $\mathbf{s}={\mathbf{s}}_1\otimes {\mathbf{s}}_2\otimes \cdots \otimes {\mathbf{s}}_r$, $\mathbf{s}$ can be derived from $\mathbf{S}={\mathbf{C}}_a{\mathbf{S}}_1$. In this expression, circulant matrix ${\mathbf{C}}_a={\mathbf{C}}_{s_2}{\mathbf{C}}_{s_3}\cdots {\mathbf{C}}_{s_r}$=$\mathbf{U}\mathsf{\Omega }{\mathbf{U}}^H$ and $\mathsf{\Omega }$=diag(${\psi }_m$) is a diagonal matrix with diagonal elements ${\psi }_0,{\psi }_1,\cdots ,{\psi }_{N-1}$, which each eigenvalue ${\psi }_m={\psi }_{m2}{\psi }_{m3}\cdots {\psi }_{mr}$ is obtained from the product of eigenvalues ${\psi }_{ml}$ of circulant matrices ${\mathbf{C}}_{s_l}=\left\{s_l\left[{(n-k)}_N\right]\right\},l=2,3,\dots ,r$, respectively. The properties of circulant matrix ${\mathbf{C}}_a$ may bring insight to determine the degree and pattern of PSIS $\mathbf{s}$ generated from convoluting many PGISs.

7.2. Effect of convolution on degree and pattern expansion

This subsection addresses the effectiveness of convolution operation upon two sequences can increase degree and create new pattern to the resultant sequence, which this property is described in Theorem 10. The derivation of Theorem 10 is based on Theorem 9 and Lemmas 4 and 5.

Let $\mathrm{H}{b}_0={\left\{{\alpha }^{kn}\right\}}_{n=0}^{f-1}$ be a subgroup of cyclic group $Z_N=\{1,2,\dots ,N-1\}$ and $b_i\in Z_N$, where $N=fk+1$. The subset $\mathrm{H}{b}_i=\left\{u{b}_i\right|u\in \mathrm{H}{b}_0\}$ is called the right coset of subgroup $\mathrm{H}{b}_0$ generated by $b_i$. Let $\mathrm{H}{b}_0,\mathrm{H}{b}_1,\dots ,\mathrm{H}{b}_{k-1}$ be the distinct right cosets of $\mathrm{H}{b}_0$ in $Z_N$. Then $Z_N=\mathrm{H}{b}_0\cup \mathrm{H}{b}_1\cup \cdots \cup \mathrm{H}{b}_{k-1}$, which is a disjoint union and $|Z_N|=|\mathrm{H}{b}_0|+|\mathrm{H}{b}_1|+\cdots +|\mathrm{H}{b}_{k-1}|=|\mathrm{H}{b}_0|+|\mathrm{H}{b}_0|+\cdots +|\mathrm{H}{b}_0|=k|\mathrm{H}{b}_0|=kf$.

Lemma 4.

Let $l,n\in Z_N$, which $l\ne n$. ${\displaystyle \sum _{m\in \mathrm{H}{b}_i}}{e}^{-j2\pi mn/N}={\displaystyle \sum _{m\in \mathrm{H}{b}_i}}{e}^{-j2\pi ml/N}\iff l,n\in \mathrm{H}{b}_a$, where $\mathrm{H}{b}_a\subset \{\mathrm{H}{b}_0,\mathrm{H}{b}_1,\dots ,\mathrm{H}{b}_{k-1}\}$.

Proof. 

Let $\mathrm{H}{b}_{0}n=\left\{un\right|u\in \mathrm{H}{b}_0\}$ and $\mathrm{H}{b}_{0}l=\left\{ul\right|u\in \mathrm{H}{b}_0\}$ be two cosets of $\mathrm{H}{b}_0$ generated by n and l, respectively. If l and n belong to the same coset, which means $\left\{ul\right|u\in \mathrm{H}{b}_0\}=\left\{un\right|u\in \mathrm{H}{b}_0\}$, then $ml\in \left\{b_{i}lu\right|u\in \mathrm{H}{b}_0\}$ and $mn\in \left\{b_{i}lu\right|u\in \mathrm{H}{b}_0\}$. This implies that $ml$ and $mn$ belong to the same coset of $\mathrm{H}{b}_0$ generated by $b_{i}l$, denoted as $\mathrm{H}{b}_{i}l$, where $\mathrm{H}{b}_{i}l\subset \{\mathrm{H}{b}_0,\mathrm{H}{b}_1,\dots ,\mathrm{H}{b}_{k-1}\}$. The summation of $e^{-j2\pi mn/N}$ with respect to m, where m comes across the domain of one coset, results in ${\displaystyle \sum _{m\in \mathrm{H}{b}_i}}{e}^{-j2\pi mn/N}={\displaystyle \sum _{m\in \mathrm{H}{b}_i}}{e}^{-j2\pi ml/N}={\displaystyle \sum _{m\in \mathrm{H}{b}_{i}l}}{e}^{-j2\pi m/N}$.

Conversely, when $l,m,n\in Z_N$, it is obvious that $\gcd (mn,N)=1$ and $\gcd (ml,N)=1$. Since both $e^{-j2\pi ml/N}$ and $e^{-j2\pi mn/N}\in U_N$, where $U_N=\left\{e^{-j2\pi m/N}\right|m=0,1,\dots ,N-1\}$ denotes the group of Nth roots of unity, thus $l\ne n\iff e^{-j2\pi ml/N}\ne e^{-j2\pi mn/N}$ and ${\displaystyle \sum _{m\in \mathrm{H}{b}_i}}{e}^{-j2\pi ml/N}={\displaystyle \sum _{m\in \mathrm{H}{b}_i}}{e}^{-j2\pi mn/N}\Rightarrow \left\{ml(modN)\right|m\in \mathrm{H}{b}_i\}=\left\{mn(modN)\right|m\in \mathrm{H}{b}_i\}$. This infers that l and n belong to the same coset. □

Let $N=kf+1$=$k^{\prime }{f}^{\prime }+1$ be an odd prime. The cyclic group $Z_N=\{1,2,\dots ,N-1\}$ can be partitioned either into k cosets $\mathrm{H}{b}_i,i=0,\dots ,k-1,$ or $k^{\prime }$ cosets ${\mathrm{H}b\prime }_i,i=0,\dots ,k^{\prime }-1$, respectively, where both $\mathrm{H}{b}_0$=${\left\{{\alpha }^{kn}\right\}}_{n=0}^{f-1}$ and $\mathrm{H}{b}_0^{\prime }$=${\left\{{\alpha }^{k^{\prime }n}\right\}}_{n=0}^{f^{\prime }-1}$ are subgroups of $Z_N^{*}$, $\mathrm{H}{b}_i$=${\alpha }^i\mathrm{H}{b}_0$=${\left\{{\alpha }^{kn+i}\right\}}_{n=0}^{f-1}$, $\mathrm{H}{b}_i^{\prime }$=${\alpha }^i\mathrm{H}{b}_0^{\prime }$=${\left\{{\alpha }^{k^{\prime }n+i}\right\}}_{n=0}^{f^{\prime }-1}$, and $\alpha$ is the generator of $Z_N$. When $k^{\prime }=mk$ and $m\ge 2$ is an integer, each $\mathrm{H}{b}_i,i=0,\dots ,k-1$, can be further partitioned into m cosets, e.g., $\mathrm{H}{b}_i$=$\mathrm{H}{b}_i^{\prime }\cup \mathrm{H}{b}_{k+i}^{\prime }\cup \cdots \cup \mathrm{H}{b}_{(m-1)k+i}^{\prime }$, $i=0,\dots ,k-1$, where the cardinality of all $\mathrm{H}{b}_i,i=0,\dots ,k-1,$ is f, and that of $\mathrm{H}{b}_i^{{ }^{\prime }},i=0,\dots ,(mk-1),$ is $f^{{ }^{\prime }}=f/m$.

Let’s define two sequence sets ${\mathbf{x}}_i={\left\{x_i\left[n\right]\right\}}_{n=0}^{N-1},$$i=0,\dots ,k-1,$ and ${\mathbf{x}}_i^{\prime }={\left\{x_i^{\prime }\left[n\right]\right\}}_{n=0}^{N-1},$$i=0,\dots ,k^{\prime }-1,$ as follows:

$$\begin{array}{c}\hfill x_i\left[n\right]=\left\{\begin{array}{cc}1,& n\in \mathrm{H}{b}_i\hfill \\ 0,& \mathrm{otherwise}.\hfill \end{array}\right.\end{array}$$

(27)

$$\begin{array}{c}\hfill x_i^{\prime }\left[n\right]=\left\{\begin{array}{cc}1,& n\in \mathrm{H}{b}_i^{\prime }\hfill \\ 0,& \mathrm{otherwise}.\hfill \end{array}\right.\end{array}$$

(28)

The DFTs of ${\mathbf{x}}_i$ and ${\mathbf{x}}_i^{\prime }$ are ${\mathbf{X}}_i={\left\{X_i\left[n\right]\right\}}_{n=0}^{N-1}$ and ${\mathbf{X}}_i^{\prime }={\left\{X_i^{\prime }\left[n\right]\right\}}_{n=0}^{N-1}$, respectively.

Theorem 9.

All ${\mathbf{X}}_0,{\mathbf{X}}_1,\dots ,{\mathbf{X}}_{k-1}$ are $(k+1)$-valued, where the elements of these vectors belong to the following set

$$\begin{array}{c}\hfill \left\{f,{\displaystyle \sum _{m\in \mathrm{H}{b}_0}}{e}^{-j2\pi m/N},{\displaystyle \sum _{m\in \mathrm{H}{b}_1}}{e}^{-j2\pi m/N},\dots ,\sum _{m\in \mathrm{H}{b}_{k-1}}{e}^{-j2\pi m/N}\right\}.\end{array}$$

Proof. 

Since $x_i\left[n\right]=1,n\in \mathrm{H}{b}_i$ and $x_i\left[n\right]=0,n\notin \mathrm{H}{b}_i$, the nth element of ${\mathbf{X}}_i={\left\{X_i\left[n\right]\right\}}_{n=0}^{N-1}$ is $X_i\left[n\right]={\displaystyle \sum _{m=0}^{N-1}}{x}_i\left[m\right]e^{-j2\pi mn/N}={\displaystyle \sum _{m\in \mathrm{H}{b}_i}}{e}^{-j2\pi mn/N}$. When $n=0$,

$$\begin{array}{c}\hfill X_i\left[0\right]=\sum _{m\in \mathrm{H}{b}_i}{e}^{-j2\pi mn/N}{|}_{n=0}=\left|\mathrm{H}{b}_i\right|=f.\end{array}$$

Given that $m\in \mathrm{H}{b}_i$, it has $m{Z}_N=\{m,2m,\dots ,(N-1)m\}$ and $m{Z}_N(modN)=Z_N$, In other words, $m{Z}_N=Z_N$ modulo N. Both $m{Z}_N$ and $Z_N$ have the same partition, which means $m{Z}_N=\{\mathrm{H}{b}_0\cup \mathrm{H}{b}_1\cup \cdots \cup \mathrm{H}{b}_{k-1}\}$ modulo N. Based on the partition of $m{Z}_N$, the set ${\left\{X_i\left[n\right]\right\}}_{n=1}^{N-1}$ can be grouped into k subsets, i.e.,

$$\begin{array}{c}\hfill {\left\{X_i\left[n\right]\right\}}_{n=1}^{N-1}={\left\{X_i\left[n\right]\right\}}_{n\in \mathrm{H}{b}_0}^{N-1}\cup {\left\{X_i\left[n\right]\right\}}_{n\in \mathrm{H}{b}_1}^{N-1}\cup \cdots \cup {\left\{X_i\left[n\right]\right\}}_{n\in \mathrm{H}{b}_{k-1}}^{N-1}.\end{array}$$

According to Lemma 4, ${\left\{X_i\left[n\right]\right\}}_{n\in \mathrm{H}{b}_d}^{N-1}={\left\{X_i\left[m\right]\right\}}_{m\in \mathrm{H}{b}_d}^{N-1},d=0,1,\dots ,k-1$. This concludes that for $i=0,1,\dots ,k-1$, all ${\mathbf{X}}_i={\left\{X_i\left[n\right]\right\}}_{n=0}^{N-1}$ are $(k+1)$-valued which draw distinct $k+1$ values from the following set

$$\begin{array}{c}\hfill \left\{f,\sum _{m\in \mathrm{H}{b}_0}{e}^{-j2\pi m/N},\sum _{m\in \mathrm{H}{b}_1}{e}^{-j2\pi m/N},\dots ,\sum _{m\in \mathrm{H}{b}_{k-1}}{e}^{-j2\pi m/N}\right\}.\end{array}$$

□

Let $N=kf+1$=$k^{\prime }{f}^{\prime }+1$ be an odd prime, where $k^{\prime }=mk$ and $m\ge 2$. The relationship between the DFTs of sequences defined in (27) and (28), which are ${\mathbf{X}}_i={\left\{X_i\left[n\right]\right\}}_{n=0}^{N-1}$ and ${\mathbf{X}}_i^{\prime }={\left\{X_i^{\prime }\left[n\right]\right\}}_{n=0}^{N-1}$, respectively, is governed by following lemma.

Lemma 5.

${\mathbf{X}}_i$=${\mathbf{X}}_i^{\prime }+{\mathbf{X}}_{k+i}^{\prime }+\cdots +{\mathbf{X}}_{(m-1)k+i}^{\prime },$ for all $i=0,\dots ,k-1$. In these vectors, $X_i\left[0\right]=m{X}_i^{\prime }\left[0\right]$, and all elements in set ${\left\{X_i\left[n\right]\right\}}_{n\in \mathrm{H}{b}_i}$ are the same; however, the elements in set ${\left\{X_i^{\prime }\left[n\right]\right\}}_{n\in \mathrm{H}{b}_i}$ have m different values, which $X_i\left[n\right]$=$X_i^{\prime }\left[n\right]+X_{k+i}^{\prime }\left[n\right]+\cdots +X_{(m-1)k+i}^{\prime }\left[n\right]$, $n\in \mathrm{H}{b}_i$, for all $i=0,\dots ,k-1$.

Proof. 

Since $\mathrm{H}{b}_i$=$\mathrm{H}{b}_i^{\prime }\cup \mathrm{H}{b}_{k+i}^{\prime }\cup \cdots \cup \mathrm{H}{b}_{(m-1)k+i}^{\prime }$, it results in ${\mathbf{x}}_i$=${\mathbf{x}}_i^{\prime }+{\mathbf{x}}_{k+i}^{\prime }+\cdots +{\mathbf{x}}_{(m-1)k+i}^{\prime }$ and derives that ${\mathbf{X}}_i$=${\mathbf{X}}_i^{\prime }+{\mathbf{X}}_{k+i}^{\prime }+\cdots +{\mathbf{X}}_{(m-1)k+i}^{\prime }$ is true, for $i=0,\dots ,k-1.$ By $\mathit{Theorem}$9, it is straightforward that $X_i\left[0\right]=m{X}_i^{\prime }\left[0\right]$ and $X_i\left[n\right]$=$X_i^{\prime }\left[n\right]+X_{k+i}^{\prime }\left[n\right]+\cdots +X_{(m-1)k+i}^{\prime }\left[n\right]$, $n\in \mathrm{H}{b}_i$. □

Let $N=kf+1$=$k^{\prime }{f}^{\prime }+1$ be an odd prime, where $k^{\prime }=mk$ and $m\ge 2$. Let ${\mathbf{s}}_k$ and ${\mathbf{s}}_{k^{\prime }}$ be degree-$(k+1)$ and degree-$(k^{\prime }+1)$ PGISs constructed using sequences ${\left\{{\mathbf{x}}_i\right\}}_{i=0}^k$ and ${\left\{{\mathbf{x}}_i^{\prime }\right\}}_{i=0}^{k^{\prime }}$, respectively. The following Theorem can be derived based on the results of Lemma 4 and Lemma 5.

Theorem 10.

The degree and pattern of sequence $\mathbf{s}={\mathbf{s}}_k\otimes {\mathbf{s}}_{k^{\prime }}$ are the same as that of $\mathbf{s}$. However, when $k^{\prime }$ and k are relatively coprime, sequence $\mathbf{s}={\mathbf{s}}_k\otimes {\mathbf{s}}_{k^{\prime }}$ has new pattern and the degree of PGIS $\mathbf{s}$ is larger than that of ${\mathbf{s}}_k$ and ${\mathbf{s}}_{k^{\prime }}.$

Proof. 

Let the DFTs of ${\mathbf{s}}_k$ and ${\mathbf{s}}_{k^{\prime }}$ be $\left\{X\right[n\left]\right\}$ and $\left\{X^{\prime }\left[n\right]\right\}$, respectively. The DFT of ${\mathbf{s}}_k\otimes {\mathbf{s}}_{k^{\prime }}$ is the component-wise product between $\left\{X\right[n\left]\right\}$ and $\left\{X^{\prime }\left[n\right]\right\}$. Based on $\mathit{Lemma}\mathit{4}$ and $\mathit{Lemma}\mathit{5}$, when $k^{\prime }=mk$, $\mathrm{H}{b}_i^{\prime }$$\subset \mathrm{H}{b}_i$, the sequence pattern of ${\mathbf{s}}_k\otimes {\mathbf{s}}_{k^{\prime }}$ is governed by ${\mathbf{s}}_{k^{\prime }}$, because all elements in set ${\left\{X_i\left[n\right]\right\}}_{n\in \mathrm{H}{b}_i}$ is the same, but the elements in set ${\left\{X_i^{\prime }\left[n\right]\right\}}_{n\in \mathrm{H}{b}_i}$ have m different values. When sequences are constructed using base sequences ${\left\{{\mathbf{x}}_i\right\}}_{i=0}^k$ and ${\left\{{\mathbf{x}}_i^{\prime }\right\}}_{i=0}^{k^{\prime }}$, the number of distinct elements of their DFTs determines the degree of the associated sequences according to $\mathit{Theorem}$9. This is the reason the degree of $\mathbf{s}={\mathbf{s}}_k\otimes {\mathbf{s}}_{k^{\prime }}$ is determined also by ${\mathbf{s}}_{k^{\prime }}$.

When $k^{\prime }$ and k are relatively coprime, $\mathrm{H}{b}_i^{\prime }$$⊈\mathrm{H}{b}_i$, there exist different non-overlap components between $\left\{X\right[n\left]\right\}$ and $\left\{X^{\prime }\left[n\right]\right\}$. In case of existing distinct non-overlap components between $\left\{X\right[n\left]\right\}$ and $\left\{X^{\prime }\left[n\right]\right\}$, ${\mathbf{s}}_k\otimes {\mathbf{s}}_{k^{\prime }}$ constructs new sequence pattern. Moreover, since both elements of $\left\{X\right[n\left]\right\}$ and $\left\{X^{\prime }\left[n\right]\right\}$ are not zeros, the component-wise product between $\left\{X\right[n\left]\right\}$ and $\left\{X^{\prime }\left[n\right]\right\}$ creates only nonzero elements as well, and the number of distinct elements from component-wise product between $\left\{X\right[n\left]\right\}$ and $\left\{X^{\prime }\left[n\right]\right\}$ is larger than that of both $\left\{X\right[n\left]\right\}$ and $\left\{X^{\prime }\left[n\right]\right\}$. This derives that the degree of ${\mathbf{s}}_k\otimes {\mathbf{s}}_{k^{\prime }}$ is larger than both ${\mathbf{s}}_k$ and ${\mathbf{s}}_{k^{\prime }}$ two sequences. □

7.3. Degree-4 PGISs construction from convolution

This subsection presents the construction of degree-4 PGIS of particular prime period $N=\frac{3^3-1}{3-1}=13$ and $N=2^5-1=31$ from convolution operation. At first, let’s define three PGISs of period $N=13$ as follows:

$$\begin{array}{c}\hfill {\mathbf{s}}_t=(0,0,1,0,1,1,1,-1,-1,0,1,-1,1),\end{array}$$

$$\begin{array}{c}\hfill {\mathbf{s}}_b=(a,\underset{12}{\underbrace{b,\dots ,b}}),\end{array}$$

$$\begin{array}{c}\hfill {\mathbf{s}}_s=(c,d,e,d,d,e,e,e,e,d,d,e,d),\end{array}$$

where $a=1+2j$, $b=-2+j$, $c=5+5j$, $d=10-6j$ and $e=-6+10j$.

Example 7.

Sequence $\mathbf{s}$=${\mathbf{s}}_t\otimes {\mathbf{s}}_b\otimes {\mathbf{s}}_s$ is a degree-4 PGIS of period $N=13$, which is given by

$$\begin{array}{c}\hfill \mathbf{s}=(a,a,b,a,c,b,b,d,d,a,c,d,c),\end{array}$$

(29)

where $a=684+198j$, $b=333+211j$, $c=-1539+413j$ and $d=-837+439j$.

Let ${\mathbf{s}}_{-}t$=$\left\{s_t\left[{(-n)}_N\right]\right\}$. In (29), when ${\mathbf{s}}_t$ is replaced by ${\mathbf{s}}_{-}t$, it constructs a new sequence ${\mathbf{s}}_{-}$=${\mathbf{s}}_{-}t\otimes {\mathbf{s}}_b\otimes {\mathbf{s}}_s$ given by

$$\begin{array}{c}\hfill {\mathbf{s}}_{-}=(a,c,d,c,a,d,d,b,b,c,a,b,a).\end{array}$$

Example 8.

Two construction examples of prime period $N=2^5-1=31$ are ${\mathbf{t}}_1\otimes {\mathbf{t}}_3$ and ${\mathbf{t}}_5\otimes {\mathbf{t}}_{15}$, which are

$$\begin{array}{c}\hfill {\mathbf{t}}_1\otimes {\mathbf{t}}_3=(a,b,b,0,b,c,0,d,b,c,c,c,0,c,d,0,b,0,c,d,c,c,c,0,0,d,c,0,d,0,0),\end{array}$$

(30)

$$\begin{array}{c}\hfill {\mathbf{t}}_5\otimes {\mathbf{t}}_{15}=(e,f,f,0,f,g,0,h,f,g,g,0,0,0,h,f,f,0,g,h,g,0,0,f,0,h,0,f,h,f,f),\end{array}$$

(31)

where $a=-2$, $b=3$, $c=-1$, $d=1$, $e=2$, $f=-1$, $g=1$ and $h=3$.

7.4. Convolution derived PGISs based on m-sequences

There exists one-to-one mapping between distinct $m-$sequences and the pattern of degree-2 PGISs. Let’s present PGISs of period $N=2^5-1$ as the examples for demonstration, which the six degree-2 PGISs of period $N=2^5-1$ derived from m-sequences are $\{{\mathbf{s}}_1,\dots ,{\mathbf{s}}_6\}$, listed in Table 1. Note that the number of different combination of ${\mathbf{s}}_l$, ${\mathbf{s}}_k$$\in \{{\mathbf{s}}_1,\dots ,{\mathbf{s}}_6\},$$l\ne k,$ is 15. We summarize the results of convolution upon two PGISs draw from the set $\{{\mathbf{s}}_1,\dots ,{\mathbf{s}}_6\}$ as follows:

1). Sequences ${\mathbf{s}}_1\otimes {\mathbf{s}}_2$, ${\mathbf{s}}_3\otimes {\mathbf{s}}_4$ and ${\mathbf{s}}_5\otimes {\mathbf{s}}_6$ are degree-2 PGISs, which the pattern of these three PGISs is the same as that of ${\mathbf{s}}_{10}$ which is listed in Table 1.

2). The other 12 kinds of ${\mathbf{s}}_l\otimes {\mathbf{s}}_k$ PGISs are degree-3 PGISs, listed in Table 2.

3). The six sequences, ${\mathbf{s}}_m\otimes {\mathbf{s}}_m,m=1,\dots ,6$, are degree-6 PGISs, which are listed in Table 3.

In Section 6.2, the CIDTS-based PGIS construction applies $m-$sequences, $\{{\mathbf{m}}_1,\dots ,{\mathbf{m}}_6\}$, directly, which CCF $R_{b,c}\left[n\right]$ is created and then made adjustment by setting $\left\{\frac{R_{b,c}\left[n\right]+1}{4}\right\}$ to construct PGIS, where $1\le b,c\le 6$. The results are summarized as follows:

1). Three CCFs, $\left\{m_1\left[n\right]\right\}\otimes \left\{m_2^{*}\left[{(-n)}_N\right]\right\}$, $\left\{m_3\left[n\right]\right\}\otimes \left\{m_4^{*}\left[{(-n)}_N\right]\right\}$ and $\left\{m_5\left[n\right]\right\}\otimes \left\{m_6^{*}\left[{(-n)}_N\right]\right\}$, can be adjusted to construct three degree-5 PGISs, which are $\{{\mathbf{t}}_{13},{\mathbf{t}}_{14},{\mathbf{t}}_{15}\}$, presented in (23)-(25). Similarly, the three sequences constructed from $\left\{m_2\left[n\right]\right\}\otimes \left\{m_1^{*}\left[{(-n)}_N\right]\right\}$, $\left\{m_4\left[n\right]\right\}\otimes \left\{m_3^{*}\left[{(-n)}_N\right]\right\}$ and $\left\{m_6\left[n\right]\right\}\otimes \left\{m_5^{*}\left[{(-n)}_N\right]\right\}$ are also degree-5 PGISs, denoted by $\{{\mathbf{t}}_{-13},{\mathbf{t}}_{-14},{\mathbf{t}}_{-15}\}$.

2). The 12 distinct CIDTS-based sequences constructed by other 12 kinds of CCFs $\left\{m_l\left[n\right]\right\}\otimes \left\{m_k^{*}\left[{(-n)}_N\right]\right\},$$l\ne k,$ are all with degree-2, which are denoted by $\{{\mathbf{t}}_1,\cdots ,{\mathbf{t}}_{12}\}$, listed in Table 1. In addition, 12 kinds of CCFs $\left\{m_k\left[n\right]\right\}\otimes \left\{s_l^{*}\left[{(-n)}_N\right]\right\}$ will construct other 12 different degree-2 PGISs, which are $\{{\mathbf{t}}_{-1},\cdots ,{\mathbf{t}}_{-12}\}$.

7.5. Convolution derived PGISs based on CIDTS

In the previous subsection, he number of CIDTS-based PGISs of period $N=2^5-1$ is 30, which are $\{{\mathbf{t}}_{13},{\mathbf{t}}_{14},{\mathbf{t}}_{15}\}\cup$$\{{\mathbf{t}}_{-13},{\mathbf{t}}_{-14},{\mathbf{t}}_{-15}\}\cup$$\{{\mathbf{t}}_1,\cdots ,{\mathbf{t}}_{12}\}\cup$$\{{\mathbf{t}}_{-1},\cdots ,{\mathbf{t}}_{-12}\}$. By taking convolution operation ${\mathbf{t}}_m\otimes {\mathbf{t}}_k$ upon any two sequences over these 30 PGISs, where the number of different convolution combination of ${\mathbf{t}}_m$ and ${\mathbf{t}}_k$ is $\frac{30!}{28!·2!}=435$, for $m\ne k$, the number of different degrees and patterns of new generated PGISs can be abundant. The detailed analysis and categorization of these PGISs are not the purpose of this study. For brevity reason, we present only two results.

1). The 12 different sequences built from ${\mathbf{t}}_m\otimes {\mathbf{t}}_m,m=1,\dots ,12$, are PGISs of degree-6, listed in Table 3; while three ${\mathbf{t}}_k\otimes {\mathbf{t}}_k$, $k=13,14,15$ construct three different PGISs of degree-7, but belong to the same pattern, which the pattern of ${\mathbf{t}}_{13}\otimes {\mathbf{t}}_{13}$ is listed in Table 4.

2). When $m\ne k$, some PGISs generated by ${\mathbf{t}}_m\otimes {\mathbf{t}}_k$ are provided for comparison, where the degrees of these examples belong to the set $\{1,2,4,5,6\}$. The degree of PGISs ${\mathbf{t}}_{13}\otimes {\mathbf{t}}_{14}$, ${\mathbf{t}}_{13}\otimes {\mathbf{t}}_{15}$ and ${\mathbf{t}}_{15}\otimes {\mathbf{t}}_{14}$ is 6. The degree of ${\mathbf{t}}_1\otimes {\mathbf{t}}_2$, ${\mathbf{t}}_1\otimes {\mathbf{t}}_4$, ${\mathbf{t}}_1\otimes {\mathbf{t}}_5$, ${\mathbf{t}}_2\otimes {\mathbf{t}}_3$, ${\mathbf{t}}_2\otimes {\mathbf{t}}_4$, ${\mathbf{t}}_2\otimes {\mathbf{t}}_6$, ${\mathbf{t}}_3\otimes {\mathbf{t}}_4$ and ${\mathbf{t}}_5\otimes {\mathbf{t}}_6$ is 5. The degree of ${\mathbf{t}}_3\otimes {\mathbf{t}}_5$, ${\mathbf{t}}_3\otimes {\mathbf{t}}_6$, ${\mathbf{t}}_4\otimes {\mathbf{t}}_5$ and ${\mathbf{t}}_4\otimes {\mathbf{t}}_6$ is 2. The two PGISs of degree-1 are ${\mathbf{t}}_1\otimes {\mathbf{t}}_6$ and ${\mathbf{t}}_2\otimes {\mathbf{t}}_5$. We do not make a pattern list of these PGISs for brevity. Finally, two degree-4 examples are ${\mathbf{t}}_1\otimes {\mathbf{t}}_3$ and ${\mathbf{t}}_5\otimes {\mathbf{t}}_{15}$, which are (30) and (31), respectively.

7.6. Convolution between different types of PGISs

This study addresses different construction of PGISs. Therefore, their exist various many different convolution operation applied across different type PGISs. This subsection presents only some examples for the purpose of demonstration the versatile of convolution-derived PGISs.

7.6.1. Convolution between ternary sequence and CIDTS derived PGISs

Table 5 presents 7 kinds of PGISs obtained from convolution between perfect ternary sequence and CIDTS derived PGISs, which are ${\mathbf{s}}_{11}\otimes {\mathbf{t}}_{15}$, ${\mathbf{s}}_{11}\otimes {\mathbf{t}}_{14}$, ${\mathbf{s}}_{-11}\otimes {\mathbf{t}}_{14}$, ${\mathbf{s}}_{11}\otimes {\mathbf{t}}_1$, ${\mathbf{s}}_{-11}\otimes {\mathbf{t}}_1$, ${\mathbf{s}}_{11}\otimes {\mathbf{t}}_5$ and ${\mathbf{s}}_{-11}\otimes {\mathbf{t}}_5$ for comparison. The patterns are all different and the degrees of these PGISs are 20, 20, 20, 14, 12, 12 and 12, respectively.

7.6.2. Convolution between ternary sequence and m-sequences derived PGISs

Table 5 presents 2 kinds of PGISs obtained from convolution between perfect ternary sequence and m-sequences derived PGISs, which are ${\mathbf{s}}_1\otimes {\mathbf{s}}_1\otimes {\mathbf{s}}_{11}$ and ${\mathbf{s}}_2\otimes {\mathbf{s}}_2\otimes {\mathbf{s}}_{11}$. The degrees are 21 and 20 respectively.

7.6.3. Convolution between ternary sequence and cyclotomic class PGIS

Table 5 presents also one PGIS obtained from convolution between perfect ternary sequence and degree-3 PGIS using cyclotomic class of order2, which is ${\mathbf{s}}_{cy}\otimes {\mathbf{s}}_{11}$ and the degree is 11.

7.6.4. Convolution between CIDTS derived and cyclotomic class PGIS

The 15 different PGISs obtained from convolution between CIDTS derived PGISs, which are $\{{\mathbf{t}}_1,\cdots ,{\mathbf{t}}_{15}\}$, and degree-3 PGIS using cyclotomic class of order2 ${\mathbf{s}}_{cy}$ can be distributed into degree-7 and degree-6 two groups, which 6 PGISs belong to set $\{{\mathbf{s}}_{cy}\otimes {\mathbf{t}}_m,m=2,4,5,7,10,11\}$ are degree-6 and the rest of other 9 PGISs are degree-7. The patterns of these PGISs belong to those patterns listed in Table 3.

Table 3. 14 patterns of degree-6 and -7 PGISs of period 31

$\mathbf{PGIS}$	$\mathbf{sequence}\mathbf{pattern}$	$\mathbf{coefficients}$
${\mathbf{s}}_1\otimes {\mathbf{s}}_1$	$(a,b,b,c,b,d,c,e,b,d,d,c,c,c,e,f,b,c,d,e,d,c,c,f,c,e,c,f,e,f,f)$	$a=-128-26j,b=16+16j,$
${\mathbf{s}}_2\otimes {\mathbf{s}}_2$	$(a,f,f,e,f,c,e,c,f,c,c,d,e,d,c,b,f,e,c,c,c,d,d,b,e,c,d,b,c,b,b)$	$c=-32+2j,d=64+30j,$
${\mathbf{s}}_3\otimes {\mathbf{s}}_3$	$(a,e,e,c,e,b,c,d,e,b,b,f,c,f,d,c,e,c,b,d,b,f,f,c,c,d,f,c,d,c,c)$	$e=112+44j,f=-80-12j$
${\mathbf{s}}_4\otimes {\mathbf{s}}_4$	$(a,c,c,d,c,f,d,c,c,f,f,b,d,b,c,e,c,d,f,c,f,b,b,e,d,c,b,e,c,e,e)$
${\mathbf{s}}_5\otimes {\mathbf{s}}_5$	$(a,d,d,f,d,e,f,b,d,e,e,c,f,c,b,c,d,f,e,b,e,c,c,c,f,b,c,c,b,c,c)$
${\mathbf{s}}_6\otimes {\mathbf{s}}_6$	$(a,c,c,b,c,c,b,f,c,c,c,e,b,e,f,d,c,b,c,f,c,e,e,d,b,f,e,d,f,d,d)$
${\mathbf{t}}_4\otimes {\mathbf{t}}_{15}$	$(a,b,b,c,b,d,c,e,b,d,d,f,c,f,e,f,b,c,d,e,d,f,f,f,c,e,f,f,e,f,f)$	$a=-3,b=9,c=2,$
		$d=-2,e=8,f=-5$
${\mathbf{t}}_1\otimes {\mathbf{t}}_1$	$(a,b,b,c,b,d,c,e,b,d,d,0,c,0,e,f,b,c,d,e,d,0,0,f,c,e,0,f,e,f,f)$	$a=11,b=1,c=3,$
		$d=2,e=-3,f=-2$
${\mathbf{t}}_2\otimes {\mathbf{t}}_2$	$(a,0,0,b,0,c,b,d,0,c,c,e,b,e,d,f,0,b,c,d,c,e,e,f,b,d,e,f,d,f,f)$	$a=-9,b=1,c=-1,$
		$d=-2,e=5,f=2$
${\mathbf{t}}_3\otimes {\mathbf{t}}_3$	$(a,0,0,b,0,c,b,d,0,c,c,e,b,e,d,f,0,b,c,d,c,e,e,f,b,d,e,f,d,f,f)$	$a=11,b=1,c=3,$
		$d=-2,e=3,f=2$
${\mathbf{t}}_4\otimes {\mathbf{t}}_4$	$(a,b,b,c,b,d,c,0,b,d,d,e,c,e,0,f,b,c,d,0,d,e,e,f,c,0,e,f,0,f,f)$	$a=-9,b=-1,c=2,$
		$d=-2,e=1,f=5$
${\mathbf{t}}_5\otimes {\mathbf{t}}_5$	$(a,b,b,c,b,d,c,e,b,d,d,f,c,f,e,0,b,c,d,e,d,f,f,0,c,e,f,0,e,0,0)$	$a=-9,b=2,c=-2,$
		$d=5,e=1,f=-1$
${\mathbf{t}}_6\otimes {\mathbf{t}}_6$	$(a,b,b,c,b,0,c,d,b,0,0,e,c,e,d,f,b,c,0,d,0,e,e,f,c,d,e,f,d,f,f)$	$a=11,b=-2,c=-3,$
		$d=3,e=2,f=1$
${\mathbf{t}}_7\otimes {\mathbf{t}}_7$	$(a,b,b,0,b,c,0,d,b,c,c,e,0,e,d,f,b,0,c,d,c,e,e,f,0,d,e,f,d,f,f)$	$a=-9,b=5,c=1,$
		$d=2,e=-2,f=-1$
${\mathbf{t}}_8\otimes {\mathbf{t}}_8$	$(a,b,b,c,b,d,c,e,b,d,d,f,c,f,e,0,b,c,d,e,d,f,f,0,c,e,f,0,e,0,0)$	$a=11,b=2,c=-2,$
		$d=-3,e=1,f=3$
${\mathbf{t}}_9\otimes {\mathbf{t}}_9$	$(a,b,b,0,b,c,0,d,b,c,c,e,0,e,d,f,b,0,c,d,c,e,e,f,0,d,e,f,d,f,f)$	$a=11,b=-3,c=1,$
		$d=2,e=-2,f=3$
${\mathbf{t}}_{10}\otimes {\mathbf{t}}_{10}$	$(a,b,b,c,b,0,c,d,b,0,0,e,c,e,d,f,b,c,0,d,0,e,e,f,c,d,e,f,d,f,f)$	$a=-9,b=-2,c=5,$
		$d=-1,e=2,f=1$
${\mathbf{t}}_{11}\otimes {\mathbf{t}}_{11}$	$(a,b,b,c,b,d,c,e,b,d,d,0,c,0,e,f,b,c,d,e,d,0,0,f,c,e,0,f,e,f,f)$	$a=-9,b=1,c=-1,$
		$d=2,e=5,f=-2$
${\mathbf{t}}_{12}\otimes {\mathbf{t}}_{12}$	$(a,b,b,c,b,d,c,0,b,d,d,e,c,e,0,f,b,c,d,0,d,e,e,f,c,0,e,f,0,f,f)$	$a=11,b=3,c=2,$
		$d=-2,e=1,f=-3$
${\mathbf{t}}_{13}\otimes {\mathbf{t}}_{13}$	$(a,b,b,c,b,d,c,e,b,d,d,f,c,f,e,g,b,c,d,e,d,f,f,g,c,e,f,g,e,g,g)$	$a=-21,b=8,c=-3,d=-17$
	(degree-7)	$e=2,f=13,g=14$
${\mathbf{s}}_{11}\otimes {\mathbf{t}}_{13}$	$(a,b,b,c,b,d,e,f,b,d,d,g,e,g,f,g,b,e,d,f,d,g,g,g,e,f,g,g,f,g,g)$	$a=-11,b=4,c=-2,d=-9$
	(degree-7)	$e=-1,f=1,g=7$
Note that the following pairs have the same sequence pattern:
$({\mathbf{s}}_5\otimes {\mathbf{s}}_5$, ${\mathbf{t}}_4\otimes {\mathbf{t}}_{15})$, $({\mathbf{t}}_1\otimes {\mathbf{t}}_1$,${\mathbf{t}}_{11}\otimes {\mathbf{t}}_{11})$, $({\mathbf{t}}_2\otimes {\mathbf{t}}_2$,${\mathbf{t}}_3\otimes {\mathbf{t}}_3)$, $({\mathbf{t}}_4\otimes {\mathbf{t}}_4$,${\mathbf{t}}_{12}\otimes {\mathbf{t}}_{12})$, $({\mathbf{t}}_5\otimes {\mathbf{t}}_5$,${\mathbf{t}}_8\otimes {\mathbf{t}}_8)$, $({\mathbf{t}}_6\otimes {\mathbf{t}}_6$,${\mathbf{t}}_{10}\otimes {\mathbf{t}}_{10})$, $({\mathbf{t}}_7\otimes {\mathbf{t}}_7$,${\mathbf{t}}_9\otimes {\mathbf{t}}_9)$

Table 3. 14 patterns of degree-6 and -7 PGISs of period 31

$\mathbf{PGIS}$	$\mathbf{sequence}\mathbf{pattern}$	$\mathbf{coefficients}$
${\mathbf{s}}_1\otimes {\mathbf{s}}_1$	$(a,b,b,c,b,d,c,e,b,d,d,c,c,c,e,f,b,c,d,e,d,c,c,f,c,e,c,f,e,f,f)$	$a=-128-26j,b=16+16j,$
${\mathbf{s}}_2\otimes {\mathbf{s}}_2$	$(a,f,f,e,f,c,e,c,f,c,c,d,e,d,c,b,f,e,c,c,c,d,d,b,e,c,d,b,c,b,b)$	$c=-32+2j,d=64+30j,$
${\mathbf{s}}_3\otimes {\mathbf{s}}_3$	$(a,e,e,c,e,b,c,d,e,b,b,f,c,f,d,c,e,c,b,d,b,f,f,c,c,d,f,c,d,c,c)$	$e=112+44j,f=-80-12j$
${\mathbf{s}}_4\otimes {\mathbf{s}}_4$	$(a,c,c,d,c,f,d,c,c,f,f,b,d,b,c,e,c,d,f,c,f,b,b,e,d,c,b,e,c,e,e)$
${\mathbf{s}}_5\otimes {\mathbf{s}}_5$	$(a,d,d,f,d,e,f,b,d,e,e,c,f,c,b,c,d,f,e,b,e,c,c,c,f,b,c,c,b,c,c)$
${\mathbf{s}}_6\otimes {\mathbf{s}}_6$	$(a,c,c,b,c,c,b,f,c,c,c,e,b,e,f,d,c,b,c,f,c,e,e,d,b,f,e,d,f,d,d)$
${\mathbf{t}}_4\otimes {\mathbf{t}}_{15}$	$(a,b,b,c,b,d,c,e,b,d,d,f,c,f,e,f,b,c,d,e,d,f,f,f,c,e,f,f,e,f,f)$	$a=-3,b=9,c=2,$
		$d=-2,e=8,f=-5$
${\mathbf{t}}_1\otimes {\mathbf{t}}_1$	$(a,b,b,c,b,d,c,e,b,d,d,0,c,0,e,f,b,c,d,e,d,0,0,f,c,e,0,f,e,f,f)$	$a=11,b=1,c=3,$
		$d=2,e=-3,f=-2$
${\mathbf{t}}_2\otimes {\mathbf{t}}_2$	$(a,0,0,b,0,c,b,d,0,c,c,e,b,e,d,f,0,b,c,d,c,e,e,f,b,d,e,f,d,f,f)$	$a=-9,b=1,c=-1,$
		$d=-2,e=5,f=2$
${\mathbf{t}}_3\otimes {\mathbf{t}}_3$	$(a,0,0,b,0,c,b,d,0,c,c,e,b,e,d,f,0,b,c,d,c,e,e,f,b,d,e,f,d,f,f)$	$a=11,b=1,c=3,$
		$d=-2,e=3,f=2$
${\mathbf{t}}_4\otimes {\mathbf{t}}_4$	$(a,b,b,c,b,d,c,0,b,d,d,e,c,e,0,f,b,c,d,0,d,e,e,f,c,0,e,f,0,f,f)$	$a=-9,b=-1,c=2,$
		$d=-2,e=1,f=5$
${\mathbf{t}}_5\otimes {\mathbf{t}}_5$	$(a,b,b,c,b,d,c,e,b,d,d,f,c,f,e,0,b,c,d,e,d,f,f,0,c,e,f,0,e,0,0)$	$a=-9,b=2,c=-2,$
		$d=5,e=1,f=-1$
${\mathbf{t}}_6\otimes {\mathbf{t}}_6$	$(a,b,b,c,b,0,c,d,b,0,0,e,c,e,d,f,b,c,0,d,0,e,e,f,c,d,e,f,d,f,f)$	$a=11,b=-2,c=-3,$
		$d=3,e=2,f=1$
${\mathbf{t}}_7\otimes {\mathbf{t}}_7$	$(a,b,b,0,b,c,0,d,b,c,c,e,0,e,d,f,b,0,c,d,c,e,e,f,0,d,e,f,d,f,f)$	$a=-9,b=5,c=1,$
		$d=2,e=-2,f=-1$
${\mathbf{t}}_8\otimes {\mathbf{t}}_8$	$(a,b,b,c,b,d,c,e,b,d,d,f,c,f,e,0,b,c,d,e,d,f,f,0,c,e,f,0,e,0,0)$	$a=11,b=2,c=-2,$
		$d=-3,e=1,f=3$
${\mathbf{t}}_9\otimes {\mathbf{t}}_9$	$(a,b,b,0,b,c,0,d,b,c,c,e,0,e,d,f,b,0,c,d,c,e,e,f,0,d,e,f,d,f,f)$	$a=11,b=-3,c=1,$
		$d=2,e=-2,f=3$
${\mathbf{t}}_{10}\otimes {\mathbf{t}}_{10}$	$(a,b,b,c,b,0,c,d,b,0,0,e,c,e,d,f,b,c,0,d,0,e,e,f,c,d,e,f,d,f,f)$	$a=-9,b=-2,c=5,$
		$d=-1,e=2,f=1$
${\mathbf{t}}_{11}\otimes {\mathbf{t}}_{11}$	$(a,b,b,c,b,d,c,e,b,d,d,0,c,0,e,f,b,c,d,e,d,0,0,f,c,e,0,f,e,f,f)$	$a=-9,b=1,c=-1,$
		$d=2,e=5,f=-2$
${\mathbf{t}}_{12}\otimes {\mathbf{t}}_{12}$	$(a,b,b,c,b,d,c,0,b,d,d,e,c,e,0,f,b,c,d,0,d,e,e,f,c,0,e,f,0,f,f)$	$a=11,b=3,c=2,$
		$d=-2,e=1,f=-3$
${\mathbf{t}}_{13}\otimes {\mathbf{t}}_{13}$	$(a,b,b,c,b,d,c,e,b,d,d,f,c,f,e,g,b,c,d,e,d,f,f,g,c,e,f,g,e,g,g)$	$a=-21,b=8,c=-3,d=-17$
	(degree-7)	$e=2,f=13,g=14$
${\mathbf{s}}_{11}\otimes {\mathbf{t}}_{13}$	$(a,b,b,c,b,d,e,f,b,d,d,g,e,g,f,g,b,e,d,f,d,g,g,g,e,f,g,g,f,g,g)$	$a=-11,b=4,c=-2,d=-9$
	(degree-7)	$e=-1,f=1,g=7$
Note that the following pairs have the same sequence pattern:
$({\mathbf{s}}_5\otimes {\mathbf{s}}_5$, ${\mathbf{t}}_4\otimes {\mathbf{t}}_{15})$, $({\mathbf{t}}_1\otimes {\mathbf{t}}_1$,${\mathbf{t}}_{11}\otimes {\mathbf{t}}_{11})$, $({\mathbf{t}}_2\otimes {\mathbf{t}}_2$,${\mathbf{t}}_3\otimes {\mathbf{t}}_3)$, $({\mathbf{t}}_4\otimes {\mathbf{t}}_4$,${\mathbf{t}}_{12}\otimes {\mathbf{t}}_{12})$, $({\mathbf{t}}_5\otimes {\mathbf{t}}_5$,${\mathbf{t}}_8\otimes {\mathbf{t}}_8)$, $({\mathbf{t}}_6\otimes {\mathbf{t}}_6$,${\mathbf{t}}_{10}\otimes {\mathbf{t}}_{10})$, $({\mathbf{t}}_7\otimes {\mathbf{t}}_7$,${\mathbf{t}}_9\otimes {\mathbf{t}}_9)$

Table 4. 6 patterns of degree-10 PGISs of period 31

$\mathbf{PGIS}$	$\mathbf{sequence}\mathbf{pattern}$	$\mathbf{coefficients}$
${\mathbf{s}}_1\otimes {\mathbf{s}}_{11}$	$(a,b,b,c,d,e,e,f,e,g,f,e,a,h,f,d,f,g,b,i,e,d,d,k,h,d,h,b,f,b,g)$	$a=-6+22j,b=-2-6j,$
${\mathbf{s}}_2\otimes {\mathbf{s}}_{11}$	$(b,f,b,c,d,b,e,e,a,h,e,g,e,h,f,f,a,g,g,i,e,b,d,d,g,f,d,e,a,l,f)$	$c=2-34j,d=1-27j,$
${\mathbf{s}}_3\otimes {\mathbf{s}}_{11}$	$(b,b,e,f,e,b,b,d,d,g,c,f,d,f,f,d,b,k,g,e,e,g,h,b,a,e,a,d,i,h,f)$	$e=-4+8j,f=-5+15j,$
${\mathbf{s}}_4\otimes {\mathbf{s}}_{11}$	$(f,d,e,f,a,b,e,b,f,h,c,a,d,a,e,d,l,d,g,g,b,f,g,g,e,e,b,f,i,h,e)$	$g=-3+j,h=-1-13j,$
${\mathbf{s}}_5\otimes {\mathbf{s}}_{11}$	$(h,a,e,f,d,e,d,g,d,g,f,i,h,b,c,e,h,b,k,f,b,f,a,g,d,b,b,e,e,f,d)$	$i=-20j,k=-8+36j,$
${\mathbf{s}}_6\otimes {\mathbf{s}}_{11}$	$(d,b,b,e,f,e,f,f,d,h,f,i,g,l,c,a,h,g,d,a,b,e,e,g,d,e,f,e,g,a,b)$	$l=3-41j$

Table 4. 6 patterns of degree-10 PGISs of period 31

$\mathbf{PGIS}$	$\mathbf{sequence}\mathbf{pattern}$	$\mathbf{coefficients}$
${\mathbf{s}}_1\otimes {\mathbf{s}}_{11}$	$(a,b,b,c,d,e,e,f,e,g,f,e,a,h,f,d,f,g,b,i,e,d,d,k,h,d,h,b,f,b,g)$	$a=-6+22j,b=-2-6j,$
${\mathbf{s}}_2\otimes {\mathbf{s}}_{11}$	$(b,f,b,c,d,b,e,e,a,h,e,g,e,h,f,f,a,g,g,i,e,b,d,d,g,f,d,e,a,l,f)$	$c=2-34j,d=1-27j,$
${\mathbf{s}}_3\otimes {\mathbf{s}}_{11}$	$(b,b,e,f,e,b,b,d,d,g,c,f,d,f,f,d,b,k,g,e,e,g,h,b,a,e,a,d,i,h,f)$	$e=-4+8j,f=-5+15j,$
${\mathbf{s}}_4\otimes {\mathbf{s}}_{11}$	$(f,d,e,f,a,b,e,b,f,h,c,a,d,a,e,d,l,d,g,g,b,f,g,g,e,e,b,f,i,h,e)$	$g=-3+j,h=-1-13j,$
${\mathbf{s}}_5\otimes {\mathbf{s}}_{11}$	$(h,a,e,f,d,e,d,g,d,g,f,i,h,b,c,e,h,b,k,f,b,f,a,g,d,b,b,e,e,f,d)$	$i=-20j,k=-8+36j,$
${\mathbf{s}}_6\otimes {\mathbf{s}}_{11}$	$(d,b,b,e,f,e,f,f,d,h,f,i,g,l,c,a,h,g,d,a,b,e,e,g,d,e,f,e,g,a,b)$	$l=3-41j$

Table 5. Period 31 PGISs of various degrees

$\mathbf{PGIS}$	$\mathbf{sequence}\mathbf{pattern}$	$\mathbf{coefficients}$
${\mathbf{s}}_1\otimes {\mathbf{s}}_1\otimes {\mathbf{s}}_{11}$	$(a,b,c,c,d,e,f,g,h,i,i,k,l,m,n,d,m,p,q,e,b,g,r,s,t,t,u,v,r,w,n)$	$a=-8+26j,b=-56+12j,$
	(degree-21)	$c=-104-2j,d=256+103j,$
		$e=-152-16j,f=184+82j,$
		$g=16+33j,h=424+152j,$
		$i=-80+5j,k=40+40j,$
		$l=88+54j,m=64+47j,$
		$n=160+75j,p=-224-37j,$
		$q=-248-44j,r=-32+19j,$
		$s=-344-72j,t=208+89j,$
		$u=-128-9j,v=136+68j,$
		$w=-200-30j$
${\mathbf{s}}_2\otimes {\mathbf{s}}_2\otimes {\mathbf{s}}_{11}$	$(c,g,a,b,u,a,w,e,a,d,a,m,v,d,t,f,c,n,h,e,k,q,r,d,n,l,m,p,b,h,i)$	$a=-8+26j,b=-56+12j,$
	(degree-20)	$c=232+96j,d=256+103j,$
		$e=-152-16j,f=-272-51j,$
		$g=16+33j,h=112+61j,$
		$i=-80+5j,k=40+40j,$
		$l=-320-65j,m=64+47j,$
		$n=160+75j,p=-296-58j,$
		$q=-248-44j,r=-32+19j,$
		$w=-200-30j,t=208+89j,$
		$u=-128-9j,v=136+68j$
${\mathbf{s}}_{11}\otimes {\mathbf{t}}_{15}$	$(a,b,c,d,e,f,g,h,e,d,h,c,g,i,j,k,l,m,n,p,j,q,r,s,p,t,f,u,0,l,q)$	$a=7,b=2,c=8,d=5,$
	(degree-20)	$e=-9,f=4,g=-7,h=-5,$
		$i=10,j=6,k=-16,l=-1,$
		$m=12,n=16,p=3,q=1,$
		$r=-2,s=11,t=-4,u=-6$
${\mathbf{s}}_{11}\otimes {\mathbf{t}}_{14}$	$(a,b,a,c,d,e,f,g,h,i,e,j,j,k,i,h,l,m,n,0,p,c,q,r,s,t,u,q,p,k,g)$	$a=4,b=7,c=-5,d=-16,$
	(degree-20)	$e=6,f=-4,g=1,h=-9,$
		$i=5,j=3,k=-1,l=10,$
		$m=16,n=11,p=8,q=-7,$
		$r=12,s=-2,t=-6,u=2$
${\mathbf{s}}_{-11}\otimes {\mathbf{t}}_{14}$	$(a,b,c,b,d,e,f,g,h,i,j,k,l,i,c,h,m,k,e,n,p,p,c,q,r,s,t,t,u,0,l)$	$a=1,b=8,c=-9,d=15,$
	(degree-20)	$e=-8,f=10,g=-4,h=-3,$
		$i=-5,j=5,k=2,l=-1,$
		$m=7,n=3,p=4,q=13,$
		$r=12,s=14,t=2,u=-7$
${\mathbf{s}}_{11}\otimes {\mathbf{t}}_1$	$(a,b,0,b,c,d,0,e,f,f,e,g,h,i,j,k,l,l,b,m,c,m,m,b,j,0,c,n,d,m,g)$	$a=3,b=-1,c=2,d=-2,$
	(degree-14)	$e=-4,f=3,g=4,h=1,$
		$i=6,j=8,k=-3,l=5,$
		$m=-3,n=-5$
${\mathbf{s}}_{-11}\otimes {\mathbf{t}}_1$	$(a,b,c,d,e,d,0,a,0,f,f,0,g,f,g,0,c,h,h,e,i,g,e,j,f,k,d,l,f,0,c)$	$a=6,b=3,c=-3,d=-2,$
	(degree-12)	$e=1,f=-1,g=-4,h=7,$
		$i=5,j=9,k=2,l=4$
${\mathbf{s}}_{11}\otimes {\mathbf{t}}_5$	$(a,b,a,a,c,d,e,f,g,h,d,i,d,j,h,i,a,k,j,d,0,a,h,l,b,i,c,0,0,c,k)$	$a=2,b=5,c=-3,d=-2,$
	(degree-12)	$e=-6,f=-4,g=4,h=3,$
		$i=1,j=9,k=-1,l=-5$
${\mathbf{s}}_{-11}\otimes {\mathbf{t}}_5$	$(a,b,c,d,e,f,g,b,c,g,d,0,0,h,i,i,g,b,g,c,a,g,i,a,i,j,0,k,0,e,l)$	$a=2,b=3,c=4,d=-3,$
	(degree-12)	$e=-2,f=5,g=-1,h=-10,$
		$i=1,j=6,k=9,l=-6$
${\mathbf{s}}_{cy}\otimes {\mathbf{s}}_{11}$	$(a,a,b,c,d,b,e,f,d,g,c,h,i,k,c,d,k,m,m,h,b,f,i,m,i,e,a,e,h,k,f)$	$a=-13-13j,b=-14-14j,$
	(degree-11)	$c=-6-6j,d=30+30j,$
		$e=21+21j,f=7+7j,$
		$g=-19-19j,h=-7-7j,$
		$i=2+2j,k=-12-12j,$
		$m=-35-35j$

Table 5. Period 31 PGISs of various degrees

$\mathbf{PGIS}$	$\mathbf{sequence}\mathbf{pattern}$	$\mathbf{coefficients}$
${\mathbf{s}}_1\otimes {\mathbf{s}}_1\otimes {\mathbf{s}}_{11}$	$(a,b,c,c,d,e,f,g,h,i,i,k,l,m,n,d,m,p,q,e,b,g,r,s,t,t,u,v,r,w,n)$	$a=-8+26j,b=-56+12j,$
	(degree-21)	$c=-104-2j,d=256+103j,$
		$e=-152-16j,f=184+82j,$
		$g=16+33j,h=424+152j,$
		$i=-80+5j,k=40+40j,$
		$l=88+54j,m=64+47j,$
		$n=160+75j,p=-224-37j,$
		$q=-248-44j,r=-32+19j,$
		$s=-344-72j,t=208+89j,$
		$u=-128-9j,v=136+68j,$
		$w=-200-30j$
${\mathbf{s}}_2\otimes {\mathbf{s}}_2\otimes {\mathbf{s}}_{11}$	$(c,g,a,b,u,a,w,e,a,d,a,m,v,d,t,f,c,n,h,e,k,q,r,d,n,l,m,p,b,h,i)$	$a=-8+26j,b=-56+12j,$
	(degree-20)	$c=232+96j,d=256+103j,$
		$e=-152-16j,f=-272-51j,$
		$g=16+33j,h=112+61j,$
		$i=-80+5j,k=40+40j,$
		$l=-320-65j,m=64+47j,$
		$n=160+75j,p=-296-58j,$
		$q=-248-44j,r=-32+19j,$
		$w=-200-30j,t=208+89j,$
		$u=-128-9j,v=136+68j$
${\mathbf{s}}_{11}\otimes {\mathbf{t}}_{15}$	$(a,b,c,d,e,f,g,h,e,d,h,c,g,i,j,k,l,m,n,p,j,q,r,s,p,t,f,u,0,l,q)$	$a=7,b=2,c=8,d=5,$
	(degree-20)	$e=-9,f=4,g=-7,h=-5,$
		$i=10,j=6,k=-16,l=-1,$
		$m=12,n=16,p=3,q=1,$
		$r=-2,s=11,t=-4,u=-6$
${\mathbf{s}}_{11}\otimes {\mathbf{t}}_{14}$	$(a,b,a,c,d,e,f,g,h,i,e,j,j,k,i,h,l,m,n,0,p,c,q,r,s,t,u,q,p,k,g)$	$a=4,b=7,c=-5,d=-16,$
	(degree-20)	$e=6,f=-4,g=1,h=-9,$
		$i=5,j=3,k=-1,l=10,$
		$m=16,n=11,p=8,q=-7,$
		$r=12,s=-2,t=-6,u=2$
${\mathbf{s}}_{-11}\otimes {\mathbf{t}}_{14}$	$(a,b,c,b,d,e,f,g,h,i,j,k,l,i,c,h,m,k,e,n,p,p,c,q,r,s,t,t,u,0,l)$	$a=1,b=8,c=-9,d=15,$
	(degree-20)	$e=-8,f=10,g=-4,h=-3,$
		$i=-5,j=5,k=2,l=-1,$
		$m=7,n=3,p=4,q=13,$
		$r=12,s=14,t=2,u=-7$
${\mathbf{s}}_{11}\otimes {\mathbf{t}}_1$	$(a,b,0,b,c,d,0,e,f,f,e,g,h,i,j,k,l,l,b,m,c,m,m,b,j,0,c,n,d,m,g)$	$a=3,b=-1,c=2,d=-2,$
	(degree-14)	$e=-4,f=3,g=4,h=1,$
		$i=6,j=8,k=-3,l=5,$
		$m=-3,n=-5$
${\mathbf{s}}_{-11}\otimes {\mathbf{t}}_1$	$(a,b,c,d,e,d,0,a,0,f,f,0,g,f,g,0,c,h,h,e,i,g,e,j,f,k,d,l,f,0,c)$	$a=6,b=3,c=-3,d=-2,$
	(degree-12)	$e=1,f=-1,g=-4,h=7,$
		$i=5,j=9,k=2,l=4$
${\mathbf{s}}_{11}\otimes {\mathbf{t}}_5$	$(a,b,a,a,c,d,e,f,g,h,d,i,d,j,h,i,a,k,j,d,0,a,h,l,b,i,c,0,0,c,k)$	$a=2,b=5,c=-3,d=-2,$
	(degree-12)	$e=-6,f=-4,g=4,h=3,$
		$i=1,j=9,k=-1,l=-5$
${\mathbf{s}}_{-11}\otimes {\mathbf{t}}_5$	$(a,b,c,d,e,f,g,b,c,g,d,0,0,h,i,i,g,b,g,c,a,g,i,a,i,j,0,k,0,e,l)$	$a=2,b=3,c=4,d=-3,$
	(degree-12)	$e=-2,f=5,g=-1,h=-10,$
		$i=1,j=6,k=9,l=-6$
${\mathbf{s}}_{cy}\otimes {\mathbf{s}}_{11}$	$(a,a,b,c,d,b,e,f,d,g,c,h,i,k,c,d,k,m,m,h,b,f,i,m,i,e,a,e,h,k,f)$	$a=-13-13j,b=-14-14j,$
	(degree-11)	$c=-6-6j,d=30+30j,$
		$e=21+21j,f=7+7j,$
		$g=-19-19j,h=-7-7j,$
		$i=2+2j,k=-12-12j,$
		$m=-35-35j$

8. Conclusions

Prime period sequences can serve as the fundamental tool to construct arbitrary composite period sequences. The construction of prime period PGISs becomes an important research topic. This paper provides systematic and nonsystematic two different approaches for construction prime period PGISs. Systematic approach encounters difficulty to solve constraint equations when the degree of sequence is lager than 3, however the merit of this approach is that both degree and pattern of a sequence are known, and PGISs of degrees 1, 2, 3 and 5 examples are presented for demonstration. The nonsystematic approach can contribute abundant numbers of degrees and patterns to the constructed PGISs, but both degree and pattern might vary. We provide PGISs of different patterns and degree-4 and other higher degrees of 6, 7, 10, 11, 12, 14, 20 and 21 examples to show the results of nonsystematic approach. The proposed systematic and nonsystematic schemes can be combined to construct efficiently abundant PGISs with various degrees and patterns for the associated different applications.