NIPS2019上的文章(原文在此https://arxiv.org/abs/1905.09791),非欧空间上的知识图谱嵌入,很有意思,做为学习笔记,记录于此。
双曲嵌入最近受到很多关注,因为他比欧式空间更准确地、更简洁表示分层数据。然而,多关系知识图谱往往表现出多样性的分层数据,这是现有的双曲模型不能解决的。本文提出在双曲空间的庞加莱球上进行多关系知识图谱嵌入,学习关系特定的参数来对实体嵌入进行变换(包括莫比乌斯矩阵乘法和莫比乌斯矩阵加法)。
1 Introduction
双曲空间可看做离散树的连续化,非常适合建模分层数据。多种多样的分层数据已经被嵌入到双曲空间上,他需要更少的维度但在下游任务中取得了很好的结果。这说明了在非负曲率的空间(双曲空间)上建模树型的结构比在零曲率空间(欧式空间)上建模更有优势.
很多数据往往表现出多分层的结构,比如狮子在食物链的顶端而哺乳类型树的底端。尽管非欧几何在表示学习上已经有很多研究,但在多关系数据上的研究还很少,仅有的ICLR2019上的一篇效果还没欧式空间上好。在双曲空间上表示多关系数据的难点在于找到合适的方式表示节点,这样的表示还要满足不同关系下的不同分层。现有的很多用双线性建模多关系数据的方法用内积做为相似度函数,但在双曲空间中没有响应的度量函数。另外一些用欧式距离做为相似度函数的方法可以在双曲空间上找到对应的转换,但是效果可能没有双线性模型好。
本文提出MuPR,将分层多关系数据建模到双曲空间的庞加莱球上。在欧式空间上,超球的表面积随半径的增长是多项式增长,而在双曲空间上呈指数增长,所以从数的根节点出发,在双曲空间中有更多的空间来分开叶子节点。MuPR学习关系特定的参数来翻译实体嵌入,它的表现不仅超过了在其对应的欧式空间的模型,而且在WN18RR上的连接预测取得了SOTA效果。MuPR相比于欧式嵌入需要更少的参数。本文还可视化了学习到的嵌入,分析了庞加莱模型的特性,比如收敛速度,每个关系上的性能,和嵌入维度的影响。
2 背景知识
知识图谱是个多关系图,表示关于实体的一些事实。,其中
是实体集,
是关系集,知识图谱通常是不完备的,所以链接预测的目的是发现更多的事实。通常需要学习一个打分函数
,它为每个三元组指定一个分数
, 这个分数再经过一个非线性函数,就可得到一个三元组是真三元组的概率。
知识图谱的关系呈现多方面的特性,如对称、反对称和传递,很多关系,如has_part蕴含了实体间的分层结构,此时把它们嵌入到双曲空间上比嵌入到欧式空间上好。
庞加莱球上的双曲几何
半径为的庞加莱球
是一个d维的流形
连带黎曼度量
,这个黎曼度量与欧式度量的关系为:
, 其中
.庞加莱球上的两个点
间的距离通过测地线(也就是两点之间的最短距离)来度量:
其中是欧式范数,即
,
表示莫比乌斯加法:
其中是欧式内积。莫比乌斯乘法可以通过将双曲空间中的点
通过对数映射
映射到在
点的切空间上,然后在欧式切空间上与矩阵
进行矩阵乘法,然后再通过在0点的对数映射映射回双曲空间。即
3 多关系庞加莱嵌入
在不同的关系下,实体间可能用不同的层次关系,一个理想的嵌入模型应该能同时捕获所有的层次。
打分函数:双线性模型用欧几里得内积来度量两个实体间的相似度,但是在双曲空间中没有与欧式内积对应的度量。欧式内积可由欧式距离和范数表示,即
其中,是欧式距离.
注意到这一点后,Poincare Glove的作者将其中的欧式距离替换成Poincare距离。
本文定义出多关系图嵌入中的打分函数为:
其中,是个距离函数,
是实体的嵌入,
是头实体和尾实体的标量偏置。
分别表示经过特定关系变换后的头实体和尾实体嵌入,
是对角关系矩阵,
是关系的翻译向量。可理解成
由
进行拉伸,而尾实体
由关系向量进行翻译。
将以上定义扩展到双曲模型上,MuRP模型的打分函数定义为
其中是头尾实体的双曲嵌入。
,由莫乌比斯矩阵乘法得到:先用
将原始的头实体双曲嵌入
映射到庞加莱球在
点的切空间上,然后用对角矩阵
去乘,最后再用
映射回庞加莱球上。
在原始的尾实体的双曲嵌入上加上(莫比乌斯加法)关系的双曲嵌入。
由于关系矩阵是对角矩阵,所以MuRP的参数随实体和关系的数量线性增长,可以扩展到很大的知识图谱。为了得到一个三元组正确的概率,还要在打分函数上加个非线性函数sigmoid,即
.
为了比较双曲嵌入和欧式嵌入的性能,将打分函数在欧式空间上进行定义时的模型叫做MURE.
几何上的直观观察:
从(*)式看出偏置 和
确定了以
为中心的超球的半径,当
落到半径为
的超球面内时,三元组
成立。由于头、尾实体的偏置并不一样,所以头尾实体决定不同的决策边界,关系特定的
和
决定了经关系调整后的实体嵌入的位置,而特定实体的决策边界的半径却独立于关系。(*)式定义的打分函数类似于现有的翻译模型的打分函数,只是加了偏置,这改变了模型的几何结构。偏置为每个实体定义了一个以实体的嵌入向量为中心的影响球体,这样实体不再被看做一个点。球体间的重合度量了两个实体间的相关性。可以把关系看做在空间中去移动球体,所以只有由三元组中的关系连接的两个实体的球体才会重叠。
4.模型训练和黎曼优化
在训练时也引入了负三元组。损失函数是log似然:
用随机梯度下降来优化欧式模型,用黎曼随机梯度下降优化双曲模型。为了计算黎曼梯度, 在欧式梯度
上乘以庞加莱度量张量的逆,即
,与欧式更新步
不同,黎曼更新的第一步用
将梯度
映射到对应到庞加莱球的对应的测地线上,然后计算黎曼更新
.
补充知识:
1.庞加莱球模型是双曲几何中五个等距模型之一,每个模型在双曲模型上从不同的视角进行数学上的操作。等距的意思是从一个模型的度量空间到另一个模型的度量空间存在 一一对应的保持距离的映射。
2.庞加莱球上的每个点都有一个切空间
,一个d维的向量空间,是流形
在节点x附近的局部一阶近似。对于庞加莱球来说切空间就是欧式空间
, 指数映射
定义为:
它的逆函数定义为:
3.Krackhardt hierarchy score
是n阶有向图G的二元可达矩阵,
则图G的Krackhardt hierarchy score定义为
注:图1其实没看很懂