全局向量的词嵌入(GloVe)

本文经授权转载自《动手学深度学习》。全书内容参见 zh.d2l.ai,GitHub项目参见 github.com/d2l-ai/d2l-zh

让我们先回顾一下word2vec中的跳字模型。将跳字模型中使用softmax运算表达的条件概率P(wjwi)P(w_j\mid w_i)记作qijq_{ij},即

q_{ij}=\frac{\exp(\boldsymbol{u}_j^\top \boldsymbol{v}i)}{ \sum{k \in \mathcal{V}} \text{exp}(\boldsymbol{u}_k^\top \boldsymbol{v}_i)},

其中vi\boldsymbol{v}_iui\boldsymbol{u}_i分别是索引为ii的词wiw_i作为中心词和背景词时的向量表示,V=0,1,,V1\mathcal{V} = {0, 1, \ldots, |\mathcal{V}|-1}为词典索引集。

对于词wiw_i,它在数据集中可能多次出现。我们将每一次以它作为中心词的所有背景词全部汇总并保留重复元素,记作多重集(multiset)$\mathcal{C}i。一个元素在多重集中的个数称为该元素的重数(multiplicity)。举例来说,假设词。一个元素在多重集中的个数称为该元素的重数(multiplicity)。举例来说,假设词w_i在数据集中出现2次:文本序列中以这2在数据集中出现2次:文本序列中以这2个w_i作为中心词的背景窗口分别包含背景词索引作为中心词的背景窗口分别包含背景词索引2,1,5,22,3,2,1。那么多重集。那么多重集\mathcal{C}_i = {1,1,2,2,2,2,3,5},其中元素1的重数为2,元素2的重数为4,元素35的重数均为1。将多重集,其中元素1的重数为2,元素2的重数为4,元素3和5的重数均为1。将多重集\mathcal{C}_i中元素中元素j的重数记作的重数记作x{ij}:它表示了整个数据集中所有以:它表示了整个数据集中所有以w_i为中心词的背景窗口中词为中心词的背景窗口中词w_j$的个数。那么,跳字模型的损失函数还可以用另一种方式表达:

iVjVxijlog,qij.-\sum_{i\in\mathcal{V}}\sum_{j\in\mathcal{V}} x_{ij} \log,q_{ij}.

我们将数据集中所有以词wiw_i为中心词的背景词的数量之和Ci\left|\mathcal{C}_i\right|记为xix_i,并将以wiw_i为中心词生成背景词wjw_j的条件概率xij/xix_{ij}/x_i记作pijp_{ij}。我们可以进一步改写跳字模型的损失函数为

iVxijVpijlog,qij.-\sum_{i\in\mathcal{V}} x_i \sum_{j\in\mathcal{V}} p_{ij} \log,q_{ij}.

上式中,jVpijlog,qij-\sum_{j\in\mathcal{V}} p_{ij} \log,q_{ij}计算的是以wiw_i为中心词的背景词条件概率分布pijp_{ij}和模型预测的条件概率分布qijq_{ij}的交叉熵,且损失函数使用所有以词wiw_i为中心词的背景词的数量之和来加权。最小化上式中的损失函数会令预测的条件概率分布尽可能接近真实的条件概率分布。

然而,作为常用损失函数的一种,交叉熵损失函数有时并不是好的选择。一方面,正如我们在“近似训练”一节中所提到的,令模型预测qijq_{ij}成为合法概率分布的代价是它在分母中基于整个词典的累加项。这很容易带来过大的计算开销。另一方面,词典中往往有大量生僻词,它们在数据集中出现的次数极少。而有关大量生僻词的条件概率分布在交叉熵损失函数中的最终预测往往并不准确。

GloVe模型

鉴于此,作为在word2vec之后提出的词嵌入模型,GloVe模型采用了平方损失,并基于该损失对跳字模型做了3点改动 [1]:

  1. 使用非概率分布的变量$p'{ij}=x{ij}q'{ij}=\exp(\boldsymbol{u}_j^\top \boldsymbol{v}_i),并对它们取对数。因此,平方损失项是,并对它们取对数。因此,平方损失项是\left(\log,p'{ij} - \log,q'{ij}\right)^2 = \left(\boldsymbol{u}_j^\top \boldsymbol{v}_i - \log,x{ij}\right)^2$。
  2. 为每个词wiw_i增加两个为标量的模型参数:中心词偏差项bib_i和背景词偏差项cic_i
  3. 将每个损失项的权重替换成函数h(xij)h(x_{ij})。权重函数h(x)h(x)是值域在[0,1][0,1]的单调递增函数。

如此一来,GloVe模型的目标是最小化损失函数

\sum_{i\in\mathcal{V}} \sum_{j\in\mathcal{V}} h(x_{ij}) \left(\boldsymbol{u}_j^\top \boldsymbol{v}i + b_i + c_j - \log,x{ij}\right)^2.

其中权重函数h(x)h(x)的一个建议选择是:当x<cx < c时(如c=100c = 100),令h(x)=(x/c)αh(x) = (x/c)^\alpha(如α=0.75\alpha = 0.75),反之令h(x)=1h(x) = 1。因为h(0)=0h(0)=0,所以对于xij=0x_{ij}=0的平方损失项可以直接忽略。当使用小批量随机梯度下降来训练时,每个时间步我们随机采样小批量非零xijx_{ij},然后计算梯度来迭代模型参数。这些非零xijx_{ij}是预先基于整个数据集计算得到的,包含了数据集的全局统计信息。因此,GloVe模型的命名取“全局向量”(Global Vectors)之意。

