凸优化学习笔记：QP及SOCP问题

本文是针对Boyd凸优化教材在QP、SOCP问题部分的学习笔记。

QP问题

定义

是什么

QP
目标函数的凸的二次函数，约束是仿射的，为QP问题。有如下形式：$$\begin{array}{ll}\underset{\text{ subject to }}{\mathrm{minimize}}& (1/2)x^{T}Px+q^{T}x+r\\ & Gx⪯h\\ & Ax=b\end{array}\text{\hspace{1em}(1)}$$
QCQP
在QP的基础上，约束也是二次函数形式：$$\begin{array}{ll}\mathrm{minimize}& (1/2)x^T{P}_{0}x+q_0^{T}x+r_0\\ \text{ subject to }& (1/2)x^T{P}_{i}x+q_i^{T}x+r_i\le 0,i=1,\dots ,m\\ & Ax=b,\end{array}\text{\hspace{1em}(2)}$$

几何意义

QP：在一个多面体空间内最小化一个凸的二次函数

QCQP问题将多面体空间换为一个椭圆空间。

QP、QCQP、LP之间的关系

QCQP问题最具一般性，若$(2)$式中$P_i$为0，则QCQP退化为QP，若$P$也为0，则进一步退化为LP问题。

例子

最小二乘及回归问题

无约束的最小二乘问题为：$$\Vert Ax-b{\Vert }_2^2=x^T{A}^{T}Ax-2b^{T}Ax+b^{T}b\text{\hspace{1em}(3)}$$是一个无约束QP问题，该问题有闭式解$x=A^{†}b$，也叫做回归分析或最小二乘逼近。
增加不等式约束后成为约束回归或约束最小二乘，无解析解。例如：$$\begin{array}{ll}\mathrm{minimize}& \Vert Ax-b{\Vert }_2^2\\ \text{ subject to }& l_i\le x_i\le u_i,i=1,\dots ,n\end{array}\text{\hspace{1em}(4)}$$

多面体间距离

${\mathbf{R}}^n$上两个多面体${\mathcal{P}}_1=\left\{x\mid A_{1}x⪯b_1\right\}$与${\mathcal{P}}_2=\left\{x\mid A_{2}x⪯b_2\right\}$间距离为：$$\mathrm{dist}\left({\mathcal{P}}_1,{\mathcal{P}}_2\right)=\inf \left\{{\Vert x_1-x_2\Vert }_2\mid x_1\in {\mathcal{P}}_1,x_2\in {\mathcal{P}}_2\right\}\text{\hspace{1em}(5)}$$若要最小化两个多面体间距离，优化问题为：$$\begin{array}{ll}\mathrm{minimize}& {\Vert x_1-x_2\Vert }_2^2\\ \text{ subject to }& A_1{x}_1⪯b_1,A_2{x}_2⪯b_2,\end{array}\text{\hspace{1em}(6)}$$典型的QP问题。

方差定界问题

$$\begin{array}{ll}\mathrm{maximize}& {\sum }_{i=1}^n{f}_i^2{p}_i-{\left({\sum }_{i=1}^n{f}_i{p}_i\right)}^2\\ \text{ subject to }& p⪰0,1^{T}p=1\\ & {\alpha }_i\le a_i^{T}p\le {\beta }_i,i=1,\dots ,m\end{array}\text{\hspace{1em}(7)}$$其目标函数可改写为$(f^2{)}^{\mathrm{T}}x-||f^{\mathrm{T}}x|{|}_2^2=-x^{\mathrm{T}}f{f}^{\mathrm{T}}x+(f^2{)}^{\mathrm{T}}x$，典型的QP问题。

基于随机费用的线性规划（考虑随机变量的优化问题以及讨论多目标函数时的权衡问题）

一个标准的LP问题：$$\begin{array}{ll}\mathrm{minimize}& c^{T}x\\ \text{ subject to }& Gx⪯h\\ & Ax=b\end{array}\text{\hspace{1em}(8)}$$其中$c$是随机变量，均值为$\bar{c}$，方差为$\mathbf{E}(c-\bar{c})(c-\bar{c}{)}^{\mathrm{T}}=\Sigma$。所以目标函数均值为$\mathbf{E}{c}^{T}x={\bar{c}}^{T}x$，方差为$\mathrm{var}\left(c^{T}x\right)=\mathbf{E}{\left(c^{T}x-\mathbf{E}{c}^{T}x\right)}^2=x^T\Sigma x$。若考虑均值和方差两个目标函数，则有如下权衡过程：$$\begin{array}{ll}\mathrm{minimize}& {\bar{c}}^{T}x+\gamma x^T\Sigma x\\ \text{ subject to }& Gx⪯h\\ & Ax=b\end{array}\text{\hspace{1em}(9)}$$该目标函数是双优化目标问题常用的权衡准则，其中$\gamma$描述两个优化目标的权重。

通信中例子（接受波束成形问题）

接受波束成形问题

