Minimal Surfaces in the Roto-Translation Group with Applications to a Neuro-Biological Image Completion Model

We investigate solutions to the minimal surface problem with Dirichlet boundary conditions in the roto-translation group equipped with a sub-Riemannian metric. By work of G. Citti and A. Sarti, such solutions are completions of occluded visual data when using a model of the first layer of the visual cortex. Using a characterization of smooth non-characteristic minimal surfaces as ruled surfaces, we give a method to compute a minimal spanning surface given fixed boundary data presuming such a surface exists. Moreover, we describe a number of obstructions to existence and uniqueness but also show that under suitable conditions, smooth minimal spanning surfaces with good properties exist. Not only does this provide an explicit realization of the disocclusion process for the neurobiological model, but it also has application to constructing disocclusion algorithms in digital image processing.

[1]  R. Monti.  Heisenberg isoperimetric problem. The axial case , 2008 .

[2]  Giovanna Citti,et al.  Smoothness of Lipschitz minimal intrinsic graphs in Heisenberg groups , n > 1 , 2010 .

[3]  Manuel Ritor'e,et al.  Area-stationary surfaces in the Heisenberg group H1 , 2005 .

[4]  Ohad Ben-Shahar,et al.  The Perceptual Organization of Texture Flow: A Contextual Inference Approach , 2003, IEEE Trans. Pattern Anal. Mach. Intell..

[5]  Scott D. Pauls,et al.  Constant mean curvature surfaces in sub-Riemannian geometry , 2005 .

[6]  Donatella Danielli,et al.  A partial solution of the isoperimetric problem for the Heisenberg group , 2006, math/0601412.

[7]  Eero P. Simoncelli,et al.  Differentiation of discrete multidimensional signals , 2004, IEEE Transactions on Image Processing.

[8]  Ohad Ben-Shahar,et al.  2004 Special Issue Hue geometry and horizontal connections , 2004 .

[9]  Giovanna Citti,et al.  A Cortical Based Model of Perceptual Completion in the Roto-Translation Space , 2006, Journal of Mathematical Imaging and Vision.

[10]  W. Hoffman.  The visual cortex is a contact bundle , 1989 .

[11]  D. Hubel,et al.  Receptive fields, binocular interaction and functional architecture in the cat's visual cortex , 1962, The Journal of physiology.

[12]  F. S. Cassano,et al.  The Bernstein problem for intrinsic graphs in Heisenberg groups and calibrations , 2006 .

[13]  J. Petitot.  The neurogeometry of pinwheels as a sub-Riemannian contact structure , 2003, Journal of Physiology-Paris.

[14]  D. Danielli,et al.  Sub-Riemannian calculus on hypersurfaces in Carnot groups , 2006 .

[15]  J. Petitot,et al.  Vers une neurogéométrie. Fibrations corticales, structures de contact et contours subjectifs modaux , 1999 .

[16]  M. Wertheimer.  Untersuchungen zur Lehre von der Gestalt. II , 1923 .

[17]  Manuel Ritor'e,et al.  Examples of area-minimizing surfaces in the subriemannian Heisenberg group H^1 with low regularity , 2008, 0803.1314.

[18]  Scott D. Pauls,et al.  The Bernstein Problem in the Heisenberg Group , 2002 .

[19]  Nicola Garofalo,et al.  ISOPERIMETRIC AND SOBOLEV INEQUALITIES FOR CARNOT-CARATHEODORY SPACES AND THE EXISTENCE OF MINIMAL SURFACES , 1996 .

[20]  D. Hubel,et al.  Ferrier lecture - Functional architecture of macaque monkey visual cortex , 1977, Proceedings of the Royal Society of London. Series B. Biological Sciences.

[21]  S. M. Webster,et al.  Pseudo-Hermitian structures on a real hypersurface , 1978 .

[22]  D. Danielli,et al.  Instability of graphical strips and a positive answer to the Bernstein problem in the Heisenberg group H1 , 2006 .

