ieee transactions on signal processing, vol. …€¦ ·  · 2009-04-01new blind block...

16
IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOL. 56, NO. 12, DECEMBER 2008 5987 New Blind Block Synchronization for Transceivers Using Redundant Precoders Borching Su, Student Member, IEEE, and P. P. Vaidyanathan, Fellow, IEEE Abstract—This paper studies the blind block synchronization problem in block transmission systems using linear redundant precoders (LRP). Two commonly used LRP systems, namely, zero padding (ZP) and cyclic prefix (CP) systems, are considered in this paper. In particular, the block synchronization problem in CP systems is a broader version of timing synchronization problem in the popular orthogonal frequency division multiplexing (OFDM) systems. The proposed algorithms exploit the rank deficiency property of the matrix composed of received blocks when the block synchronization is perfect and use a parameter called repetition index which can be chosen as any positive integer. The- oretical results suggest advantages in blind block synchronization performances when using a large repetition index. Furthermore, unlike previously reported algorithms, which require a large amount of received data, the proposed methods, with properly chosen repetition indices, guarantee correct block synchronization in absence of noise using only two received blocks in ZP systems and three in CP systems. Computer simulations are conducted to evaluate the performances of the proposed algorithms and compare them with previously reported algorithms. Simulation results not only verify the capability of the proposed algorithms to work with limited received data but also show significant im- provements in the block synchronization error rate performance of the proposed algorithms over previously reported algorithms. Index Terms—Blind block synchronization, blind identification, cyclic prefix, frame synchronization, OFDM, repetition index, single-carrier cyclic prefix (SC-CP), zero padding. I. INTRODUCTION B LIND channel estimation in block transmission systems using linear redundant filter bank precoders (LRP) has been studied extensively in the literature [1]–[5], [7], [13]–[15]. Besides a constant bandwidth overhead introduced in each block, a blind channel estimation method usually requires very little extra bandwidth to perform channel estimation. Most Manuscript received October 19, 2007; revised July 22, 2008. First published August 29, 2008; current version published November 19, 2008. The associate editor coordinating the review of this manuscript and approving it for publi- cation was Dr. Petr Tichavsky. This work was supported in part by the NSF Grant CCF-0428326 and the Moore Fellowship of the California Institute of Technology. This proposed algorithm in the ZP system was presented in part at the International Conference on Acoustics, Speech and Signal Processing (ICASSP), Honolulu, HI, April 15–20, 2007, and the proposed algorithm in CP systems was presented in part at the International Symposium on Circuits and Systems (ISCAS), Seattle, WA, May 18–21, 2008. B. Su is with NextWave Broadband, Inc., San Diego, CA 92122 USA (e-mail: [email protected]). P. P. Vaidyanathan is with the California Institute of Technology, Pasadena, CA USA (e-mail: [email protected]). Color versions of one or more of the figures in this paper are available online at http://ieeexplore.ieee.org. Digital Object Identifier 10.1109/TSP.2008.2005088 existing blind estimation methods for LRPs assume that block boundaries of the received streams are perfectly known to the receiver. In practical applications, however, this assumption is usually not true since no extra known samples are transmitted. The problem of blind recovery of block boundaries of the received signal is therefore important. However, up to date, the problem of blind block synchronization has not yet been given as much attention as the blind channel estimation problem has. In this paper, we consider the problem with two commonly used precoders, namely, the zero padding (ZP) and cyclic prefix (CP) precoders. For ZP systems, the first blind block synchroniza- tion algorithm was proposed by Scaglione et al. [1]. The blind synchronization algorithm uses the rank deficiency property of a matrix composed of received samples which was first used in a blind equalization algorithm also proposed in [1]. The rank deficiency property of the aforementioned matrix is valid at perfect block synchronization but is no longer valid when a nonzero timing mismatch is present. The algorithm proposed in [1] shows that block synchronization algorithms can be connected with existing blind channel estimation/equalization algorithms that exploit matrix null spaces. In recent years, more advanced blind channel estimation al- gorithms were developed, and these suggest more opportunities to develop new blind channel synchronization algorithms that may possess new features. One of the most important features in recently reported blind channel estimation algorithms is the reduction of the amount of received data needed for an accurate channel estimate which is favorable in a time-varying environ- ment such as a wireless channel. For ZP systems, Manton et al. first pointed out that blind channel estimation can be done with fewer received blocks by repeated use of each block [2], [3]. This concept was later generalized by Su and Vaidyanathan [4], [5] using a parameter called repetition index. The feature of using much less received data in the aforementioned blind channel estimation algorithms can also be properly transferred to blind synchronization algorithms if we adopt the concept of repetition index. The blind block synchronization algorithm for ZP systems proposed in this paper will explore this idea. An- other novelty is that the proposed method for ZP systems is based on a subspace of dimension rather than one as in [1] (where is the channel order). This idea, combined with the repetition index, is shown to significantly improve the perfor- mance with sufficient amount of received data. As more and more new communication standards adopt cyclic-prefix based systems such as orthogonal frequency division multiplexing (OFDM) and single carrier cyclic prefix (SC-CP) systems, the importance of studying CP systems is increasing. The blind block synchronization problem studied 1053-587X/$25.00 © 2008 IEEE Authorized licensed use limited to: Univ of Calif San Diego. Downloaded on December 27, 2008 at 03:54 from IEEE Xplore. Restrictions apply.

Upload: dinhnhan

Post on 29-Apr-2018

217 views

Category:

Documents


1 download

TRANSCRIPT

IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOL. 56, NO. 12, DECEMBER 2008 5987

New Blind Block Synchronization for TransceiversUsing Redundant Precoders

Borching Su, Student Member, IEEE, and P. P. Vaidyanathan, Fellow, IEEE

Abstract—This paper studies the blind block synchronizationproblem in block transmission systems using linear redundantprecoders (LRP). Two commonly used LRP systems, namely, zeropadding (ZP) and cyclic prefix (CP) systems, are considered inthis paper. In particular, the block synchronization problem in CPsystems is a broader version of timing synchronization problem inthe popular orthogonal frequency division multiplexing (OFDM)systems. The proposed algorithms exploit the rank deficiencyproperty of the matrix composed of received blocks when theblock synchronization is perfect and use a parameter calledrepetition index which can be chosen as any positive integer. The-oretical results suggest advantages in blind block synchronizationperformances when using a large repetition index. Furthermore,unlike previously reported algorithms, which require a largeamount of received data, the proposed methods, with properlychosen repetition indices, guarantee correct block synchronizationin absence of noise using only two received blocks in ZP systemsand three in CP systems. Computer simulations are conductedto evaluate the performances of the proposed algorithms andcompare them with previously reported algorithms. Simulationresults not only verify the capability of the proposed algorithmsto work with limited received data but also show significant im-provements in the block synchronization error rate performanceof the proposed algorithms over previously reported algorithms.

Index Terms—Blind block synchronization, blind identification,cyclic prefix, frame synchronization, OFDM, repetition index,single-carrier cyclic prefix (SC-CP), zero padding.

I. INTRODUCTION

B LIND channel estimation in block transmission systemsusing linear redundant filter bank precoders (LRP) has

been studied extensively in the literature [1]–[5], [7], [13]–[15].Besides a constant bandwidth overhead introduced in eachblock, a blind channel estimation method usually requires verylittle extra bandwidth to perform channel estimation. Most

