Related papers: Dimension-free log-Sobolev inequalities for mixtur…

We develop the optimal transportation approach to modified log-Sobolev inequalities and to isoperimetric inequalities. Various sufficient conditions for such inequalities are given. Some of them are new even in the classical log-Sobolev…

In this note we connect Sobolev estimates in the context of polynomial averages e.g. \[ \| \int_0^1 \prod_{k=1}^m f_k(x-t^k) \|_{1} \leq \text{Const} \cdot 2^{-\text{const} \cdot l} \prod_{i=1}^m \| f_k \|_m \] whenever some $f_i$ vanishes…

We consider a system of dependent Poisson variables, where each variable is the sum of an independent variate and a common variate. It is the common variate that creates the dependence. Within this system, a test of independence may be…

It is proved that if $G=G_1*_{G_3}G_2$ is free product of probability measure preserving $s$-regular ergodic discrete groupoids amalgamated over an amenable subgroupoid $G_3$, then the sofic dimension $s(G)$ satisfies the equality \[…

We establish a new global endpoint Sobolev inequality for measures that extends the classical theorem of Meyers-Ziemer by placing a maximal function on the right-hand side. This result has several significant consequences. It extends…

This is a continuation of our previous work 0712.4092. It is well known that various isoperimetric inequalities imply their functional ``counterparts'', but in general this is not an equivalence. We show that under certain convexity…

In 2002, it was conjectured that a free divisor satisfying the so-called Logarithmic Comparison Theorem (LCT) must be strongly Euler-homogeneous. Today, it is known to be true only in ambient dimension less or equal than three or assuming…

Optimal higher-order Sobolev type embeddings are shown to follow via isoperimetric inequalities. This establishes a higher-order analogue of a well-known link between first-order Sobolev embeddings and isoperimetric inequalities. Sobolev…

The transition maps for a Sobolev $G$-bundle are not continuous in the critical dimension and thus the usual notion of topology does not make sense. In this work, we show that if such a bundle $P$ is equipped with a Sobolev connection $A$,…

We extend to arbitrary measures results of Bao, Erd\"os, Schnelli, Moreillon, and Ji on the connectedness of the supports of additive convolutions of measures on \mathbb{R} and of free multiplicative convolutions of measures on…

We consider the 2-dimensional random matching problem in $\mathbb{R}^2.$ In a challenging paper, Caracciolo et. al. arXiv:1402.6993 on the basis of a subtle linearization of the Monge Ampere equation, conjectured that the expected value of…

Let $f$ be an analytic polynomial of degree at most $K-1$. A classical inequality of Bernstein compares the supremum norm of $f$ over the unit circle to its supremum norm over the sampling set of the $K$-th roots of unity. Many extensions…

Under general assumptions on the target distribution $p^\star$, we establish a sharp Lipschitz regularity theory for flow-matching vector fields and diffusion-model scores, with optimal dependence on time and dimension. As applications, we…

In this paper, we give necessary and sufficient conditions for Talagrand's like transportation cost inequalities on the real line. This brings a new wide class of examples of probability measures enjoying a dimension-free concentration of…

Motivated, in part, by the desire to develop an information-theoretic foundation for compound Poisson approximation limit theorems (analogous to the corresponding developments for the central limit theorem and for simple Poisson…

Let $\mu$ be a probability measure on the real line. In this paper we prove that there exists a decomposition $\mu = \mu_{0} \boxplus \mu_{1} \boxplus \... \boxplus \mu_{n} \boxplus \...$ such that $\mu_{0}$ is infinitely divisible and…

The nonlinear Schr\"odinger equation NLSE(p, \beta), -iu_t=-u_{xx}+\beta | u|^{p-2} u=0, arises from a Hamiltonian on infinite-dimensional phase space \Lp^2(\mT). For p\leq 6, Bourgain (Comm. Math. Phys. 166 (1994), 1--26) has shown that…

While studying set function properties of Lebesgue measure, F. Barthe and M. Madiman proved that Lebesgue measure is fractionally superadditive on compact sets in $\mathbb{R}^n$. In doing this they proved a fractional generalization of the…

We prove the following type of discrete entropy monotonicity for sums of isotropic, log-concave, independent and identically distributed random vectors $X_1,\dots,X_{n+1}$ on $\mathbb{Z}^d$: $$ H(X_1+\cdots+X_{n+1}) \geq H(X_1+\cdots+X_{n})…

Let $\mu$ be a planar self-similar measure with similarity dimension exceeding $1$, satisfying a mild separation condition, and such that the fixed points of the associated similitudes do not share a common line. Then, we prove that the…