Source author record

Giovanna Citti

Giovanna Citti appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

28works
17topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

28 published item(s)

preprint2023arXiv

A model of reaching via subriemannian geodesics in Engel-type group

In this paper, we propose a model of arm reaching movements expressed in terms of geodesics in a sub-Riemannian space. We will choose a set of kinematic variables to which motor cortical cells are selective with the purpose of modelling the specific task of reaching. Minimizing trajectories will be recovered as suitable geodesics of the geometric spaces arising from the selective behaviour of M1 neurons. We will then extend this model by including the direction of arm movement. On this set, we will define a suitable sub-Riemannian metric able to provide a geometric interpretation of two-dimensional task-dependent arm reaching movements.

preprint2023arXiv

Good continuation in 3D: the neurogeometry of stereo vision

Classical good continuation for image curves is based on $2D$ position and orientation. It is supported by the columnar organization of cortex, by psychophysical experiments, and by rich models of (differential) geometry. Here we extend good continuation to stereo. We introduce a neurogeometric model, in which the parametrizations involve both spatial and orientation disparities. Our model provides insight into the neurobiology, suggesting an implicit organization for neural interactions and a well-defined $3D$ association field. Our model sheds light on the computations underlying the correspondence problem, and illustrates how good continuation in the world generalizes good continuation in the plane.

preprint2022arXiv

A framework for stereo vision via optimal transport

We present a theoretical framework for a stereo vision method via optimal transport tools. We consider two aligned optical systems and we develop the matching between the two pictures line by line. By considering a regularized version of the optimal transport, we can speed up the computation and obtain a very accurate disparity function evaluation. Moreover, via this same method we can approach successfully the case of images with occluded regions.

preprint2022arXiv

Cortically based optimal transport

We introduce a model for image morphing in the primary visual cortex V1 to perform completion of missing images in time. We model the output of simple cells through a family of Gabor filters and the propagation of the neural signal accordingly to the functional geometry induced by horizontal connectivity. Then we model the deformation between two images as a path relying two different outputs. This path is obtained by optimal transport considering the Wasserstein distance geodesics associated to some probability measures naturally induced by the outputs on V1. The frame of Gabor filters allows to project back the output path, therefore obtaining an associated image stimulus deformation. We perform a numerical implementation of our cortical model, assessing its ability in reconstructing rigidi motions of simple shapes.

preprint2022arXiv

Lipschitz regularity for solutions of the parabolic $p$-Laplacian in the Heisenberg group

We prove local Lipschitz regularity for weak solutions to a class of degenerate parabolic PDEs modeled on the parabolic $p$-Laplacian $$\p_t u= \sum_{i=1}^{2n} X_i (|\nabla_0 u|^{p-2} X_i u),$$ in a cylinder $Ω\times \R^+$, where $Ω$ is domain in the Heisenberg group $\Hn$, and $2\le p \le 4$. The result continues to hold in the more general setting of contact sub-Riemannian manifolds.

preprint2022arXiv

Regularity of quasi-linear equations with Hörmander vector fields of step two

If the smooth vector fields $X_1,\ldots,X_m$ and their commutators span the tangent space at every point in $Ω\subseteq \mathbb{R}^N$ for any fixed $m\leq N$, then we establish the full interior regularity theory of quasi-linear equations $\sum_{i=1}^m X_i^*A_i(X_1u, \ldots,X_mu)= 0$ with $p$-Laplacian type growth condition. In other words, we show that a weak solution of the equation is locally $C^{1,α}$.

preprint2020arXiv

Geometrical Optical Illusion via Sub-Riemannian Geodesics in the Roto-Translation Group

