The quasi-invariance is proved for the distributions of Poisson point processes under a random shift map on the path space. This leads to a natural Dirichlet form of jump type on the path space. Differently from the O-U Dirichlet form on the Wiener space satisfying the log-Sobolev inequality, this Dirichlet form merely satisfies the Poincare inequality but not the log-Sobolev one.
By using the Mecke identity, we study a class of birth-death type Dirichlet forms associated with the mixed Poisson measure. Both Poincaré and weak Poincaré inequalities are established, while another Poincaré type inequality is disproved under some reasonable assumptions.
In this short note we give a refinement of Brascamp-Lieb in the style of Houdre-Kagan extension for Poincare inequality in one dimension. This is inspired by works of Helffer and Ledoux.
We show how to use Lyapunov functions to obtain functional inequalities which are stronger than Poincaré inequality (for instance logarithmic Sobolev or $F$-Sobolev). The case of Poincaré and weak Poincaré inequalities was studied in Bakry and al. This approach allows us to recover and extend in an unified way some known criteria in the euclidean case (Bakry-Emery, Wang, Kusuoka-Stroock ...).
Extending the approach of the paper [Mathieu, P. (1997) Hitting times and spectral gap inequalities, Ann. Inst. Henri Poincare 33, 4, 437 -- 465], we prove that the Poincare inequality for a (possibly non-symmetric) Markov process yields the exponential integrability of the hitting times of this process. For symmetric elliptic diffusions, this provides a criterion for the Poincare inequality in the terms of hitting times.
We investigate properties of measures in infinite dimensional spaces in terms of Poincaré inequalities. A Poincaré inequality states that the $L^2$ variance of an admissible function is controlled by the homogeneous $H^1$ norm. In the case of Loop spaces, it was observed by L. Gross that the homogeneous $H^1$ norm alone may not control the $L^2$ norm and a potential term involving the end value of the Brownian bridge is introduced. Aida, on the other hand, introduced a weight on the Dirichlet form. We show that Aida's modified Logarithmic Sobolev inequality implies weak Logarithmic Sobolev Ine…
This paper is concerned with a class of singular stable-like Dirichlet forms on $\R^d$, which are generated by $d$ independent copies of a one-dimensional symmetric $α$-stable process, and whose Lévy jump kernel measure is concentrated on the union of the coordinate axes. Explicit and sharp criteria for Poincaré inequality, super Poincaré inequality and weak Poincaré inequality of such singular Dirichlet forms are presented. When the reference measure is a product measure on $\R^d$, we also consider the entropy inequality for the associated Dirichlet forms, which is similar to the log-Sobolev …
We extend a Gaussian functional inequality to a countable product of Gaussian measures. This inequality improves on the classical Poincare inequality for Gaussian measures. As an application, we prove that First Passage Percolation has sublinear variance when the edge times distribution belongs to a wide class of continuous distributions, including the exponential one. This extends a result by Benjamini, Kalai and Schramm, valid for positive Bernoulli edge times.
We generalize the Beckner's type Poincaré inequality \cite{Beckner} to a large class of probability measures on an abstract Wiener space of the form $μ\starν$, where $μ$ is the reference Gaussian measure and $ν$ is a probability measure satisfying a certain integrability condition. As the Beckner inequality interpolates between the Poincaré and logarithmic Sobolev inequalities, we utilize a family of products for functions which interpolates between the usual point-wise multiplication and the Wick product. Our approach is based on the positivity of a quadratic form involving Wick powers and in…
We prove that a probability measure on an abstract metric space satisfies a non trivial dimension free concentration inequality for the $\ell_2$ metric if and only if it satisfies the Poincaré inequality.
We establish new explicit bounds on the Gaussian approximation of Poisson functionals based on novel estimates of moments of Skorohod integrals. Combining these with the Malliavin-Stein method, we derive bounds in the Wasserstein and Kolmogorov distances whose application requires minimal moment assumptions on add-one cost operators $\unicode{x2014}$ thereby extending the results from (Last, Peccati and Schulte, 2016). Our applications include a CLT for the Online Nearest Neighbour graph, whose validity was conjectured in (Wade, 2009; Penrose and Wade, 2009). We also apply our techniques to de…
We prove a new class of inequalities, yielding bounds for the normal approximation in the Wasserstein and the Kolmogorov distance of functionals of a general Poisson process (Poisson random measure). Our approach is based on an iteration of the classical Poincaré inequality, as well as on the use of Malliavin operators, of Stein's method, and of an (integrated) Mehler's formula, providing a representation of the Ornstein-Uhlenbeck semigroup in terms of thinned Poisson processes. Our estimates only involve first and second order differential operators, and have consequently a clear geometric in…
For any $N\ge 2$ and $å:=(å_1,\cdots, å_{N+1})\in (0,\infty)^{N+1}$, let $μ^{(N)}_å$ be the corresponding Dirichlet distribution on $\DD:= \big\{ x=(x_i)_{1\le i\le N}\in [0,1]^N:\ \sum_{1\le i\le N} x_i\le 1\big\}.$ We prove the Poincaré inequality $$μ^{(N)}_å(f^2)\le \ff 1 {å_{N+1}} \int_{\DD}\Big\{\Big(1-\sum_{1\le i\le N} x_i\Big) \sum_{n=1}^N x_n(\pp_n f)^2\Big\}μ^{(N)}_å(\d x)+μ^{(N)}_å(f)^2,\ f\in C^1(\DD)$$ and show that the constant $\ff 1 {å_{N+1}}$ is sharp. Consequently, the associated diffusion process on $\DD$ converges to $μ^{(N)}_å$ in $L^2(μ^{(N)}_å)$ at the exponentially rate…
Inspired by the idea of stochastic quantization proposed by Parisi and Wu, we construct the transition probability matrix which plays a central role in the renormalization group through a stochastic differential equation. By establishing the discrete time stochastic dynamics, the renormalization procedure can be characterized from the perspective of probability. Hence, we will focus on the investigation of the infinite dimensional stochastic dynamic. From the stochastic point of view, the discrete time stochastic dynamic can induce a Markov chain. Via calculating the square field operator and …
We prove that for symmetric Markov processes of diffusion type admitting a "carré du champ", the Poincaré inequality is equivalent to the exponential convergence of the associated semi-group in one (resp. all) $Ł^p(μ)$ spaces for $p\in (1,+\infty)$. Part of this result extends to the stationary non necessarily symmetric situation.
This paper proves the strong parabolic Harnack inequality for local weak solutions to the heat equation associated with time-dependent (nonsymmetric) bilinear forms. The underlying metric measure Dirichlet space is assumed to satisfy the volume doubling condition, the strong Poincaré inequality, and a cutoff Sobolev inequality. The metric is not required to be geodesic. Further results include a weighted Poincaré inequality, as well as upper and lower bounds for non-symmetric heat kernels.
We give a direct rigorous proof of the Kearns--Saul inequality which bounds the Laplace transform of a generalised Bernoulli random variable. We extend the arguments to generalised Poisson-binomial distributions and characterise the set of parameters such that an analogous inequality holds for the sum of two generalised Bernoulli random variables.
The aim of the paper is to study the pinned Wiener measure on the loop space over a simply connected compact Riemannian manifold together with the Hilbert space structure induced by Mallianvin calculus and the induced Ornstein- Uhlenbeck operator. We give a concrete estimate for the weak Poincare inequality for the O-U Dirichlet form on loop space over simply connected compact Riemannian manifold with strict positive Ricci curvature.
An upper bound for the Wasserstein distance is provided in the general framework of the Wiener-Poisson space. Is obtained from this bound a second order Poincaré-type inequality which is useful in terms of computations. For completeness sake, is made a survey of these results on the Wiener space, the Poisson space, and the Wiener-Poisson space, and showed several applications to central limit theorems with relevant examples: linear functionals of Gaussian subordinated field (where the subordinated field can be processes like fractional Brownian motion or the solution of the Ornstein-Uhlenbeck …
In this paper we study global Poincare inequalities on balls in a large class of sub-Riemannian manifolds satisfying the generalized curvature dimension inequality introduced by F.Baudoin and N.Garofalo. As a corollary, we prove the uniqueness of solutions for the subelliptic heat equation. Our results apply in particular to CR Sasakian manifolds with Tanaka-Webster-Ricci curvature bounded from below and Carnot groups of step two.
By adapting some ideas of M. Ledoux \cite{ledoux2}, \cite{ledoux-stflour} and \cite{Led} to a sub-Riemannian framework we study Sobolev, Poincaré and isoperimetric inequalities associated to subelliptic diffusion operators that satisfy the generalized curvature dimension inequality that was introduced by F. Baudoin and N. Garofalo in \cite{Bau2}. Our results apply in particular on all CR Sasakian manifolds whose horizontal Webster-Tanaka-Ricci curvature is non negative, all Carnot groups with step two, and wide subclasses of principal bundles over Riemannian manifolds whose Ricci curvature is …
The paper is a continuation of our paper [12,2], and it studies functional inequalities for non-local Dirichlet forms with finite range jumps or large jumps. Let $α\in(0,2)$ and $μ_V(dx)=C_Ve^{-V(x)}\,dx$ be a probability measure. We present explicit and sharp criteria for the Poincaré inequality and the super Poincaré inequality of the following non-local Dirichlet form with finite range jump $$\mathscr{E}_{α, V}(f,f):= (1/2)\iint_{|x-y|\le 1}\frac{(f(x)-f(y))^2}{|x-y|^{d+α}} dy μ_V(dx);$$ on the other hand, we give sharp criteria for the Poincaré inequality of the non-local Dirichlet form wi…
We prove an optimal reverse Poincaré inequality for the heat semigroup generated by the sub-Laplacian on a Carnot group of any step. As an application we give new proofs of the isoperimetric inequality and of the boundedness of the Riesz transform in Carnot groups.
We improve the constant $\fracπ{2}$ in $L^1$-Poincaré inequality on Hamming cube. For Gaussian space the sharp constant in $L^1$ inequality is known, and it is $\sqrt{\fracπ{2}}$. For Hamming cube the sharp constant is not known, and $\sqrt{\fracπ{2}}$ gives an estimate from below for this sharp constant. On the other hand, L. Ben Efraim and F. Lust-Piquard have shown an estimate from above: $C_1\le \fracπ{2}$. There are at least two other independent proofs of the same estimate from above (we write down them in this note). Since those proofs are very different from the proof of Ben Efraim and…