
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
nonpenalized problem, the most 'diffuse' one on the zones where it may have a
density.

We provide new characterizations of Sobolev ad BV spaces in doubling and
Poincare metric spaces in the spirit of the BourgainBrezisMironescu and
Nguyen limit formulas holding in domains of R^N.

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.

In this paper we present some basic uniqueness results for evolutive
equations under density constraints. First, we develop a rigorous proof of a
wellknown 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 wellknown parabolic estimates to conclude an
$L^1$contraction property. In this case, by the regularization effect of the
nondegenerate diffusion, the result follows even if the given velocity field
is only $L^\infty$ as in the standard FokkerPlanck equation.

The stronginteraction limit of the HohenbergKohn functional defines a
multimarginal optimal transport problem with Coulomb cost. From physical
arguments, the solution of this limit is expected to yield strictlycorrelated
particle positions, related to each other by comotion functions (or optimal
maps), but the existence of such a deterministic solution in the general
threedimensional case is still an open question. A conjecture for the
comotion functions for radially symmetric densities was presented in
Phys.~Rev.~A {\bf 75}, 042511 (2007), and later used to build approximate
exchangecorrelation functionals for electrons confined in lowdensity 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.

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

We investigate a number of formal properties of the adiabatic
strictlycorrelated electrons (SCE) functional, relevant for timedependent
potentials and for kernels in linear response timedependent density functional
theory. Among the former, we focus on the compliance to constraints of exact
manybody theories, such as the generalised translational invariance and the
zeroforce theorem. Within the latter, we derive an analytical expression for
the adiabatic SCE Hartree exchangecorrelation kernel in one dimensional
systems, and we compute it numerically for a variety of model densities. We
analyse the nonlocal features of this kernel, particularly the ones that are
relevant in tackling problems where kernels derived from local or semilocal
functionals are known to fail.

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.

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.

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 nonparametric
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 (KoskelaMacManus '98, Shanmugalingam '00)
and suitable probability measures in the space of curves (AmbrosioGigliSavare
'11)

Given a>0, we construct a weighted Lebesgue measure on R^n for which the
family of non constant curves has pmodulus zero for p\leq 1+a but the weight
is a Muckenhoupt A_p weight for p>1+a. In particular, the pweak 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 pweak
gradient for any locally finite Borel measure on the real line.

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
measuretheoretic 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.