《Hybrid Precoding for mmWave Massive MIMO Systems With Partially Connected Structure》
文章地址:
https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7959156
问题背景
关于混合波束成形的背景可以参照混合波束成形的系列专栏博文:https://blog.csdn.net/weixin_39274659/article/details/89810132 不做赘述。主要介绍部分连接结构。通常,在混合波束赋形中有两种结构(如下图所示):一种是全连接结构(FCS),它每一条射频链(RF)都与所有的天线连接,另一种是部分连接结构(PCS),它每一条射频链是与一个子阵列连接。很明显,对于昂贵的毫米波器件来说,部分连接结构更具有实际的应用价值,它降低了硬件实现的复杂度。![在这里插入图片描述](https://img-blog.csdnimg.cn/20190714163439932.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly96aHV5dWxhYi5ibG9nLmNzZG4ubmV0,size_16,color_FFFFFF,t_70)
正是由于部分连接结构的特殊性,使得模拟波束赋形多了一个硬件约束
Frf=⎣⎢⎢⎢⎡v10⋮00v20…⋱…00⋮vNt⎦⎥⎥⎥⎤Mt×Nt
上帝为你关上一扇窗的时候,同时也会打开另一扇窗。正是由于这个约束的特殊性,得到有一个非常好用的性质
FrfHFrf=MI
后面混合预编码的设计也是围绕这个限制条件展开的。
系统模型
考虑一个单用户下行链路采用部分连接结构的mmWave massive MIMO系统。基站端(BS)配置有
Mt根天线和
Nt个独立的射频链。每个射频链分别连接一个包含
M根天线的子阵列,且
Mt=MNt。从基站到移动台(MS)有
Ns个数据流被传输。在基带,数据流由一个数字预编码器
Fdig∈CNt×Ns进行预编码,然后在模拟域尾随一个模拟预编码器
Frf∈CMt×Nt。经过模拟预编码后,每个数据流通过相关的子阵列进行传输。一般地,接收信号可以表示为:
y=Pr
HFrfFdigs+n其中
y∈CMr×1是接收信号,
Mr是接收端配置天线的数目,
Pr表示平均接收能量,
H∈CMr×Mt表示信道矩阵,满足
E[∥H∥F2]=MrMt,
s∈CNs×1表示满足
E[ssH]=NS1INs的传输信号,
n是服从独立同分布
CN(0,σn2)的噪声向量。
本文关注在BS端的Hybrid Precoding(HP),假设在MS端是完美decoding,然后通过高斯信号实现的数据速率可以简化为信道的互信息,其表示为:
R(F)=log2∣∣∣∣IMr+Nsσ2PrHFFHHH∣∣∣∣
其中,
F表示在BS端的总预编码矩阵,且
F=FrfFdig。总共率约束为:
∥FrfFdig∥F2=Ns,PCS结构的硬件约束可以表示为:
Frf=⎣⎢⎢⎢⎡v10⋮00v20…⋱…00⋮vNt⎦⎥⎥⎥⎤Mt×Nt,其中
vn∈CM×1,n=1,2,…,Nt,
vn的
mth个元素满足
vn,m=ejθn,m,m=1,2,…,M。信道模型是mmWave信道中经典的S-V模型:
H=LMrMt
∑l=1Lαlar(θl)atH(φl)。在全连接结构下,假设接收端是最佳解码的情况下,最大化可实现速率的优化问题可以表示为:
回顾一下前面Omar El Ayach等人的工作https://blog.csdn.net/weixin_39274659/article/details/89785927该目标函数可以近似为最小化最优无约束模拟波束赋形和混合precoding矩阵的F范数。
定义信道
H 的SVD分解为
H=UHΣHVHH,其中
VH∈CMt×Mt,并且定义
VH的分块为:
VH=[VH1VH2VH3]
其中,
VH1∈CMt×Ns,
VH2∈CMt×(rH−NS),
rH=rank(H),
VH3∈CMt×(Mt−rH)。然后
Fopt=VH1,这种近似能够用数学公式化地定义为:
{VH1HFrfFdig≈INsVH2HFrfFdig≈0(rH−Ns)×Ns
PCS-HP设计的分析
为了便于说明,定义
Fdig为:
Fdig=⎣⎢⎡ω1,1⋮ωNt,1…⋱⋯ω1,Ns⋮ωNt,Ns⎦⎥⎤Nt×Ns,总预编码矩阵
F可以表示为:
F=[F1TF2T…FNtT]Mt×NsT,其中
Fi=[ωi,1vi,ωi,2vi,…,ωi,Nsvi]M×Ns。对于子矩阵
Fi有如下两个约束:
-
rank(Fi)=1,这是由于
Fi的每一列都可以由
vi表示
-
Fi相同列中的每个元素都有一个相同幅值,他们仅由
Fdig的相关元素决定
上面的这些约束使得
Fi不可能实现
Fopt。因此,对于PCS-HP来说,致力于找到一组
Frf和
Fdig直接近似
Fopt是不明智的。所以退化到上面提到的一个数学近似,我们只需要找到一组满足
{VH1HFrfFdig=INsVH2HFrfFdig=0(rH−Ns)×Ns(***)的
Frf和
Fdig。
在这小节的分析中,作者给出了两个命题,具体推导可以参照原文,下面直接上命题内容:
- 如果找到一组满足***的
Frf和
Fdig,那么RF链的数量应该要大于信道矩阵
H的秩,即:
Nt⩾rH
- 在功率约束的条件下,通过PCS-HP不可能实现最大速率。
PCS-HP的分阶段设计
优化问题用数学表达可以写为:
Frf,Fdigargmax{log2∣∣∣IMr+NSσ2PrHFrfFdigFdigHFrfHHH∣∣∣:(3),(4)},同前面Yuwei https://zhuyulab.blog.csdn.net/article/details/89765714 等人的工作展示的一样,首先固定
Frf,
He=HFrf视为一个等效信道,此时
Fdig的问题可以表示为:
F dig argmax{log2∣∣∣INs+Nsσ2PrHcFdigFdigHHeH∣∣∣:(3)},注水算法下该问题的解为:
Fdigopt=Q−1/2UsΓs其中:
Q=FrfHFrf,
Us∈CNt×Ns是与
HeQ−1/2右奇异向量相关的第
NS列,
Γs是通过注水算法求得的功率分配对角阵且
tr{Γs2}=Ns。这时候,PCS下
Frf的特殊性,直接有
Q=MI,因此:
Fdigopt=M−1/2UsΓs。令
Fdig=Fdigopt,
γ=Nsσ2M−1Pr,目标函数可以进一步写为:
log2∣∣IMr+γHcUsΓs2UsHHeH∣∣
=log2∣∣INs+γΓs2Λ2∣∣
其中,
Λ=diag{λ1,λ2,…,λNs}且
λ1⩾λ2⩾…⩾λNS,它们是
He的
NS大奇异值。本文考虑了两种特殊的情况:
- 在足够低SNR的情况下,最优功率分配策略是把所有的能量分配给单数据流。
- 在足够高SNR的情况下,最优功率分配策略是均等分配传输功率给每个数据流。
模拟precoding的设计
情况一
这时候的目标函数等价为
log2∣∣1+γNSλ12∣∣,因此,最优
Frf的设计问题可以等价为:
Frfargmax{∥HFrf∥2:(4)}
注意:
∥HFrf∥F2和
∥HFrf∥22是密切相关的,因为
∥HFrf∥F2=∑n=1Niλn2=∥HFrf∥22+∑n=2Ntλn2=α∥Hrf∥22(
1⩽α⩽Nt)。 因此,本文是尝试最大化
∥HFrf∥F2,最优问题此时可以描述为:
Fffargmax{tr{FrfHHHHFrf}:(4)}
定义
H的有序SVD为
H=UHΣHVHH,其中
VH∈CMt×rH,定义
VH有如下分块:
VH=⎣⎢⎡v
1,1⋮v
Nt,1…⋱…v
1,Mt⋮v
Nt,Mt⎦⎥⎤
于是目标函数可以进一步表示为:
tr{FrfHHHHFrf}=∑n=1NtvnH(∑r=1rHv
n,rv~n,rHσr2)vn,其中
σr是
H的
rth个奇异值。 (这么表示的目的是为了得到每个射频链对目标函数的贡献,并且可以看出他们的贡献都是独立的,也使得可以把整个目标函数解耦成很多子问题)第
nth个子问题可以表达为:
vnargmax{vnHZvn}
s.t.vn,m∗vn,m=1,m=1,2,…,M
其中
Z=∑r=1rHv~n,rv
n,rHσr2。实际上,该问题等价于具有单天线功率约束的单流最优发射机波束形成问题,在以前的一些研究中已经证明了该问题的解
vnopt当且仅当
vnopt的每个元素满足:
vn,iopt=ψ⎝⎛k̸=i∑zikvn,kopt⎠⎞,i=1,…,M
zik是
Z的第
ith行,
kth列的元素,
ψ(x)定义如下:
ψ(x)={1,∣x∣x,x=0x̸=0。因此 ,
vnopt的每个元素可以通过迭代获得,然后逐列更新。总的算法如下:
情况二
这时候的目标函数可以表示为:
log2∣Cn∣+log2∣∣1+γvnHZnvn∣∣,其中
Cn=INt−1+γ(Fnrf)HGFrf,
Zn=
G−
γGFnrfCn−1(Fnrf)HG,特别地:
G=HHH,
vn是
Frf的第
nth列,
Fnrf是去除第
nth后的子矩阵。同样也是计算单独贡献,且
Cn和
Zn是与
vn。因此目标函数的最大化只需要关注第二项,引入一个选择矩阵,
En=[0M×M(n−1)IM0M×M(Nt−n)],这时候的优化问题可以表示为:
vnargmax{vnHEnZnEnHvn}
s.t.vn,m∗vn,m=1,m=1,2,…,M。不难发现与单数据流情况下的近似问题是等价的,可以使用相同的方法解决。
后面还有部分内容关于复杂度与性能上界的分析,具体参照原文。
还有一个本人认为稍微的部分是:在仿真中,作者考虑了非理想CSI的情况,评估不完全CSI对两种方案的影响。使用的方法也较为简单,引入一个估计精确度
δ∈[0,1],估计信道表示为:
H^=δH+1−δ2
Ξ
Ξ是一个独立同分布的
CN(0,1)噪声矩阵。
具体的仿真结果请参照原文。
结论
本文研究了基于PCS的毫米波MIMO发射机最优化设计问题。分别针对于高SNR情况与低SNR情况提出了两种模拟precoding的设计,且最优数字precoding通过注水算法获得。针对每一种方案,将原优化问题重新表述为具有单天线功率约束的单流最优发射机波束形成问题,它们都有一个最优解。此外,给出了具有闭形式表达式的可达速率的上界。