Open access peer-reviewed chapter

A Direct Construction of Intergroup Complementary Code Set for CDMA

By Palash Sarkar and Sudhan Majhi

Submitted: January 23rd 2019Reviewed: May 8th 2019Published: July 10th 2019

DOI: 10.5772/intechopen.86751

Downloaded: 132


A collection of mutually orthogonal complementary codes (CCs) is said to be complete complementary codes (CCCs) where the number of CCs are equal to the number of constituent sequences in each CC. Intergroup complementary (IGC) code set is a collection of multiple disjoint code groups with the following correlation properties: (1) inside the zero-correlation zone (ZCZ), the aperiodic autocorrelation function (AACF) of any IGC code is zero for all nonzero time shifts; (2) the aperiodic cross-correlation function (ACCF), of two distinct IGC codes, is zero for all time shifts inside the ZCZ when they are taken from the same code groups; and (3) the ACCF, for two IGC codes from two different code groups, is zero everywhere. IGC code set has a larger set size than CCC, and both can be applicable in multicarrier code-division multiple access (CDMA). In this chapter, we present a direct construction of IGC code set by using second-order generalized Boolean functions (GBFs), and our IGC code set can support interference-free code-division multiplexing. We also relate our construction with a graph where the ZCZ width depends on the number of isolated vertices present in a graph after the deletion of some vertices. Here, the construction that we propose can generate IGC code set with more flexible parameters.


  • complementary code (CC)
  • code-division multiple access (CDMA)
  • generalized
  • Boolean function (GBF)
  • intergroup complementary (IGC) code set
  • zero-correlation zone
  • (ZCZ) sequences

1. Introduction

Code-division multiple access (CDMA) [1] is an important communication technology where sequence signatures with good correlation properties are used to separate multiple users. In CDMA systems, multipath interference (MPI) and multiple access interference (MAI) degrade the performance where MPI and MAI occur due to the multipath propagation, non-ideal synchronization, and non-ideal correlation properties of spreading codes. Spreading code plays a significant role on the overall performance of a CDMA system. The interference-resist capability and system capacity are determined by the correlation properties and available number of spreading codes. Due to ideal auto- and cross-correlation properties, complete complementary codes (CCCs) have been applied to asynchronous multicarrier CDMA (MC-CDMA) [2] communications in order to provide zero interference performance.

Golay proposed a pair of sequences in Golay [3] known as Golay complementary pair (GCP) which is a set of two equal length sequences with the property that the sum of their aperiodic autocorrelation function (AACF) is zero everywhere except at the zero shift. Tseng and Liu [4] extended the idea of GCP to complementary set or complementary code (CC) which contains two or more than two sequences. Davis and Jedwab [5] proposed a direct construction of GCP called Golay-Davis-Jedwab (GDJ) pair by using second-order generalized Boolean functions (GBFs) to reduce peak-to-mean envelope power ratio (PMEPR) for OFDM system. As a generalization of GDJ pair, Paterson introduced a construction of CC Paterson [6] by associating each CC with a graph. Recently, a construction of CC has been reported in Sarkar et al. [7] which is a generalization of Paterson’s CC construction. Later, Rathinakumar and Chaturvedi extended Paterson’s construction to CCC Rathinakumar and Chaturvedi [8] which is a collection of mutually orthogonal CCs. Although CCs have ideal AACF and aperiodic cross-correlation function (ACCF), they are unable to support a maximum number of users as the set size cannot be larger than the flock size [9, 10, 11], where the flock size denotes the number of constituent sequences in each CC. The application of CCC has been extended for the enabling of interference-free MC-CDMA communication by designing a fractional-delay-resilient receiver in Liu et al. [12].

The binary Z-complementary sequences were first introduced by Fan et al. [13] and later extended to quadriphase Z-complementary sequences by Li et al. [14].

Recently, a construction of binary Z-complementary pairs has been reported in Adhikary et al. [15]. A direct construction of polyphase Z-complementary codes has been reported in Sarkar et al. [16], which is an extension of Rathinakumar’s CCC construction. Due to favorable correlation properties of Z-complementary codes, it can be easily utilized for MC-CDMA system as spreading sequences to mitigate MPI and MAI efficiently [17]. The theoretical bound given in Liu et al. [18] shows that the Z-complementary codes have a much larger set size than CCCs.

