The Bordiga surface as critical locus for 3-view reconstructions. (March 2019)

• Record Type: Journal Article
• Authors: Bertolini, Marina; Notari, Roberto; Turrini, Cristina
• Is Part Of: Journal of symbolic computation. Volume 91(2019)
• Page Start: 74
• Page End: 97
• Publication Date: 2019-03
• Subjects: 14J25 -- 14M12 -- 14M15 -- 14N05; Bordiga surface -- Line congruences in Grassmannians -- Projective reconstruction in Computer Vision -- Multiview geometry -- Critical configurations or loci; Mathematics -- Data processing -- Periodicals; Numerical analysis -- Data processing -- Periodicals; Automatic programming (Computer science) -- Periodicals; Mathématiques -- Informatique -- Périodiques; Analyse numérique -- Informatique -- Périodiques; Programmation automatique -- Périodiques; Automatic programming (Computer science); Mathematics -- Data processing; Numerical analysis -- Data processing; Periodicals; Electronic journals; 510.285
• DOI: 10.1016/j.jsc.2018.06.014
• Languages: English
• ISSNs: 0747-7171

Abstract

Abstract: In Computer Vision, images of dynamic or segmented scenes are modeled as linear projections from P k to P 2 . The reconstruction problem consists in recovering the position of the projected objects and the projections themselves from their images, after identifying many enough correspondences between the images. A critical locus for the reconstruction problem is a variety in P k containing the objects for which the reconstruction fails. In this paper, we deal with projections both of points from P 4 to P 2 and of lines from P 3 to P 2 . In both cases, we consider 3 projections, minimal number for a uniquely determined reconstruction. In the case of projections of points, we declinate the Grassmann tensors introduced inHartley and Schaffalitzky (2004) in our context, and we use them to compute the equations of the critical locus. Then, given the ideal that defines this locus, we prove that, in the general case, it defines a Bordiga surface, or a scheme in the same irreducible component of the associated Hilbert scheme. Furthermore, we prove that every Bordiga surface is actually the critical locus for the reconstruction for suitable projections. In the case of projections of lines, we compute the defining ideal of the critical locus, that is the union of 3 α -planes and a line congruence of bi-degree ( 3, 6 ) and sectional genus 5 in the Grassmannian G ( 1, 3 ) ⊂ P 5 . This last surface is biregular to a Bordiga surface (Verra, 1988 ). We use this fact to link the two reconstruction problems by showing how to compute the projections of one of the two settings, given the projections of the other one. The link is effective, in the sense that we describe an algorithm to compute the projection matrices.