Abstract:The essential variety is an algebraic subvariety of dimension $5$ in real projective space $\mathbb R\mathrm P^{8}$ which encodes the relative pose of two calibrated pinhole cameras. The $5$-point algorithm in computer vision computes the real points in the intersection of the essential variety with a linear space of codimension $5$. The degree of the essential variety is $10$, so this intersection consists of 10 complex points in general. We compute the expected number of real intersection points when the linear space is random. We focus on two probability distributions for linear spaces. The first distribution is invariant under the action of the orthogonal group $\mathrm{O}(9)$ acting on linear spaces in $\mathbb R\mathrm P^{8}$. In this case, the expected number of real intersection points is equal to $4$. The second distribution is motivated from computer vision and is defined by choosing 5 point correspondences in the image planes $\mathbb R\mathrm P^2\times \mathbb R\mathrm P^2$ uniformly at random. A Monte Carlo computation suggests that with high probability the expected value lies in the interval $(3.95 - 0.05,\ 3.95 + 0.05)$.

Euclidean distance degree of the multiview variety

Euclidean distance degree of projective varieties

Euclidean Distance Degree and Mixed Volume

Metric Multiview Geometry -- a Catalogue in Low Dimensions

Affine geometry and Frobenius algebra

Conditional Euclidean distance optimization via relative tangency

Euclidean Distance between Two Linear Varieties

Euclidean distance degrees of real algebraic groups

The Euclidean distance degree of Fermat hypersurfaces

The Euclidean Distance Degree of Orthogonally Invariant Matrix Varieties

Morse theory of Euclidean distance functions and applications to real algebraic geometry

Euclidean distance degree and limit points in a Morsification

Problems and related results in Algebraic Vision and Multiview Geometry

The Computation of the Euclidean Distance Degree for the Middle Catalacticant for the Binary Forms

Euclidean distance degree of complete intersections via Newton polytopes

Line multiview ideals

Degree of the subspace variety

Average degree of the essential variety

Projections of Higher Dimensional Subspaces and Generalized Multiview Varieties

The algebraic degree of the Wasserstein distance