Академический Документы
Профессиональный Документы
Культура Документы
Abstract—We propose adjustable phase shift pilots (APSPs) for Orthogonal frequency division multiplexing (OFDM) is a
channel acquisition in wideband massive multiple-input multiple- multi-carrier modulation technology suited for high data rate
arXiv:1511.03812v1 [cs.IT] 12 Nov 2015
output (MIMO) systems employing orthogonal frequency division wideband wireless transmission [7], [8]. Due to its robust-
multiplexing (OFDM) to reduce the pilot overhead. Based on
a physically motivated channel model, we first establish a ness to channel frequency selectivity and relatively efficient
relationship between channel space-frequency correlations and implementation, OFDM combined with massive MIMO is a
the channel power angle-delay spectrum in the massive antenna promising technique for wideband massive MIMO transmis-
array regime, which reveals the channel sparsity in massive sion [4]. As in conventional MIMO-OFDM, the performance
MIMO-OFDM. With this channel model, we then investigate of massive MIMO-OFDM is highly dependant on the quality
channel acquisition, including channel estimation and channel
prediction, for massive MIMO-OFDM with APSPs. We show of the channel acquisition. Pilot design and channel acquisition
that channel acquisition performance in terms of sum mean for massive MIMO-OFDM is of great practical importance.
square error can be minimized if the user terminals’ channel Optimal pilot design and channel acquisition for conven-
power distributions in the angle-delay domain can be made non- tional MIMO-OFDM has been extensively investigated in the
overlapping with proper phase shift scheduling. A simplified literature. The most common approach is to estimate the
pilot phase shift scheduling algorithm is developed based on
this optimal channel acquisition condition. The performance of channel response in the delay domain, and optimal pilots
APSPs is investigated for both one symbol and multiple symbol sent from different transmit antennas are typically assumed
data models. Simulations demonstrate that the proposed APSP to satisfy the phase shift orthogonality condition in both the
approach can provide substantial performance gains in terms of single-user case [9]–[11] and the multi-user case [12]. Note
achievable spectral efficiency over the conventional phase shift that such phase shift orthogonal pilots (PSOPs) have been
orthogonal pilot approach in typical mobility scenarios.
adopted in LTE [13]. When channel spatial correlations are
Index Terms—Adjustable phase shift pilots, massive MIMO- taken into account, optimal pilot design has been investigated
OFDM, channel estimation, channel prediction, channel acquisi-
for both the single-user case [14] and multi-user case [15].
tion, pilot phase shift scheduling.
Although these orthogonal pilot approaches can eliminate pilot
interference in the same cell, they do not take into account
I. I NTRODUCTION
the pilot overhead issue, which is thought to be one of the
properties: First, wireless channels are sparse in many typical in the angle-delay domain, and are convenient for further
propagation scenarios; most channel power is concentrated analyses.
in a finite region of delays and/or angles due to limited • With the presented channel model, we propose APSP-
scattering [16]–[19]. Such channel sparsity can be resolved based channel acquisition (APSP-CA) for massive
in the angle domain in massive MIMO due to the relatively MIMO-OFDM in TDD mode. For APSPs, equivalent
large antenna array apertures, which has been observed in channels for different UTs will experience corresponding
recent massive MIMO channel measurement results [20], cyclic shifts in the delay domain. Using this property,
[21]. Second, channel sparsity patterns, i.e., channel power we show that the sum mean square error (MSE) of
distributions in the angle-delay domain, for different UTs channel estimation (MSE-CE) can be minimized if the
are usually different.1 For APSPs, when the phase shifts UTs’ channel power distributions in the angle-delay do-
for pilots employed by different UTs are properly scheduled main can be made non-overlapping with proper pilot
according to the above channel properties, channel acquisition phase shift scheduling. Taking the time-varying nature of
can be achieved simultaneously in an almost interference-free the channel into account, we further investigate channel
manner as with conventional PSOPs. There has recently been prediction during the data segment using the received
increased research interest on utilizing channel sparsity for pilot signals. We show that the sum MSE of channel
channel acquisition in massive MIMO. For instance, a time- prediction (MSE-CP) can also be minimized if the UTs’
frequency training scheme [25] and a distributed Bayesian channel power distributions in the angle-delay domain
channel estimation scheme [24] were proposed for massive can be made non-overlapping with proper pilot phase
MIMO-OFDM by exploiting the channel sparsity. As the shift scheduling, which coincides with the optimal chan-
approaches in [24] and [25] focus on channel acquisition for a nel estimation condition. A simplified pilot phase shift
single UT, the corresponding pilot overhead would still grow scheduling algorithm is developed based on this optimal
linearly with the number of UTs. Channel sparsity has also channel acquisition condition. The proposed APSP-CA
been exploited to mitigate pilot contamination in multi-cell approach is investigated for cases involving both one
massive MIMO [26], [27]. Note that compressive sensing has symbol and multiple consecutive symbols.
been applied to sparse channel acquisition in some recent • The proposed APSP-CA is evaluated in several typical
works (see, e.g., [19], [22], [23], [28] and references therein), propagation scenarios, and significant performance gains
in which the corresponding pilot signals are usually assumed to in terms of achievable spectral efficiency over the conven-
be randomly generated. However, it is usually quite difficult to tional PSOP-based channel acquisition (PSOP-CA) are
implement random pilot signals in practical systems [29]. For demonstrated, especially in high mobility scenarios.
example, adopting large dimensional random pilot signals in Portions of this work previously appeared in the conference
the massive MIMO-OFDM systems considered here requires paper [32].
huge storage space and high complexity channel acquisition
algorithms. In addition, a low peak-to-average power ratio
(PAPR) for randomly generated pilot signals usually cannot A. Notations
be guaranteed. These drawbacks can be mitigated via proper We adopt
√ the following notation throughout the paper. We
design of the deterministic sensing matrices (see, e.g., [30], use ̄ = −1 to denote the imaginary unit. ⌊x⌋ (⌈x⌉) denotes
[31] and references therein). the largest (smallest) integer not greater (smaller) than x.
The main contributions of this paper are summarized as h·iN denotes the modulo-N operation. δ(·) denotes the delta
follows: function. Upper (lower) case boldface letters denote matrices
• Based on a physically motivated channel model, we (column vectors). The notation , is used for definitions. Nota-
establish a relationship between the space-frequency do- tions ∼ and ∝ represent “distributed as” and “proportional to”,
main channel covariance matrix (SFCCM) and the chan- respectively. We adopt IN to denote the N × N dimensional
nel power angle-delay spectrum for massive MIMO- identity matrix, and IN ×G to denote the matrix composed
OFDM. We show that when the number of BS antennas of the first G (≤ N ) columns of IN . We adopt 0 to denote
is sufficiently large, the eigenvectors of the SFCCMs for the all-zero vector or matrix. The superscripts (·)H , (·)T , and
different UTs tend to be equal, while the eigenvalues de- (·)∗ denote the conjugate-transpose, transpose, and conjugate
pend on the respective channel power angle-delay spectra, operations, respectively. The operator diag {x} denotes the
which reveals the channel sparsity in the angle-delay do- diagonal matrix with x along its main diagonal. We employ
main. Then we propose the angle-delay domain channel [a]i , [A]i,j and [A]i,: to denote the ith element of the vector
response matrix (ADCRM) and the corresponding angle- a, the (i, j)th element of the matrix A and the ith row of
delay domain channel power matrix (ADCPM), which the matrix A, respectively, where the element indices start
can model the massive MIMO-OFDM channel sparsity with 0. CM×N (RM×N ) denotes the M × N dimensional
complex (real) vector space. E {·} denotes the expectation
1 There has been recent work that considers channels with a sparse common operation. CN (a, B) denotes the circular symmetric complex
support [22], [23]. However, for massive MIMO channels, the common Gaussian distribution with mean a and covariance B. ⊗
support assumption might not hold due to the increased angle resolution and ⊙ denote the Kronecker product and Hadamard product,
[22], [24]. Thus, in this work we assume that the channel sparsity patterns of
different UTs are different (but not necessarily totally different), although the respectively. vec {·} represents the vectorization operation. FN
proposed APSP approach can also be applied to the common support cases. denotes the N -dimensional unitary discrete Fourier transform
YOU et al.: CHANNEL ACQUISITION FOR MASSIVE MIMO-OFDM WITH ADJUSTABLE PHASE SHIFT PILOTS 3
(DFT) matrix. FN ×G denotes the matrix composed of the first approach (see, e.g., [17], [36]–[39]), the channel response
G (≤ N ) columns
√ of FN . fN,q denotes the qth column of vector gk,ℓ,n ∈ CM×1 can be described as
N FN . We further
the matrix define the permutation matrix ∞ π/2
Ng −1
n 0 IN −hniN X Z Z n
ΠN , I 0 . The notation \ denotes the set gk,ℓ,n = vM,θ · exp −̄2π τ
hniN Tc
subtraction operation. q=0 −∞
−π/2
H
and Rk is the space-frequency domain channel covariance · FNc ×Ng ⊗ VM . (12)
matrix (SFCCM) given by
It is worth noting that the approximation in (12) is consistent
π/2
Ng −1 Z
X with existing results in the literature. For frequency-selective
H
Rk , [fNc ,q ⊗ vM,θ ] [fNc ,q ⊗ vM,θ ] single-input single-output channels, (12) agrees with the re-
q=0
−π/2
sults in [35], [42]. For frequency-flat massive MIMO channels,
AD the approximation given in (12) has been shown to be accurate
· Sk (θ, qTs ) dθ ∈ CMNc ×MNc . (8) enough for a practical number of antennas, which usually
In this work, we consider the widely accepted Clarke-Jakes ranges from 64 to 512 [27], [33], [43], [44], and a detailed
channel power Doppler spectrum,3 with the corresponding numerical example can be found in [27]. Since the SFCCM
channel TCF given by [40], [41] model given in (12) is a good approximation to the more
complex physical channel model in (8) when the number of
̺k (∆ℓ ) = J0 (2πνk Tsym ∆ℓ ) (9)
BS antennas is sufficiently large, we will thus exclusively use
where J0 (·) is the zeroth-order Bessel function of the first the simplified SFCCM model in (12) in the rest of the paper.
kind, and νk is the Doppler frequency of UT k. Note that Realistic wireless channels are usually not wide-sense sta-
the Clarke-Jakes power Doppler spectrum is an even function, tionary [17], i.e., Rk varies as time evolves, although with
i.e., ̺k (∆ℓ ) = ̺k (−∆ℓ ), and satisfies ̺k (0) = 1. Also, a relatively large time scale.4 In practice, acquisition of the
we assume that according to the law of large numbers, the large dimensional Rk is rather difficult and resource-intensive
channel elements exhibit a joint Gaussian distribution, i.e., for massive MIMO-OFDM. However, when we shift our focus
vec {Gk,ℓ } ∼ CN (0, Rk ). from the space-frequency domain to the angle-delay domain,
Before proceeding, we investigate in the following proposi- the problem can be significantly simplified. Motivated by the
tion a property of the large dimensional SFCCM, and present eigenvalue decomposition of the SFCCM given in (12), we
a relationship between the SFCCM and the power angle-delay decompose the SFCRM as follows
spectrum for massive MIMO-OFDM channels. Gk,ℓ = VM Hk,ℓ FTNc ×Ng (13)
Proposition 1: Define VM ∈ CM×M as [VM ]i,j , √1M ·
where
exp −̄2π i(j−M/2)
M , and Ωk ∈ RM×Ng as
H
Hk,ℓ = VM Gk,ℓ F∗Nc ×Ng ∈ CM×Ng (14)
[Ωk ]i,j , M Nc (θi+1 − θi ) · SAD
k (θi , τj ) (10)
is referred to as the angle-delay domain channel response
where θm , arcsin (2m/M − 1), and τn , nTs . Then when matrix (ADCRM) of UT k at OFDM symbol ℓ. In the
the number of antennas
M → ∞, the SFCCM Rk tends to following proposition, we derive a statistical property of the
H
FNc ×Ng ⊗ VM diag {vec {Ωk }} FNc ×Ng ⊗ VM in the ADCRM.
sense that, for fixed non-negative integers i and j, Proposition 2: For massive MIMO-OFDM channels, when
h the number of antennas M → ∞, elements of the ADCRM
lim Rk − FNc ×Ng ⊗ VM diag {vec {Ωk }} Hk,ℓ satisfy
M→∞
H i n
∗
o
· FNc ×Ng ⊗ VM = 0. (11) E [Hk,ℓ+∆ℓ ]i,j [Hk,ℓ ]i′ ,j ′
i,j
independent angle-delay domain channel elements, and thus time domain, thus existing low PAPR sequence designs can
can be estimated in an element-wise manner. Therefore, in be easily incorporated into our approach. In addition, as the
practice there will be enough resources for one to obtain an basic pilot matrix X can be predetermined, only X and the
estimate of Ωk with guaranteed accuracy. In the rest of the pilot phase shift indices rather than the entire pilot matrices
paper, we will assume that the ADCPMs of all the UTs are are required to be stored, and the required storage space can
known by the BS. be significantly reduced.
Before we conclude this section, we define the extended From (19), it can be readily obtained that, for ∀k, k ′ ∈ K,
ADCRM as follows
Xk′ XH
k = σxtr Dφk′ −φk (20)
H̄k,ℓ,(Nc ) , Hk,ℓ ITNc ×Ng
which indicates that cross correlations of the proposed APSPs
= Hk,ℓ 0M×(Nc −Ng ) ∈ CM×Nc . (16) for different UTs depend only on the associated phase shift
Similarly, the extended ADCPM, which corresponds to the difference. It is worth noting that, for conventional PSOPs,
power distribution of the extended ADCRM H̄k,ℓ,(Nc ) , is the phase shift differences for different pilots are set to satisfy
defined as the orthogonality condition |φk′ − φk | ≥ Ng ∀k ′ 6= k.
However, for our APSPs, the phase shifts for different pilots
Ω̄k,(Nc ) , Ωk ITNc ×Ng are adjustable, and pilots for different UTs can even share the
= Ωk 0M×(Nc −Ng ) ∈ RM×Nc . (17) same phase shift, which leads to more available pilots, and
thus pilot overhead can be significantly reduced.
Such definitions will be employed to simplify the analyses in
the following sections.
III. C HANNEL ACQUISITION WITH APSP S OVER O NE B. Channel Estimation with APSPs
S YMBOL
Based on the sparse massive MIMO-OFDM channel model In this section we investigate channel estimation during the
presented in the previous section, we propose APSP-CA pilot segment under the minimum MSE (MMSE) criterion
for massive MIMO-OFDM, including channel estimation and using the proposed APSPs. Direct MMSE estimation of the
prediction. In this section, we first investigate the case where SFCRM Gk,ℓ requires information about the large dimen-
the APSPs are sent over one OFDM symbol, while the multiple sional SFCCM Rk and a large dimensional matrix inversion,
symbol case will be investigated in the next section. which is difficult to implement in practice. However, with
the sparse massive MIMO-OFDM channel model presented
A. APSPs over One Symbol above, when we shift our focus from the space-frequency
domain to the angle-delay domain, channel estimation can
We assume that all the UTs are synchronized. During the UL be greatly simplified. The BS can first estimate the ADCRM
pilot segment, namely, the ℓth OFDM symbol of each frame, to obtain Ĥk,ℓ , then the SFCRM estimates can be readily
all the UTs transmit the scheduled pilots simultaneously, and obtained as Ĝk,ℓ = VM Ĥk,ℓ FTNc ×Ng via exploiting the
the space-frequency domain signal received at the BS can be unitary equivalence between the angle-delay domain channels
represented as and the space-frequency domain channels given in (13), while
K−1
X the same MSE-CE performance can be maintained. In the
Yℓ = Gk′ ,ℓ Xk′ + Zℓ ∈ CM×Nc (18) following, we focus on estimation of the ADCRM Hk,ℓ under
k′ =0 the MMSE criterion.
where [Yℓ ]i,j denotes the received pilot signal at the ith Recalling (13), the received pilot signal at the BS in (18)
antenna over the jth subcarrier, Gk,ℓ is the SFCRM defined in can be rewritten as
(3), Xk = diag {xk } ∈ CNc ×Nc denotes the frequency domain K−1
X
pilot signal sent from the kth UT, Zℓ is the additive white Yℓ = VM Hk′ ,ℓ FTNc ×Ng Xk′ + Zℓ . (21)
Gaussian noise (AWGN) matrix during the UL pilot segment k′ =0
with elements identically and independently distributed (i.i.d.) After decorrelation and power normalization of Yℓ , the BS
as CN (0, σztr ), and σztr is the noise power. can obtain an observation of the UL channel Hk,ℓ , given by
The proposed APSP over one OFDM symbol for a given (22) shown at the top of the next page, where (a) follows
UT k is given by from (20). Using the unitary transformation property, it can
√
Xk , σxtr diag {fNc ,φk } X, φk = 0, 1, . . . , Nc − 1 (19) be readily shown that the pilot noise term in (22) exhibits
| {z } a Gaussian distribution with i.i.d. elements distributed as
,Dφk CN (0, σztr /σxtr ), and (22) can be simplified as
where X = diag {x} ∈ CNc ×Nc satisfying XXH = INc is X φ ′ −φ 1
Yk,ℓ = Hk,ℓ + Hk′k,ℓ k + √ Ziid (23)
the basic pilot matrix shared by all UTs in the same cell, and ′
ρtr
k 6=k
σxtr is the pilot signal transmit power. The APSP signal given
√
in (19) can be seen as a phase shifted version of σxtr X where ρtr , σxtr /σztr is the signal-to-noise ratio (SNR)
with phase shift φk in the frequency domain. Note that the during the pilot segment, and Ziid ∈ CM×Ng is the normalized
proposed APSP has the same PAPR as that of X in the AWGN matrix with i.i.d. elements distributed as CN (0, 1).
6 IEEE TRANSACTIONS ON SIGNAL PROCESSING
1 H
Yk,ℓ = VM Yℓ XH ∗
k FNc ×Ng
σxtr
K−1
1 X 1
= Hk′ ,ℓ FTNc ×Ng Xk′ XH ∗
k FNc ×Ng + VH Zℓ XH ∗
k FNc ×Ng
σxtr σxtr M
k′ =0
(a) X 1
= Hk,ℓ + Hk′ ,ℓ FTNc ×Ng Dφk′ −φk F∗Nc ×Ng + H
VM Zℓ XH ∗
k FNc ×Ng (22)
σ
k′ 6=k | xtr {z }
| {z } pilot noise
P φ ′ −φ
pilot interference, k′ 6=k Hk′k,ℓ k
( 2 )
Note that the pilot interference term Hk′k,ℓ′
φ −φk
defined in (a) X NX
M−1 g −1
2 h
i
(22) satisfies = E [Hk,ℓ ]i,j − Ĥk,ℓ
i,j
i=0 j=0
φ −φk
Hk′k,ℓ′ = Hk′ ,ℓ FTNc ×Ng Dφk′ −φk F∗Nc ×Ng
X NX
M−1 g −1
[Ωk ]2i,j
= Hk′ ,ℓ ITNc ×Ng FTNc Dφk′ −φk F∗Nc INc ×Ng = [Ωk ]i,j − h i
PK−1 φk′ −φk 1
(a) i=0 j=0
k′ =0 Ωk′ + ρtr
= H̄k′ ,ℓ,(Nc ) FTNc Dφk′ −φk F∗Nc INc ×Ng i,j
(b) φ −φk
(28)
= H̄k′ ,ℓ,(Nc ) ΠNkc′ INc ×Ng (24)
where (a) follows from the orthogonality principle of MMSE
where (a) follows from (16), and (b) follows from the permu- estimation [47].
tation matrix definition given in Section I-A. Thus, the pilot Before we proceed, we define the sum MSE-CE of all the
φ −φ
interference term Hk′k,ℓ′ k in (23) is a column truncated ver- UTs as
sion of the extended ADCRM H̄k′ ,ℓ,(Nc ) with a cyclic column K−1
X
shift, where the shift factor depends on the corresponding pilot ǫCE , ǫCE
k . (29)
φ −φ
phase shift difference φk′ −φk . Thus elements of Hk′k,ℓ′ k can k=0
be readily obtained as Due to the incurred pilot interference, performance of the
APSP-based channel estimation might deteriorate. However,
h i [Hk′ ,ℓ ]i,hj−(φk′ −φk )iNc ,
φ −φ we will show in the following proposition that such effects can
Hk′k,ℓ′ k = hj − (φk′ − φk )iNc ≤ Ng − 1 (25)
i,j be eliminated with proper phase shift scheduling for different
0, else.
pilots.
Recalling Proposition 2, elements of the ADCRM Hk′ ,ℓ are Proposition 3: The sum MSE-CE ǫCE is lower bounded by
statistically uncorrelated. Consequently, elements of the pilot ( )
φ −φ
interference term Hk′k,ℓ′ k , a column truncated copy of Hk′ ,ℓ
K−1
X M−1 X NX g −1 2
[Ωk ]i,j
CE CE
ǫ ≥ε = [Ωk ]i,j −
with cyclic column shift, are also statistically uncorrelated. k=0 i=0 j=0
[Ωk ]i,j + ρ1tr
Thus, using the same methodology as in the previous section, (30)
the corresponding power matrix of the pilot interference term and the lower bound can be achieved under the condition that,
φ −φ
Hk′k,ℓ′ k can be defined as for ∀k, k ′ ∈ K and k 6= k ′ ,
n ∗ o
φ
φ −φ φ −φ φ −φ
Ωk′k′ k , E Hk′k,ℓ′ k ⊙ Hk′k,ℓ′ k Ω̄k,(Nc ) ΠφNkc ⊙ Ω̄k′ ,(Nc ) ΠNkc′ = 0. (31)
φ −φk Proof: See Appendix D.
= Ω̄k′ ,(Nc ) ΠNkc′ INc ×Ng (26)
Proposition 3 shows that with the proposed APSPs, the sum
which is a column truncated version of the extended ADCPM
MSE-CE can be minimized when phase shifts for different
Ω̄k′ ,(Nc ) defined in (17) with cyclic column shift φk′ − φk .
pilots are properly scheduled according to the condition given
With the channel observation Yk,ℓ in (23), and the fact that
in (31). The interpretation is very intuitive. With frequency
the angle-delay domain channel elements are uncorrelated as
domain phase shifted pilots, equivalent channels will exhibit
derived in Proposition 2, the MMSE estimate Ĥk,ℓ can be
corresponding cyclic shifts in the delay domain, as seen from
obtained in an element-wise manner as follows [47]
(24). If the equivalent channel power distributions in the angle-
h i [Ωk ]i,j delay domain for different UTs can be made non-overlapping
Ĥk,ℓ =P h i [Yk,ℓ ]i,j . (27)
i,j K−1
Ω
φk′ −φk
+ 1 after pilot phase shift scheduling, the pilot interference effect
′
k =0 k ′ ρtr i,j can be eliminated, and the sum MSE-CE can be minimized.
Let H̃k,ℓ = Hk,ℓ − Ĥk,ℓ be the angle-delay domain channel Wireless channels are approximately sparse in the angle-
estimation error of the kth UT, then the corresponding MSE- delay domain in many practical propagation scenarios, and
CE can be obtained as typically only a few elements of the ADCPM Ωk are dominant
( ) in massive MIMO-OFDM. When such channel sparsity is
X NX
M−1 g −1
h i 2
CE
ǫk , E H̃k,ℓ
properly taken into account, the equivalent angle-delay domain
i=0 j=0
i,j channels for different UTs are almost non-overlapping with
YOU et al.: CHANNEL ACQUISITION FOR MASSIVE MIMO-OFDM WITH ADJUSTABLE PHASE SHIFT PILOTS 7
2
)
high probability, assuming proper pilot phase shifts. This [Ωk ]i,j
·P h i . (32)
suggests the feasibility of the proposed APSPs for massive K−1 φk′ −φk
+ 1
k′ =0 Ωk′ ρtr
MIMO-OFDM. i,j
Note that performance of the proposed APSP approach In high mobility scenarios, the channel TCF satisfies
is related to the channel sparsity level. For the case where ̺k (∆ℓ ) → 0 for relatively large delay |∆ℓ |. When ̺k (∆ℓ ) <
channels of different UTs have a sparse common support with 1/2, i.e., 1 − 2̺k (∆ℓ ) > 0, it can be observed from (32)
s (≤ Ng ) representing the number of the columns containing that the sum MSE-CE expression ǫCE (∆ℓ ) is even larger than
PK−1 PM−1 PNg −1
non-zero elements in the ADCPM [22], [23], the maximum the sum channel power k=0 i=0 j=0 [Ωk ]i,j , and
number of UTs that can be served without pilot interference is channel estimation performance cannot be guaranteed, which
⌊Nc /s⌋. However, for practical wireless channels, most of the motivates the need for channel prediction.
channel elements in the angle-delay domain are close to zero,
and the condition in (31) usually cannot be satisfied exactly, For channel prediction, the BS utilizes the received pilot
which will lead to degradation of the channel acquisition signals as well as the channel TCF to get estimates of the
performance. In such cases, it is clear that the more sparse channels during the data segment. Under the MMSE criterion,
the channels are, the better performance can be achieved by with the angle-delay domain channel property of massive
the proposed APSP approach. MIMO-OFDM given in Proposition 2, it is not hard to show
Before we conclude this subsection, we remark here that that an estimate of the ADCRM Hk,ℓ+∆ℓ based on Yk,ℓ can
several existing pilot approaches satisfy the optimal condition be obtained in an element-wise manner as follows
given in Proposition 3. For the case where channel sparsity h i
property is not known, it is reasonable to assume that all Ĥk,ℓ+∆ℓ
i,j
the angle-delay domain channel elements are identically dis- [Ωk ]i,j
tributed, i.e., all the ADCPM elements are equal, in which = ̺k (∆ℓ ) P h i [Yk,ℓ ]i,j . (33)
K−1 φk′ −φk 1
case the optimal condition in (31) can be achieved when ′
k =0 Ω k ′ + ρtr
i,j
|φk − φk′ | ≥ Ng for ∀k 6= k ′ , i.e., the extended channels in
Recalling the pilot segment channel estimate in (27), it can be
the delay domain for different UTs are totally separated, which
coincides with the conventional PSOPs [12]. For frequency- seen that
flat massive MIMO channels, i.e., Nc = 1, the condition in Ĥk,ℓ+∆ℓ = ̺k (∆ℓ ) Ĥk,ℓ (34)
(31) can be achieved when Ωk ⊙ Ωk′ = 0 for ∀k 6= k ′ , i.e.,
which indicates that optimal channel estimates during the data
different UTs can share the same pilot when the respective
segment can be easily obtained via prediction with initial
channels have non-overlapping support in the angle domain,
channel estimates obtained during the pilot segment, and the
which coincides with previous works such as [33], [43]. In
complexity of channel prediction in massive MIMO-OFDM
our work, the proposed APSPs exploit the joint angle-delay
can be further reduced. Similar to (29), the sum MSE-CP for
domain channel sparsity in massive MIMO-OFDM, and are
a given delay ∆ℓ between the data symbol and pilot symbol
more efficient and general from the pilot overhead point of
can be defined as
view. ( )
K−1
X M−1X NX g −1
h i 2
CP
C. Channel Prediction with APSPs ǫ (∆ℓ ) , E Hk,ℓ+∆ℓ − Ĥk,ℓ+∆ℓ
i,j
k=0 i=0 j=0
In the previous subsection, we investigated channel es- (
timation during the pilot segment. Directly employing the
K−1 X NX
X M−1 g −1
E. Pilot Phase Shift Scheduling IV. C HANNEL ACQUISITION WITH APSP S OVER
In the previous subsections, we investigated channel estima- M ULTIPLE S YMBOLS
tion and prediction for massive MIMO-OFDM with APSPs,
and obtained the optimal pilot phase shift scheduling condition In the previous section, we investigated channel acquisition
applicable to both channel estimation and prediction. However, for massive MIMO-OFDM with the proposed APSPs over one
such an optimal condition cannot always be met in practice, OFDM symbol. Sometimes pilots over one symbol might be
but pilot phase shift scheduling can still be beneficial. Several not sufficient to accommodate a large number of UTs. In this
scheduling criteria can be adopted. For example, if we sched- section, we extend the use of APSPs to the case of multiple
ule the pilot phase shifts based on the MMSE-CE criterion, consecutive OFDM symbols.
the problem can be formulated as We assume that the pilots are sent over Q consecutive
OFDM symbols starting with the ℓth symbol in each frame.
arg min ǫCE (38)
{φk :k∈K} In practice, the pilot segment length Q is usually short, and
we adopt the widely accepted assumption that the channels
where ǫCE is defined in (29). Such a scheduling problem is remain constant during the pilot segment [10]–[12]. Then the
combinatorial, and optimal solutions must be found through an
received signals by the BS during the pilot segment can be
exhaustive search. Note that the optimal phase shift scheduling
written as
conditions for channel estimation and prediction are the same, K−1
thus solution of the problem (38) can also be expected to X
Yℓ,(Q) = Gk′ ,ℓ Xk′ ,(Q) + Zℓ,(Q)
perform well under the MMSE-CP criterion. k′ =0
YOU et al.: CHANNEL ACQUISITION FOR MASSIVE MIMO-OFDM WITH ADJUSTABLE PHASE SHIFT PILOTS 9
K−1 1
X + VH Zℓ,(Q) XH ∗
k,(Q) FNc ×Ng
= VM Hk′ ,ℓ FTNc ×Ng Xk′ ,(Q) σxtr Q M
k′ =0 K−1
(a) X
+ Zℓ,(Q) ∈ CM×Nc Q (40) = δ hφk′ iQ − hφk iQ · Hk′ ,ℓ FTNc ×Ng
k′ =0
where Yℓ,(Q) , [Yℓ Yℓ+1 . . . Yℓ+Q−1 ], Yℓ ∈ CM×Nc 1
represents the received pilot signal at the BS during the ℓth · D⌊φk′ /Q⌋−⌊φk /Q⌋ F∗Nc ×Ng + √ Ziid
ρtr Q
symbol, Xk,(Q) , [Xk,0 Xk,1 . . . Xk,Q−1 ] represents X
(b) ⌊φ /Q⌋−⌊φk /Q⌋
the pilot signals and Xk,q = diag {xk,q } ∈ CNc ×Nc represents = Hk,ℓ + δ hφk′ iQ − hφk iQ · Hk′ ,ℓk′
the signal sent from the kth UT during the qth symbol of the k′ 6=k
| {z }
pilot segment, Zℓ,(Q) is AWGN with i.i.d. elements distributed pilot interference
as CN (0, σztr ) and σztr is the noise power. 1
Recalling (19), the maximum adjustable phase shift for +√ Ziid (43)
ρtr Q
different pilots over one OFDM symbol is Nc − 1. For the | {z }
Q pilot symbol case, the maximum adjustable pilot phase pilot noise
shift can be extended to QNc − 1. By exploiting the modulo where (a) follows from (42), ρtr , σxtr /σztr is the pilot
operation, we construct the APSPs over multiple OFDM segment SNR, Ziid is the normalized AWGN matrix with i.i.d.
symbols as follows elements distributed as CN (0, 1), and (b) follows from (24).
p
Xk,(Q) , Q [U]hφk i ,: ⊗ X⌊φk /Q⌋ , With the channel observation Yk,ℓ,(Q) in (43), the MMSE
Q
estimate of the ADCRM Hk,ℓ can be readily obtained in an
φk = 0, 1, . . . , QNc − 1 (41) element-wise manner as (44) shown at the top of the next
where U is an arbitrary Q × Q dimensional unitary matrix, page, and the corresponding sum MSE-CE is given by (45)
and X⌊φk /Q⌋ is the APSP signal over one symbol defined in shown at the top of the next page, In addition, prediction of
(19). Then it can be obtained that, for ∀k, k ′ ∈ K, the ADCRM Hk,ℓ+∆ℓ based on Yk,ℓ,(Q) can be performed as
H (46) shown at the top of the next page, and the corresponding
Xk′ ,(Q) Xk,(Q) sum MSE-CP with a given delay ∆ℓ is given by (47) shown
= Q [U]hφk′ i ,: ⊗ X⌊φk′ /Q⌋ at the top of the next page.
Q
H Based on the above sum MSE-CE and MSE-CP expressions
· [U]hφk i ,: ⊗ X⌊φk /Q⌋ for the multiple symbol APSP case, we can readily obtain the
Q
following proposition.
(a) H
= Q [U]hφk′ i ,: [U]hφk i ,: ⊗ X⌊φk′ /Q⌋ XH ⌊φ /Q⌋
Proposition 5: The sum MSE-CE ǫCE (Q) is lower bounded by
Q Q k
( )
(b)
= σxtr Qδ hφk′ iQ − hφk iQ · D⌊φk′ /Q⌋−⌊φk /Q⌋ (42)
K−1
X M−1X NX g −1
[Ωk ]2i,j
CE CE
ǫ(Q) ≥ ε(Q) = [Ωk ]i,j −
[Ωk ]i,j + ρtr1Q
where (a) follows from the Kronecker product identities k=0 i=0 j=0
(A ⊗ B) (C ⊗ D) = (AC) ⊗ (BD) and (A ⊗ B) = AH ⊗
H (48)
BH [50], and (b) follows from (20). This shows that the and the sum MSE-CP ǫCP (Q) (∆ℓ ) for ∀∆ℓ is lower bounded by
available phase shifts for the Q symbol case are divided into ǫCP CP
(Q) (∆ℓ ) ≥ ε(Q) (∆ℓ )
Q groups for the proposed APSPs in (41), and the group index ( )
depends on the residue of the pilot phase shift φ with respect to
K−1 X NX
X M−1 g −1 2
̺2k (∆ℓ ) [Ωk ]i,j
= [Ωk ]i,j − . (49)
the pilot segment length Q. Pilot interference can only affect [Ωk ]i,j + 1
k=0 i=0 j=0 ρtr Q
the UTs using APSPs with phase shifts in the same group.
For example, if hφk′ iQ = hφk iQ , then phase shifts φk′ and Both the lower bounds in (48) and (49) can be achieved under
φk are within the same group, and the corresponding channel the condition that, for ∀k, k ′ ∈ K and k 6= k ′ ,
acquisition of UTs k ′ and k might be mutually affected. ⌊φ /Q⌋
Ω̄k,(Nc ) ΠNck
⌊φ /Q⌋
⊙ Ω̄k′ ,(Nc ) ΠNck′ = 0,
Given the APSP correlation property over multiple symbols
in (42), the channel estimation and prediction operations can when hφk iQ = hφk′ iQ . (50)
be performed similarly to the single-symbol case investigated Proof: The proof is similar to that of Proposition 3, and
in the previous section, and we will briefly discuss such issues is omitted for brevity.
below. Proposition 5 extends the single-symbol APSP case in the
After decorrelation and power normalization with Yℓ,(Q) previous section to the multiple symbol case. Actually, when
given in (40), the BS can obtain an observation of the pilot Q = 1, Proposition 5 reduces to the results in Proposi-
segment ADCRM Hk,ℓ as tion 3 and Proposition 4. The interpretation of Proposition
Yk,ℓ,(Q) 5 is straightforward. For multiple symbol APSPs, different
1 pilot phase shifts are divided into several groups, and pi-
= VH Yℓ,(Q) XH ∗
k,(Q) FNc ×Ng lot interference only affects the UTs using the phase shifts
σxtr Q M
K−1
within the same group. If pilot interference can be eliminated
1 X through proper phase shift scheduling in all the groups, then
= Hk′ ,ℓ FTNc ×Ng Xk′ ,(Q) XH ∗
k,(Q) FNc ×Ng
σxtr Q ′ optimal channel estimation and prediction performance can
k =0
10 IEEE TRANSACTIONS ON SIGNAL PROCESSING
h i [Ωk ]i,j
Ĥk,ℓ =P h i Yk,ℓ,(Q) i,j
(44)
i,j K−1 ⌊φ /Q⌋−⌊φk /Q⌋ 1
k′ =0 δ hφk′ iQ − hφk iQ Ωk ′ k ′ + ρtr Q
i,j
X NX
g −1
[Ωk ]2i,j
K−1
X M−1
ǫCE
(Q) = [Ωk ]i,j − P h i (45)
K−1 ⌊φ /Q⌋−⌊φk /Q⌋ 1
k=0 i=0 j=0
′
k =0 δ hφk′ iQ − hφk iQ Ωk′ k′ + ρtr Q
i,j
X NX
g −1 2
K−1
X M−1 ̺2k (∆ℓ ) [Ωk ]i,j
ǫCP
(Q) (∆ℓ ) = [Ωk ]i,j − P h i (47)
K−1 ⌊φ /Q⌋−⌊φk /Q⌋ 1
k=0 i=0 j=0
′
k =0 δ hφk′ iQ − hφk iQ Ωk′ k′ + ρtr Q
i,j
3 3 3
10 10 10
2 2 2
10 10 10
Average MSE
Average MSE
Average MSE
1 1 1
10 10 10
0 0 0
10 APSP, Q=1 10 APSP, Q=1 10 APSP, Q=1
APSP, Q=2 APSP, Q=2 APSP, Q=2
−1
PSOP, Q=3 −1
PSOP, Q=3 −1
PSOP, Q=3
10 10 10
−10 0 10 20 −10 0 10 20 −10 0 10 20
SNR (dB) SNR (dB) SNR (dB)
(a) SU (b) UMa (c) UMi
Fig. 2. Comparison of the pilot segment MSE-CE performance of APSPs and PSOPs. Results are shown versus the pilot SNR in several typical scenarios.
2 2 2
10 10 10
Average MSE
0 dB
Average MSE
Average MSE
0 dB 0 dB
1 20 dB 1 20 dB 1 20 dB
10 10 10
60 100
40 100
APSP, Type−B 50 APSP, Type−B APSP, Type−B
20 APSP, Type−A APSP, Type−A APSP, Type−A
PSOP, Type−A PSOP, Type−A PSOP, Type−A
0 0 50
−10 0 10 20 30 −10 0 10 20 30 −10 0 10 20 30
SNR (dB) SNR (dB) SNR (dB)
(a) SU (b) UMa (c) UMi
Fig. 4. Comparison of the achievable spectral efficiency between the APSP-CA and PSOP-CA approaches. For the APSP-CA approach, both type-A and
type-B frame structures are considered. Results are shown versus the SNR in several typical scenarios.
MIMO-OFDM with APSPs, and provided an optimal pilot We can also obtain that for matrices F ∈ CNc ×Ng and
phase shift scheduling condition applicable to both channel V ∈ CM×M , [F ⊗ V]i,j = [F]ni ,nj [V]mi ,mj from the
estimation and prediction. We further developed a simplified definition of the Kronecker product. With the above definitions
pilot phase shift scheduling algorithm based on this optimal and related properties, the proof can be obtained as follows:
channel acquisition condition with APSPs. The proposed
APSP-CA implemented over both one and multiple symbols
were investigated. Significant performance gains in terms of
h
achievable spectral efficiency were observed for the proposed lim
Rk − FNc ×Ng ⊗ VM diag {vec {Ωk }}
APSP-CA approach over the conventional PSOP-CA approach M→∞
H i
in several typical mobility scenarios. · FNc ×Ng ⊗ VM
i,j
MNg −1
A PPENDIX A X
D ERIVATION OF (6) = lim [Rk ]i,j − lim [vec {Ωk }]d
M→∞ M→∞
d=0
The derivation of (6) is detailed in (53), shown at the top ∗
· FNc ×Ng ⊗ VM i,d FNc ×Ng ⊗ VM j,d
of the next page, where (a) follows from (5), and (b) follows
Ng −1 M−1
from the definition of the delta function. (a) X X
= lim [Rk ]i,j − lim [Ωk ]md ,nd
M→∞ M→∞
nd =0 md =0
A PPENDIX B ∗ ∗
P ROOF OF P ROPOSITION 1 · FNc ×Ng ni ,n FNc ×Ng nj ,n [VM ]mi ,md [VM ]mj ,md
d d
Ng −1 M−1
We start by defining some auxiliary variables to simplify the (b) 1 X X
derivations. We define nd , ⌊d/M ⌋ and md , hdiM for an = lim [Rk ]i,j − lim M Nc
M→∞ M→∞ M Nc
arbitrary non-negative integer d. Note that the element indices n =0 m =0 d d
start from 0 in this paper. Then we can readily obtain that for · (θmd +1 − θmd ) SAD
k (θmd , τnd )
a matrix Ωk ∈ RM×Ng , the dth element of vec {Ωk } equals (ni − nj ) nd
the (md , nd )th element of Ωk , i.e., [vec {Ωk }]d = [Ωk ]md ,nd . · exp −̄2π
Nc
YOU et al.: CHANNEL ACQUISITION FOR MASSIVE MIMO-OFDM WITH ADJUSTABLE PHASE SHIFT PILOTS 13
E vec {Gk,ℓ+∆ℓ } vecH {Gk,ℓ }
π/2
∞ Z
NX
g −1 Z
=E [fNc ,q ⊗ vM,θ ] · exp (̄2πν (ℓ + ∆ℓ ) Tsym ) · gk (θ, qTs , ν) dθdν
q=0
−∞ −π/2
Ng −1 Z∞ Z π/2
X
H ′ ′ ′ ′ ′ ′
· [fNc ,q ⊗ vM,θ ] · exp (−̄2πν ℓTsym ) · gk (θ , q Ts , ν ) dθ dν
′ ′
q′ =0 −∞ −π/2
Ng −1 Ng −1 Z∞
X X Zπ/2 Z∞ Zπ/2
H
= [fNc ,q ⊗ vM,θ ] [fNc ,q′ ⊗ vM,θ′ ] · exp (̄2πν (ℓ + ∆ℓ ) Tsym ) · exp (−̄2πν ′ ℓTsym )
q=0 q′ =0 −∞
−π/2 −∞ −π/2
· SAD
k (θ, qTs ) · SDop
k (ν) · δ (θ − θ′ ) δ (q − q ′ ) δ (ν − ν ′ ) dθdνdθ′ dν ′
π/2
Ng −1 Z∞ Z
(b) X H Dop
= [fNc ,q ⊗ vM,θ ] [fNc ,q ⊗ vM,θ ] · exp (̄2πν∆ℓ Tsym ) · SAD
k (θ, qTs ) · Sk (ν) dθdν
q=0 −∞
−π/2
Z∞ π/2
Ng −1 Z
X H
= exp (̄2πν∆ℓ Tsym ) · SDop
k (ν) dν · [fNc ,q ⊗ vM,θ ] [fNc ,q ⊗ vM,θ ] · SAD
k (θ, qTs ) dθ (53)
−∞ q=0
−π/2
| {z } | {z }
̺k (∆ℓ ) Rk
(mi − mj ) (md − M/2) π/2
Ng −1 Z
· exp −̄2π X (ni − nj )
M − exp −̄2π r
π/2 r=0
Nc
Ng −1 Z −π/2
(c) X ∗
= [fNc ,q ⊗ vM,θ ]i [fNc ,q (q) ⊗ vM,θ ]j · exp (−̄π (mi − mj ) sin (θ)) · SAD
k (θ, τr ) dθ
q=0
−π/2 =0 (54)
Ng −1 M−1
X X where (a) follows from the definition of Kronecker product
· SAD
k (θ, qTs ) dθ − lim (θmd +1 − θmd )
M→∞
n =0 m =0
and the definitions of md and nd , (b) follows from (10) and
d d
the definitions of FNc ×Ng and VM , (c) follows from (8) and
(n i − nj ) nd
· SAD
k (θ m d
, τnd
) exp −̄2π the definitions of τn and θm , (d) follows from the definition
Nc of the Kronecker product, and (e) follows from (1) and the
· exp (−̄π (mi − mj ) sin (θmd )) fact that θ0 = −π/2 and θM = π/2.
π/2
Ng −1 Z
(d) X
= [fNc ,q ]ni [fNc ,q ]∗nj [vM,θ ]mi [vM,θ ]∗mj
q=0 Before concluding the proof, we also have to show that both
−π/2
of the limits in the first equation of (54) exist and are finite.
θM
Ng −1 Z
X (ni − nj ) For this purpose, as can be seen from (e) of (54), we only
· SAD
k (θ, τq ) dθ − exp −̄2π r need to show that
r=0 θ
Nc
0
Ng −1 Zπ/2
X (ni − nj )
· exp (−̄π (mi − mj ) sin (θ)) · SAD
k (θ, τr ) dθ
exp −̄2π q
q=0
Nc
π/2
Ng −1 Z −π/2
(e) X (ni − nj )
= exp −̄2π q
q=0
Nc AD
· exp (−̄π (mi − mj ) sin (θ)) · Sk (θ, τq ) dθ
−π/2
· exp (−̄π (mi − mj ) sin (θ)) · SAD
k (θ, τq ) dθ π/2
Ng −1 Z
(a) X (ni − nj )
≤ exp −̄2π q
q=0
Nc
−π/2
14 IEEE TRANSACTIONS ON SIGNAL PROCESSING
2
)
[Ωk ]i,j
SAD
· exp (−̄π (mi − mj ) sin (θ)) · k (θ, τq ) dθ − P h i
φ −φ
[Ωk ]i,j + k′ 6=k Ωk′k′ k + ρ1tr
i,j
π/2
Ng −1 Z ( )
X NX g −1 2
(b) K−1
X (ni − nj ) X M−1 [Ωk ]i,j
≤ exp −̄2π q ≥ [Ωk ]i,j − = εCE .
q=0
Nc [Ω ] + 1
−π/2 k=0 i=0 j=0 k i,j ρtr
(59)
SAD
· exp (−̄π (mi − mj ) sin (θ)) · k (θ, τq ) dθ
Furthermore, when the condition Ω̄k,(Nc ) ΠφNkc ⊙
π/2 φ
Ng −1 Z
X AD Ω̄k′ ,(Nc ) ΠNkc′ = 0 is satisfied, then with the same
= S (θ, τq ) dθ
k column permutation and column truncation, multiplications
q=0
−π/2 of the corresponding elements still equal zero, i.e.,
(c)
<∞ (55) Ω̄k,(Nc ) ΠφNkc Π−φ k
Nc INc ×Ng
φ
where
P (a)
follows from the triangle inequality ⊙ Ω̄k′ ,(Nc ) ΠNkc′ Π−φ
Nc
k
IN c ×N g = 0. (60)
N −1 PN −1
q=0 aq ≤ q=0 |aq |, (b) follows from the integral
R Rb Recalling the definition in (26) and exploiting the permu-
b
tation matrix property that ΠaN ΠbN = Πa+b
property a f (x) dx ≤ a
|f (x)| dx, and (c) follows N , the condition in
from the fact that the power angle-delay spectrum function (60) is equivalent to
SAD
k (θ, τ ), which represents the channel power in the Ωk ⊙ Ωk′k′
φ −φk
= 0. (61)
angle-delay domain, is bounded. This concludes the proof.
Then for ∀i, j,
Xh i 1
A PPENDIX C 2 φ −φk
[Ωk ]i,j [Ωk ]i,j + Ωk′k′ +
P ROOF OF P ROPOSITION 2 i,j ρtr
k′ 6=k
To show (15), it suffices to show that 2 1
= [Ωk ]i,j [Ωk ]i,j + (62)
E vec {Hk,ℓ+∆ℓ } vecH {Hk,ℓ }
ρtr
= ̺k (∆ℓ ) · diag {vec {Ωk }} . (56) which leads to
2 2
[Ωk ]i,j [Ωk ]i,j
From the definition of Hk,ℓ given in (14), we can obtain P h i = 1 . (63)
[Ωk ]i,j
φ −φ
+ k′ 6=k Ωk′k′ k + 1 [Ωk ]i,j + ρtr
ρtr
vec {Hk,ℓ } = FH H
Nc ×Ng ⊗ VM vec {Gk,ℓ } i,j
H Substituting (63) into (28), the MSE-CE expression ǫCE k re-
= FNc ×Ng ⊗ VM vec {Gk,ℓ } (57)
duces to
via employing the Kronecker product identities vec {ABC} = X NX
M−1 g −1
( 2
)
H [Ωk ]i,j
CT ⊗ A vec {B} and AH ⊗ BH = (A ⊗ B) [50]. CE
εk = [Ωk ]i,j − . (64)
Then it can be shown that i=0 j=0
[Ωk ]i,j + ρ1tr
E vec {Hk,ℓ+∆ℓ } vecH {Hk,ℓ } Then the minimum in (30) can be achieved. This concludes
(a) H the proof.
= FNc ×Ng ⊗ VM E vec {Gk,ℓ+∆ℓ } vecH {Gk,ℓ }
· FNc ×Ng ⊗ VM
R EFERENCES
(b) H
= ̺k (∆ℓ ) · FNc ×Ng ⊗ VM Rk FNc ×Ng ⊗ VM
[1] J. G. Andrews, S. Buzzi, W. Choi, S. V. Hanly, A. Lozano, A. C. K.
(c)
= ̺k (∆ℓ ) · diag {vec {Ωk }} (58) Soong, and J. C. Zhang, “What will 5G be?” IEEE J. Sel. Areas
Commun., vol. 32, no. 6, pp. 1065–1082, Jun. 2014.
where (a) follows from the fact that FNc ×Ng and VM are both [2] F. Boccardi, R. W. Heath, Jr., A. Lozano, T. L. Marzetta, and P. Popovski,
“Five disruptive technology directions for 5G,” IEEE Commun. Mag.,
deterministic matrices, (b) follows from (6), and (c) follows vol. 52, no. 2, pp. 74–80, Feb. 2014.
from Proposition 1. This concludes the proof. [3] C.-X. Wang, F. Haider, X. Q. Gao, X.-H. You, Y. Yang, D. Yuan, H. M.
Aggoune, H. Haas, S. Fletcher, and E. Hepsaydir, “Cellular architecture
and key technologies for 5G wireless communication networks,” IEEE
A PPENDIX D Commun. Mag., vol. 52, no. 2, pp. 122–130, Feb. 2014.
[4] T. L. Marzetta, “Noncooperative cellular wireless with unlimited num-
P ROOF OF P ROPOSITION 3 bers of base station antennas,” IEEE Trans. Wireless Commun., vol. 9,
φ −φk no. 11, pp. 3590–3600, Nov. 2010.
Due to the fact that the elements of Ωk′k′ are non- [5] E. G. Larsson, O. Edfors, F. Tufvesson, and T. L. Marzetta, “Massive
negative, we can obtain MIMO for next generation wireless systems,” IEEE Commun. Mag.,
( vol. 52, no. 2, pp. 186–195, Feb. 2014.
K−1 X NX
X M−1 g −1
[6] L. Lu, G. Y. Li, A. L. Swindlehurst, A. Ashikhmin, and R. Zhang,
CE
ǫ = [Ωk ]i,j “An overview of massive MIMO: Benefits and challenges,” IEEE J.
k=0 i=0 j=0
Sel. Topics Signal Process., vol. 8, no. 5, pp. 742–758, Oct. 2014.
YOU et al.: CHANNEL ACQUISITION FOR MASSIVE MIMO-OFDM WITH ADJUSTABLE PHASE SHIFT PILOTS 15
[7] L. J. Cimini, “Analysis and simulation of a digital mobile channel using [32] L. You, X. Q. Gao, A. L. Swindlehurst, and W. Zhong, “Adjustable
orthogonal frequency division multiplexing,” IEEE Trans. Commun., phase shift pilots for sparse massive MIMO-OFDM channels,” in Proc.
vol. 33, no. 7, pp. 665–675, Jul. 1985. IEEE SPAWC, Stockholm, Sweden, 2015, pp. 206–210.
[8] G. L. Stüber, J. R. Barry, S. W. Mclaughlin, Y. G. Li, M. A. Ingram, [33] L. You, X. Q. Gao, X.-G. Xia, N. Ma, and Y. Peng, “Pilot reuse for
and T. G. Pratt, “Broadband MIMO-OFDM wireless communications,” massive MIMO transmission over spatially correlated Rayleigh fading
Proc. IEEE, vol. 92, no. 2, pp. 271–294, Feb. 2004. channels,” IEEE Trans. Wireless Commun., vol. 14, no. 6, pp. 3352–
[9] Y. G. Li, “Simplified channel estimation for OFDM systems with 3366, Jun. 2015.
multiple transmit antennas,” IEEE Trans. Wireless Commun., vol. 1, [34] O. Edfors, M. Sandell, J.-J. van de Beek, S. K. Wilson, and P. O.
no. 1, pp. 67–75, Jan. 2002. Börjesson, “OFDM channel estimation by singular value decomposi-
[10] I. Barhumi, G. Leus, and M. Moonen, “Optimal training design for tion,” IEEE Trans. Commun., vol. 46, no. 7, pp. 931–939, Jul. 1998.
MIMO OFDM systems in mobile wireless channels,” IEEE Trans. Signal [35] Y. G. Li, L. J. Cimini, Jr., and N. R. Sollenberger, “Robust channel
Process., vol. 51, no. 6, pp. 1615–1624, Jun. 2003. estimation for OFDM systems with rapid dispersive fading channels,”
[11] H. Minn and N. Al-Dhahir, “Optimal training signals for MIMO OFDM IEEE Trans. Commun., vol. 46, no. 7, pp. 902–915, Jul. 1998.
channel estimation,” IEEE Trans. Wireless Commun., vol. 5, no. 5, pp. [36] K. Liu, V. Raghavan, and A. M. Sayeed, “Capacity scaling and spectral
1158–1168, May 2006. efficiency in wide-band correlated MIMO channels,” IEEE Trans. Inf.
[12] Y. Chi, A. Gomaa, N. Al-Dhahir, and A. R. Calderbank, “Training signal Theory, vol. 49, no. 10, pp. 2504–2526, Oct. 2003.
design and tradeoffs for spectrally-efficient multi-user MIMO-OFDM [37] G. Barriac and U. Madhow, “Characterizing outage rates for space-
systems,” IEEE Trans. Wireless Commun., vol. 10, no. 7, pp. 2234– time communication over wideband channels,” IEEE Trans. Commun.,
2245, Jul. 2011. vol. 52, no. 12, pp. 2198–2208, Dec. 2004.
[38] G. Auer, “3D MIMO-OFDM channel estimation,” IEEE Trans. Com-
[13] E. Dahlman, S. Parkvall, and J. Sköld, 4G LTE/LTE-Advanced for
mun., vol. 60, no. 4, pp. 972–985, Apr. 2012.
Mobile Broadband. Burlington, MA, USA: Academic Press, 2011.
[39] B. H. Fleury, “First- and second-order characterization of direction
[14] H. D. Tuan, H. H. Kha, H. H. Nguyen, and V.-J. Luong, “Optimized dispersion and space selectivity in the radio channel,” IEEE Trans. Inf.
training sequences for spatially correlated MIMO-OFDM,” IEEE Trans. Theory, vol. 46, no. 6, pp. 2027–2044, Sep. 2000.
Wireless Commun., vol. 9, no. 9, pp. 2768–2778, Sep. 2010. [40] M. Pätzold, Mobile Radio Channels, 2nd ed. Chichester, U.K.: Wiley,
[15] N. N. Tran, H. H. Nguyen, H. D. Tuan, and D. E. Dodds, “Training 2012.
signal designs for spatially correlated multi-user multi-input multi- [41] W. C. Jakes, Ed., Microwave Mobile Communications. New York, NY,
output with orthogonal frequency-division multiplexing systems,” IET USA: IEEE Press, 1994.
Commun., vol. 6, no. 16, pp. 2630–2638, Nov. 2012. [42] J.-J. van de Beek, O. Edfors, M. Sandell, S. K. Wilson, and P. O.
[16] D. Tse and P. Viswanath, Fundamentals of Wireless Communication. Börjesson, “On channel estimation in OFDM systems,” in Proc. IEEE
New York, NY, USA: Cambridge Univ. Press, 2005. VTC, Chicago, IL, USA, 1995, pp. 305–309.
[17] B. Clerckx and C. Oestges, MIMO Wireless Networks: Channels, [43] H. Yin, D. Gesbert, M. Filippou, and Y. Liu, “A coordinated approach
Techniques and Standards for Multi-Antenna, Multi-User and Multi-Cell to channel estimation in large-scale multiple-antenna systems,” IEEE J.
Systems, 2nd ed. Oxford, U.K.: Academic Press, 2013. Sel. Areas Commun., vol. 31, no. 2, pp. 264–273, Feb. 2013.
[18] IST-4-027756 WINNER II D1.1.2 V1.2, “WINNER II Channel Models,” [44] A. Adhikary, J. Nam, J.-Y. Ahn, and G. Caire, “Joint spatial division and
Tech. Rep., Feb. 2008. multiplexing–The large-scale array regime,” IEEE Trans. Inf. Theory,
[19] W. U. Bajwa, J. Haupt, A. M. Sayeed, and R. Nowak, “Compressed vol. 59, no. 10, pp. 6441–6463, Oct. 2013.
channel sensing: A new approach to estimating sparse multipath chan- [45] A. Liu and V. K. N. Lau, “Two-stage subspace constrained precoding
nels,” Proc. IEEE, vol. 98, no. 6, pp. 1058–1076, Jun. 2010. in massive MIMO cellular systems,” IEEE Trans. Wireless Commun.,
[20] S. Payami and F. Tufvesson, “Channel measurements and analysis for vol. 14, no. 6, pp. 3271–3279, Jun. 2015.
very large array systems at 2.6 GHz,” in Proc. EuCAP, Prague, Czech [46] 3GPP TS 36.211 V12.4.0, “3rd Generation Partnership Project; Tech-
Republic, 2012, pp. 433–437. nical Specification Group Radio Access Network; Evolved Universal
[21] X. Gao, F. Tufvesson, and O. Edfors, “Massive MIMO channels – Terrestrial Radio Access (E-UTRA); Physical Channels and Modulation
Measurements and models,” in Proc. Annu. ASILOMAR, Pacific Grove, (Release 12),” Tech. Rep., Dec. 2014.
CA, USA, 2013, pp. 280–284. [47] T. Kailath, A. H. Sayed, and B. Hassibi, Linear Estimation. Upper
[22] Y. Barbotin, A. Hormati, S. Rangan, and M. Vetterli, “Estimation of Saddle River, NJ, USA: Prentice Hall, 2000.
sparse MIMO channels with common support,” IEEE Trans. Commun., [48] K. T. Truong and R. W. Heath, Jr., “Effects of channel aging in massive
vol. 60, no. 12, pp. 3705–3716, Dec. 2012. MIMO systems,” J. Commun. Netw., vol. 15, no. 4, pp. 338–351, Aug.
[23] X. Rao and V. K. N. Lau, “Distributed compressive CSIT estimation 2013.
and feedback for FDD multi-user massive MIMO systems,” IEEE Trans. [49] E. Björnson, M. Matthaiou, and M. Debbah, “Massive MIMO with non-
Signal Process., vol. 62, no. 12, pp. 3261–3271, Jun. 2014. ideal arbitrary arrays: Hardware scaling laws and circuit-aware design,”
[24] M. Masood, L. H. Afify, and T. Y. Al-Naffouri, “Efficient coordinated IEEE Trans. Wireless Commun., vol. 14, no. 8, pp. 4353–4368, Aug.
recovery of sparse channels in massive MIMO,” IEEE Trans. Signal 2015.
Process., vol. 63, no. 1, pp. 104–118, Jan. 2015. [50] G. A. F. Seber, A Matrix Handbook for Statisticians. Hoboken, NJ,
USA: Wiley, 2008.
[25] L. Dai, Z. Wang, and Z. Yang, “Spectrally efficient time-frequency
[51] K. I. Pedersen, P. E. Mogensen, and B. H. Fleury, “A stochastic model
training OFDM for mobile large-scale MIMO systems,” IEEE J. Sel.
of the temporal and azimuthal dispersion seen at the base station in
Areas Commun., vol. 31, no. 2, pp. 251–263, Feb. 2013.
outdoor propagation environments,” IEEE Trans. Veh. Technol., vol. 49,
[26] Z. Chen and C. Yang, “Pilot decontamination in massive MIMO systems: no. 2, pp. 437–447, Mar. 2000.
Exploiting channel sparsity with pilot assignment,” in Proc. IEEE [52] B. Hassibi and B. M. Hochwald, “How much training is needed in
GlobalSIP, Atlanta, GA, USA, 2014, pp. 637–641. multiple-antenna wireless links?” IEEE Trans. Inf. Theory, vol. 49, no. 4,
[27] C.-K. Wen, S. Jin, K.-K. Wong, J.-C. Chen, and P. Ting, “Channel esti- pp. 951–963, Apr. 2003.
mation for massive MIMO using Gaussian-mixture Bayesian learning,” [53] J. Jose, A. Ashikhmin, T. L. Marzetta, and S. Vishwanath, “Pilot
IEEE Trans. Wireless Commun., vol. 14, no. 3, pp. 1356–1368, Mar. contamination and precoding in multi-cell TDD Systems,” IEEE Trans.
2015. Wireless Commun., vol. 10, no. 8, pp. 2640–2651, Aug. 2011.
[28] C. R. Berger, Z. Wang, J. Huang, and S. Zhou, “Application of com-
pressive sensing to sparse channel estimation,” IEEE Commun. Mag.,
vol. 48, no. 11, pp. 164–174, Nov. 2010.
[29] E. Candès and J. Romberg, “Sparsity and incoherence in compressive
sampling,” Inverse Prob., vol. 23, no. 3, pp. 969–985, Apr. 2007.
[30] R. Calderbank, S. Howard, and S. Jafarpour, “Construction of a large
class of deterministic sensing matrices that satisfy a statistical isometry
property,” IEEE J. Sel. Topics Signal Process., vol. 4, no. 2, pp. 358–374,
Apr. 2010.
[31] T. Strohmer, “Measure what should be measured: Progress and chal-
lenges in compressive sensing,” IEEE Signal Process. Lett., vol. 19,
no. 12, pp. 887–893, Dec. 2012.