[23]  Paul Yang,et al.  Regularity of C1 smooth surfaces with prescribed p-mean curvature in the Heisenberg group , 2007, 0709.1776.

[24]  C. Gilbert,et al.  On a common circle: natural scenes and Gestalt rules. , 2001, Proceedings of the National Academy of Sciences of the United States of America.

[25]  David Mumford,et al.  Filtering, Segmentation and Depth , 1993, Lecture Notes in Computer Science.

[26]  Benjamin B. Kimia,et al.  Euler Spiral for Shape Completion , 2003, International Journal of Computer Vision.

[27]  飛成 早乙女,et al.  Differential geometric study of strongly pseudo-convex manifolds , 2009 .

[28]  Paul Yang,et al.  Minimal surfaces in pseudohermitian geometry , 2004, math/0401136.

[29]  Roberto Monti,et al.  A negative answer to the Bernstein problem for the Intrinsic Graphs in the Heisenberg Group , 2008 .

[30]  K. Nomizu,et al.  Foundations of Differential Geometry , 1963 .

[31]  D. Richter,et al.  Amine oxidase and adrenaline , 1939, The Journal of physiology.

[32]  Paul Yang,et al.  Existence and uniqueness for P-area minimizers in the Heisenberg group , 2006 .

[33]  T. Wiesel,et al.  Functional architecture of macaque monkey visual cortex , 1977 .

[34]  David J. Field,et al.  Contour integration by the human visual system: Evidence for a local “association field” , 1993, Vision Research.

[35]  Ohad Ben-Shahar,et al.  Hue geometry and horizontal connections , 2004, Neural Networks.

[36]  Eero P. Simoncelli,et al.  Differentiation of Discrete Multi-Dimensional Signals , 2004 .

[37]  Jih-Hsin Cheng,et al.  Properly embedded and immersed minimal surfaces in the Heisenberg group , 2004, Bulletin of the Australian Mathematical Society.

[38]  Gian Paolo Leonardi,et al.  Isoperimetric sets on Carnot groups , 2003 .

[39]  Manuel Ritoré,et al.  Examples of area-minimizing surfaces in the sub-Riemannian Heisenberg group $${\mathbb{H}^1}$$ with low regularity , 2009 .

[40]  Melanie R. Bernard,et al.  Abbreviated Title: , 2017 .

[41]  Scott D. Pauls.  H-minimal graphs of low regularity in the Heisenberg group , 2005 .

[42]  Scott D. Pauls,et al.  H-minimal graphs of low regularity in H1 , 2006 .

[43]  Giovanna Citti,et al.  Neuronal Oscillations in the Visual Cortex: Γ-Convergence to the Riemannian Mumford-Shah Functional , 2004, SIAM J. Math. Anal..

[44]  Max Wertheimer,et al.  Untersuchungen zur Lehre von der Gestalt , .

[45]  Giovanna Citti,et al.  Generalized Mean Curvature Flow in Carnot Groups , 2008, 0808.3467.

[46]  Steven W. Zucker,et al.  Trace Inference, Curvature Consistency, and Curve Detection , 1989, IEEE Trans. Pattern Anal. Mach. Intell..

[47]  Scott D. Pauls.  Minimal Surfaces in the Heisenberg Group , 2004 .

[48]  D. N. D. M. Danielli,et al.  A Notable Family of Entire Intrinsic Minimal Graphs in the Heisenberg Group which are not Perimeter Minimizing , 2006 .

[49]  C. Gilbert,et al.  Spatial integration and cortical dynamics. , 1996, Proceedings of the National Academy of Sciences of the United States of America.

[50]  Gian Paolo Leonardi,et al.  On the isoperimetric problem in the Heisenberg group ℍn , 2005 .

[51]  Manuel Ritoré,et al.  Rotationally invariant hypersurfaces with constant mean curvature in the Heisenberg group ℍn , 2005, math/0504439.

[52]  L. Ambrosio,et al.  A direct variational approach to a problem arising in image reconstruction , 2003 .