图神经网络

图神经网络

引言

深度学习一直都是被几大经典模型给统治着，如CNN、RNN等等，CNN在计算机视觉有着优异的性能，RNN在自然语言处理有着很好的效果，但是因为我们发现了很多CNN、RNN无法解决或者效果不好的问题——图结构的数据，所以图神经网络应运而生。

我们做图像识别，对象是图片，是一个二维的结构，于是人们发明了CNN这种神奇的模型来提取图片的特征。CNN的核心在于它的kernel，kernel是一个个小窗口，在图片上平移，通过卷积的方式来提取特征。这里的关键在于图片结构上的平移不变性：一个小窗口无论移动到图片的哪一个位置，其内部的结构都是一模一样的，因此CNN可以实现参数共享。这就是CNN的精髓所在。而RNN系列，它的对象是自然语言这样的序列信息，是一个一维的结构，RNN就是专门针对这些序列的结构而设计的，通过各种门的操作，使得序列前后的信息互相影响，从而很好地捕捉序列的特征。

上面讲的图片或者语言，都属于欧式空间的数据，因此才有维度的概念，欧式空间的数据的特点就是结构很规则。但是现实生活中，其实有很多很多不规则的数据结构，典型的就是图结构，或称拓扑结构，如社交网络、化学分子结构、知识图谱等等；

图卷积神经网络，实际上跟CNN的作用一样，就是一个特征提取器，只不过它的对象是图数据。它精妙地设计了一种从图数据中提取特征的方法，从而让我们可以使用这些特征去对图数据进行节点分类(node classification)、图分类(graph classification)、边预测(link prediction)，还可以顺便得到图的嵌入表示(graph embedding)

关于图的卷积我们有两种方法进行对图数据结构进行卷积，一种是谱域卷积，一种是空间域卷积。

谱域卷积

其实谱域卷积和空间域卷积其实都在干一件事情，如何定义卷积核，我们在CNN下，一个像素点相邻的像素点是固定的，这样我们就可以通过移动卷积核，来进行抽取特征。而我们的谱域卷积就是把图的数据结构通过傅里叶变换转换到了谱域，并对其进行卷积。

拉普拉斯矩阵

普通拉普拉斯矩阵：
$$L=D-A$$
$D$是矩阵的度矩阵(有向图为入度矩阵)，$A$是矩阵的邻接矩阵