对于MIMO系统，考虑远场情况与窄带信号，接收端第$i$根天线与第$j$根天线的接收信号在时域有如下关系：$$x_i(t)=x_j(t-(i-j)d\sin \theta /c)\text{\hspace{1em}(10)}$$如下图所示：

若原信号方向为$\theta$，接收端$P$个天线，记信号源为$s(t)\in \mathbb{C}$，接收信号为$\mathbf{y}(t)={\left[y_1(t),\dots ,y_P(t)\right]}^T$，则有如下关系：$$\mathbf{y}(t)=\mathbf{a}(\theta )s(t)\text{\hspace{1em}(11)}$$其中$\mathbf{a}(\theta )$为接收波矢$$\mathbf{a}(\theta )={\left[1,e^{-j2\pi d\sin (\theta )/\lambda },\dots ,e^{-j2\pi d(P-1)\sin (\theta )/\lambda }\right]}^T\in {\mathbb{C}}^P\text{\hspace{1em}(12)}$$接收端波束成形过程为$$\hat{s}(t)={\mathbf{w}}^H\mathbf{y}(t)={\mathbf{w}}^H\mathbf{a}(\theta )s(t)\text{\hspace{1em}(13)}$$$\mathbf{w}\in {\mathbb{C}}^P$为波束成形权重向量。简单的波束成形可表述为$\mathbf{w}=\mathbf{a}({\theta }_{\mathrm{d}\mathrm{e}\mathrm{s}})$
，但这种方式旁瓣抑制效果差，如下图：

下面是两种解决算法：

平均旁瓣能量最小化

令$\mathbf{\Omega }=\left[-\pi /2,{\theta }_{\ell }\right]\cup \left[{\theta }_u,\pi /2\right]$表示旁瓣带，约束条件：${\mathbf{w}}^H\mathbf{a}\left({\theta }_{\mathrm{d}\mathrm{e}\mathrm{s}}\right)=1$，则旁瓣总能量最小化问题为$$\begin{array}{c}{\min }_{\mathbf{w}\in {\mathbb{C}}^P}{\int }_{\Omega }{\left|{\mathbf{w}}^H\mathbf{a}(\theta )\right|}^{2}d\theta \\ \text{ s.t. }{\mathbf{w}}^H\mathbf{a}\left({\theta }_{\text{des }}\right)=1\end{array}\text{\hspace{1em}(14)}$$转化为标准的等式约束二次规划问题有：$$\begin{array}{c}{\min }_{\mathbf{w}\in {\mathbb{C}}^P}\left\{f(\mathbf{w})\triangleq {\mathbf{w}}^H\mathbf{P}\mathbf{w}\right\}\\ \text{ s.t. }{\mathbf{w}}^H\mathbf{a}\left({\theta }_{\text{des }}\right)=1\end{array}\text{\hspace{1em}(15)}$$其中$\mathbf{P}={\int }_{\Omega }\mathbf{a}(\theta ){\mathbf{a}}^H(\theta )d\theta ={\mathbf{P}}^H⪰0$为半正定矩阵。该问题是一个凸问题。

最大旁瓣能量最小化

问题形式：$$\begin{array}{rl}& \underset{\mathbf{w}\in {\mathbb{C}}^P}{\min }\underset{\theta \in \Omega }{\max }{\left|{\mathbf{w}}^H\mathbf{a}(\theta )\right|}^2\\ & \text{ s.t. }{\mathbf{w}}^H\mathbf{a}\left({\theta }_{\text{des }}\right)=1.\end{array}\text{\hspace{1em}(16)}$$这种最大值最小化问题可以转化为上境图形式：$$\begin{array}{rl}{\min }_{\mathbf{w}\in {\mathbb{C}}^P,t\in \mathbb{R}}& t\\ \text{ s.t. }& {\left|{\mathbf{w}}^H\mathbf{a}(\theta )\right|}^2\le t,\forall \theta \in \mathbf{\Omega }\\ & {\mathbf{w}}^H\mathbf{a}\left({\theta }_{\mathrm{d}\mathrm{e}\mathrm{s}}\right)=1\end{array}\text{\hspace{1em}(17)}$$将不等式约束标准化表示：$${\left|{\mathbf{w}}^H\mathbf{a}(\theta )\right|}^2-t={\mathbf{w}}^H\mathbf{P}(\theta )\mathbf{w}-t\text{\hspace{1em}(18)}$$其中$\mathbf{P}(\theta )=\mathbf{a}(\theta ){\mathbf{a}}^{\mathrm{H}}(\theta )⪰0$。由于$(18)$式为一个二次凸函数与一个线性函数的和，所以在$(\mathbf{w},t)$中它是凸的，从而可将问题$(17)$表述为标准的$\text{QCQP}$问题：$$\begin{array}{rl}\underset{\mathbf{w},t}{\min }& \left[\begin{array}{ll}{0}_P^T& 1\end{array}\right]\left[\begin{array}{c}\mathbf{w}\\ t\end{array}\right]\\ \text{ s.t. }& [\begin{array}{l}{\mathbf{w}}^{H}t]\end{array}\left[\begin{array}{cc}\mathbf{P}(\theta )& 0_P\\ 0_P^T& 0\end{array}\right]\left[\begin{array}{c}\mathbf{w}\\ t\end{array}\right]+\left[\begin{array}{ll}{0}_P^T& -1\end{array}\right]\left[\begin{array}{c}\mathbf{w}\\ t\end{array}\right]\le 0,\forall \theta \in \mathbf{\Omega }\\ & \left[\begin{array}{ll}{\mathbf{w}}^H& t\end{array}\right]\left[\begin{array}{c}\mathbf{a}\left({\theta }_{\mathrm{d}\mathrm{e}\mathrm{s}}\right)\\ 0\end{array}\right]=1\end{array}\text{\hspace{1em}(19)}$$这是一个半无限优化问题，因其约束有无限多个，该问题可以由离散采样进行近似。但是由于参数空间为高维空间，该方法往往不切实际。

