Schwarps: Locally Projective Image Warps Based on 2D Schwarzian Derivatives

Image warps -or just warps- capture the geometric deformation existing between two images of a deforming surface. The current approach to enforce a warp’s smoothness is to penalize its second order partial derivatives (Bookstein in IEEE Trans Pattern Anal Mach Intell 11:567–585, 1989; Rueckert et al. in IEEE Trans Med Imaging 18:712–721, 1999). Because this favors locally affine warps, this fails to capture the local projective component of the image deformation. This may have a negative impact on applications such as image registration and deformable 3D reconstruction. We propose a novel penalty designed to smooth the warp while capturing the deformation’s local projective structure. Our penalty is based on equivalents to the Schwarzian derivatives, which are projective differential invariants exactly preserved by homographies. We propose a methodology to derive a set of partial differential equations with only homographies as solutions. We call this system the Schwarzian equations and we explicitly derive them for 2D functions using differential properties of homographies. We name as Schwarp a warp which is estimated by penalizing the residual of Schwarzian equations. Experimental evaluation shows that Schwarps outperform existing warps in modeling and extrapolation power, and lead to better results in three deformable reconstruction methods, namely, shape reconstruction in shape-from-template, camera calibration in Shape-from-Template and Non-Rigid Structure-from-Motion.

[1]  Daniel Rueckert,et al.  Nonrigid registration using free-form deformations: application to breast MR images , 1999, IEEE Transactions on Medical Imaging.

[2]  Bernhard P. Wrobel,et al.  Multiple View Geometry in Computer Vision , 2001 .

[3]  Vincent Lepetit,et al.  Fast Non-Rigid Surface Detection, Registration and Realistic Augmentation , 2008, International Journal of Computer Vision.

[4]  Valentin Ovsienko Lagrange schwarzian derivative and symplectic Sturm theory , 1993 .

[5]  Serge Tabachnikov,et al.  Projective Differential Geometry Old and New: From the Schwarzian Derivative to the Cohomology of Diffeomorphism Groups , 2004 .

[6]  Adrien Bartoli,et al.  Generalized Thin-Plate Spline Warps , 2007, 2007 IEEE Conference on Computer Vision and Pattern Recognition.

[7]  Masaaki Yoshida,et al.  RECENT PROGRESS OF GAUSS-SCHWARZ THEORY AND RELATED GEOMETRIC STRUCTURES , 1993 .

[8]  Pascal Fua,et al.  Surface Deformation Models for Nonrigid 3D Shape Recovery , 2007, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[9]  H. Ohtani,et al.  Memoirs of the Faculty of Science , 1992 .

[10]  Peter J. Olver,et al.  Generating differential invariants , 2007 .

[11]  Henning Biermann,et al.  Recovering non-rigid 3D shape from image streams , 2000, Proceedings IEEE Conference on Computer Vision and Pattern Recognition. CVPR 2000 (Cat. No.PR00662).

[12]  Andrew Zisserman,et al.  MLESAC: A New Robust Estimator with Application to Estimating Image Geometry , 2000, Comput. Vis. Image Underst..

[13]  STEFAN CARLSSON,et al.  Projectively invariant decomposition and recognition of planar shapes , 1993, 1993 (4th) International Conference on Computer Vision.

[14]  Robert Molzon,et al.  The Schwarzian derivative for maps between manifolds with complex projective connections , 1996 .

[15]  Matthijs C. Dorst Distinctive Image Features from Scale-Invariant Keypoints , 2011 .

[16]  Brad Osgood,et al.  The Schwarzian derivative and conformal mapping of Riemannian manifolds , 1992 .

[17]  Adrien Bartoli,et al.  On template-based reconstruction from a single view: Analytical solutions and proofs of well-posedness for developable, isometric and conformal surfaces , 2012, 2012 IEEE Conference on Computer Vision and Pattern Recognition.

[18]  V. Ovsienko Surveys in Modern Mathematics: Projective differential geometry: old and new , 2005 .