元素定义如下：
$$L_{i,j}=\{\begin{array}{ll}\mathrm{diag}\left(v_i\right)& i=j\\ -1& i\ne j\\ 0& \text{ otherwise }\end{array}$$
归一化拉普拉斯矩阵：

$I$为单位矩阵
$$L^{sys}=D^{-1/2}L{D}^{-1/2}=I-D^{-1/2}A{D}^{-1/2}$$
元素定义如下：
$$L_{i,j}^{sys}=\{\begin{array}{ll}1& i=j\text{ and }\mathrm{diag}\left(v_i\right)\ne 0\\ -\frac{1}{\sqrt{\mathrm{diag}\left(v_i\right)\mathrm{diag}\left(v_j\right)}}& i\ne j\\ 0& \text{ otherwise }\end{array}$$

傅里叶变换

上述提到了我们在谱域上卷积，实际上是用了傅里叶变换将图转换到谱域，而傅里叶变换其实也是同理，它是将时域转换到频域。

任意一个周期函数可以由若干个正交函数(由$sin,cos$)的线性组合构成，写出傅里叶级数的形式如下：
$$f(x)=a_0+\sum _{n=1}^{\infty }\left(a_n\cos \left(\frac{2\pi n}{T}x\right)+b_n\sin \left(\frac{2\pi n}{T}x\right)\right),a_0\in \mathbb{R}$$
利用欧拉公式$e^{ix}=\cos x+i\sin x$，可以将$\cos ,\sin$表示成如下：
$$\cos x=\frac{e^{ix}+e^{-ix}}{2},\sin x=\frac{e^{ix}-e^{-ix}}{2i}$$
所以，任意周期函数可以以$e^{iwt}$为基函数用傅里叶级数的指数形式表示。即，对于一个周期函数$f(x)$以傅里叶级数的指数形式表示为：
$$f(x)=\sum _{n=-\infty }^{+\infty }=c_n\cdot e^{\frac{2\pi nxi}{T}}$$
上述的$e^{\frac{2\pi ix}{T}}$其实也就是频率，就是我们的谱，而在我们的图上的卷积，时域信号就变成了我们的图上的信号

图上的信号

每个节点与$d$个特征相关，故图上的信号矩阵为$X\in R^{d\times n}$，$X$的每一列是定义在节点上的信号

Spectral Network

在处理Graph时，用到的是傅里叶变换的离散形式。由于拉普拉斯矩阵进行谱分解以后，可以得到n个线性无关的特征向量，构成空间中的一组正交基，如下：
$$L=U\Lambda U^T$$
因此归一化拉普拉斯矩阵算子的特征向量构成了图傅里叶变换的基。故图上的傅里叶变换就可以写成：
$$\begin{array}{rl}& \mathcal{F}(\mathbf{x})={\mathbf{U}}^T\mathbf{x}\end{array}$$
傅里叶逆变换便是：
$$\begin{array}{rl}& {\mathcal{F}}^{-1}(\mathbf{x})=\mathbf{U}\mathbf{x}\end{array}$$
然后由卷积定理(函数卷积的傅里叶变换是函数傅立叶变换的乘积)，故图上的卷积可以写成下式：
$$\begin{array}{rl}\mathbf{g}\star \mathbf{x}& ={\mathcal{F}}^{-1}(\mathcal{F}(\mathbf{g})\odot \mathcal{F}(\mathbf{x}))\\ & =\mathbf{U}\left({\mathbf{U}}^T\mathbf{g}\odot {\mathbf{U}}^T\mathbf{x}\right)\end{array}$$
其中${\mathbf{U}}^T\mathbf{g}$是滤波器，$\mathbf{x}$是输入的图信号矩阵，如果我们通过使用一个可学习的对角矩阵${\mathbf{g}}_w$来简化滤波器，那么我们就有了谱系方法的基本功能。
$${\mathbf{g}}_w\star \mathbf{x}=\mathbf{U}{\mathbf{g}}_w{\mathbf{U}}^T\mathbf{x}$$
首先我们通过${\mathbf{U}}^T\mathbf{x}$，将图信号转换到谱域，然后我们通过${\mathbf{g}}_w$卷积后再通过$\mathbf{U}$进行傅里叶逆变换后，重新变换成图信号，这样图神经网络的开山之作Spectral Network的原理介绍完毕，其余的谱域方法都是在${\mathbf{g}}_w$这个可学习的卷积核上进行研究。

ChebNet

上述的神经网络有三个严重问题

• 需要对拉普拉斯矩阵进行分解，对于计算机而言，求特征向量是一件时间开销非常大的事情。
• 当我们求出$\mathbf{U}$后还需对他进行矩阵乘法，时间复杂度为$O(n^2)$
• 在节点域中做卷积时并不是以节点的邻域做卷积

ChebNet应运而生，先了解一下什么时切比雪夫多项式

切比雪夫多项式

$$\begin{array}{rl}& T_0(x)=1\\ & T_1(x)=x\\ & T_{n+1}(x)=2x{T}_n(x)-T_{n-1}(x)\end{array}$$

我们可以运用上述公式，去逼近任意函数。

回到ChebNet，利用Chebyshev多项式代替卷积核，就可以得到下式：
$${\mathbf{g}}_w\approx \sum _{k=0}^K{w}_k{\mathbf{T}}_k(\tilde{\mathbf{L}})\mathbf{x}$$
其中$\tilde{\mathbf{L}}=\frac{2}{{\lambda }_{max}}\mathbf{L}-{\mathbf{I}}_N$，这样我们发现这个式子中没有了$\mathbf{U}$，避免了矩阵的分解，将$N$降维到了$K$，其中的$K$相当于感受野，解决了上述的三个问题。

GCN

GCN也是一个神经网络层，它的层与层之间的传播方式是：
$$H^{(l+1)}=\sigma \left({\tilde{D}}^{-\frac{1}{2}}\tilde{A}{\tilde{D}}^{-\frac{1}{2}}{H}^{(l)}{W}^{(l)}\right)$$
$H^l$相当于第$l$层的输出，如果为第一层相当于节点的特征矩阵，$ W^{l}$相当与权重参数，其中$\tilde{\mathbf{A}}=\mathbf{A}+\mathbf{I}{N}$，$\tilde{\mathbf{D}}{i i}=\sum_{j} \tilde{\mathbf{A}}_{i j}$，$\sigma$相当于一个激活函数，其中引用了参数共享的概念，在不同的卷积层中$\tilde{\mathbf{A}}$都是共享的

GCN的局限性

• **无法完成inductive任务，即处理动态图问题。**inductive任务是指：训练阶段与测试阶段需要处理的graph不同。通常是训练阶段只是在子图（subgraph）上进行，测试阶段需要处理未知的顶点。（unseen node）
• 处理有向图的瓶颈，不容易实现分配不同的学习权重给不同的neighbor

空间域卷积

空间域卷积此时便有点像我们传统上的CNN了，他不再使用从节点域到谱域的转换，而是在直接在图上做卷积

首先我们再空间域做卷积有几个问题需要注意

• 确定邻域
  在CNN中我们的领域因为欧氏空间的特性，非常容易确定，一个像素周围有八个像素点。而在图中每一个节点相邻的周围节点个数都不一样，所以不能直接在图上做卷积。
• 确定顺序
  在CNN我们有一个非常重要的概念叫做参数共享，在以不同的节点为中心做卷积时，不同节点的顺序是一样，每个参数都能找到自己的位置，而在图上不一样，即使周围节点个数相同，我们也不知道那个参数该给那个参数共享

GraphSAGE

在这个方法中我们的采样点选择随机采样

---

Algorithm：GraphSAGE embedding generation

---

Input: Graph $\mathcal{G}(\mathcal{V},\mathcal{E})$; input features { x v , ∀ v ∈ V } \left\{\mathbf{x}_{v}, \forall v \in \mathcal{V}\right\} {xv​,∀v∈V}; depth $K$; weight matrices W k , ∀ k ∈ { 1 , … , K } ; \mathbf{W}^{k}, \forall k \in\{1, \ldots, K\} ; Wk,∀k∈{1,…,K}; non-linearity $\sigma$; differentiable aggregator functions AGGREGATE k , ∀ k ∈ { 1 , … , K } ; _{k}, \forall k \in\{1, \ldots, K\} ; k​,∀k∈{1,…,K}; neighborhood function $\mathcal{N}:v\to 2^{\mathcal{V}}$

Output: $\text{ Vector representations }{\mathbf{z}}_v\text{ for all }v\in \mathcal{V}$

$h_v^0\leftarrow {\mathbf{x}}_v$

for $k=1...K$ do

​ for $v\in \mathcal{V}$ do

​ ${\mathbf{h}}_{\mathcal{N}(v)}^k\leftarrow {\mathrm{AGGREGATE}}_k\left(\left\{{\mathbf{h}}_u^{k-1},\forall u\in \mathcal{N}(v)\right\}\right)$

​ ${\mathbf{h}}_v^k\leftarrow \sigma \left({\mathbf{W}}^k\cdot \mathrm{CONCAT}\left({\mathbf{h}}_v^{k-1},{\mathbf{h}}_{\mathcal{N}(v)}^k\right)\right)$

​ end

​ ${\mathbf{h}}_v^k\leftarrow {\mathbf{h}}_v^k/{\Vert {\mathbf{h}}_v^k\Vert }_2,\forall v\in \mathcal{V}$

end

${\mathbf{z}}_v\leftarrow {\mathbf{h}}_v^K,\forall v\in \mathcal{V}$

$K$代表神经网络的层数，$\mathcal{V}$代表节点集，$\mathrm{AGGREGATE}$代表聚合操作，有最大值聚合，平均值聚合，还有LSTM聚合，$\sigma$为激活函数，

${\mathbf{W}}^k$代表权重矩阵

---

这样我们通过随机采样和各种聚合函数解决了上述提到的问题

GAT

$$\begin{array}{c}{\mathbf{h}}_v^{t+1}=\rho \left(\sum _{u\in {\mathcal{N}}_v}{\alpha }_{vu}{\mathbf{W}\mathbf{h}}_u^t\right)\\ {\alpha }_{vu}=\frac{\exp \left(\mathrm{LeakyReLU}\left({\mathbf{a}}^T\left[{\mathbf{W}\mathbf{h}}_v\Vert {\mathbf{W}\mathbf{h}}_u\right]\right)\right)}{{\sum }_{k\in {\mathcal{H}}_v}\exp \left(\mathrm{LeakyReLU}\left({\mathbf{a}}^T\left[{\mathbf{W}\mathbf{h}}_v\Vert {\mathbf{W}\mathbf{h}}_k\right]\right)\right)}\end{array}$$

这些公式就描述了图卷积网络是如何进行卷积工作的

首先我们需要计算注意力系数${\mathbf{h}}_v$代表$v$节点的隐藏状态，$\mathbf{W}$代表一种共享参数，$[\cdot \Vert \cdot ]$这个数学符号代表将两个向量连接起来，最后通过

${\mathbf{a}}^T$把拼接后的向量映射到一个实数上，最后除以所有节点进行上述操作的总和，接着，我们用这个注意力系数乘以共享参数矩阵再乘以上一层该节点的隐藏状态，变得到了这一层该节点的隐藏状态。

综上，GAT弥补了GCN所产生的缺点

框架

MoNet

$$\begin{array}{rlr}(f\star g)& =\sum _{j=1}^J{g}_j{D}_j(v)f& (1)\\ D_j(v)f& =\sum _{u\in {\mathcal{N}}_v}{w}_j(\mathbf{u}(v,u))f(u)& (2)\end{array}$$

其实无论时上述所说的谱域卷积还是空间域卷积，我们的本质都是在空间域上进行卷积。我们所有的卷积操作本质上都可以转换成上述的操作对于**(1)式**，其中$g$是卷积核，$D_j(v)f$是定义在节点上的的函数，用于聚合。对于**(2)式**$\mathbf{u}(v,u)$是一种伪坐标，$w_j$是根据伪坐标的一种权重函数