Manuscript received October 19, 2007; revised July 22, 2008. First publishedAugust 29, 2008; current version published November 19, 2008. The associateeditor coordinating the review of this manuscript and approving it for publi-cation was Dr. Petr Tichavsky. This work was supported in part by the NSFGrant CCF-0428326 and the Moore Fellowship of the California Institute ofTechnology. This proposed algorithm in the ZP system was presented in partat the International Conference on Acoustics, Speech and Signal Processing(ICASSP), Honolulu, HI, April 15–20, 2007, and the proposed algorithm in CPsystems was presented in part at the International Symposium on Circuits andSystems (ISCAS), Seattle, WA, May 18–21, 2008.

B. Su is with NextWave Broadband, Inc., San Diego, CA 92122 USA (e-mail:[email protected]).

P. P. Vaidyanathan is with the California Institute of Technology, Pasadena,CA USA (e-mail: [email protected]).

Color versions of one or more of the figures in this paper are available onlineat http://ieeexplore.ieee.org.

Digital Object Identifier 10.1109/TSP.2008.2005088

existing blind estimation methods for LRPs assume that blockboundaries of the received streams are perfectly known to thereceiver. In practical applications, however, this assumption isusually not true since no extra known samples are transmitted.The problem of blind recovery of block boundaries of thereceived signal is therefore important. However, up to date, theproblem of blind block synchronization has not yet been givenas much attention as the blind channel estimation problem has.In this paper, we consider the problem with two commonly usedprecoders, namely, the zero padding (ZP) and cyclic prefix (CP)precoders. For ZP systems, the first blind block synchroniza-tion algorithm was proposed by Scaglione et al. [1]. The blindsynchronization algorithm uses the rank deficiency property ofa matrix composed of received samples which was first used ina blind equalization algorithm also proposed in [1]. The rankdeficiency property of the aforementioned matrix is valid atperfect block synchronization but is no longer valid when anonzero timing mismatch is present. The algorithm proposedin [1] shows that block synchronization algorithms can beconnected with existing blind channel estimation/equalizationalgorithms that exploit matrix null spaces.

In recent years, more advanced blind channel estimation al-gorithms were developed, and these suggest more opportunitiesto develop new blind channel synchronization algorithms thatmay possess new features. One of the most important featuresin recently reported blind channel estimation algorithms is thereduction of the amount of received data needed for an accuratechannel estimate which is favorable in a time-varying environ-ment such as a wireless channel. For ZP systems, Manton etal. first pointed out that blind channel estimation can be donewith fewer received blocks by repeated use of each block [2],[3]. This concept was later generalized by Su and Vaidyanathan[4], [5] using a parameter called repetition index. The featureof using much less received data in the aforementioned blindchannel estimation algorithms can also be properly transferredto blind synchronization algorithms if we adopt the concept ofrepetition index. The blind block synchronization algorithm forZP systems proposed in this paper will explore this idea. An-other novelty is that the proposed method for ZP systems isbased on a subspace of dimension rather than one as in [1](where is the channel order). This idea, combined with therepetition index, is shown to significantly improve the perfor-mance with sufficient amount of received data.

As more and more new communication standards adoptcyclic-prefix based systems such as orthogonal frequencydivision multiplexing (OFDM) and single carrier cyclic prefix(SC-CP) systems, the importance of studying CP systems isincreasing. The blind block synchronization problem studied

1053-587X/$25.00 © 2008 IEEE

Authorized licensed use limited to: Univ of Calif San Diego. Downloaded on December 27, 2008 at 03:54 from IEEE Xplore. Restrictions apply.

5988 IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOL. 56, NO. 12, DECEMBER 2008

in this paper is a broader version of the timing synchronizationor the symbol synchronization problem in OFDM systems. Anumber of blind block synchronization algorithms for OFDMsystems have been developed [11], [16]–[19]. In particular, in[11], Negi and Cioffi proposed the first blind OFDM symbolsynchronization for frequency selective channels. These pre-viously reported methods, however, require a large amount ofreceived data to obtain accurate statistics for successful blocksynchronization. Our approach to reduce the required amountof received data resorts to employing the idea of repetitionindex. As the idea of repetition index was recently extended toblind channel estimation in CP systems [10], we propose a newblind block synchronization algorithms in CP systems based onthe foundation of [10]. Our proposed algorithm possesses twoadvantages over the previously reported methods: 1) In absenceof noise, the proposed algorithm provides correct recovery ofblock boundaries using only three received blocks whereas allpreviously reported algorithms require the number of receivedblocks to be no less than the block size, and 2) when the noise ispresent, simulation results as reported in Section VI show thatgiven the same amount of received data, the proposed algorithmhas an obvious improvement in blind block synchronizationerror rate performance over the previously reported algorithmin [11].

The rest of the paper will be organized as follows. InSection II, the problems of interest, namely the blind blocksynchronization problems in ZP and CP systems, respectively,will be formulated. The notations used in the paper will alsobe defined. In Sections III and IV, the proposed blind blocksynchronization algorithms in ZP and CP systems, as well astheir theoretical foundations, will be presented, respectively.In Section V, we study the practical issues of the proposedalgorithms including analysis of computational complexity andsystem performance in the presence of noise. In Section VI,simulation results are provided to evaluate the system perfor-mances of the proposed algorithms and to compare them withthose of previously reported algorithms. Finally, the conclu-sions are made in Section VII. Some parts of this paper havebeen presented in conferences: the proposed algorithm in ZPsystem was presented at ICASSP 2007 [12] and the proposedalgorithm in CP systems was presented in ISCAS 2008 [6].

II. PROBLEM FORMULATION

A. Notations

Boldfaced lower case letters represent column vectors. Bold-faced upper case letters are reserved for matrices. Superscripts, , and as in , , and denote the conjugate, trans-

pose, and transpose-conjugate operations, respectively. All thevectors and matrices in this paper are complex-valued. is the

identity matrix, and is the zero matrix. Ifis an vector, we use to denote

the full-banded Toeplitz matrix [8] whose firstcolumn is and whose first row is .In figures, “ ” and “ ” denote the signal downsampler andupsampler, respectively [9].

Due to special properties of cyclic prefixes, we will use thefollowing notation extensively in this paper. Suppose is an

column vector . Then the notationdenotes the vector

if . An extension of this definition to anyarbitrary pair of integers and satisfying is made bydefining as for any or . Forexample, if , , and , thendenotes the vector . If , then

denotes an empty vector.

B. Redundant Block Transmission Systems

Fig. 1 shows the structure of a block transmission system.The data samples, , are blocked into vectors of size

. Let be a positive integer indicating the redundancy in-serted in each block and assume . The precoded vector,

, of size , is obtained by multiplying amatrix with . The vector sequence is then un-

blocked into a scalar sequence before being sent over thechannel. The channel is characterized as an finite-impulse-re-sponse (FIR) system with a maximum order , i.e.,

where . Assume and are nonzero. Define asthe -vector

where the values of are set to zeros for any , .The integer is called the effective channel order. The signalat the channel output is corrupted by an additive white Gaussiannoise . At the receiver side, the received sample streamis blocked into vectors of size . An equalizer, character-ized by an matrix , is used to recover the data blocks

.While the redundant precoder can be designed as any rank-

matrix , we consider specifically two commonly used classesof LRPs in this paper: the zero-padding (ZP) precoders and thecyclic prefixing (CP) precoders. A block transmission systemusing a ZP or CP precoder is called a ZP system or an CP system,respectively.

In a ZP system, the matrix has the form of

where is an nonsingular matrix. Each precodedblock is composed of a data part of length followedby a zero block of length . Due to trailing zero introduced ineach block at the transmitter, each received block can beexpressed as [1]

