Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userOn a Kantorovich-Rubinstein inequality
142
0
0.0
(
0
)
Authors
Stefan Steinerberger
Ask ChatGPT about the research
No Arabic abstract
An easy consequence of Kantorovich-Rubinstein duality is the following: if $f:[0,1]^d rightarrow infty$ is Lipschitz and $left{x_1, dots, x_N right} subset [0,1]^d$, then $$ left| int_{[0,1]^d} f(x) dx - frac{1}{N} sum_{k=1}^{N}{f(x_k)} right| leq left| abla f right|_{L^{infty}} cdot W_1left( frac{1}{N} sum_{k=1}^{N}{delta_{x_k}} , dxright),$$ where $W_1$ denotes the $1-$Wasserstein (or Earth Movers) Distance. We prove another such inequality with a smaller norm on $ abla f$ and a larger Wasserstein distance. Our inequality is sharp when the points are very regular, i.e. $W_{infty} sim N^{-1/d}$. This prompts the question whether these two inequalities are specific instances of an entire underlying family of estimates capturing a duality between transport distance and function space.
rate research
Read More
We establish a sharp moment comparison inequality between an arbitrary negative moment and the second moment for sums of independent uniform random variables, which extends Balls cube slicing inequality.
We give a transport proof of a discrete version of the displacement convexity of entropy on integers (Z), and get, as a consequence, two discrete forms of the Pr{e}kopa-Leindler Inequality : the Four Functions Theorem of Ahlswede and Daykin on the discrete hypercube [1] and a recent result on Z due to Klartag and Lehec [16].
In earlier work, we had introduced the Kantorovich probability monad on complete metric spaces, extending a construction due to van Breugel. Here we extend the Kantorovich monad further to a certain class of ordered metric spaces, by endowing the spaces of probability measures with the usual stochastic order. It can be considered a metric analogue of the probabilistic powerdomain. The spaces we consider, which we call L-ordered, are spaces where the order satisfies a mild compatibility condition with the metric itself, rather than merely with the underlying topology. As we show, this is related to the theory of Lawvere metric spaces, in which the partial order structure is induced by the zero distances. We show that the algebras of the ordered Kantorovich monad are the closed convex subsets of Banach spaces equipped with a closed positive cone, with algebra morphisms given by the short and monotone affine maps. Considering the category of L-ordered metric spaces as a locally posetal 2-category, the lax and oplax algebra morphisms are exactly the concave and convex short maps, respectively. In the unordered case, we had identified the Wasserstein space as the colimit of the spaces of empirical distributions of finite sequences. We prove that this extends to the ordered setting as well by showing that the stochastic order arises by completing the order between the finite sequences, generalizing a recent result of Lawson. The proof holds on any metric space equipped with a closed partial order.
In comparing geodesics induced by different metrics, Audenaert formulated the following determinantal inequality $$det(A^2+|BA|)le det(A^2+AB),$$ where $A, B$ are $ntimes n$ positive semidefinite matrices. We complement his result by proving $$det(A^2+|AB|)ge det(A^2+AB).$$ Our proofs feature the fruitful interplay between determinantal inequalities and majorization relations. Some related questions are mentioned.
In this paper, we prove a Prekopa-Leindler type inequality of the $L_p$ Brunn-Minkowski inequality. It extends an inequality proved by Das Gupta [8] and Klartag [16], and thus recovers the Prekopa-Leindler inequality. In addition, we prove a functional $L_p$ Minkowski inequality.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