We present a neuro-mathematical model for geometrical optical illusions (GOIs), a class of illusory phenomena that consists in a mismatch of geometrical properties of the visual stimulus and its associated percept. They take place in the visual areas V1/V2 whose functional architecture have been modelled in previous works by Citti and Sarti as a Lie group equipped with a sub-Riemannian (SR) metric. Here we extend their model proposing that the metric responsible for the cortical connectivity is modulated by the modelled neuro-physiological response of simple cells to the visual stimulus, hence providing a more biologically plausible model that takes into account a presence of visual stimulus. Illusory contours in our model are described as geodesics in the new metric. The model is confirmed by numerical simulations, where we compute the geodesics via SR-Fast Marching.

preprint2020arXiv

Regularity for a class of quasilinear degenerate parabolic equations in the Heisenberg group

We extend to the parabolic setting some of the ideas originated with Xiao Zhong's proof in \cite{Zhong} of the Hölder regularity of $p-$harmonic functions in the Heisenberg group $\Hn$. Given a number $p\ge 2$, in this paper we establish the $C^{\infty}$ smoothness of weak solutions of quasilinear pde's in $\Hn$ modelled on the equation $$\p_t u= \sum_{i=1}^{2n} X_i \bigg((1+|\nabla_0 u|^2)^{\frac{p-2}{2}} X_i u\bigg).$$

preprint2017arXiv

A geometric model of multi-scale orientation preference maps via Gabor functions

In this paper we present a new model for the generation of orientation preference maps in the primary visual cortex (V1), considering both orientation and scale features. First we undertake to model the functional architecture of V1 by interpreting it as a principal fiber bundle over the 2-dimensional retinal plane by introducing intrinsic variables orientation and scale. The intrinsic variables constitute a fiber on each point of the retinal plane and the set of receptive profiles of simple cells is located on the fiber. Each receptive profile on the fiber is mathematically interpreted as a rotated Gabor function derived from an uncertainty principle. The visual stimulus is lifted in a 4-dimensional space, characterized by coordinate variables, position, orientation and scale, through a linear filtering of the stimulus with Gabor functions. Orientation preference maps are then obtained by mapping the orientation value found from the lifting of a noise stimulus onto the 2-dimensional retinal plane. This corresponds to a Bargmann transform in the reducible representation of the $\text{SE}(2)=\mathbb{R}^2\times S^1$ group. A comparison will be provided with a previous model based on the Bargman transform in the irreducible representation of the $\text{SE}(2)$ group, outlining that the new model is more physiologically motivated. Then we present simulation results related to the construction of the orientation preference map by using Gabor filters with different scales and compare those results to the relevant neurophysiological findings in the literature.

preprint2016arXiv

A diffusion driven curvature flow

Bence-Merriman-Osher algorithm computes numerically mean curvature flow via solutions of heat equation iteratively initialized at the end of each short time interval. Inspired by the convergence proof of Evans of this algorithm where he employed nonlinear semigroup theory and level set approach to mean curvature flow, we prove here that a similar procedure, but now with a different definition of evolved surface at the end of each short time interval, results in a motion by curvature. The interest of this version of the algorithm is its application corresponding to model of the visual cortex.

preprint2016arXiv

Local and global gestalt laws: A neurally based spectral approach

A mathematical model of figure-ground articulation is presented, taking into account both local and global gestalt laws. The model is compatible with the functional architecture of the primary visual cortex (V1). Particularly the local gestalt law of good continuity is described by means of suitable connectivity kernels, that are derived from Lie group theory and are neurally implemented in long range connectivity in V1. Different kernels are compatible with the geometric structure of cortical connectivity and they are derived as the fundamental solutions of the Fokker Planck, the Sub-Riemannian Laplacian and the isotropic Laplacian equations. The kernels are used to construct matrices of connectivity among the features present in a visual stimulus. Global gestalt constraints are then introduced in terms of spectral analysis of the connectivity matrix, showing that this processing can be cortically implemented in V1 by mean field neural equations. This analysis performs grouping of local features and individuates perceptual units with the highest saliency. Numerical simulations are performed and results are obtained applying the technique to a number of stimuli.

preprint2015arXiv

Regularity for Subelliptic PDE Through Uniform Estimates in Multi-Scale Geometries

