• ### The entropic regularization of the Monge problem on the real line(1703.10457)

Aug. 16, 2018 math.OC
We study the entropic regularization of the optimal transport problem in dimension 1 when the cost function is the distance c(x, y) = |y -- x|. The selected plan at the limit is, among those which are optimal for the non-penalized problem, the most 'diffuse' one on the zones where it may have a density.
• ### New characterizations of Sobolev metric spaces(1803.01658)

March 5, 2018 math.AP
We provide new characterizations of Sobolev ad BV spaces in doubling and Poincare metric spaces in the spirit of the Bourgain-Brezis-Mironescu and Nguyen limit formulas holding in domains of R^N.
• ### Linear Lipschitz and $C^1$ extension operators through random projection(1801.07533)

Jan. 23, 2018 math.FA, math.MG
We construct a regular random projection of a metric space onto a closed doubling subset and use it to linearly extend Lipschitz and $C^1$ functions. This way we prove more directly a result by Lee and Naor and we generalize the $C^1$ extension theorem by Whitney to Banach spaces.
• ### Uniqueness issues for evolution equations with density constraints(1507.02900)

April 18, 2017 math.AP
In this paper we present some basic uniqueness results for evolutive equations under density constraints. First, we develop a rigorous proof of a well-known result (among specialists) in the case where the spontaneous velocity field satisfies a monotonicity assumption: we prove the uniqueness of a solution for first order systems modeling crowd motion with hard congestion effects, introduced recently by \emph{Maury et al.} The monotonicity of the velocity field implies that the $2-$Wasserstein distance along two solutions is $\lambda$-contractive, which in particular implies uniqueness. In the case of diffusive models, we prove the uniqueness of a solution passing through the dual equation, where we use some well-known parabolic estimates to conclude an $L^1-$contraction property. In this case, by the regularization effect of the non-degenerate diffusion, the result follows even if the given velocity field is only $L^\infty$ as in the standard Fokker-Planck equation.
• ### The strictly-correlated electron functional for spherically symmetric systems revisited(1702.05022)

The strong-interaction limit of the Hohenberg-Kohn functional defines a multimarginal optimal transport problem with Coulomb cost. From physical arguments, the solution of this limit is expected to yield strictly-correlated particle positions, related to each other by co-motion functions (or optimal maps), but the existence of such a deterministic solution in the general three-dimensional case is still an open question. A conjecture for the co-motion functions for radially symmetric densities was presented in Phys.~Rev.~A {\bf 75}, 042511 (2007), and later used to build approximate exchange-correlation functionals for electrons confined in low-density quantum dots. Colombo and Stra [Math.~Models Methods Appl.~Sci., {\bf 26} 1025 (2016)] have recently shown that these conjectured maps are not always optimal. Here we revisit the whole issue both from the formal and numerical point of view, finding that even if the conjectured maps are not always optimal, they still yield an interaction energy (cost) that is numerically very close to the true minimum. We also prove that the functional built from the conjectured maps has the expected functional derivative also when they are not optimal.
• ### Perimeter as relaxed Minkowski content in metric measure spaces(1603.08412)

March 4, 2016 math.FA, math.MG
In this note we prove that on general metric measure spaces the perimeter is equal to the relaxation of the Minkowski content w.r.t.\ convergence in measure
• ### The adiabatic strictly-correlated-electrons functional: kernel and exact properties(1601.03977)

We investigate a number of formal properties of the adiabatic strictly-correlated electrons (SCE) functional, relevant for time-dependent potentials and for kernels in linear response time-dependent density functional theory. Among the former, we focus on the compliance to constraints of exact many-body theories, such as the generalised translational invariance and the zero-force theorem. Within the latter, we derive an analytical expression for the adiabatic SCE Hartree exchange-correlation kernel in one dimensional systems, and we compute it numerically for a variety of model densities. We analyse the non-local features of this kernel, particularly the ones that are relevant in tackling problems where kernels derived from local or semi-local functionals are known to fail.
• ### Optimal Transportation Theory with Repulsive Costs(1506.04565)

This paper intents to present the state of art and recent developments of the optimal transportation theory with many marginals for a class of repulsive cost functions. We introduce some aspects of the Density Functional Theory (DFT) from a mathematical point of view, and revisit the theory of optimal transport from its perspective. Moreover, in the last three sections, we describe some recent and new theoretical and numerical results obtained for the Coulomb cost, the repulsive harmonic cost and the determinant cost.
• ### Sobolev and BV spaces on metric measure spaces via derivations and integration by parts(1409.5620)

Sept. 19, 2014 math.FA, math.MG
We develop a theory of BV and Sobolev Spaces via integration by parts formula in abstract metric spaces; the role of vector fields is played by Weaver's metric derivations. The definition hereby given is shown to be equivalent to many others present in literature.
• ### On the duality between p-Modulus and probability measures(1311.1381)

Aug. 30, 2014 math.PR, math.FA, math.MG
Motivated by recent developments on calculus in metric measure spaces $(X,\mathsf d,\mathfrak m)$, we prove a general duality principle between Fuglede's notion of $p$-modulus for families of finite Borel measures in $(X,\mathsf d)$ and probability measures with barycenter in $L^q(X,\mathfrak m)$, with $q$ dual exponent of $p\in (1,\infty)$. We apply this general duality principle to study null sets for families of parametric and non-parametric curves in $X$. In the final part of the paper we provide a new proof, independent of optimal transportation, of the equivalence of notions of weak upper gradient based on $p$-Modulus (Koskela-MacManus '98, Shanmugalingam '00) and suitable probability measures in the space of curves (Ambrosio-Gigli-Savare '11)
• ### The p-Weak Gradient Depends on p(1311.4171)

Aug. 28, 2014 math.FA, math.MG
Given a>0, we construct a weighted Lebesgue measure on R^n for which the family of non constant curves has p-modulus zero for p\leq 1+a but the weight is a Muckenhoupt A_p weight for p>1+a. In particular, the p-weak gradient is trivial for small p but non trivial for large p. This answers an open question posed by several authors. We also give a full description of the p-weak gradient for any locally finite Borel measure on the real line.
• ### Sobolev spaces in metric measure spaces: reflexivity and lower semicontinuity of slope(1212.3779)

Dec. 16, 2012 math.AP
In this paper we make a survey of some recent developments of the theory of Sobolev spaces $W^{1,q}(X,\sfd,\mm)$, $1<q<\infty$, in metric measure spaces $(X,\sfd,\mm)$. In the final part of the paper we provide a new proof of the reflexivity of the Sobolev space based on $\Gamma$-convergence; this result extends Cheeger's work because no Poincar\'e inequality is needed and the measure-theoretic doubling property is weakened to the metric doubling property of the support of $\mm$. We also discuss the lower semicontinuity of the slope of Lipschitz functions and some open problems.