- Research
- Open access
- Published:

# Research on perfect binary correlation sequences based on higher-order cumulant

*EURASIP Journal on Wireless Communications and Networking*
**volume 2013**, Article number: 123 (2013)

## Abstract

Current researches define the perfect signal by the inner product of sequence itself and its delay sequence. However, these traditional sequences based on second-order statistics cannot handle colored Gaussian measurement noise automatically. Because higher-order cumulant (HOC) is insensitive to the adding Gaussian noise and symmetrical non-Gaussian noise, a new kind of perfect binary signal with good periodic correlation function based on HOC is presented. This paper proposes a new concept of perfect binary-third-order cyclic autocorrelation sequences (PBTOCAS) and defines the quasi-perfect binary-third-order cyclic autocorrelation sequences (QPBTOCAS) and the almost perfect binary-third-order cyclic autocorrelation sequences (APBTOCAS). Then the properties of these binary sequences are studied, and we theoretically prove that binary-third-order cyclic autocorrelation sequences can effectively suppress colored Gaussian noise. Finally, some QPBTOCAS and APBTOCAS with short lengths by computer searching are listed. From the observation of the PBTOCAS, we can see that it can well suit engineering applications, remedying the defect of the conventional pseudo-noise code used in very low signal-noise-ratio environments.

## 1. Introduction

Higher-order statistics (HOS) is a mathematical tool to describe the higher-order statistical properties of the random process, including higher-order cumulants and moments. Of course, the second-order cumulant is just the autocorrelation. A logical question to ask is “Why do we need higher-order cumulants; i.e., are not second-order cumulants good enough?” Cumulants, therefore, not only display the amount of higher-order correlation, but also provide a measure of the distance of the random process from Gaussianity [1]. In fact, it has been shown that the estimation methods that exploit the non-Gaussian signals have some inherent advantages over second-order method, such as (1) the ability to reconstruct the phase of non-minimum phase systems, (2) the array aperture is spread in space domain, and (3) the ability to separate non-Gaussian signals form Gaussian additive noise [2]. Based on the above characteristics, higher-order cumulant recently has been becoming a powerful tool for signal processing and system theory and widely used in many diverse fields; e.g., radar [3], sonar [4], telecommunication [1], oceanography [5], electromagnetism [6], geophysics [7], biomedical [8], and fault diagnosis [9]. The typical signal processing applications based on higher-order cumulant (HOC) mainly include the system identification and modeling of time series analysis [10], adaptive estimation and filtering [11], signal reconstruction [12], signal detection [13], harmonic retrieval [14], image processing [15], blind deconvolution and equalization [16], and array signal processing [17].

The main advantage of using high-order cumulant is that HOC is constantly zero for Gaussian process even in the colored Gaussian process. Harmonic retrieval, for example, uses the strong ability of HOC to suppress the Gaussian noise and harmonic signal, for flexible problem solving with signal parameter estimation in colored noise environments. Due to its great ability to overcome the noise interference, in this research, we suggest an attractive idea to expand the definition of perfect signal based on HOS.

Perfect discrete signal and its design play key roles among many modern communication fields. The signals with good correlation properties have been widely applied to modem communication, such as radar, sonar, navigation, space ranging and controlling, and electronic antagonism systems. A perfect binary correlation signal is the best one whose periodic autocorrelation function is a single peak. However, the perfect binary sequence has been known only for a length of *N* = 4 within sequence length 12,100 [18, 19].

Other kinds of perfect sequence are studied, such as perfect ternary sequences [20], perfect three-level and three-phase sequences [21], almost-perfect binary sequence [22], odd-periodic-perfect binary sequences [23], and Alexis sequences [24]. Current researches define the perfect signal by the inner product of sequence itself and its delay sequence. However, these traditional sequences based on second-order statistics cannot handle colored Gaussian measurement noise automatically, thus affecting the accuracy of their properties in engineering application. Since high-order cumulants are blind to any kind of Gaussian process, this paper introduces HOC into the field of perfect binary sequence, which breaks through the limitations of the perfect signal defined by second-order statistics, to fill out the blank of perfect signal in the area of research on Gaussian noise suppression.

