正余弦位置编码的数学原理究竟有何神秘之处?

摘要:Transformer的位置编码采用正余弦函数形式,通过不同频率的正弦波叠加实现多尺度位置表示。设计目标包括唯一性、相对位置线性可表示性和多尺度编码。频率按维度指数衰减(底数10000为经验值),偶数维用正弦、奇数维用余弦,形成对称表示。这
Transformer 位置编码(Positional Encoding) 采用的是正余弦位置编码,其形式是: \[PE_{(pos,2i)}=\sin\left(\frac{pos}{10000^{2i/d_{\text{model}}}}\right) \] \[PE_{(pos,2i+1)}=\cos\left(\frac{pos}{10000^{2i/d_{\text{model}}}}\right) \] 两个问题: 为什么是 (\(2i/d_{model}\)) 为什么底数是 10000 这不是严格“数学推导出来”的,而是 根据设计目标推导出的一个合理形式。下面我们一步一步解释这个设计逻辑。 一、出发点:为何需要位置编码 Transformer 的自注意力机制是 置换不变(permutation invariant) 的,即它无法天然感知输入序列的顺序。 例如:"I love you", "you love I" 如果不加入位置信息,模型无法区分它们在语义上的差异。 因此需要给每个位置 \(pos\) 一个向量: \[PE(pos) \in \mathbb{R}^{d_{model}} \] 并且让嵌入向量和位置编码可以直接相加: \[x_{pos} = embedding(pos) + PE(pos) \] 二、理想位置编码应满足的设计目标 论文在设计位置编码时,主要考虑了以下几点: (1)唯一性:不同位置 \(pos\) 应该得到不同向量。 (2)相对位置的可线性表示性:模型应能容易地学习到相对位置关系。理想情况下,\(PE(pos+k)\) 应该能由 \(PE(pos)\) 通过线性变换得到。正余弦函数天然满足这一性质: \[\sin(\theta + \frac{\pi}{2}) = \cos(\theta),\text{ } \cos(\theta + \frac{\pi}{2}) = -\sin(\theta) \] 更一般地,可以通过线性变换表示: \[\begin{bmatrix} \cos(\theta) \\ \sin(\theta) \end{bmatrix} = \begin{bmatrix} \cos(\phi) & -\sin(\phi) \\ \sin(\phi) & \cos(\phi) \end{bmatrix} \begin{bmatrix} \cos(\theta - \phi) \\ \sin(\theta - \phi) \end{bmatrix} \] 这一性质源自三角恒等式: \[\cos(A + B) = \cos A \cos B - \sin A \sin B \] \[\sin(A + B) = \sin A \cos B + \cos A \sin B \] 自己手推一下就知道了。 (3)多尺度表示:希望不同维度能捕捉不同粒度的位置信息——有的维度变化快(适合短距离依赖),有的变化慢(适合长距离依赖),类似于多尺度编码的思想。 三、从目标到形式:逐步构造位置编码 目标有了,现在就开始想解决办法。 第一步:使用周期函数编码位置 受三角函数线性变换性质的启发,可以考虑用正弦函数表示位置: \[PE(pos)=\sin(\omega \cdot pos) \] 或\(PE(pos)=\cos(\omega \cdot pos)\),其中,\(\omega\)是频率。 第二步:不同维度用不同频率 设词嵌入 (embedding) 维度为\(d_{\text{model}}\)。我们希望每一维都有不同频率。例如,\(\omega_0,\omega_1,\omega_2,...,\omega_{d_{model}-1}\),以编码不同尺度的信息: \[PE(pos,i)=\sin(\omega_i\cdot pos) \] 其中,\(i\) 是维度。 第三步:频率如何分布? 我们希望频率从高到低呈指数级变化,这样既能覆盖短距离细节,也能表达长距离结构。这与傅里叶特征(Fourier Features)中的做法类似。 定义波长为 \(\lambda_i=\frac{1}{\omega_i}\),希望波长从小到大 指数增长: \[\lambda_i=\lambda_{min}\cdot r^i \] 其中,\(\lambda_{min}\) 为最小波长,\(r>1\) 是增长因子。 \(i\) 的范围比较大,需要合理归一化。
阅读全文