-
Closed BV-extension and $W^{1,1}$-extension sets
Authors:
Emanuele Caputo,
Jesse Koivu,
Danka Lučić,
Tapio Rajala
Abstract:
This paper studies the relations between extendability of different classes of Sobolev $W^{1,1}$ and $BV$ functions from closed sets in general metric measure spaces. Under the assumption that the metric measure space satisfies a weak $(1,1)$-Poincaré inequality and measure doubling, we prove further properties for the extension sets. In the case of the Euclidean plane, we show that compact finite…
▽ More
This paper studies the relations between extendability of different classes of Sobolev $W^{1,1}$ and $BV$ functions from closed sets in general metric measure spaces. Under the assumption that the metric measure space satisfies a weak $(1,1)$-Poincaré inequality and measure doubling, we prove further properties for the extension sets. In the case of the Euclidean plane, we show that compact finitely connected $BV$-extension sets are always also $W^{1,1}$-extension sets. This is shown via a local quasiconvexity result for the complement of the extension set.
△ Less
Submitted 19 March, 2025;
originally announced March 2025.
-
Geometric characterizations of ${\sf PI}$ spaces: an overview of some modern techniques
Authors:
Emanuele Caputo
Abstract:
We survey recent results on the study of metric measure spaces satisfying a Poincaré inequality. We overview recent characterizations in terms of objects of dimension 1, such as pencil of curves, modulus estimates and obstacle-avoidance principles. Then, we turn our attention to characterizations in terms of objects of codimension 1, such as relative isoperimetric inequalities and separating sets,…
▽ More
We survey recent results on the study of metric measure spaces satisfying a Poincaré inequality. We overview recent characterizations in terms of objects of dimension 1, such as pencil of curves, modulus estimates and obstacle-avoidance principles. Then, we turn our attention to characterizations in terms of objects of codimension 1, such as relative isoperimetric inequalities and separating sets, the last one obtained in collaboration with N. Cavallucci in [arXiv:2401.02762]. We propose a strategy to provide examples using our characterization in the toy-model of the Euclidean case. We also discuss a more geometric relation between separating sets and obstacle-avoidance principles, obtained in [IMRN, Vol. 2025, Issue 1, Jan. 2025, rnae276]. Finally, we recall some open questions in the field.
△ Less
Submitted 31 January, 2025;
originally announced January 2025.
-
Quantum optimal transport with convex regularization
Authors:
Emanuele Caputo,
Augusto Gerolin,
Nataliia Monina,
Lorenzo Portinale
Abstract:
The goal of this paper is to settle the study of non-commutative optimal transport problems with convex regularization, in their static and finite-dimensional formulations. We consider both the balanced and unbalanced problem and show in both cases a duality result, characterizations of minimizers (for the primal) and maximizers (for the dual). An important tool we define is a non-commutative vers…
▽ More
The goal of this paper is to settle the study of non-commutative optimal transport problems with convex regularization, in their static and finite-dimensional formulations. We consider both the balanced and unbalanced problem and show in both cases a duality result, characterizations of minimizers (for the primal) and maximizers (for the dual). An important tool we define is a non-commutative version of the classical $(c,ψ)$-transforms associated with a general convex regularization, which we employ to prove the convergence of Sinkhorn iterations in the balanced case. Finally, we show the convergence of the unbalanced transport problems towards the balanced one, as well as the convergence of transforms, as the marginal penalization parameters go to $+\infty$.
△ Less
Submitted 5 September, 2024;
originally announced September 2024.
-
Sobolev spaces via chains in metric measure spaces
Authors:
Emanuele Caputo,
Nicola Cavallucci
Abstract:
We define the chain Sobolev space on a possibly non-complete metric measure space in terms of chain upper gradients. In this context, $\varepsilon$-chains are a finite collection of points with distance at most $\varepsilon$ between consecutive points. They play the role of discrete versions of curves. Chain upper gradients are defined accordingly and the chain Sobolev space is defined by letting…
▽ More
We define the chain Sobolev space on a possibly non-complete metric measure space in terms of chain upper gradients. In this context, $\varepsilon$-chains are a finite collection of points with distance at most $\varepsilon$ between consecutive points. They play the role of discrete versions of curves. Chain upper gradients are defined accordingly and the chain Sobolev space is defined by letting the size parameter $\varepsilon$ going to zero. In the complete setting, we prove that the chain Sobolev space is equal to the classical notions of Sobolev spaces in terms of relaxation of upper gradients or of the local Lipschitz constant of Lipschitz functions. The proof of this fact is inspired by a recent technique developed by Eriksson-Bique. In the possible non-complete setting, we prove that the chain Sobolev space is equal to the one defined via relaxation of the local Lipschitz constant of Lipschitz functions, while in general they are different from the one defined via upper gradients along curves. We apply the theory developed in the paper to prove equivalent formulations of the Poincaré inequality in terms of pointwise estimates involving $\varepsilon$-upper gradients, lower bounds on modulus of chains connecting points and size of separating sets measured with the Minkowski content in the non-complete setting. Along the way, we discuss the notion of weak $\varepsilon$-upper gradients and asymmetric notions of integral along chains.
△ Less
Submitted 27 August, 2024;
originally announced August 2024.
-
A geometric approach to Poincaré inequality and Minkowski content of separating sets
Authors:
Emanuele Caputo,
Nicola Cavallucci
Abstract:
The goal of this paper is to continue the study of the relation between the Poincaré inequality and the lower bounds of Minkowski content of separating sets, initiated in our previous work [Caputo, Cavallucci: Poincaré inequality and energy of separating sets, arXiv 2401.02762]. A new shorter proof is provided. An intermediate tool is the study of the lower bound of another geometric quantity, cal…
▽ More
The goal of this paper is to continue the study of the relation between the Poincaré inequality and the lower bounds of Minkowski content of separating sets, initiated in our previous work [Caputo, Cavallucci: Poincaré inequality and energy of separating sets, arXiv 2401.02762]. A new shorter proof is provided. An intermediate tool is the study of the lower bound of another geometric quantity, called separating ratio. The main novelty is the description of the relation between the infima of the separating ratio and the Minkowski content of separating sets. We prove a quantitative comparison between the two infima in the local quasigeodesic case and equality in the local geodesic one. No Poincaré assumption is needed to prove it. The main tool employed in the proof is a new function, called the position function, which allows in a certain sense to fibrate a set in boundaries of separating sets. We also extend the proof to measure graphs, where due to the combinatorial nature of the problem, the approach is more intuitive. In the appendix, we revise some classical characterizations of the p-Poincaré inequality, by proving along the way equivalence with a notion of p-pencil that extends naturally the definition for p = 1.
△ Less
Submitted 28 February, 2024;
originally announced February 2024.
-
Poincaré inequality and energy of separating sets
Authors:
Emanuele Caputo,
Nicola Cavallucci
Abstract:
We study geometric characterizations of the Poincaré inequality in doubling metric measure spaces in terms of properties of separating sets. Given a couple of points and a set separating them, such properties are formulated in terms of several possible notions of energy of the boundary, involving for instance the perimeter, codimension type Hausdorff measures, capacity, Minkowski content and appro…
▽ More
We study geometric characterizations of the Poincaré inequality in doubling metric measure spaces in terms of properties of separating sets. Given a couple of points and a set separating them, such properties are formulated in terms of several possible notions of energy of the boundary, involving for instance the perimeter, codimension type Hausdorff measures, capacity, Minkowski content and approximate modulus of suitable families of curves. We prove the equivalence within each of these conditions and the $1$-Poincaré inequality.
△ Less
Submitted 5 January, 2024;
originally announced January 2024.
-
On the integration of Banach modules and its applications to vector calculus on ${\sf RCD}$ spaces
Authors:
Emanuele Caputo,
Milica Lučić,
Enrico Pasqualetto,
Ivana Vojnović
Abstract:
A finite-dimensional ${\sf RCD}$ space can be foliated into sufficiently regular leaves, where a differential calculus can be performed. Two important examples are given by the measure-theoretic boundary of the superlevel set of a function of bounded variation and the needle decomposition associated to a Lipschitz function. The aim of this paper is to connect the vector calculus on the lower dimen…
▽ More
A finite-dimensional ${\sf RCD}$ space can be foliated into sufficiently regular leaves, where a differential calculus can be performed. Two important examples are given by the measure-theoretic boundary of the superlevel set of a function of bounded variation and the needle decomposition associated to a Lipschitz function. The aim of this paper is to connect the vector calculus on the lower dimensional leaves with the one on the base space. In order to achieve this goal, we develop a general theory of integration of $L^0$-Banach $L^0$-modules of independent interest. Roughly speaking, we study how to `patch together' vector fields defined on the leaves that are measurable with respect to the foliation parameter.
△ Less
Submitted 23 August, 2023;
originally announced August 2023.
-
Sobolev, BV and perimeter extensions in metric measure spaces
Authors:
Emanuele Caputo,
Jesse Koivu,
Tapio Rajala
Abstract:
We study extensions of sets and functions in general metric measure spaces. We show that an open set has the strong BV extension property if and only if it has the strong extension property for sets of finite perimeter. We also prove several implications between the strong BV extension property and extendability of two different non-equivalent versions of Sobolev $W^{1,1}$-spaces and show via exam…
▽ More
We study extensions of sets and functions in general metric measure spaces. We show that an open set has the strong BV extension property if and only if it has the strong extension property for sets of finite perimeter. We also prove several implications between the strong BV extension property and extendability of two different non-equivalent versions of Sobolev $W^{1,1}$-spaces and show via examples that the remaining implications fail.
△ Less
Submitted 20 February, 2023;
originally announced February 2023.
-
First-order heat content asymptotics on ${\sf RCD}(K,N)$ spaces
Authors:
Emanuele Caputo,
Tommaso Rossi
Abstract:
In this paper, we prove first-order asymptotics on a bounded open set of the heat content when the ambient space is an ${\sf RCD}(K,N)$ space, under a regularity condition for the boundary that we call measured interior geodesic condition of size $ε$. We carefully study such a condition, relating it to the properties of the disintegration of the signed distance function from $\partial Ω$ studied b…
▽ More
In this paper, we prove first-order asymptotics on a bounded open set of the heat content when the ambient space is an ${\sf RCD}(K,N)$ space, under a regularity condition for the boundary that we call measured interior geodesic condition of size $ε$. We carefully study such a condition, relating it to the properties of the disintegration of the signed distance function from $\partial Ω$ studied by Cavalletti and Mondino.
△ Less
Submitted 12 December, 2022;
originally announced December 2022.
-
Parallel transport on non-collapsed $\mathsf{RCD}(K,N)$ spaces
Authors:
Emanuele Caputo,
Nicola Gigli,
Enrico Pasqualetto
Abstract:
We provide a general theory for parallel transport on non-collapsed ${\sf RCD}$ spaces obtaining both existence and uniqueness results. Our theory covers the case of geodesics and, more generally, of curves obtained via the flow of sufficiently regular time dependent vector fields: the price that we pay for this generality is that we cannot study parallel transport along a single such curve, but o…
▽ More
We provide a general theory for parallel transport on non-collapsed ${\sf RCD}$ spaces obtaining both existence and uniqueness results. Our theory covers the case of geodesics and, more generally, of curves obtained via the flow of sufficiently regular time dependent vector fields: the price that we pay for this generality is that we cannot study parallel transport along a single such curve, but only along almost all of these (in a sense related to the notions of Sobolev vector calculus and Regular Lagrangian Flow in the nonsmooth setting).
The class of ${\sf ncRCD}$ spaces contains finite dimensional Alexandrov spaces with curvature bounded from below, thus our construction provides a way of speaking about parallel transport in this latter setting alternative to the one proposed by Petrunin (1998). The precise relation between the two approaches is yet to be understood.
△ Less
Submitted 17 August, 2021;
originally announced August 2021.
-
Nonlinear Analysis of Experimental Noisy Time Series in Fluidized Bed Systems
Authors:
E. Caputo,
S. Sello,
; V. Marcolongo
Abstract:
The paper describes the application of some numerical techniques to analyze and to characterize the observed dynamical behaviour of fluidized bed systems. The preliminary results showed clearly that the dynamics of the considered process can be nonrecurrent and governed by chaotic deterministic rules rather than by stochastic ones. This significant conclusion was allowed by the application of a…
▽ More
The paper describes the application of some numerical techniques to analyze and to characterize the observed dynamical behaviour of fluidized bed systems. The preliminary results showed clearly that the dynamics of the considered process can be nonrecurrent and governed by chaotic deterministic rules rather than by stochastic ones. This significant conclusion was allowed by the application of a proper filtering procedure which was able to reduce the unwanted influence of significant broadband noise detected in the sampled experimental data.
△ Less
Submitted 2 August, 1994;
originally announced July 1994.
