Escolar Documentos
Profissional Documentos
Cultura Documentos
3, MARCH 2012
Blind Channel Shortening for
Space-Time-Frequency Block Coded
MIMO-OFDM Systems
Donatella Darsena, Member, IEEE, Giacinto Gelli, Luigi Paura, Member, IEEE,
and Francesco Verde, Member, IEEE
AbstractThis paper deals with multiple-input multiple-
output (MIMO) broadband wireless communication systems,
employing orthogonal frequency-division multiplexing (OFDM)
with cyclic prex (CP) in combination with space-time-frequency
block coding (STFBC). In order to exploit the benets of OFDM
and STFBC in highly frequency-selective channels, without in-
curring in a signicant increase of receiver complexity, a channel
shortening prelter is inserted at the receiver, aimed at reducing
the length of the MIMO channel impulse response before CP
removal. Two MIMO channel shorteners are proposed, both
relying on linearly-constrained minimization of the mean-output-
energy of the signal at the output of the channel shortener, where
the linear constraints are optimally chosen so as to maximize the
signal-to-noise ratio either at the output of the channel shortener
or at the input of the STFBC maximum-likelihood decoder.
Unlike other solutions proposed in the literature, these shortening
designs are blind ones, i.e., a priori knowledge of the MIMO
channel impulse response to be shortened is not required, and
can be carried out in closed-form, i.e., iterative computation of
the prelter weights is not necessary. Numerical simulations show
that, without a substantial increase in computational complexity,
receivers equipped with the proposed blind channel shorteners
pay only a negligible performance penalty with respect to non-
blind channel shorteners, while being signicantly more robust
to nite sample-size effects.
Index TermsBlind channel shortening, minimum-mean-
output-energy criterion, multiple-input multiple-output (MIMO)
systems, orthogonal frequency-division multiplexing (OFDM),
space-time-frequency block coding (STFBC).
I. INTRODUCTION
I
N frequency-selective channels, the use of multiple-
input multiple-output (MIMO) systems in combination
with cyclic-prexed orthogonal frequency-division multiplex-
ing (OFDM) is an efcient approach to support reliable
transmission at high data rates [1]. Recently, space-time-
frequency block coding (STFBC) schemes have been proposed
for MIMO-OFDM systems [2], [3], where coding is applied
across multiple OFDM blocks to jointly exploit spatial, tem-
poral, and frequency diversity. A proper design of the coding
Manuscript received January 19, 2011; revised September 10, 2011; ac-
cepted November 29, 2011. The associate editor coordinating the review of
this paper and approving it for publication was B. S. Rajan.
This work was supported in part by the Italian National Project DRIVE
IN
2
.
D. Darsena is with the Department for Technologies (DIT), Parthenope
University, Napoli I-80143, Italy (e-mail: darsena@uniparthenope.it).
G. Gelli, L. Paura, and F. Verde are with the Department of Biomedical,
Electronic and Telecommunication Engineering (DIBET), University Federico
II, Napoli I-80125, Italy (e-mail: {gelli, paura, f.verde}@unina.it).
Digital Object Identier 10.1109/TWC.2012.010312.110126
rule can assure a remarkable performance improvement over
the simpler space-time block coding (STBC) [4] and space-
frequency block coding (SFBC) techniques [5][8].
System modeling, code design, and performance analysis
of MIMO-OFDM systems employing STFBC are typically
developed by assuming that the length M
cp
of the cyclic
prex (CP) is greater than the order L
h
of the underlying
MIMO nite-impulse response (FIR) channel, i.e., M
cp
L
h
.
In such a case, the interblock interference (IBI) between
OFDM symbols can be eliminated by discarding the CP
before performing an M-point Discrete Fourier Transform
(DFT). However, fulllment of condition M
cp
L
h
could be
impractical for MIMO-OFDM systems operating over long
multipath channels, since the OFDM throughput efciency
M/(M+M
cp
) is signicantly decreased and, at the same time,
the complexity of STFBC maximum-likelihood (ML) decod-
ing, which exponentially grows with L
h
, might become very
large. Such a problem can be mitigated by means of channel
shortening (also referred to as time-domain equalization), a
preprocessing technique that partially equalizes the underlying
MIMO channel, so that the order L
eff
of the shortened impulse
response is not greater than M
cp
, i.e., L
eff
M
cp
< L
h
.
In the literature, many non-blind channel-shortening algo-
rithms [9][15] have been proposed for single-input single-
output (SISO) OFDM systems, some of which have also
been extended [16][18] to MIMO channels. These techniques
require a priori knowledge of the impulse responses of the
channels to be shortened, which can be obtained via the trans-
mission of training sequences. The amount of training to be
used increases with L
h
, which, for highly dispersive channels,
leads to considerable waste of resources. Furthermore, in the
MIMO case, channel estimation is signicantly more compli-
cated [19] than in the SISO one. A viable alternative is to
shorten the channel in blind mode, by deriving the parameters
of the channel-shortening prelter directly from the received
data, without performing any explicit channel-estimation pro-
cedure. Blind FIR channel-shortening techniques for SISO-
OFDM systems have been developed in [20][23], some of
which have been generalized [24], [25] to MIMO-OFDM
systems. These techniques are based on optimization of mul-
timodal heuristic cost functions, which do not admit closed-
form solutions in the presence of noise; hence, they must be
solved by means of iterative procedures, whose local and/or
global convergence is not always ensured. Recently, blind
channel-shortening algorithms for CP-based OFDM systems
1536-1276/12$31.00 c 2012 IEEE
DARSENA et al.: BLIND CHANNEL SHORTENING FOR SPACE-TIME-FREQUENCY BLOCK CODED MIMO-OFDM SYSTEMS 1023
TABLE I
MAIN MODEL PARAMETERS.
Notation Description
M Number of subcarriers
NT Number of transmit antennas
NR Number of receive antennas
K Time dimension (in OFDM symbols) of a codeword
B Number of information symbols borne in a codeword
Mcp CP length
P OFDM symbol length (= Mcp +M)
T Sampling period
Ts OFDM symbol period
Q Oversampling factor
L
h
Channel order
NV Number of virtual receiving antennas (= QNR)
2
v
Noise variance
Le Channel-shortener order
Lg Order of the channel cascade with the channel-shortener (= L
h
+Le)
s Channel-shortening delay
Leff Effective order of the combined channel-prelter impulse response
e Signal preserving delay
operating over single-input multiple-output (SIMO) channels
(which arise either by employing multiple receiving antennas
or by oversampling the received signal) have been proposed,
which rely on the zero-forcing (ZF) [26] or the constrained
minimum-mean-output-energy (MMOE) criterion [27] and,
thereby, admit closed-form FIR solutions. In particular, in
the presence of noise, the MMOE channel shortener performs
signicantly better than the ZF one, exhibiting also a lower
computational complexity.
In this paper, we propose to extend the MMOE channel-
shortening approach of [27] to a MIMO system employing
STFBC. The case of a MIMO-OFDM scheme with spatial
multiplexing has been considered in [28], by assuming that
independent symbols are transmitted over different antennas
to increase the data rate. To extend and complete the results in
[28], the conditions assuring perfect FIR channel shortening
are derived herein, which enlighten interesting relationships
between the main parameters of the MIMO-OFDM system.
Moreover, it is shown that, in the presence of noise, the linear
constraints incorporated in the MMOE solution can be blindly
optimized by means of the maximum signal-to-noise ratio
(SNR) criterion, applied either at the output of the channel
shortener or at the input of the STFBC ML decoder.
The paper is organized as follows. Section II describes
the MIMO-OFDM system model with channel shortening. In
Section III, the constrained MMOE criterion is introduced and
its blind channel-shortening capabilities are analyzed in the
noiseless case, whereas Section IV discusses the two different
maximum-SNR blind constraint designs in the presence of
noise. Monte Carlo computer simulation results, in terms of
bit-error-rate (BER), are presented in Section V, followed by
concluding remarks in Section VI.
A. Notations
The elds of complex, real, and integer numbers are denoted
with C, R, and Z, respectively; matrices [vectors] are denoted
with upper [lower] case boldface letters (e.g., Aor a); the eld
of mn complex [real] matrices is denoted as C
mn
[R
mn
],
with C
m
[R
m
] used as a shorthand for C
m1
[R
m1
]; the
superscripts , T, H, 1, and denote the conjugate, the
transpose, the conjugate transpose, the inverse, and the Moore-
Penrose generalized inverse [30] of a matrix, respectively;
{A}
ij
indicates the (i+1, j+1)th element of A C
mn
, with
i {0, 1, . . . , m 1} and j {0, 1, . . . , n 1}; 0
m
R
m
,
O
mn
R
mn
, and I
m
R
mm
denote the null vector,
the null matrix, and the identity matrix, respectively; trace(A)
denotes the trace of A C
nn
; rank(A), R(A), and R
(A)
denote the rank, the range (column space), and the orthogonal
complement of the column space of A C
mn
in C
m
;
A
2
trace(AA
H
) is the squared (Frobenius) norm of
A C
mn
; nally, j
1 is the imaginary unit and the
operator E[ ] denotes ensemble averaging.
II. THE MIMO-OFDM TRANSCEIVER MODEL WITH
CHANNEL SHORTENING
Let us consider the baseband equivalent model of a MIMO-
OFDM system, whose main parameters are summarized in
Table I. The system employs channel-independent STFBC
of rate B/(KM), wherein the ith block of B information
symbols is encoded over N
T
transmit antennas, K consecutive
OFDM symbols, and M subcarriers into the matrix codeword
C(i) C
(KM)NT
, whose (k + 1, )th block c
(k)
(i) C
M
is the code vector transmitted by the th antenna in the
(iK +k)th OFDM symbol interval, with {1, 2, . . . , N
T
}
and k {0, 1, . . . , K 1}. Such a framework is general and
subsumes different transmit diversity rules: for instance, the
full-rate Alamouti code [29] corresponds to setting B = 2 M,
N
T
= 2, K = 2, c
(1)
2
(i) = c
(0)
1
(i)
, and c
(1)
1
(i) = c
(0)
2
(i)
;
moreover, simple spatial multiplexing, wherein M N
T
data
symbols are directly mapped into different antennas and
subcarriers, can be obtained as a limiting case for K = 1.
Each code vector c
(k)
(i) [u
(k,0)
(i), u
(k,1)
(i), . . . , u
(k,P1)
(i)]
T
C
P
, with
1024 IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS, VOL. 11, NO. 3, MARCH 2012
P M + M
cp
. The sequence u
(k,p)
=0
H() u(n ) +v(n) (1)
where H() C
NV NT
is the matrix representation of the
oversampled MIMO channel, the entries u
C
NR
, the input-output relationship of the MIMO channel
shortener is y(n) =
Fr(n), where
F C
NRNV (Le+1)
is
the channel-shortening matrix (to be designed according to
a certain optimization criterion), and the augmented vector
r(n) [r
T
(n), r
T
(n 1), . . . , r
T
(n L
e
)]
T
C
NV (Le+1)
can be expressed as
r(n) =
H u(n) + v(n) (2)
where the block Toeplitz channel matrix
H is shown at the
top of the next page, with L
g
L
e
+ L
h
, whereas u(n)
[u
T
(n), u
T
(n 1), . . . , u
T
(n L
g
)]
T
C
NT (Lg+1)
and
v(n) [v
T
(n), v
T
(n 1), . . . , v
T
(n L
e
)]
T
C
NV (Le+1)
.
By (2), the channel-shortener output becomes
y(n) =
G u(n) +
d(n) (4)
where the matrix
G
F
H C
NRNT (Lg+1)
collects all the
taps of the combined MIMO channel-prelter response, and
d(n) = [
d
1
(n),
d
2
(n), . . . ,
d
NR
(n)]
T
F v(n) C
NR
is the
noise contribution at the channel-shortener output. Perfect [31]
(or ideal) channel shortening amounts to design the MIMO
channel shortener such that the shortened impulse response is
FIR of order L
eff
M
cp
< L
h
, which assures perfect IBI
cancellation through CP removal. In matrix terms, this goal is
obtained by choosing
F such that
G has the target form
G
target
[O
NR(NT s)
,
G
win
, O
NRNT (LgsLeff)
] (5)
where
s
{0, 1, . . . , L
g
L
eff
} is a suitable channel-
shortening delay and
G
win
C
NRNT (Leff +1)
contains the
samples of the shortened channel impulse response.
1
By
partitioning (3) as
H = [
H
0
,
H
1
, . . . ,
H
Lg
], with
H
d
C
NV (Le+1)NT
for d {0, 1, . . . , L
g
}, the channel-shortener
output can be written as
y(n) =
Lg
d=0
F
H
d
u(n d) +
d(n) (6)
which shows that, to satisfy (5), matrix
F can be designed so
as to preserve in (6) the L
eff
+ 1 desired signal contributions
u(n
s
), u(n
s
1), . . . , u(n
s
L
eff
) while, at
the same time, canceling out all the remaining undesired ones.
This task could be accomplished using different criteria, such
as the ZF one, which imposes a set of linear equations on
FR
rr
F
H
) (7)
where R
rr
E[r(n) r
H
(n)] C
NV (Le+1)NV (Le+1)
is the
autocorrelation matrix of the received data, under suitable
constraints aimed at preserving the desired signal contributions
at the output of the channel shortener. Assuming that the zero-
mean noise vector v(n) is statistically independent of u(n)
with R
v v
E[ v(n) v
H
(n)] =
2
v
I
NV
, and accounting for
(2), it results that R
rr
=
HR
u u
H
H
+
2
v
I
NV (Le+1)
, with
R
u u
E[ u(n) u
H
(n)] C
NT (Lg+1)NT (Lg+1)
being the
nonsingular autocorrelation matrix
2
of the transmitted signal.
In the SIMO context [27], it has been proven that this blind
constrained MMOE approach allows one to achieve perfect
channel shortening in the limit of vanishingly small noise.
In our MIMO setting, the blind constraints are designed,
similarly to [27], [28], by exploiting the block Toeplitz
structure (3) of
H, according to which each matrix
H
d
,
for 0 d min(L
e
, L
h
), with L
e
> M
cp
, can be
linearly parameterized as
H
d
=
d
K
d
, where
d
=
[I
NV (d+1)
, O
T
NV (Led)NV (d+1)
]
T
R
NV (Le+1)NV (d+1)
is
a known full-column rank matrix satisfying
T
d
d
=
I
NV (d+1)
, whereas K
d
= [H
T
(d), H
T
(d1), . . . , H
T
(0)]
T
C
NV (d+1)NT
contains samples of the impulse responses
1
We assume that the MIMO channel shortener introduces the same delay
s for all the transmit antennas. Even though a better design could be devel-
oped by allowing different shortening delays, the computational complexity
would be correspondingly higher.
2
The matrix R
u u
is time-invariant, provided that Lg < M [21], [26],
[27].
DARSENA et al.: BLIND CHANNEL SHORTENING FOR SPACE-TIME-FREQUENCY BLOCK CODED MIMO-OFDM SYSTEMS 1025
C
[NV (Le+1)][NT (Lg+1)]
(3)
of the channels to be shortened.
3
At this point, let
us choose a particular signal preserving delay
e
{0, 1, . . . , min(L
e
, L
h
)} and impose that the corresponding
vector u(n
e
) is one of the desired signal contributions.
Consequently, eq. (6) can be rewritten as
y(n) =
F
e
K
e
u(n
e
)
+
Lg
d = 0
d = e
F
H
d
u(n d) +
d(n) . (8)
To preserve u(n
e
) at the channel shortener output, we
impose the matrix linear constraint
F
e
= , where
C
NRNV (e+1)
is a given matrix of constraint values, whose
choice will be discussed in the next section; in this way, the
signal vector u(n
e
) is passed to the output of the channel
shortener with gain K
e
. Therefore, the MMOE constrained
optimization problem can be expressed as
F
mmoe
= arg min
F
trace
_
FR
rr
F
H
_
s.t.
F
e
= (9)
whose solution is given by (see [35])
F
mmoe
F
mmoe
(10)
where F
mmoe
C
NV (e+1)NV (Le+1)
is given by
F
mmoe
_
T
e
R
1
rr
e
_
1
T
e
R
1
rr
. (11)
The matrix F
mmoe
can also be rewritten as [27], [34]
F
mmoe
=
T
e
_
I
NV (Le+1)
R
rr
T
e
_
e
R
rr
T
e
_
1
e
_
(12)
with the rows of
e
R
NV (Lee)NV (Le+1)
forming an
orthonormal basis for the null space of
T
e
, i.e.,
e
e
=
O
NV (Lee)NV (e+1)
, i.e., R(
T
e
) R
(
e
).
4
A key observation is that, besides u(n
e
), all the signal
vectors u(nd), for d {0, 1, . . . ,
e
1}, are also preserved
by the constraint in (9), since it can be theoretically proven
that all the columns of the submatrices
H
0
,
H
1
, . . . ,
H
e1
belong to the column space of
e
; hence, the corresponding
signal contributions u(n), u(n1), . . . , u(n
e
1) are also
passed to the output of the channel shortener with a xed gain.
This fact is formally stated by the following theorem, which
enlightens the channel-shortening capabilities of the proposed
MMOE approach:
3
Contrary to the SIMO case [27], oversampling of the received signal is
not indispensable in the MIMO context to obtain a composite channel matrix
with a block Toeplitz structure and, thus, factorization
H
d
=
d
K
d
holds
even when Q = 1.
4
Throughout the paper, we assume, without loss of generality, that
e
is semi-unitary, i.e.,
e
T
e
= I
N
V
(Lee)
.
Theorem 1: Given
e
{0, 1, . . . , min(L
e
, L
h
)}, let
us decompose
H = [
H
win
,
H
wall
], with
H
win
[
H
0
,
H
1
, . . . ,
H
e
] C
NV (Le+1)NT (e+1)
and
H
wall
[
H
e+1
,
H
e+2
, . . . ,
H
Lg
] C
NV (Le+1)NT (Lge)
. As-
sume N
V
> N
T
and the following conditions to hold:
(c1) N
V
(L
e
e
) N
T
(L
g
e
);
(c2) rank(
H
wall
) = N
T
(L
g
e
).
Then, for
2
v
0, the combined channel-prelter matrix
G
mmoe
F
mmoe
H assumes the target form (5), with
s
= 0,
L
eff
=
e
, and
G
win
=
T
e
H
win
, for any nonzero .
Proof: Substituting R
rr
=
HR
u u
H
H
+
2
v
I
NV (Le+1)
in (12), remembering that R(
T
e
) R
(
e
) and
T
e
= I
NV (Lee)
, and using the limit formula for
the Moore-Penrose inverse [37], one obtains
lim
2
v
0
G
mmoe
=
T
e
H
_
I
NT (Lg+1)
(
e
H)
(
e
H)
_
(13)
which shows that the asymptotic expression of
G
mmoe
does not
depend on R
u u
, provided that such a matrix is nonsingular. It
is seen by direct inspection that R
(
e
) R
(
e
) =
R(
T
e
), for {0, 1, . . . ,
e
}, and, hence, it results that
H
e
=
e
e
K
e
= O
NV (Lee)NT
,
which leads to
e
H
win
= O
NV (Lee)NT (e+1)
. There-
fore,
e
H = [O
NV (Lee)NT (e+1)
,
e
H
wall
] and
(
e
H)
= [O
NV (Lee)NT (e+1)
, {(
e
H
wall
)
}
T
]
T
,
which can be substituted in (13), thus obtaining
lim
2
v
0
G
mmoe
=
T
e
[
H
win
,
H
wall
]
_
I
NT (e+1)
O
NT (e+1)NT (Lge)
O
NT (Lge)NT (e+1)
O
NT (Lge)NT (Lge)
_
=
_
T
e
H
win
, O
NRNT (Lge)
_
(14)
where, since the matrix
e
H
wall
is full-column
rank by assumption, we have used the fact that
(
e
H
wall
)
(
e
H
wall
) = I
NT (Lge)
. The proof
concludes by comparing (14) with (5) for
s
= 0.
It is worth noticing that (c2) is not a restrictive assumption
since, if (c1) is met, any matrix
H with nonzero statistically
independent entries drawn from a continuous probability dis-
tribution will satisfy it with probability one. Some remarks
regarding the implications of Theorem 1 are now in order.
Remark 1: A sufcient condition to assure perfect channel
shortening, in the high SNR regime, is that the number of
virtual receive antennas N
V
= QN
R
is strictly greater than
the number of transmit antennas N
T
. This means that, for
MIMO systems with N
T
= N
R
, oversampling at the receiver
(Q > 1) is needed to shorten all the underlying channels. On
the other hand, if N
R
> N
T
, perfect channel shortening may
be achieved even without oversampling (Q = 1).
1026 IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS, VOL. 11, NO. 3, MARCH 2012
Remark 2: Remembering that L
g
= L
e
+ L
h
and N
V
=
QN
R
, condition (c1) imposes the following upper bound on
the order of the MIMO channel to be shortened:
L
h
(L
e
e
)
_
QN
R
N
T
1
_
. (15)
Remarkably, for a given pair (N
T
, N
R
), only an upper bound
(rather than the exact value) of L
h
is required to select suitable
values of
e
, Q, and L
e
. In particular, for a xed value of
L
e
e
, inequality (15) shows that oversampling (Q > 1),
although it is not strictly necessary when N
R
> N
T
, allows
one to shorten longer channels.
Remark 3: As to the choice of
e
, it is apparent from (15)
that, for a given value of Q, the upper bound on L
h
linearly
increases with L
e
e
. Therefore, one could conclude that the
choice
e
= 0 is preferable, since, in this case, the proposed
MMOE channel shortener is asymptotically able to shorten
longer channels. With this choice, one attains the minimum
order L
eff
= 0 of the shortened channel impulse response,
which amounts to let the channel shortener completely sup-
press IBI. However, in noisy environments, the order of the
shortened channel impulse response must be traded-off against
noise enhancement at the equalizer output. Indeed, as shown in
[27], for low-to-moderate values of the SNR, the best choice is
e
= M
cp
, and, hence, L
eff
= M
cp
, which amounts to shorten
the channel up to the maximum length for which CP removal
is still effective.
Remark 4: Our numerical simulations (see Section V) show
that Theorem 1 accurately predicts the channel shortening
capability of the MMOE channel shortener not only in the
high-SNR regime, but also for moderate SNR values, for
which the received MIMO-OFDM signal dominates the noise.
IV. BLIND OPTIMIZATION OF THE CONSTRAINT MATRIX
G
win
, O
NRNT (LgLeff )
],
as given by (5) for L
eff
= M
cp
and
s
= 0, with
G
win
=
F
mmoe
H
win
. Hence, by substituting in (4), we get
y(n) =
F
mmoe
r(n) =
G
win
u
win
(n) +
d(n) (16)
where u
win
(n) [u
T
(n), u
T
(n 1), . . . , u
T
(n L
eff
)]
T
C
NT (Mcp+1)
. It can be observed that, in general, the noise
d(n) =
F
mmoe
v(n) at the output of the MMOE channel
shortener is spatially colored, since its autocorrelation matrix
is R
d
E[
d(n)
d
H
(n)] =
2
v
F
mmoe
F
H
mmoe
C
NRNR
.
To simplify the subsequent ML decoding process without
incurring a signicant performance loss, we impose on
F
mmoe
the following design constraint: (c3) the matrix
F
mmoe
, which
has more columns than rows by construction, is semi-unitary,
i.e.,
F
mmoe
F
H
mmoe
= I
NR
, which implies F
mmoe
F
H
mmoe
H
=
I
NR
. This condition ensures that R
d
=
2
v
I
NR
and, thus,
accounting for the two-stage structure of
F
mmoe
, matrix has
to satisfy the constraint F
mmoe
F
H
mmoe
H
= I
NR
.
A. Design 1: SNR maximization at the output of the channel
shortener
A rst strategy to blindly design relies on maximization
of the SNR at the channel-shortener output which, accounting
for (16), can be expressed as
SNR
1
E
_
_
_
_
G
win
u
win
(n)
_
_
_
2
_
E[
d(n)
2
]
=
trace
_
G
win
R
uwin
uwin
G
H
win
_
trace
_
R
d
_
(17)
where R
uwin
uwin
E[ u
win
(n) u
H
win
(n)]
C
NT (Mcp+1)NT (Mcp+1)
. Since, by (16), it results that
F
mmoe
R
rr
F
H
mmoe
=
G
win
R
uwin
uwin
G
H
win
+ R
d
, by
substituting in (17), one has
SNR
1
trace
_
F
mmoe
R
rr
F
H
mmoe
_
trace
_
R
d
_ 1 . (18)
Assuming that (c3) holds, and recalling that
F
mmoe
= F
mmoe
,
maximizing (18) with respect to reduces to solving the
following constrained maximization problem:
1
= arg max
trace
_
F
mmoe
R
rr
F
H
mmoe
H
_
s.t. F
mmoe
F
H
mmoe
H
= I
NR
. (19)
Since F
mmoe
C
NV (Mcp+1)NV (Le+1)
is full-row rank for
all the SNR values of practical interest, i.e., rank(F
mmoe
) =
N
V
(M
cp
+ 1), the solution of such an optimization problem
can be conveniently obtained by resorting [36], [37] to the
QR decomposition F
H
mmoe
=
Q
mmoe
R
mmoe
, where
R
mmoe
C
NV (Mcp+1)NV (Mcp+1)
is a nonsingular upper-triangular ma-
trix, and the columns of
Q
mmoe
C
NV (Le+1)NV (Mcp+1)
are orthonormal, i.e.,
Q
H
mmoe
Q
mmoe
= I
NV (Mcp+1)
. Following
this approach, the solution of (19) can be expressed as
1
=
1
(
R
H
mmoe
)
1
, where
1
C
NRNV (Mcp+1)
solves
the following optimization problem
1
= arg max
trace
_
Q
H
mmoe
R
rr
Q
mmoe
H
_
s.t.
H
= I
NR
(20)
and the adopted constraint is similar to the orthonormal-
ity constraint of [16]. It can be proven [37] that
1
=
[
1
,
2
, . . . ,
NR
]
H
, where
1
,
2
, . . . ,
NR
are the orthonor-
mal eigenvectors corresponding to the N
R
largest eigenvalues
DARSENA et al.: BLIND CHANNEL SHORTENING FOR SPACE-TIME-FREQUENCY BLOCK CODED MIMO-OFDM SYSTEMS 1027
of the matrix
Q
H
mmoe
R
rr
Q
mmoe
C
NV (Mcp+1)NV (Mcp+1)
.
Accounting for the QR decomposition of F
H
mmoe
, the pro-
posed channel-shortening matrix assumes the nal expression
F
mmoe,1
1
F
mmoe
=
1
Q
H
mmoe
. The computational burden
of synthesizing
F
mmoe,1
is evaluated in Table II, where a
comparison with the computational complexity of [16] is also
reported.
B. Design 2: SNR maximization at the input of the STFBC
ML decoder
In this subsection, we consider a different blind design of
the matrix , which is based on maximization of the SNR
at the input of the STFBC ML decoder. The rationale behind
such an alternative design is that, because of the non-reversible
CP removal carried out between the channel-shortener output
and the STFBC decoder input, maximizing the SNR at the
channel-shortener output (design 1) leads to a waste of the
available degrees of freedom, which are in part spent to
perform optimization over data that are irrelevant to STFBC
decoding.
In order to develop the design criterion, with refer-
ence to (16), we partition
F
mmoe
= [
f
1
,
f
2
, . . . ,
f
NR
]
H
,
with
f
C
NV (Le+1)
, and
G
win
= [g
1
, g
2
, . . . , g
NR
]
H
,
where g
H
= [g
H
,0
, g
H
,1
, . . . , g
H
,Leff
], with g
,
=
[g
,,1
, g
,,2
, . . . , g
,,NT
]
T
C
NT
, for {1, 2, . . . , N
R
}
and {0, 1, . . . , L
eff
}. Thus, the channel-shortener output
(16) at the th receive antenna can be written as
y
(n) =
f
H
r(n) = r
T
(n)
= g
H
u
win
(n) +
d
(n)
=
Leff
=0
g
H
,
u(n ) +
d
(n) . (21)
To recover the symbols belonging to the kth OFDM symbol
of the ith codeword, the signal y
(i) y
(i) [ y
(k,0)
(i), y
(k,1)
(i), . . . , y
(k,P1)
(i)]
T
C
P
. Since
L
eff
M
cp
, after removing the CP and carrying out the DFT,
one obtains [1] the IBI-free model
y
(k)
(i) W
DFT
R
cp
y
(k)
(i) = R
(k)
(i)
=
NT
=1
diag[c
(k)
(i)]
,
+d
(k)
(i)
= C
(k)
(i)
+d
(k)
(i) (22)
where {W
DFT
}
mp
1
M
e
j
2
M
mp
, with m, p
{0, 1, . . . , M 1}, represents the unitary symmetric DFT
matrix, the matrix R
cp
[O
MMcp
, I
M
] R
MP
discards
the rst M
cp
entries of y
(k)
C
PNV (Le+1)
gathering the received phases r
(k,p)
(i)
r[(iK +k)P +p], for i Z, k {0, 1, . . . , K 1}, and p
{0, 1, . . . , P 1}. In addition, the entries of the vector
,
[
,
(z
0
),
,
(z
1
), . . . ,
,
(z
M1
)] C
M
represent the
values of the conjugate combined channel-prelter transfer
functions
,
(z)
Leff
=0
g
,,
z
evaluated at z
m
e
j
2
M
m
, and we also dened d
(k)
(i) W
DFT
R
cp
d
(k)
(i),
with
d
(k)
(i) [
d
(k,0)
(i),
d
(k,1)
(i), . . . ,
d
(k,P1)
(i)]
T
C
P
collecting the noise phases
d
(k,p)
(i)
d
[
T
,1
,
T
,2
, . . . ,
T
,NT
]
T
C
MNT
.
The K blocks received at the th antenna
within the ith codeword are gathered in y
(i)
[y
(0)
(i)
T
, y
(1)
(i)
T
, . . . , y
(K1)
(i)
T
]
T
C
KM
, thus yielding
y
(i) = R(i)
= C(i)
+d
(i) (23)
where R(i) [R
(0)
(i)
T
, R
(1)
(i)
T
, . . . , R
(K1)
(i)
T
]
T
C
KMNV (Le+1)
, d
(i)
[d
(0)
(i)
T
, d
(1)
(i)
T
, . . . , d
(K1)
(i)
T
]
T
C
KM
, and C(i)
[C
(0)
(i)
T
, C
(1)
(i)
T
, . . . , C
(K1)
(i)
T
]
T
C
KMNT M
conveys the same information
5
of the codeword matrix C(i).
By dening the matrix Y(i) [y
1
(i), y
2
(i), . . . , y
NR
(i)]
C
KMNR
, the data at the input of the STFBC decoder are
given by
Y(i) = R(i)
F
T
mmoe
= C(i) +D(i) (24)
where D(i) [d
1
(i), d
2
(i), . . . , d
NR
(i)] C
KMNR
and
[
1
,
2
, . . . ,
NR
] C
NT MNR
collects all the
frequency responses of the shortened channels, which can be
estimated for instance by resorting to conventional training-
based channel-estimation techniques [19]. Based on (24), the
SNR at the input of the STFBC decoder can be dened as
SNR
2
E
_
_
_
C(i)
_
_
2
_
E
_
D(i)
2
_ =
trace
_
H
R
CC
_
trace (R
DD
)
(25)
where R
DD
E[D
H
(i) D(i)] C
NRNR
and R
CC
E[C
H
(i) C(i)] C
MNT MNT
is the autocorrelation ma-
trix of the STFBC codeword. By (24), it results that
mmoe
R
RR
F
T
mmoe
=
H
R
CC
+ R
DD
, where R
RR
E[R
H
(i) R(i)] C
NV (Le+1)NV (Le+1)
, hence, by substitut-
ing this last relation in (25), one has
SNR
2
trace
_
F
mmoe
R
RR
F
H
mmoe
_
trace (R
DD
)
1 . (26)
Observe that, by virtue of (c3), it turns out that trace(R
DD
) =
2
v
K M N
R
. Reasoning as in the previous subsection, and
recalling that
F
mmoe
= F
mmoe
, the value of maximizing
(26) can be expressed as
2
=
2
(
R
H
mmoe
)
1
, where
2
[
1
,
2
, . . . ,
NR
]
H
C
NRNV (Mcp+1)
is the solution of the
following constrained optimization problem
2
= arg max
trace
_
Q
H
mmoe
R
RR
Q
mmoe
H
_
,
s.t.
H
= I
NR
(27)
5
The matrix C(i) has the same form as C(i), but with the diagonal
matrices diag[c
(k)
(i).
1028 IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS, VOL. 11, NO. 3, MARCH 2012
TABLE II
COMPUTATIONAL COMPLEXITY OF THE MMOE CHANNEL SHORTENER (DESIGN 1) IN COMPARISON WITH THAT OF [16]. A SIMILAR EVALUATION CAN
BE CARRIED OUT FOR DESIGN 2.
Computational burden of evaluating Fmmoe given by (12).
Since both the matrices
e
and
e
can be pre-computed off-line, the synthesis of Fmmoe requires only the real-time computation of
the inverse of
e
R
rr
T
e
, which can consistently be estimated from the received data either in batch mode or adaptively (e.g., a fast
recursive least-square (RLS) algorithm for direct estimation of Fmmoe from the received data can be found in [27]). The computational
burden of the matrix inversion (
e
R
rr
T
e
)
1
involves:
O[N
3
V
(Le e)
3
] oating point operations (ops) [36] if one resorts to batch algorithms;
O[N
2
V
(Le e)
2
] ops per iteration if the RLS-like adaptive algorithm of [27] is employed.
As a comparison, the synthesis of the non-blind MMSE channel shortener proposed in [16] requires inversion of the matrix R
rr
, with
a higher computational complexity of:
O[N
3
V
(Le + 1)
3
] ops in batch mode;
O[N
2
V
(Le + 1)
2
] ops per iteration in RLS-based adaptive mode.
Computational burden of evaluating
1
given by (20).
The matrix
Qmmoe can be efciently obtained from F
H
mmoe
by performing N
V
(Mcp + 1) successive Givens or Householder rotations
(see [27] for details), which involves:
O[N
3
V
(Mcp + 1)
2
(Le + 1)] ops if computed from scratch;
O[N
2
V
(Le + 1)
2
] ops per iteration if evaluated recursively [36].
After computing
Qmmoe, the N
R
dominant eigenvectors of
Q
H
mmoe
R
rr
Qmmoe can be blindly estimated from the received data, either
in batch mode [36] or adaptively by adopting the projection approximation subspace tracking (PAST) algorithm [38] operating on the
transformed vector z(n)
Q
H
mmoe
r(n) C
N
V
(Mcp+1)
. Such operation requires:
O[N
3
V
(Mcp + 1)
3
] ops with batch algorithms;
O[N
R
N
V
(Mcp + 1)] ops per iteration with the PAST algorithm.
As a comparison, the synthesis of the constraint for the non-blind MMSE channel shortener of [16] involves:
O[N
3
T
(Mcp + 1)
3
] ops in batch mode;
O[N
2
T
(Mcp + 1)
2
] ops per iteration with the PAST algorithm.
Hence, in general, the computational complexity of evaluating
1
is slightly higher in batch mode, whereas it tends to be smaller when
the PAST algorithm is employed.
with
1
,
2
, . . . ,
NR
representing the orthonormal eigen-
vectors [37] corresponding to the N
R
largest eigen-
values of the Hermitian matrix
Q
H
mmoe
R
RR
Q
mmoe
C
NV (Mcp+1)NV (Mcp+1)
. Accounting for the QR decompo-
sition of F
H
mmoe
, the proposed channel-shortening matrix as-
sumes the nal expression
F
mmoe,2
2
F
mmoe
=
2
Q
H
mmoe
.
Interestingly, for a given
Q
mmoe
, the N
R
dominant eigenvalues
of
Q
H
mmoe
R
RR
Q
mmoe
can be blindly estimated from the
received data either in batch mode [36], or adaptively by
adopting the PAST algorithm [38] operating on the trans-
formed vector z(n)
Q
H
mmoe
r(n), as in design 1. Indeed,
evaluation of
2
essentially involves the same computational
complexity of
1
(see Table II).
V. NUMERICAL PERFORMANCE ANALYSIS
Theoretical performance analysis (e.g., BER or diversity or-
der evaluation) of the STFBC MIMO-OFDM ML transceivers
equipped with the proposed channel shorteners is a formidable
task, since the shortening matrices, for both designs, are
complicated functions of the physical channel coefcients.
Thus, in order to assess the system performances, we present
in this section the results of extensive Monte Carlo computer
simulations, aimed at evaluating the average BER (ABER) at
the output of the STFBC ML decoder.
The considered MIMO-OFDM system works at sampling
period T = 50 ns and employs N
T
= 2 antennas, M = 32
subcarriers, and a CP of length M
cp
= 8 samples. As
STFBC rule, we implemented the standard Alamouti code
[29] (see Section II), where the blocks c
(0)
1
(i) and c
(0)
2
(i)
are chosen as statistically independent of each other, with
i.i.d. entries drawn from a QPSK alphabet
_
2
j
1
2
_
.
For each {0, 1, . . . , L
h
}, the entries of the MIMO
channel matrix H() in (1) are generated as i.i.d. circularly
symmetric complex Gaussian random variables with zero
mean and variance
2
h
(), with H(
1
) and H(
2
) statistically
independent of each other for
1
=
2
. This channel model
complies with the widely accepted Rayleigh fading scenario
and, moreover, does not take into account both transmit
and receive correlation, as it is reasonable in rich scattering
environments [39]. Two channel proles are considered: an
uniform power delay prole (PDP) model, with
2
h
() =
1
L
h
+1
, for = 0, 1, . . . , L
h
, as well as an exponential one,
with
2
h
() =
1/Tm
L
h
k=0
2
h
(k)
e
(Tc/Tm)
, for = 0, 1, . . . , L
h
,
with delay spread set to T
m
= 300 ns. In addition to the
assumption already made in Section III, the noise v(n) is
modeled as a circularly symmetric complex Gaussian random
vector, with v(n
1
) and v(n
2
) statistically independent of each
other for n
1
= n
2
. For the purpose of channel estimation, the
OFDM signal piggybacks one training symbol per antenna.
Finally, according to (1), the received SNR is dened as
SNR
E
_
_
_
_
L
h
=0
H() u(n )
_
_
_
2
_
E
_
v(n)
2
_ =
L
h
=0
2
h
() N
T
2
v
.
(28)
We evaluated the performance of the system when the two
proposed blind channel shorteners referred to as MMOE-CS-
1 (design 1) and MMOE-CS-2 (design 2), respectively,
are used. In each of the 10
5
Monte Carlo runs carried out
DARSENA et al.: BLIND CHANNEL SHORTENING FOR SPACE-TIME-FREQUENCY BLOCK CODED MIMO-OFDM SYSTEMS 1029
10 15 20 25 30
10
7
10
6
10
5
10
4
10
3
10
2
10
1
SNR [dB]
A
v
e
r
a
g
e
B
E
R
Uniform power delay profile
w/o CS
MMSECS (est.)
MMOECS1 (est.)
MMOECS2 (est.)
MMOECS1 (exact)
MMOECS2 (exact)
MMSECS (exact)
w/o IBI
10 15 20 25 30
10
7
10
6
10
5
10
4
10
3
10
2
10
1
SNR [dB]
A
v
e
r
a
g
e
B
E
R
Exponential power delay profile
w/o CS
MMSECS (est.)
MMOECS1 (est.)
MMOECS2 (est.)
MMOECS1 (exact)
MMOECS2 (exact)
MMSECS (exact)
w/o IBI
Fig. 1. Average BER versus SNR for the scenario with oversampling (N
R
= 2, Q = 2).
(wherein, besides all the channel coefcients, independent
sets of noise and data sequences are randomly generated), an
independent record of 10
2
OFDM symbols was generated to
accurately evaluate the BER. We considered two scenarios:
in the rst scenario (with oversampling), N
R
= 2 antennas
are employed at the receiver and Q = 2; in the second
one (without oversampling), N
R
= 4 and Q = 1. In both
scenarios, the performances of our blind channel shorteners
are compared with those of the non-blind MMSE channel-
shortener of [16] (referred to as MMSE-CS), which requires
a priori knowledge (or estimation) of the channel matrix