×

Anthropomorphic image reconstruction via hypoelliptic diffusion. (English) Zbl 1259.94011

Summary: We study a model of geometry of vision due to Petitot, Citti, and Sarti. One of the main features of this model is that the primary visual cortex V1 lifts an image from \(\mathbb R^2\) to the bundle of directions of the plane. Neurons are grouped into orientation columns, each of them corresponding to a point of this bundle. In this model a corrupted image is reconstructed by minimizing the energy necessary for the activation of the orientation columns corresponding to regions in which the image is corrupted. The minimization process intrinsically defines a hypoelliptic heat equation on the bundle of directions of the plane. In the original model, directions are considered both with and without orientation, giving rise, respectively, to a problem on the group of rototranslations of the plane \(SE(2)\) or on the projective tangent bundle of the plane \(PT\mathbb R^2\). We provide a mathematical proof of several important facts for this model. We first prove that the model is mathematically consistent only if directions are considered without orientation. We then prove that the convolution of an \(L^2(\mathbb R^2,\mathbb R)\) function (e.g., an image) with a two-dimensional (2D) Gaussian is generically a Morse function. This fact is important since the lift of Morse functions to \(PT\mathbb R^2\) is defined on a smooth manifold. We then provide the explicit expression of the hypoelliptic heat kernel on \(PT\mathbb R^2\) in terms of Mathieu functions. Finally, we present the main ideas of an algorithm which allows us to perform image reconstruction on real nonacademic images. A very interesting point is that this algorithm is massively parallelizable and needs no information on where the image is corrupted.

MSC:

94A08 Image processing (compression, reconstruction, etc.) in information and communication theory
35H10 Hypoelliptic equations
35K08 Heat kernel
53C17 Sub-Riemannian geometry
58E05 Abstract critical point theory (Morse theory, Lyusternik-Shnirel’man theory, etc.) in infinite-dimensional spaces
92C20 Neural biology
PDFBibTeX XMLCite
Full Text: DOI arXiv