视觉里程计之对极几何

前言

上一个章节介绍了视觉里程计关于特征点的一些内容，相信大家对视觉里程计关于特征的描述已经有了一定的认识。本章节给大家介绍视觉里程计另外一个概念，对极几何。

对极几何

对极几何是立体视觉中的几何关系，描述相机从不同位置拍摄3D场景时，3D点与相机位姿，图像观测像素坐标之间的几何关系。这种几何关系可以作为约束应用到求解相机运动及特征点3D坐标中。

立体视觉(Stereo Vision)是什么呢？我们可以这样理解：
立体视觉(StereoVision) = 寻找相关性(Correspondences) + 重建(Reconstruction)
● Correspondences:给定张图片中的像素P点，寻找其在另一张图片中的对应点Pr。
● Reconstruction:给定一组对应点对(P,P,),计算其在空间中对应点P的3D坐标。
在这里插入图片描述
对极几何中存在以下几个概念：对极点，对极线，对极平面。其中对极线构成的约束称为对极线约束，也称为对极约束。

在这里插入图片描述
对极点：左相机光心OL在右相机平面上的成像点eR，称为其中一个对极点，类似的，OR在左相机上的成像点eL，也是对极点。对极点是虚拟的点，如果相机之间不能观测到对方光心，则对极点会在图像之外。

对极线：在相机OL观测到一个点XL，实际情况该XL可能对应3D坐标中任意一个Xi，因为线OLX被因为与左相机中心重合而被左相机视为一个点。但对于右相机，每个Xi则将有不同观测，这些观测为其图像平面中的一条线，该线称为对极线。如图，右摄像机中的那条线（eRXR）就称为对极线。对称地，右相机视线ORX为一个点，而被左相机视为对极线（eLXL）。
对极线是3D空间中点X的位置的函数，一个兴趣点对应一组对极线（XLeL,XReR）。由于线OLX通过透镜OL的光学中心，因此右图中相应的对极线必须通过eR（并且对应于左图中的极线）。一幅图像中的所有对极线都包含该图像的对极点。
对极平面：趣点X与两相机中心OL、OR三点形成的平面称为对极平面。对极平面与每个相机的图像平面相交形成线即为对极线。无论X位于何处，所有对极平面和对极线都与对极点相交。

基线：两个相机光心相连的直线OLOR称为基线

对极约束

P点在图像I1中观测的位置是P1，在I2中观测的位置是P2，O1与O2为相机的光心。点P与O1，O2形成的平面称为极平面。极平面与图像平面的交线称为极线，即图中的l1与l2。其中e1与e2称为极点。
在这里插入图片描述
假设O1相机坐标系下P点坐标为P(X,Y,Z)，归一化坐标为Pu（X1,Y1,1），则根据针孔相机投影模型，观测的像素坐标P1（u1,v1）为：

$\ \left[\begin{matrix}u_1\\v_1\\1\\\end{matrix}\right] =\ \left[\begin{matrix}f_x&0&c_x\\0&f_y&c_y\\0&0&1\\\end{matrix}\right] \ \left[\begin{matrix}X_1\\X_1\\1\\\end{matrix}\right]$

化为简洁的形式如下，其中K为相机内参：

$p_1=KP_u^1$

好了，现在假设O1相机相对于O2的运动及旋转为t与R，那么根据坐标系变换的关系，P在O2坐标系下坐标为：

$P_2=RP_1+t$

同样，根据相机投影模型，可以得到观测像素坐标与局部三维坐标的关系为：

$p_2=KP_u^2=K(RP_1+t)_u$

为了描述对极约束，这里需要用到投影关系，即一个坐标等比例缩放的关系，物理含义是指它们是在同一条射线上，通过投影关系，可以得到在相机O1与O2下，对P点观测的归一化坐标关系为：

$p_u^2\ast\frac{1}{s_2}=Rp_u^1\ast\frac{1}{s_1}+t$