We aim at reviewing and extending a number of recent results addressing stability of certain geometric and analytic estimates in the Riemannian approximation of subRiemannian structures. In particular we extend the recent work of the the authors with Rea [19] and Manfredini [17] concerning stability of doubling properties, Poincaré inequalities, Gaussian estimates on heat kernels and Schauder estimates from the Carnot group setting to the general case of Hörmander vector fields.

preprint2015arXiv

Regularity of mean curvature flow of graphs on Lie groups free up to step 2

We consider (smooth) solutions of the mean curvature flow of graphs over bounded domains in a Lie group free up to step two (and not necessarily nilpotent), endowed with a one parameter family of Riemannian metrics $σ_\e$ collapsing to a subRiemannian metric $σ_0$ as $\e\to 0$. We establish $C^{k,α}$ estimates for this flow, that are uniform as $\e\to 0$ and as a consequence prove long time existence for the subRiemannian mean curvature flow of the graph. Our proof extend to the setting of every step two Carnot group (not necessarily free) and can be adapted following our previous work in \cite{CCM3} to the total variation flow.

preprint2015arXiv

Sub-Riemannian mean curvature flow for image processing

In this paper we reconsider the sub-Riemannian cortical model of image completion introduced by Sarti and Citti in 2003. This model combines two mechanisms, the sub-Riemannian diffusion and the concentration, giving rise to a diffusion driven motion by curvature. In this paper we give a formal proof of the existence of viscosity solutions of the sub-Riemannian motion by curvature. Results of completion and enhancement on a number of natural images are shown and compared with other models.

preprint2014arXiv

Cortical spatio-temporal dimensionality reduction for visual grouping

The visual systems of many mammals, including humans, is able to integrate the geometric information of visual stimuli and to perform cognitive tasks already at the first stages of the cortical processing. This is thought to be the result of a combination of mechanisms, which include feature extraction at single cell level and geometric processing by means of cells connectivity. We present a geometric model of such connectivities in the space of detected features associated to spatio-temporal visual stimuli, and show how they can be used to obtain low-level object segmentation. The main idea is that of defining a spectral clustering procedure with anisotropic affinities over datasets consisting of embeddings of the visual stimuli into higher dimensional spaces. Neural plausibility of the proposed arguments will be discussed.

preprint2014arXiv

Reproducing kernel Hilbert spaces of CR functions for the Euclidean Motion group

We study the geometric structure of the reproducing kernel Hilbert space associated to the continuous wavelet transform generated by the irreducible representations of the Euclidean Motion $SE(2)$. A natural Hilbert norm for functions on the group is constructed that makes the wavelet transform an isometry, but since the considered representations are not square integrable the resulting Hilbert space will not coincide with $L^2(SE(2))$. The reproducing kernel Hilbert subspace generated by the wavelet transform, for the case of a minimal uncertainty mother wavelet, can be characterized in terms of the complex regularity defined by the natural $CR$ structure of the group. Relations with the Bargmann transform are presented.

preprint2014arXiv

The constitution of visual perceptual units in the functional architecture of V1

Scope of this paper is to consider a mean field neural model which takes into account the functional neurogeometry of the visual cortex modelled as a group of rotations and translations. The model generalizes well known results of Bressloff and Cowan which, in absence of input, accounts for hallucination patterns. The main result of our study consists in showing that in presence of a visual input, the eigenmodes of the linearized operator which become stable represent perceptual units present in the image. The result is strictly related to dimensionality reduction and clustering problems.

preprint2013arXiv

A cortical-inspired geometry for contour perception and motion integration

In this paper we develop a geometrical model of functional architecture for the processing of spatio-temporal visual stimuli. The model arises from the properties of the receptive field linear dynamics of orientation and speed-selective cells in the visual cortex, that can be embedded in the definition of a geometry where the connectivity between points is driven by the contact structure of a 5D manifold. Then, we compute the stochastic kernels that are the approximations of two Fokker Planck operators associated to the geometry, and implement them as facilitation patterns within a neural population activity model, in order to reproduce some psychophysiological findings about the perception of contours in motion and trajectories of points found in the literature.