(1)

Authorized licensed use limited to: Univ of Calif San Diego. Downloaded on December 27, 2008 at 03:54 from IEEE Xplore. Restrictions apply.

SU AND VAIDYANATHAN: NEW BLIND BLOCK SYNCHRONIZATION FOR TRANSCEIVERS USING REDUNDANT PRECODERS 5989

Fig. 1. Block transmission systems using linear redundant precoders.

where is the blocked version of . The notationdenotes a Toeplitz matrix and was defined in Section II-A. Notethat depends only on and not on where ,so the interblock interference (IBI) is completely eliminated.

In a CP system, the precoder matrix has the form of

where is an nonsingular matrix. Each precodedblock is composed of a cyclic prefix of lengthfollowed by the precoded data of length .The cyclic prefix is a copy of the last elements of the precodeddata (i.e., ). Each received blockcan be expressed as

(2)

where is an circulant matrix [9] whose first columnis

.... . . and . . .

...

are matrices. We can see that , the CP part of ,contains IBI but is free from IBI. In particular, whenis chosen as the normalized inverse DFT matrix, the CP systemis equivalent to the popular OFDM system.

C. Blind Block Synchronization for LRP Systems

Fig. 2 illustrates the precoded sample stream andthe received sample stream of a ZP and a CP system,respectively. The dashed lines shown in the precoded samplestreams and received sample streams depict the block bound-aries. While the block boundaries are easy to trace in precodedsample streams by recognizing the zero part or the cyclicprefix part, there does not seem to exist a clear rule of thumbto determine by inspection the block boundaries in the re-ceived sample streams in either ZP or CP systems, as thesignal has been convolved with the frequency selective channel

. Furthermore, there is additive channel noise. A more

sophisticated method must be employed to recover the blockboundaries in received signals.

When the block synchronization is perfect between the trans-mitter and the receiver, the th received block is

Suppose the blocking was performed with an unknown timingmismatch between the transmitter and thereceiver, then the samples collected in the th block will be

The problem statement of this paper is explained as follows.In a ZP or CP system as described in Section II-B, given thereceived sample stream , with a possible unknown timingmismatch to the transmitter, how do we determine the optimal

that represents the starting index of a re-ceived block without knowledge of ? Note that since theOFDM systems are a special case of CP systems, the block syn-chronization problem in CP systems is a broader version of the“timing synchronization” problem or the “symbol synchroniza-tion” problem in OFDM systems. Without loss of generality andfor convenience of the presentation, we assume the “correct an-swer” is always . Furthermore, when the effective channelorder is strictly smaller than the guard interval length (i.e.,trailing zeros or cyclic prefixes), we observe that

(3)

can all be considered “correct answers” since we can think ofthe equivalent channel vector as

in this case. No interblock interference will occur due to atiming-mismatch , . If the redundancy isminimal, i.e., , then the only choice is .

III. PROPOSED ALGORITHM FOR ZP SYSTEMS

The basic idea of the proposed blind block synchroniza-tion algorithm for ZP systems stems from (1). Notice that

Authorized licensed use limited to: Univ of Calif San Diego. Downloaded on December 27, 2008 at 03:54 from IEEE Xplore. Restrictions apply.

5990 IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOL. 56, NO. 12, DECEMBER 2008

Fig. 2. Illustration of blind block synchronization problem in ZP and CP systems.

is a matrix whose rank is . In absence ofnoise, each received block, , must be a linear combinationof columns of when the block synchronization isperfect. In other words, a matrix composed ofreceived blocks,

(4)

must have rank for some sufficiently large . Thisimplies that has a -dimensional null space if the blocksynchronization is perfect. This property has been exploited inthe blind channel estimation algorithm reported first in [1]. Onthe other hand, the matrix

usually has a larger rank when than when (this willbe verified later). The task of blind block synchronization canthus be completed by finding an optimal suchthat the rank deficiency of is . In the presence of noise,the optimal can be chosen such that the sum of the smallest

eigenvalues of is minimized. It should be notedthat this technique is different from the one reported in [1] andreviewed in Section III-B.

However, the blind block synchronization technique requiresthe condition that as the blind channel estimation algo-rithm in [1] needs it to satisfy certain full rank condition. Thismeans the receiver has to accumulate at least data sam-ples in order to determine the block boundary correctly. In afast-varying environment such as a wireless channel, we usu-ally do not have the luxury to collect so many samples since thechannel status may have changed significantly during the dataaccumulation.

In order to reduce the amount of required data, we will use theidea of “repetition index,” which first arose in a blind channelestimation problem [4]. The idea of repetition index is to repeat-edly use each received block and has successfully reduced thenumber of received blocks needed for blind channel estimationproblem in ZP and CP systems, as reported in [3], [4], and [10].By properly applying this idea, we can develop blind block syn-chronization algorithms using less data. We shall present here

the application of repetition index in blind block synchroniza-tion problems and the readers interested in the blind channelestimation algorithms are referred to [3], [4], and [10].

A. Derivation of the Proposed Algorithm

Consider the noise-free case first. It can be verified [4] that(1) is equivalent to

(5)

where is any positive integer and denotesin the context of ZP systems. The notation was defined inSection II-A. Note that when , (5) reduces to (1). When

, (5) is similar to (1) in the sense that is also afull-banded Toeplitz matrix, except that the size ofis larger than that of by . The parameter is calledthe repetition index since each received block is repeatedly used

times. Note that is a matrix andeach column of is a linear combination of columnsof . This property leads us to develop a new blindblock synchronization algorithm as follows.

Suppose received blocks are available at the receiver. Con-sider the matrix

(6)

It is readily verified that

where

(7)is a matrix. A necessary (but not sufficient)condition for to have full rank is

, or

(8)

Inequality (8) gives a lower bound on the required number ofreceived blocks of the proposed blind synchronization algorithm

Authorized licensed use limited to: Univ of Calif San Diego. Downloaded on December 27, 2008 at 03:54 from IEEE Xplore. Restrictions apply.

SU AND VAIDYANATHAN: NEW BLIND BLOCK SYNCHRONIZATION FOR TRANSCEIVERS USING REDUNDANT PRECODERS 5991

with respect to the repetition index . When has full rank, the rank of is also , and therefore the

rank deficiency of is exactly . On the other hand, whena nonzero timing error is present, the matrix

(9)usually has strictly less than zero eigenvalues, as verified inthe following theorem.

Theorem 1: Consider the noise-free situation. Assume eachchannel coefficient , , is an independent com-plex random variable with nonzero variances. Suppose is suf-ficiently large and the transmitted signal is selected such that

defined in (7) has full rank for all . Then with proba-bility one the following statement on the matrix definedin (9) is true.

The number of zero eigenvalues of

ifif

The notation of “probability one” used here, as well as in theother theorems throughout the paper, means the probability thatthe realization of channel coefficients makes the statementtrue is unity. [21].

Proof: See the Appendix.Theorem 1 gives the foundation of the proposed algorithm

for ZP systems. We determine the estimated block boundariesby finding the optimal so that the rank deficiency ofis exactly . When the block synchronization is perfect (i.e.,

), the rank deficiency of is exactly . When theamount of timing error increases, this value decreases grad-ually to zero. In particular, if , the rank deficiency of

is . The decrease in the rank deficiency ofwhen increases is relatively smooth. When , the rankdeficiency of has an abrupt decrease when increasesfrom 0 to 1. Furthermore, if , the rank defi-ciency of goes immediately to zero whenever a nonzerotiming error is present. This sharper decrease in rank deficiencyof demonstrates the advantage of using a larger repetitionindex for blind block synchronization, as will be discussed inSection V-B.

