[机器学习必知必会]凸优化

定义

凸优化问题OPT，convex optimization problem，指定义在凸集中的凸函数最优化的问题。尽管凸优化的条件比较苛刻，但仍然在机器学习领域有十分广泛的应用。

凸优化问题的优势

1. 凸优化问题的局部最优解就是全局最优解
2. 很多非凸问题都可以被等价转化为凸优化问题或者被近似为凸优化问题（例如拉格朗日对偶问题）
3. 凸优化问题的研究较为成熟，当一个具体被归为一个凸优化问题，基本可以确定该问题是可被求解的

相关数学概念

1. 凸集

1.1 定义：

$C$是凸集，如果对于任意的$x,y\in C$和任意的$\theta \in \mathbb{R}$满足$0\le \theta \le 1$时，$\theta x+(1-\theta )y\in C$ 恒成立

1.2 几何意义

直观来说，任取一个集合中的两点练成一条线段，如果这条线段完全落在该集合中，那么这个集合就是凸集。

2. 凸函数

2.1定义：

定义在${\mathbb{R}}^n\to \mathbb{R}$上的函数$f$是凸函数，如果它的定义域$\mathbb{D}(f)$是一个凸集且对任意的$x,y\in \mathbb{D}$和$0\le \theta \le 1$,$f(\theta x+(1-\theta y))\le \theta f(x)+(1-\theta )f(y)$恒成立

2.2几何意义：

2.3凸函数的一阶充要条件：

假设定义在${\mathbb{R}}^n\to \mathbb{R}$上的函数$f$可微（即对于所有$x\in \mathbb{D}(f)$，梯度$▽f(x)$均存在）。则函数$f$是凸函数当且仅当函数定义域$\mathbb{D}(f)$是一个凸集，且对于所有$x,y\in \mathbb{D}(f)$均满足：
$$f(y)\ge f(x)+▽f(x{)}^T(y-x)$$

一阶充要条件从几何意义上讲，即定义域内所有函数值都大于等于该点的一阶近似。

2.4 凸函数的二阶充要条件：

记函数的一阶导数和二阶导数分别为$g$和$H$：
$$g=▽f=\left[\begin{array}{c}\frac{\partial f}{\partial x_1}\\ \frac{\partial f}{\partial x_2}\\ ⋮\\ \frac{\partial f}{\partial x_n}\end{array}\right]H={▽}^{2}f=\left[\begin{array}{cccc}\frac{{\partial }^{2}f}{\partial x_1^2}& \frac{{\partial }^{2}f}{\partial x_1\partial x_2}& \cdots & \frac{{\partial }^{2}f}{\partial x_1\partial x_n}\\ \frac{{\partial }^{2}f}{\partial x_2\partial x_1}& \frac{{\partial }^{2}f}{\partial x_2^2}& \cdots & \frac{{\partial }^{2}f}{\partial x_2\partial x_n}\\ ⋮& ⋮& \ddots & ⋮\\ \frac{{\partial }^{2}f}{\partial x_n\partial x_1}& \frac{{\partial }^{2}f}{\partial x_n\partial x_2}& \cdots & \frac{{\partial }^{2}f}{\partial x_n^2}\end{array}\right]$$
假设定义在${\mathbb{R}}^n\to \mathbb{R}$上的函数$f$二阶可微（即对于所有$x\in \mathbb{D}(f)$，海森矩阵${▽}^{2}f(x)$均存在）。则函数$f$是凸函数当且仅当函数定义域$\mathbb{D}(f)$是一个凸集，且对于所有$x\in \mathbb{D}(f)$均满足：
$${▽}^{2}f(x)⪰0$$

注意：这里的$⪰$表示的是半正定。

3. 正定矩阵

3.1 从二次型出发理解正定矩阵

正定矩阵的概念是从正定二次型引入的，对称矩阵$A$为正定的充要条件即该矩阵的特征值全为正数。

为方便理解正定/半正定矩阵，我们引入二次型$f(x)=x^{T}Ax$，对于含有$n$个变量的二次齐次函数，我们可以一般化地写为：
$$f(x_1,x_2,...,x_n)=a_{11}{x}_1^2+a_{22}{x}_2^2+...+a_{nn}{x}_n^2+2a_{12}{x}_1{x}_2+...+2a_{n-1,n}{x}_{n-1}{x}_n$$
$$f(x_1,x_2,...,x_n)=\sum _{i=1}^n{a}_{ii}{x}_i^2+2\sum _{i=1}^n\sum _{j=1}^n{a}_{ij}{x}_i{x}_j$$