在等式左右同时左乘t^，上三角符号含义为取向量的反对称矩阵，运算结果为向量的外积,因为相同向量，外积为0,所以上式变为

$t^\land\ast p_u^2\ast\frac{1}{s_2}=t^\land Rp_u^1\ast\frac{1}{s_1}$

两边同时乘以p2的转置

$\left(p_u^2\right)^T\ast t^\land\ast p_u^2\ast\frac{1}{s_2}=\left(p_u^2\right)^{T{\ast\ t}^\land}Rp_u^1\ast\frac{1}{s_1}$

其中左等式，t^p2u为一个与t及p2u垂直的向量（所以对极几何t一定不能为0，不然在推导这里就不成立），既然与自身垂直，那么两个垂直向量做内积，结果为0，左侧严格等于0。则此时去掉常数项也不会影响等式成立

$\left(p_u^2\right)^Tt^\land Rp_u^1=0$

其中p1u，p2u为物体在相机坐标系下的归一化坐标，其与物体真实坐标及像素的齐次坐标关系为：

$P_u^1=K^{-1}u_1^齐=s_1P^1$
通常有如下表示：

$E=t^\land R$

称E为对极几何中的本质矩阵（Essential Matrix）,如果把物体的归一化坐标换为像素齐次坐标，则有如下结果：

$u_2^齐K^{-T}t∧RK^{-1}u_1^齐=0$

其中有如下表示：

$F=K^{-T}EK^{-1}$

F包含内参，称为对极几何中的基础矩阵（Fundamental Matrix）.

本质矩阵的求解-八点法

由上可知，一对匹配点，与本质矩阵的关系可以得到一个等式：

$\left(p_u^2\right)^TEp_u^1=0$

其中E矩阵为3x3矩阵，有9个未知数，但实际上E只有5个自由度，表明其最少可以用五个点来列方程来求解，但这五个自由度是建立在非线性性质之上的，求解比较复杂。如果只考虑其尺度等价性，则E有8个自由度，这种线性性质会让求解更简单些，所以就有了常用的8点法。设E为：

$E\ =\ \left[\begin{matrix}e_1&e_2&e_3\\e_4&e_5&e_6\\e_7&e_8&e_9\\\end{matrix}\right]$

则对极约束可以写为如下形式：

$\left[\begin{matrix}x_2&y_2&1\\\end{matrix}\right]\left[\begin{matrix}e_1&e_2&e_3\\e_4&e_5&e_6\\e_7&e_8&e_9\\\end{matrix}\right]\left[\begin{matrix}x_1\\y_1\\1\\\end{matrix}\right]\ =\ 0$

把E写为向量形式：

$e=\left[\begin{matrix}e_1&e_2&e_3\\\end{matrix}\ \ \ \begin{matrix}e_4&e_5&e_6\\\end{matrix}\ \ \ \begin{matrix}e_7&e_8&e_9\\\end{matrix}\right]^T$

则上式方程为：

$\left[\begin{matrix}x_2x_1&x_2y_1&x_2\\\end{matrix}\ \ \ \begin{matrix}y_2x_1&y_2y_1&y_2\\\end{matrix}\ \ \ \begin{matrix}x_1&y_1&1\\\end{matrix}\right]\ast e\ =\ 0$

使用8对匹配点，每一对匹配点构成上述的方程，那么就有8组方程，最后8组方程构成一个线性齐次方程组，这种将本质矩阵看做向量，然后通过求解线性方程组来获得矩阵的方式，也称为直接线性变换法（DLT）。如下：