IGC code set was first proposed by Li et al. [19] based on CCCs. Their code assignment algorithm shows that the CDMA systems employing the IGC codes (IGC-CDMA) outperform traditional CDMA with respect to bit error rate (BER). However, the ZCZ width of IGC codes [19] is fixed to the length of the elementary codes of the original CCCs, which limits the number of IGC codes. Another improved construction method of IGC codes is proposed in Feng et al. [20] based on the CCCs, interleaving operation, and orthogonal matrix which provides a flexible choice of the ZCZ width. However, there is no such construction which can directly produce IGC code set without having operation on CCCs; it motivates us to give a direct construction of IGC code set.

This chapter contains a direct method to construct IGC code set by applying second-order GBFs. This construction is capable of generating IGC code set with more flexible parameters such as ZCZ width and set size. We also relate our construction with a graph, and it has been shown that ZCZ width and set size of the IGC code set obtained by using our method depend on the number of isolated vertices present in a graph which is achieved by deleting some vertices from a graph.

2. Preliminary

2.1 Correlations of sequences

The ACCF between two sequences a=a0a1aL1and b=b0b1bL1is defined as follows:


where τis an integer. The above defined function in Eq. (1) is said to be AACF of a(or, b) if a=b. The AACF of a at τis denoted by Aaτ.

Definition 1 An ordered set a0a1,aP1containing Psequences of equal length Lis called CC lf


Definition 2 Let C0C1,CK1be a set of KCCs where each of the CC contains PKPconstituent sequences of length L. The αthconstituent sequence of Ciis Ci,α=Ci,α,0Ci,α,1Ci,α,L1where α=0, 1, ,P1,i=0, 1, ,K1. The ACCF of the CCs is given by


The code set is said to be CCC when K=P.

Definition 3 Given an IGCcode set I (K,P,L,Z) (Li et al. [19]), Kdenotes a number of codes, Pdenotes the number of constituent sequences in each code, Ldenotes the length of each constituent sequence, and Zdenotes ZCZwidth, where K=PL/Z. The Kcodes can be divided into Pcode groups denoted by Igg=01P1, each group contains K/P=L/Zcodes. The code set IKPLZhas the following properties:


2.2 Generalized Boolean functions

Let f:01mZq(q is average number, not less than 2) be a function of mvariables x0,x1,,xm1. The product of kdistinct variables χi0χi1χik10i0<i1<<ik1m1is called a monomial of degree k. The monomials 1, x0,,xm1,x0x1,,xm2xm1,,x0x1xm1are the list of 2mmonomials over the variables x0,x1,,xm1. A GBF fcan uniquely be presented as a linear combination of these 2mmonomials, where the coefficient of each monomial belongs to Zq. We denote the complex valued sequence corresponding to the GBF fby ψfand define it as


where fi=fi0i1im1, ω=exp2π1/q, and i0i1im1are the binary representation of the integer ii=i=0m1ij2j. Let Cbe an order set of PBoolean functions given by C=f0f1fP1. Then the complex valued code corresponding to the set of Boolean function Cis denoted by ψC, given by ψC=ψf0ψf1ψfP1. The code can also be viewed as a matrix where ψfi1is the ith row of the matrix.

For any given GBF fof mvariables, the function f1x01x11xm1is denoted by f˜. For a Zqvalued vector e=e0e1eL1, we denote the vector e¯by e¯0e¯1e¯L1where e¯i=q2eii=01L1. Now, we define the following notations a¯and a, where a¯is derived from a by reversing it and ais the complex conjugate of a.

2.3 Quadratic forms and graphs

In this context, we introduce some lemmas and new notations which will be used for our proposed construction.

Definition 4 Let fbe a GBFof variables x0,x1,,xm1over Zq. Consider a list of k0k<mindices 0j0<j1<jk<m, and write x=xj0xj1xjk1. Consider c=c0c1ck1to be a fixed binary vector. Then we define ψfx=cas a complex valued vector with ωfi0'i1''im1as a ithcomponent if ijα=cαfor each 0α<kand equal to zero otherwise. For k=0, the complex valued vector ψfx=cis nothing, but the vector ψfis defined before.

Let Q:01mZqbe a quadratic form of mvariables x0,x1,,xm1.Aquadratic GBFis of the form Rathinakumar and Chaturvedi [8]


where g,giZqare arbitrary.

For a quadratic GBF, f,Gfdenotes the graph of f. The Gfis obtained by joining the vertices xiand xjby an edge if there is a term qi,jxixj0i<jm1in the GBF fwith qi,j0qi,jZq. Consider a function fxj=c, derived by fixing xjat cin f. The graph of fxj=cis denoted by Gfxj=cwhich is obtained by deleting the vertex xjand all the edges which are connected to xjfrom Gf. Then Gfx=cis obtained from Gfby deleting xj0,xj1,,xjk1.Gfx=crepresent the same graph for all c01k. Therefore, for all cin 01kfx=chave the same quadratic form. Note that the quadratic forms of fand f˜are the same; thus, they have associated with the same graph.