同时，对于所有的二次齐次式我们都可以写成矩阵形式：
$$f(x_1,x_2,...,x_n)=x^{T}Ax$$
如果对任意的$x\ne 0$均有$f(x)>0$，则称$f(x)$为正定二次型，同时称$A$为正定矩阵。

因为对于任意的二次型，我们都能将其写为矩阵形式，且矩阵$A$的形式为：
$$\left[\begin{array}{cccc}{a}_{11}& a_{12}& \cdots & a_{1n}\\ a_{21}& a_{22}& \cdots & a_{2n}\\ ⋮& ⋮& \ddots & ⋮\\ a_{n1}& a_{n2}& \cdots & a_{nn}\end{array}\right]$$
因此二次型矩阵和对称矩阵是一一对应的关系。

3.2 从几何意义理解正定二次型

对于最简单的一元二次函数$f(x)=x^2$，当$x\ne 0$时$f(x)>0$恒成立。即一元正定二次型对应的图像是开口向上，顶点在原点的抛物线，同理二元正定二次型$f(x,y)=x^2+y^2$对应的图像是开口向上，顶点在原点的抛物面。

扩展到$n$元正定二次型的图像也对应着一个抛物线，保证当自变量取值非零向量时，对应的函数值大于0恒成立。

3.3 半正定矩阵的图像

同样我们可以给出二元半正定二次型的图像，即某个自变量的特征值为$0$从而保证当自变量取值为非零向量时，对应的函数值大于等于$0$恒成立。

凸优化问题

1. 定义：

$$\begin{array}{rl}\min & f(x)\\ s.t.& g_i(x)\le 0,i=1,2,...,m\\ & h_j(x)=0,j=1,2,...,n\end{array}$$
当$f(x)$和$g_i(x)$均为凸函数，而$h_j(x)$均为仿射函数时, 上述的优化问题即凸优化问题。

2. 常见的凸优化问题

2.1 线性规划（LP, Linear Program）

$$\begin{array}{rl}\min & c^{T}x+d\\ s.t.& G(x)⪯h\\ & A(x)=b\end{array}$$
其中目标函数和不等式约束都是仿射函数，且$⪯$表示按元素小于等于。

2.2 二次规划（QP, Quadratic Program）

$$\begin{array}{rl}\min & \frac{1}{2}{x}^{T}Px+c^{T}x+d\\ s.t.& G(x)⪯h\\ & A(x)=b\end{array}$$
其中目标函数为凸二次型，不等式约束为仿射函数。

2.3 二次约束的二次规划（QCCP, Quadratically Contrained Quaratic Program）

$$\begin{array}{rl}\min & \frac{1}{2}{x}^{T}Px+c^{T}x+d\\ s.t.& \frac{1}{2}{x}^T{Q}_{i}x+r_{i}x+s_i\le 0,i=1,2,....m\\ & A(x)=b\end{array}$$
其中目标函数和不等式约束都是凸二次型。

2.4 半正定规划（SDP, Semidefinite Program）

$$\begin{array}{rl}\min & tr(CX)\\ s.t.& tr(A_{i}X)=b_i,i=1,2,....p\\ & X⪰0\end{array}$$
其中需要最优化的变量$X$是一个对称的半正定矩阵，且$C,A_1,...,A_p$为对阵矩阵。

3. 凸优化问题的一般求解过程

由于凸优化问题具有局部最优解即全局最优解的优良特性，因此求解过程可以简化为：找到一个点列使得目标函数值持续减少，直到触发停止条件或达到一个最小值。

设$x_k$为第$k$次迭代的值，$d_k$为第$k$次搜索方向，${\alpha }_k$为第$k$次迭代的步长，则第$k$次迭代公式为：
$$x_{k+1}=x_k+{\alpha }_k{d}_k$$
其中第$k$次的搜索方向满足：
$$▽f(x_k{)}^T{d}_k<0$$
$$f(x_{k+1})=f(x_k+{\alpha }_k{d}_k)<f(x_k)$$

Reference

[1] https://www.jiqizhixin.com/articles/2019-03-05-8
[2] https://www.zhihu.com/question/38902714/answer/195435181
[3] https://www.jianshu.com/p/62539b0316e2
[4] plot: matplotlib.pyplot
[5] http://cs229.stanford.edu/section/cs229-cvxopt.pdf