$\left(\begin{array}{ccccccccc} x_{2}^{1} x_{1}^{1} & x_{2}^{1} y_{1}^{1} & x_{2}^{1} & y_{2}^{1} x_{1}^{1} & y_{2}^{1} y_{1}^{1} & y_{2}^{1} & x_{1}^{1} & y_{1}^{1} & 1 \\ x_{2}^{2} x_{1}^{2} & x_{2}^{2} y_{1}^{2} & x_{2}^{2} & y_{2}^{2} x_{1}^{2} & y_{2}^{2} y_{1}^{2} & y_{2}^{2} & x_{1}^{2} & y_{1}^{2} & 1 \\ & ... \\\ x_{2}^{8} x_{1}^{8} & x_{2}^{8} y_{1}^{8} & x_{2}^{8} & y_{2}^{8} x_{1}^{8} & y_{2}^{8} y_{1}^{8} & y_{2}^{8} & x_{1}^{8} & y_{1}^{8} & 1 \end{array}\right) e=0$

根据线性方程解的情况，左侧系数矩阵为8x9的矩阵，e一定存在非零解。求解该方程，就可以得到本质矩阵E的每个元素了。

从本质矩阵恢复相机运动

在得到本质矩阵E之后，还需要从E中恢复相机的运动R与t。此时需要用到奇异值分解（SVD）,假设E的SVD为：

$E=U\sum V^T$

其中U与V为正交阵，∑为奇异值矩阵。有如下性质：∑ = diag(σ,σ,0)。于是可以配凑出t与R

$\begin{array}{c} t_{1}^{\wedge}=U R_{z}\left(\frac{\pi}{2}\right) \sum V^{\mathrm{T}}, R_{1}=U R_{z}^{T}\left(\frac{\pi}{2}\right) V^{T} \\ t_{2}^{\wedge}=U R_{z}\left(-\frac{\pi}{2}\right) \sum V^{\mathrm{T}}, R_{2}=U R_{z}^{T}\left(-\frac{\pi}{2}\right) V^{T} \end{array}$

其中：

$R_z\left(\frac{\pi}{2}\right)=\ \left[\begin{matrix}0&-1&0\\1&0&0\\0&0&1\\\end{matrix}\right],R_z\left(-\frac{\pi}{2}\right)=\ \left[-\begin{matrix}0&1&0\\1&0&0\\0&0&1\\\end{matrix}\right]$

由于E与-E的等价，这里t取负号也是成立的，所以一共有四组解：

在这里插入图片描述

其中只有第一种情况，P点在两个相机下具有正的深度，所以只要把任意一点求解出深度，在两个相机坐标系下深度都为正，就可以得到真实解了。

单应矩阵

多视图几何中，除了本质矩阵和基础矩阵，还存在另一种常见的矩阵：单应矩阵(Homography)H，它描述了两个平面之间的映射关系。若场景中的特征点都落在同一平面上（比如墙、地面等），则可以通过单应性进行运动估计。这种情况在无人机携带的俯视相机或扫地机携带的顶视相机中比较常见。
单应矩阵通常描述处于共同平面上的一些点在两张图像之间的变换关系。

在这里插入图片描述

单应性在SLAM中具有重要意义。当特征点共面或者相机发生纯旋转时，基础矩阵的自由度下降，这就出现了所谓的退化(degenerate)。现实中的数据总包含一些噪声，这时如果继续使用八点法求解基础矩阵，基础矩阵多余出来的自由度将会主要由噪声决定。为了能够避免退化现象造成的影响，通常我们会同时估计基础矩阵F和单应矩阵H,选择重投影误差比较小的那个作为最终的运动估计矩阵。

单应矩阵的求解

如果特征点都在一个平面上，即点P满足：

$n^TP+d=0$

那么有：

$-\frac{n^TP}{d}\ =\ 1$

这里的平面，指在O1坐标系下的平面，借助这个平面模型，按照推导基础矩阵约束过程类似，在O2中对P点观测的齐次坐标为：

$p_2=s_2K\left(RP_1+t\right)=s_2K\left(RP_1+t\left(-\frac{n^TP_1}{d}\right)\right)$
$=s_2K\left(R-\frac{tn^T}{d}\right)P_1$
$=s_2K\left(R-\frac{tn^T}{d}\right){\frac{1}{s_1}K}^{-1}p_1$

