-
Measures in the dual of $BV$: perimeter bounds and relations with divergence-measure fields
Authors:
Giovanni E. Comi,
Gian Paolo Leonardi
Abstract:
We analyze some properties of the measures in the dual of the space $BV$, by considering (signed) Radon measures satisfying a perimeter bound condition, which means that the absolute value of the measure of a set is controlled by the perimeter of the set itself, and whose total variations also belong to the dual of $BV$. We exploit and refine the results of [25](Phuc, Torres 2017), in particular e…
▽ More
We analyze some properties of the measures in the dual of the space $BV$, by considering (signed) Radon measures satisfying a perimeter bound condition, which means that the absolute value of the measure of a set is controlled by the perimeter of the set itself, and whose total variations also belong to the dual of $BV$. We exploit and refine the results of [25](Phuc, Torres 2017), in particular exploring the relation with divergence-measure fields and proving the stability of the perimeter bound from sets to $BV$ functions under a suitable approximation of the given measure. As an important tool, we obtain a refinement of Anzellotti-Giaquinta approximation for $BV$ functions, which is of separate interest in itself and, in the context of Anzellotti's pairing theory for divergence-measure fields, implies a new way of approximating $λ$-pairings, as well as new bounds for their total variation. These results are also relevant due to their application in the study of weak solutions to the non-parametric prescribed mean curvature equation with measure data, which is explored in a subsequent work.
△ Less
Submitted 6 July, 2024;
originally announced July 2024.
-
Free-Boundary Monotonicity for Almost-Minimizers of the Relative Perimeter
Authors:
Gian Paolo Leonardi,
Giacomo Vianello
Abstract:
Let $E \subset Ω$ be a local almost-minimizer of the relative perimeter in the open set $Ω\subset \mathbb{R}^{n}$. We prove a free-boundary monotonicity inequality for $E$ at a point $x\in \partialΩ$, under a geometric property called ``visibility'', that $Ω$ is required to satisfy in a neighborhood of $x$. Incidentally, the visibility property is satisfied by a considerably large class of Lipschi…
▽ More
Let $E \subset Ω$ be a local almost-minimizer of the relative perimeter in the open set $Ω\subset \mathbb{R}^{n}$. We prove a free-boundary monotonicity inequality for $E$ at a point $x\in \partialΩ$, under a geometric property called ``visibility'', that $Ω$ is required to satisfy in a neighborhood of $x$. Incidentally, the visibility property is satisfied by a considerably large class of Lipschitz and possibly non-smooth domains. Then, we prove the existence of the density of the relative perimeter of $E$ at $x$, as well as the fact that any blow-up of $E$ at $x$ is necessarily a perimeter-minimizing cone within the tangent cone to $Ω$ at $x$.
△ Less
Submitted 6 July, 2024;
originally announced July 2024.
-
TASTE V. A new ground-based investigation of orbital decay in the ultra-hot Jupiter WASP-12b
Authors:
P. Leonardi,
V. Nascimbeni,
V. Granata,
L. Malavolta,
L. Borsato,
K. Biazzo,
A. F. Lanza,
S. Desidera,
G. Piotto,
D. Nardiello,
M. Damasso,
A. Cunial,
L. R. Bedin
Abstract:
The discovery of the first transiting hot Jupiters (HJs; giant planets on orbital periods shorter than $P\sim10$ days) was announced more than twenty years ago. As both ground- and space-based follow-up observations are piling up, we are approaching the temporal baseline required to detect secular variations in their orbital parameters. In particular, several recent studies focused on constraining…
▽ More
The discovery of the first transiting hot Jupiters (HJs; giant planets on orbital periods shorter than $P\sim10$ days) was announced more than twenty years ago. As both ground- and space-based follow-up observations are piling up, we are approaching the temporal baseline required to detect secular variations in their orbital parameters. In particular, several recent studies focused on constraining the efficiency of the tidal decay mechanism to better understand the evolutionary time scales of HJ migration and engulfment. This can be achieved by measuring a monotonic decrease of orbital period $\mathrm{d}P/\mathrm{d}t<0$ due to mechanical energy being dissipated by tidal friction. WASP-12b was the first HJ for which a tidal decay scenario appeared convincing, even though alternative explanations have been hypothesized. Here we present a new analysis based on 28 unpublished high-precision transit light curves gathered over a twelve-year baseline and combined with all the available archival data, and an updated set of stellar parameters from HARPS-N high-resolution spectra, which are consistent with a main sequence scenario, close to the hydrogen exhaustion in the core. Our values of $\mathrm{d}P/\mathrm{d}t$ = $-30.72 \pm 2.67$ and $Q_{\ast}^{'}$ = $(2.13 \pm 0.18) \times 10^{5}$ are statistically consistent with previous studies, and indicate that WASP-12 is undergoing fast tidal dissipation. We additionally report the presence of an excess scatter in the timing data and discuss its possible origin.
△ Less
Submitted 20 February, 2024; v1 submitted 19 February, 2024;
originally announced February 2024.
-
A Vertex-Skip** property for almost-minimizers of the relative perimeter in convex sets
Authors:
Gian Paolo Leonardi,
Giacomo Vianello
Abstract:
Given a convex domain $Ω\subset \mathbb{R}^{3}$ and an almost-minimizer $E$ of the relative perimeter in $Ω$, we prove that the closure of $\partial E \cap Ω$ does not contain vertices of $Ω$.
Given a convex domain $Ω\subset \mathbb{R}^{3}$ and an almost-minimizer $E$ of the relative perimeter in $Ω$, we prove that the closure of $\partial E \cap Ω$ does not contain vertices of $Ω$.
△ Less
Submitted 26 January, 2024;
originally announced January 2024.
-
A Two-Scale Complexity Measure for Deep Learning Models
Authors:
Massimiliano Datres,
Gian Paolo Leonardi,
Alessio Figalli,
David Sutter
Abstract:
We introduce a novel capacity measure 2sED for statistical models based on the effective dimension. The new quantity provably bounds the generalization error under mild assumptions on the model. Furthermore, simulations on standard data sets and popular model architectures show that 2sED correlates well with the training error. For Markovian models, we show how to efficiently approximate 2sED from…
▽ More
We introduce a novel capacity measure 2sED for statistical models based on the effective dimension. The new quantity provably bounds the generalization error under mild assumptions on the model. Furthermore, simulations on standard data sets and popular model architectures show that 2sED correlates well with the training error. For Markovian models, we show how to efficiently approximate 2sED from below through a layerwise iterative approach, which allows us to tackle deep learning models with a large number of parameters. Simulation results suggest that the approximation is good for different prominent models and data sets.
△ Less
Submitted 17 January, 2024;
originally announced January 2024.
-
Characterising a World Within the Hot Neptune Desert: Transit Observations of LTT 9779 b with HST WFC3
Authors:
Billy Edwards,
Quentin Changeat,
Angelos Tsiaras,
Andrew Allan,
Patrick Behr,
Simone R. Hagey,
Michael D. Himes,
Sushuang Ma,
Keivan G. Stassun,
Luis Thomas,
Alexandra Thompson,
Aaron Boley,
Luke Booth,
Jeroen Bouwman,
Kevin France,
Nataliea Lowson,
Annabella Meech,
Caprice L. Phillips,
Aline A. Vidotto,
Kai Hou Yip,
Michelle Bieger,
Amelie Gressier,
Estelle Janin,
Ing-Guey Jiang,
Pietro Leonardi
, et al. (5 additional authors not shown)
Abstract:
We present an atmospheric analysis of LTT 9779 b, a rare planet situated in the hot Neptune desert, that has been observed with HST WFC3 G102 and G141. The combined transmission spectrum, which covers 0.8 - 1.6 $μ$m, shows a gradual increase in transit depth with wavelength. Our preferred atmospheric model shows evidence for H$_{\rm 2}$O, CO$_{\rm 2}$ and FeH with a significance of 3.1 $σ$, 2.4…
▽ More
We present an atmospheric analysis of LTT 9779 b, a rare planet situated in the hot Neptune desert, that has been observed with HST WFC3 G102 and G141. The combined transmission spectrum, which covers 0.8 - 1.6 $μ$m, shows a gradual increase in transit depth with wavelength. Our preferred atmospheric model shows evidence for H$_{\rm 2}$O, CO$_{\rm 2}$ and FeH with a significance of 3.1 $σ$, 2.4 $σ$ and 2.1 $σ$, respectively. In an attempt to constrain the rate of atmospheric escape for this planet, we search for the 1.083 $μ$m Helium line in the G102 data but find no evidence of excess absorption that would indicate an esca** atmosphere using this tracer. We refine the orbital ephemerides of LTT 9779 b using our HST data and observations from TESS, searching for evidence of orbital decay or apsidal precession, which is not found. The phase-curve observation of LTT 9779 b with JWST NIRISS should provide deeper insights into the atmosphere of this planet and the expected atmospheric escape might be detected with further observations concentrated on other tracers such as Lyman $α$.
△ Less
Submitted 23 June, 2023;
originally announced June 2023.
-
The prescribed mean curvature measure equation in non-parametric form
Authors:
Gian Paolo Leonardi,
Giovanni Eugenio Comi
Abstract:
We introduce a weak formulation of the non-parametric prescribed mean curvature equation with measure data and show the existence and several properties of $BV$ solutions under natural assumptions on the prescribed measure. Our approach does not rely on approximate or viscosity-type solutions. It requires combining various ingredients, including Anzellotti's pairing theory for divergence-measure f…
▽ More
We introduce a weak formulation of the non-parametric prescribed mean curvature equation with measure data and show the existence and several properties of $BV$ solutions under natural assumptions on the prescribed measure. Our approach does not rely on approximate or viscosity-type solutions. It requires combining various ingredients, including Anzellotti's pairing theory for divergence-measure fields and its recent developments, a refinement of Anzellotti-Giaquinta approximation, and convex duality theory. We also prove a Gamma-convergence result valid for suitable smooth approximations of the prescribed measure, and a maximum principle for continuous weak solutions. We finally construct some examples of non-uniqueness, showing at the same time the need for the continuity assumption in the maximum principle and an unexpected feature of weak solutions.
△ Less
Submitted 7 July, 2024; v1 submitted 21 February, 2023;
originally announced February 2023.
-
Emergence of Wulff-Crystals from atomistic systems on the FCC and HCP lattices
Authors:
Marco Cicalese,
Leonard Kreutz,
Gian Paolo Leonardi
Abstract:
We consider a system of $N$ hard spheres sitting on the nodes of either the $\mathrm{FCC}$ or $\mathrm{HCP}$ lattice and interacting via a sticky-disk potential. As $N$ tends to infinity (continuum limit), assuming the interaction energy does not exceed that of the ground-state by more than $N^{2/3}$ (surface scaling), we obtain the variational coarse grained model by $Γ$-convergence. More precise…
▽ More
We consider a system of $N$ hard spheres sitting on the nodes of either the $\mathrm{FCC}$ or $\mathrm{HCP}$ lattice and interacting via a sticky-disk potential. As $N$ tends to infinity (continuum limit), assuming the interaction energy does not exceed that of the ground-state by more than $N^{2/3}$ (surface scaling), we obtain the variational coarse grained model by $Γ$-convergence. More precisely, we prove that the continuum limit energies are of perimeter type and we compute explicitly their Wulff shapes. Our analysis shows that crystallization on $\mathrm{FCC}$ is preferred to that on $\mathrm{HCP}$ for $N$ large enough. The method is based on integral representation and concentration-compactness results that we prove for general periodic lattices in any dimension.
△ Less
Submitted 27 April, 2022;
originally announced April 2022.
-
Training Quantised Neural Networks with STE Variants: the Additive Noise Annealing Algorithm
Authors:
Matteo Spallanzani,
Gian Paolo Leonardi,
Luca Benini
Abstract:
Training quantised neural networks (QNNs) is a non-differentiable optimisation problem since weights and features are output by piecewise constant functions. The standard solution is to apply the straight-through estimator (STE), using different functions during the inference and gradient computation steps. Several STE variants have been proposed in the literature aiming to maximise the task accur…
▽ More
Training quantised neural networks (QNNs) is a non-differentiable optimisation problem since weights and features are output by piecewise constant functions. The standard solution is to apply the straight-through estimator (STE), using different functions during the inference and gradient computation steps. Several STE variants have been proposed in the literature aiming to maximise the task accuracy of the trained network. In this paper, we analyse STE variants and study their impact on QNN training. We first observe that most such variants can be modelled as stochastic regularisations of stair functions; although this intuitive interpretation is not new, our rigorous discussion generalises to further variants. Then, we analyse QNNs mixing different regularisations, finding that some suitably synchronised smoothing of each layer map is required to guarantee pointwise compositional convergence to the target discontinuous function. Based on these theoretical insights, we propose additive noise annealing (ANA), a new algorithm to train QNNs encompassing standard STE and its variants as special cases. When testing ANA on the CIFAR-10 image classification benchmark, we find that the major impact on task accuracy is not due to the qualitative shape of the regularisations but to the proper synchronisation of the different STE variants used in a network, in accordance with the theoretical results.
△ Less
Submitted 21 March, 2022;
originally announced March 2022.
-
The isoperimetric problem in $2$d domains without necks
Authors:
Gian Paolo Leonardi,
Giorgio Saracco
Abstract:
We give a complete characterization of all isoperimetric sets contained in a domain of the Euclidean plane, that is bounded by a Jordan curve and satisfies a no-neck property. Further, we prove that the isoperimetric profile of such domain is convex above the volume of the largest ball contained in it, and that its square is globally convex.
We give a complete characterization of all isoperimetric sets contained in a domain of the Euclidean plane, that is bounded by a Jordan curve and satisfies a no-neck property. Further, we prove that the isoperimetric profile of such domain is convex above the volume of the largest ball contained in it, and that its square is globally convex.
△ Less
Submitted 5 February, 2022; v1 submitted 24 August, 2021;
originally announced August 2021.
-
Analytical aspects of non-differentiable neural networks
Authors:
Gian Paolo Leonardi,
Matteo Spallanzani
Abstract:
Research in computational deep learning has directed considerable efforts towards hardware-oriented optimisations for deep neural networks, via the simplification of the activation functions, or the quantization of both activations and weights. The resulting non-differentiability (or even discontinuity) of the networks poses some challenging problems, especially in connection with the learning pro…
▽ More
Research in computational deep learning has directed considerable efforts towards hardware-oriented optimisations for deep neural networks, via the simplification of the activation functions, or the quantization of both activations and weights. The resulting non-differentiability (or even discontinuity) of the networks poses some challenging problems, especially in connection with the learning process. In this paper, we address several questions regarding both the expressivity of quantized neural networks and approximation techniques for non-differentiable networks. First, we answer in the affirmative the question of whether QNNs have the same expressivity as DNNs in terms of approximation of Lipschitz functions in the $L^{\infty}$ norm. Then, considering a continuous but not necessarily differentiable network, we describe a layer-wise stochastic regularisation technique to produce differentiable approximations, and we show how this approach to regularisation provides elegant quantitative estimates. Finally, we consider networks defined by means of Heaviside-type activation functions, and prove for them a pointwise approximation result by means of smooth networks under suitable assumptions on the regularised activations.
△ Less
Submitted 3 November, 2020;
originally announced November 2020.
-
Minimizers of the prescribed curvature functional in a Jordan domain with no necks
Authors:
Gian Paolo Leonardi,
Giorgio Saracco
Abstract:
We provide a geometric characterization of the minimal and maximal minimizer of the prescribed curvature functional $P(E)-κ|E|$ among subsets of a Jordan domain $Ω$ with no necks of radius $κ^{-1}$, for values of $κ$ greater than or equal to the Cheeger constant of $Ω$. As an application, we describe all minimizers of the isoperimetric profile for volumes greater than the volume of the minimal Che…
▽ More
We provide a geometric characterization of the minimal and maximal minimizer of the prescribed curvature functional $P(E)-κ|E|$ among subsets of a Jordan domain $Ω$ with no necks of radius $κ^{-1}$, for values of $κ$ greater than or equal to the Cheeger constant of $Ω$. As an application, we describe all minimizers of the isoperimetric profile for volumes greater than the volume of the minimal Cheeger set, relative to a Jordan domain $Ω$ which has no necks of radius $r$, for all $r$. Finally, we show that for such sets and volumes the isoperimetric profile is convex.
△ Less
Submitted 18 May, 2020; v1 submitted 19 December, 2019;
originally announced December 2019.
-
Undergrad classroom cooperation and academic performance: Beneficial for real-world-like problems but detrimental for algebra-based problems
Authors:
Javier Pulgar,
Cristian Candia,
Paul Leonardi
Abstract:
For several decades, scholars have studied cooperation and its outcomes in the educational context. Yet, we lack a complete understanding of how different instructional strategies impact the relationship between cooperation and learning. Here we studied how different instructional strategies led to different social configurations and their differences in individual academic performance in an exper…
▽ More
For several decades, scholars have studied cooperation and its outcomes in the educational context. Yet, we lack a complete understanding of how different instructional strategies impact the relationship between cooperation and learning. Here we studied how different instructional strategies led to different social configurations and their differences in individual academic performance in an experiment with 82 first-year students from an introductory physics course. Surprisingly, we found that students who actively seek out information on multiple peers are less likely to achieve good performance on well-structured (algebra-based) problems, whereas, for ill-structured (real-world-like) problems, this effect depended on the features of the learning environment. Besides, we observed that good performance on ill and well-structured problems responded to different social network configurations. In a highly clustered network (which contains redundant information), students performed well-structured problems better than ill-structured problems. In contrast, students with access to network structural holes (which enable access to more diverse information) performed ill-structured problems better than well-structured problems. Finally, ill-structured problems could promote creative thinking, provided that instructors guide the solving process and motivate students to engage in the appropriate cognitive demands these problems entail. Our results suggest that teaching and instructional strategies play an important role in cooperative learning; therefore, educators implementing cooperative learning methods have to accompany them with adequate instructional strategy.
△ Less
Submitted 10 March, 2020; v1 submitted 14 December, 2019;
originally announced December 2019.
-
Additive Noise Annealing and Approximation Properties of Quantized Neural Networks
Authors:
Matteo Spallanzani,
Lukas Cavigelli,
Gian Paolo Leonardi,
Marko Bertogna,
Luca Benini
Abstract:
We present a theoretical and experimental investigation of the quantization problem for artificial neural networks. We provide a mathematical definition of quantized neural networks and analyze their approximation capabilities, showing in particular that any Lipschitz-continuous map defined on a hypercube can be uniformly approximated by a quantized neural network. We then focus on the regularizat…
▽ More
We present a theoretical and experimental investigation of the quantization problem for artificial neural networks. We provide a mathematical definition of quantized neural networks and analyze their approximation capabilities, showing in particular that any Lipschitz-continuous map defined on a hypercube can be uniformly approximated by a quantized neural network. We then focus on the regularization effect of additive noise on the arguments of multi-step functions inherent to the quantization of continuous variables. In particular, when the expectation operator is applied to a non-differentiable multi-step random function, and if the underlying probability density is differentiable (in either classical or weak sense), then a differentiable function is retrieved, with explicit bounds on its Lipschitz constant. Based on these results, we propose a novel gradient-based training algorithm for quantized neural networks that generalizes the straight-through estimator, acting on noise applied to the network's parameters. We evaluate our algorithm on the CIFAR-10 and ImageNet image classification benchmarks, showing state-of-the-art performance on AlexNet and MobileNetV2 for ternary networks.
△ Less
Submitted 24 May, 2019;
originally announced May 2019.
-
Weak and approximate curvatures of a measure: a varifold perspective
Authors:
Blanche Buet,
Gian Paolo Leonardi,
Simon Masnou
Abstract:
By revisiting the notion of generalized second fundamental form originally introduced by Hutchinson for a special class of integral varifolds, we define a weak curvature tensor that is particularly well-suited for being extended to general varifolds of any dimension and codimension through regularization. The resulting approximate second fundamental forms are defined not only for piecewise-smooth…
▽ More
By revisiting the notion of generalized second fundamental form originally introduced by Hutchinson for a special class of integral varifolds, we define a weak curvature tensor that is particularly well-suited for being extended to general varifolds of any dimension and codimension through regularization. The resulting approximate second fundamental forms are defined not only for piecewise-smooth surfaces, but also for datasets of very general type (like, e.g., point clouds). We obtain explicitly computable formulas for both weak and approximate curvature tensors, we exhibit structural properties and prove convergence results, and lastly we provide some numerical tests on point clouds that confirm the generality and effectiveness of our approach.
△ Less
Submitted 28 January, 2020; v1 submitted 11 April, 2019;
originally announced April 2019.
-
The Cheeger constant of curved tubes
Authors:
David Krejcirik,
Gian Paolo Leonardi,
Petr Vlachopulos
Abstract:
We compute the Cheeger constant of spherical shells and tubular neighbourhoods of complete curves in an arbitrary dimensional Euclidean space.
We compute the Cheeger constant of spherical shells and tubular neighbourhoods of complete curves in an arbitrary dimensional Euclidean space.
△ Less
Submitted 29 November, 2018;
originally announced November 2018.
-
Two examples of minimal Cheeger sets in the plane
Authors:
Gian Paolo Leonardi,
Giorgio Saracco
Abstract:
We construct two minimal Cheeger sets in the Euclidean plane, i.e. unique minimizers of the ratio "perimeter over area" among their own measurable subsets. The first one gives a counterexample to the so-called weak regularity property of Cheeger sets, as its perimeter does not coincide with the $1$-dimensional Hausdorff measure of its topological boundary. The second one is a kind of porous set, w…
▽ More
We construct two minimal Cheeger sets in the Euclidean plane, i.e. unique minimizers of the ratio "perimeter over area" among their own measurable subsets. The first one gives a counterexample to the so-called weak regularity property of Cheeger sets, as its perimeter does not coincide with the $1$-dimensional Hausdorff measure of its topological boundary. The second one is a kind of porous set, whose boundary is not locally a graph at many of its points, yet it is a weakly regular open set admitting a unique (up to vertical translations) non--parametric solution to the prescribed mean curvature equation, in the extremal case corresponding to the capillarity for perfectly wetting fluids in zero gravity.
△ Less
Submitted 29 August, 2018; v1 submitted 4 September, 2017;
originally announced September 2017.
-
Rigidity and trace properties of divergence-measure vector fields
Authors:
Gian Paolo Leonardi,
Giorgio Saracco
Abstract:
We consider a $\varphi$-rigidity property for divergence-free vector fields in the Euclidean $n$-space, where $\varphi(t)$ is a non-negative convex function vanishing only at $t=0$. We show that this property is always satisfied in dimension $n=2$, while in higher dimension it requires some further restriction on $\varphi$. In particular, we exhibit counterexamples to \textit{quadratic rigidity} (…
▽ More
We consider a $\varphi$-rigidity property for divergence-free vector fields in the Euclidean $n$-space, where $\varphi(t)$ is a non-negative convex function vanishing only at $t=0$. We show that this property is always satisfied in dimension $n=2$, while in higher dimension it requires some further restriction on $\varphi$. In particular, we exhibit counterexamples to \textit{quadratic rigidity} (i.e., when $\varphi(t) = ct^2$) in dimension $n\ge 4$. The validity of the quadratic rigidity, which we prove in dimension $n=2$, implies the existence of the trace of a divergence-measure vector field $ξ$ on a $\mathcal{H}^{1}$-rectifiable set $S$, as soon as its weak normal trace $[ξ\cdot ν_S]$ is maximal on $S$. As an application, we deduce that the graph of an extremal solution to the prescribed mean curvature equation in a weakly-regular domain becomes vertical near the boundary in a pointwise sense.
△ Less
Submitted 11 February, 2020; v1 submitted 4 August, 2017;
originally announced August 2017.
-
The Cheeger constant of a Jordan domain without necks
Authors:
Gian Paolo Leonardi,
Robin Neumayer,
Giorgio Saracco
Abstract:
We show that the maximal Cheeger set of a Jordan domain $Ω$ without necks is the union of all balls of radius $r = h(Ω)^{-1}$ contained in $Ω$. Here, $h(Ω)$ denotes the Cheeger constant of $Ω$, that is, the infimum of the ratio of perimeter over area among subsets of $Ω$, and a Cheeger set is a set attaining the infimum. The radius $r$ is shown to be the unique number such that the area of the inn…
▽ More
We show that the maximal Cheeger set of a Jordan domain $Ω$ without necks is the union of all balls of radius $r = h(Ω)^{-1}$ contained in $Ω$. Here, $h(Ω)$ denotes the Cheeger constant of $Ω$, that is, the infimum of the ratio of perimeter over area among subsets of $Ω$, and a Cheeger set is a set attaining the infimum. The radius $r$ is shown to be the unique number such that the area of the inner parallel set $Ω^r$ is equal to $πr^2$. The proof of the main theorem requires the combination of several intermediate facts, some of which are of interest in their own right. Examples are given demonstrating the generality of the result as well as the sharpness of our assumptions. In particular, as an application of the main theorem, we illustrate how to effectively approximate the Cheeger constant of the Koch snowflake.
△ Less
Submitted 1 March, 2018; v1 submitted 24 April, 2017;
originally announced April 2017.
-
A varifold approach to surface approximation
Authors:
Blanche Buet,
Gian Paolo Leonardi,
Simon Masnou
Abstract:
We show that the theory of varifolds can be suitably enriched to open the way to applications in the field of discrete and computational geometry. Using appropriate regularizations of the mass and of the first variation of a varifold we introduce the notion of approximate mean curvature and show various convergence results that hold in particular for sequences of discrete varifolds associated with…
▽ More
We show that the theory of varifolds can be suitably enriched to open the way to applications in the field of discrete and computational geometry. Using appropriate regularizations of the mass and of the first variation of a varifold we introduce the notion of approximate mean curvature and show various convergence results that hold in particular for sequences of discrete varifolds associated with point clouds or pixel/voxel-type discretizations of $d$-surfaces in the Euclidean $n$-space, without restrictions on dimension and codimension. The variational nature of the approach also allows to consider surfaces with singularities, and in that case the approximate mean curvature is consistent with the generalized mean curvature of the limit surface. A series of numerical tests are provided in order to illustrate the effectiveness and generality of the method.
△ Less
Submitted 12 September, 2016;
originally announced September 2016.
-
The prescribed mean curvature equation in weakly regular domains
Authors:
Gian Paolo Leonardi,
Giorgio Saracco
Abstract:
We show that the characterization of existence and uniqueness up to vertical translations of solutions to the prescribed mean curvature equation, originally proved by Giusti in the smooth case, holds true for domains satisfying very mild regularity assumptions. Our results apply in particular to the non-parametric solutions of the capillary problem for perfectly wetting fluids in zero gravity. Amo…
▽ More
We show that the characterization of existence and uniqueness up to vertical translations of solutions to the prescribed mean curvature equation, originally proved by Giusti in the smooth case, holds true for domains satisfying very mild regularity assumptions. Our results apply in particular to the non-parametric solutions of the capillary problem for perfectly wetting fluids in zero gravity. Among the essential tools used in the proofs, we mention a \textit{generalized Gauss-Green theorem} based on the construction of the weak normal trace of a vector field with bounded divergence, in the spirit of classical results due to Anzellotti, and a \textit{weak Young's law} for $(Λ,r_{0})$-minimizers of the perimeter.
△ Less
Submitted 1 March, 2018; v1 submitted 15 June, 2016;
originally announced June 2016.
-
Isoperimetric inequalities in unbounded convex bodies
Authors:
Gian Paolo Leonardi,
Manuel Ritoré,
Efstratios Vernadakis
Abstract:
We consider the problem of minimizing the relative perimeter under a volume constraint in an unbounded convex body $C\subset \mathbb{R}^{n+1}$, without assuming any further regularity on the boundary of $C$. Motivated by an example of an unbounded convex body with null isoperimetric profile, we introduce the concept of unbounded convex body with uniform geometry. We then provide a handy characteri…
▽ More
We consider the problem of minimizing the relative perimeter under a volume constraint in an unbounded convex body $C\subset \mathbb{R}^{n+1}$, without assuming any further regularity on the boundary of $C$. Motivated by an example of an unbounded convex body with null isoperimetric profile, we introduce the concept of unbounded convex body with uniform geometry. We then provide a handy characterization of the uniform geometry property and, by exploiting the notion of asymptotic cylinder of $C$, we prove existence of isoperimetric regions in a generalized sense. By an approximation argument we show the strict concavity of the isoperimetric profile and, consequently, the connectedness of generalized isoperimetric regions. We also focus on the cases of small as well as of large volumes; in particular we show existence of isoperimetric regions with sufficiently large volumes, for special classes of unbounded convex bodies. We finally address some questions about isoperimetric rigidity and analyze the asymptotic behavior of the isoperimetric profile in connection with the notion of isoperimetric dimension.
△ Less
Submitted 23 June, 2016; v1 submitted 13 June, 2016;
originally announced June 2016.
-
Recovering measures from approximate values on balls
Authors:
Blanche Buet,
Gian Paolo Leonardi
Abstract:
In a metric space $(X,d)$ we reconstruct an approximation of a Borel measure $μ$ starting from a premeasure $q$ defined on the collection of closed balls, and such that $q$ approximates the values of $μ$ on these balls. More precisely, under a geometric assumption on the distance ensuring a Besicovitch covering property, and provided that there exists a Borel measure on $X$ satisfying an asymptoti…
▽ More
In a metric space $(X,d)$ we reconstruct an approximation of a Borel measure $μ$ starting from a premeasure $q$ defined on the collection of closed balls, and such that $q$ approximates the values of $μ$ on these balls. More precisely, under a geometric assumption on the distance ensuring a Besicovitch covering property, and provided that there exists a Borel measure on $X$ satisfying an asymptotic doubling-type condition, we show that a suitable packing construction produces a measure ${\hatμ}^{q}$ which is equivalent to $μ$. Moreover we show the stability of this process with respect to the accuracy of the initial approximation. We also investigate the case of signed measures.
△ Less
Submitted 9 October, 2015;
originally announced October 2015.
-
Improved convergence theorems for bubble clusters. II. The three-dimensional case
Authors:
Gian Paolo Leonardi,
Francesco Maggi
Abstract:
Given a sequence $\{\mathcal{E}_{k}\}_{k}$ of almost-minimizing clusters in $\mathbb{R}^3$ which converges in $L^{1}$ to a limit cluster $\mathcal{E}$ we prove the existence of $C^{1,α}$-diffeomorphisms $f_k$ between $\partial\mathcal{E}$ and $\partial\mathcal{E}_k$ which converge in $C^1$ to the identity. Each of these boundaries is divided into $C^{1,α}$-surfaces of regular points, $C^{1,α}$-cur…
▽ More
Given a sequence $\{\mathcal{E}_{k}\}_{k}$ of almost-minimizing clusters in $\mathbb{R}^3$ which converges in $L^{1}$ to a limit cluster $\mathcal{E}$ we prove the existence of $C^{1,α}$-diffeomorphisms $f_k$ between $\partial\mathcal{E}$ and $\partial\mathcal{E}_k$ which converge in $C^1$ to the identity. Each of these boundaries is divided into $C^{1,α}$-surfaces of regular points, $C^{1,α}$-curves of points of type $Y$ (where the boundary blows-up to three half-spaces meeting along a line at 120 degree) and isolated points of type $T$ (where the boundary blows up to the two-dimensional cone over a one-dimensional regular tetrahedron). The diffeomorphisms $f_k$ are compatible with this decomposition, in the sense that they bring regular points into regular points and singular points of a kind into singular points of the same kind. They are almost-normal, meaning that at fixed distance from the set of singular points each $f_k$ is a normal deformation of $\partial\mathcal{E}$, and at fixed distance from the points of type $T$, $f_k$ is a normal deformation of the set of points of type $Y$. Finally, the tangential displacements are quantitatively controlled by the normal displacements. This improved convergence theorem is then used in the study of isoperimetric clusters in $\mathbb{R}^3$.
△ Less
Submitted 25 May, 2015;
originally announced May 2015.
-
An overview on the Cheeger problem
Authors:
Gian Paolo Leonardi
Abstract:
This is an expository article presenting various results about the Cheeger problem and its connections with other relevant mathematical problems. In section 2 we synthetically describe three mathematical problems (eigenvalue estimates, prescribed mean curvature equation, ROF model for image segmentation) focusing on their link with the Cheeger problem. Then, a selection of classical as well as mor…
▽ More
This is an expository article presenting various results about the Cheeger problem and its connections with other relevant mathematical problems. In section 2 we synthetically describe three mathematical problems (eigenvalue estimates, prescribed mean curvature equation, ROF model for image segmentation) focusing on their link with the Cheeger problem. Then, a selection of classical as well as more recent results obtained in collaboration with Aldo Pratelli will be described in the remaining sections.
△ Less
Submitted 23 April, 2015;
originally announced April 2015.
-
Quantitative isoperimetric inequalities in H^n
Authors:
Valentina Franceschi,
Gian Paolo Leonardi,
Roberto Monti
Abstract:
In the Heisenberg group H^n, we prove quantitative isoperimetric inequalities for Pansu's spheres, that are known to be isoperimetric under various assumptions. The inequalities are shown for suitably restricted classes of competing sets and the proof relies on the construction of sub-calibrations.
In the Heisenberg group H^n, we prove quantitative isoperimetric inequalities for Pansu's spheres, that are known to be isoperimetric under various assumptions. The inequalities are shown for suitably restricted classes of competing sets and the proof relies on the construction of sub-calibrations.
△ Less
Submitted 23 March, 2015;
originally announced March 2015.
-
Improved convergence theorems for bubble clusters. I. The planar case
Authors:
Marco Cicalese,
Gian Paolo Leonardi,
Francesco Maggi
Abstract:
We describe a quantitative construction of almost-normal diffeomorphisms between embedded orientable manifolds with boundary to be used in the study of geometric variational problems with stratified singular sets. We then apply this construction to isoperimetric problems for planar bubble clusters. In this setting we develop an improved convergence theorem, showing that a sequence of almost-minimi…
▽ More
We describe a quantitative construction of almost-normal diffeomorphisms between embedded orientable manifolds with boundary to be used in the study of geometric variational problems with stratified singular sets. We then apply this construction to isoperimetric problems for planar bubble clusters. In this setting we develop an improved convergence theorem, showing that a sequence of almost-minimizing planar clusters converging in $L^1$ to a limit cluster has actually to converge in a strong $C^{1,α}$-sense. Applications of this improved convergence result to the classification of isoperimetric clusters and the qualitative description of perturbed isoperimetric clusters are also discussed. Analogous results for three-dimensional clusters are presented in part two, while further applications are discussed in some companion papers.
△ Less
Submitted 6 June, 2015; v1 submitted 23 September, 2014;
originally announced September 2014.
-
On the Cheeger sets in strips and non-convex domains
Authors:
Gian Paolo Leonardi,
Aldo Pratelli
Abstract:
In this paper we consider the Cheeger problem for non-convex domains, with a particular interest in the case of planar strips, which have been extensively studied in recent years. Our main results are an estimate on the Cheeger constant of strips, which is stronger than the previous one known from a recent result by D. Krejcirik and the second-named author, and the proof that strips share with con…
▽ More
In this paper we consider the Cheeger problem for non-convex domains, with a particular interest in the case of planar strips, which have been extensively studied in recent years. Our main results are an estimate on the Cheeger constant of strips, which is stronger than the previous one known from a recent result by D. Krejcirik and the second-named author, and the proof that strips share with convex domains a number of crucial properties with respect to the Cheeger problem. Moreover, we present several counterexamples showing that the same properties are not valid for generic non-convex domains.
△ Less
Submitted 4 September, 2014;
originally announced September 2014.
-
Corners in non-equiregular sub-Riemannian manifolds
Authors:
Enrico Le Donne,
Gian Paolo Leonardi,
Roberto Monti,
Davide Vittone
Abstract:
We prove that in a class of non-equiregular sub-Riemannian manifolds corners are not length minimizing. This extends the results [4]. As an application of our main result we complete and simplify the analysis in [6], showing that in a 4-dimensional sub-Riemannian structure suggested by Agrachev and Gauthier all length-minimizing curves are smooth.
We prove that in a class of non-equiregular sub-Riemannian manifolds corners are not length minimizing. This extends the results [4]. As an application of our main result we complete and simplify the analysis in [6], showing that in a 4-dimensional sub-Riemannian structure suggested by Agrachev and Gauthier all length-minimizing curves are smooth.
△ Less
Submitted 10 March, 2014;
originally announced March 2014.
-
Extremal polynomials in stratified groups
Authors:
Enrico Le Donne,
Gian Paolo Leonardi,
Roberto Monti,
Davide Vittone
Abstract:
We introduce a family of extremal polynomials associated with the prolongation of a stratified nilpotent Lie algebra. These polynomials are related to a new algebraic characterization of abnormal subriemannian geodesics in stratified nilpotent Lie groups. They satisfy a set of remarkable structure relations that are used to integrate the adjoint equations.
We introduce a family of extremal polynomials associated with the prolongation of a stratified nilpotent Lie algebra. These polynomials are related to a new algebraic characterization of abnormal subriemannian geodesics in stratified nilpotent Lie groups. They satisfy a set of remarkable structure relations that are used to integrate the adjoint equations.
△ Less
Submitted 19 July, 2013;
originally announced July 2013.
-
Sharp stability inequalities for planar double bubbles
Authors:
Marco Cicalese,
Gian Paolo Leonardi,
Francesco Maggi
Abstract:
In this paper we address the global stability problem for double-bubbles in the plane. This is accomplished by combining the "improved convergence theorem" for planar clusters developed in arXiv:1409.6652 with an ad hoc analysis of the problem, which addresses the delicate interaction between the (possible) dislocation of singularities and the multiple-volumes constraint.
In this paper we address the global stability problem for double-bubbles in the plane. This is accomplished by combining the "improved convergence theorem" for planar clusters developed in arXiv:1409.6652 with an ad hoc analysis of the problem, which addresses the delicate interaction between the (possible) dislocation of singularities and the multiple-volumes constraint.
△ Less
Submitted 22 April, 2015; v1 submitted 15 November, 2012;
originally announced November 2012.
-
Extremal curves in nilpotent Lie groups
Authors:
Enrico Le Donne,
Gian Paolo Leonardi,
Roberto Monti,
Davide Vittone
Abstract:
We classify extremal curves in free nilpotent Lie groups. The classification is obtained via an explicit integration of the adjoint equation in Pontryagin Maximum Principle. It turns out that abnormal extremals are precisely the horizontal curves contained in algebraic varieties of a specific type. We also extend the results to the nonfree case.
We classify extremal curves in free nilpotent Lie groups. The classification is obtained via an explicit integration of the adjoint equation in Pontryagin Maximum Principle. It turns out that abnormal extremals are precisely the horizontal curves contained in algebraic varieties of a specific type. We also extend the results to the nonfree case.
△ Less
Submitted 19 July, 2013; v1 submitted 17 July, 2012;
originally announced July 2012.
-
Best constants for the isoperimetric inequality in quantitative form
Authors:
Marco Cicalese,
Gian Paolo Leonardi
Abstract:
We prove existence and regularity of minimizers for a class of functionals defined on Borel sets in $R^n$. Combining these results with a refinement of the selection principle introduced by the authors in arXiv:0911.0786, we describe a method suitable for the determination of the best constants in the quantitative isoperimetric inequality with higher order terms. Then, applying Bonnesen's annular…
▽ More
We prove existence and regularity of minimizers for a class of functionals defined on Borel sets in $R^n$. Combining these results with a refinement of the selection principle introduced by the authors in arXiv:0911.0786, we describe a method suitable for the determination of the best constants in the quantitative isoperimetric inequality with higher order terms. Then, applying Bonnesen's annular symmetrization in a very elementary way, we show that, for $n=2$, the above-mentioned constants can be explicitly computed through a one-parameter family of convex sets known as ovals. This proves a further extension of a conjecture posed by Hall in J. Reine Angew. Math. 428 (1992).
△ Less
Submitted 30 December, 2010;
originally announced January 2011.
-
Isodiametric sets in the Heisenberg group
Authors:
Gian Paolo Leonardi,
Severine Rigot,
Davide Vittone
Abstract:
In the sub-Riemannian Heisenberg group equipped with its Carnot-Caratheodory metric and with a Haar measure, we consider isodiametric sets, i.e. sets maximizing the measure among all sets with a given diameter. In particular, given an isodiametric set, and up to negligible sets, we prove that its boundary is given by the graphs of two locally Lipschitz functions. Moreover, in the restricted class…
▽ More
In the sub-Riemannian Heisenberg group equipped with its Carnot-Caratheodory metric and with a Haar measure, we consider isodiametric sets, i.e. sets maximizing the measure among all sets with a given diameter. In particular, given an isodiametric set, and up to negligible sets, we prove that its boundary is given by the graphs of two locally Lipschitz functions. Moreover, in the restricted class of rotationally invariant sets, we give a quite complete characterization of any compact (rotationally invariant) isodiametric set. More specifically, its Steiner symmetrization with respect to the Cn-plane is shown to coincide with the Euclidean convex hull of a CC-ball. At the same time, we also prove quite unexpected non-uniqueness results.
△ Less
Submitted 6 October, 2010;
originally announced October 2010.
-
Intersections of intrinsic submanifolds in the Heisenberg group
Authors:
Gian Paolo Leonardi,
Valentino Magnani
Abstract:
In the first Heisenberg group, we show that the intersection of two intrinsic submanifolds with linearly independent horizontal normals locally coincides with the image of an injective continuous curve. The key tool is a chain rule that relies on a recent result by Dafermos.
In the first Heisenberg group, we show that the intersection of two intrinsic submanifolds with linearly independent horizontal normals locally coincides with the image of an injective continuous curve. The key tool is a chain rule that relies on a recent result by Dafermos.
△ Less
Submitted 27 September, 2010;
originally announced September 2010.
-
A Selection Principle for the Sharp Quantitative Isoperimetric Inequality
Authors:
Marco Cicalese,
Gian Paolo Leonardi
Abstract:
We introduce a new variational method for the study of stability in the isoperimetric inequality. The method is quite general as it relies on a penalization technique combined with the regularity theory for quasiminimizers of the perimeter. Two applications are presented. First we give a new proof of the sharp quantitative isoperimetric inequality in $R^n$. Second we positively answer to a conject…
▽ More
We introduce a new variational method for the study of stability in the isoperimetric inequality. The method is quite general as it relies on a penalization technique combined with the regularity theory for quasiminimizers of the perimeter. Two applications are presented. First we give a new proof of the sharp quantitative isoperimetric inequality in $R^n$. Second we positively answer to a conjecture by Hall concerning the best constant for the quantitative isoperimetric inequality in $R^2$ in the small asymmetry regime.
△ Less
Submitted 22 July, 2010;
originally announced July 2010.