认知无线电中波束成形设计

认知无线电问题：某次用户想要使用K KK个主用户已经使用的频谱资源。当次用户发现频谱空洞时，使用已授权用户的频谱资源时，必须保证它的通信不会影响到已授权用户的通信，一旦该频道被主用户使用，次用户需要切换到其他空闲频段，或者继续使用该频段，但是改变发射功率活或调制方案避免对主用户的干扰。
次接收机接收信号$\mathrm{S}\mathrm{I}\mathrm{N}\mathrm{R}$为：$${\gamma }_S=\frac{{\left|{\mathbf{h}}_{SS}^H{\mathbf{w}}_S\right|}^2}{{\sum }_{k=1}^K{\left|{\mathbf{h}}_{kS}^H{\mathbf{w}}_k\right|}^2+{\sigma }_S^2}\text{\hspace{1em}(20)}$$其中${\mathbf{h}}_{SS}\in {\mathbb{C}}^{N_S},{\mathbf{h}}_{Sk}\in {\mathbb{C}}^{N_S},{\mathbf{h}}_{kS}\in {\mathbb{C}}^{N_k}$分别表示次发射机到次接收机，次发射机到第$k$个主接收机，第$k$个发射机到次接收机。${\mathbf{w}}_k\in {\mathbb{C}}^{N_k}\text{ and }{\mathbf{w}}_S\in {\mathbb{R}}^{N_S}$第$k$个发射机和次发射机的波束成形向量。优化问题如下：$$\begin{array}{l}{\max }_{{\mathbf{w}}_S}{\gamma }_S\\ \text{ s.t. }{\left|{\mathbf{h}}_{Sk}^H{\mathbf{w}}_S\right|}^2\le {ϵ}_k,k=1,\dots ,K\\ {\Vert {\mathbf{w}}_S\Vert }_2^2\le P_S\end{array}\text{\hspace{1em}(21)}$$若：$$\begin{array}{l}\mathbf{A}={\mathbf{h}}_{SS}{\mathbf{h}}_{SS}^H\\ {\mathbf{B}}_k={\mathbf{h}}_{Sk}{\mathbf{h}}_{Sk}^H,k=1,\dots ,K\end{array}\text{\hspace{1em}(22)}$$原问题被表述为非凸的$\mathrm{Q}\mathrm{C}\mathrm{Q}\mathrm{P}$问题：$$\begin{array}{l}{\min }_{{\mathbf{w}}_S}-{\mathbf{w}}_S^H\mathbf{A}{\mathbf{w}}_S\\ \text{ s.t. }{\mathbf{w}}_S^H{\mathbf{B}}_k{\mathbf{w}}_S\le {ϵ}_k,k=1,\dots ,K\\ {\mathbf{w}}_S^H{\mathbf{w}}_S\le P_S\end{array}\text{\hspace{1em}(23)}$$非凸是由于$\mathbf{A}$与${\mathbf{B}}_k$的秩一约束。该问题可用$\mathrm{S}\mathrm{D}\mathrm{R}$解决。

SOCP问题

定义

SOCP基本形式：$$\begin{array}{ll}\mathrm{minimize}& f^{T}x\\ \text{ subject to }& {\Vert A_{i}x+b_i\Vert }_2\le c_i^{T}x+d_i,i=1,\dots ,m\\ & Fx=g\end{array}\text{\hspace{1em}(24)}$$两点需要说明：

1. SOCP对于目标函数没有要求，LP和QP对于目标函数都有对应的要求，所以SOCP的适用面更广。
2. 所谓二阶锥：$$\begin{array}{rl}C& =\left\{(x,t)\in {\mathbf{R}}^{n+1}\mid \Vert x{\Vert }_2\le t\right\}\\ & =\left\{\left[\begin{array}{l}x\\ t\end{array}\right]\mid {\left[\begin{array}{l}x\\ t\end{array}\right]}^T\left[\begin{array}{cc}I& 0\\ 0& -1\end{array}\right]\left[\begin{array}{l}x\\ t\end{array}\right]\le 0,t\ge 0\right\}\end{array}\text{\hspace{1em}(25)}$$可以看到若$c$为0，SOCP退化为QP，若$A_i$为0，退化为LP。