使用相机内参进行坐标转换时，如果只有内参K，那么点的坐标为物体归一化坐标到像素坐标，如果带深度或者比例系数s，则为物体实际坐标到像素坐标转换。记p2与p1之间的转换矩阵为H，则有

$p_2=Hp_1$

即：

$\left(\begin{matrix}x_2\\y_2\\1\\\end{matrix}\right)\ =\ \left(\begin{matrix}h_1&h_2&h_3\\h_4&h_5&h_6\\h_7&h_8&h_9\\\end{matrix}\right)\left(\begin{matrix}x_1\\y_1\\1\\\end{matrix}\right)$

由于p2与坐标转换后的p1在同一条射线上，所以等式右边乘以任意非零常数仍然成立。这里可以通过系数调整，使h9为1，于是上述方程，可以整理得如下等式：

$\begin{array}{l} u_{2}=\frac{h_{1} u_{1}+h_{2} v_{1}+h_{3}}{h_{7} u_{1}+h_{8} v_{1}+h_{9}} \\ v_{2}=\frac{h_{4} u_{1}+h_{5} v_{1}+h_{6}}{h_{7} u_{1}+h_{8} v_{1}+h_{9}} \end{array}$
$\begin{array}{l} h_{1} u_{1}+h_{2} v_{1}+h_{3}-h_{7} u_{1} u_{2}-h_{8} v_{1} u_{2}=u_{2} \\ h_{4} u_{1}+h_{5} v_{1}+h_{6}-h_{7} u_{1} v_{2}-h_{8} v_{1} v_{2}=v_{2} \end{array}$

这样一对匹配点，就可以获得两个方程，当有4对匹配点时，则可以得到如下方程组：

$\left(\begin{array}{cccccccc} u_{1}^{1} & v_{1}^{1} & 1 & 0 & 0 & 0 & -u_{1}^{1} u_{2}^{1} & -v_{1}^{1} u_{2}^{1} \\ 0 & 0 & 0 & u_{1}^{1} & v_{1}^{1} & 1 & -u_{1}^{1} v_{2}^{1} & -v_{1}^{1} v_{2}^{1} \\ u_{1}^{2} & v_{1}^{2} & 1 & 0 & 0 & 0 & -u_{1}^{2} u_{2}^{2} & -v_{1}^{2} u_{2}^{2} \\ 0 & 0 & 0 & u_{1}^{2} & v_{1}^{2} & 1 & -u_{1}^{2} v_{2}^{2} & -v_{1}^{2} v_{2}^{2} \\ u_{1}^{3} & v_{1}^{3} & 1 & 0 & 0 & 0 & -u_{1}^{3} u_{2}^{3} & -v_{1}^{3} u_{2}^{3} \\ 0 & 0 & 0 & u_{1}^{3} & v_{1}^{3} & 1 & -u_{1}^{3} v_{2}^{3} & -v_{1}^{3} v_{2}^{3} \\ u_{1}^{4} & v_{1}^{4} & 1 & 0 & 0 & 0 & -u_{1}^{4} u_{2}^{4} & -v_{1}^{4} u_{2}^{4} \\ 0 & 0 & 0 & u_{1}^{4} & v_{1}^{4} & 1 & -u_{1}^{4} v_{2}^{4} & -v_{1}^{4} v_{2}^{4} \end{array}\right)\left(\begin{array}{c} h_{1} \\ h_{2} \\ h_{3} \\ h_{4} \\ h_{5} \\ h_{6} \\ h_{7} \\ h_{8} \end{array}\right)=\left(\begin{array}{c} u_{2}^{1} \\ v_{2}^{1} \\ u_{2}^{2} \\ v_{2}^{2} \\ u_{2}^{3} \\ v_{2}^{3} \\ u_{2}^{4} \\ v_{2}^{4} \end{array}\right)$