In this paper, we propose a new concept of perfect binary sequence based on higher-order cumulant, which is the perfect binary-third-order cyclic autocorrelation sequence. The detailed analysis proves that the proposed sequences improve the performance of anti-noise for perfect signal significantly, and more perfect signals could be obtained in engineering application with this method. The rest of this paper is organized as follows: In Section 2, we present the definition of the proposed sequences. In Section 3, we study the properties of the sequences. In Section 4, we apply the above properties to search out some quasi-perfect binary-third-order cyclic autocorrelation sequences (QPBTOCAS) and almost perfect binary-third-order cyclic autocorrelation sequences (APBTOCAS) with short lengths by computer, and the periodic correlation performances of the sequences are analyzed by MATLAB (MathWorks, Natick, MA, USA). In Section 5, we conclude our work and discuss future research.

## 2. Definitions

**Definition 1** Suppose a sequence *x*(*n*) = (*x*_{0}, *x*_{1}, ⋯, *x*_{N - 1}) with length *N*, *x*(*n*) is defined as the binary sequence, if *x*(*n*) ∈ {−1,1} holds.

**Definition 2** The imbalance of sequence *x*(*n*) with length *N* is defined to be

where *n*_{
p
} and *n*_{
q
} respectively denote the numbers of 1 and −1 in the binary sequence *x*(*n*).

**Definition 3** Suppose a sequence *x*(*n*) = (*x*_{0}, *x*_{1}, ⋯, *x*_{N - 1}) with length *N* and its imbalance satisfies *I* ∈ {−1, 0, 1}, *x*(*n*) is considered as a zero-mean or a closely approximate zero-mean stationary random process, then the third-order cumulant of cyclic autocorrelation binary sequence *x*(*n*) is defined as

where 0 ≤ *τ*_{1} ≤ *N* − 1, 0 ≤ *τ*_{2} ≤ *N* − 1, and *E* denotes the maximum value.

**Definition 4** Suppose a binary sequence *x*(*n*) = (*x*_{0}, *x*_{1}, · ··, *x*_{N − 1}) with length *N* and its imbalance satisfies *I* ∈ {−1, 0, 1}, then *x*(*n*) is defined as the p*erfect binary-third-order cyclic autocorrelation sequences* (PBTOCAS) if there exists a value *τ*_{1} = *u*(0 ≤ *u* ≤ *N* − 1) and satisfies the following equation:

where 0 ≤ *m* ≤ *N* − 1, and *E* denotes the maximum value.

**Definition 5** Suppose a random binary sequence *x*(*n*) = (*x*_{0}, *x*_{1}, · ··, *x*_{N − 1}) with length *N* and its imbalance satisfies *I* ∈ {−1, 0, 1}, then *x*(*n*) is defined as the *QPBTOCAS*, if there exists a value *τ*_{1} = *u*(0 ≤ *u* ≤ *N* − 1) and satisfies the following equation:

where 0 ≤ *m* ≤ *N* − 1, *a* → 0, *a* ≪ *E*, and *E* denotes the maximum value.

**Definition 6** Suppose a binary sequence *x*(*n*) = (*x*_{0}, *x*_{1}, · ··, *x*_{N − 1}) with length *N* and its imbalance satisfies *I* ∈ {−1, 0, 1}, then *x*(*n*) is defined as the *APBTOCAS* if there exists a value *τ*_{1} = *u*(0 ≤ *u* ≤ *N* − 1) and satisfies the following equation:

where 0 ≤ *m* ≤ *N* − 1, 0 ≤ *n* ≤ *N* − 1, and *E* denotes the maximum value.

**Definition 7** The imbalance *I* of a perfect binary-third-order cyclic autocorrelation sequence with length *N* is given by

The sequence is defined to be a *constant-weight PBTOCAS*, otherwise defined as a *non-constant-weight PBTOCAS*.

On the other hand, we have similar definition to the QPBTOCAS and APBTOCAS.

## 3. Transformation features

It will take a huge amount of time to do an exhaustive search for the PBTOCAS, QPBTOCAS, and APBTOCAS in length *N*. According to the definition in Section 2 and the important properties of higher-order cumulant , we can get some features as follows to reduce the search domain significantly. Since these sequences all belong to the class of binary-third-order sequence, we take PBTOCAS as example to prove the common transformation feature.

If sequence *x*(*n*) = (*x*_{0}, *x*_{1}, · ··, *x*_{N − 1}) is PBTOCAS with length *N*, we can get the following four important properties.