例子

鲁棒线性规划

鲁棒线性规划是SOCP中比较典型的例子。
对传统的LP问题，给$a_i$加上一定扰动，则其范围表示为：$$a_i\in {\mathcal{E}}_i=\left\{{\bar{a}}_i+P_{i}u\mid \Vert u{\Vert }_2\le 1\right\}\text{\hspace{1em}(26)}$$从这里可以看到椭球可以描述某一变量在其中心一定范围内的分布。则鲁棒线性规划有：$$\begin{array}{ll}\text{ minimize }& c^{T}x\\ \text{ subject to }& a_i^{T}x\le b_i\text{ for all }{a}_i\in {\mathcal{E}}_i,i=1,\dots ,m\end{array}\text{\hspace{1em}(27)}$$约束条件可进一步写为$\sup \left\{a_i^{T}x\mid a_i\in {\mathcal{E}}_i\right\}\le b_i$，进一步化简有：$$\begin{array}{rl}\sup \left\{a_i^{T}x\mid a_i\in {\mathcal{E}}_i\right\}& ={\bar{a}}_i^{T}x+\sup \left\{u^T{P}_i^{T}x\mid \Vert u{\Vert }_2\le 1\right\}\\ & ={\bar{a}}_i^{T}x+{\Vert P_i^{T}x\Vert }_2\end{array}\text{\hspace{1em}(28)}$$第一个等号到第二个等号根据范数的三角不等式。这步化简将半无穷优化问题转化为有限优化问题，因为原始的$u$的随机性使得我们有无穷多个约束，而取其上界则减少了其中的随机因素，将无穷多个不等式约束转化为上界表述的有限的不等式约束。如果不确定向量的空间范围可以确定，这种转化上界的思路是一种变无穷优化为有限优化的方法。则优化问题有：$$\begin{array}{ll}\mathrm{minimize}& c^{T}x\\ \text{ subject to }& {\bar{a}}_i^{T}x+{\Vert P_i^{T}x\Vert }_2\le b_i,i=1,\dots ,m\end{array}\text{\hspace{1em}(29)}$$

概率约束的LP

在传统LP的基础上，在约束中考虑以一定概率分布的随机变量就变成了概率约束的LP，传统的LP问题如下式：$$\begin{array}{rl}\min & {\mathbf{c}}^T\mathbf{x}\\ \text{ s.t. }& {\mathbf{a}}_i^T\mathbf{x}\le b_i,i=1,\dots ,m\end{array}\text{\hspace{1em}(30)}$$当不等式约束中${\mathbf{a}}_i$为均值向量${\bar{\mathbf{a}}}_i$及协方差矩阵${\mathbf{\Sigma }}_i$的独立高斯随机向量，则优化问题变为：$$\begin{array}{l}\min {\mathbf{c}}^T\mathbf{x}\\ \text{ s.t. }\mathrm{Prob}\left\{{\mathbf{a}}_i^T\mathbf{x}\le b_i\right\}\ge \eta ,i=1,\dots ,m\end{array}\text{\hspace{1em}(31)}$$上述不等式约束可以表述为：$$\Phi (\frac{b_i-{\bar{\mathbf{a}}}_i^{\mathrm{T}}\mathbf{x}}{{\Vert {\mathbf{\Sigma }}_i^{1/2}\mathbf{x}\Vert }_2})\ge \eta \text{\hspace{1em}(32)}$$则上述问题可写为：$$\begin{array}{l}\min {\mathbf{c}}^T\mathbf{x}\\ \text{ s.t. }{\Phi }^{-1}(\eta ){\Vert {\mathbf{\Sigma }}_i^{1/2}\mathbf{x}\Vert }_2+{\overline{\mathbf{a}}}_i^T\mathbf{x}\le b_i,i=1,\dots ,m\end{array}\text{\hspace{1em}(33)}$$其中$\Phi (v)=\frac{1}{\sqrt{2\pi }}{\int }_{-\infty }^v{e}^{-x^2/2}dx$为标准正态分布的cdf。

鲁棒最小二乘逼近

