此前的图神经网络是基于循环结构,此篇主要介绍基于图卷积神经网络中的卷积操作。
卷积本身是一种数学算子,对两个函数f和g操作,生成第三个函数h。
h ( t ) = ∫ − ∞ ∞ f ( τ ) g ( t − τ ) d τ h(t)=\int_{-\infty}^{\infty}f(\tau)g(t-\tau)d\tau h(t)=∫−∞∞f(τ)g(t−τ)dτ
即:新函数在t处的值=f 和g 关于t对称处函数值成绩的和。简单(抽象)地说就是一个加权求和的过程。了解加权求和的核心之后,可以建模出图像上的卷积操作。每一层的卷积核就是一个权重可学习的权值函数 g ( ⋅ ) g(\cdot) g(⋅)。
卷积核的权重可以依据任务确定:实现边缘提取laplacian算子、可依据损失函数学习特定特征提取的权重。
卷积操作的作用:通过结点和周围结点的信息,提取/聚合结点的特征。
小结:在机器学习领域,卷积的具体操作是加权求和,卷积的效果是特征聚合/提取。
图像卷积操作要求规整的数据结构,图上结点的邻居结点数量不固定。
衍生了两种特征聚合图结点的特征的操作:
图卷积又分为空域卷积和频域卷积:
启发:一种最简单的无参卷积–将所有的邻居结点的隐藏状态加和,以更新当前结点的隐藏状态。
Massage Passing Neural Network–MPNN,空域卷积的形式化框架。他将空域卷积分解为两个过程:消息传递 M l ( ⋅ ) M_l(\cdot) Ml(⋅)和状态更新 U l ( ⋅ ) U_l(\cdot) Ul(⋅)
h v l + 1 = U l + 1 ( h v , ∑ u ∈ n e [ v ] M l + 1 ( h v l , h u l , x u v ) ) h_v^{l+1}=U_{l+1}(h_v, \sum_{u\in ne[v]}M_{l+1}(h^l_v,h_u^l,x_{uv})) hvl+1=Ul+1(hv,u∈ne[v]∑Ml+1(hvl,hul,xuv))
即本结点与邻居结点的信息通过 M l ( ⋅ ) M_l(\cdot) Ml(⋅)形成消息,将所有的消息类和后,然后通过状态更新函数 U l ( ⋅ ) U_l(\cdot) Ul(⋅)更新自己的隐状态。
GCN:每一层包含所有结点,每层的MU参数并不共享,层数由设计确定
GNN:按更新时间序列展开成,各层的MU参数共享,每一次更新所有的结点,按不动点理论,时间序列的长度不定。
MPNN主要缺陷:卷积操作针对整张图,所有结点都要进内存。大规模图上的全图卷积操作并不现实。
采样部分结点进行学习,
GraphSage状态更新公式:
h v l + 1 = σ ( W l + 1 ∗ a g g r e g a t e ( h v l , { h u l } ) , ∀ u ∈ n e [ v ] ) h_v^{l+1}=\sigma(W^{l+1}*aggregate(h_v^l,\{h_u^l\}),\forall u \in ne[v]) hvl+1=σ(Wl+1∗aggregate(hvl,{hul}),∀u∈ne[v])
GraphSage的设计重点在于aggregate函数的设计上。
(理解起来稍微有一点抽象)–利用傅立叶变换在图上的抽象来实现图上卷积操作。
傅立叶变换:将一个在空域上定义的函数分解成频域上的若干频率成分。
f ^ ( t ) = ∫ f ( x ) exp − 2 π i x t d x \hat{f}(t)=\int f(x)\exp^{-2\pi ixt}dx f^(t)=∫f(x)exp−2πixtdx
傅立叶变换恒等式:两个函数在空域上的卷积的效果,等于两函数在频域上的乘积。
( f ∗ g ) ( t ) = F − 1 [ F [ f ( t ) ] ⊙ F [ g ( t ) ] ] (f*g)(t)=F^{-1}[F[f(t)]\odot F[g(t)]] (f∗g)(t)=F−1[F[f(t)]⊙F[g(t)]]
所以:可以利用傅立叶变换,得到频域表示后,进行哈达玛乘积,再傅立叶逆变换回去,即可得到空域卷积的结果。
傅立叶变换的作用:
利用傅立叶变换实现图上卷积的核心点:如何找到变换算子 exp − 2 π i x t \exp^{-2\pi ixt} exp−2πixt。
依据变换算子是拉普拉斯算子的特征函数这一重要特性,找到图数据拉普拉斯变换算子–拉普拉斯矩阵对应的特征向量。
(频域卷积的前提条件-图是无向图。)
图拉普拉斯矩阵的特征值分解:
L = U Λ U T L=U\Lambda U^T L=UΛUT
U = ( u 1 , u 2 , . . . , u n ) U = (u_1, u_2, ... , u_n) U=(u1,u2,...,un)
Λ = d i a g ( λ 1 , λ 2 , . . . , λ n ) \Lambda = diag(\lambda_1, \lambda_2, ... , \lambda_n) Λ=diag(λ1,λ2,...,λn)
图结点数据傅立叶变换: ( ^ f ) ( t ) = ∑ n = 1 N f ( n ) u t ( n ) \hat(f)(t) = \sum_{n=1}^Nf(n)u_t(n) (^f)(t)=∑n=1Nf(n)ut(n) 这个叠加的n是个什么东西?N个结点的信息
整张图的傅立叶变换: f ^ = [ f ^ ( 1 ) . . . f ^ ( N ) ] = U T f \hat{f}= \left[ \begin{array}{ccc} \hat{f}(1)\\ ... \\ \hat{f}(N)\\ \end{array} \right]= U^Tf f^=⎣⎡f^(1)...f^(N)⎦⎤=UTf
用神经网络建模卷积核傅立叶变化后的函数,用 g θ g_\theta gθ表示,那么频域卷积可以表示为:
g θ ⊙ U T f g_\theta\odot U^Tf gθ⊙UTf
再通过傅立叶逆变换可以求得,最终图上的卷积。(逆变换算子为 exp 2 π i x t \exp^{2\pi ixt} exp2πixt,类比图中的逆变换算子为U):
o = ( f ∗ g ) θ = U g θ U T f o=(f*g)_\theta=Ug_\theta U^Tf o=(f∗g)θ=UgθUTf
图上频域卷积的工作,都聚焦于 g θ g_\theta gθ的设计。频域卷积,隐状态更新涉及:
频域卷积,隐状态更新公式,{:i}表示第i列, ( i = 1 , . . . , d l ) , ( j = 1 , . . . , d l + 1 ) (i=1,...,d_l),(j=1,...,d_{l+1}) (i=1,...,dl),(j=1,...,dl+1):
h : , j l + 1 = σ ( U ∑ i = 1 d L ) g θ U T h : , i l h^{l+1}_{:,j}=\sigma(U\sum_{i=1}^{d_L})g_\theta U^Th^l_{:,i} h:,jl+1=σ(Ui=1∑dL)gθUTh:,il
切比雪夫网络用来加速特征矩阵的求解。
Patch-SAN:将图转化成序列结构,然后利用卷积神经网络在序列化结构上作卷积。
Patch-SAN原文中主要涉及图分类任务。
图结构的特点:
图结构-》序列化结构要求
3. 同构图产生的序列应当是相似的
4. 保持邻居结点和目标结点的距离关系
Patch-SAN 通过三个规则来将图转化成一个长度为 w ∗ ( k + 1 ) w*(k+1) w∗(k+1)的序列,然后直接使用1D卷积对该序列进行操作。