Lemma 1 Construction of CCC [8].

Let f: 01mZqbe a GBF and fits reversal. Assume that Gfx=cis a path for each c01kand the edges in the path have the same weight q/2. Let b0b1bk1be the binary representation of the integer t. Define the order sets of GBFs Ctto be


and the order set of GBFs C˜tto be


where xγis one of the end vertices in the path. Then


generates a set of CCC, where ψdenotes the complex conjugate of ψ.

3. Construction of IGC code set from GBFs

In this section, we propose a direct construction of IGC code set by using Boolean algebra and graph theory. Before proposing the main theorem of the construction, we define some sets and vectors and present some lemmas. First we define some notations which will be used throughout in our construction:

  • x=xj0xj1xjk1Z2k,x=xmp'xmp+1xm1Z2p.

  • b=b0b1bk1, bi=bi,0bi,1bi,k1Z2ki=122k.

  • d=d0d1dk1Z2k,d=d1d2dpand dj=dj,1dj,2dj,pZ2pj=122p.

  • Γ=gmpJgmp+1''gm1Zqp.

  • a ·bdenotes the dot products of any two vectors a and bwhich are of the same length.

  • ABdenotes the Kronecker product of any two matrices of arbitrary size.

  • i,j,i=0,1,,M1and j=1,2,,Ndenotes a matrix of order M×N.

Let fbe a GBFof mvariables x0,x1,,xm1over Zq. For bZ2k,dZ2p, we define order sets Sbdand S˜bdcorresponding to the GBF fas follows:






From the above expression, it is clear that each of the order sets Sbdand S˜bdcontains 2k+1GBFs.

Lemma 2 Let fbe a GBF of mvariables with the property that each c01k, G(fx=c)contains a path over mkp0k<mp0vertices and pisolated vertices labeled mp,mp+1,,m1such that 0k+pm2m2. Further, assume that there was no edges between deleted vertices (as defined before, the restricted variables in a GBF are considered as the vertices to be deleted in the graph of the Boolean function) and isolated vertices before the deletion. Let xγbe one of the end vertices of the path in Gfx=cand the weight of each edge in the path be q/2. Let a1, a2,,a2mpbe binary vector representations of 0,1,2mp1of length mpand r1,r2,,r2pbe binary vector representations of 0, 1, 2p1of length p. Also let lbe a positive integer such that l=Σi=0k1di2j+d2k. Then for any choice of g,gjZq, the codes ψ(Sbd) and ψS˜bdcan be expressed as




Proof 1 Since there are no edges between the deleted and isolated vertices before the deletion of kvertices xj0,xj1,,xjk1, the quadratic form Qpresented in Gfcan be expressed as


where πis a permutation over the set 01m1j0j1jk1mpmp+1m1,bjμ,jvZqwhich denotes the weight between the vertices xjμand xjvand cπα,jσZqdenotes the weight between the vertices xπαand x. Therefore, fis a GBF of mpvariables x0,x1,,xmp1, and the GBF fof mvariables can be expressed as.




Now we define a GBF Flbover mvariables by


Let a1,a2,,a2mbe binary vector representations of 0,1,2m1of length m, given in Table 1 . The truth table given in Table 1 can also be expressed as the truth table given in Table 2 . Table 3 contains a truth table over mpvariables.


Table 1.

Truth table over mvariables.


Table 2.

Truth table over mvariables.


Table 3.

Truth table over mpvariables.

From Tables 1 3 , it is observed that the code ψSbdcan be expressed as






Similarly, we can show that


Example 1 Let fbe a GBF of four variables over Z4, given by


From the Gf, given in Figure 1 , it is clear that after the deletion of the vertex x0, the resultant graph contains a path over the vertices x1,x2and an isolated vertex x3. For this example k=1and p=1. Therefore, the vectors b,d,d,x,Γand xare of length one and belong to Z2.

Figure 1.

The graph of the GBF 2x1x2 + 3x0(x1 + x2) + x0 + x2 + x3 + 1.

Hence, b=bj0=b0=b0,d=d0=d0,d=d1=d1, x=xj0=x0=x0, Γ=gmp=g0=1, and x=xmp=x3=x3. The set of Boolean functions Sb0d1and S˜b0d1are given below:




The GBFs Fb0land Fb0lare given by




where l=0,1,2,3.

The codes corresponding to the sets of Boolean functions are listed below:










Theorem 1 Let fbe a GBF over mvariables as defined in Lemma 1 and Lemma 2. Suppose I0,I1,,I2k+11are a list of 2k+1code groups defined by