**Proposition 1** *Reverse transformation*. *If PBTOCAS x*(*n*) *after the transformation x*_{1}(*n*) = − *x*(*n*), *then sequence x*_{
1
}(*n*) *is PBTOCAS.*

*Proof* It is easy to verify the propositions mentioned above by using the definition of PBTOCAS in (3), so we leave them out here.

**Proposition 2** *Mapping transformation. If PBTOCAS x(n) after the transformation x*_{1}(*n*) = *x*(−*n*), *then sequence x*_{
1
}(*n*) *is PBTOCAS.*

*Proof* Consider the sequence *x*(*n*) = (*x*_{0}, *x*_{1}, · ··, *x*_{N − 1}) with length *N*, where *c*_{3x}(*τ*_{1}, *τ*_{2}) is the third-order cumulant defined in (3). We have

According to the definition in (3), we prove that sequence *x*_{1}(*n*) is PBTOCAS. This completes the proof.

**Proposition 3** *Reverse order transformation. If PBTOCAS x(n) after the transformation x*_{1}(*n*) = *x*(*N* − *n*), *then sequence x*_{
1
}(*n*) *is PBTOCAS.*

*Proof* Consider the sequence *x*(*n*) = (*x*_{0}, *x*_{1}, · ··, *x*_{N − 1}) with length *N*, where *c*_{3x}(*τ*_{1}, *τ*_{2}) is the third-order cumulant defined in (3). We have

According to the definition in (3), we prove that sequence *x*_{1}(*n*) is a PBTOCAS. This completes the proof.

**Proposition 4** *Cyclic shifting transformation. If PBTOCAS x(n) after the transformation x*_{1}(*n*) = *x*(*n* + *u*),*u ≤ N*, *then sequence x*_{
1
}(*n*) *is PBTOCAS*.

*Proof* Consider the sequence *x*_{1}(*n*) = (*x*_{0}, *x*_{1}, · ··, *x*_{N − 1}) with length *N*, where *c*_{3x}(*τ*_{1}, *τ*_{2}) is the third-order cumulant defined in (3). We have

Since *n* + *τ*_{1} = (*n* + *τ*_{1})mod *N*, *n* + *τ*_{2} = (*n* + *τ*_{2})mod *N*, hence,

According to the definition in (3), we prove that sequence *x*_{1}(*n*) is PBTOCAS. This completes the proof.

The proof of the propositions mentioned of QPBTOCAS and APBTOCAS is similar to the PBTOCAS, so we leave it out here.

## 4. Searching results

We use the propositions 1 to 4 in Section 3 to reduce the searching range effectively, since all the QPBTOCAS and the APBTOCAS seem only one if they can get from one sequence by using the propositions 1 to 4. Therefore, by means of an exhaustive computer search for the possible class of PBTOCAS, we get some QPBTOCAS within length 25 in Table 1 and APBTOCAS within length 26 listed in Table 2.

### 4.1. Some searching results of QPBTOCAS

For example, a sequence 116 (octal) with length 7 denotes the sequence *x*(*n*) = {−1, − 1, − 1, − 1, − 1, + 1, + 1, − 1, + 1, + 1, − 1, + 1, + 1, + 1}, then sequence *x*(*n*) is QPBTOCAS.

From the output of the third-order cumulant *c*_{3x}(*τ*_{1}, *τ*_{2}) of the 4657 (octal) sequence, we can find that there are 14 peak values and we can see below the contour and the mesh plotting for the sequence, and it is clear that it has peak points with value = −1, and any other value will be = ±1/15 → 0. The results are shown in Figures 1 and 2, represented in mesh and contour plots. At the (*τ*_{1}, *τ*_{2}) pair, the fork indicates that there is a peak value.

Among the 14 peaks, we choose 14 sets of peaks in Table 3. In each set, we can see that only one peak will be produced in the same value with the change of shift count *τ*_{2}, and any other value will be 0 when the another shift count *τ*_{1} = 1,2,3,4,5,6,7⋯14, which are the same as the theoretical results.

As a result, when we fix one shift count *τ*_{1} in Table 1 and move another shift count *τ*_{2} of the sequence, we can get one set of the peak location (*τ*_{1}, *τ*_{2}) in Table 3 while the value at any other point will be equal to nearly 0, which indicates that the 4657 (octal) QPBTOCAS has a good periodic correlation performance.

### 4.2. Some searching results of APBTOCAS