In the case where noise is present, the calculation of rank de-ficiency of is replaced by eigen-decomposition of

. We now present the proposed blind block synchro-nization algorithm in ZP systems as follows.

Algorithm 1:

1) Choose the repetition index and the number ofreceived blocks so that inequality (8) is satisfied.

2) Collect consecutive received samples andform the matrix as defined in (9) for each

.

3) Perform eigen-decomposition on the matrixfor each and take the smallest eigenvalues

.4) Calculate the cost function

(10)

and decide the estimated timing mismatch

The use of a large has two major advantages. First of all, itrequires less received data as suggested in inequality (8). If isselected sufficiently large (e.g., ), can be as smallas 2. Secondly, the robustness of block boundary detection ispotentially improved due to a smaller value of rank deficiencyof when if a larger repetition index is used, aswe have learned in Theorem 1. This will be discussed more indetail in Section V-B.

B. Comparison With an Earlier Algorithm

We review here a blind block synchronization algorithm pro-posed earlier by Scaglione, Giannakis, and Barbarossa in [1](which we call the SGB method from now on) and compare itwith Algorithm 1. Suppose consecutive blocks are collectedat the receiver with a timing mismatch of samples. Let de-note an square shift matrix

and consider the matrix

(11)

The following claim has been proved (as Theorem 4 in [1]) re-garding the rank of . The effective channel length

was defined in Section II-B.Claim: Consider the noise-free situation and assume

. Then has full rank when and has rankwhen .

The block synchronization problem can thus be solved byfinding the only which makes the matrix rank de-ficient. In practice when the noise is present, the cost functioncan be defined as

eigenvalues of (12)

The optimal can be chosen as

The matrix defined in (11) was first proposed in [1] forblind direct channel equalization and was used in blind block

Authorized licensed use limited to: Univ of Calif San Diego. Downloaded on December 27, 2008 at 03:54 from IEEE Xplore. Restrictions apply.

5992 IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOL. 56, NO. 12, DECEMBER 2008

synchronization. Note that when , the matrix hap-pens to be a truncation of after a proper permutation ofcolumns:

where is a permutation matrix, is as definedin (7) with , and is a matrix defined as

(i.e., dropping the last rows of). The SGB method exploits the property that the rank

deficiency is unity when . In order to use this prop-erty properly, the matrix must have full rank. This impliesthat , which is equivalent to the requirementof Algorithm 1 with . Of course the SGB method was notdeveloped from the point of view of a repetition index, but thefact that happens to be a truncation of suggests apotential performance degradation of the SGB algorithm fromAlgorithm 1 with . Indeed, this will be verified in thesimulation results presented in Section VI.

IV. PROPOSED ALGORITHM FOR CP SYSTEMS

In this section we consider the blind block synchronizationproblem in CP systems. The block synchronization problem inCP systems is a broader version of the so-called “timing-syn-chronization” or “OFDM symbol synchronization.” Here wewill tackle this problem without knowledge of the transmittedblocks and exploit a rank deficiency property that has been ob-served in an existing blind channel estimation algorithm for CPsystems [10]. Unlike in ZP systems, where each received blockis free from IBI, a received block in CP systems, as indicated in(2), contains IBI in some part of it. This makes it difficult to ex-press the received block as a linear combination of less thanlinearly independent vectors, as we did in ZP systems. To over-come this problem, a concept of “composite block” composedof elements from two consecutive received blocks is employed,as described below.

A. Derivation of the Proposed Algorithm

The proposed approach to the blind block synchronizationproblem is derived from the blind channel estimation algorithmproposed in [10]. We first consider the situation where thenoise is absent. Define a “composite block” whose elementsare chosen from two consecutive received blocks:

It can be verified that [15]

(13)

where

, and denotesin the context of CP systems. Note that here has a

size of . This means each composite block,, of size , is a linear combination of columns

of , and is always limited to a -dimension subspace. Thisspecial property, however, is no longer true when the blocksynchronization is not correct (this will be verified later). Thisobservation constitutes the basic idea of the proposed methodfor blind block synchronization.

Furthermore, employing the idea of repetition index, eachreceived composite block can be reformulated into a

-column matrix as defined below.

where each column is a -vector defined as

for . When block synchronization betweenthe transmitter and the receiver is perfect, it can be shown that[10]

(14)

where and are defined as follows:

(15)where is obtained by moving the first rows of tothe bottom and is aToeplitz matrix whose first row is and whosefirst column is . In (14)

(16)

where

Note that is a tall matrix with a size. So each column of is limited to a

-dimension subspace. Also note that when , (14)reduces to (13). Now, consider consecutive received blocks

, and thematrix

(17)

It is readily verified that

where

(18)

Authorized licensed use limited to: Univ of Calif San Diego. Downloaded on December 27, 2008 at 03:54 from IEEE Xplore. Restrictions apply.

SU AND VAIDYANATHAN: NEW BLIND BLOCK SYNCHRONIZATION FOR TRANSCEIVERS USING REDUNDANT PRECODERS 5993

is a matrix. Suppose is sufficientlylarge so that has full rank . Then the rank of

is exactly , i.e., has exactly zeroeigenvalues. This property, however, is no longer true when theblock synchronization is not perfect. When a timing mismatch

is present, the matrix in (17) becomes

(19)

where

and

The rank deficiency of the matrix is the key to the pro-posed blind block synchronization algorithm. The followingtheorem presents the theoretical foundation of the proposedalgorithm for CP systems.

Theorem 2: Consider the noise-free situation. Assume eachchannel coefficient , , is an independent com-plex random variable with a nonzero variance. Suppose issufficiently large and the transmitted signal is selected such that

defined in (18) has full rank for all . Then with proba-bility one the following statement on the matrix definedin (19) is true.

The number of zero eigenvalues of

ifif

Proof: See the Appendix.The behavior of the rank deficiency of is exactly equal

to that of in ZP systems as presented in Theorem 1, even

though the sizes of and are completely different.Similar comments can therefore be made as follows. When

, the rank deficiency of is and when

, the rank deficiency of is wheredenotes the discrete Delta function. An advantage is present

for using a larger : the reduction in the rank deficiency ofwhen is more significant. This potentially improves theaccuracy of blind block synchronization performance.

We should note that a necessary (but not sufficient) conditionfor to have full rank is [10]

(20)

Although (20) is not sufficient, the probability that has fullrank is usually very high in the simulation shown in Section VI.Inequality (20) also shows that, when the repetition index ischosen sufficiently large (e.g., ), the proposed al-gorithm can work with only three received blocks in absence ofnoise! In practical applications, the parameter can be chosenas large as the channel coefficients remain roughly constantduring received blocks.

In the presence of noise, the optimal can be chosen as theone which minimizes the sum of the smallest eigenvalues of

. The proposed algorithm can be summarized as fol-lows.

Algorithm 2:

1) Choose the repetition index and the number ofreceived blocks so that (20) is satisfied.

2) Collect consecutive received samples and formthe matrix as in (19) for each .

3) Perform eigen-decomposition on the matrixand take the smallest eigenvalues

.

4) Calculate the cost function ,and decide the estimated timing mismatch

.

B. Comparisons With a Previously Reported Algorithm

In [11], a block synchronization algorithm was proposed byNegi and Cioffi based on the estimated rank of the autocorrela-tion matrix of received blocks. The basic idea of the Negi–Cioffialgorithm is to use the matrix

Define

Then it can be verified that

