-
Subadditivity and optimal matching of unbounded samples
Authors:
Emanuele Caglioti,
Michael Goldman,
Francesca Pieroni,
Dario Trevisan
Abstract:
We obtain new bounds for the optimal matching cost for empirical measures with unbounded support. For a large class of radially symmetric and rapidly decaying probability laws, we prove for the first time the asymptotic rate of convergence for the whole range of power exponents $p$ and dimensions $d$. Moreover we identify the exact prefactor when $p\le d$. We cover in particular the Gaussian case,…
▽ More
We obtain new bounds for the optimal matching cost for empirical measures with unbounded support. For a large class of radially symmetric and rapidly decaying probability laws, we prove for the first time the asymptotic rate of convergence for the whole range of power exponents $p$ and dimensions $d$. Moreover we identify the exact prefactor when $p\le d$. We cover in particular the Gaussian case, going far beyond the currently known bounds. Our proof technique is based on approximate sub- and super-additivity bounds along a geometric decomposition adapted to some features the density, such as its radial symmetry and its decay at infinity.
△ Less
Submitted 8 July, 2024;
originally announced July 2024.
-
Sharp PDE estimates for random two-dimensional bipartite matching with power cost function
Authors:
Luigi Ambrosio,
Federico Vitillaro,
Dario Trevisan
Abstract:
We investigate the random bipartite optimal matching problem on a flat torus in two-dimensions, considering general strictly convex power costs of the distance. We extend the successful ansatz first introduced by Caracciolo et al. for the quadratic case, involving a linear Poisson equation, to a non-linear equation of $q$-Poisson type, allowing for a more comprehensive analysis of the optimal tran…
▽ More
We investigate the random bipartite optimal matching problem on a flat torus in two-dimensions, considering general strictly convex power costs of the distance. We extend the successful ansatz first introduced by Caracciolo et al. for the quadratic case, involving a linear Poisson equation, to a non-linear equation of $q$-Poisson type, allowing for a more comprehensive analysis of the optimal transport cost. Our results establish new asymptotic connections between the energy of the solution to the PDE and the optimal transport cost, providing insights on their asymptotic behavior.
△ Less
Submitted 15 May, 2024;
originally announced May 2024.
-
Wide Deep Neural Networks with Gaussian Weights are Very Close to Gaussian Processes
Authors:
Dario Trevisan
Abstract:
We establish novel rates for the Gaussian approximation of random deep neural networks with Gaussian parameters (weights and biases) and Lipschitz activation functions, in the wide limit. Our bounds apply for the joint output of a network evaluated any finite input set, provided a certain non-degeneracy condition of the infinite-width covariances holds. We demonstrate that the distance between the…
▽ More
We establish novel rates for the Gaussian approximation of random deep neural networks with Gaussian parameters (weights and biases) and Lipschitz activation functions, in the wide limit. Our bounds apply for the joint output of a network evaluated any finite input set, provided a certain non-degeneracy condition of the infinite-width covariances holds. We demonstrate that the distance between the network output and the corresponding Gaussian approximation scales inversely with the width of the network, exhibiting faster convergence than the naive heuristic suggested by the central limit theorem. We also apply our bounds to obtain theoretical approximations for the exact Bayesian posterior distribution of the network, when the likelihood is a bounded Lipschitz function of the network output evaluated on a (finite) training set. This includes popular cases such as the Gaussian likelihood, i.e. exponential of minus the mean squared error.
△ Less
Submitted 18 December, 2023;
originally announced December 2023.
-
Boundedness of Riesz transforms on $\RCD(K, \infty)$ spaces
Authors:
Andrea Carbonaro,
Luca Tamanini,
Dario Trevisan
Abstract:
For $1<p<\infty$, we prove the $L^p$-boundedness of the Riesz transform operators on metric measure spaces with Riemannian Ricci curvature bounded from below, without any restriction on their dimension. This large class of spaces include e.g. that of Hilbert spaces endowed with a log-concave probability measure. As a consequence, we extend the range of the validity of the Lusin-type approximation…
▽ More
For $1<p<\infty$, we prove the $L^p$-boundedness of the Riesz transform operators on metric measure spaces with Riemannian Ricci curvature bounded from below, without any restriction on their dimension. This large class of spaces include e.g. that of Hilbert spaces endowed with a log-concave probability measure. As a consequence, we extend the range of the validity of the Lusin-type approximation of Sobolev by Lipschitz functions, previously obtained by L. Ambrosio, E. Bruè and the third author in the quadratic case, i.e. $p=2$. The proofs are analytic and rely on computations on an explicit Bellman function.
△ Less
Submitted 30 August, 2023;
originally announced August 2023.
-
Quantum Optimal Transport: Quantum Channels and Qubits
Authors:
Giacomo De Palma,
Dario Trevisan
Abstract:
These notes are based on the lectures given by the second author at the School on Optimal Transport on Quantum Structures at Erdös Center in September 2022. The focus of the exposition is on two recently introduced approaches on quantum optimal transport: one based on quantum channels as generalized transport plans, the other based on the notion of Hamming-Wasserstein distance of order 1 on multip…
▽ More
These notes are based on the lectures given by the second author at the School on Optimal Transport on Quantum Structures at Erdös Center in September 2022. The focus of the exposition is on two recently introduced approaches on quantum optimal transport: one based on quantum channels as generalized transport plans, the other based on the notion of Hamming-Wasserstein distance of order 1 on multiple-qubit systems. The material is presented in an elementary manner with a focus on the finite-dimensional setting.
△ Less
Submitted 30 July, 2023;
originally announced July 2023.
-
Wasserstein Asymptotics for Brownian Motion on the Flat Torus and Brownian Interlacements
Authors:
Mauro Mariani,
Dario Trevisan
Abstract:
We study the large time behavior of the optimal transportation cost towards the uniform distribution, for the occupation measure of a stationary Brownian motion on the flat torus in $d$ dimensions, where the cost of transporting a unit of mass is given by a power of the flat distance. We establish a global upper bound, in terms of the limit for the analogue problem concerning the occupation measur…
▽ More
We study the large time behavior of the optimal transportation cost towards the uniform distribution, for the occupation measure of a stationary Brownian motion on the flat torus in $d$ dimensions, where the cost of transporting a unit of mass is given by a power of the flat distance. We establish a global upper bound, in terms of the limit for the analogue problem concerning the occupation measure of the Brownian interlacement on $\R^d$. We conjecture that our bound is sharp and that our techniques may allow for similar studies on a larger variety of problems, e.g. general diffusion processes on weighted Riemannian manifolds.
△ Less
Submitted 15 February, 2024; v1 submitted 19 July, 2023;
originally announced July 2023.
-
On the concave one-dimensional random assignment problem and Young integration theory
Authors:
Michael Goldman,
Dario Trevisan
Abstract:
We investigate the one-dimensional random assignment problem in the concave case, i.e., the assignment cost is a concave power function, with exponent $0<p<1$, of the distance between $n$ source and $n$ target points, that are i.i.d. random variables with a common law on an interval. We prove that the limit of a suitable renormalization of the costs exists if the exponent $p$ is different than…
▽ More
We investigate the one-dimensional random assignment problem in the concave case, i.e., the assignment cost is a concave power function, with exponent $0<p<1$, of the distance between $n$ source and $n$ target points, that are i.i.d. random variables with a common law on an interval. We prove that the limit of a suitable renormalization of the costs exists if the exponent $p$ is different than $1/2$. Our proof in the case $1/2<p<1$ makes use of a novel version of the Kantorovich optimal transport problem based on Young integration theory, where the difference between two measures is replaced by the weak derivative of a function with finite $q$-variation, which may be of independent interest. We also prove a similar result for the random bipartite Traveling Salesperson Problem.
△ Less
Submitted 16 May, 2023;
originally announced May 2023.
-
The Wasserstein distance of order 1 for quantum spin systems on infinite lattices
Authors:
Giacomo De Palma,
Dario Trevisan
Abstract:
We propose a generalization of the Wasserstein distance of order 1 to quantum spin systems on the lattice $\mathbb{Z}^d$, which we call specific quantum $W_1$ distance. The proposal is based on the $W_1$ distance for qudits of [De Palma et al., IEEE Trans. Inf. Theory 67, 6627 (2021)] and recovers Ornstein's $\bar{d}$-distance for the quantum states whose marginal states on any finite number of sp…
▽ More
We propose a generalization of the Wasserstein distance of order 1 to quantum spin systems on the lattice $\mathbb{Z}^d$, which we call specific quantum $W_1$ distance. The proposal is based on the $W_1$ distance for qudits of [De Palma et al., IEEE Trans. Inf. Theory 67, 6627 (2021)] and recovers Ornstein's $\bar{d}$-distance for the quantum states whose marginal states on any finite number of spins are diagonal in the canonical basis. We also propose a generalization of the Lipschitz constant to quantum interactions on $\mathbb{Z}^d$ and prove that such quantum Lipschitz constant and the specific quantum $W_1$ distance are mutually dual. We prove a new continuity bound for the von Neumann entropy for a finite set of quantum spins in terms of the quantum $W_1$ distance, and we apply it to prove a continuity bound for the specific von Neumann entropy in terms of the specific quantum $W_1$ distance for quantum spin systems on $\mathbb{Z}^d$. Finally, we prove that local quantum commuting interactions above a critical temperature satisfy a transportation-cost inequality, which implies the uniqueness of their Gibbs states.
△ Less
Submitted 28 June, 2023; v1 submitted 20 October, 2022;
originally announced October 2022.
-
Optimal transport methods for combinatorial optimization over two random point sets
Authors:
Michael Goldman,
Dario Trevisan
Abstract:
We investigate the minimum cost of a wide class of combinatorial optimization problems over random bipartite geometric graphs in $\mathbb{R}^d$ where the edge cost between two points is given by a $p$-th power of their Euclidean distance. This includes e.g.\ the travelling salesperson problem and the bounded degree minimum spanning tree. We establish in particular almost sure convergence, as $n$ g…
▽ More
We investigate the minimum cost of a wide class of combinatorial optimization problems over random bipartite geometric graphs in $\mathbb{R}^d$ where the edge cost between two points is given by a $p$-th power of their Euclidean distance. This includes e.g.\ the travelling salesperson problem and the bounded degree minimum spanning tree. We establish in particular almost sure convergence, as $n$ grows, of a suitable renormalization of the random minimum cost, if the points are uniformly distributed and $d \ge 3$, $1\le p<d$. Previous results were limited to the range $p<d/2$. Our proofs are based on subadditivity methods and build upon new bounds for random instances of the Euclidean bipartite matching problem, obtained through its optimal transport relaxation and functional analytic techniques.
△ Less
Submitted 19 July, 2023; v1 submitted 29 September, 2022;
originally announced September 2022.
-
Wasserstein Asymptotics for the Empirical Measure of Fractional Brownian Motion on a Flat Torus
Authors:
Martin Huesmann,
Francesco Mattesini,
Dario Trevisan
Abstract:
We establish asymptotic upper and lower bounds for the Wasserstein distance of any order $p\ge 1$ between the empirical measure of a fractional Brownian motion on a flat torus and the uniform Lebesgue measure. Our inequalities reveal an interesting interaction between the Hurst index $H$ and the dimension $d$ of the state space, with a "phase-transition" in the rates when $d=2+1/H$, akin to the Aj…
▽ More
We establish asymptotic upper and lower bounds for the Wasserstein distance of any order $p\ge 1$ between the empirical measure of a fractional Brownian motion on a flat torus and the uniform Lebesgue measure. Our inequalities reveal an interesting interaction between the Hurst index $H$ and the dimension $d$ of the state space, with a "phase-transition" in the rates when $d=2+1/H$, akin to the Ajtai-Komlós-Tusnády theorem for the optimal matching of i.i.d. points in two-dimensions. Our proof couples PDE's and probabilistic techniques, and also yields a similar result for discrete-time approximations of the process, as well as a lower bound for the same problem on $\mathbb{R}^d$.
△ Less
Submitted 2 May, 2022;
originally announced May 2022.
-
Viscosity solutions of Hamilton-Jacobi equation in $RCD(K,\infty)$ spaces and applications to large deviations
Authors:
Nicola Gigli,
Luca Tamanini,
Dario Trevisan
Abstract:
The aim of this paper is twofold. In the setting of $RCD(K,\infty)$ metric measure spaces, we derive uniform gradient and Laplacian contraction estimates along solutions of the viscous approximation of the Hamilton-Jacobi equation. We use these estimates to prove that, as the viscosity tends to zero, solutions of this equation converge to the evolution driven by the Hopf-Lax formula, in accordance…
▽ More
The aim of this paper is twofold. In the setting of $RCD(K,\infty)$ metric measure spaces, we derive uniform gradient and Laplacian contraction estimates along solutions of the viscous approximation of the Hamilton-Jacobi equation. We use these estimates to prove that, as the viscosity tends to zero, solutions of this equation converge to the evolution driven by the Hopf-Lax formula, in accordance with the smooth case. We then use such convergence to study the small-time Large Deviation Principle for both the heat kernel and the Brownian motion: we obtain the expected behaviour under the additional assumption that the space is proper.
△ Less
Submitted 7 August, 2023; v1 submitted 22 March, 2022;
originally announced March 2022.
-
Quantitative Gaussian Approximation of Randomly Initialized Deep Neural Networks
Authors:
Andrea Basteri,
Dario Trevisan
Abstract:
Given any deep fully connected neural network, initialized with random Gaussian parameters, we bound from above the quadratic Wasserstein distance between its output distribution and a suitable Gaussian process. Our explicit inequalities indicate how the hidden and output layers sizes affect the Gaussian behaviour of the network and quantitatively recover the distributional convergence results in…
▽ More
Given any deep fully connected neural network, initialized with random Gaussian parameters, we bound from above the quadratic Wasserstein distance between its output distribution and a suitable Gaussian process. Our explicit inequalities indicate how the hidden and output layers sizes affect the Gaussian behaviour of the network and quantitatively recover the distributional convergence results in the wide limit, i.e., if all the hidden layers sizes become large.
△ Less
Submitted 22 September, 2023; v1 submitted 14 March, 2022;
originally announced March 2022.
-
Infinite multidimensional scaling for metric measure spaces
Authors:
Alexey Kroshnin,
Eugene Stepanov,
Dario Trevisan
Abstract:
For a given metric measure space $(X,d,μ)$ we consider finite samples of points, calculate the matrix of distances between them and then reconstruct the points in some finite-dimensional space using the multidimensional scaling (MDS) algorithm with this distance matrix as an input. We show that this procedure gives a natural limit as the number of points in the samples grows to infinity and the de…
▽ More
For a given metric measure space $(X,d,μ)$ we consider finite samples of points, calculate the matrix of distances between them and then reconstruct the points in some finite-dimensional space using the multidimensional scaling (MDS) algorithm with this distance matrix as an input. We show that this procedure gives a natural limit as the number of points in the samples grows to infinity and the density of points approaches the measure $μ$. This limit can be viewed as "infinite MDS" embedding of the original space, now not anymore into a finite-dimensional space but rather into an infinitedimensional Hilbert space. We further show that this embedding is stable with respect to the natural convergence of metric measure spaces. However, contrary to what is usually believed in applications, we show that in many cases it does not preserve distances, nor is even bi-Lipschitz, but may provide snowflake (Assouad-type) embeddings of the original space to a Hilbert space (this is, for instance, the case of a sphere and a flat torus equipped with their geodesic distances).
△ Less
Submitted 30 July, 2022; v1 submitted 15 January, 2022;
originally announced January 2022.
-
On exterior differential systems involving differentials of Hölder functions
Authors:
Eugene Stepanov,
Dario Trevisan
Abstract:
We study the validity of an extension of Frobenius theorem on integral manifolds for some classes of Pfaff-type systems of partial differential equations involving multidimensional "rough" signals, i.e. "differentials" of given Hölder continuous functions interpreted in a suitable way, similarly to Young Differential Equations in Rough Paths theory. This can be seen as a tool to study solvability…
▽ More
We study the validity of an extension of Frobenius theorem on integral manifolds for some classes of Pfaff-type systems of partial differential equations involving multidimensional "rough" signals, i.e. "differentials" of given Hölder continuous functions interpreted in a suitable way, similarly to Young Differential Equations in Rough Paths theory. This can be seen as a tool to study solvability of exterior differential systems involving rough differential forms, i.e. the forms involving weak (distributional) derivatives of highly irregular (e.g. Hölder continuous) functions; the solutions (integral manifolds) being also some very weakly regular geometric structures.
△ Less
Submitted 10 December, 2021;
originally announced December 2021.
-
On the quadratic random matching problem in two-dimensional domains
Authors:
Luigi Ambrosio,
Michael Goldman,
Dario Trevisan
Abstract:
We investigate the average minimum cost of a bipartite matching, with respect to the squared Euclidean distance, between two samples of n i.i.d. random points on a bounded Lipschitz domain in the Euclidean plane, whose common law is absolutely continuous with strictly positive H{ö}lder continuous density. We confirm in particular the validity of a conjecture by D. Benedetto and E. Caglioti stating…
▽ More
We investigate the average minimum cost of a bipartite matching, with respect to the squared Euclidean distance, between two samples of n i.i.d. random points on a bounded Lipschitz domain in the Euclidean plane, whose common law is absolutely continuous with strictly positive H{ö}lder continuous density. We confirm in particular the validity of a conjecture by D. Benedetto and E. Caglioti stating that the asymptotic cost as n grows is given by the logarithm of n multiplied by an explicit constant times the volume of the domain. Our proof relies on a reduction to the optimal transport problem between the associated empirical measures and a Whitney-type decomposition of the domain, together with suitable upper and lower bounds for local and global contributions, both ultimately based on PDE tools. We further show how to extend our results to more general settings, including Riemannian manifolds, and also give an application to the asymptotic cost of the random quadratic bipartite travelling salesperson problem.
△ Less
Submitted 27 October, 2021;
originally announced October 2021.
-
On Minimum Spanning Trees for Random Euclidean Bipartite Graphs
Authors:
Mario Correddu,
Dario Trevisan
Abstract:
We consider the minimum spanning tree problem on a weighted complete bipartite graph $K_{n_R, n_B}$ whose $n=n_R+n_B$ vertices are random, i.i.d. uniformly distributed points in the unit cube in $d$ dimensions and edge weights are the $p$-th power of their Euclidean distance, with $p>0$. In the large $n$ limit with $n_R/n \to α_R$ and $0<α_R<1$, we show that the maximum vertex degree of the tree g…
▽ More
We consider the minimum spanning tree problem on a weighted complete bipartite graph $K_{n_R, n_B}$ whose $n=n_R+n_B$ vertices are random, i.i.d. uniformly distributed points in the unit cube in $d$ dimensions and edge weights are the $p$-th power of their Euclidean distance, with $p>0$. In the large $n$ limit with $n_R/n \to α_R$ and $0<α_R<1$, we show that the maximum vertex degree of the tree grows logarithmically, in contrast with the classical, non-bipartite, case, where a uniform bound holds depending on $d$ only. Despite this difference, for $p<d$, we are able to prove that the total edge costs normalized by the rate $n^{1-p/d}$ converge to a limiting constant that can be represented as a series of integrals, thus extending a classical result of Avram and Bertsimas to the bipartite case and confirming a conjecture of Riva, Caracciolo and Malatesta.
△ Less
Submitted 18 July, 2021;
originally announced July 2021.
-
The generalized strong subadditivity of the von Neumann entropy for bosonic quantum systems
Authors:
Giacomo De Palma,
Dario Trevisan
Abstract:
We prove a generalization of the strong subadditivity of the von Neumann entropy for bosonic quantum Gaussian systems. Such generalization determines the minimum values of linear combinations of the entropies of subsystems associated to arbitrary linear functions of the quadratures, and holds for arbitrary quantum states including the scenario where the entropies are conditioned on a memory quantu…
▽ More
We prove a generalization of the strong subadditivity of the von Neumann entropy for bosonic quantum Gaussian systems. Such generalization determines the minimum values of linear combinations of the entropies of subsystems associated to arbitrary linear functions of the quadratures, and holds for arbitrary quantum states including the scenario where the entropies are conditioned on a memory quantum system. We apply our result to prove new entropic uncertainty relations with quantum memory, a generalization of the quantum Entropy Power Inequality, and the linear time scaling of the entanglement entropy produced by quadratic Hamiltonians.
△ Less
Submitted 1 July, 2024; v1 submitted 12 May, 2021;
originally announced May 2021.
-
Reconstruction of manifold embeddings into Euclidean spaces via intrinsic distances
Authors:
Nikita Puchkin,
Vladimir Spokoiny,
Eugene Stepanov,
Dario Trevisan
Abstract:
We consider the problem of reconstructing an embedding of a compact connected Riemannian manifold in a Euclidean space up to an almost isometry, given the information on intrinsic distances between points from its ``sufficiently large'' subset. This is one of the classical manifold learning problems. It happens that the most popular methods to deal with such a problem, with a long history in data…
▽ More
We consider the problem of reconstructing an embedding of a compact connected Riemannian manifold in a Euclidean space up to an almost isometry, given the information on intrinsic distances between points from its ``sufficiently large'' subset. This is one of the classical manifold learning problems. It happens that the most popular methods to deal with such a problem, with a long history in data science, namely, the classical Multidimensional scaling (MDS) and the Maximum variance unfolding (MVU), actually miss the point and may provide results very far from an isometry; moreover, they may even give no bi-Lipshitz embedding. We will provide an easy variational formulation of this problem, which leads to an algorithm always providing an almost isometric embedding with the distortion of original distances as small as desired (the parameter regulating the upper bound for the desired distortion is an input parameter of this algorithm).
△ Less
Submitted 25 January, 2024; v1 submitted 26 December, 2020;
originally announced December 2020.
-
Lie brackets of nonsmooth vector fields and commutation of their flows
Authors:
Chiara Rigoni,
Eugene Stepanov,
Dario Trevisan
Abstract:
It is well-known that the flows generated by two smooth vector fields commute, if the Lie bracket of these vector fields vanishes. This assertion is known to extend to Lipschitz continuous vector fields, up to interpreting the vanishing of their Lie bracket in the sense of almost everywhere equality. We show that this cannot be extended to general a.e. differentiable vector fields admitting a.e. u…
▽ More
It is well-known that the flows generated by two smooth vector fields commute, if the Lie bracket of these vector fields vanishes. This assertion is known to extend to Lipschitz continuous vector fields, up to interpreting the vanishing of their Lie bracket in the sense of almost everywhere equality. We show that this cannot be extended to general a.e. differentiable vector fields admitting a.e. unique flows. We show however that the extension holds when one field is Lipschitz continuous and the other one is merely Sobolev regular (but admitting a regular Lagrangian flow).
△ Less
Submitted 14 November, 2020;
originally announced November 2020.
-
The Quantum Wasserstein Distance of Order 1
Authors:
Giacomo De Palma,
Milad Marvian,
Dario Trevisan,
Seth Lloyd
Abstract:
We propose a generalization of the Wasserstein distance of order 1 to the quantum states of $n$ qudits. The proposal recovers the Hamming distance for the vectors of the canonical basis, and more generally the classical Wasserstein distance for quantum states diagonal in the canonical basis. The proposed distance is invariant with respect to permutations of the qudits and unitary operations acting…
▽ More
We propose a generalization of the Wasserstein distance of order 1 to the quantum states of $n$ qudits. The proposal recovers the Hamming distance for the vectors of the canonical basis, and more generally the classical Wasserstein distance for quantum states diagonal in the canonical basis. The proposed distance is invariant with respect to permutations of the qudits and unitary operations acting on one qudit and is additive with respect to the tensor product. Our main result is a continuity bound for the von Neumann entropy with respect to the proposed distance, which significantly strengthens the best continuity bound with respect to the trace distance. We also propose a generalization of the Lipschitz constant to quantum observables. The notion of quantum Lipschitz constant allows us to compute the proposed distance with a semidefinite program. We prove a quantum version of Marton's transportation inequality and a quantum Gaussian concentration inequality for the spectrum of quantum Lipschitz observables. Moreover, we derive bounds on the contraction coefficients of shallow quantum circuits and of the tensor product of one-qudit quantum channels with respect to the proposed distance. We discuss other possible applications in quantum machine learning, quantum Shannon theory, and quantum many-body systems.
△ Less
Submitted 13 January, 2022; v1 submitted 9 September, 2020;
originally announced September 2020.
-
Convergence of asymptotic costs for random Euclidean matching problems
Authors:
Michael Goldman,
Dario Trevisan
Abstract:
We investigate the average minimum cost of a bipartite matching between two samples of n independent random points uniformly distributed on a unit cube in d $\ge$ 3 dimensions, where the matching cost between two points is given by any power p $\ge$ 1 of their Euclidean distance. As n grows, we prove convergence, after a suitable renormalization, towards a finite and positive constant. We also con…
▽ More
We investigate the average minimum cost of a bipartite matching between two samples of n independent random points uniformly distributed on a unit cube in d $\ge$ 3 dimensions, where the matching cost between two points is given by any power p $\ge$ 1 of their Euclidean distance. As n grows, we prove convergence, after a suitable renormalization, towards a finite and positive constant. We also consider the analogous problem of optimal transport between n points and the uniform measure. The proofs combine sub-additivity inequalities with a PDE ansatz similar to the one proposed in the context of the matching problem in two dimensions and later extended to obtain upper bounds in higher dimensions.
△ Less
Submitted 17 December, 2020; v1 submitted 9 September, 2020;
originally announced September 2020.
-
Towards geometric integration of rough differential forms
Authors:
Eugene Stepanov,
Dario Trevisan
Abstract:
We provide a draft of a theory of geometric integration of rough differential forms which are generalizations of classical (smooth) differential forms to similar objects with very low regularity, for instance, involving Hölder continuous functions that may be nowhere differentiable. Borrowing ideas from the theory of rough paths, we show that such a geometric integration can be constructed substit…
▽ More
We provide a draft of a theory of geometric integration of rough differential forms which are generalizations of classical (smooth) differential forms to similar objects with very low regularity, for instance, involving Hölder continuous functions that may be nowhere differentiable. Borrowing ideas from the theory of rough paths, we show that such a geometric integration can be constructed substituting appropriately differentials with more general asymptotic expansions. This can be seen as the basis of geometric integration similar to that used in geometric measure theory, but without any underlying differentiable structure, thus allowing Lipschitz functions and rectifiable sets to be substituted by far less regular objects (e.g. Hölder functions and their images which may be purely unrectifiable). Our construction includes both the one-dimensional Young integral and multidimensional integrals introduced recently by R. Züst. To simplify the exposition, we limit ourselves to integration of forms of dimensions not exceeding two.
△ Less
Submitted 17 January, 2020;
originally announced January 2020.
-
Integration of nonsmooth $\boldsymbol{2}$-forms: from Young to Itô and Stratonovich
Authors:
Giovanni Alberti,
Eugene Stepanov,
Dario Trevisan
Abstract:
We show that geometric integrals of the type $\int_Ωf\, d g^1\wedge \, d g^2$ can be defined over a two-dimensional domain $Ω$ when the functions $f$, $g^1$, $g^2\colon \mathbb{R}^2\to \mathbb{R}$ are just Hölder continuous with sufficiently large Hölder exponents and the boundary of $Ω$ has sufficiently small dimension, by summing over a refining sequence of partitions the discrete Stratonovich o…
▽ More
We show that geometric integrals of the type $\int_Ωf\, d g^1\wedge \, d g^2$ can be defined over a two-dimensional domain $Ω$ when the functions $f$, $g^1$, $g^2\colon \mathbb{R}^2\to \mathbb{R}$ are just Hölder continuous with sufficiently large Hölder exponents and the boundary of $Ω$ has sufficiently small dimension, by summing over a refining sequence of partitions the discrete Stratonovich or Itô type terms. This leads to a two-dimensional extension of the classical Young integral that coincides with the integral introduced recently by R.~Züst. We further show that the Stratonovich-type summation allows to weaken the requirements on Hölder exponents of the map $g=(g^1,g^2)$ when $f(x)=F(x,g(x))$ with $F$ sufficiently regular. The technique relies upon an extension of the sewing lemma from Rough paths theory to alternating functions of two-dimensional oriented simplices, also proven in the paper.
△ Less
Submitted 18 December, 2019;
originally announced December 2019.
-
Quantum optimal transport with quantum channels
Authors:
Giacomo De Palma,
Dario Trevisan
Abstract:
We propose a new generalization to quantum states of the Wasserstein distance, which is a fundamental distance between probability distributions given by the minimization of a transport cost. Our proposal is the first where the transport plans between quantum states are in natural correspondence with quantum channels, such that the transport can be interpreted as a physical operation on the system…
▽ More
We propose a new generalization to quantum states of the Wasserstein distance, which is a fundamental distance between probability distributions given by the minimization of a transport cost. Our proposal is the first where the transport plans between quantum states are in natural correspondence with quantum channels, such that the transport can be interpreted as a physical operation on the system. Our main result is the proof of a modified triangle inequality for our transport distance. We also prove that the distance between a quantum state and itself is intimately connected with the Wigner-Yanase metric on the manifold of quantum states. We then specialize to quantum Gaussian systems, which provide the mathematical model for the electromagnetic radiation in the quantum regime. We prove that the noiseless quantum Gaussian attenuators and amplifiers are the optimal transport plans between thermal quantum Gaussian states, and that our distance recovers the classical Wasserstein distance in the semiclassical limit.
△ Less
Submitted 24 February, 2021; v1 submitted 2 November, 2019;
originally announced November 2019.
-
On the optimal map in the 2-dimensional random matching problem
Authors:
Luigi Ambrosio,
Federico Glaudo,
Dario Trevisan
Abstract:
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 Caracc…
▽ More
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.
△ Less
Submitted 28 March, 2019;
originally announced March 2019.
-
Gaussian optimizers for entropic inequalities in quantum information
Authors:
Giacomo De Palma,
Dario Trevisan,
Vittorio Giovannetti,
Luigi Ambrosio
Abstract:
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 Entr…
▽ More
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.
△ Less
Submitted 21 August, 2018; v1 submitted 6 March, 2018;
originally announced March 2018.
-
Lusin-type approximation of Sobolev by Lipschitz functions, in Gaussian and $RCD(K,\infty)$ spaces
Authors:
Luigi Ambrosio,
Elia Bruè,
Dario Trevisan
Abstract:
We establish new approximation results, in the sense of Lusin, of Sobolev functions by Lipschitz ones, in some classes of non-doubling metric measure structures. Our proof technique relies upon estimates for heat semigroups and applies to Gaussian and $RCD(K, \infty)$ spaces. As a consequence, we obtain quantitative stability for regular Lagrangian flows in Gaussian settings.
We establish new approximation results, in the sense of Lusin, of Sobolev functions by Lipschitz ones, in some classes of non-doubling metric measure structures. Our proof technique relies upon estimates for heat semigroups and applies to Gaussian and $RCD(K, \infty)$ spaces. As a consequence, we obtain quantitative stability for regular Lagrangian flows in Gaussian settings.
△ Less
Submitted 21 September, 2018; v1 submitted 18 December, 2017;
originally announced December 2017.
-
A Benamou-Brenier formulation of martingale optimal transport
Authors:
Martin Huesmann,
Dario Trevisan
Abstract:
We introduce a Benamou-Brenier formulation for the continuous-time martingale optimal transport problem as a weak length relaxation of its discrete-time counterpart. By the correspondence between classical martingale problems and Fokker-Planck equations, we obtain an equivalent PDE formulation for which basic properties such as existence, duality and geodesic equations can be analytically studied,…
▽ More
We introduce a Benamou-Brenier formulation for the continuous-time martingale optimal transport problem as a weak length relaxation of its discrete-time counterpart. By the correspondence between classical martingale problems and Fokker-Planck equations, we obtain an equivalent PDE formulation for which basic properties such as existence, duality and geodesic equations can be analytically studied, yielding corresponding results for the stochastic formulation. In the one dimensional case, sufficient conditions for finiteness of the cost are also given and a link between geodesics and porous medium equations is partially investigated.
△ Less
Submitted 27 August, 2018; v1 submitted 5 July, 2017;
originally announced July 2017.
-
The conditional Entropy Power Inequality for bosonic quantum systems
Authors:
Giacomo De Palma,
Dario Trevisan
Abstract:
We prove the conditional Entropy Power Inequality for Gaussian quantum systems. This fundamental inequality determines the minimum quantum conditional von Neumann entropy of the output of the beam-splitter or of the squeezing among all the input states where the two inputs are conditionally independent given the memory and have given quantum conditional entropies. We also prove that, for any coupl…
▽ More
We prove the conditional Entropy Power Inequality for Gaussian quantum systems. This fundamental inequality determines the minimum quantum conditional von Neumann entropy of the output of the beam-splitter or of the squeezing among all the input states where the two inputs are conditionally independent given the memory and have given quantum conditional entropies. We also prove that, for any couple of values of the quantum conditional entropies of the two inputs, the minimum of the quantum conditional entropy of the output given by the conditional Entropy Power Inequality is asymptotically achieved by a suitable sequence of quantum Gaussian input states. Our proof of the conditional Entropy Power Inequality is based on a new Stam inequality for the quantum conditional Fisher information and on the determination of the universal asymptotic behaviour of the quantum conditional entropy under the heat semigroup evolution. The beam-splitter and the squeezing are the central elements of quantum optics, and can model the attenuation, the amplification and the noise of electromagnetic signals. This conditional Entropy Power Inequality will have a strong impact in quantum information and quantum cryptography. Among its many possible applications there is the proof of a new uncertainty relation for the conditional Wehrl entropy.
△ Less
Submitted 4 January, 2018; v1 submitted 1 June, 2017;
originally announced June 2017.
-
Multimode Gaussian optimizers for the Wehrl entropy and quantum Gaussian channels
Authors:
Giacomo De Palma,
Dario Trevisan,
Vittorio Giovannetti
Abstract:
We prove in the multimode scenario a fundamental relation between the Wehrl and the von Neumann entropy, stating that the minimum Wehrl entropy among all the quantum states with a given von Neumann entropy is achieved by thermal Gaussian states. We also prove that thermal Gaussian input states minimize the output von Neumann entropy of multimode quantum Gaussian attenuators, amplifiers and phase-c…
▽ More
We prove in the multimode scenario a fundamental relation between the Wehrl and the von Neumann entropy, stating that the minimum Wehrl entropy among all the quantum states with a given von Neumann entropy is achieved by thermal Gaussian states. We also prove that thermal Gaussian input states minimize the output von Neumann entropy of multimode quantum Gaussian attenuators, amplifiers and phase-contravariant channels among all the input states diagonal in some product basis and with a given entropy. This result constitutes a major step towards the proof of the same property for generic input states, which is still an open conjecture. This conjecture is necessary to determine the maximum communication rates for the triple trade-off coding and broadcast communication with the Gaussian quantum-limited attenuator. Finally, we prove that the tensor product of n identical geometric input probability distributions minimizes the output Shannon entropy of the n-mode thinning among all the input probability distributions with a given entropy.
△ Less
Submitted 1 May, 2017;
originally announced May 2017.
-
A PDE approach to a 2-dimensional matching problem
Authors:
Luigi Ambrosio,
Federico Stra,
Dario Trevisan
Abstract:
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,…
▽ More
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.
△ Less
Submitted 15 November, 2016;
originally announced November 2016.
-
Gaussian states minimize the output entropy of one-mode quantum Gaussian channels
Authors:
Giacomo De Palma,
Dario Trevisan,
Vittorio Giovannetti
Abstract:
We prove the longstanding conjecture stating that Gaussian thermal input states minimize the output von Neumann entropy of one-mode phase-covariant quantum Gaussian channels among all the input states with a given entropy. Phase-covariant quantum Gaussian channels model the attenuation and the noise that affect any electromagnetic signal in the quantum regime. Our result is crucial to prove the co…
▽ More
We prove the longstanding conjecture stating that Gaussian thermal input states minimize the output von Neumann entropy of one-mode phase-covariant quantum Gaussian channels among all the input states with a given entropy. Phase-covariant quantum Gaussian channels model the attenuation and the noise that affect any electromagnetic signal in the quantum regime. Our result is crucial to prove the converse theorems for both the triple trade-off region and the capacity region for broadcast communication of the Gaussian quantum-limited amplifier. Our result extends to the quantum regime the Entropy Power Inequality that plays a key role in classical information theory. Our proof exploits a completely new technique based on the recent determination of the p->q norms of the quantum-limited amplifier [De Palma et al., arXiv:1610.09967]. This technique can be applied to any quantum channel.
△ Less
Submitted 22 April, 2017; v1 submitted 31 October, 2016;
originally announced October 2016.
-
The One-Mode Quantum-Limited Gaussian Attenuator and Amplifier Have Gaussian Maximizers
Authors:
Giacomo De Palma,
Dario Trevisan,
Vittorio Giovannetti
Abstract:
We determine the p->q norms of the Gaussian one-mode quantum-limited attenuator and amplifier and prove that they are achieved by Gaussian states, extending to noncommutative probability the seminal theorem "Gaussian kernels have only Gaussian maximizers" (Lieb in Invent Math 102(1):179-208, 1990). The quantum-limited attenuator and amplifier are the building blocks of quantum Gaussian channels, w…
▽ More
We determine the p->q norms of the Gaussian one-mode quantum-limited attenuator and amplifier and prove that they are achieved by Gaussian states, extending to noncommutative probability the seminal theorem "Gaussian kernels have only Gaussian maximizers" (Lieb in Invent Math 102(1):179-208, 1990). The quantum-limited attenuator and amplifier are the building blocks of quantum Gaussian channels, which play a key role in quantum communication theory since they model in the quantum regime the attenuation and the noise affecting any electromagnetic signal. Our result is crucial to prove the longstanding conjecture stating that Gaussian input states minimize the output entropy of one-mode phase-covariant quantum Gaussian channels for fixed input entropy. Our proof technique is based on a new noncommutative logarithmic Sobolev inequality, and it can be used to determine the p->q norms of any quantum semigroup.
△ Less
Submitted 5 August, 2018; v1 submitted 31 October, 2016;
originally announced October 2016.
-
A rough calculus approach to level sets in the Heisenberg group
Authors:
Valentino Magnani,
Eugene Stepanov,
Dario Trevisan
Abstract:
We introduce novel equations, in the spirit of rough path theory, that parametrize level sets of intrinsically regular maps on the Heisenberg group with values in $\mathbb{R}^2$. These equations can be seen as a sub-Riemannian counterpart to classical ODEs arising from the implicit function theorem. We show that they enjoy all the natural well-posedness properties, thus allowing for a "good calcul…
▽ More
We introduce novel equations, in the spirit of rough path theory, that parametrize level sets of intrinsically regular maps on the Heisenberg group with values in $\mathbb{R}^2$. These equations can be seen as a sub-Riemannian counterpart to classical ODEs arising from the implicit function theorem. We show that they enjoy all the natural well-posedness properties, thus allowing for a "good calculus" on nonsmooth level sets. We apply these results to prove an area formula for the intrinsic measure of level sets, along with the corresponding coarea formula.
△ Less
Submitted 27 October, 2016;
originally announced October 2016.
-
On Lipschitz vector fields and the Cauchy problem in homogeneous groups
Authors:
Valentino Magnani,
Dario Trevisan
Abstract:
We introduce a class of "Lipschitz horizontal" vector fields in homogeneous groups, for which we show equivalent descriptions, e.g. in terms of suitable derivations. We then investigate the associated Cauchy problem, providing a uniqueness result both at equilibrium points and for vector fields of an involutive submodule of Lipschitz horizontal vector fields. We finally exhibit a counterexample to…
▽ More
We introduce a class of "Lipschitz horizontal" vector fields in homogeneous groups, for which we show equivalent descriptions, e.g. in terms of suitable derivations. We then investigate the associated Cauchy problem, providing a uniqueness result both at equilibrium points and for vector fields of an involutive submodule of Lipschitz horizontal vector fields. We finally exhibit a counterexample to the general well-posedness theory for Lipschitz horizontal vector fields, in contrast with the Euclidean theory.
△ Less
Submitted 17 June, 2016;
originally announced June 2016.
-
Gaussian States Minimize the Output Entropy of the One-Mode Quantum Attenuator
Authors:
Giacomo De Palma,
Dario Trevisan,
Vittorio Giovannetti
Abstract:
We prove that Gaussian thermal input states minimize the output von Neumann entropy of the one-mode Gaussian quantum-limited attenuator for fixed input entropy. The Gaussian quantum-limited attenuator models the attenuation of an electromagnetic signal in the quantum regime. The Shannon entropy of an attenuated real-valued classical signal is a simple function of the entropy of the original signal…
▽ More
We prove that Gaussian thermal input states minimize the output von Neumann entropy of the one-mode Gaussian quantum-limited attenuator for fixed input entropy. The Gaussian quantum-limited attenuator models the attenuation of an electromagnetic signal in the quantum regime. The Shannon entropy of an attenuated real-valued classical signal is a simple function of the entropy of the original signal. A striking consequence of energy quantization is that the output von Neumann entropy of the quantum-limited attenuator is no more a function of the input entropy alone. The proof starts from the majorization result of De Palma et al., IEEE Trans. Inf. Theory 62, 2895 (2016), and is based on a new isoperimetric inequality. Our result implies that geometric input probability distributions minimize the output Shannon entropy of the thinning for fixed input entropy. Moreover, our result opens the way to the multimode generalization, that permits to determine both the triple trade-off region of the Gaussian quantum-limited attenuator and the classical capacity region of the Gaussian degraded quantum broadcast channel.
△ Less
Submitted 21 December, 2016; v1 submitted 2 May, 2016;
originally announced May 2016.
-
Weak and strong convergence of derivations and stability of flows with respect to MGH convergence
Authors:
Luigi Ambrosio,
Federico Stra,
Dario Trevisan
Abstract:
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.
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.
△ Less
Submitted 14 October, 2016; v1 submitted 17 March, 2016;
originally announced March 2016.
-
A particle system approach to cell-cell adhesion models
Authors:
Mikhail Neklyudov,
Dario Trevisan
Abstract:
We investigate micro-to-macroscopic derivations in two models of living cells, in presence to cell-cell adhesive interactions. We rigorously address two PDE-based models, one featuring non-local terms and another purely local, as a a result of a law of large numbers for stochastic particle systems, with moderate interactions in the sense of K. Oelshchlaeger (1985).
We investigate micro-to-macroscopic derivations in two models of living cells, in presence to cell-cell adhesive interactions. We rigorously address two PDE-based models, one featuring non-local terms and another purely local, as a a result of a law of large numbers for stochastic particle systems, with moderate interactions in the sense of K. Oelshchlaeger (1985).
△ Less
Submitted 20 January, 2016;
originally announced January 2016.
-
Three superposition principles: currents, continuity equations and curves of measures
Authors:
Eugene Stepanov,
Dario Trevisan
Abstract:
We establish a general superposition principle for curves of measures solving a continuity equation on metric spaces without any smooth structure nor underlying measure, representing them as marginals of measures concentrated on the solutions of the associated ODE defined by some algebra of observables. We relate this result with decomposition of acyclic normal currents in metric spaces.
As an a…
▽ More
We establish a general superposition principle for curves of measures solving a continuity equation on metric spaces without any smooth structure nor underlying measure, representing them as marginals of measures concentrated on the solutions of the associated ODE defined by some algebra of observables. We relate this result with decomposition of acyclic normal currents in metric spaces.
As an application, a slightly extended version of a probabilistic representation for absolutely continuous curves in Kantorovich-Wasserstein spaces, originally due to S. Lisini, is provided in the metric framework. This gives a hierarchy of implications between superposition principles for curves of measures and for metric currents.
△ Less
Submitted 16 December, 2015;
originally announced December 2015.
-
Functional Cramer-Rao bounds and Stein estimators in Sobolev spaces, for Brownian motion and Cox processes
Authors:
Eni Musta,
Maurizio Pratelli,
Dario Trevisan
Abstract:
We investigate the problems of drift estimation for a shifted Brownian motion and intensity estimation for a Cox process on a finite interval $[0,T]$, when the risk is given by the energy functional associated to some fractional Sobolev space $H^1_0\subset W^{α,2}\subset L^2$. In both situations, Cramer-Rao lower bounds are obtained, entailing in particular that no unbiased estimators with finite…
▽ More
We investigate the problems of drift estimation for a shifted Brownian motion and intensity estimation for a Cox process on a finite interval $[0,T]$, when the risk is given by the energy functional associated to some fractional Sobolev space $H^1_0\subset W^{α,2}\subset L^2$. In both situations, Cramer-Rao lower bounds are obtained, entailing in particular that no unbiased estimators with finite risk in $H^1_0$ exist. By Malliavin calculus techniques, we also study super-efficient Stein type estimators (in the Gaussian case).
△ Less
Submitted 6 July, 2015;
originally announced July 2015.
-
Well-posedness of Multidimensional Diffusion Processes with Weakly Differentiable Coefficients
Authors:
Dario Trevisan
Abstract:
We investigate well-posedness for martingale solutions of stochastic differential equations, under low regularity assumptions on their coefficients, widely extending some results first obtained by A. Figalli. Our main results are a very general equivalence between different descriptions for multidimensional diffusion processes, such as Fokker-Planck equations and martingale problems, under minimal…
▽ More
We investigate well-posedness for martingale solutions of stochastic differential equations, under low regularity assumptions on their coefficients, widely extending some results first obtained by A. Figalli. Our main results are a very general equivalence between different descriptions for multidimensional diffusion processes, such as Fokker-Planck equations and martingale problems, under minimal regularity and integrability assumptions, and new existence and uniqueness results for diffusions having weakly differentiable coefficients, by means of energy estimates and commutator inequalities. Our approach relies upon techniques recently developed, jointly with L. Ambrosio, to address well-posedness for ordinary differential equations in metric measure spaces: in particular, we employ in a systematic way new representations and inequalities for commutators between smoothing operators and diffusion generators.
△ Less
Submitted 25 August, 2015; v1 submitted 6 July, 2015;
originally announced July 2015.
-
Lecture notes on the DiPerna-Lions theory in abstract measure spaces
Authors:
Luigi Ambrosio,
Dario Trevisan
Abstract:
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 t…
▽ More
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.
△ Less
Submitted 12 September, 2016; v1 submitted 20 May, 2015;
originally announced May 2015.
-
A short proof of Stein's universal multiplier theorem
Authors:
Dario Trevisan
Abstract:
We give a short proof of Stein's universal multiplier theorem, purely by probabilistic methods, thus avoiding any use of harmonic analysis techniques (complex interpolation or transference methods).
We give a short proof of Stein's universal multiplier theorem, purely by probabilistic methods, thus avoiding any use of harmonic analysis techniques (complex interpolation or transference methods).
△ Less
Submitted 20 August, 2014;
originally announced August 2014.
-
Well posedness of Lagrangian flows and continuity equations in metric measure spaces
Authors:
Luigi Ambrosio,
Dario Trevisan
Abstract:
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 embedd…
▽ More
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.
△ Less
Submitted 1 December, 2014; v1 submitted 19 February, 2014;
originally announced February 2014.
-
Lagrangian flows driven by $BV$ fields in Wiener spaces
Authors:
Dario Trevisan
Abstract:
We establish the renormalization property for essentially bounded solutions of the continuity equation associated to $BV$ fields in Wiener spaces, with values in the associated Cameron-Martin space; thus obtaining, by standard arguments, new uniqueness and stability results for correspondent Lagrangian $L^\infty$-flows. An example related to Neumann elliptic problems is also discussed.
We establish the renormalization property for essentially bounded solutions of the continuity equation associated to $BV$ fields in Wiener spaces, with values in the associated Cameron-Martin space; thus obtaining, by standard arguments, new uniqueness and stability results for correspondent Lagrangian $L^\infty$-flows. An example related to Neumann elliptic problems is also discussed.
△ Less
Submitted 21 October, 2013;
originally announced October 2013.
-
Uncertainty inequalities on groups and homogeneous spaces via isoperimetric inequalities
Authors:
Gian Maria Dall'Ara,
Dario Trevisan
Abstract:
We prove a family of $L^p$ uncertainty inequalities on fairly general groups and homogeneous spaces, both in the smooth and in the discrete setting. The crucial point is the proof of the $L^1$ endpoint, which is derived from a general weak isoperimetric inequality.
We prove a family of $L^p$ uncertainty inequalities on fairly general groups and homogeneous spaces, both in the smooth and in the discrete setting. The crucial point is the proof of the $L^1$ endpoint, which is derived from a general weak isoperimetric inequality.
△ Less
Submitted 14 April, 2014; v1 submitted 5 August, 2013;
originally announced August 2013.
-
Zero noise limits using local times
Authors:
Dario Trevisan
Abstract:
We consider a well-known family of SDEs with irregular drifts and the correspondent zero noise limits. Using (mollified) local times, we show which trajectories are selected. The approach is completely probabilistic and relies on elementary stochastic calculus only.
We consider a well-known family of SDEs with irregular drifts and the correspondent zero noise limits. Using (mollified) local times, we show which trajectories are selected. The approach is completely probabilistic and relies on elementary stochastic calculus only.
△ Less
Submitted 28 January, 2013;
originally announced January 2013.
-
BV-regularity for the Malliavin Derivative of the Maximum of the Wiener Process
Authors:
Dario Trevisan
Abstract:
We prove that, on the classical Wiener space, the random variable $\sup_{0\le t \le T} W_t$ admits a measure as second Malliavin derivative, whose total variation measure is finite and singular w.r.t.\ the Wiener measure.
We prove that, on the classical Wiener space, the random variable $\sup_{0\le t \le T} W_t$ admits a measure as second Malliavin derivative, whose total variation measure is finite and singular w.r.t.\ the Wiener measure.
△ Less
Submitted 7 January, 2013;
originally announced January 2013.
-
BV-capacities on Wiener Spaces and Regularity of the Maximum of the Wiener Process
Authors:
Dario Trevisan
Abstract:
We define a capacity C on abstract Wiener spaces and prove that, for any u with bounded variation, the total variation measure |Du| is absolutely continuous with respect to C: this enables us to extend the usual rules of calculus in many cases dealing with BV functions. As an application, we show that, on the classical Wiener space, the random variable sup_{0\leqt\leqT} W_t admits a measure as sec…
▽ More
We define a capacity C on abstract Wiener spaces and prove that, for any u with bounded variation, the total variation measure |Du| is absolutely continuous with respect to C: this enables us to extend the usual rules of calculus in many cases dealing with BV functions. As an application, we show that, on the classical Wiener space, the random variable sup_{0\leqt\leqT} W_t admits a measure as second derivative, whose total variation measure is singular w.r.t. the Wiener measure.
△ Less
Submitted 7 January, 2013; v1 submitted 30 April, 2012;
originally announced April 2012.
-
Functions of Bounded Variation on the Classical Wiener Space and an Extended Ocone-Karatzas Formula
Authors:
Maurizio Pratelli,
Dario Trevisan
Abstract:
We prove an extension of the Ocone-Karatzas integral representation, valid for all $BV$ functions on the classical Wiener space. We establish also an elementary chain rule formula and combine the two results to compute explicit integral representations for some classes of $BV$ composite random variables.
We prove an extension of the Ocone-Karatzas integral representation, valid for all $BV$ functions on the classical Wiener space. We establish also an elementary chain rule formula and combine the two results to compute explicit integral representations for some classes of $BV$ composite random variables.
△ Less
Submitted 2 October, 2011; v1 submitted 23 September, 2011;
originally announced September 2011.