For example, a sequence 667 (octal) with length 14 denotes the sequence *x*(*n*) = {−1, − 1, − 1, − 1, − 1, + 1, + 1, − 1, + 1, + 1, − 1, + 1, + 1, + 1} the sequence *x*(*n*) is an APBTOCAS.

From the output of the third-order cumulant *c*_{3x}(*τ*_{1}, *τ*_{2}) of the 667 (octal)sequence, we can find that there are 36 peak values and we can see below the contour and the mesh plotting for the sequence, and it is clear that it has peak points with value = ±8/15 ≈ 0.5333, and any other value will be equal to 0. The results are shown in Figures 3 and 4, represented in mesh and contour plots. At the (*τ*_{1}, *τ*_{2}) pair, the circle indicates that there is a positive peak, and the fork indicates that there is a negative peak.

Among the 36 peaks, we choose eight sets of peaks in Table 4. In each set, we can see that two opposite peaks will be produced in the same value with the change of shift count *τ*_{2} and any other value will be 0, when another shift count is *τ*_{1} = 2,4,5,6,8,9,10,12, which are the same as the theoretical results. As a result, when we fix one shift count *τ*_{1} in Table 2 and move another shift count *τ*_{2} of the sequence, we can get one set of the peak location (*τ*_{1}, *τ*_{2}) in Table 4 while the value at any other point will be equal to 0, which indicates that the 667 (octal) APBTOCAS has a good periodic correlation performance.

## 5. Conclusions

A new concept of PBTOCAS is proposed in the paper. Since the higher-order cumulant is more robust to additive measurement noise than correlation, even if that noise is colored, this article introduces higher-order cumulants into the research of perfect binary sequence, which can enrich the research field of perfect signal theory. According to the properties of HOC, the PBTOCAS can draw itself out of Gaussian noise, thereby boosting their signal-to-noise ratios in engineering application.

Because of the limit of program algorithm and the computer operating speed, only some QPBTOCAS and APBTOCAS have been found. Although we have not found the PBTOCAS of the definition in (3) at present, the realization of QPBTOCAS and APBTOCAS could be further constructed according to the conjecture. On the other hand, the existence of the PBTOCAS also requires further study. For the binary sequence within length 25 whose imbalance holds, searching result shows that these sequences are all QPBTOCAS. Then for the binary sequence within length 26 whose imbalance holds, searching result shows that these sequences are all almost PBTOCAS. Based on the above results, we can draw a conclusion that there exist the non-constant-weight QPBTOCAS and the constant-weight APBTOCAS, and the number of QPBTOCAS is larger than that of APBTOCAS. At present, although all QPBTOCAS are displayed as M sequences by computer searching, it is essential to prove whether all M sequences conform to the definition in (4) in further research. Furthermore, other possibility of the existence of the QPBTOCAS needs to be verified in the further computer search. Meanwhile, the APBTOCAS with good cyclic autocorrelation function shown in Table 2 can be widely used in the engineering application with a strict requirement on bit error rate.

## References

Mendel JM: Tutorial on higher-order statistics (spectra) in signal processing and system theory: theoretical results and some applications.

*Proc. IEEE*1991, 79(3):278-305. 10.1109/5.75086Feng L, Jingqing L, Shaoqian L: Signal direction of arrival estimation based high-order cumulants and a partially calibrated array, in

