双曲嵌入深度学习

1. 双曲空间

双曲空间的定义是曲率为负常数的一类空间。我们首先以一个图为例，来看欧式空间与双曲空间的区别。

左图为欧式空间，我们从中间节点向外部移动，走一步所能达到的网格数量是$3^2$，两步是$5^2$，网络空间会随着半径多项式（平方）的关系进行增长。反观右侧的树结构空间，假设为二叉树，从中心点向外走的节点个数是呈指数增长的，因此这是一个呈指数增长的空间。

假设右侧的树结构我们嵌入到欧式空间上，那么红色的节点到绿色的节点在树上的距离相距$8$个结点，但直接在平面上看两个节点非常近。一个好的嵌入实际上是需要保距的，这时我们就可以在原本的欧式空间上引进曲率，将原本的平面转化为曲面。

1）曲率（Curvature）

曲率是描述几何体弯曲程度的量，例如曲面偏离平面的程度，或者曲线偏离直线的程度。

直线的曲率为$0$；圆为常数曲率（即每一点的曲率都是一样的），半径的导数为其曲率，圆越小，曲率越大。而抛物线有曲率，但每一点的曲率都不一致。

正负曲率可通过如下几何方式解释：

• 正曲率：曲面上的三角形的内角和大于$\pi$。
• 负曲率：负曲率曲面上的三角形的内角和小$\pi$。

下面的马鞍面为负曲率曲面：

双曲空间是曲率为负常数的一类空间，双曲空间随着半径增大呈现指数扩展，它可以看成是连续的树结构空间。这种特性与理论和现实中的很多现象相符合，使得双曲空间具有广阔的应用。

为了更详细地介绍双曲空间，我们首先引入一个新的概念：度规张量。

2）度规张量（Metric tensor）

在黎曼几何里面，度量张量又叫黎曼度量，物理学译为度规张量，是指一用来衡量度量空间中距离，面积及角度的二阶张量。本质上是将集合中⼀对元素映射为实数的映射。其可以在任意⼀个曲⾯（流形）的切向量空间中定义度规，该度规将两个向量映射为⼀个实数，度规实际上可以看作是对向量的内积以及距离等概念的推广，它是一种双线性函数。

当选定一个局部坐标系统$x^i$，度量张量为二阶张量一般表示为 $d{s}^2={\sum }_{ij}{g}_{ij}d{x}^{i}d{x}^j$，给定一组基后，也可以用矩阵 $(g_{ij})$ 表示，记作为$G$或$g$。而 $g_{ij}$ 记号传统地表示度量张量的协变分量（亦为“矩阵元素”）。

$a$ 到 $b$ 的弧线长度定义如下，其中参数定为$t$，$t$由$a$到$b$:

$$L={\int }_a^b\sqrt{\sum _{ij}{g}_{ij}\frac{d{x}^i}{dt}\frac{d{x}^j}{dt}}dt$$

两个切矢量的夹角 $\theta$ ,设矢量 $U={\sum }_i{u}^i\frac{\partial }{\partial x_i}$ 和 $V={\sum }_i{v}^i\frac{\partial }{\partial x_i}$，定义为：

$$\cos \theta =\frac{⟨u,v⟩}{|u||v|}=\frac{{\sum }_{ij}{g}_{ij}{u}^i{v}^j}{\sqrt{\left|{\sum }_{ij}{g}_{ij}{u}^i{u}^j\right|\left|{\sum }_{ij}{g}_{ij}{v}^i{v}^j\right|}}$$

a. 欧几里德几何度量

二维欧几里德度量张量：

$$(g_{ij})=\left[\begin{array}{cc}1& 0\\ 0& 1\end{array}\right]$$

其度规就是内积，而弧线长度的计算方式则可以转为我们熟悉的微积分方程计算方法：

L = ∫ a b ( d x 1 d t ) 2 + ( d x 2 d t ) 2 d t L=\int _{a}^{b}{\sqrt {\left({\frac {dx^{1}}{dt}}\right)^{2}+\left({\frac {dx^{2}}{dt}}\right)^{2}}}\mathrm {d} t L=∫ab​(dtdx1​)2+(dtdx2​)