preprint2013arXiv

A Gauge Field Model of Modal Completion

Perceptual completion of figures is a basic process revealing the deep architecture of low level vision. In this paper a complete gauge field Lagrangian is proposed allowing to couple the retinex equation with neurogeometrical models and to solve the problem of modal completion, i.e. the pop up of the Kanizsa triangle. Euler-Lagrange equations are derived by variational calculus and numerically solved. Plausible neurophysiological implementations of the particle and field equations are discussed and a model of the interaction between LGN and visual cortex is proposed.

preprint2013arXiv

Harnack estimates for degenerate parabolic equations modeled on the subelliptic p-Laplacian

We establish a Harnack inequality for a class of quasi-linear PDE modeled on the prototype {equation*} \partial_tu= -\sum_{i=1}^{m}X_i^\ast (|\X u|^{p-2} X_i u){equation*} where $p\ge 2$, $ \ \X = (X_1,..., X_m)$ is a system of Lipschitz vector fields defined on a smooth manifold $\M$ endowed with a Borel measure $μ$, and $X_i^*$ denotes the adjoint of $X_i$ with respect to $μ$. Our estimates are derived assuming that (i) the control distance $d$ generated by $\X$ induces the same topology on $\M$; (ii) a doubling condition for the $μ$-measure of $d-$metric balls and (iii) the validity of a Poincaré inequality involving $\X$ and $μ$. Our results extend the recent work in \cite{DiBenedettoGianazzaVespri1}, \cite{K}, to a more general setting including the model cases of (1) metrics generated by Hörmander vector fields and Lebesgue measure; (2) Riemannian manifolds with non-negative Ricci curvature and Riemannian volume forms; and (3) metrics generated by non-smooth Baouendi-Grushin type vector fields and Lebesgue measure. In all cases the Harnack inequality continues to hold when the Lebesgue measure is substituted by any smooth volume form or by measures with densities corresponding to Muckenhoupt type weights.

preprint2013arXiv

How Uncertainty bounds the shape index of simple cells

We propose a theoretical motivation to quantify actual physiological features, such as the shape index distributions measured by Jones and Palmer in cats and by Ringach in macaque monkeys. We will adopt the Uncertainty Principle associated to the task of detection of position and orientation as the main tool to provide quantitative bounds on the family of simple cells concretely implemented in primary visual cortex.

preprint2013arXiv

Sub-Riemannian heat kernels and mean curvature flow of graphs

We introduce a sub-Riemannian analogue of the Bence-Merriman-Osher diffusion driven algorithm and show that it leads to weak solutions of the horizontal mean curvature flow of graphs over sub-Riemannian Carnot groups. The proof follows the nonlinear semi-group theory approach originally introduced by L. C. Evans in the Euclidean setting and is based on new results on the relation between sub-Riemannian heat flows of characteristic functions of subgraphs and the horizontal mean curvature of the corresponding graphs.

preprint2013arXiv

Uniform Gaussian bounds for subelliptic heat kernels and an application to the total variation flow of graphs over Carnot groups

In this paper we study heat kernels associated to a Carnot group $G$, endowed with a family of collapsing left-invariant Riemannian metrics $σ_\e$ which converge in the Gromov-Hausdorff sense to a sub-Riemannian structure on $G$ as $\e\to 0$. The main new contribution are Gaussian-type bounds on the heat kernel for the $σ_\e$ metrics which are stable as $\e\to 0$ and extend the previous time-independent estimates in \cite{CiMa-F}. As an application we study well posedness of the total variation flow of graph surfaces over a bounded domain in $(G,\s_\e)$. We establish interior and boundary gradient estimates, and develop a Schauder theory which are stable as $\e\to 0$. As a consequence we obtain long time existence of smooth solutions of the sub-Riemannian flow ($\e=0$), which in turn yield sub-Riemannian minimal surfaces as $t\to \infty$.

