This document presents a new systematic construction of zero correlation zone (ZCZ) sequences based on interleaved perfect sequences. It begins with background on perfect sequences, ZCZ sequences, and the relationship between interleaved sequences and their associated shift sequences. It then describes a four-step procedure to construct ZCZ sequence sets from a perfect sequence and orthogonal matrix by generating an appropriate shift sequence. Two theorems establish the auto- and cross-correlation properties of the resulting sequences. Three classes of almost optimal shift sequences are deduced from prior works. A new general construction of shift sequences is presented and proven to generate almost optimal ZCZ sequence sets for any sequence lengths.
2. 5730 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 54, NO. 12, DECEMBER 2008
and produce new almost optimal ZCZ sequence sets for all other
choices of and .
In what follows, the essential notation and background will
be introduced in Section II. Section III proposes our system-
atic construction of ZCZ sequence sets from interleaved perfect
sequences and deduces three classes of shift sequences from
known constructions of almost optimal ZCZ sequence sets in
[10], [11]. Our new general construction of shift sequences are
presented in Section IV and are classified in Section V. Finally,
Section VI contains the conclusion.
II. NOTATION AND BACKGROUND
Given two length- complex sequences
and , the pe-
riodic cross-correlation between and is defined by
where the subscript addition is performed modulo and
* denotes the complex conjugation.
Definition 1: A sequence is said to
be a perfect sequence if for .
Definition 2: Let be a set of complex sequences of
length . Its zero correlation zone width is defined as
Moreover, is said to be an -ZCZ sequence set.
Lemma 1: (Tang–Fan-Matsufuji bound [4]) For any
-ZCZ sequence set, we have
(1)
Definition 3: An -ZCZ sequence set is said to be
optimal if , and almost optimal if .
Note that this definition of optimality is in a much stronger
sense than that of requiring the ratio to approach
one asymptotically, and any almost optimal ZCZ sequence set
can achieve for large enough
. Note also that, by definition, any optimal ZCZ sequence set
is almost optimal.
Following closely the notation in [16], we now introduce the
representation of an interleaved sequence and its associated shift
sequence. Let be a complex sequence
of length and let be an -ary sequence
of length defined over . Let be the
left cyclic shift operator such that denotes the -element
left cyclically shifted version of . An matrix can be
obtained by defining its th column as for
, i.e.
By concatenating the rows of matrix , one generates an inter-
leaved sequence of length . Mathematically,
(2)
where denotes the interleaving operator, and and are called
the component and shift sequences of , respectively.
Let us consider a left cyclically shifted version of defined as
. It was
shown in [16] that is just another interleaved sequence with
the same component sequence but a different shift sequence
. Namely, we have
with
if
if
(3)
Since two distinct shift sequences and may result in two
equivalent interleaved sequences and which are cyclically
shifted versions of each other, it is necessary to introduce the
corresponding notion of equivalence for two shift sequences.
Definition 4: Two shift sequences and
with are equivalent if there exist inte-
gers and with and such that
and satisfy (3).
Let denote another interleaved sequence with the compo-
nent sequence and the shift sequence
. Then the cross-correlation function at
shift between the
interleaved sequences and is given by
(4)
Finally, let us define a new operation. Let
be an matrix. Also let be an
matrix and be the th row of . Then is defined
as the set of matrices , where
and is the th column of for . Further,
if is orthogonal, is referred to as the orthogonality-
preserving transformation of by .
III. SYSTEMATIC CONSTRUCTION OF ZCZ SEQUENCE SETS
AND ALMOST OPTIMAL SHIFT SEQUENCES
Given a perfect sequence of length and an or-
thogonal matrix , our systematic procedure for constructing
ZCZ sequence sets consists of four steps, as follows.
Step 1: Generate an appropriate shift sequence of length .
3. TANG AND MOW: NEW SYSTEMATIC CONSTRUCTION OF ZERO CORRELATION ZONE SEQUENCES 5731
Step 2: From the perfect sequence and the shift sequence
, generate
(5)
Step 3: Form the set of matrices
by performing orthogonality-preserving transfor-
mation on .
Step 4: Concatenate the successive rows of ,
to produce the th interleaved se-
quence , resulting in the ZCZ sequence set
.
In the following, we state two theorems concerning the auto-
and cross-correlation properties of the sequences generated
by the above procedure. Their proofs are not difficult and are
omitted due to limitation of space.
Theorem 1: Suppose that is a perfect sequence of length
and is the interleaved sequence given by (2). Let be
the maximal nonnegative integer such that the shift sequence
satisfies the condition:
if
if
(6)
for any positive integer with
. Then is an -ZCZ sequence.
Theorem 2: Let be a perfect sequence of length and
be an orthogonal matrix. The sequence set produced
by the above procedure is an -ZCZ sequence set if
the shift sequence generated in Step 1 satisfies the condition
(6).
It is clear from Theorem 2 that the key to construct good ZCZ
sequence sets (with ) is to find appropriate shift
sequence that satisfies the condition (6) with as close to the
maximum value as possible. Parallel to the notions of op-
timal and almost optimal ZCZ sequence sets stated in Definition
3, we define the counterparts for shift sequences as follows.
Definition 5: The shift sequence is said to be almost optimal
(optimal) if it satisfies (6) with .
Next, we deduce three classes of almost optimal shift se-
quences from the almost optimal ZCZ sequence sets introduced
in [10] and [11], respectively. Note that the shift sequences in
case 1 of Theorem 3 is actually optimal.
Theorem 3: Let be the ZCZ sequence set generated by the
procedure in this section.
1) For , by setting is
an -ZCZ sequence set, where denotes
the multiplicative inverse of modulo .
2) For , by setting is an
-ZCZ sequence set.
3) For , by setting is an
-ZCZ sequence set.
The Proof of Theorem 3 follows from a detailed verification
of the condition (6) for each of the three cases.
Finally, we end this section with some remarks on the corre-
spondences between Theorem 3 and the constructions in [10],
[11], which are not at all obvious. The case 1) of Theorem 3 are
equivalent to Matsufuji et al.’s construction in [10], and the con-
structed ZCZ sequence set is actually optimal. The cases 2) and
3) of Theorem 3 are equivalent to Theorems 1 and 2 of Torii et
al. in [11], respectively, and both classes of ZCZ sequence sets
are almost optimal.
IV. NEW SYSTEMATIC CONSTRUCTION OF ALMOST OPTIMAL
SHIFT SEQUENCES
Let and be two nonnegative integers such that
with . Clearly, we have , where
denotes the largest integer no larger than , and for
and , otherwise. For given and , define
otherwise.
(7)
It is easy to see that as follows. Obviously,
for . When , we have =1 and
hence ; When , we have which leads to
.
Further, Let and . Define a function
with for
and . Then forms
a monotonic increasing sequence, which is shown in (8) at the
bottom of the page. Let . For ,
the subsequence
in the th row of (8) after computed modulo
enumerates all the elements of the set . Consequently,
the sequence (8) computed modulo enumerates the elements
of .
Base on , we introduce
. Then, is a permutation of the elements of ,
and its inverse is denoted by , i.e.,
for and . Now it is ready to define our
new almost optimal shift sequence as
(9)
Example 1: Six examples of almost optimal shift sequences
generated by (9) for various combinations of and are given
in Table I. Note that sequences 1 and 4 are optimal.
...
(8)
4. 5732 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 54, NO. 12, DECEMBER 2008
TABLE I
EXAMPLES OF ALMOST OPTIMAL SHIFT SEQUENCES
The next theorem presents a closed-form expression of the
shift sequences generated from (9).
Theorem 4: Given two integers and , let
and , where is defined in (7). Further let
denote the shift sequence produced
by (9). For and
, we have
or and
otherwise
(10)
where as defined in the beginning of this
section.
Proof: Applied to (9). Clearly if
or ( and . Otherwise
(11)
otherwise
(12)
since .
Let . Then the theorem follows from the
fact that , where the
second equality holds because .
To prove that the constructed shift sequences are indeed al-
most optimal, we need the following lemma which characterizes
the difference between any two distinct elements of the shift se-
quence.
Lemma 2: Suppose and are two distinct elements of the
sequence obtained from (9), for . Then
1) either or if .
2) . Furthermore,
(2.1) or only if , and
(2.2) or only if
, or ,
where is an integer satisfying .
Proof: Let and
, and or . Without
loss of generality, assume that which implies
or ( and ).
Notice that unless ,
which leads to item (1). It can then be deduced from (11) and
the definition of that
if and
otherwise
(13)
and
(14)
where
By (10), because . On the
other hand, if and , then
by (12). Otherwise,
from (13).
Based on the above, it is proved that .
In what follows, we derive the necessary conditions for four
specific cases, i.e., or .
Our discussion will be based on (8), (13), (14) and their analyses
presented.
1. .
It is impossible that and otherwise
. Then from
, we have and . Then
for .
2. .
I. When is the minimal value and
.
i) If , then and
.
ii) If , then from ,
and from , where
, and .
II. When or follows from
.
i) If , it is manifest that
and . That is .
ii) If , then or
, where .
3. .
Obviously and , otherwise
. Hence, or from
. Same as the Case 2-II,
we have
I. If , then and ,
i.e., and .
II. If , then or
where .
5. TANG AND MOW: NEW SYSTEMATIC CONSTRUCTION OF ZERO CORRELATION ZONE SEQUENCES 5733
4. .
It follows that and , which occurs
only for .
Summarizing the results in all cases, we complete the proof
of item (2).
Theorem 5: The shift sequence obtained from (9) is almost
optimal. In particular, it is optimal for .
Proof: It suffices to consider and in condition (6)
in the slightly larger range (i.e.,
but not ) for two cases.
Case 1: .
If , then or
because . Note that ; otherwise,
it implies that and contradicts the assumption
. By Lemma 2 item (2), we have
which together with indicates that and
or . It then follows from Lemma 2 item
(2.1) that .
Case 2: .
If , then
or . Since and
, we have or . Then equals
or for , or equals
or for . By Lemma 2 items (2.1) & (2.2), we
obtain , or , for . If
, then or from Lemma
2 item (1), which results in one of the two cases below:
1) or , and ;
2) or , and .
However, they contradicts all the corresponding Cases 1, 2-II-i,
3-I, and 4 in the proof of Lemma 2. To summarize, we have
and which follows from the fact that
or with .
Concluding from the above, the shift sequence obtained
from (9) satisfies the condition (6) for all
with and . In other words, for
the constructed shift sequences,
otherwise
where the last equality comes from the definition of in (7)
and the fact that . This completes the Proof of
Theorem 5.
Note that almost optimal ZCZ sequence sets can be obtained
by applying Theorem 2 to almost optimal shift sequences.
Note also that (9) can generate almost optimal shift sequences
for any two positive integers and . In particular, for
, the generated almost optimal
shift sequences and -ZCZ sequence sets are
new (cf. Theorems 3).
V. CLASSIFICATION OF ALMOST OPTIMAL SHIFT SEQUENCES
In the previous section, a general class of almost optimal shift
sequences have been introduced. Our computer search results
suggest that many more almost optimal shift sequences satis-
fying condition (6) can be found. In this section, we catego-
rize these shift sequences into four classes and discuss their
uniqueness.
Class 1: For , there are many almost optimal
shift sequences but there seems to be only one optimal shift
sequence , which
is given in Case 1 of Theorem 3 and corresponds to the optimal
ZCZ sequences of Matsufuji et al. in [10].
Since and , we have
and . In this case,
and . By substituting
and ,
we obtain for
which coincides with (10). Therefore, the optimal shift sequence
obtained from (9) is the same as
.
Class 2: For , up to the cyclically shift equivalence (cf.
Definition 4), there appears to be one almost optimal shift se-
quence , which is given in Case 2 of Theorem
3 and corresponds to one construction of almost optimal ZCZ
sequence sets of Torii et al. in [11].
Let be the almost optimal shift
sequence obtained from (9). From (10), the expression of is
and . It can
be seen that the almost optimal shift sequence obtained from
(9) is equivalent to
with respect to Definition 4 for and .
Class 3: For , there are many almost optimal shift se-
quences. One class of almost optimal shift sequence sets
is given in Case 3 of The-
orem 3, which corresponds to another construction of almost
optimal ZCZ sequence sets of Torii et al. in [11]. In the fol-
lowing, we prove that the almost optimal shift sequence
obtained from (9) is new and the two classes
of shift sequences are inequivalent for .
Suppose that there are two integers and
satisfying (3). Immediately, we have , and
if or
if . Because
, . Thus
if , or if . Then
has to be since or from (12), which implies
. The condition (3) results in the following one-to-one
correspondence between the elements of the two sequences:
However, as or . Thus
there does not exist satisfying (3) and
it can be concluded that the two shift sequences are inequivalent
with respect to Definition 4.
6. 5734 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 54, NO. 12, DECEMBER 2008
Example 2: Let and . We obtain two in-
equivalent shift sequences and
.
Class 4: For , there are many
almost optimal shift sequences and (9) only produces one of
them.
Example 3: For and
and are
two inequivalent almost optimal shift sequences, where is
generated from (9).
VI. CONCLUSION
We introduced a systematic construction of almost optimal
ZCZ sequence sets of size and length based on inter-
leaving properly shifted versions of a length- perfect se-
quence according to a shift sequence as well as an or-
thogonal matrix. This reduces the problem of constructing al-
most optimal ZCZ sequence sets to that of constructing almost
optimal shift sequences. A general construction of almost op-
timal shift sequences for all positive integers and have
been derived. It is also proved that the constructed almost op-
timal -ary shift sequences of length are new for and
for . In particular, our results lead
to almost optimal ZCZ sequence sets with
which have not been reported before, to the best of
our knowledge. Finally, it is noteworthy that the alphabet size
of the new ZCZ sequences depends on those of the perfect se-
quence and the orthogonal matrix used.
ACKNOWLEDGMENT
The authors wish to thank the referees for their helpful com-
ments.
REFERENCES
[1] C. C. Tseng and C. L. Liu, “Complementary sets of sequences,” IEEE
Trans. Inf. Theory, vol. IT-18, no. 5, pp. 644–652, Sept. 1972.
[2] N. Suehiro, “A signal design without co-channel interference for
approximately synchronized CDMA systems,” IEEE J. Sel. Areas
Commun., vol. 12, no. 5, pp. 837–841, 1994.
[3] P. Z. Fan, “Spreading sequence design and theoretical limits for
quasisynchronous CDMA systems,” EURASIP J. Wireless Commun.
Netw., vol. 2004, no. 1, pp. 19–31, 2004.
[4] X. H. Tang, P. Z. Fan, and S. Matsufuji, “Lower bounds on the max-
imum correlation of sequence set with low or zero correlation zone,”
Electron. Lett., vol. 36, pp. 551–552, Mar. 2000.
[5] P. Z. Fan, N. Suehiro, N. Kuroyanagi, and X. M. Deng, “Class of binary
sequences with zero correlation zone,” Electron. Lett., vol. 35, no. 10,
pp. 777–779, 1999.
[6] X. M. Deng and P. Z. Fan, “Spreading sequence sets with zero corre-
lation zone,” Electron. Lett., vol. 36, no. 11, pp. 993–994, 2000.
[7] J. S. Cha, S. Kameda, M. Yokoyama, H. Nakase, K. Masu, and K. Tsub-
ouchi, “New binary sequences with zero-correlation duration for ap-
proximately synchronised CDMA,” Electron. Lett., vol. 36, no. 11, pp.
991–993, 2000.
[8] X. H. Tang and W. H. Mow, “Spreading codes for quasi-synchronous
CDMA with intercell interference,” IEEE J. Sel. Areas Commun., vol.
24, no. 1, pp. 84–93, Jan. 2006.
[9] R. Appuswamy and A. K. Chaturvedi, “A new framework for
constructing mutually orthogonal complementary sets and ZCZ se-
quences,” IEEE Trans. Inf. Theory, vol. 52, no. 8, pp. 3817–3826,
Aug. 2006.
[10] S. Matsufuji, N. Kuroyanagi, N. Suehiro, and P. Z. Fan, “Two types
of polyphase sequence sets for approximately synchronized CDMA
systems,” IEICE Trans. Fundamentals, vol. E86-A, no. 1, pp. 229–234,
2003.
[11] H. Torii, M. Nakamura, and N. Suehiro, “A new class of zero-corre-
lation zone sequences,” IEEE Trans. Inf. Theory, vol. 50, no. 3, pp.
559–565, 2004.
[12] H. Torii and M. Nakamura, “Enhancement of ZCZ sequence set con-
struction procedure,” IEICE Trans. Fundamentals, vol. E90-A, no. 2,
pp. 535–538, Feb. 2007.
[13] T. Hayashi, “Zero-correlation zone sequence set constructed from a
perfect sequence,” IEICE Trans. Fundamentals, vol. E90-A, no. 5, pp.
1107–1111, May 2007.
[14] W. H. Mow, Sequence Design for Spread Spectrum. Hong Kong,
China: The Chinese Univeristy Press, Oct. 1995, p. 110, ISBN 962-
201-710-X.
[15] H. D. Lüke, H. D. Schotten, and H. Hadinejad-Mahram, “Binary and
quadriphase sequences with optimal autocorrelation properties: A
survey,” IEEE Trans. Inf. Theory, vol. 49, no. 12, pp. 3271–3282, 2003.
[16] G. Gong, “New designs for signal sets with low cross correlation, bal-
ance property, and large linear span: GF(p) case,” IEEE Trans. Inf.
Theory, vol. 48, no. 11, pp. 2847–2867, 2002.