which forms an IGCcode set I2k+p+12k+12m2mp.

Proof 2 Let ψSbd1and ψSbd2be any two codes from a code group It. Then the ACCF of ψSbd1and ψSbd2at the time shift η2mp+τ(where 0η<2p,ηZ,0τ<2mp,τZ) is


For d1=d2=d, the ACCF given in Eq. (38) reduced to AACFas follows:


For d1d2, the ACCF given in Eq. (38) can be expressed as


The terms in Eqs. (39) and (40) are derived from the autocorrelation properties of the CCψCt. It is also observed that the codes from the same code group Ithave ideal auto- and cross-correlation properties inside the ZCZwidth 2mp. Similarly, we can show that


and for d1d2,


From Eqs. (41) and (42), we get that the codes from the same code group I2k+thave ideal auto- and cross-correlation properties inside the ZCZwidth 2mp.

Now we show that the ACCFs between any two codes of any two different code groups It1and It20t1t2<2kare zeros everywhere. Let ψSb1d1It1,ψSb2d2It2where b1,b2are binary vector representations of t1,t2, and d1, d2are any two binary vectors in Z2p. Then


Similarly, we can also show that the ACCFs between any two codes of any two different code groups I2k+t1and I2k+t20t1t2<2kare zeros everywhere, i.e.,


The results in Eqs. (43) and (44) are obtained by using the ideal cross-correlation properties of CCCs. To complete the proof, now we only need to show that the ACCFs of any code from Ituand I2k+tvuvZ1uv2kare zeros everywhere. In this case, tuand tvare any two integers in 02kand may or may not be equal. Let ψ(Sbud1'Itu,ψS˜bvd2'I2k+tvwhere bu,bvare binary vector representations of tu,tv, respectively. Then


The above result is also obtained by using the ideal cross-correlation properties of CCCs. From Eqs. (39)-(45), we observed that the AACFsand ACCFs of the codes of the same group are zeros inside the ZCZwidth 2mpand the ACCFs of the codes from different code groups are zeros everywhere. Hence, wecan conclude that I0,I1,,I2k+11form an IGCcode set I2k+p+12k+12m2mp.

Example 2 Let fbe a GBFof four variables as given in Example 1. Then the obtained IGCcode set I8,4,16,8corresponding to the GBF fis given below:

Code group 1:


Code group 2:


Code group 3:


Code group 4:


The correlation properties of I(8, 4, 16, 8) are described in Figure 2 where Figure 2a presents the absolute value of AACF sum of each code in I8,4,16,8, Figure 2b shows absolute value of ACCF sum between any two distinct codes from the same code group, and Figure 2c presents the absolute value of ACCF sum between any two distinct codes from different code groups.

Figure 2.

Correlation plots of I 8,4,16,8 .

4. Summary

In this chapter, we have presented a direct construction of IGC code set by using second-order GBFs. The AACF sidelobes of the codes of constructed IGC code set are zeros within ZCZ width, and the ACCFs of any two different codes of the same code group are zeros inside the ZCZ width, whereas the ACCFs of any two different codes from two different code groups are zeros everywhere. We have shown that there is a relation between our proposed construction and graph. The ZCZ width of the proposed IGC code set depends on the number of isolated vertices present in a graph after the deletion of some vertices. We also have shown that the ZCZ width of the proposed IGC code set by our construction is flexible and it can extend their applications. It is observed that most of the constructions given in literature are based on CCCs, whereas our construction can produce IGC code set directly.

How to cite and reference

Link to this chapter Copy to clipboard

Cite this chapter Copy to clipboard

Palash Sarkar and Sudhan Majhi (July 10th 2019). A Direct Construction of Intergroup Complementary Code Set for CDMA, Coding Theory, Sudhakar Radhakrishnan and Muhammad Sarfraz, IntechOpen, DOI: 10.5772/intechopen.86751. Available from:

chapter statistics

132total chapter downloads

More statistics for editors and authors

Login to your personal dashboard for more detailed statistics on your publications.

Access personal reporting

Related Content

This Book

Next chapter

Z2Z2[u]-Linear and Z2Z2[u]-Cyclic Codes

By Ismail Aydogdu

Related Book

First chapter

Scalable Video Coding

By Z. Shahid, M. Chaumont and W. Puech

We are IntechOpen, the world's leading publisher of Open Access books. Built by scientists, for scientists. Our readership spans scientists, professors, researchers, librarians, and students, as well as business professionals. We share our knowledge and peer-reveiwed research papers with libraries, scientific and engineering societies, and also work with corporate R&D departments and government entities.

More About Us