View source for Essentially unique

{{Technical|date=September 2010}}<!--moved from talk page-->
In [[computer vision]], the '''essential matrix''' is a <math> 3 \times 3 </math> [[Matrix (mathematics)|matrix]], <math> \mathbf{E} </math>, with some additional properties described below, which relates corresponding points in [[Stereo vision|stereo images]] assuming that the cameras satisfy the [[pinhole camera model]].

==Function==
More specifically, if <math> \mathbf{y}</math> and <math> \mathbf{y}' </math> are homogeneous [[Camera matrix#Normalized camera matrix and normalized image coordinates|''normalized'' image coordinates]] in image 1 and 2, respectively, then

:<math> (\mathbf{y}')^\top \, \mathbf{E} \, \mathbf{y} = 0 </math>

if <math> \mathbf{y}</math> and <math> \mathbf{y}' </math> correspond to the same 3D point in the scene.

The above relation which defines the essential matrix was published in 1981 by Longuet-Higgins, introducing the concept to the computer vision community. Hartley & Zisserman's book reports that an analogous matrix appeared in [[photogrammetry]] long before that. Longuet-Higgins' paper includes an algorithm for estimating <math> \mathbf{E} </math> from a set of corresponding normalized image coordinates as well as an algorithm for determining the relative position and orientation of the two cameras given that <math> \mathbf{E} </math> is known. Finally, it shows how the 3D coordinates of the image points can be determined with the aid of the essential matrix.

==Use==
The essential matrix can be seen as a precursor to the [[fundamental matrix (computer vision)|fundamental matrix]]. Both matrices can be used for establishing constraints between matching image points, but the essential matrix can only be used in relation to calibrated cameras since the inner camera parameters must be known in order to achieve the normalization. If, however, the cameras are calibrated the essential matrix can be useful for determining both the relative position and orientation between the cameras and the 3D position of corresponding image points.

== Derivation and definition ==
This derivation follows the paper by Longuet-Higgins.

Two normalized cameras project the 3D world onto their respective image planes. Let the 3D coordinates of a point '''P''' be <math> (x_1, x_2, x_3) </math> and <math> (x'_1, x'_2, x'_3) </math> relative to each camera's coordinate system. Since the cameras are normalized, the corresponding image coordinates are

:<math>
\begin{pmatrix} y_1 \\ y_2 \end{pmatrix} = \frac{1}{x_3} \begin{pmatrix} x_1 \\ x_2 \end{pmatrix} </math> &nbsp; and &nbsp; <math> \begin{pmatrix} y'_1 \\ y'_2 \end{pmatrix} = \frac{1}{x'_3} \begin{pmatrix} x'_1 \\ x'_2 \end{pmatrix} </math>

A homogeneous representation of the two image coordinates is then given by

:<math> \begin{pmatrix} y_1 \\ y_2 \\ 1 \end{pmatrix} = \frac{1}{x_3} \begin{pmatrix} x_1 \\ x_2 \\ x_{3} \end{pmatrix} </math> &nbsp; and &nbsp; <math> \begin{pmatrix} y'_1 \\ y'_2 \\ 1 \end{pmatrix} = \frac{1}{x'_3} \begin{pmatrix} x'_1 \\ x'_2 \\ x'_{3} \end{pmatrix} </math>

which also can be written more compactly as

: <math>
\mathbf{y} = \frac{1}{x_{3}} \, \tilde{\mathbf{x}}
</math> &nbsp; and &nbsp; <math> \mathbf{y}' = \frac{1}{x'_{3}} \, \tilde{\mathbf{x}}'
</math>

where <math> \mathbf{y} </math> and <math> \mathbf{y}' </math> are homogeneous representations of the 2D image coordinates and <math> \tilde{\mathbf{x}} </math> and <math> \tilde{\mathbf{x}}' </math> are proper 3D coordinates but in two different coordinate systems.

Another consequence of the normalized cameras is that their respective coordinate systems are related by means of a translation and rotation. This implies that the two sets of 3D coordinates are related as

:<math> \tilde{\mathbf{x}}' = \mathbf{R} \, (\tilde{\mathbf{x}} - \mathbf{t}) </math>

where <math> \mathbf{R} </math> is a <math> 3 \times 3 </math> rotation matrix and <math> \mathbf{t} </math> is a 3-dimensional translation vector.

Define the essential matrix as

:{| style="font-size:120%; border:3px dashed red;" cellpadding="8"
|-
|<math> \mathbf{E} = \mathbf{R} \, [\mathbf{t}]_{\times} </math>
|}

where <math> [\mathbf{t}]_{\times} </math> is the [[Cross product#Conversion to matrix multiplication|matrix representation of the cross product]] with <math> \mathbf{t} </math>.

To see that this definition of the essential matrix describes a constraint on corresponding image coordinates multiply <math> \mathbf{E} </math> from left and right with the 3D coordinates of point '''P''' in the two different coordinate systems:

: <math> (\tilde{\mathbf{x}}')^{T} \, \mathbf{E} \, \tilde{\mathbf{x}} \, \stackrel{(1)}{=} \,(\tilde{\mathbf{x}} - \mathbf{t})^{T} \, \mathbf{R}^{T} \, \mathbf{R} \, [\mathbf{t}]_{\times} \, \tilde{\mathbf{x}} \, \stackrel{(2)}{=} \, (\tilde{\mathbf{x}} - \mathbf{t})^{T} \, [\mathbf{t}]_{\times} \, \tilde{\mathbf{x}} \, \stackrel{(3)}{=} \, 0
</math>

# Insert the above relations between <math> \tilde{\mathbf{x}}' </math> and <math> \tilde{\mathbf{x}} </math> and the definition of <math> \mathbf{E} </math> in terms of <math> \mathbf{R} </math> and <math> \mathbf{t} </math>.
# <math> \mathbf{R}^{T} \, \mathbf{R} = \mathbf{I} </math> since <math> \mathbf{R} </math> is a rotation matrix.
# Properties of the [[Cross product#Conversion to matrix multiplication|matrix representation of the cross product]].

Finally, it can be assumed that both <math> x_{3} </math> and <math> x'_{3} </math> are > 0, otherwise they are not visible in both cameras. This gives

:<math> 0 = (\tilde{\mathbf{x}}')^{T} \, \mathbf{E} \, \tilde{\mathbf{x}} = \frac{1}{x'_{3}} (\tilde{\mathbf{x}}')^{T} \, \mathbf{E} \, \frac{1}{x_{3}} \tilde{\mathbf{x}} = (\mathbf{y}')^{T} \, \mathbf{E} \, \mathbf{y}
</math>

which is the constraint that the essential matrix defines between corresponding image points.

== Properties of the essential matrix ==
Not every arbitrary <math> 3 \times 3 </math> matrix can be an essential matrix for some stereo cameras. To see this notice that it is defined as the matrix product of one [[rotation matrix]] and one [[skew-symmetric matrix]], both <math> 3 \times 3 </math>.  The skew-symmetric matrix must have two [[singular values]] which are equal and another which is zero.  The multiplication of the rotation matrix does not change the singular values which means that also the essential matrix has two singular values which are equal and one which is zero.  The properties described here are sometimes referred to as ''internal constraints'' of the essential matrix.

If the essential matrix <math> \mathbf{E} </math> is multiplied by a non-zero scalar, the result is again an essential matrix which defines exactly the same constraint as <math> \mathbf{E} </math> does.  This means that <math> \mathbf{E} </math> can be seen as an element of a [[projective space]], that is, two such matrices are considered equivalent if one is a non-zero scalar multiplication of the other.  This is a relevant position, for example, if <math> \mathbf{E} </math> is estimated from image data. However, it is also possible to take the position that <math> \mathbf{E} </math> is defined as

: <math> \mathbf{E} = \mathbf{R} \, [\mathbf{t}]_{\times}
</math>

and then <math> \mathbf{E} </math> has a well-defined "scaling". It depends on the application which position is the more relevant.

The constraints can also be expressed as
: <math> \det \mathbf{E} = 0
</math>
and 
: <math> 2 \mathbf{E} \mathbf{E}^T \mathbf{E} - \operatorname{tr} ( \mathbf{E} \mathbf{E}^T ) \mathbf{E} = 0 .
</math>
Here the last equation is matrix constraint, which can be seen as 9 constraints, one for each matrix element. 
These constraints are often used for determining the essential matrix from five corresponding point pairs.

The essential matrix has five or six degrees of freedom, depending on whether or not it is seen as a projective element. The rotation matrix <math> \mathbf{R} </math> and the translation vector <math> \mathbf{t} </math> have three degrees of freedom each, in total six. If the essential matrix is considered as a projective element, however, one degree of freedom related to scalar multiplication must be subtracted leaving five degrees of freedom in total.

== Estimation of the essential matrix ==

Given a set of corresponding image points it is possible to estimate an essential matrix which satisfies the defining epipolar constraint for all the points in the set.  However, if the image points are subject to noise, which is the common case in any practical situation, it is not possible to find an essential matrix which satisfies all constraints exactly.

Depending on how the error related to each constraint is measured, it is possible to determine or estimate an essential matrix which optimally satisfies the constraints for a given set of corresponding image points.  The most straightforward approach is to set up a [[total least squares]] problem, commonly known as the [[eight-point algorithm]].

== Determining R and t from E ==
Given that the essential matrix has been determined for a stereo camera pair, for example, using the estimation method above this information can be used for determining also the rotation and translation (up to a scaling) between the two camera's coordinate systems. In these derivations <math> \mathbf{E} </math> is seen as a projective element rather than having a well-determined scaling.

The following method for determining <math> \mathbf{R} </math> and <math> \mathbf{t} </math> is based on performing a [[Singular value decomposition|SVD]] of <math> \mathbf{E} </math>, see Hartley & Zisserman's book. It is also possible to determine <math> \mathbf{R} </math> and <math> \mathbf{t} </math> without an SVD, for example, following Longuet-Higgins' paper.

=== Finding one solution ===
An SVD of <math> \mathbf{E} </math> gives

:<math> \mathbf{E} = \mathbf{U} \, \mathbf{\Sigma} \, \mathbf{V}^{T} </math>

where <math> \mathbf{U} </math> and <math> \mathbf{V} </math> are orthogonal <math> 3 \times 3 </math> matrices and <math> \mathbf{\Sigma} </math> is a <math> 3 \times 3 </math> diagonal matrix with

:<math> \mathbf{\Sigma} = \begin{pmatrix} s & 0 & 0 \\ 0 & s & 0 \\ 0 & 0 & 0 \end{pmatrix} </math>

The diagonal entries of <math> \mathbf{\Sigma} </math> are the singular values of <math> \mathbf{E} </math> which, according to the [[#Properties of the essential matrix|internal constraints]] of the essential matrix, must consist of two identical and one zero value. Define

:<math> \mathbf{W} = \begin{pmatrix} 0 & -1 & 0 \\ 1 & 0 & 0 \\ 0 & 0 & 1 \end{pmatrix} </math> &nbsp; with &nbsp; <math> \mathbf{W}^{-1} = \mathbf{W}^{T} =\begin{pmatrix} 0 & 1 & 0 \\ -1 & 0 & 0 \\ 0 & 0 & 1 \end{pmatrix} </math>

and make the following [[ansatz]]

:<math> [\mathbf{t}]_{\times} = \mathbf{V} \, \mathbf{W} \, \mathbf{\Sigma} \, \mathbf{V}^{T} </math>

:<math> \mathbf{R} = \mathbf{U} \, \mathbf{W}^{-1} \, \mathbf{V}^{T} </math>

Since <math> \mathbf{\Sigma} </math> may not completely fulfill the constraints when dealing with real world data (f.e. camera images), the alternative

:<math> [\mathbf{t}]_{\times} = \mathbf{V} \, \mathbf{Z} \, \mathbf{V}^{T} </math> &nbsp; with &nbsp; <math> \mathbf{Z} = \begin{pmatrix} 0 & 1 & 0 \\ -1 & 0 & 0 \\ 0 & 0 & 0 \end{pmatrix} </math>

may help.

=== Showing that it is valid ===
First, these expressions for <math> \mathbf{R} </math> and <math> [\mathbf{t}]_{\times} </math> do satisfy the defining equation for the essential matrix

:<math> \mathbf{R} \, [\mathbf{t}]_{\times} = \mathbf{U} \, \mathbf{W}^{-1} \, \mathbf{V}^{T} \, \mathbf{V} \, \mathbf{W} \, \mathbf{\Sigma} \, \mathbf{V}^{T} = \mathbf{U} \, \mathbf{\Sigma} \, \mathbf{V}^{T} = \mathbf{E} </math>

Second, it must be shown that this <math> [\mathbf{t}]_{\times} </math> is a matrix representation of the cross product for some <math> \mathbf{t} </math>. Since

:<math> \mathbf{W} \, \mathbf{\Sigma} = \begin{pmatrix} 0 & -s & 0 \\ s & 0 & 0 \\ 0 & 0 & 0 \end{pmatrix} </math>

it is the case that <math> \mathbf{W} \, \mathbf{\Sigma} </math> is skew-symmetric, i.e., <math> (\mathbf{W} \, \mathbf{\Sigma})^{T} = - \mathbf{W} \, \mathbf{\Sigma} </math>. This is also the case for our <math> [\mathbf{t}]_{\times} </math>, since

:<math> ([\mathbf{t}]_{\times})^{T} = \mathbf{V} \, (\mathbf{W} \, \mathbf{\Sigma})^{T} \, \mathbf{V}^{T} = - \mathbf{V} \, \mathbf{W} \, \mathbf{\Sigma} \, \mathbf{V}^{T} = - [\mathbf{t}]_{\times} </math>

According to the general properties of the [[Cross product#Conversion to matrix multiplication|matrix representation of the cross product]] it then follows that <math> [\mathbf{t}]_{\times} </math> must be the cross product operator of exactly one vector <math> \mathbf{t} </math>.

Third, it must also need to be shown that the above expression for <math> \mathbf{R} </math> is a rotation matrix. It is the product of three matrices which all are orthogonal which means that <math>\mathbf{R}</math>, too, is orthogonal or <math> \det(\mathbf{R}) = \pm 1 </math>. To be a proper rotation matrix it must also satisfy <math> \det(\mathbf{R}) = 1 </math>. Since, in this case, <math> \mathbf{E} </math> is seen as a projective element this can be accomplished by reversing the sign of <math> \mathbf{E} </math> if necessary.

=== Finding all solutions ===
So far one possible solution for <math> \mathbf{R} </math> and <math> \mathbf{t} </math> has been established given <math> \mathbf{E} </math>. It is, however, not the only possible solution and it may not even be a valid solution from a practical point of view. To begin with, since the scaling of <math> \mathbf{E} </math> is undefined, the scaling of <math> \mathbf{t} </math> is also undefined. It must lie in the [[Kernel (matrix)|null space]] of <math> \mathbf{E} </math> since

:<math> \mathbf{E} \, \mathbf{t} = \mathbf{R} \, [\mathbf{t}]_{\times} \, \mathbf{t} = \mathbf{0} </math>

For the subsequent analysis of the solutions, however, the exact scaling of <math> \mathbf{t} </math> is not so important as its "sign", i.e., in which direction it points. Let <math> \hat{\mathbf{t}} </math> be normalized vector in the null space of <math> \mathbf{E} </math>. It is then the case that both <math> \hat{\mathbf{t}} </math> and <math> -\hat{\mathbf{t}} </math> are valid translation vectors relative <math> \mathbf{E} </math>. It is also possible to change <math> \mathbf{W} </math> into <math> \mathbf{W}^{-1} </math> in the derivations of <math> \mathbf{R} </math> and <math> \mathbf{t} </math> above. For the translation vector this only causes a change of sign, which has already been described as a possibility. For the rotation, on the other hand, this will produce a different transformation, at least in the general case.

To summarize, given <math> \mathbf{E} </math> there are two opposite directions which are possible for <math> \mathbf{t} </math> and two different rotations which are compatible with this essential matrix. In total this gives four classes of solutions for the rotation and translation between the two camera coordinate systems. On top of that, there is also an unknown scaling <math> s > 0 </math> for the chosen translation direction.

It turns out, however, that only one of the four classes of solutions can be realized in practice. Given a pair of corresponding image coordinates, three of the solutions will always produce a 3D point which lies ''behind'' at least one of the two cameras and therefore cannot be seen. Only one of the four classes will consistently produce 3D points which are in front of both cameras. This must then be the correct solution. Still, however, it has an undetermined positive scaling related to the translation component.

It should be noted that the above determination of <math> \mathbf{R} </math> and <math> \mathbf{t} </math> assumes that <math> \mathbf{E} </math> satisfy the [[#Properties of the essential matrix|internal constraints of the essential matrix]]. If this is not the case which, for example, typically is the case if <math> \mathbf{E} </math> has been estimated from real (and noisy) image data, it has to be assumed that it approximately satisfy the internal constraints. The vector <math> \hat{\mathbf{t}} </math> is then chosen as right singular vector of <math> \mathbf{E} </math> corresponding to the smallest singular value.

== 3D points from corresponding image points ==
The problem to be solved there is how to compute <math> (x_{1}, x_{2}, x_{3}) </math> given corresponding normalized image coordinates <math> (y_{1}, y_{2}) </math> and <math> (y'_{1}, y'_{2}) </math>. If the essential matrix is known and the corresponding rotation and translation transformations have been determined, this algorithm (described in Longuet-Higgins' paper) provides a solution.

Let <math> \mathbf{r}_{k} </math> denote row ''k'' of the rotation matrix <math> \mathbf{R} </math>:

:<math> \mathbf{R} = \begin{pmatrix} - \mathbf{r}_{1} - \\ - \mathbf{r}_{2} - \\ - \mathbf{r}_{3} - \end{pmatrix} </math>

Combining the above relations between 3D coordinates in the two coordinate systems and the mapping between 3D and 2D points described earlier gives

:<math> y'_{1} = \frac{x'_{1}}{x'_{3}} = \frac{\mathbf{r}_{1} \cdot (\tilde{\mathbf{x}} - \mathbf{t})}{\mathbf{r}_{3} \cdot (\tilde{\mathbf{x}} - \mathbf{t})} = \frac{\mathbf{r}_{1} \cdot (\mathbf{y} - \mathbf{t}/x_{3})}{\mathbf{r}_{3} \cdot (\mathbf{y} - \mathbf{t}/x_{3})} </math>

or

:<math>x_{3} = \frac{ (\mathbf{r}_{1} - y'_{1} \, \mathbf{r}_{3}) \cdot \mathbf{t} }{ (\mathbf{r}_{1} - y'_{1} \, \mathbf{r}_{3}) \cdot \mathbf{y} } </math>

Once <math> x_{3} </math> is determined, the other two coordinates can be computed as

:<math> \begin{pmatrix} x_1 \\ x_2 \end{pmatrix} = x_3 \begin{pmatrix} y_1 \\ y_2 \end{pmatrix} </math>

The above derivation is not unique. It is also possible to start with an expression for <math> y'_{2} </math> and derive an expression for <math> x_{3} </math> according to

:<math>x_{3} = \frac{ (\mathbf{r}_{2} - y'_{2} \, \mathbf{r}_{3}) \cdot \mathbf{t} }{ (\mathbf{r}_{2} - y'_{2} \, \mathbf{r}_{3}) \cdot \mathbf{y} } </math>

In the ideal case, when the camera maps the 3D points according to a perfect pinhole camera and the resulting 2D points can be detected without any noise, the two expressions for <math> x_{3} </math> are equal. In practice, however, they are not and it may be advantageous to combine the two estimates of <math> x_{3} </math>, for example, in terms of some sort of average.

There are also other types of extensions of the above computations which are possible.  They started with an expression of the primed image coordinates and derived 3D coordinates in the unprimed system.  It is also possible to start with unprimed image coordinates and obtain primed 3D coordinates, which finally can be transformed into unprimed 3D coordinates.  Again, in the ideal case the result should be equal to the above expressions, but in practice they may deviate.

A final remark relates to the fact that if the essential matrix is determined from corresponding image coordinate, which often is the case when 3D points are determined in this way, the translation vector <math> \mathbf{t} </math> is known only up to an unknown positive scaling. As a consequence, the reconstructed 3D points, too, are undetermined with respect to a positive scaling.

== References ==
<div class="references-small">
* {{cite journal |
title=An efficient solution to the five-point relative pose problem |
author=David Nistér|
journal=IEEE Trans. on Pattern Analysis and Machine Intelligence|date=June 2004|
volume=26|
issue=6|
pages=756–777|
doi=10.1109/TPAMI.2004.17 |
pmid=18579936}}
* {{cite journal |
title=A computer algorithm for reconstructing a scene from two projections |
author=H. Christopher Longuet-Higgins |
journal=Nature |date=September 1981 |
volume=293 |
pages=133–135 |
doi=10.1038/293133a0
 |issue=5828}}
* {{cite book |
author=Richard Hartley and Andrew Zisserman |
title=Multiple View Geometry in computer vision |
publisher=Cambridge University Press|
year=2003 |
isbn=978-0-521-54051-3}}
* {{cite book |
author=Yi Ma |
coauthors=Stefano Soatto, Jana Košecká and S. Shankar Sastry |
title=An Invitation to 3-D Vision |
publisher=Springer |
year=2004 |
isbn=0-387-00893-4}}
* {{cite book |
author=Gang Xu and Zhengyou Zhang |
title=Epipolar geometry in Stereo, Motion and Object Recognition |
publisher=Kluwer Academic Publishers |
year=1996 |
isbn=978-0-7923-4199-4}}
</div>

[[Category:Geometry in computer vision]]