[19]  Steven Haker,et al.  Differential and Numerically Invariant Signature Curves Applied to Object Recognition , 1998, International Journal of Computer Vision.

[20]  Olivier D. Faugeras,et al.  The geometry of multiple images - the laws that govern the formation of multiple images of a scene and some of their applications , 2001 .

[21]  Luc Van Gool,et al.  Vision and Lie's approach to invariance , 1995, Image Vis. Comput..

[22]  Pascal Fua,et al.  Template-free monocular reconstruction of deformable surfaces , 2009, 2009 IEEE 12th International Conference on Computer Vision.

[23]  Arthur Cayley The Collected Mathematical Papers: On the Schwarzian derivative, and the polyhedral functions , 2009 .

[24]  Adrien Bartoli,et al.  Monocular Template-based Reconstruction of Inextensible Surfaces , 2011, International Journal of Computer Vision.

[25]  Andrew Zisserman,et al.  Geometric invariance in computer vision , 1992 .

[26]  Jean Ponce,et al.  The Local Projective Shape of Smooth Surfaces and Their Outlines , 2005, International Journal of Computer Vision.

[27]  Isaac Weiss,et al.  Geometric invariants and object recognition , 1993, International Journal of Computer 11263on.

[28]  Nassir Navab,et al.  NURBS Warps , 2009, BMVC.

[29]  Aaron Hertzmann,et al.  Nonrigid Structure-from-Motion: Estimating Shape and Motion with Hierarchical Priors , 2008, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[30]  Luc Van Gool,et al.  Semi-local projective invariants for the recognition of smooth plane curves , 1996, International Journal of Computer Vision.

[31]  Adrien Bartoli,et al.  Direct Estimation of Non-Rigid Registration , 2004, BMVC.

[32]  Alfred M. Bruckstein,et al.  On differential invariants of planar curves and recognizing partially occluded planar shapes , 1995, Annals of Mathematics and Artificial Intelligence.

[33]  Berthold K. P. Horn,et al.  Determining Optical Flow , 1981, Other Conferences.

[34]  Daniel Pizarro-Perez,et al.  Schwarps: Locally Projective Image Warps Based on 2D Schwarzian Derivatives , 2014, International Journal of Computer Vision.

[35]  E. Kummer,et al.  Über die hypergeometrische Reihe . , 1836 .

[36]  E. Coddington An Introduction to Ordinary Differential Equations , 1961 .

[37]  Kalle Åström,et al.  Fundamental Limitations on Projective Invariants of Planar Curves , 1995, IEEE Trans. Pattern Anal. Mach. Intell..

[38]  Roberto Cipolla,et al.  Quasi-Invariant Parameterisations and Matching of Curves in Images , 1998, International Journal of Computer Vision.

[39]  Christine Tanner,et al.  Registration and Lesion Classification of Contrast-Enhanced Magnetic Resonance Breast Images , 2006 .

[40]  Andrew Zisserman,et al.  Direct Estimation of Non-Rigid Registrations , 2004 .

[41]  Adrien Bartoli,et al.  Template-Based Isometric Deformable 3D Reconstruction with Sampling-Based Focal Length Self-Calibration , 2013, 2013 IEEE Conference on Computer Vision and Pattern Recognition.

[42]  Fred L. Bookstein,et al.  Principal Warps: Thin-Plate Splines and the Decomposition of Deformations , 1989, IEEE Trans. Pattern Anal. Mach. Intell..

[43]  D. A. Singer,et al.  Stable Orbits and Bifurcation of Maps of the Interval , 1978 .

[44]  Guo Lei,et al.  Recognition of planar objects in 3-D space from single perspective views using cross ratio , 1990, IEEE Trans. Robotics Autom..

[45]  Luc Van Gool,et al.  Foundations of semi-differential invariants , 2005, International Journal of Computer Vision.

[46]  E. Atlee Jackson,et al.  The Schwarzian derivative , 1989 .

[47]  Cordelia Schmid,et al.  The Geometry and Matching of Lines and Curves Over Multiple Views , 2000, International Journal of Computer Vision.