where is a Toeplitz matrix whose first rowis and whose first column is ,and

is a matrix. When , has rank and thematrix has a rank deficiency. When , therank of is larger than and the rank deficiency ofwill not exceed . This provides a way to determine theblock boundaries by finding the which gives the smallest

Authorized licensed use limited to: Univ of Calif San Diego. Downloaded on December 27, 2008 at 03:54 from IEEE Xplore. Restrictions apply.

5994 IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOL. 56, NO. 12, DECEMBER 2008

TABLE ICOMPUTATIONAL COMPLEXITIES OF BLIND BLOCK SYNCHRONIZATION

ALGORITHMS

rank. In order to make the method work, must be a pos-itive integer, which implies that the effective channel ordermust be strictly less than the cyclic prefix length . In our pro-posed Algorithm 2, does not have to be positive. An-other difference between the Negi–Cioffi algorithm and Algo-rithm 2 resides in the matrix . In order to make rank

, a condition must be satisfied, which means theminimum number of received blocks is equal to the block size.As a comparison with (20), we find that the required number ofreceived blocks for Algorithm 2 is always smaller than that ofthe Negi–Cioffi algorithm whenever the repetition index ischosen greater than 2.

In [11], the optimal is chosen by estimating the rank ofusing a minimum description length (MDL) criterion, as-

suming the channel noise variance is known. However, our pro-posed algorithm does not assume known channel noise vari-ance. In order to make a fair comparison between Algorithm2 and the Negi–Cioffi algorithm, in our simulations presentedin Section VI, we will slightly modify the optimal decisionprocedure in the Negi–Cioffi algorithm by using the followingcost function:

(21)

where is the th smallest eigenvalue of . Theoptimal is chosen as the one which minimizes the value of

.

V. PRACTICAL CONSIDERATIONS

A. Complexity Analysis

The computational complexity of the proposed algorithms ismostly accounted for by the eigendecomposition of the matricescomposed of received signals. In Algorithm 1, we use the matrix

which has a size . The

eigen-decomposition is performed on matricesfor . Since the complexity for computing theeigen-decomposition of an matrix is [20], the com-putational complexity for Algorithm 1 isSimilarly, the complexity of Algorithm 2 can be found to be

since the size of the matrix is. The previously reported algorithms

mentioned in Sections III-B and IV-B also depend on eigende-composition of certain matrices. The computational complexitythereof can be determined in a similar way. A comparison ofcomputational complexities of the proposed algorithms and pre-viously reported algorithms is summarized in Table I.

From Table I, we find that the proposed algorithms haveslightly higher complexity than the SGB method and theNegi–Cioffi method. However, as long as is small comparedto , the increase of computational complexity is insignificant.

B. System Performance in the Presence of Noise

In this subsection, we provide a qualitative analysis on theperformance of both proposed algorithms in the presence ofnoise. The block synchronization error rate of Algorithms 1 and2 can be bounded by the following inequality:

where is the sum of the smallest eigenvalues ofor as defined as in (10) or (21), de-

pending on whether Algorithm 1 or Algorithm 2 is of interest.Under a given noise level , the valuedepends on the value in absence of noise. Moreover,the value in absence of noise depends on how manynonzero eigenvalues it is composed of. In Theorems 1 and 2,we learn that the number of zero eigenvalues of or

is when and it decreases towhen (if ). So with is obtainedby adding up nonzero eigenvalues of . When

, is obtained by a single nonzero eigenvalue, whichcan be very close to zero with a certain probability. When

, is obtained by adding three nonzero eigenvalues,and the probability that all of them are very small will drop sig-nificantly. Similarly, when , the value is obtainedby adding up nonzero eigenvalues.This means it is still more likely that has asmaller value when is a larger number. Therefore, we cansay tends to have a smaller value when isa larger number. In summary, when is chosen as a largernumber, the block synchronization error rate tends tobe smaller. These observations will be further confirmed inSection VI.

The above discussions also give us a guidance on how tochoose parameters and in practical applications. The pa-rameter is chosen according to the channel mobility, that is,

should be chosen so that the channel coefficients remain con-stant during consecutive received samples. The rep-etition index should be chosen sufficiently large so that in-equality (8) is satisfied. In addition, it should also be chosen sothat since this avoids the possibility that andare composed with a single nonzero eigenvalue and thereforegreatly reduces the probabilities , , com-pared to the case .

VI. SIMULATION RESULTS AND DISCUSSIONS

In this section, we conduct simulations to evaluate the per-formances of Algorithms 1 and 2 and compare each of themwith well known algorithms. In all simulations, the number ofdata samples per block is chosen as and the length ofguard intervals per block is (which implies ).The constellation of data samples is QPSK. In the plots,

and .

Authorized licensed use limited to: Univ of Calif San Diego. Downloaded on December 27, 2008 at 03:54 from IEEE Xplore. Restrictions apply.

SU AND VAIDYANATHAN: NEW BLIND BLOCK SYNCHRONIZATION FOR TRANSCEIVERS USING REDUNDANT PRECODERS 5995

Fig. 3. Function ���� versus time mismatch � for a channel with zeros at (0.8,�0.8, 0.5� , �����) in absence of noise.

A. Simulation Results for Zero Padding Systems

We first present simulation results for zero padding systems.The precoder is chosen as . We test Algorithm 1with 1, 2, 3 and compare the performances with that of theSGB algorithm proposed in [1]. Simulations are first conductedwith two different fixed fourth order FIR channels. Channel 1has zero locations at (0.8, 0.8, 0.5 , ) and is a min-imum-phase system. Channel 2 has zero locations at (1.2, 0.9,0.7 , 0.7). As suggested in (8), the number of received blocksmust be at least . We choose , that is,

420 consecutive received samples are availablefor blind block synchronization. For each blind synchronizationattempt, 420 samples are collected and the cost functions

as defined in (10) and (12) (i.e., and forAlgorithm 1 and the SGB method, respectively) are evaluatedfor each . A successful block synchroniza-tion is declared when gives the minimum value at .Over 50 000 block synchronization attempts are conducted inthe simulations in different levels ranging from 20 to50 dB, and the block synchronization error rates are calculatedaccordingly. We also calculated the average values of overall block synchronization attempts in a noise-free environment.Fig. 3 shows the average value of the cost functions versusthe timing mismatch with Channel 1. For aclearer view of the values of in the neighborhood of ,a close-up window is put at the top of each plot. As expected,

when and is nonzero otherwise for all curves.The robustness of a particular algorithm against noise perturba-tion with respect to a specific may be roughly evaluated bylooking at the values and . When an additive noiseis present, the values of will change and an algorithm maymistakenly decide the optimal timing mismatch as or

. Therefore, larger values of and , in Fig. 3,represent a larger margin against noise perturbation and suggesta better performance for a particular algorithm.

Fig. 4. Blind block synchronization error rate performance for a channel withzeros at (0.8, �0.8, 0.5� , �����) when � � �� in ZP systems.

As we can see in Fig. 3, the SGB method has a goodbut a relatively small . Algorithm 1 with or 3 hasa much better but both and are poor with

. These observations are consistent with the discussionsin Section V-B. When , is obtained by adding threenonzero eigenvalues, and the probability that all of them are verysmall is much smaller than the case . Simulations undera noisy environment, as shown in Fig. 4, confirm the expecta-tion that the algorithms (for various ) perform better for largervalues of and . Clearly, Algorithm 1 with hasa significant gain (more than 10 dB!) over the SGB algorithm.Increasing from 2 to 3, however, does not further improvethe performance. Algorithm 1 with , however, requires a50-dB ratio to achieve a satisfactory error rate, which isconsidered infeasible in practice.