这个问题与鲁棒线性规划类似，经典的最小二乘逼近问题形式：$$\underset{\mathbf{x}}{\min }\Vert \mathbf{A}\mathbf{x}-\mathbf{b}{\Vert }_2^2\text{\hspace{1em}(34)}$$其中$\mathbf{A}$有随机性：$$\mathbf{A}\in \mathcal{A}\triangleq \left\{\overline{\mathbf{A}}+\mathbf{U}\mid \Vert \mathbf{U}{\Vert }_2\le \alpha \right\}\text{\hspace{1em}(35)}$$中心$\bar{\mathbf{A}}$及半径$\alpha$已知，则有下述推导：$$\begin{array}{rl}\Vert \mathbf{A}\mathbf{x}-\mathbf{b}{\Vert }_2& =\Vert \overline{\mathbf{A}}\mathbf{x}-\mathbf{b}+\mathbf{U}\mathbf{x}{\Vert }_2\\ & \le \Vert \overline{\mathbf{A}}\mathbf{x}-\mathbf{b}{\Vert }_2+\Vert \mathbf{U}\mathbf{x}{\Vert }_2\\ & \le \Vert \overline{\mathbf{A}}\mathbf{x}-\mathbf{b}{\Vert }_2+\Vert \mathbf{U}{\Vert }_2\cdot \Vert \mathbf{x}{\Vert }_2\\ & \le \Vert \overline{\mathbf{A}}\mathbf{x}-\mathbf{b}{\Vert }_2+\alpha \Vert \mathbf{x}{\Vert }_2\end{array}\text{\hspace{1em}(36)}$$则问题转化为：$$\min \Vert \overline{\mathbf{A}}\mathbf{x}-\mathbf{b}{\Vert }_2+\alpha \Vert \mathbf{x}{\Vert }_2=\begin{array}{l}\min t_1+\alpha t_2\\ \text{ s.t. }\Vert \overline{\mathbf{A}}\mathbf{x}-\mathbf{b}{\Vert }_2\le t_1,\Vert \mathbf{x}{\Vert }_2\le t_2\end{array}\text{\hspace{1em}(37)}$$这是一个SOCP问题。

通信中例子

此处介绍多个通信波束成形问题可以被转化为SOCP问题，看出SOCP问题在波束成形设计中的重要性。

抑制旁瓣的接受波束成形

传统的抑制旁瓣的接受波束成形问题如上述$(19)$式，是将旁瓣约束这一物理目的直接描述为数学公式，下面还有一种思路，即最小方差波束设计：

最小方差波束设计

接收信号表述如下：$$\mathbf{y}(t)=\mathbf{a}\left({\theta }_{\text{des }}\right)s(t)+\sum _{i=1}^K\mathbf{a}\left({\theta }_i\right)u_i(t)+\mathbf{v}(t)\text{\hspace{1em}(38)}$$第一项为目标接收信号，第二项第三项分别为其他方向来的干扰信号以及噪声。接收信号协方差矩阵为：$$\begin{array}{rl}\mathbf{R}& =\mathbb{E}\left\{\mathbf{y}(t){\mathbf{y}}^H(t)\right\}\\ & ={\sigma }_s^2\mathbf{a}\left({\theta }_{\mathrm{d}\mathrm{e}\mathrm{s}}\right){\mathbf{a}}^H\left({\theta }_{\mathrm{d}\mathrm{e}\mathrm{s}}\right)+\sum _{i=1}^K{\sigma }_{u_i}^2\mathbf{a}\left({\theta }_i\right){\mathbf{a}}^H\left({\theta }_i\right)+{\sigma }_v^2\mathbf{I}.\end{array}\text{\hspace{1em}(39)}$$则接收信号$\hat{s}(t)={\mathbf{w}}^H\mathbf{y}(t)$平均功率可以表述为$\mathbb{E}\left[|\hat{s}(t){|}^2\right]={\mathbf{w}}^{\mathrm{H}}\mathbf{R}\mathbf{w}$，则有如下最小方差波束设计问题：$$\begin{array}{rl}\min & {\mathbf{w}}^H\mathbf{R}\mathbf{w}\\ \text{ s.t. }& {\mathbf{w}}^H\mathbf{a}\left({\theta }_{\mathrm{d}\mathrm{e}\mathrm{s}}\right)=1\end{array}\text{\hspace{1em}(40)}$$该问题可以抑制旁瓣，是因为约束条件限制了目标方向的功率为定值，在这个基础上总功率越小，干扰越小。将$(39)$式代入上式，有：$$\begin{array}{rl}& \min \sum _{i=1}^K{\sigma }_{u_i}^2{\left|{\mathbf{w}}^H\mathbf{a}\left({\theta }_i\right)\right|}^2+{\sigma }_v^2\Vert \mathbf{w}{\Vert }_2^2\\ & \text{ s.t. }{\mathbf{w}}^H\mathbf{a}\left({\theta }_{\mathrm{d}\mathrm{e}\mathrm{s}}\right)=1\end{array}\text{\hspace{1em}(41)}$$可以看到目标函数的物理意义是使干扰信号和噪声信号功率最小化，且这是一个QP问题。

基于最小方差的鲁棒波束成形

