arXiv subjects

Valentina Franceschi

Publications and source records attributed to Valentina Franceschi.

At least 19 recordsLinked to original sources

arXiv2026

Unweighted Hardy Inequalities on the Heisenberg Group and in Step-Two Carnot Groups

We establish unweighted Hardy-type inequalities on step-two Carnot groups with one-dimensional vertical layer, with explicit lower bounds for the optimal Hardy constant. The approach is based on a quantitative integration-by-parts mechanism that replaces the non-horizontal Euler vector field by a suitably constructed horizontal vector field with controlled norm. As applications, we obtain fully explicit bounds in the Heisenberg group for both the Kor{\`a}nyi gauge and the Carnot--Carath{\'e}odory distance, and we extend the results to non-isotropic step-two structures through a generalized Kor{\`a}nyi-type homogeneous norm.

math.AP↗

arXiv2025

The Cheeger problem in abstract measure spaces

We consider non-negative $σ$-finite measure spaces coupled with a proper functional $P$ that plays the role of a perimeter. We introduce the Cheeger problem in this framework and extend many classical results on the Cheeger constant and on Cheeger sets to this setting, requiring minimal assumptions on the pair measure space-perimeter. Throughout the paper, the measure space will never be asked to be metric, at most topological, and this requires the introduction of a suitable notion of Sobolev spaces, induced by the coarea formula with the given perimeter.

math.MG↗

arXiv2025

Magnetic flows on 3D contact sub-Riemannian manifolds via the Rumin complex

We show that the appropriate notion of magnetic field on three-dimensional contact sub-Riemannian manifolds is given by a closed Rumin differential two-form. We introduce horizontal magnetic flows starting from magnetic potential one-forms, proving that the flow depends only on the Rumin differential of the potential. Notably, in dimension three the Rumin differential acts on one-forms as a second-order differential operator. We further prove that such magnetic flows can be interpreted as a geodesic flow on a suitably lifted sub-Riemannian structure, which is of Engel type when the magnetic field is non-vanishing. In the general case, when the magnetic field may vanish, we analyze the geometry of the lifted structure, characterizing its step and abnormal trajectories in terms of the analytical properties of the magnetic field. Our work is inspired by the classical correspondence, first observed by Montgomery, between Riemannian magnetic flows and sub-Riemannian geometry.

math.DG↗

arXiv2024

Mean value formulas on surfaces in Grushin spaces

We prove (sub)mean value formulas at the point $0\inΣ$ for (sub)harmonic functions a on a hypersurface $Σ\subset\mathbb{R}^{n+1}$ where the differentiable structure and the surface measure depend on the ambient Grushin structure.

math.AP↗

arXiv2023

On the Steiner property for planar minimizing clusters. The isotropic case

We consider the isoperimetric problem for clusters in the plane with a double density, that is, perimeter and volume depend on two weights. In this paper we consider the isotropic case, in the parallel paper "On the Steiner property for planar minimizing clusters. The anisotropic case", the anisotropic case is studied. Here we prove that, in a wide generality, minimal clusters enjoy the "Steiner property", which means that the boundaries are made by ${\rm C}^{1,γ}$ regular arcs, meeting in finitely many triple points with the $120^\circ$ property.

math.AP↗

arXiv2023

On the Steiner property for planar minimizing clusters. The anisotropic case

In this paper we discuss the Steiner property for minimal clusters in the plane with an anisotropic double density. This means that we consider the classical isoperimetric problem for clusters, but volume and perimeter are defined by using two densities. In particular, the perimeter density may also depend on the direction of the normal vector. The classical "Steiner property" for the Euclidean case (which corresponds to both densities being equal to $1$) says that minimal clusters are made by finitely many ${\rm C}^{1,γ}$ arcs, meeting in finitely many "triple points". We can show that this property holds under very weak assumptions on the densities. In the parallel paper "On the Steiner property for planar minimizing clusters. The isotropic case" we consider the isotropic case, i.e., when the perimeter density does not depend on the direction, which makes most of the construction much simpler. In particular, in the present case the three arcs at triple points do not necessarily meet with three angles of $120^\circ$, which is instead what happens in the isotropic case.

math.AP↗

arXiv2023

Embedded trace operator for infinite metric trees

We consider a class of infinite weighted metric trees obtained as perturbations of self-similar regular trees. Possible definitions of the boundary traces of functions in the Sobolev space on such a structure are discussed by using identifications of the tree boundary with a surface. Our approach unifies some constructions proposed by Maury, Salort, Vannier (2009) for dyadic discrete weighted trees (expansion in orthogonal bases of harmonic functions on the graph and using Haar-type bases on the domain representing the boundary), and by Nicaise, Semin (2018) and Joly, Kachanovska, Semin (2019) for fractal metric trees (approximation by finite sections and identification of the boundary with a interval): we show that both machineries give the same trace map, and for a range of parameters we establish the precise Sobolev regularity of the traces. In addition, we introduce new geometric ingredients by proposing an identification with arbitrary Riemannian manifolds. It is shown that any compact manifold admits a suitable multiscale decomposition and, therefore, can be identified with a metric tree boundary in the context of trace theorems.

math-ph↗

arXiv2022

The isoperimetric problem for regular and crystalline norms in $\mathbb H^1$

We study the isoperimetric problem for anisotropic left-invariant perimeter measures on $\mathbb R^3$, endowed with the Heisenberg group structure. The perimeter is associated with a left-invariant norm $ϕ$ on the horizontal distribution. We first prove a representation formula for the $ϕ$-perimeter of regular sets and, assuming some regularity on $ϕ$ and on its dual norm $ϕ^*$, we deduce a foliation property by sub-Finsler geodesics of $\mathrm C^2$-smooth surfaces with constant $ϕ$-curvature. We then prove that the characteristic set of $\mathrm C^2$-smooth surfaces that are locally extremal for the isoperimetric problem is made of isolated points and horizontal curves satisfying a suitable differential equation. Based on such a characterization, we characterize $\mathrm C^2$-smooth $ϕ$-isoperimetric sets as the sub-Finsler analogue of Pansu's bubbles. We also show, under suitable regularity properties on $ϕ$, that such sub-Finsler candidate isoperimetric sets are indeed $\mathrm C^2$-smooth. By an approximation procedure, we finally prove a conditional minimality property for the candidate solutions in the general case (including the case where $ϕ$ is crystalline).

math.DG↗

arXiv2021

Local controllability does imply global controllability

We say that a control system is locally controllable if the attainable set from any state $x$ contains an open neighborhood of $x$, while it is controllable if the attainable set from any state is the entire state manifold. We show in this note that a control system satisfying local controllability is controllable. Our self-contained proof is alternative to the combination of two previous results by Kevin Grasse.

math.OC↗

arXiv2021

Horizontal magnetic fields and improved Hardy inequalities in the Heisenberg group

In this paper we introduce a notion of magnetic field in the Heisenberg group and we study its influence on spectral properties of the corresponding magnetic (sub-elliptic) Laplacian. We show that uniform magnetic fields uplift the bottom of the spectrum. For magnetic fields vanishing at infinity, including Aharonov--Bohm potentials, we derive magnetic improvements to a variety of Hardy-type inequalities for the Heisenberg sub-Laplacian. In particular, we establish a sub-Riemannian analogue of Laptev and Weidl sub-criticality result for magnetic Laplacians in the plane. Instrumental for our argument is the validity of a Hardy-type inequality for the Folland--Stein operator, that we prove in this paper and has an interest on its own.

math.SP↗

arXiv2021

A cortical-inspired sub-Riemannian model for Poggendorff-type visual illusions

We consider Wilson-Cowan-type models for the mathematical description of orientation-dependent Poggendorff-like illusions. Our modelling improves two previously proposed cortical-inspired approaches embedding the sub-Riemannian heat kernel into the neuronal interaction term, in agreement with the intrinsically anisotropic functional architecture of V1 based on both local and lateral connections. For the numerical realisation of both models, we consider standard gradient descent algorithms combined with Fourier-based approaches for the efficient computation of the sub-Laplacian evolution. Our numerical results show that the use of the sub-Riemannian kernel allows to reproduce numerically visual misperceptions and inpainting-type biases in a stronger way in comparison with the previous approaches.

cs.CV↗

arXiv2020

Cortical-inspired Wilson-Cowan-type equations for orientation-dependent contrast perception modelling

We consider the evolution model proposed in [9, 6] to describe illusory contrast perception phenomena induced by surrounding orientations. Firstly, we highlight its analogies and differences with the widely used Wilson-Cowan equations [48], mainly in terms of efficient representation properties. Then, in order to explicitly encode local directional information, we exploit the model of the primary visual cortex (V1) proposed in [20] and largely used over the last years for several image processing problems [24,38,28]. The resulting model is thus defined in the space of positions and orientation and it is capable to describe assimilation and contrast visual bias at the same time. We report several numerical tests showing the ability of the model to reproduce, in particular, orientation-dependent phenomena such as grating induction and a modified version of the Poggendorff illusion. For this latter example, we empirically show the existence of a set of threshold parameters differentiating from inpainting to perception-type reconstructions and describing long-range connectivity between different hypercolumns in V1.

cs.CV↗

arXiv2019

Visual illusions via neural dynamics: Wilson-Cowan-type models and the efficient representation principle

In this work we have aimed to reproduce supra-threshold perception phenomena, specifically visual illusions, with Wilson-Cowan-type models of neuronal dynamics. We have found that it is indeed possible to do so, but that the ability to replicate visual illusions is related to how well the neural activity equations comply with the efficient representation principle. Our first contribution is to show that the Wilson-Cowan equations can reproduce a number of brightness and orientation-dependent illusions, and that the latter type of illusions require that the neuronal dynamics equations consider explicitly the orientation, as expected. Then, we formally prove that there can't be an energy functional that the Wilson-Cowan equations are minimizing, but that a slight modification makes them variational and yields a model that is consistent with the efficient representation principle. Finally, we show that this new model provides a better reproduction of visual illusions than the original Wilson-Cowan formulation.

q-bio.NC↗

arXiv2019

Point interactions for 3D sub-Laplacians

In this paper we show that, for a sub-Laplacian $Δ$ on a $3$-dimensional manifold $M$, no point interaction centered at a point $q_0\in M$ exists. When $M$ is complete w.r.t. the associated sub-Riemannian structure, this means that $Δ$ acting on $C^\infty_0(M\setminus\{q_0\})$ is essentially self-adjoint. A particular example is the standard sub-Laplacian on the Heisenberg group. This is in stark contrast with what happens in a Riemannian manifold $N$, whose associated Laplace-Beltrami operator is never essentially self-adjoint on $C^\infty_0(N\setminus\{q_0\})$, if $\dim N\le 3$. We then apply this result to the Schrödinger evolution of a thin molecule, i.e., with a vanishing moment of inertia, rotating around its center of mass.

math.AP↗

arXiv2019

Hardy-type inequalities for the Carnot-Carathéodory distance in the Heisenberg group

In this paper we study various Hardy inequalities in the Heisenberg group $\mathbb H^n$, w.r.t. the Carnot-Carathéodory distance $δ$ from the origin. We firstly show that the optimal constant for the Hardy inequality is strictly smaller than $n^2 = (Q-2)^2/4$, where $Q$ is the homogenous dimension. Then, we prove that, independently of $n$, the Heisenberg group does not support a radial Hardy inequality, i.e., a Hardy inequality where the gradient term is replaced by its projection along $\nabla_{\mathbb H}δ$. This is in stark contrast with the Euclidean case, where the radial Hardy inequality is equivalent to the standard one, and has the same constant. Motivated by these results, we consider Hardy inequalities for non-radial directions, i.e., directions tangent to the Carnot-Carathéodory balls. In particular, we show that the associated constant is bounded on homogeneous cones $C_Σ$ with base $Σ\subset \mathbb S^{2n}$, even when $Σ$ degenerates to a point. This is a genuinely sub-Riemannian behavior, as such constant is well-known to explode for homogeneous cones in the Euclidean space.

math.AP↗

arXiv2019

On the essential self-adjointness of singular sub-Laplacians

We prove a general essential self-adjointness criterion for sub-Laplacians on complete sub-Riemannian manifolds, defined with respect to singular measures. As a consequence, we show that the intrinsic sub-Laplacian (i.e. defined w.r.t. Popp's measure) is essentially self-adjoint on the equiregular connected components of a sub-Riemannian manifold. This result holds under mild regularity assumptions on the singular region, and when the latter does not contain characteristic points.

math.DG↗

arXiv2019

Symmetric double bubbles in the Grushin plane

We address the double bubble problem for the anisotropic Grushin perimeter $P_α$, $α\geq 0$, and the Lebesgue measure in $\mathbb R^2$, in the case of two equal volumes. We assume that the contact interface between the bubbles lays on either the vertical or the horizontal axis. Since no regularity theory is available in this setting, in both cases we first prove existence of minimizers via the direct method by symmetrization arguments and then characterize them in terms of the given area by first variation techniques. Angles at which minimal boundaries intersect satisfy the standard 120-degree rule up to a suitable change of coordinates. While for $α=0$ the Grushin perimeter reduces to the Euclidean one and both minimizers coincide with the symmetric double bubble found in [Foisy et al., Pacific J. Math. (1993)], for $α=1$ vertical interface minimizers have Grushin perimeter strictly greater than horizontal interface minimizers. As the latter ones are obtained by translating and dilating the Grushin isoperimetric set found in [Monti Morbidelli, J. Geom. Anal. (2004)], we conjecture that they solve the double bubble problem with no assumptions on the contact interface.

math.OC↗

arXiv2018

A cortical-inspired model for orientation-dependent contrast perception: a link with Wilson-Cowan equations

We consider a differential model describing neuro-physiological contrast perception phenomena induced by surrounding orientations. The mathematical formulation relies on a cortical-inspired modelling [10] largely used over the last years to describe neuron interactions in the primary visual cortex (V1) and applied to several image processing problems [12,19,13]. Our model connects to Wilson-Cowan-type equations [23] and it is analogous to the one used in [3,2,14] to describe assimilation and contrast phenomena, the main novelty being its explicit dependence on local image orientation. To confirm the validity of the model, we report some numerical tests showing its ability to explain orientation-dependent phenomena (such as grating induction) and geometric-optical illusions [21,16] classically explained only by filtering-based techniques [6,18].

cs.CV↗