We now show the simulation results for Channel 2, whichcontains channel zeros both inside and outside the unit circle andso is neither a minimum phase nor a maximum phase system.In the noiseless environment, the plot of averaged values of

versus timing mismatch is shown in Fig. 5. We observethat the SGB method has a much larger than it does withChannel 1, a minimum phase system. Yet Algorithm 1 with

possesses even larger and than the SGBalgorithm. In Fig. 6, we show the plot in the presence of noisewith 10 dB. We observe that values of are stillclearly smaller than and when or .But this is not the case for Algorithm 1 with or the SGBmethod. This suggests an advantage in block synchronizationerror rate for Algorithm 1 with in the presence of noise.This advantage is also shown in Fig. 7, where we observe thatAlgorithm 1 with or has a roughly 5-dB gain overthe SGB method. Algorithm 1 with still has the poorestperformance in this plot. From Figs. 4 and 7 for Channels 1 and2, respectively, we find that the block synchronization error rateperformance depends not only on the algorithms, but also on thechannels. Minimum phase channels appear to be less favorable

Authorized licensed use limited to: Univ of Calif San Diego. Downloaded on December 27, 2008 at 03:54 from IEEE Xplore. Restrictions apply.

5996 IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOL. 56, NO. 12, DECEMBER 2008

Fig. 5. Function ���� versus time mismatch � for a channel with zeros at (1.2,�0.9, 0.7� , �����) in absence of noise when � � ��.

Fig. 6. Function ����versus time mismatch � for a channel with zeros at (1.2,�0.9, 0.7� , �����) when � �� � 10 dB and � � ��.

for blind block synchronization in general than other types ofchannels.

Simulation results presented so far are based on fixedchannels. We now try the comparison in a fourth orderRayleigh random channel with a power delay profile

(dB). Over 4000 indepen-dent realizations of the channel are used in the simulationand for each channel realization four block synchronizationattempts are performed (i.e., four different sets of data samples

are used). Fig. 8 shows the average block synchronizationerror rate performances for all cases. As we can see, Algorithm1 with has a roughly 10-dB gain over the SGB algorithm.Increasing from 2 to 3 does not significantly improve thesystem performance.

Fig. 7. Blind block synchronization error rate performance for a channel withzeros at (1.2, �0.9, 0.7� , �����) when � � �� in ZP systems.

Fig. 8. Blind block synchronization error rate performance for a Rayleighrandom channel with � � �� in ZP systems.

Finally in this subsection, we demonstrate the capability ofAlgorithm 1 to conduct blind block synchronization with ex-tremely limited received data. We choose ranging from 2 to 5and the repetition index is properly chosen so that inequality(8) is satisfied. Fig. 9 shows the simulation plot. As discussed inSection III-B, the SGB algorithm is similar to Algorithm 1 with

except for some omissions of data. As shown in theplot, when , the SGB method indeed has a much worseperformance than Algorithm 1 with . Furthermore, when

, the SGB algorithm fails while Algorithm 1 continuesto work even when is as small as 2. Note that when ,the number of available consecutive received samples is only

. Even though the block synchronization errorrate performance is satisfactory only when the value isvery high, Algorithm 1 is presumably the first one to perform

Authorized licensed use limited to: Univ of Calif San Diego. Downloaded on December 27, 2008 at 03:54 from IEEE Xplore. Restrictions apply.

SU AND VAIDYANATHAN: NEW BLIND BLOCK SYNCHRONIZATION FOR TRANSCEIVERS USING REDUNDANT PRECODERS 5997

Fig. 9. Blind block synchronization error rate performance for a Rayleighrandom channel with small number of blocks in ZP systems.

blind block synchronization properly with such limited receiveddata.

B. Simulation Results for Cyclic Prefix Systems

We now present simulation results for cyclic prefix systems.The precoder is chosen as . We test Algorithm 2 with

, 2, 3 and compare the performances with that of theNegi-Cioffi algorithm [11]. As suggested in inequality (20),must be chosen as at least for Algorithm 2 with

to work. We choose , that is,consecutive received samples are available for blind blocksynchronization.

We first test the algorithm with third-order channels (i.e.,). Note that a cyclic prefix of length allows a

maximum channel order to be four to avoid interblock interfer-ence. The reason why we chose only third-order channels is forproper comparison with the Negi–Cioffi algorithm due to its re-striction (see Section IV-B). In the simulations, we use the costfunction defined in (21) for the Negi–Cioffi algorithm.

Simulations are first conducted with two different fixed thirdorder FIR channels. Channel 3 has zero locations at (0.8, 0.8,0.5 ) and is a minimum-phase system. Channel 4 has zero loca-tions at (1.2, 0.9, 0.7 ). The block synchronization is declaredsuccessful when the cost function has a minimum value ateither or [see (3)]. Fig. 10 shows the simulationresults with Channel 3. We see that when , Algorithm2 works properly in the high-SNR region, but with a rather un-satisfactory performance. Algorithm 2 with has a muchbetter performance and has a 20-dB gain over the Negi–Cioffialgorithm. Increasing from 2 to 3 further improves the per-formance. For the simulation results with Channel 4, the blocksynchronization error rate performance is shown in Fig. 11 andthe plot of averaged values of at the noise level of isshown in Fig. 12. We observe that, for Algorithm 2 withand , the values with and areclearly smaller than those with and . Recall that

Fig. 10. Blind block synchronization error rate performance for a channel withzeros at (0.8, �0.8, 0.5�) when � � �� in CP systems.

Fig. 11. Blind block synchronization error rate performance for a channel withzeros at (1.2, �0.9, 0.7�) when � � �� in CP systems.

and can both be considered correct answerssince . The distinction of smaller values ofwith and does not exist in the case for orthe Negi–Cioffi algorithm. This explains the advantage of Algo-rithm 2 with and in the presence of noise observedin Fig. 11.

We now perform the simulation in a third-order Rayleighrandom channel with a power delay profiledB and the results are shown in Fig. 13. Algorithm 2 withhas a 10-dB gain over the Negi–Cioffi algorithm. Increasingfrom 2 to 3 does not significantly improve the system perfor-mance.

Recall that we chose in previous simulations dueto a restriction of the Negi–Cioffi algorithm. Now we conductsimulations with a fourth order Rayleigh channel to verify thatAlgorithm 2 also works in the situation where . As

Authorized licensed use limited to: Univ of Calif San Diego. Downloaded on December 27, 2008 at 03:54 from IEEE Xplore. Restrictions apply.

5998 IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOL. 56, NO. 12, DECEMBER 2008

Fig. 12. Function���� versus time mismatch � for a channel with zeros at (1.2,�0.9, 0.7� ,�����) when � �� � 10 dB and � � �� in CP systems.

Fig. 13. Blind block synchronization error rate performance for a third-orderRayleigh random channel with � � �� in CP systems.

shown in Fig. 14, Algorithm 2 works fine with all while theNegi–Cioffi algorithm fails.