*International Conference on Communications, Circuits and Systems*, Xiamen University, Fujian Province, 25−28 June 2006, (IEEE Press.*Piscataway*2006, 1: 293-297.Anandan VK, Ramachandra R: Spectral analysis of atmospheric radar signal using higher order spectral estimation technique.

*IEEE Trans. Geoscience and Remote Sensing*2001, 39(9):1890-1895. 10.1109/36.951079Trucco A: Experimental results on the detection of embedded objects by a prewhitening filter.

*IEEE J. Ocean. Eng.*2001, 26(4):783-794. 10.1109/48.972119Bendjama A, Bourennane S: Localization of buried objects through higher order statistics techniques.

*2003 IEEE Workshop on Statistical Signal Processing*28 September to 1 October 2003 (IEEE Press, Piscataway, 2003) pp. 474–477Yougen X, Zhiwen L, Wong KT, Jinliang C: Virtual-manifold ambiguity in HOS-based direction-finding with electromagnetic vector-sensors.

*IEEE Trans. Aerospace and Electronic Systems*2008, 44(4):1291-1308.Lazear GL: Mixed-phase wavelet estimation using fourth order cumulants.

*Geophysic*1993, 58(7):1042-1051. 10.1190/1.1443480Osowski S, Hoai LT, Markiewicz T: Support vector machine-based expert system for reliable heartbeat recognition.

*IEEE Trans. Biomedical Engineering*2004, 51(4):582-589. 10.1109/TBME.2004.824138Wu-xing LAI, Tse PW, Gui-cai Z: Classification of gear faults using cumulants and the radial basis function network.

*Mech. Syst. Signal Process.*2004, 18(2):381-389. 10.1016/S0888-3270(03)00080-3Swami A, Mendel JM: Identifiability of the AR parameter estimaters of an ARMA process using cumulants.

*IEEE Trans. Automatic Control*1992, 37(2):268-273. 10.1109/9.121633Aboutajdine D, Adib A, Meziane A: Fast adaptive algorithms for AR parameters estimation using higher order statistics.

*IEEE Trans. Signal Process.*1996, 44(8):1998-2009. 10.1109/78.533721Petropulu AP, Nikias CL: Blind convolution using signal reconstruction from partial higher order cepstral information.

*IEEE Trans. Signal Process.*1993, 41(6):2088-2095. 10.1109/78.218138Sadler BM, Giannakis GB, Keh-Shin L: Estimation and detection in non-Gaussian noise using higher order statistics.

*IEEE Trans. Signal Process.*1994, 42(10):2729-2741. 10.1109/78.324738Zhenghao S, Fairman FW: Harmonic retrieval via state space and fourth-order cumulants.

*IEEE Trans. Signal Processing*1994, 42(5):1109-1119. 10.1109/78.295207Farid H: Blind inverse gamma correction.

*IEEE Trans. Image Process.*2001, 10(10):1428-1433. 10.1109/83.951529Chih-Chun F, Chong-Yung C: Performance of cumulant based inverse filters for blind deconvolution.

*IEEE Trans. Signal Process.*1999, 47(7):1922-1935. 10.1109/78.771041Chevalier P, Ferreol A: On the virtual array concept for the fourth-order direction finding problem.

*IEEE Trans. Signal Process.*1999, 47(9):2592-2595. 10.1109/78.782217Xian YY: Existence of one dimensional perfect binary arrays.

*Electron. Lett.*1987, 23(24):1277-1278. 10.1049/el:19870885Bomer L, Antweiler M: Perfect energy efficient sequences.

*Electron. Lett.*1991, 27(15):1332-1334. 10.1049/el:19910838Hold TH, Justesen J: Ternary sequences with perfect periodic autocorrelation.

*IEEE Trans. Inform. Theory IT*1983, 29(4):597-600. 10.1109/TIT.1983.1056707Bomer L, Antweiler M: Perfect three-level and three-phase sequence and arrays.

*IEEE Trans. Comm.*1994, 42(2/3/4):767-772. 10.1109/TCOMM.1994.577105Langevin P: Almost perfect binary functions.

*App. Alg. Eng. Comm. Comp.*1993, 4: 95-102. 10.1007/BF01386833Anon L: Mismatch filtering of odd-periodic binary sequences.

*IEEE Trans. Aero. Elec. Syst*1998, 34(4):1345-1350. 10.1109/7.722719Luke HD: Binary Alexis sequences with perfect correlation.

*IEEE Trans. Commun.*2001, 49(6):966-968. 10.1109/26.930625

## Acknowledgments

This article is a revised and expanded version of a paper entitled ‘Research on theory of almost perfect binary-third-order autocorrelation sequences’ presented at IEEE International Conference on Communications, Signal Processing and Systems, Beijing China last 17 October 2012.

This work was supported by Important National Science and Technology Specific Projects (2010ZX03006-006), NSFC (61171176), Scientific Research Fund of Zhejiang Provincial Education Department under grant no.Y201225956 and Natural Science Foundation of Ningbo under grant no. 2012A610015.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

## Authors’ original submitted files for images

Below are the links to the authors’ original submitted files for images.

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## About this article

### Cite this article

Zhong, Y., Zhou, Z. & Jiang, T. Research on perfect binary correlation sequences based on higher-order cumulant.
*J Wireless Com Network* **2013**, 123 (2013). https://doi.org/10.1186/1687-1499-2013-123

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/1687-1499-2013-123