Searcharxiv⌕ Search

arXiv subjects

Luigi Ambrosio

Publications and source records attributed to Luigi Ambrosio.

At least 37 records · Page 2Linked to original sources
arXiv2020

Monge-Ampère gravitation as a $Γ$-limit of good rate functions

Monge-Ampère gravitation is a modification of the classical Newtonian gravitation where the linear Poisson equation is replaced by the nonlinear Monge-Ampère equation. This paper is concerned with the rigorous derivation of Monge-Ampère gravitation for a finite number of particles from the stochastic model of a Brownian point cloud, in the spirit of a previous work by the third author [A double large deviation principle for Monge-Ampère gravitation, 2016]. The main step in this derivation is the $Γ-$convergence of the good rate functions corresponding to a one-parameter family of large deviation principles. Surprisingly, the derived model includes dissipative phenomena. As an illustration, we show that it leads to sticky collisions in one space dimension.

math.OC↗
arXiv2019

Heat and entropy flows in Carnot groups

We prove the correspondence between the solutions of the sub-elliptic heat equation in a Carnot group $\mathbb{G}$ and the gradient flows of the relative entropy functional in the Wasserstein space of probability measures on $\mathbb{G}$. Our result completely answers a question left open in a previous paper by N. Juillet, where the same correspondence was proved for $\mathbb{G}=\mathbb{H}^n$, the $n$-dimensional Heisenberg group.

math.DG↗
arXiv2019

Finer estimates on the 2-dimensional matching problem

We study the asymptotic behaviour of the expected cost of the random matching problem on a $2$-dimensional compact manifold, improving in several aspects the results of L. Ambrosio, F. Stra and D. Trevisan (A PDE approach to a 2-dimensional matching problem). In particular, we simplify the original proof (by treating at the same time upper and lower bounds) and we obtain the coefficient of the leading term of the asymptotic expansion of the expected cost for the random bipartite matching on a general 2-dimensional closed manifold. We also sharpen the estimate of the error term given by M. Ledoux (On optimal matching of Gaussian samples II) for the semi-discrete matching. As a technical tool, we develop a refined contractivity estimate for the heat flow on random data that might be of independent interest.

math.PR↗
arXiv2019

Rigidity of the 1-Bakry-Émery inequality and sets of finite perimeter in RCD spaces

This note is dedicated to the study of the asymptotic behaviour of sets of finite perimeter over RCD(K,N) metric measure spaces. Our main result asserts existence of a Euclidean tangent half-space almost everywhere with respect to the perimeter measure and it can be improved to an existence and uniqueness statement when the ambient is non collapsed. As an intermediate tool, we provide a complete characterization of the class of RCD(0,N) spaces for which there exists a nontrivial function satisfying the equality in the 1-Bakry-Émery inequality. This result is of independent interest and it is new, up to our knowledge, even in the smooth framework.

math.MG↗
arXiv2019

On the optimal map in the 2-dimensional random matching problem

We show that, on a $2$-dimensional compact manifold, the optimal transport map in the semi-discrete random matching problem is well-approximated in the $L^2$-norm by identity plus the gradient of the solution to the Poisson problem $-Δf^{n,t} = μ^{n,t}-1$, where $μ^{n,t}$ is an appropriate regularization of the empirical measure associated to the random points. This shows that the ansatz of Caracciolo et al. (Scaling hypothesis for the Euclidean bipartite matching problem) is strong enough to capture the behavior of the optimal map in addition to the value of the optimal matching cost. As part of our strategy, we prove a new stability result for the optimal transport map on a compact manifold.

math.PR↗
arXiv2019

Critical weak-$L^{p}$ differentiability of singular integrals

We establish that for every function $u \in L^1_\mathrm{loc}(Ω)$ whose distributional Laplacian $Δu$ is a signed Borel measure in an open set $Ω$ in $\mathbb{R}^{N}$, the distributional gradient $\nabla u$ is differentiable almost everywhere in $Ω$ with respect to the weak-$L^{\frac{N}{N-1}}$ Marcinkiewicz norm. We show in addition that the absolutely continuous part of $Δu$ with respect to the Lebesgue measure equals zero almost everywhere on the level sets $\{u = α\}$ and $\{\nabla u = e\}$, for every $α\in \mathbb{R}$ and $e \in \mathbb{R}^N$. Our proofs rely on an adaptation of Calderón and Zygmund's singular-integral estimates inspired by subsequent work by Hajlasz.

math.FA↗
arXiv2018

Gaussian optimizers for entropic inequalities in quantum information

We survey the state of the art for the proof of the quantum Gaussian optimizer conjectures of quantum information theory. These fundamental conjectures state that quantum Gaussian input states are the solution to several optimization problems involving quantum Gaussian channels. These problems are the quantum counterpart of three fundamental results of functional analysis and probability: the Entropy Power Inequality, the sharp Young's inequality for convolutions, and the theorem "Gaussian kernels have only Gaussian maximizers." Quantum Gaussian channels play a key role in quantum communication theory: they are the quantum counterpart of Gaussian integral kernels and provide the mathematical model for the propagation of electromagnetic waves in the quantum regime. The quantum Gaussian optimizer conjectures are needed to determine the maximum communication rates over optical fibers and free space. The restriction of the quantum-limited Gaussian attenuator to input states diagonal in the Fock basis coincides with the thinning, which is the analog of the rescaling for positive integer random variables. Quantum Gaussian channels provide then a bridge between functional analysis and discrete probability.

math-ph↗
arXiv2018

Spatially Inhomogeneous Evolutionary Games