需要强调的是,如果词wiw_i出现在词wjw_j的背景窗口里,那么词wjw_j也会出现在词wiw_i的背景窗口里。也就是说,xij=xjix_{ij}=x_{ji}。不同于word2vec中拟合的是非对称的条件概率pijp_{ij},GloVe模型拟合的是对称的log,xij\log, x_{ij}。因此,任意词的中心词向量和背景词向量在GloVe模型中是等价的。但由于初始化值的不同,同一个词最终学习到的两组词向量可能不同。当学习得到所有词向量以后,GloVe模型使用中心词向量与背景词向量之和作为该词的最终词向量。

从条件概率比值理解GloVe模型

我们还可以从另外一个角度来理解GloVe模型。沿用本节前面的符号,P(wjwi)P(w_j \mid w_i)表示数据集中以wiw_i为中心词生成背景词wjw_j的条件概率,并记作pijp_{ij}。作为源于某大型语料库的真实例子,以下列举了两组分别以“ice”(冰)和“steam”(蒸汽)为中心词的条件概率以及它们之间的比值 [1]:

wkw_k= “solid” “gas” “water” “fashion”
p1=P(wkp_1=P(w_k\mid “ice” )) 0.00019 0.000066 0.003 0.000017
p2=P(wkp_2=P(w_k\mid “steam” )) 0.000022 0.00078 0.0022 0.000018
p1/p2p_1/p_2 8.9 0.085 1.36 0.96

我们可以观察到以下现象。

  • 对于与“ice”相关而与“steam”不相关的词wkw_k,如wk=w_k=“solid”(固体),我们期望条件概率比值较大,如上表最后一行中的值8.9;
  • 对于与“ice”不相关而与“steam”相关的词wkw_k,如wk=w_k=“gas”(气体),我们期望条件概率比值较小,如上表最后一行中的值0.085;
  • 对于与“ice”和“steam”都相关的词wkw_k,如wk=w_k=“water”(水),我们期望条件概率比值接近1,如上表最后一行中的值1.36;
  • 对于与“ice”和“steam”都不相关的词wkw_k,如wk=w_k=“fashion”(时尚),我们期望条件概率比值接近1,如上表最后一行中的值0.96。

由此可见,条件概率比值能比较直观地表达词与词之间的关系。我们可以构造一个词向量函数使它能有效拟合条件概率比值。我们知道,任意一个这样的比值需要3个词wiw_iwjw_jwkw_k。以wiw_i作为中心词的条件概率比值为pij/pik{p_{ij}}/{p_{ik}}。我们可以找一个函数,它使用词向量来拟合这个条件概率比值

f(\boldsymbol{u}j, \boldsymbol{u}_k, {\boldsymbol{v}}_i) \approx \frac{p{ij}}{p_{ik}}.

这里函数ff可能的设计并不唯一,我们只需考虑一种较为合理的可能性。注意到条件概率比值是一个标量,我们可以将ff限制为一个标量函数:f(uj,uk,vi)=f((ujuk)vi)f(\boldsymbol{u}_j, \boldsymbol{u}_k, {\boldsymbol{v}}_i) = f\left((\boldsymbol{u}_j - \boldsymbol{u}_k)^\top {\boldsymbol{v}}_i\right)。交换索引jjkk后可以看到函数ff应该满足f(x)f(x)=1f(x)f(-x)=1,因此一种可能是f(x)=exp(x)f(x)=\exp(x),于是

f(\boldsymbol{u}j, \boldsymbol{u}_k, {\boldsymbol{v}}_i) = \frac{\exp\left(\boldsymbol{u}_j^\top {\boldsymbol{v}}_i\right)}{\exp\left(\boldsymbol{u}_k^\top {\boldsymbol{v}}_i\right)} \approx \frac{p{ij}}{p_{ik}}.

满足最右边约等号的一种可能是$\exp\left(\boldsymbol{u}j^\top {\boldsymbol{v}}i\right) \approx \alpha p{ij},这里,这里\alpha是一个常数。考虑到是一个常数。考虑到p{ij}=x_{ij}/x_i,取对数后,取对数后\boldsymbol{u}_j^\top {\boldsymbol{v}}i \approx \log,\alpha + \log,x{ij} - \log,x_i。我们使用额外的偏差项来拟合。我们使用额外的偏差项来拟合- \log,\alpha + \log,x_i,例如,中心词偏差项,例如,中心词偏差项b_i和背景词偏差项和背景词偏差项c_j$:

\boldsymbol{u}_j^\top \boldsymbol{v}i + b_i + c_j \approx \log(x{ij}).

对上式左右两边取平方误差并加权,我们可以得到GloVe模型的损失函数。

小结

  • 在有些情况下,交叉熵损失函数有劣势。GloVe模型采用了平方损失,并通过词向量拟合预先基于整个数据集计算得到的全局统计信息。
  • 任意词的中心词向量和背景词向量在GloVe模型中是等价的。

练习

  • 如果一个词出现在另一个词的背景窗口中,如何利用它们之间在文本序列的距离重新设计条件概率pijp_{ij}的计算方式?(提示:可参考GloVe论文4.2节 [1]。)
  • 对于任意词,它在GloVe模型的中心词偏差项和背景词偏差项是否等价?为什么?

参考文献

[1] Pennington, J., Socher, R., & Manning, C. (2014). Glove: Global vectors for word representation. In Proceedings of the 2014 conference on empirical methods in natural language processing (EMNLP) (pp. 1532-1543).

扫码直达讨论区