• ### Spatially Inhomogeneous Evolutionary Games(1805.04027)

May 10, 2018 math.DS, math.FA, math.OC
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 $\Sigma$ on an infinite dimensional state space (pairs $(x,\sigma)$ 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.
• ### Gaussian optimizers for entropic inequalities in quantum information(1803.02360)

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, the analogue of the rescaling for positive integer random variables. Quantum Gaussian channels provide then a bridge between functional analysis and discrete probability.
• ### Heat and entropy flows in Carnot groups(1801.01300)

Jan. 4, 2018 math.DG
In this paper, we extend the result obtained in [Juillet, "Diffusion by optimal transport in Heisenberg groups", Calc. Var. Partial Differential Equations (2014)] for the Heisenberg group to any Carnot group $\mathbb{G}$. Namely, we prove the correspondence between solutions of the sub-elliptic heat equation in $\mathbb{G}$ and gradient flows of the relative entropy functional in the Wasserstein space of probability measures on $\mathbb{G}$.
• ### Continuity of nonlinear eigenvalues in $CD(K,\infty)$ spaces with respect to measured Gromov-Hausdorff convergence(1706.08368)

June 26, 2017 math.AP, math.MG, math.SP
In this note we prove in the nonlinear setting of $CD(K,\infty)$ spaces the stability of the Krasnoselskii spectrum of the Laplace operator $-\Delta$ 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 $\lambda$ in the Krasnoselskii spectrum is indeed an eigenvalue, namely there exists a nontrivial $u$ satisfying the eigenvalue equation $- \Delta u = \lambda u$.
• ### Local spectral convergence in $RCD^*(K,N)$ spaces(1703.04939)

March 15, 2017 math.DG, math.AP, math.FA, math.MG
In this note we give necessary and sufficient conditions for the validity of the local spectral convergence, in balls, on the $RCD^*$-setting.
• ### Nonlinear diffusion equations and curvature conditions in metric measure spaces(1509.07273)

Feb. 10, 2017 math.AP, math.PR, math.FA, math.MG
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.
• ### Short-time behavior of the heat kernel and Weyl's law on $RCD^*(K, N)$-spaces(1701.03906)

Jan. 14, 2017 math.DG, math.AP, math.FA, math.MG
In this paper, we prove pointwise convergence of heat kernels for mGH-convergent sequences of $RCD^*(K,N)$-spaces. We obtain as a corollary results on the short-time behavior of the heat kernel in $RCD^*(K,N)$-spaces. We use then these results to initiate the study of Weyl's law in the $RCD$ setting
• ### A PDE approach to a 2-dimensional matching problem(1611.04960)

Nov. 15, 2016 math.AP, math-ph, math.MP, math.PR
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\`ere equation.
• ### Weak and strong convergence of derivations and stability of flows with respect to MGH convergence(1603.05561)

Oct. 14, 2016 math.AP, math.FA, math.MG
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.
• ### Lecture notes on the DiPerna-Lions theory in abstract measure spaces(1505.05292)

Sept. 12, 2016 math.AP, math.PR, math.MG
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.
• ### Linear extension operators between spaces of Lipschitz maps and optimal transport(1609.01450)

Sept. 6, 2016 math.FA
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.
• ### New stability results for sequences of metric measure spaces with uniform Ricci bounds from below(1605.07908)

July 5, 2016 math.DG, math.AP, math.FA, math.MG
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\'e 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-\'Emery condition $BE(K,N)$ and of ${\bf Ric}\geq KI$, with $K$ and $N$ not necessarily constant.
• ### Gaussian-type Isoperimetric Inequalities in $RCD(K,\infty)$ probability spaces for positive $K$(1605.02852)

May 10, 2016 math.PR, math.FA, math.MG
In this paper we adapt the well-estabilished $\Gamma$-calculus techniques to the context of $RCD(K,\infty)$ spaces, proving Bobkov's local isoperimetric inequality and, when $K$ is positive, the Gaussian isoperimetric inequality in this class of spaces. The proof relies on the measure-valued $\Gamma_2$ operator introduced by Savar\'e.
• ### 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
• ### Rectifiability of sets of finite perimeter in Carnot groups: existence of a tangent hyperplane(0801.3741)

Feb. 15, 2016 math.DG, math.AP, math.MG, math.GR
We consider sets of locally finite perimeter in Carnot groups. We show that if E is a set of locally finite perimeter in a Carnot group G, then for almost every x in G with respect to the perimeter measure of E, some tangent of E at x is a vertical halfspace. This is a partial extension of a theorem of Franchi-Serapioni-Serra Cassano in step 2 Carnot groups: they have shown that, for almost every x, E has a unique tangent at x, and this tangent is a vertical halfspace.
• ### A nonautonomous chain rule in $W^{1,p}$ and $BV$(1512.02839)

Dec. 9, 2015 math.CA
In this paper we consider the chain rule formula for compositions $x\mapsto F(x, u(x))$ in the case when $u$ has a Sobolev or BV regularity and $F(x,z)$ is separately Sobolev, or BV, with respect to $x$ and $C^1$ with respect to $z$. Our results extend to this "nonautonomous" case the results known for compositions $x\mapsto F(u(x))$.
• ### Optimal transport, Cheeger energies and contractivity of dynamic transport distances in extended spaces(1506.05932)

June 19, 2015 math.AP, math.PR, math.FA, math.MG
We introduce the setting of extended metric-topological measure spaces as a general "Wiener-like" framework for optimal transport problems and nonsmooth metric analysis in infinite dimension. After a brief review of optimal transport tools for general Radon measures, we discuss the notions of the Cheeger energy, of the Radon measures concentrated on absolutely continuous curves, and of the induced "dynamic transport distances." We study their main properties and their links with the theory of Dirichlet forms and the Bakry-\'Emery curvature condition, in particular concerning the contractivity properties and the EVI formulation of the induced Heat semigroup.
• ### On the Lagrangian structure of transport equations: the Vlasov-Poisson system(1412.3608)

June 16, 2015 math.AP
The Vlasov-Poisson system is a classical model in physics used to describe the evolution of particles under their self-consistent electric or gravitational field. The existence of classical solutions is limited to dimensions $d\leq 3$ under strong assumptions on the initial data, while weak solutions are known to exist under milder conditions. However, in the setting of weak solutions it is unclear whether the Eulerian description provided by the equation physically corresponds to a Lagrangian evolution of the particles. In this paper we develop several general tools concerning the Lagrangian structure of transport equations with non-smooth vector fields and we apply these results: (1) to show that weak solutions of Vlasov-Poisson are Lagrangian; (2) to obtain global existence of weak solutions under minimal assumptions on the initial data.
• ### DC Calculus(1505.04817)

May 18, 2015 math.DG, math.MG
In this paper, we extend the DC Calculus introduced by Perelman on finite dimensional Alexandrov spaces with curvature bounded below. Among other things, our results allow us to define the Hessian and the Laplacian of DC functions (including distance functions as a particular instance) as a measure-valued tensor and a Radon measure respectively. We show that these objects share various properties with their analogues on smooth Riemannian manifolds.
• ### Weighted Sobolev Spaces on Metric Measure Spaces(1406.3000)

March 11, 2015 math.AP, math.FA, math.MG
We investigate weighted Sobolev spaces on metric measure spaces $(X,d,m)$. Denoting by $\rho$ the weight function, we compare the space $W^{1,p}(X,d,\rho m)$ (which always concides with the closure $H^{1,p}(X,d,\rho m)$ of Lipschitz functions) with the weighted Sobolev spaces $W^{1,p}_\rho(X,d,m)$ and $H^{1,p}_\rho(X,d,m)$ defined as in the Euclidean theory of weighted Sobolev spaces. Under mild assumptions on the metric measure structure and on the weight we show that $W^{1,p}(X,d,\rho m)=H^{1,p}_\rho(X,d, m)$. We also adapt results by Muckenhoupt and recent work by Zhikov to the metric measure setting, considering appropriate conditions on $\rho$ that ensure the equality $W^{1,p}_\rho(X,d,m)=H^{1,p}_\rho(X,d,m)$.
• ### Bakry-\'Emery curvature-dimension condition and Riemannian Ricci curvature bounds(1209.5786)

Jan. 16, 2015 math.AP, math.PR, math.FA, math.MG
The aim of the present paper is to bridge the gap between the Bakry-\'{E}mery and the Lott-Sturm-Villani approaches to provide synthetic and abstract notions of lower Ricci curvature bounds. We start from a strongly local Dirichlet form ${{\mathcal{E}}}$ admitting a Carr\'{e} du champ $\Gamma$ in a Polish measure space $(X,\mathfrak{m})$ and a canonical distance ${\mathsf{d}}_{{{\mathcal{E}}}}$ that induces the original topology of $X$. We first characterize the distinguished class of Riemannian Energy measure spaces, where ${\mathcal{E}}$ coincides with the Cheeger energy induced by ${\mathsf{d}}_{{\mathcal{E}}}$ and where every function $f$ with $\Gamma(f)\le1$ admits a continuous representative. In such a class, we show that if ${{\mathcal{E}}}$ satisfies a suitable weak form of the Bakry-\'{E}mery curvature dimension condition $\mathrm {BE}(K,\infty)$ then the metric measure space $(X,{\mathsf{d}},\mathfrak{m})$ satisfies the Riemannian Ricci curvature bound $\mathrm {RCD}(K,\infty)$ according to [Duke Math. J. 163 (2014) 1405-1490], thus showing the equivalence of the two notions. Two applications are then proved: the tensorization property for Riemannian Energy spaces satisfying the Bakry-\'{E}mery $\mathrm {BE}(K,N)$ condition (and thus the corresponding one for $\mathrm {RCD}(K,\infty)$ spaces without assuming nonbranching) and the stability of $\mathrm {BE}(K,N)$ with respect to Sturm-Gromov-Hausdorff convergence.
• ### Well posedness of Lagrangian flows and continuity equations in metric measure spaces(1402.4788)

Dec. 1, 2014 math.AP, math.FA, math.MG
We establish, in a rather general setting, an analogue of DiPerna-Lions theory on well-posedness of flows of ODE's associated to Sobolev vector fields. Key results are a well-posedness result for the continuity equation associated to suitably defined Sobolev vector fields, via a commutator estimate, and an abstract superposition principle in (possibly extended) metric measure spaces, via an embedding into $\mathbb{R}^\infty$. When specialized to the setting of Euclidean or infinite dimensional (e.g. Gaussian) spaces, large parts of previously known results are recovered at once. Moreover, the class of ${\sf RCD}(K,\infty)$ metric measure spaces object of extensive recent research fits into our framework. Therefore we provide, for the first time, well-posedness results for ODE's under low regularity assumptions on the velocity and in a nonsmooth context.
• ### 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)
• ### Tensorization of Cheeger energies, the space $H^{1,1}$ and the area formula for graphs(1407.3489)

July 13, 2014 math.FA
First we study in detail the tensorization properties of weak gradients in metric measure spaces $(X,d,m)$. Then, we compare potentially different notions of Sobolev space $H^{1,1}(X,d,m)$ and of weak gradient with exponent 1. Eventually we apply these results to compare the area functional $\int\sqrt{1+|\nabla f|_w^2}\,dm$ with the perimeter of the subgraph of $f$, in the same spirit as the classical theory.
• ### BMO-type norms related to the perimeter of sets(1407.2023)

July 8, 2014 math.FA
In this paper we consider an isotropic variant of the $BMO$-type norm recently introduced by Bourgain, Brezis and Mironescu. We prove that, when considering characteristic functions of sets, this norm is related to the perimeter. A byproduct of our analysis is a new characterization of the perimeter of sets in terms of this norm, independent of the theory of distributions.