Finally in this subsection, we demonstrate the capability ofAlgorithm 2 to conduct blind block synchronization with smallamount of received data. We choose ranging from 3 to 16 andthe repetition index is properly chosen so that inequality (20)is satisfied. We also compare the performances with those of theNegi–Cioffi algorithm with 16 and 17. Fig. 15 shows thesimulation plot. As discussed in Section IV-B, the Negi–Cioffialgorithm requires at least 16 blocks to work properly.From the simulation plot, we see that it does not even workwith 16. When , the Negi–Cioffi algorithm appearsto work, but with a somewhat poor performance. On the otherhand, Algorithm 2 with already works when 16 witha fairly satisfactory performance. As the parameter decreases,the performance of Algorithm 2 (with a properly chosen ) de-grades slowly. Even when (which implies the number of

Fig. 14. Blind block synchronization error rate performance for a fourth-orderRayleigh random channel with � � �� in CP systems.

Fig. 15. Blind block synchronization error rate performance for a third-orderRayleigh random channel in CP systems when � is small.

available consecutive received sample is only ),Algorithm 2 still possesses a much better performance than theNegi–Cioffi algorithm with .

VII. CONCLUSION

In this paper we proposed two algorithms for blind block syn-chronization in zero-padding (ZP) systems and in cyclic prefix(CP) systems, respectively. Both algorithms use a parametercalled repetition index which can be chosen as any positiveinteger. The CP algorithm can be directly applied to blindsymbol synchronization problem in the popular orthogonalfrequency division multiplexing (OFDM) systems. Theoreticalresults prove the validity of the proposed algorithms in thenoiseless case and suggest that the algorithms would have abetter performance when the repetition index is larger in thenoisy case. The proposed algorithms are capable of blindlyrecovering the block boundaries using much less received

Authorized licensed use limited to: Univ of Calif San Diego. Downloaded on December 27, 2008 at 03:54 from IEEE Xplore. Restrictions apply.

SU AND VAIDYANATHAN: NEW BLIND BLOCK SYNCHRONIZATION FOR TRANSCEIVERS USING REDUNDANT PRECODERS 5999

data than previously reported algorithms. This feature makesthe proposed algorithms more favorable in an environmentof fast-varying channels. Simulation results of the proposedalgorithm not only demonstrate the capability to work properlywith limited amount of received data but also reveal significantimprovement in block synchronization error rate performanceover previously reported algorithms.

In the future, performance evaluation of the proposed algo-rithms for time-varying channels will be important for a morerealistic scenario. A theoretical analysis of the system perfor-mance is also of interest.

APPENDIX

Proof of Theorem 1: We first consider the case .

where is the Toeplitz matrix whose first columnis and whose first row is .

When , it can be shown that

With probability one, for sufficiently large , the matrix

has rank . This implies has exactlyzero eigenvalues.

When , we assume with loss of generalitysince the following arguments can be extended to the case when

due to symmetry. When , we have

where

when and

when .

The th column of can be written as

...

...

where is a Toeplitzmatrix whose first column is and whose first rowis and sequences and aredefined recursively as follows:

where the initial values of the sequences are defined as

So

where

and is a Toeplitz matrix whosefirst column is and whose first row is

.Define

and denote as the number of zero rows in .When , the zero block in accountsfor zero rows in . Furthermore, if

, the zero block in accounts for

zero rows in . If ,the zero block in does not account for any

zero rows in (when , does not evenexist). The above arguments can be extended to the case when

due to symmetry. So, when ,

Authorized licensed use limited to: Univ of Calif San Diego. Downloaded on December 27, 2008 at 03:54 from IEEE Xplore. Restrictions apply.

6000 IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOL. 56, NO. 12, DECEMBER 2008

When , neither blocks nor inaccount for any zero rows. So

when .Now where is obtained

by eliminating the zeros rows in and isobtained by eliminating the corresponding columns in . Weare interested in the difference of the number of rows and thenumber of columns of . Denote this value as . Thisvalue represents the column rank deficiency of if

. It is readily verified that and so thecolumn rank deficiency of is . Due to therandom nature of , , and , with probability one,there exists a sufficiently large such that has full rank

. The rank deficiency ofis . When , ,so the rank deficiency of is zero. Whenand when , , sothe rank deficiency of is .When and when ,

, so the rank deficiency of is.

In summary, with probability one, the number of zero eigen-values of is when .This completes the proof.

Proof of Theorem 2: We first consider the case .

where is the Toeplitz matrixwhose first column is and whose first row is

, and is a permutation ofdefined as .

With probability one there exists a sufficiently large suchthat

where is a matrix whichhas full column rank with probability one and

has full row rank. The rank of is thus exactly equalto since has full column rank and

has full row rank . This implieshas exactly zeroeigenvalues.

When , we have

where

when and

when .Now, from the definition of , the th column of

can be expressed as

...

...

where is a Toeplitzmatrix whose first column is and whose first rowis and sequences and are definedas follows:

and

for . So

where

Authorized licensed use limited to: Univ of Calif San Diego. Downloaded on December 27, 2008 at 03:54 from IEEE Xplore. Restrictions apply.

SU AND VAIDYANATHAN: NEW BLIND BLOCK SYNCHRONIZATION FOR TRANSCEIVERS USING REDUNDANT PRECODERS 6001

and is a Toeplitz matrix whose first columnis and whose first row is .

Denote as the number of pairs of identical rowsin . When , the segment in

accounts for pairs of identical rows in(Recall that .) Furthermore, if

, the segment accounts forpairs of identical rows in . If

, on the other hand, the segmentwill not account for any pairs of identical rows (when ,this segment does not even exist). The above arguments can beextended to the case when due to symmetry.So, when ,

When , neither segments norin account for any pairs of identical rows. So

when .Now where is ob-

tained by eliminating the duplicated rows inand is obtained by merging the corresponding column pairsof . We are interested in the value of the number of rows of

minus the number of columns of . Denote this valueas . This value represents the column rank deficiencyof if . It is readily verified that

and so the column rank deficiency of is. Due to the random nature of , ,

and , with probability one, there exists a sufficiently largesuch that has full rank .

The rank deficiency of is .When , , so the rank deficiency of

is zero. When and when ,

, so the rank deficiency ofis . When and when

, , so the rank de-ficiency of is

.In summary, with probability one, the number of zero eigen-

values of is when .This completes the proof.

ACKNOWLEDGMENT

The authors would like to thank Prof. A. Scaglione for sharingher program and for helpful discussions on the blind synchro-nization algorithm proposed in [1]. Reference [1] certainly wasthe inspiration for this work.

REFERENCES

[1] A. Scaglione, G. B. Giannakis, and S. Barbarossa, “Redundant filterbank precoders and equalizers—Part II: Unification and optimal de-signs,” IEEE Trans. Signal Process., vol. 47, no. 7, pp. 2007–2022, Jul.1999.

[2] J. H. Manton and W. D. Neumann, “Totally blind channel identificationby exploiting guard intervals,” Syst. Control Lett., vol. 48, no. 2, pp.113–119, 2003.

[3] D. H. Pham and J. H. Manton, “A subspace algorithm for guard in-terval based channel identification and source recovery requiring justtwo received blocks,” in Proc. Int. Conf. Acoustics, Speech, Signal Pro-cessing (ICASSP), Hong Kong, China, 2003, pp. 317–320.

[4] B. Su and P. P. Vaidyanathan, “A generalized algorithm for blindchannel identification with linear redundant precoders,” in EURASIPJ. Adv. Signal Process., 2007, vol. 2007, p. 13, Article ID 25672.

[5] B. Su and P. P. Vaidyanathan, “A generalization of deterministic al-gorithm for blind channel identification with filter bank precoders,” inProc. Int. Symp. Circuits Systems (ISCAS) 2006, Kos Island, Greece,May 21–24, 2006, pp. 3602–3605.