如果目标信号方向考虑误差，则不确定性的影响可以被建模为$\mathbf{a}\left({\theta }_{\mathrm{d}\mathrm{e}\mathrm{s}}\right)=\mathbf{a}\left({\bar{\theta }}_{\mathrm{d}\mathrm{e}\mathrm{s}}\right)+\mathbf{u}$，若令$\mathbf{a}=\mathbf{a}\left({\bar{\theta }}_{\text{des }}\right)$，问题有：$$\begin{array}{rl}\min & {\mathbf{w}}^H\mathbf{R}\mathbf{w}\\ \text{ s.t. }& \left|{\mathbf{w}}^H(\mathbf{a}+\mathbf{u})\right|\ge 1,\forall \Vert \mathbf{u}{\Vert }_2\le ϵ\end{array}\text{\hspace{1em}(42)}$$引入上限$$\begin{array}{rl}& \min {\mathbf{w}}^H\mathbf{R}\mathbf{w}\\ & \text{ s.t. }\underset{\Vert \mathbf{u}{\Vert }_2\le ϵ}{\inf }\left|{\mathbf{w}}^H(\mathbf{a}+\mathbf{u})\right|\ge 1\end{array}\text{\hspace{1em}(43)}$$基于范数的三角不等式：$$\begin{array}{rl}\left|{\mathbf{w}}^H(\mathbf{a}+\mathbf{u})\right|& \ge \left|{\mathbf{w}}^H\mathbf{a}\right|-\left|{\mathbf{w}}^H\mathbf{u}\right|\\ & \ge \left|{\mathbf{w}}^H\mathbf{a}\right|-ϵ\Vert \mathbf{w}{\Vert }_2,\forall \Vert \mathbf{u}{\Vert }_2\le ϵ\end{array}$$原问题可被建模为：$$\begin{array}{rl}\min & {\mathbf{w}}^H\mathbf{R}\mathbf{w}\\ \text{ s.t. }& |{\mathbf{w}}^H\mathbf{a}\mid -ϵ\Vert \mathbf{w}{\Vert }_2\ge 1\end{array}\text{\hspace{1em}(44)}$$由于目标函数是关于$\mathbf{w}$的纯二次型，所以该问题对于优化变量有相移不变性。即如果${\mathbf{w}}^{\star }$是最优解，则其任意相移$e^{j\psi }{\mathbf{w}}^{\star }$是最优解。给其添加相移使其第二个约束中${\mathbf{w}}^{\mathrm{H}}\mathbf{a}$为实数。基于$\mathbf{R}={\mathbf{V}}^{\mathrm{H}}\mathbf{V}$，优化问题可由上境图形式转换为如下SOCP问题：$$\begin{array}{rl}& \min t\\ & \begin{array}{rl}& \text{ s.t. }\Vert \mathbf{V}\mathbf{w}{\Vert }_2\le t,ϵ\Vert \mathbf{w}{\Vert }_2\le {\mathbf{w}}^H\mathbf{a}-1\\ & \mathrm{Im}\left\{{\mathbf{w}}^H\mathbf{a}\right\}=0\end{array}\end{array}\text{\hspace{1em}(45)}$$

下行波束成形

下行波束成形设计中经典的即PM问题与SB问题，下面分单小区多小区来谈。

单小区

假设单基站，基站端（BS）有$m$根天线，移动端（MS）为$n$个单天线用户，波束成形矩阵为$\mathbf{F}$,发射信号为$\mathbf{x}\in {\mathbb{C}}^m$，发射码元为$\mathbf{s}\in {\mathbb{C}}^n$且对于任意$i$，发端码元向量有功率限制$\mathbb{E}\left\{{\left|s_i\right|}^2\right\}=1$，$\text{MS }i$的SINR为：$${\gamma }_i(\mathbf{F})=\frac{{\left|{\mathbf{h}}_i^T{\mathbf{f}}_i\right|}^2}{{\sum }_{j=1,j\ne i}^n{\left|{\mathbf{h}}_i^T{\mathbf{f}}_j\right|}^2+{\sigma }_i^2}\text{\hspace{1em}(46)}$$

PM问题

问题形式为：$$\begin{array}{rl}& \min \sum _{i=1}^n{\Vert {\mathbf{f}}_i\Vert }_2^2\\ & \text{ s.t. }{\gamma }_i(\mathbf{F})\ge {\gamma }_0,i=1,\dots ,n\end{array}\text{\hspace{1em}(47)}$$不等式约束可重新表示为：$$\left(1+\frac{1}{{\gamma }_0}\right){\left|{\mathbf{h}}_i^T{\mathbf{f}}_i\right|}^2\ge \sum _{j=1}^n{\left|{\mathbf{h}}_i^T{\mathbf{f}}_j\right|}^2+{\sigma }_i^2,i=1,\dots ,n\text{\hspace{1em}(48)}$$基于该问题的相移不变性，加入如下约束：$$\mathrm{Re}\left\{{\mathbf{h}}_i^T{\mathbf{f}}_i\right\}\ge 0,\mathrm{Im}\left\{{\mathbf{h}}_i^T{\mathbf{f}}_i\right\}=0,i=1,\dots ,n\text{\hspace{1em}(49)}$$则$(48)$式可以被重新表述为$${\Vert {\mathbf{H}}_i\mathbf{f}+{\mathbf{b}}_i\Vert }_2\le \sqrt{1+\frac{1}{{\gamma }_0}}{\mathbf{h}}_i^T{\mathbf{f}}_i,\text{\hspace{1em}(50)}$$其中：$$\begin{array}{rl}& \mathbf{f}={\left[{\mathbf{f}}_1^T,{\mathbf{f}}_2^T,\dots ,{\mathbf{f}}_n^T\right]}^T\in {\mathbb{C}}^{nm},\\ & {\mathbf{b}}_i={\left[0_n^T,{\sigma }_i\right]}^T\in {\mathbb{R}}^{n+1},\\ & {\mathbf{H}}_i=\left[\begin{array}{c}\mathrm{DIAG}\left({\mathbf{h}}_i^T,{\mathbf{h}}_i^T,\dots ,{\mathbf{h}}_i^T\right)\\ 0_{nm}^T\end{array}\right]\in {\mathbb{C}}^{(n+1)\times nm}.\end{array}\text{\hspace{1em}(51)}$$则PM问题的SOCP形式为：$$\begin{array}{rl}& \min t\\ & \begin{array}{rl}& \text{ s.t. }\Vert \mathbf{f}{\Vert }_2\le t\\ & \mathrm{Im}\left\{{\mathbf{h}}_i^T{\mathbf{f}}_i\right\}=0,i=1,\dots ,n\\ & {\Vert {\mathbf{H}}_i\mathbf{f}+{\mathbf{b}}_i\Vert }_2\le \sqrt{1+\frac{1}{{\gamma }_0}}{\mathbf{h}}_i^T{\mathbf{f}}_i,i=1,\dots ,n.\end{array}\end{array}\text{\hspace{1em}(52)}$$这里讨论关于相移不变性，该性质在预编码设计中多次遇到：