We introduce and study a mean-field model for a system of spatially distributed players interacting through an evolutionary game driven by a replicator dynamics. Strategies evolve by a replicator dynamics influenced by the position and the interaction between different players and return a feedback on the velocity field guiding their motion. One of the main novelties of our approach concerns the description of the whole system, which can be represented by an evolving probability measure $Σ$ on an infinite dimensional state space (pairs $(x,σ)$ of position and distribution of strategies). We provide a Lagrangian and a Eulerian description of the evolution, and we prove their equivalence, together with existence, uniqueness, and stability of the solution. As a byproduct of the stability result, we also obtain convergence of the finite agents model to our mean-field formulation, when the number $N$ of the players goes to infinity, and the initial discrete distribution of positions and strategies converge. To this aim we develop some basic functional analytic tools to deal with interaction dynamics and continuity equations in Banach spaces, that could be of independent interest.

math.OC↗
arXiv2017

Continuity of nonlinear eigenvalues in $CD(K,\infty)$ spaces with respect to measured Gromov-Hausdorff convergence

In this note we prove in the nonlinear setting of $CD(K,\infty)$ spaces the stability of the Krasnoselskii spectrum of the Laplace operator $-Δ$ under measured Gromov-Hausdorff convergence, under an additional compactness assumption satisfied, for instance, by sequences of $CD^*(K,N)$ metric measure spaces with uniformly bounded diameter. Additionally, we show that every element $λ$ in the Krasnoselskii spectrum is indeed an eigenvalue, namely there exists a nontrivial $u$ satisfying the eigenvalue equation $- Δu = λu$.

math.MG↗
arXiv2017

Nonlinear diffusion equations and curvature conditions in metric measure spaces

Aim of this paper is to provide new characterizations of the curvature dimension condition in the context of metric measure spaces (X,d,m). On the geometric side, our new approach takes into account suitable weighted action functionals which provide the natural modulus of K-convexity when one investigates the convexity properties of N-dimensional entropies. On the side of diffusion semigroups and evolution variational inequalities, our new approach uses the nonlinear diffusion semigroup induced by the N-dimensional entropy, in place of the heat flow. Under suitable assumptions (most notably the quadraticity of Cheeger's energy relative to the metric measure structure) both approaches are shown to be equivalent to the strong CD*(K,N) condition of Bacher-Sturm.

math.AP↗
arXiv2016

A PDE approach to a 2-dimensional matching problem

We prove asymptotic results for 2-dimensional random matching problems. In particular, we obtain the leading term in the asymptotic expansion of the expected quadratic transportation cost for empirical measures of two samples of independent uniform random variables in the square. Our technique is based on a rigorous formulation of the challenging PDE ansatz by S.\ Caracciolo et al.\ (Phys. Rev. E, {\bf 90} 012118, 2014) that "linearise" the Monge-Ampère equation.

math.PR↗
arXiv2016

Weak and strong convergence of derivations and stability of flows with respect to MGH convergence

This paper is devoted to the study of weak and strong convergence of derivations, and of the flows associated to them, when dealing with a sequence of metric measure structures (X,d,m_n), m_n weakly convergent to m. In particular, under curvature assumptions, either only on the limit metric structure (X,d,m) or on the whole sequence of metric measure spaces, we provide several stability results.

math.MG↗
arXiv2016

Lecture notes on the DiPerna-Lions theory in abstract measure spaces

These notes closely correspond to a series of lectures given by the first author in Toulouse, on the recent extension of the theory of ODE well-posedness to abstract spaces, jointly obtained by the two authors. In the last part, we describe some further developments with respect to the theory of (possibly degenerate) diffusion processes, in a similar setting, contained in the second author's PhD thesis.

math.MG↗
arXiv2016

Linear extension operators between spaces of Lipschitz maps and optimal transport

Motivated by the notion of K-gentle partition of unity introduced in [12] and the notion of K-Lipschitz retract studied in [17], we study a weaker notion related to the Kantorovich-Rubinstein transport distance, that we call K-random projection. We show that K-random projections can still be used to provide linear extension operators for Lipschitz maps. We also prove that the existence of these random projections is necessary and sufficient for the existence of weak* continuous operators. Finally we use this notion to characterize the metric spaces (X, d) such that the free space F(X) has the bounded approximation propriety.

math.FA↗
arXiv2016

New stability results for sequences of metric measure spaces with uniform Ricci bounds from below

The aim of this paper is to provide new stability results for sequences of metric measure spaces $(X_i,d_i,m_i)$ convergent in the measured Gromov-Hausdorff sense. By adopting the so-called extrinsic approach of embedding all metric spaces into a common one $(X,d)$, we extend the results of Gigli-Mondino-Savaré by providing Mosco convergence of Cheeger's energies and compactness theorems in the whole range of Sobolev spaces $H^{1,p}$, including the space $BV$, and even with a variable exponent $p_i\in [1,\infty]$. In addition, building on the results of Ambrosio-Stra-Trevisan, we provide local convergence results for gradient derivations. We use these tools to improve the spectral stability results, previously known for $p>1$ and for Ricci limit spaces, getting continuity of Cheeger's constant. In the dimensional case $N<\infty$, we improve some rigidity and almost rigidity results by Ketterer and Cavaletti-Mondino. On the basis of the second-order calculus by Gigli, in the class of $RCD(K,\infty)$ spaces we provide stability results for Hessians and $W^{2,2}$ functions and we treat the stability of the Bakry-Émery condition $BE(K,N)$ and of ${\bf Ric}\geq KI$, with $K$ and $N$ not necessarily constant.

math.MG↗