preprint2012arXiv

A Subelliptic Analogue of Aronson-Serrin's Harnack Inequality

We show that the Harnack inequality for a class of degenerate parabolic quasilinear PDE $$\p_t u=-X_i^* A_i(x,t,u,Xu)+ B(x,t,u,Xu),$$ associated to a system of Lipschitz continuous vector fields $X=(X_1,...,X_m)$ in in $\Om\times (0,T)$ with $\Om \subset M$ an open subset of a manifold $M$ with control metric $d$ corresponding to $X$ and a measure $dσ$ follows from the basic hypothesis of doubling condition and a weak Poincaré inequality. We also show that such hypothesis hold for a class of Riemannian metrics $g_\e$ collapsing to a sub-Riemannian metric $\lim_{\e\to 0} g_\e=g_0$ uniformly in the parameter $\e\ge 0$.

preprint2011arXiv

Coherent states of the Euclidean group and activation regions of primary visual cortex

The uncertainty principle of SE(2) allows to construct a coherent states transform that is strictly related to the Bargmann transform for the second Heisenberg group H2. The corresponding target space is characterized constructively and related to the almost complex structure of SE(2) as a contact manifold. Such a coherent state transform provides a model for neural activity maps in the primary visual cortex, that are then described in terms of minimal uncertainty states. The results of the model are compared with the experimental measurements.

preprint2011arXiv

Constant mean curvature graphs on exterior domains of the hyperbolic plane

We prove an existence result for non rotational constant mean curvature ends in $\mathbb{H}^2 \times \mathbb{R}$, where $\mathbb{H}^2$ is the hyperbolic real plane. The value of the curvature is $h \, \in \, (0, 1/2)$. We use Schauder theory and a continuity method for solution of the prescribed mean curvature equation of exterior domains of $\mathbb{H}^2$. We also prove a fine property of the asymptotic behavior of the rotational ends introduced by Sa Earp and Toubiana.

preprint2011arXiv

Regularity of minimal intrinsic graphs in 3 dimensional sub-Riemannian structures of step 2

This work provides a characterization of the regularity of noncharacteristic intrinsic minimal graphs for a class of vector fields that includes non nilpotent Lie algebras as the one given by Euclidean motions of the plane. The main result extends a previous one on the Heisenberg group, using similar techniques to deal with nonlinearities. This wider setting provides a better understanding of geometric constraints, together with an extension of the potentialities of specific tools as the lifting-freezing procedure and interpolation inequalities. As a consequence of the regularity, a foliation result for minimal graphs is obtained.

preprint2010arXiv

An uncertainty principle underlying the pinwheel structure in the primary visual cortex

The visual information in V1 is processed by an array of modules called orientation preference columns. In some species including humans, orientation columns are radially arranged around singular points like the spokes of a wheel, that are called pinwheels. The pinwheel structure has been observed first with optical imaging techniques and more recently by in vivo two-photon imaging proving their organization with single cell precision. In this research we provide evidence that pinwheels are de facto optimal distributions for coding at the best angular position and momentum. In the last years many authors have recognized that the functional architecture of V1 is locally invariant with respect to the symmetry group of rotations and translations SE(2). In the present study we show that the orientation cortical maps used to construct pinwheels can be modeled as coherent states, i.e. the configurations best localized both in angular position and angular momentum. The theory we adopt is based on the well known uncertainty principle, introduced by Heisenberg in quantum mechanics and later extended to many other groups of invariance. Here we state a corresponding principle in the cortical geometry with SE(2) symmetry, and by computing its minimizers we obtain a model of orientation activity maps in the cortex. As it is well known the pinwheels configuration is directly constructed from these activity maps, and we will be able to formally reproduce their structure starting from the group symmetries of the functional architecture of the visual cortex. The primary visual cortex is then modeled as an integrated system in which the set of simple cells implements the SE(2) group, the horizontal connectivity implements its Lie algebra and the pinwheels implement its minimal uncertainty states.