何时可以用相移不变性简化问题？
首先旋转优化变量应对目标函数无影响。旋转之后优化变量应该具有某种特征，则旋转之后的可行域应该是原始可行域与该特征的交集，因为目标函数与优化变量相位无关，所以最优解一定在上述交集中。

SB问题

此处的SB问题为最大最小公平准则下的波束成形，问题如下：$$\begin{array}{rlr}\max & \underset{i=1,\dots ,n}{\min }{\gamma }_i(\mathbf{F})\equiv & \min \underset{i=1,\dots ,n}{\max }\left\{\frac{1}{{\gamma }_i(\mathbf{F})}\right\}\\ \text{ s.t. }& \sum _{i=1}^n{\Vert {\mathbf{f}}_i\Vert }_2^2\le P_0& \text{ s.t. }\sum _{i=1}^n{\Vert {\mathbf{f}}_i\Vert }_2^2\le P_0.\end{array}\text{\hspace{1em}(53)}$$借助上境图：$$\begin{array}{rl}& \min t\\ & \begin{array}{rl}& \text{ s.t. }\frac{1}{{\gamma }_i(\mathbf{F})}\le t,i=1,2,\dots ,n\\ & \sum _{i=1}^n{\Vert {\mathbf{f}}_i\Vert }_2^2\le P_0\end{array}\end{array}\text{\hspace{1em}(54)}$$约束条件可以表示为：$$\begin{array}{rl}& \frac{1}{{\gamma }_i(\mathbf{F})}=\frac{{\sum }_{j=1,j\ne i}^n{\left|{\mathbf{h}}_i^T{\mathbf{f}}_j\right|}^2+{\sigma }_i^2}{{\left|{\mathbf{h}}_i^T{\mathbf{f}}_i\right|}^2}\le t,i=1,2,\dots ,n\\ \Rightarrow & \sum _{j=1}^n{\left|{\mathbf{h}}_i^T{\mathbf{f}}_j\right|}^2+{\sigma }_i^2\le (1+t)\cdot {\left|{\mathbf{h}}_i^T{\mathbf{f}}_i\right|}^2,i=1,2,\dots ,n\end{array}\text{\hspace{1em}(55)}$$与PM问题类似，可由相移不变性转化为SOCP形式：$$\begin{array}{rl}\min & t\\ \text{ s.t. }& {\Vert {\mathbf{H}}_i\mathbf{f}+{\mathbf{b}}_i\Vert }_2\le \sqrt{1+t}\cdot {\mathbf{h}}_i^T{\mathbf{f}}_i,i=1,2,\dots ,n\\ & \mathrm{Im}\left\{{\mathbf{h}}_i^T{\mathbf{f}}_i\right\}=0,i=1,\dots ,n\\ & \Vert \mathbf{f}{\Vert }_2\le \sqrt{P_0}\end{array}\text{\hspace{1em}(56)}$$该问题在拟凸优化问题框架下可解，由二分法转化为下述问题：$$\begin{array}{rl}\text{ find }& \mathbf{f}\\ \text{ s.t. }& {\Vert {\mathbf{H}}_i\mathbf{f}+{\mathbf{b}}_i\Vert }_2\le \sqrt{1+t}\cdot {\mathbf{h}}_i^T{\mathbf{f}}_i,i=1,2,\dots ,n\\ & \mathrm{Im}\left\{{\mathbf{h}}_i^T{\mathbf{f}}_i\right\}=0,i=1,\dots ,n\\ & \Vert \mathbf{f}{\Vert }_2\le \sqrt{P_0}\end{array}\text{\hspace{1em}(57)}$$

多小区

多小区通信如图所示：