[6] B. Su and P. P. Vaidyanathan, “Blind block synchronization algorithmsin cyclic prefix systems,” in Proc. Int. Symp. Circuits Systems (ISCAS)2008, Seattle, WA, May 18–21, 2008, pp. 137–140.

[7] S. Zhou and G. B. Giannakis, “Finite-alphabet based channel esti-mation for OFDM and related multicarrier systems,” IEEE Trans.Commun., vol. 49, pp. 1402–1414, Aug. 2001.

[8] R. A. Horn and C. R. Johnson, Matrix Analysis. Cambridge, U.K.:Cambridge Univ. Press, 1996.

[9] P. P. Vaidyanathan, Multirate Systems and Filter Banks. EnglewoodCliffs, NJ: Prentice-Hall, 1993.

[10] B. Su and P. P. Vaidyanathan, “Subspace-based blind channel iden-tification for cyclic prefix systems using few received blocks,” IEEETrans. Signal Process., vol. 55, no. 10, pp. 4979–4993, Oct. 2007.

[11] R. Negi and J. M. Cioffi, “Blind OFDM symbol synchronization in ISIchannels,” IEEE Trans. Commun., vol. 50, no. 9, pp. 1525–1534, Sep.2002.

[12] B. Su and P. P. Vaidyanathan, “New algorithms for blind blocksynchronization in zero-padding systems,” in Proc. IEEE Int. Conf.Acoustics, Speech, Signal Processing (ICASSP), Honolulu, HI, 2007,pp. 237–240.

[13] X. Cai and A. Akansu, “A subspace method for blind channel identifi-cation in OFDM systems,” in Proc. Int. Conf. Commun., New Orleans,LA, Jun. 2000, vol. 2, pp. 929–933.

[14] B. Muquet, M. de Courville, P. Duhamel, and V. Buzenac, “A subspacebased blind and semi-blind channel identification method for OFDMsystems,” in Proc. IEEE Workshop Signal Processing Advances Wire-less Communications, May 1999, pp. 170–173.

[15] B. Muquet, M. de Courville, and P. Duhamel, “Subspace-based blindand semi-blind channel estimation for OFDM systems,” IEEE Trans.Signal Process., vol. 50, no. 7, pp. 1699–1712, Jul. 2002.

[16] D. Lee and K. Cheun, “A new symbol timing recovery algorithmfor OFDM systems,” IEEE Trans. Consum. Electron., vol. 43, pp.767–775, Aug. 1997.

[17] A. Armada and M. Ramon, “Rapid prototyping of a test modem for ter-restrial broadcasting of digital television,” IEEE Trans. Consum. Elec-tron., vol. 43, pp. 1100–1109, Nov. 1997.

[18] J. van de Beek, M. Sandell, and P. O. Borjesson, “ML estimation oftime and frequency offset in OFDM systems,” IEEE Trans. SignalProcess., vol. 45, no. 7, pp. 1800–1805, Jul. 1997.

[19] A. Palin and J. Rinne, “Enhanced symbol synchronization method forOFDM system in SFM channel,” in Proc. IEEE GLOBECOM, Sydney,Australia, Nov. 1998, pp. 2788–2793.

[20] G. H. Golub and C. F. Van Loan, Matrix Computations, 3rd ed. Bal-timore, MD: The Johns Hopkins Univ. Press, 1996.

[21] A. Papoulis and S. U. Pillai, Probability, Random Variables, and Sto-chastic Processes, 4th ed. New York: McGraw-Hill, 2001.

Borching Su (S’00) was born in Tainan, Taiwan,on October 8, 1978. He received the B.S. and M.S.degrees in electrical engineering and communicationengineering, both from National Taiwan University(NTU), Taipei, Taiwan, in 1999 and 2001, respec-tively, and the Ph.D. degree in electrical engineeringfrom the California Institute of Technology (Cal-tech), Pasadena, in 2008.

He is currently with NextWave Broadband, Inc.,San Diego, CA. His current research interests includemultirate systems and their applications on digital

communications.Dr. Su was awarded the Moore Fellowship from Caltech in 2003. In 2008,

he received Charles H. Wilts prize from Caltech for his Ph.D. thesis on blindchannel estimation.

Authorized licensed use limited to: Univ of Calif San Diego. Downloaded on December 27, 2008 at 03:54 from IEEE Xplore. Restrictions apply.

6002 IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOL. 56, NO. 12, DECEMBER 2008

P. P. Vaidyanathan (S’80–M’83–SM’88–F’91)was born in Calcutta, India, on October 16, 1954.He received the B.Sc. (Hons.) degree in physics andthe B.Tech. and M.Tech. Degrees in radiophysicsand electronics, all from the University of Calcutta,India, in 1974, 1977, and 1979, respectively, and thePh.D. degree in electrical and computer engineeringfrom the University of California at Santa Barbarain 1982.

He was a Postdoctoral Fellow at the University ofCalifornia, Santa Barbara, from September 1982 to

March 1983. In March 1983, he joined the Electrical Engineering Department ofthe California Institute of Technology as an Assistant Professor, and since 1993has been Professor of electrical engineering there. He has authored a numberof papers in IEEE journals and is the author of the book Multirate Systems andFilter Banks (Prentice-Hall, 1993). He has written several chapters for varioussignal processing handbooks. His main research interests are in digital signalprocessing, multirate systems, wavelet transforms, and signal processing fordigital communications.

Dr. Vaidyanathan served as Vice-Chairman of the Technical Program Com-mittee for the 1983 IEEE International Symposium on Circuits and Systems,and as the Technical Program Chairman for the 1992 IEEE InternationalSymposium on Circuits and Systems. He was an Associate editor for the IEEETRANSACTIONS ON CIRCUITS AND SYSTEMS for the period 1985–1987, andis currently an Associate Editor for the IEEE SIGNAL PROCESSING LETTERS,

and a consulting editor for the journal Applied and Computational HarmonicAnalysis. He has been a Guest Editor in 1998 for special issues of the IEEETRANSACTIONS ON SIGNAL PROCESSING and the IEEE TRANSACTIONS ON

CIRCUITS AND SYSTEMS II, on the topics of filter banks, wavelets, and subbandcoders. He was a recipient of the Award for excellence in teaching at theCalifornia Institute of Technology for the years 1983–1984, 1992–1993, and1993–1994. He also received the NSF’s Presidential Young Investigator awardin 1986. In 1989, he received the IEEE ASSP Senior Award for his paperon multirate perfect-reconstruction filter banks. In 1990, he was recipientof the S. K. Mitra Memorial Award from the Institute of Electronics andTelecommuncations Engineers, India, for his joint paper in the IETE journal.He was also the coauthor of a paper on linear-phase perfect reconstruction filterbanks in the IEEE Signal Processing transactions, for which the first author (T.Nguyen) received the Young outstanding author award in 1993. He received the1995 F. E. Terman Award of the American Society for Engineering Education,sponsored by Hewlett Packard Company, for his contributions to engineeringeducation, especially the book Multirate Systems and Filter Banks. He hasgiven several plenary talks, including at the SAMPTA’01, EUSIPCO’98,SPCOM’95, and Asilomar’88 conferences on signal processing. He has beenchosen a distinguished lecturer for the IEEE Signal Processing Society forthe year 1996–1997. In 1999, he was chosen to receive the IEEE Circuits andSystems (CAS) Society’s Golden Jubilee Medal. He is a recipient of the IEEESignal Processing Society’s Technical Achievement Award for the year 2002.

Authorized licensed use limited to: Univ of Calif San Diego. Downloaded on December 27, 2008 at 03:54 from IEEE Xplore. Restrictions apply.