IEEE TRANSACTIONS ON COMMUNICATIONS, VOL. 59, NO. 4, APRIL 2011
1123
New Bounds and Optimal Binary Signature SetsβPart I: Periodic Total Squared Correlation Harish Ganapathy, Student Member, IEEE, Dimitris A. Pados, Member, IEEE, and George N. Karystinos, Member, IEEE
AbstractβWe derive new bounds on the periodic (cyclic) total squared correlation (PTSC) of binary antipodal signature sets for any number of signatures K and any signature length L. Optimal designs that achieve the new bounds are then developed for several (πΎ, πΏ) cases. As an example, it is seen that complete (πΎ = πΏ + 2) Gold sets are PTSC optimal, but not, necessarily, Gold subsets of πΎ < πΏ + 2 signatures. In contrast, arguably against common expectation, the widely used Kasami sets are not PTSC optimal in general. The optimal sets provided herein are in this sense better suited for asynchronous and/or multipath code-division multiplexing applications. Index TermsβBinary sequences, code-division multiple access (CDMA), cyclic correlation, Gold sequences, Karystinos-Pados bounds, Kasami sequences, periodic correlation, signature design, total squared correlation, Welch bound.
I. I NTRODUCTION N code-division multiplexing applications, for example direct-sequence code-division multiple-access (DS-CDMA) cellular communication systems, each of the K participating signals/users is equipped with a unique identifying signature vector sπ β βπΏ , β£β£sπ β£β£ = 1, π = 1, 2, . . . , πΎ. All signatures put together in the form of a matrix define what we call the signature matrix (or signature set)
I
β³
S = [s1 s2 . . . sπΎ ] β βπΏΓπΎ .
(1)
In synchronous code-division multiplexing transmissions over well-behaved Nyquist channels, we are interested in using a signature set with the smallest possible total squared correlation (TSC) value [1]-[12] β³
TSC(S) =
πΎ β πΎ β π» 2 sπ sπ
(2)
π=1 π=1
Paper approved by G. E. Corazza, the Editor for Spread Spectrum of the IEEE Communications Society. Manuscript received July 23, 2009; revised August 1, 2010. This work was supported in part by the National Science Foundation under Grant CCF-0219903, and the U.S. Air Force Office of Scientific Research under Grant FA9550-04-1-0256. Material in this paper was presented at the IEEE Military Communications Conference (MILCOM), Atlantic City, NJ, October 2005. H. Ganapathy was with the Department of Electrical Engineering, State University of New York at Buffalo, Buffalo, NY 14260 USA. He is now with the Department of Electrical and Computer Engineering, The University of Texas, Austin, TX 78712 USA (e-mail:
[email protected]). D. A. Pados is with the Department of Electrical Engineering, State University of New York at Buffalo, Buffalo, NY 14260 USA (e-mail:
[email protected]). G. N. Karystinos is with the Department of Electronic and Computer Engineering, Technical University of Crete, Chania, 73100 Greece (e-mail:
[email protected]). Digital Object Identifier 10.1109/TCOMM.2011.020411.090404
where H denotes the Hermitian operator. For complex/realvalued signature sets S β βπΏΓπΎ or βπΏΓπΎ , if πΎ β₯ πΏ, 2 TSC(S) β₯ πΎπΏ [2]; of course, TSC(S) β₯ πΎ if πΎ < πΏ. Over2 loaded (πΎ β₯ πΏ) sets with TSC equal to πΎπΏ have been known as Welch-bound-equality (WBE) sets. Algorithms and studies for the design of complex or real WBE signature sets can be found in [3]-[12]. In digital transmission systems, however, it is necessary to have finite-alphabet signature sets. Recently, new bounds were derived on the TSC of binary antipodal signature sets together with optimal designs for almost all1 signature lengths and set sizes [13]-[15]. The sum capacity, total asymptotic efficiency, and maximum squared correlation of minimum-TSC optimal binary sets were evaluated in [16]. The sum capacity of several other signature set designs under potentially a binary or quaternary alphabet was examined in [17]. In this present paper, all developments that follow πΏΓπΎ . refer to binary antipodal signature sets in {Β±1} When asynchronous code-division multiplexing is attempted and/or the channel exhibits multipath behavior, apart from the total squared correlation between signatures we are also concerned about the individual periodic (cyclic) autocorrelation and the periodic (cyclic) cross-correlation values [18]. For notational simplicity, let sππβ£π (T is the transpose operator) denote the cyclic right-shifted version of sππ β 1ΓπΏ {Β±1} , π = 1, 2, . . . , πΎ, by π bit positions, π = 0, 1, 2, . . . (hence, sπβ£0 = sπβ£πΏ = . . . = sπ ). First, we define the πΏΓπΎπΏ cyclic extension matrix Sc β {Β±1} of the signature set πΏΓπΎ S β {Β±1} β³ [ Sc = s1β£0 s2β£0 . . . sπΎβ£0 s1β£1 s2β£1 . .]. sπΎβ£1 . . . (3) . . . s1β£πΏβ1 s2β£πΏβ1 . . . sπΎβ£πΏβ1 . Then, we define the periodic total squared correlation (PTSC) of the signature set S as the TSC of Sc , β³
PTSC(S) = TSC(Sc ),
(4)
and calculate PTSC(S) explicitly in (5). A detailed derivation of (5) is provided in the Appendix. The first two terms of the PTSC expressions in (5) (for L odd or L even) contain all periodic auto-correlation contributions. The third, triple summation term contains all periodic cross-correlation contributions. Minimizing PTSC2 1 The case πΎ = πΏ β‘ 1 (mod 4) remains open. Ding, Golin, and Klπve [14] showed that the Karystinos-Pados TSC bound [13] is tight for πΎ = πΏ = 5 or 13, but not for πΎ = πΏ = 9. What happens when πΎ = πΏ = 17, 21, . . . is still unknown. 2 The PTSC metric has been referred to as mean periodic correlation in the past [19].
c 2011 IEEE 0090-6778/11$25.00 β
1124
IEEE TRANSACTIONS ON COMMUNICATIONS, VOL. 59, NO. 4, APRIL 2011
β§ π 2 2 β β πΏβ1 βπΏβ1 π  2 + 2πΏ βπΎ βπΎ β¨ πΎπΏ3 + 2πΏ πΎ π=1[ π=1 sπ sπβ£π π=1 π=1,π 0 . Case 1: πΎ = 2, πΏ β β³G Set S to be a Golay set of size (2, πΏ) [30], [31]. Then, πΎπΏ β‘ 0 (mod 4), the Golay sets are PCS, therefore, PTSCoptimal. β‘ Another simple case of four-user (πΎ = 4) PTSC-optimal sets can come from R. J. Turynβs [31] βbase sequencesβ b1 , b2 β {Β±1}π+1 , b3 , b4 β {Β±1}π that have been found/tabulated for π β€ 32 [32], [33] and can be used to construct directly βaperiodic complementary quadruplesβ for all lengths in β { } βͺ β² β³ 2 π π : π β β³T where (16) β³T =
Below, we develop two more involved design procedures with proofs of optimality included in the Appendix.
Case 4: πΎ = 2 or πΎ β‘ 0 (mod 4), πΏ β‘ 0 (mod 2), πΎ β₯ πΏ2 Calculate π = πΏ β πΎ. Obtain a Hadamard matrix HπΎ and create the initial template matrix ΞπΏΓπΎ = [HπΎ h1 h2 . . . hπ ]π . Define the diagonal correction matrix
(18)
6
β§ β‘β‘ β€π β‘ β€π β€β« β¨ β¬ β¦ β£1 β 1 1 β 1 . . . 1 β 1β¦ β¦ . C=diag Vec β£β£1 1 . . . 1
β© β πΎ
π
(19)
Calculate the PTSC-optimal set S by Sπ = Ξπ C. Proof of optimality of S is included in the Appendix.
(20) β‘
A small but arguably worth mentioning side result from Case 3a is the design of a PTSC-optimal set of size π (πΎ = 3, πΏ = 4). The length-four signature [β1 1 1 1] is single-user PTSC-optimal (cf. (13)). A three-user, length-four PTSC-optimal set is produced below. Case 5: πΎ = {1, 3}, πΏ = 4 β² Obtain the signature set SπΏΓ(πΎβ1) from Case 3a and form the set ] [ β² π (21) SπΏΓπΎ = S [β1 1 1 1] . By (13), the set is PTSC-optimal.
β‘
In some of our PTSC-optimal set designs that follow we utilize specific well-known types of individual seβ³T = {(2π + 1) : π β {1, 2, 3, . . . , 32} βͺ β³G } quences, namely Cyclic Hadamard, Barker [34], Lempelβͺ {(2π + 1)(2π + 1) : π, π β {1, 2, 3, . . . , 32} βͺ β³G , π β= π} Cohn-Eastman [35], and Ding-Helleseth-Martinsen [36] seβͺ {3π β 1 : π β {1, 2, 3, . . . , 24}}. (17) quences. Cyclic Hadamard sequences g β {Β±1}π of length π Case 2: πΎ = 4, πΏ β β³T 6 In our work, we identify and use such matrices to suitably modify the Set S to be an βaperiodic complementary quadrupleβ set of correlation structure of the initial template matrix in order to achieve the size (4, πΏ) [32], [33]. Then, πΎπΏ β‘ 0 (mod 4), the aperiodic PTSC bounds. β²
π=0
1126
IEEE TRANSACTIONS ON COMMUNICATIONS, VOL. 59, NO. 4, APRIL 2011
π β‘ 3 (mod 4) have ideal two-level periodic auto-correlation βhence, Cyclic Hadamard sequences are single-user PTSCoptimal,β π gπ gπ β£π =
{
π, β1,
π = 0, π β‘ 3 (mod 4), π = 1, 2, . . . , π β 1, (22)
and have been used in the past to construct Cyclic Hadamard matrices [37]-[39]. In particular, if β³
β³CH = {π : (i) π prime congruent to 3 (mod 4) or (ii) π congruent to 3 (mod 4) and product of π
βtwin primesβ π and π + 2 or (iii) π = 2 β 1, = 2, 3, . . . } , (23) then there exists at least one systematic method [37]-[39] (reproduced in the Appendix) to construct a Cyclic Hadamard sequence gπ when π β β³CH . We also utilize Barker sequences (which are single-user PTSC-optimal with the same correlation spectrum as in (22)) of length five and length π thirteen, specifically, gπ β {Β±1} , π β β³B with β³
β³B = {5, 13}.
(24)
All known Barker sequences are tabulated in [40]. Finally, we π use Lempel-Cohn-Eastman (LCE) sequences gπ β {Β±1} of lengths π β β³LCE where β³
β³LCE = {π : π β‘ 2 (mod 4), π = ππ β 1 where π is an odd prime and π = 1, 2, . . .} (25) and Ding-Helleseth-Martinsen (DHM) sequences gπ π {Β±1} of lengths π β β³DHM where β³
β³DHM = {π : π = 2π, π β‘ 5 (mod 8)}.
ββ β β β Case 7a: πΎ β‘ 1 (mod 8) and 8 84πΏ + 1 β€ πΎ < 4 πΏ8 , πΏ β β³LCE βͺ β³DHM β β 7b: πΎ β‘ 1 (mod 4) and πΎ β₯ 4 πΏ8 + 1, πΏ β β³LCE βͺ β³DHM β² For Case 7a, obtain the signature set SπΏΓ(πΎβ1) from Case 3b. β² For Case 7b, obtain the signature set SπΏΓ(πΎβ1) from Case 4. Then, form the PTSC-optimal set (cf. (13)) ] [ β² SπΏΓπΎ = S gπΏβ£π1 (29) where shift π1 β {0, 1, . . . , πΏ β 1} is selected such that the first πΎ 2 or πΎ elements of vector gπΏβ£π1 , for Case 7a and 7b, respectively, contain an unequal number of ones and minus ones. β‘ ββ β Case 8: πΎ β‘ 1 (mod 8), πΎ β₯ 8 84πΏ + 1, πΏ β β³CH βͺ β³B β² Obtain the signature set SπΏΓ(πΎβ1) from Case 3b and form the PTSC-optimal set (cf. (13)) ] [ β² SπΏΓπΎ = S gπΏβ£π1 (30) where shift π1 β {0, 1, . . . , πΏ β 1} is selected such that the first πΎ 2 elements of vector gπΏβ£π1 contain an unequal number of ones and minus ones. β‘ Case 9: πΎ = πΏ, πΏ β β³CH βͺ β³B Set π = πΎ + 1, obtain a Hadamard matrix Hπ and remove β² its first row and column. Call the resulting size-K matrix Hπ . βCorrectβ with the diagonal matrix C = diag {gπΏ }
β to obtain the set
β²
Sπ = Hπ C.
(26)
Both LCE and DHM sequences are single-user PTSC-optimal with periodic auto-correlation { π, π = 0, π gπ gπβ£π = (27) Β±2, π = 1, 2, . . . , π β 1, where π β β³LCE βͺ β³DHM . Construction procedures for LCE and DHM sequences can be found in [41]. We continue with the presentation of the design cases. ββ β Case 6: πΎ β‘ 2 (mod 8) and πΎ β₯ 8 84πΏ + 2, πΏ β β³CH βͺ β³B
By (13), the set is PTSC-optimal.
(31) (32) β‘
Case 10: πΎ β {πΏ β 4, πΏ β 2} , πΏ β β³CH βͺ β³B Design directly the PTSC-optimal set (cf. (13)) β€ β‘β‘ β€π β₯ β’ SπΏΓπΎ = β£β£1 1 . . . 1 β 1β¦ gπΏ gπΏβ£1 . . . gπΏβ£πΎβ2 β¦ . (33) πΏβ1
β‘ Next, we proceed with the presentation of our optimal designs for overloaded systems.
β²
Obtain the signature set SπΏΓ(πΎβ2) from Case 3b and form the set ] [ β² (28) SπΏΓπΎ = S gπΏβ£π1 gπΏβ£π2 where shifts π1 , π2 β {0, 1, . . . , πΏ β 1}, π1 β= π2 , are selected such that the first πΎ 2 elements of vectors gπΏβ£π1 and gπΏβ£π2 contain an unequal number of ones and minus ones. By (13), the set is PTSC-optimal. β‘
B. Overloaded Systems (πΎ > πΏ) Case 1a: πΎ β‘ 0 (mod 2), πΏ β β³G 1b: πΎ β‘ 0 (mod 4), πΏ ββ β³G Calculate π = 4β πΎ 4 β, obtain a Hadamard matrix Hπ and keep only the first πΏ columns, h1 , h2 , . . . , hπΏ . Design the πΏΓ π set π (34) SπΏΓπ = [h1 h2 . . . hπΏ ] . For Case 1a, if πΎ β‘ 0 (mod 4), then S in (34) is an πΏ Γ πΎ PTSC-optimal signature set. If πΎ β‘ 2 (mod 4), β² design a PTSC-optimal set SπΏΓ(πΎβ2) as above and obtain
GANAPATHY et al.: NEW BOUNDS AND OPTIMAL BINARY SIGNATURE SETSβPART I: PERIODIC TOTAL SQUARED CORRELATION β²β²
SπΏΓ2 from Underloaded Case 1 or Case 3 (if πΏ β β³G β²β² or πΏ = 2π , π = 1, 2, . . . , respectively). Append SπΏΓ2 to β² S to form the πΏ Γ πΎ PTSC-optimal signature set ] [ πΏΓ(πΎβ2) β² β²β² S S . For Case 1b, S in (34) is directly an πΏ Γ πΎ PTSC-optimal signature set.7 Proof of PTSC optimality is given in the Appendix. β‘ Case 2: πΎ β‘ 2 (mod 4), πΏ β β³CH βͺ β³B Set π = πΎ β 2, obtain a Hadamard matrix Hπ and keep only β² the first πΏ columns. Call the resulting matrix Hπ . Then, ] [ β²π (35) SπΏΓπΎ = Hπ gπΏ gπΏβ£1 is PTSC-optimal. The proof is given in the Appendix.
β‘
Case 3: πΎ β‘ 1 (mod 4), πΏ β β³LCE βͺ β³DHM βͺ β³CH βͺ β³B Set π = πΎ β 1, obtain a Hadamard matrix Hπ and keep β² only the first πΏ columns. Call the resulting matrix Hπ . Then, ] [ β²π (36) SπΏΓπΎ = Hπ gπΏ β‘
is PTSC-optimal.
Case 4: πΎ β‘ 3 (mod 4), πΏ β β³LCE βͺ β³DHM βͺ β³CH βͺ β³B Set π = πΎ + 1, obtain a Hadamard matrix Hπ and remove the first row and π β πΏ columns. Call the resulting matrix β² Hπ . βCorrectβ with the diagonal matrix C = diag {gπΏ } β²
to {1, 2, . . . , 256} (at present, it does not appear of much practical interest to consider code-division applications outside this parameter range), we can calculate that Underloaded Cases 1 through 10 and Overloaded Cases 1 through 4 together represent 36.23% of all possible combination pairs 2 (πΎ, πΏ) β {1, 2, . . . , 256} . Certainly, tightness of the bounds and optimal PTSC designs under the remaining cases is an important open research problem. Direct comparison of our PTSC-optimal designs with the TSC bounds and optimal sets in [13]β[15], shows that Underloaded Case 3 when πΏ β‘ 0 (mod πΎ), Underloaded Cases 7, 11, and all Overloaded cases except Case 2 are doubly, both PTSC and TSC, optimal. Furthermore, we can now establish that the familiar Gold sets [44], which have been widely used for their periodic correlation properties [18], are PTSC-optimal when full-sized (complete). To that respect, we recall [18], [44] that complete Gold sets are defined for πΎ = πΏ + 2, πΏ = 2π β 1, π β₯ 3 and π ββ‘ 0 (mod 4), and for every π β= π, π, π = 1, . . . , πΎ, the periodic signature crossπ+2 π+2 correlations have value β1, β 2β 2 β β 1, or 2β 2 β β 1. Consider such a Gold set GπΏΓπΎ = [g1 g2 . . . gπΎ ] where g1 , g2 are the two preferred m-sequences [45] with gππ gπβ£π = β1, π = 1, . . . , πΏ β 1 and π = 1, 2.
(39)
The signatures gπ , π = 3, . . . , πΏ + 2, are constructed by the operation [18]
(37)
gπ = g1 β g2β£πβ2 , π = 3, . . . , πΏ + 2,
(38)
where β represents the Hadamard product (i.e. element-wise multiplication). We denote the cyclic extension matrix of GπΏΓπΎ by Gπ and the rows of the extension matrix Gπ by dππ,π . Then, by (7),
to obtain the PTSC-optimal set Sπ = Hπ C.
1127
β‘ In the following section, we discuss these design findings and present some examples.
2
3
PTSC(G) = TSC(Gπ ) = πΎ πΏ + 2πΏ
πΏβ1 2 +1
β dπ1,π dπ,π 2 . π=2
IV. D ISCUSSION AND E XAMPLES In asynchronous code-division multiplexing communication applications all possible periodic correlations sππ sπβ£π , π, π = 1, 2, . . . , πΎ, π = 0, 1, . . . , πΏ β 1, may appear in the sufficient statistic of the maximum likelihood multiuser detector [42]. This is also the case in synchronous codedivision multiplexing communications over multipath propagation channels when the number of chip-level resolvable paths is greater than or equal to β πΏ+2 2 β. The PTSC metric captures precisely the contribution of all periodic correlations and PTSC optimization aims at minimizing their negative effect in individual signal recovery by means of optimal maximum-likelihood multiuser detection or otherwise (signature matched-filtering, decorrelation, minimum-mean-squareerror filtering or else [43]). The PTSC-optimal design cases presented in the previous section constitute proof-by-construction of the tightness of the corresponding PTSC bounds developed in Section II. To acquire a quantitative feeling of the extend/coverage of the presented designs, if we restrict the domain of πΎ, πΏ 7 Hence, interestingly, overloaded direct Hadamard designs as described herein are optimal under both the PTSC and TSC metric as shown in [13].
(40)
(41) From (8) and (40) using the notation [π₯]+ = min{π₯, πΏ β πΏ π₯, 2πΏ β π₯}, we calculate the row correlations of Gπ in (42), where the last equality follows from (39). Substituting (42) in (41), we obtain PTSC(G) = πΎ 2 πΏ3 + πΏ(πΏ β 1), which is equal to the bound in (13). Hence, complete (πΎ = πΏ + 2) Gold signature sets are PTSC-optimal. In contrast, maybe against common belief among codedivision multiplexing practitioners, the bounds and designs of Sections II and III show that Gold subsets (choice of πΎ < πΏ + 2 sequences) are not PTSC-optimal in general. Fig. 1 shows as an example a (16, 31) Gold subset which has PTSC = 8213760 together with our optimal (16, 31) design (under Underloaded Case 3b) with minimum PTSC = πΎ 2 πΏ3 = 7626496. Other signature sets well known for their periodic correlation properties are the small and largeset Kasami designs [18], [46]. We recall that small-set Kasami designs are defined for lengths πΏ = 2π β 1, π β‘ 0 (mod 2), π and have size πΎ β€ 2 2 . The attained periodic cross-correlation π π values are β1, β 2 2 β 1, 2 2 β 1, but their frequency of occurrence is not known in closed form as a function of π. Fig. 2 presents a (2, 15) small-set Kasami design with calculated PTSC = 15300 together with our optimal (2, 15)
1128
IEEE TRANSACTIONS ON COMMUNICATIONS, VOL. 59, NO. 4, APRIL 2011
dπ 1, π dπ,
π
=
2 β π=1
gππ gπβ£πβ1 +
πΏ+2 β π=2
gππ gπβ£πβ1 = β2 +
πΏ+2 πΏ ββ π=2 π=1
+ + π1 (π)π2 ([π + (π β 2)]+ πΏ )π1 ([π + (π β 1)]πΏ )π2 ([π + (π β 2) + (π β 1)]πΏ )
)( ) ( g2π g2β£πβ1 = β2 + g1π g1β£πβ1
(42)
= β1
G31Γ16
β‘β + β β β β + + + + + β β + β ββ€
β‘ + + + + + + + + + + + + + + + +β€
β₯ β₯ β₯ β₯ β₯ β₯ β₯ β₯ β₯ β₯ β₯ β₯ β₯ β₯ β₯ β₯ β₯ β₯ β₯ β₯ β₯ β₯ β₯ β₯ β₯ β¦
+ β β + + β β + + β β + + β ββ₯ β’+ β β + + β β + + β β + + β β +β₯ β’+ + + + β β β β + + + + β β β ββ₯ β’+ β + β β + β + + β + β β + β +β₯ β’+ + β β β β + + + + β β β β + +β₯ β’+ β β + β + + β + β β + β + + ββ₯ β’+ + + + + + + + + + + + + + + + +β₯ β’β β + β + β + β + β + β + β +β₯ β’+ + + β β + + β β + + β β + + β ββ₯ β’β + + β β + + β β + + β β + + ββ₯ β’+ + + + β β β β + + + + β β β ββ₯ β’β + β + + β + β β + β + + β + ββ₯ β’+ + β β β + + + + β β β β + +β₯ β’ ++β+β β β + β + + β + β β +β₯ = β’β + + + + + + + + + + + + + + + +β₯ β’+ β + β + β + + β + β + β + ββ₯ β’β β + + β β + β + β β + + β β + +β₯ β’β + + β β + + β + + β β + + ββ₯ β’+ + + + β β β β β + + + β β β ββ₯ β’+ β + β β + β + + + β + β β + β +β₯ β’β β + + + + β β β β + + + β ββ₯ β’β + + β + β β + β + + + β + β β +β₯ β’+ + + + + + + + β β β β β β ββ₯ β’+ β + β + β + β β + β + β + β +β₯ β’+ + β β + + β β β β + + β β + +β₯ β’+ β β + + β β + β + + β β β + ββ¦ β£+ + + + β β β β β β β β + + +++
β++ββ β+++β ββ+++ β+β++ β++β+ ++ββ+ ββ+++ +++ββ β++β+ β+++β +ββββ +β+ββ +β++β βββββ βββββ β+βββ +ββ++ βββ+β β+ββ+ ββ+ββ βββ+β β+ββ+ ++β++ ++ββ+ ++βββ ++βββ +ββββ βββ++ +β++β βββββ
β’ β’ β’ β’ β’ β’ β’ β’ β’ β’ β’ β’ β’ =β’ β’ β’ β’ β’ β’ β’ β’ β’ β’ β’ β’ β£
ββ+++++ βββ++++ ββββ+++ +ββββ++ ++ββββ+ βββ++++ β+++βββ β+βββ++ ++β+++β +++β+++ +βββ+ββ β+βββ+β ββ+βββ+ +++β+++ β+++β++ ββ+++β+ +++βββ+ ββββ+++ βββββ++ +βββββ+ β+βββββ ββ+ββββ β++β+++ +β++β++ ++β++β+ β++β++β ββ++β++ +++ββ+β ββββ++β +++++ββ
ββ+β +ββ+ ++ββ +++β ++++ ββββ β+++ ++ββ βββ+ ββββ β+++ ββ++ βββ+ β+++ +β++ ++β+ βββ+ β+++ +β++ ++β+ +++β β+++ ++ββ +++β ++++ ++++ β+++ β+ββ ++β+ +ββ+
+β+β+β+β+β+β+β+β
Sopt 31Γ16
+β+ββ+β+β+β++β+β ++ββββ++ββ++++ββ
(b)
(a) opt
Fig. 1. (a) G31Γ16 Gold subset with PTSC = 8213760. (b) Optimal signature set S31Γ16 designed under Underloaded Case 3b with PTSC = (16)2 (31)3 = 7626496.
β‘β ββ€
Kss 15Γ2
β β + β β + + β + β + + + +
β’ β’ β’ β’ β’ =β’ β’ β’ β’ β£
(a)
+ + + + + + β + + + β + β β
β₯ β₯ β₯ β₯ β₯ β₯ β₯ β₯ β₯ β¦
β‘β +β€
Sopt 15Γ2
++ ++ +β β+ ++ +β ββ β+ +β β+ +β ββ ββ ββ
β’ β’ β’ β’ β’ =β’ β’ β’ β’ β£
β₯ β₯ β₯ β₯ β₯ β₯ β₯ β₯ β₯ β¦
(b)
Fig. 2. (a) Kss 15Γ2 small-set Kasami with PTSC = 15300. (b) Optimal opt signature set S15Γ2 designed under Underloaded Case 5 with PTSC = (2)2 (15)3 + 4(15)(14) = 14340.
design (under Underloaded Case 5) with minimum PTSC = πΎ 2 πΏ3 + 4πΏ(πΏ β 1) = 14340. We directly conclude that, in general, small-set Kasami designs are not PTSC-optimal. Large-set Kasami designs [18], [46] are defined for πΏ = π 2π β 1 and even π. If π β‘ 2 (mod 4), πΎ β€ 2 2 (2π + 1); π if π β‘ 0 (mod 4), πΎ β€ 2 2 (2π + 1) β 1. Fig. 3(a) shows a (67, 15) large-set Kasami design that has PTSC = 15157785. Fig. 3(b) shows our PTSC-optimal set Sopt 15Γ67 designed under Overloaded Case 4 with minimum PTSC value 15150585. Hence, in general, large-set Kasami are not optimal either. Arguably, in future communication systems overloaded code-division will be of primary interest. The overloaded signature set results presented in this paper constitute an early contribution toward improving our understanding and tools for this problem [47]-[50]. We conclude this section with an example of an overloaded (42 user signatures of length
31) PTSC-optimal design Sopt 31Γ42 given in Fig. 4. The set is designed by our Overloaded Case 2 procedure and has minimum PTSC value 52555044. V. C ONCLUSIONS We derived new bounds on the periodic (cyclic) total squared correlation (PTSC) of binary signature sets for any signature length πΏ and set size πΎ and provided optimal constructions for a variety of πΎ, πΏ values that establish the tightness of the corresponding bounds. The constructions include underloaded (πΎ β€ πΏ) and overloaded (πΎ > πΏ) design cases and cover, as an example, 36.23% of all possible combinations of πΎ, πΏ in {1, 2, . . . , 256}. Side results of the presented research include proof of the PTSC optimality of full-sized Gold sets. In contrast, Gold subsets were readily seen to lack optimality. PTSC-optimal constructions described herein for small and large-set Kasamicompatible (πΎ, πΏ) pairs, establish that the Kasami sets are not PTSC-optimal in general. In view of these findings, the developed PTSC-optimal sets take precedence whenever the periodic correlation properties of signatures is of concern in code-division multiplexing applications. This is particularly true for the new overloaded PTSC-optimal sets as candidates for future overloaded code-division communication applications.
GANAPATHY et al.: NEW BOUNDS AND OPTIMAL BINARY SIGNATURE SETSβPART I: PERIODIC TOTAL SQUARED CORRELATION
1129
β‘β + + + + β β + β β + β β β + + β + + + + β β + β β + β β β + + + β β β β + + β + + β + + + β β + β β β β + + β + + β + + + β β β + +β€ ββ+++++β+ββ+βββ+++βββββ+β++β+++βββ+++++β+ββ+βββ+++βββββ+β++β+++ββ++
Kls15Γ67
+ β + + + β + β + β + + β β β + β + β β β + β + β + β β + + + + β + β β β + β + β + β β + + + β + β + + + β + β + β + + β β β + β +β₯ β’β β β + β β + + β + β + β β + + + β β + β β + + β + β + β β + + β + + β + + β β + β + β + + β β β + + β + + β β + β + β + + β β β + +β₯ β’+ + β β + β β + + β + + + β β + β + + + β + + β β + β β β + + β + β β β + β β + + β + + + β β + β + + + β + + β β + β β β + + β + + ββ₯ β’+ β β β β + + β + + β + + + β β β + + + + β β + β β + β β β + + β + + + + β β + β β + β β β + + + β β β β + + β + + β + + + β β + β ββ₯ β’β β β + + + + + β + β β + β β β + β β + + + + + β + β β + β β β + + + β β β β β + β + + β + + + β + + β β β β β + β + + β + + + β + β ββ₯ β’ β+β β β + β + β + β β + + + β + β + + + β + β + β + + β β β + β + β β β + β + β + β β + + + β + β + + + β + β + β + + β β β + β +β₯ = β’+ + β β + β + + β + β + β β + + β + + β + + β β + β + β + + β β β + + β + + β β + β + β + + β β + β β + β β + + β + β + β β + + + β ββ₯ β’β + + + β + + β β + β β β + + β β + + + β + + β β + β β β + + β + β β β + β β + + β + + + β β + + β β β + β β + + β + + + β β + β β +β₯ β’β + + + β + β β + β β + β β β + + + β β β β + + β + + β + + + β β β + + + + β β + β β + β β β + + + β β β β + + β + + β + + + β β + β ββ₯ β’+ + β β β β + β + + β + + + β β β + + + + + β + β β + β β β + β β + + + + + β + β β + β β β + + + β β β β β + β + + β + + + β β + +β¦ β£β + β + + + β β+β+β++ββββ+β+++β+β+β++βββ+β+βββ+β+β+ββ++++β+βββ+β+β+ββ+++β+β +ββ+ββ++β+β+ββ++β++β++ββ+β+β++ββ+ββ+ββ++β+β+ββ++β++β++ββ+β+β++ββ+ββ β+++β++ββ+βββ++β+βββ+ββ++β+++ββ++βββ+ββ++β+++ββ+β+++β++ββ+βββ++β++β
(a) β‘+ + + + + + β + + + β β + + + β β β β β β + β β + β β + β + + + β β β β + β + + + + + β β β + + + β + β + β β + + β β β β β + + β β +β€ +++ββ++β++β++β+β+ββ+++β+ββ+β++ββ+++ββββ+β+β+++++ββββββ+β+β+βββ+ββ++
opt
S15Γ67
+ + β + β β + + + + + β + + β + β β + + + + + β + β + β β + + + β + β β β + β + β β β + β β β β β + β + β + β β + β + β + β β + + β +β₯ β’β β β β + β β + β β β β + β + β β + + + β + + + β β β β + + + β + + + β β + + β + + + + + + + β β + β β β β + + + β β + + + β + β ββ₯ β’β β β + β + β + β β + + + + β β β β β + + + β β + + β β + β β + + + β β β β β β β + + β + + + β + β β + + + + + + + β β + β β + β + +β₯ β’β β β + β + + β + + + β β β + + + β + + β β β + + β β β β + β β β β + β + β + β β β β β + β β + + + + + + + + + + β + β β + β + β + +β₯ β’+ β + β β + + β β β + + + β + + + + β β β + + + β + β + β + + β β β + β + β + + β β β + β + β + + + + + + β β + + β β β + + β β β β β ββ₯ β’ ββ β β + β + + + β β + + + + β + β β + + β β β β + β + β β + + β + + β + + + β β β + β β β β + β + + β β β + β + + + β + + + β + +β₯ = β’β β β β + β β β + β + + + + + β + + β + + β β + β β β + β + + β β β β β + + + β β β + + β + + β + β β + β β + β + β + + + β + + + β +β₯ β’+ + β β + + + β β + β + β + + + β β + + + + β β + β + + β β β β + + + β + + β + β β + β β β β + + + + β + β + β β β β β β β + + β + + ββ₯ β’+ + β + β + β β + + β + + + β + + + β + β β β + + + β β + + + β + β + β + + β β + β β + β β + β β β + + + β β + β + β β + β β β + + ββ₯ β’β β + β + β + β + β + β + + β β + β β β β β β β + β + β + β + β + + β + + β β + + β β + + β + + β + + + β + + + β + β β β β + + + β +β¦ β£+ + β β β β + ++β+++β++++ββ+β++++β+βββ++ββ+ββ++βββ++ββ++βββ+β++++βββββ++ββ βββ+ββ+ββββ++ββ+β+ββ++++ββ+β++β+ββ+β++++++ββββ++++ββ++++ββββ+β+β+β+ +++++++β+β+++ββ+β++βββββββββ+++++β+βββ++ββ+β++βββββ+β+++βββ+++++βββ
(b)
Fig. 3. (a) Kls15Γ67 large-set Kasami with PTSC = 15157785. (b) Optimal signature set Sopt 15Γ67 designed under Overloaded Case 4 with PTSC = (672 )(153 ) + (15)(14) = 15150585.
1β€πβ€
A PPENDIX A D ERIVATION OF PTSC EXPRESSION IN (5) From (4), PTSC(S) =
πΎ β πΎ πΏβ1 2 β β πΏβ1 β sππβ£π1 sπβ£π2 .
(43)
π=1 π=1 π1 =0 π2 =0
We split the quadruple summation in (43) into periodic autoand cross-correlations, πΎ πΏβ1 2 β β πΏβ1 β PTSC(S) = sππβ£π1 sπβ£π2 π=1 π1 =0 π2 =0
+
πΎ β
πΎ β
(44)
πΏβ1 β πΏβ1 β
π=1 π=1, πβ=π π1 =0 π2 =0
2 π sπβ£π1 sπβ£π2 .
Since for π1 β€ π2 , π1 , π2 = 0, 1, 2, . . . , πΏ β 1, π, π = 1, 2, . . . , πΎ, sππβ£π1 sπβ£π2
= =
sππβ£0 sπβ£π2 βπ1 sππβ£0 sπβ£πΏβ(π2 βπ1 )
(45)
and sππ sπ = πΏ, π = 1, 2, . . . , πΎ, we can simplify (44) to PTSC(S) = πΏ
πΎ πΏβ1 πΎ 2 β β β sπ π sπβ£π + πΏ π=1 π=0
= πΎπΏ3 + πΏ
πΎ β
πΏβ1 β
π=1 π=1, πβ=π π=0
πΎ πΏβ1 πΎ 2 β β β sπ π sπβ£π + 2πΏ π=1 π=1
2 π sπ sπβ£π
πΎ β
(46)
πΏβ1 β
π=1 π=1, π πΏ) Case 1a: πΎ β‘ 0 (mod 2), πΏ β β³G 1b: πΎ β‘ 0 (mod 4), πΏ ββ β³G Recalling that the concatenation of two PCS sets is a PCS set [27], to establish optimality of the designs for both Cases 1a and 1b it suffices to prove that S in (34) is PTSC-optimal. Consider the cyclic extension matrix Sc of S; all crosscorrelations dπ1 dπ of Sc , π = 2, 3, . . . , πΏ, are zero by (9). We conclude that S is PTSC-optimal with PTSC(S) = π 2 πΏ3 . Case 2: πΎ β‘ 2 (mod 4), πΏ β β³CH βͺ β³B β²π Partition set S into two sets S1 = Hπ and [ the signature ] S2 = gπΏβ£π1 gπΏβ£π2 . Consider the cyclic extension matrices S ) , and S2,c of ( c ,π S1,c ( S, S)1 , and S2 , respectively. Then, d1 dπ S1,c = 0 and dπ1 dπ S2,c = β2, π = 2, . . . , πΏβ1 2 + 1. ( π ) Hence, d1 dπ Sc = 2, π = 2, . . . , πΏβ1 2 + 1. We conclude that S is PTSC-optimal with PTSC(S) = πΎ 2 πΏ3 + 4πΏ(πΏ β 1). A PPENDIX D C ONSTRUCTION OF C YCLIC H ADAMARD SEQUENCES gπ , π β β³CH Binary antipodal sequences gπ = [ gπ (0) gπ (1) . . . π gπ (π β 1)] , π β β³CH in (23), with ideal 2-level autocorrelation can be constructed as follows. (i) If π is a prime congruent to 3 (mod 4) [51], β§ β1, if π = 0,   β¨ +1, if π β {1, 2, . . . , π β 1} is a quadratic gπ (π) = residue mod π,   β© β1, otherwise. (48) (ii) If π is a prime congruent to 3 (mod 4) and product of twin primes π and π + 2 [52], define i//p to be +1 if π is a
quadratic residue mod p and β1 otherwise. Calculate β§ +1, if π = 0 or a multiple of   β¨ π + 2, gπ (π) = β1, if π is a multiple of π,   β© π//π π// (π + 2) , otherwise. (49) (iii) If π = 2π β 1, π = 1, 2, . . ., let gπ be an msequence [45] of length π . ACKNOWLEDGMENT The authors wish to express their gratitude to the three anonymous reviewers whose comments and keen insight helped improve significantly the quality of this manuscript. In particular, many thanks are extended to Reviewer 1 for the suggested simplification of the derivation of (13) and calculation of (42). R EFERENCES [1] M. Rupf and J. L. Massey, βOptimum sequence multisets for synchronous code-division-multiple-access channels," IEEE Trans. Inf. Theory, vol. 40, pp. 1261-1266, July 1994. [2] R. L. Welch, βLower bounds on the maximum cross correlation of signals," IEEE Trans. Inf. Theory, vol. IT-20, pp. 397-399, May 1974. [3] P. Vishwanath, V. Anantharaman, and D. N. C. Tse, βOptimal sequences, power control, and user capacity of synchronous CDMA systems with linear MMSE multiuser receivers," IEEE Trans. Inf. Theory, vol. 45, pp. 1968-1983, Sep. 1999. [4] S. Ulukus and R. D. Yates, βIterative construction of optimum signatures sequences sets in synchronous CDMA systems," IEEE Trans. Inf. Theory, vol. 47, pp. 1989-1998, July 2001. [5] C. Rose, βCDMA codeword optimization: interference avoidance and convergence via class warfare," IEEE Trans. Inf. Theory, vol. 47, pp. 2368-2382, Sep. 2001. [6] C. Rose, S. Ulukus, and R. D. Yates, βWireless systems and interference avoidance," IEEE Trans. Wireless Commun., vol. 1, pp. 415-428, Mar. 2002. [7] P. Viswanath and V. Anantharam, βOptimal sequences for CDMA under colored noise: a Schur-Saddle function property," IEEE Trans. Inf. Theory, vol. 48, pp. 1295-1318, June 2002. [8] P. Cotae, βSpreading sequence design for multiple cell synchronous DS-CDMA systems under total weighted squared correlation criterion," EURASIP J. Wireless Commun. Netw., vol. 2004, no. 1, pp. 4-11, Aug. 2004.
GANAPATHY et al.: NEW BOUNDS AND OPTIMAL BINARY SIGNATURE SETSβPART I: PERIODIC TOTAL SQUARED CORRELATION
[9] O. Popescu and C. Rose, βSum capacity and TSC bounds in collaborative multibase wireless systems," IEEE Trans. Inf. Theory, vol. 50, pp. 2433-2440, Oct. 2004. [10] J. A. Tropp, I. S. Dhillon, and R. W. Heath Jr., βFinite-step algorithms for constructing optimal CDMA signature sequences," IEEE Trans. Inf. Theory, vol. 50, pp. 2916-2921, Nov. 2004. [11] G. S. Rajappan and M. L. Honig, βSignature sequence adaptation for DS-CDMA with multipath," IEEE J. Sel. Areas Commun., vol. 20, pp. 384-395, Feb. 2002. [12] P. Xia, S. Zhou, and G. B. Giannakis, βAchieving the Welch bound with difference sets," IEEE Trans. Inf. Theory, vol. 51, pp. 1900-1907, May 2005. [13] G. N. Karystinos and D. A. Pados, βNew bounds on the total squared correlation and optimum design of DS-CDMA binary signature sets," IEEE Trans. Commun., vol. 51, pp. 48-51, Jan. 2003. [14] C. Ding, M. Golin, and T. Klπve, βMeeting the Welch and KarystinosPados bounds on DS-CDMA binary signature sets," Des., Codes Cryptogr., vol. 30, pp. 73-84, Aug. 2003. [15] V. P. Ipatov, βOn the Karystinos-Pados bounds and optimal binary DSCDMA signature ensembles," IEEE Commun. Lett., vol. 8, pp. 81-83, Feb. 2004. [16] G. N. Karystinos and D. A. Pados, βThe maximum squared correlation, sum capacity, and total asymptotic efficiency of minimum total-squaredcorrelation binary signature sets," IEEE Trans. Inf. Theory, vol. 51, pp. 348-355, Jan. 2005. [17] F. Vanhaverbeke and M. Moeneclaey, βSum capacity of equal-power users in overloaded channels," IEEE Trans. Inf. Theory, vol. 53, pp. 228-233, Feb. 2005. [18] D. V. Sarwate and M. B. Pursley, βCrosscorrelation properties of pseudorandom and related sequences," Proc. IEEE, vol. 68, pp. 593619, May 1980. Λ [19] M. Stular and S. TomaΛziΛc, βMean periodic correlation of sequences in CDMA," in Proc. IEEE Region 10 Conf. Electric. Electron. Tech., vol. 1, Aug. 2001, pp. 287-290. [20] D. Y. Peng and P. Z. Fan, βGeneralised Sarwate bounds on the periodic autocorrelations and cross-correlations of binary sequences," Electron. Lett., vol. 38, pp. 1521-1523, Nov. 2002. [21] B. J. Wysocki and T. A. Wysocki, βModified Walsh-Hadamard sequences for DS CDMA wireless systems," Intern. J. Adaptive Control Signal Process., vol. 16, pp. 589-602, Sep. 2002. [22] J. L. Massey and T. Mittelholzer, βWelchβs bound and sequence sets for code-division multiple-access systems," Sequences II, Methods in Communication, Security, and Computer Sciences, R. Capocelli, A. De Santis, and U. Vaccaro, editors. Springer-Verlag, 1993. [23] L. BΓΆmer and M. Antweiler, βBinary and biphase sequences and arrays with low periodic autocorrelation sidelobes," in Proc. IEEE Intern. Conf. Acoust,. Speech, Signal Process., Apr. 1990, vol. 3, pp. 1663-1666. [24] J. E. Stalder and C. R. Cahn, βBounds for correlation peaks of periodic digital sequences," Proc. IEEE, vol. 52, pp. 1262-1263, Oct. 1964. [25] D. V. Sarwate and M. B. Pursley, βPerformance evaluation for phasecoded spread-spectrum multiple-access communicationβpart II: code sequence analysis," IEEE Trans. Commun., vol. 25, pp. 795-799, Aug. 1977. [26] B. Schmidt, βCyclotomic integers and finite geometry," J. Amer. Math. Soc., vol. 12, pp. 929-952, 1999. [27] L. BΓΆmer and M. Antweiler, βPeriodic complementary binary sequences," IEEE Trans. Inf. Theory, vol. 36, pp. 1487-1494, Nov. 1990. [28] W. H. Mow, βOptimal sequence sets meeting Welchβs lower bound," in Proc. IEEE Intern. Symp. Inform. Theory, Sep. 1995, p. 90. [29] K. Feng, J.-S. Shiue, and Q. Xiang, βOn aperiodic and periodic complementary binary sequences," IEEE Trans. Inf. Theory, vol. 45, pp. 296-303, Jan. 1999. [30] M. Golay, βComplementary series," IEEE Trans. Inf. Theory, vol. IT-7, pp. 82-87, Apr. 1961. [31] R. J. Turyn, βHadamard matrices, Baumert-Hall units, four symbol sequences, pulse compression and surface wave encodings," J. Combin. Theory, Series A, vol. 16, pp. 313-333, 1974. [32] D. Ε½. DokoviΒ΄c, βNote on periodic complementary sets of binary sequences," Des., Codes and Cryptogr., vol. 13, pp. 251-256, Mar. 1998. [33] D. Ε½. DokoviΒ΄c, βAperiodic complementary quadruples of binary sequences," J. Combin. Math. and Combin. Comput., vol. 27, pp. 3-31, 1998. [34] R. H. Barker, βGroup synchronizing of binary digital sequences," in Commun. Theory, pp. 273-287, W. Jackson editor. Butterworths, 1953. [35] A. Lempel, M. Cohn, and W. L. Eastman, βA class of balanced binary sequences with optimal autocorrelation properties," IEEE Trans. Inf. Theory, vol. IT-23, pp. 38-42, Jan. 1977.
1131
[36] C. Ding, T. Helleseth, and H. Martinsen, βNew families of binary sequences with optimal three-level autocorrelation," IEEE Trans. Inf. Theory, vol. 47, pp. 428-433, Jan. 2001. [37] H.-Y. Song and S. W. Golomb, βOn the existence of cyclic Hadamard difference sets," IEEE Trans. Inf. Theory, vol. 4, pp. 1266-1268, July 1994. [38] S. W. Golomb and H.-Y. Song, βA conjecture on the existence of cyclic Hadamard difference sets," J. Statist. Planning and Inference, vol. 62, pp. 39-41, 1997. [39] L. D. Baumert, βCyclic difference sets," in Lecture Notes in Mathematics, vol. 182. Springer-Verlag, 1971. [40] S. W. Golomb and R. A. Scholtz, βGeneralized Barker sequences," IEEE Trans. Inf. Theory, vol. IT-13, pp. 619-621, Oct. 1967. [41] H. D. Luke, H. D. Schotten, and H. Hadinejad-Mahram, βBinary and quadriphase sequences with optimal autocorrelation properties: a surveyβ IEEE Trans. Inf. Theory, vol. 49, pp. 3271-3282, Dec. 2003. [42] S. Verdu, βMinimum probability of error for asynchronous Gaussian multiple-access channels," IEEE Trans. Inf. Theory, vol. IT-32, pp. 8596, Jan. 1986. [43] S. Verdu, Multiuser Detection. Cambridge University Press, 1998. [44] R. Gold, βOptimal binary sequences for spread spectrum multiplexing," IEEE Trans. Inf. Theory, vol. IT-13, pp. 619-621, Oct. 1967. [45] N. Zierler, βLinear recurring sequences," J. Soc. Ind. Appl. Math., vol. 7, pp. 31-48, Mar. 1959. [46] T. Kasami, βWeight distribution formula for some class of cyclic codes," Coordinated Science Laboratory, University of Illinois, Urbana, tech. rep. R-285 (AD632574), 1966. [47] S. P. Ponnaluri and T. Guess, βSignature sequence and training design for overloaded CDMA systems," IEEE Trans. Wireless Commun., vol. 6, pp. 1337-1345, Apr. 2007. [48] G. Romano, F. Palmieri, and P. K. Willett, βSoft iterative decoding for overloaded CDMA," in Proc. IEEE Intern. Conf. Acoust., Speech, Signal Process., Mar. 2005, vol. 3, pp. 733-736. [49] M. K. Varanasi, C. T. Mullis, and A. Kapur, βOn the limitation of linear MMSE detection," IEEE Trans. Inf. Theory, vol. 52, pp. 4282-4286, Sept. 2006. [50] J. H. Cho, Q. Zhang, and L. Gao, βA comparison of frequency-division systems to code-division systems in overloaded channels," IEEE Trans. Commun., vol. 56, pp. 289-298, Feb. 2008. [51] S. W. Golomb, Shift Register Sequences. Holden-Day, 1967; Aegean Park Press, 1982 (revised edition). [52] R. G. Stanton and D. A. Sprott, βA family of difference sets," Canadian J. Math., vol. 10, pp. 73-77, 1958.
Harish Ganapathy (Sβ05) was born in Chennai, India, on March 8, 1983. He received his B.S. and M.S. degrees in electrical engineering from the State University of New York at Buffalo in May 2003 and May 2005, respectively. He is currently a Ph. D. candidate in electrical engineering at The University of Texas, Austin. His current research interests lie broadly in optimization as applied to wireless networks, including both physical layer and networking aspects. His industry experience includes internships at Qualcomm Inc. in the years 2006 and 2008, and at Freescale Semiconductor Inc. in 2007.
Dimitris A. Pados (Mβ95) was born in Athens, Greece, on October 22, 1966. He received the Diploma degree in computer science and engineering (five-year program) from the University of Patras, Greece, in 1989, and the Ph.D. degree in electrical engineering from the University of Virginia, Charlottesville, VA, in 1994. From 1994 to 1997, he held an Assistant Professor position in the Department of Electrical and Computer Engineering and the Center for Telecommunications Studies, University of Louisiana, Lafayette. Since August 1997, he has been with the Department of Electrical Engineering, State University of New York at Buffalo, where he is presently a Professor. He served the Department as Associate Chair in 2009-2010. Dr. Pados was elected three times University Faculty Senator (terms 2004-06, 2008-10, 2010-12) and served on the Faculty Senate Executive Committee in 2009-10.
1132
His research interests are in the general areas of communication systems and adaptive signal processing with an emphasis on wireless multipleaccess communications, spread-spectrum theory and applications, coding and sequences, cognitive channelization and networking. Dr. Pados is a member of the IEEE Communications, Information Theory, Signal Processing, and Computational Intelligence Societies. He served as an Associate Editor for the IEEE Signal Processing Letters from 2001 to 2004 and the IEEE Transactions on Neural Networks from 2001 to 2005. He received a 2001 IEEE International Conference on Telecommunications best paper award, the 2003 IEEE Transactions on Neural Networks Outstanding Paper Award, and the 2010 IEEE International Communications Conference Best Paper Award in Signal Processing for Communications for articles that he coauthored with students and colleagues. Professor Pados is a recipient of the 2009 SUNY-system-wide Chancellorβs Award for Excellence in Teaching.
IEEE TRANSACTIONS ON COMMUNICATIONS, VOL. 59, NO. 4, APRIL 2011
George N. Karystinos (Sβ98-Mβ03) was born in Athens, Greece, on April 12, 1974. He received the Diploma degree in computer science and engineering (five-year program) from the University of Patras, Greece, in 1997 and the Ph.D. degree in electrical engineering from the State University of New York at Buffalo in 2003. In August 2003, he joined the Department of Electrical Engineering, Wright State University, Dayton, OH as an Assistant Professor. Since September 2005, he has been an Assistant Professor with the Department of Electronic and Computer Engineering, Technical University of Crete, Chania, Greece. His current research interests are in the general areas of communication theory and adaptive signal processing with an emphasis on wireless and cooperative communications systems, low-complexity sequence detection, optimization with low complexity and limited data, spreading code and signal waveform design, and sparse principal component analysis. Dr. Karystinos received a 2001 IEEE International Conference on Telecommunications best paper award and the 2003 IEEE Transactions on Neural Networks Outstanding Paper Award. He is a member of the IEEE Communications, Signal Processing, Information Theory, and Computational Intelligence Societies and a member of Eta Kappa Nu.