多小区中存在小区间干扰，有协同预编码的问题。考虑多小区MU-MISO模型，小区数为$N_c$，基站有$N_t$根天线，每个基站服务$K$个用户，第$i$个BS发射信号为：$${\mathbf{x}}_i(t)=\sum _{k=1}^K{\mathbf{w}}_{ik}{s}_{ik}(t)\text{\hspace{1em}(58)}$$令${\mathbf{h}}_{jik}\in {\mathbb{C}}^{N_t}$为从第$j$个BS到第$k$个移动台${\mathrm{M}\mathrm{S}}_{ik}$的信道，则${\mathrm{M}\mathrm{S}}_{ik}$的接收信号可表示为：$$\begin{array}{rl}{y}_{ik}(t)& =\sum _{j=1}^{N_c}{\mathbf{h}}_{jik}^T{\mathbf{x}}_j(t)+z_{ik}(t)\\ & =\sum _{j=1}^{N_c}{\mathbf{h}}_{jik}^T\left(\sum _{\ell =1}^K{\mathbf{w}}_{j\ell }{s}_{j\ell }(t)\right)+z_{ik}(t)\\ & ={\mathbf{h}}_{iik}^T{\mathbf{w}}_{ik}{s}_{ik}(t)+\sum _{\ell \ne k}^K{\mathbf{h}}_{iik}^T{\mathbf{w}}_{i\ell }{s}_{i\ell }(t)+\sum _{j\ne i}^{N_c}{\mathbf{h}}_{jik}^T\sum _{\ell =1}^K{\mathbf{w}}_{j\ell }{s}_{j\ell }(t)+z_{ik}(t)\end{array}\text{\hspace{1em}(59)}$$第二项与第三项分别为小区内干扰与小区间干扰。$${\mathrm{SINR}}_{ik}\left({\mathbf{w}}_{11},\dots ,{\mathbf{w}}_{N_{c}K}\right)=\frac{{\left|{\mathbf{h}}_{iik}^T{\mathbf{w}}_{ik}\right|}^2}{{\sum }_{\ell \ne k}^K{\left|{\mathbf{h}}_{iik}^T{\mathbf{w}}_{i\ell }\right|}^2+{\sum }_{j\ne i}^{N_c}{\sum }_{\ell =1}^K{\left|{\mathbf{h}}_{jik}^T{\mathbf{w}}_{j\ell }\right|}^2+{\sigma }_{ik}^2}\text{\hspace{1em}(60)}$$多小区PM问题如下：$$\begin{array}{rl}\min & \sum _{i=1}^{N_c}\sum _{k=1}^K{\Vert {\mathbf{w}}_{ik}\Vert }_2^2\\ \text{ s.t. }& {\mathrm{SINR}}_{ik}\left({\mathbf{w}}_{11},\dots ,{\mathbf{w}}_{N_{c}K}\right)\ge {\gamma }_{ik},k=1,\dots ,K,i=1,\dots ,N_c\end{array}\text{\hspace{1em}(61)}$$同上，可以转化为SOCP：$$\begin{array}{rl}& \min t\\ & \begin{array}{rl}\text{ s.t. }& {\left(\sum _{i=1}^{N_c}\sum _{k=1}^K{\Vert {\mathbf{w}}_{ik}\Vert }_2^2\right)}^{1/2}\le t\\ & {\mathbf{h}}_{iik}^T{\mathbf{w}}_{ik}\ge \sqrt{{\gamma }_{ik}\left(\sum _{\ell \ne k}^K{\left|{\mathbf{h}}_{iik}^T{\mathbf{w}}_{i\ell }\right|}^2+\sum _{j\ne i}^{N_c}\sum _{\ell =1}^K{\left|{\mathbf{h}}_{jik}^T{\mathbf{w}}_{j\ell }\right|}^2+{\sigma }_{ik}^2\right)},\forall k,i\\ & \mathrm{Im}\left\{{\mathbf{h}}_{iik}^T{\mathbf{w}}_{ik}\right\}=0,k=1,\dots ,K,i=1,\dots ,N_c\end{array}\end{array}\text{\hspace{1em}(62)}$$

家庭基站波束成形

家庭基站波束成形可以理解为加了优先级考虑的多小区波束成形问题，系统模型如下：

要求在保证MUE通信基础上尽可能服务FUE，FUE接收信号为：$$y(t)={\mathbf{h}}_{FF}^H{\mathbf{w}}_F{s}_F(t)+{\mathbf{h}}_{FM}^H{\mathbf{w}}_M{s}_M(t)+n_F(t)\text{\hspace{1em}(63)}$$则FUE的SINR为： S I N R F = ∣ h F F H w F ∣ 2 ∣ h F M H w M ∣ 2 + σ F 2 (64) \mathrm{SINR}_{F}=\frac{\left|\mathbf{h}_{F F}^{H} \mathbf{w}_{F}\right|^{2}}{\left|\mathbf{h}_{F M}^{H} \mathbf{w}_{M}\right|^{2}+\sigma_{F}^{2}} \tag{64} SINRF​=∣∣​hFMH​wM​∣∣​