Various Poincare-Sobolev type inequalities are studied for a reaction-diffusion model of particle systems on Polish spaces. The systems we consider consist of finite particles which are killed or produced at certain rates, while particles in the system move on the Polish space interacting with one another (i.e. diffusion). Thus, the corresponding Dirichlet form, which we call reaction-diffusion Dirichlet form, consists of two parts: the diffusion part induced by certain Markov processes on the product spaces $E^n (n \geq 1)$ which determine the motion of particles, and the reaction part induced by a $Q$-process on $\mathbb Z_+$ and a sequence of reference probability measures, where the $Q$-process determines the variation of the number of particles and the reference measures describe the locations of newly produced particles. We prove that the validity of Poincare and weak Poincare inequalities are essentially due to the pure reaction part, i.e. either of these inequalities holds if and only if it holds for the pure reaction Dirichlet form, or equivalently, for the corresponding $Q$-process. But under a mild condition, stronger inequalities rely on both parts: the reaction-diffusion Dirichlet form satisfies a super Poincare inequality (e.g. the log-Sobolev inequality) if and only if so do both the corresponding $Q$-process and the diffusion part. Explicit estimates of constants in the inequalities are derived. Finally, some specific examples are presented to illustrate the main results.
This paper is devoted to studying the average optimality in continuous-time Markov decision processes with fairly general state and action spaces. The criterion to be maximized is expected average rewards. The transition rates of underlying continuous-time jump Markov processes are allowed to be unbounded, and the reward rates may have neither upper nor lower bounds. We first provide two optimality inequalities with opposed directions, and also give suitable conditions under which the existence of solutions to the two optimality inequalities is ensured. Then, from the two optimality inequaliti…
For a stochastic process with state space some Polish space, this paper gives sufficient conditions on the initial and conditional distributions for the joint law to satisfy Gaussian concentration inequalities, transportation inequalities and also logarithmic Sobolev inequalities in the case of the Euclidean space. In several cases, the obtained constants are of optimal order of growth with respect to the number of variables, or are independent of this number. These results extend results known for mutually independent variables to weakly dependent variables under Dobrushin-Shlosman type condi…
In this paper, we derive sharp nonlinear dimension-free Brascamp--Lieb inequalities (including hypercontractivity inequalities) for distributions on Polish spaces, which strengthen the classic Brascamp--Lieb inequalities. Applications include the extension of Mrs. Gerber's lemma to the cases of Rényi divergences and distributions on Polish spaces, the strengthening of small-set expansion theorems, and the characterization of the exponent of the $q$-stability. Our proofs in this paper are based on information-theoretic and coupling techniques.
In this article, new curvature conditions are introduced to establish functional inequalities including gradient estimates, Harnack inequalities and transportation-cost inequalities on manifolds with non-convex boundary.
Let $\MM$ be the space of finite measures on a Locally compact Polish space, and let $\BG$ be the Gamma distribution on $\MM$ with intensity measure $ν\in \MM$. Let $\nn^{ext}$ be the extrinsic derivative with tangent bundle $T\MM= \cup_{η\in\MM} L^2(η)$, and let $\GA: T\MM\to T\MM$ be measurable such that $\GA_η$ is a positive definite linear operator on $L^2(η)$ for every $η\in \MM$. Moreover, for a measurable function $V$ on $\MM$, let $\d\BG^V= \e^V\d\BG$. We investigate the Poincaré, weak Poincaré and super Poincaré inequalities for the Dirichlet form $$\EE_{\GA,V}(F,G):= \int_\MM \<\GA_η…
Let $X$ be a Harris recurrent strong Markov process in continuous time with general Polish state space $E,$ having invariant measure $μ.$ In this paper we use the regeneration method to derive non asymptotic deviation bounds for $$P_{x} (|\int_0^tf(X_s)ds|\geq t^{\frac12 + η} \ge)$$ in the positive recurrent case, for nice functions $f$ with $μ(f) =0 $ ($f$ must be a charge). We generalize these bounds to the fully null-recurrent case in the moderate deviations regime. We obtain a Gaussian contentration bound for all functions $f$ which are a charge. The rate of convergence is expressed in ter…
In this article, functional inequalities for diffusion semigroups on Riemannian manifolds (possibly with boundary) are established, which are equivalent to pinched Ricci curvature, along with gradient estimates, $L^p$-inequalities and log-Sobolev inequalities. These results are further extended to differential manifolds carrying geometric flows. As application, it is shown that they can be used in particular to characterize general geometric flow and Ricci flow by functional inequalities.
We show that certain functional inequalities, e.g.\ Nash-type and Poincaré-type inequalities, for infinitesimal generators of $C_0$ semigroups are preserved under subordination in the sense of Bochner. Our result improves \cite[Theorem 1.3]{BM} by A.\ Bendikov and P.\ Maheux for fractional powers, and it also holds for non-symmetric settings. As an application, we will derive hypercontractivity, supercontractivity and ultracontractivity of subordinate semigroups.
A class of functional differential equations are investigated. Using the Girsanov-transformation argument we establish the quadratic transportation cost inequalities for a class of finite-dimensional neutral functional stochastic differential equations and infinite-dimensional neutral functional stochastic partial differential equations under different metrics.
We continue our investigation on the transportation-information inequalities $W_pI$ for a symmetric markov process, introduced and studied in \cite{GLWY}. We prove that $W_pI$ implies the usual transportation inequalities $W_pH$, then the corresponding concentration inequalities for the invariant measure $μ$. We give also a direct proof that the spectral gap in the space of Lipschitz functions for a diffusion process implies $W_1I$ (a result due to \cite{GLWY}) and a Cheeger type's isoperimetric inequality. Finally we exhibit relations between transportation-information inequalities and a fami…
Using coupling by change of measure and an approximation technique, Wang's Harnack inequalities are established for a class of functional SDEs driven by subordinate Brownian motions. The results cover the corresponding ones in the case without delay.
By using Girsanov transformation and martingale representation, Talagrand-type transportation cost inequalities, with respect to both the uniform and the $L^2$ distances on the global free path space, are established for the segment process associated to a class of neutral functional stochastic differential equations. Neutral functional stochastic partial differential equations are also investigated.
In this article, we consider the space of càdlàg loops on a Polish space $S$. The loop space can be equipped with a ``Skorokhod'' metric. Moreover, it is Polish under this metric. Our main result is to prove that the Borel-$σ$-field on the space of loops is generated by a class of loop functionals: the multi-occupation field. This result generalizes the result in the discrete case, see \cite{loop}.
By using coupling arguments, Harnack type inequalities are established for a class of stochastic (functional) differential equations with multiplicative noises and non-Lipschitzian coefficients. To construct the required couplings, two results on existence and uniqueness of solutions on an open domain are presented.
Non-Gaussian concentration estimates are obtained for invariant probability measures of reversible Markov processes. We show that the functional inequalities approach combined with a suitable Lyapunov condition allows us to circumvent the classical Lipschitz assumption of the observables. Our method is general and covers diffusions as well as pure-jump Markov processes on unbounded spaces.
In a companion article we have introduced a notion of multiscale functional inequalities for functions $X(A)$ of an ergodic stationary random field $A$ on the ambient space $\mathbb R^d$. These inequalities are multiscale weighted versions of standard Poincaré, covariance, and logarithmic Sobolev inequalities. They hold for all the examples of fields $A$ arising in the modelling of heterogeneous materials in the applied sciences whereas their standard versions are much more restrictive. In this contribution we first investigate the link between multiscale functional inequalities and more stand…
Using the renewal approach we prove exponential inequalities for additive functionals and empirical processes of ergodic Markov chains, thus obtaining counterparts of inequalities for sums of independent random variables. The inequalities do not require functions of the chain to be bounded and moreover all the involved constants are given by explicit formulas whenever the usual drift condition holds, which may be of interest in practical applications e.g. to MCMC algorithms.
In this paper we deal with free functional inequalities on the circle. There are some interesting changes as opposed to the classical case. For example, the free Poincaré inequality has a slight change which seems to account for the lack of invariance under rotations of the base measure. Another instance is the modified Wasserstein distance on the circle which provides the tools for analyzing transportation, Log-Sobolev, and HWI inequalities. These new phenomena also indicate that they have a classical counterpart, which does not seem to have been investigated before.
Consider an ergodic stationary random field $A$ on the ambient space $\mathbb R^d$. In a companion article, we introduced the notion of multiscale (first-order) functional inequalities, which extend standard functional inequalities like Poincaré, covariance, and logarithmic Sobolev inequalities in the probability space, while still ensuring strong concentration properties. We also developed a constructive approach to these functional inequalities, proving their validity for prototypical examples including Gaussian fields, Poisson random tessellations, and random sequential adsorption (RSA) mod…
Consider an ergodic stationary random field $A$ on the ambient space $\mathbb R^d$. In order to establish concentration properties for nonlinear functions $Z(A)$, it is standard to appeal to functional inequalities like Poincaré or logarithmic Sobolev inequalities in the probability space. These inequalities are however only known to hold for a restricted class of laws (product measures, Gaussian measures with integrable covariance, or more general Gibbs measures with nicely behaved Hamiltonians). In this contribution, we introduce variants of these inequalities, which we refer to as multiscal…
Using finite difference operators, we define a notion of boundary and surface measure for configuration sets under Poisson measures. A Margulis-Russo type identity and a co-area formula are stated with applications to deviation inequalities and functional inequalities, and bounds are obtained on the associated isoperimetric constants.
According to the theory of functional inequalities, a non-symmetric Markov semigroup has better properties than the corresponding symmetric one. For instance, there exist non-symmetric Markov semigroups which are hypercontractive (and thus converge exponentially in both $L^2$ and entropy), but the symmetric ones are even not ergodic. In this paper, we aim to search for reasonable conditions to ensure that a non-symmetric Markov semigroup and its symmetrization share the properties of exponential convergence, uniform integrability, hypercontractivity, and supercontractivity. Since in the symmet…
This work shows how exponential concentration inequalities for additive functionals of stochastic processes over a finite time interval can be derived from concentration inequalities for martingales. The approach is entirely probabilistic and naturally includes time-inhomogeneous and non-stationary processes as well as initial laws concentrated on a single point. The class of processes studied includes martingales, Markov processes and general square integrable processes. The general approach is complemented by a simple and direct method for martingales, diffusions and discrete-time Markov pro…
By constructing a new coupling, the log-Harnack inequality is established for the functional solution of a delay stochastic differential equation with multiplicative noise. As applications, the strong Feller property and heat kernel estimates w.r.t. quasi-invariant probability measures are derived for the associated transition semigroup of the solution. The dimension-free Harnack inequality in the sense of \cite{W97} is also investigated.
In this article we derive Talagrand's $T_2$ inequality on the path space w.r.t. the maximum norm for various stochastic processes, including solutions of one-dimensional stochastic differential equations with measurable drifts, backward stochastic differential equations, and the value process of optimal stopping problems. The proofs do not make use of the Girsanov method, but of pathwise arguments. These are used to show that all our processes of interest are Lipschitz transformations of processes which are known to satisfy desired functional inequalities.
Let $μ$ and $ν$ be two probability measures on $\R^d$, where $μ(\d x)= \e^{-V(x)}\d x$ for some $V\in C^1(\R^d)$. Explicit sufficient conditions on $V$ and $ν$ are presented such that $μ*ν$ satisfies the log-Sobolev, Poincaré and super Poincaré inequalities. In particular, the recent results on the log-Sobolev inequality derived in \cite{Z} for convolutions of the Gaussian measure and compactly supported probability measures are improved and extended.
Information-theory based variational principles have proven effective at providing scalable uncertainty quantification (i.e. robustness) bounds for quantities of interest in the presence of nonparametric model-form uncertainty. In this work, we combine such variational formulas with functional inequalities (Poincar{é}, $\log$-Sobolev, Liapunov functions) to derive explicit uncertainty quantification bounds for time-averaged observables, comparing a Markov process to a second (not necessarily Markov) process. These bounds are well-behaved in the infinite-time limit and apply to steady-states of…
In recent years, a number of functional inequalities have been derived for Poisson random measures, with a wide range of applications. In this paper, we prove that such inequalities can be extended to the setting of marked temporal point processes, under mild assumptions on their Papangelou conditional intensity. First, we derive a Poincaré inequality. Second, we prove two transportation cost inequalities. The first one refers to functionals of marked point processes with a Papangelou conditional intensity and is new even in the setting of Poisson random measures. The second one refers to the …
The existence and uniqueness of the mild solutions for a class of degenerate functional SPDEs are obtained, where the drift is assumed to be Hölder-Dini continuous. Moreover, the non-explosion of the solution is proved under some reasonable conditions. In addition, the Harnack is derived by the coupling by change of measure. Finally, the shift Harnack inequality is obtained for the equations without delay, which is new even in the non-degenerate case.
In a statistical mechanics model with unbounded spins, we prove uniqueness of the Gibbs measure under various assumptions on finite volume functional inequalities. We follow the approach of G. Royer (1999) and obtain uniqueness by showing convergence properties of a Glauber-Langevin dynamics. The result was known when the measures on the box $[-n,n]^d$ (with free boundary conditions) satisfied the same logarithmic Sobolev inequality. We generalize this in two directions: either the constants may be allowed to grow sub-linearly in the diameter, or we may suppose a weaker inequality than log-Sob…
In this paper we prove multilevel concentration inequalities for bounded functionals $f = f(X_1, \ldots, X_n)$ of random variables $X_1, \ldots, X_n$ that are either independent or satisfy certain logarithmic Sobolev inequalities. The constants in the tail estimates depend on the operator norms of $k$-tensors of higher order differences of $f$. We provide applications in both dependent and independent random variables. This includes deviation inequalities for empirical processes $f(X) = \sup_{g \in \mathcal{F}} \lvert g(X) \rvert$ and suprema of homogeneous chaos in bounded random variables in…
We prove new concentration estimates for random variables that are functionals of a Poisson measure defined on a general measure space. Our results are specifically adapted to geometric applications, and are based on a pervasive use of a powerful logarithmic Sobolev inequality proved by L. Wu (2000), as well as on several variations of the so-called Herbst argument. We provide several applications, in particular to edge counting and more general length power functionals in random geometric graphs, as well as to the convex distance for random point measures recently introduced by M. Reitzner (2…
In this paper, we establish concentration inequalities both for functionals of the whole solution on an interval [0, T ] of an additive SDE driven by a fractional Brownian motion with Hurst parameter H $\in$ (0, 1) and for functionals of discrete-time observations of this process. Then, we apply this general result to specific functionals related to discrete and continuous-time occupation measures of the process.
We compute characteristic functionals of Dirichlet-Ferguson measures over a locally compact Polish space and prove continuous dependence of the random measure on the parameter measure. In finite dimension, we identify the dynamical symmetry algebra of the characteristic functional of the Dirichlet distribution with a simple Lie algebra of type $A$. We study the lattice determined by characteristic functionals of categorical Dirichlet posteriors, showing that it has a natural structure of weight Lie algebra module and providing a probabilistic interpretation. A partial generalization to the cas…
Following the recent work [13] fulfilled in the discrete case, we pro- vide in this paper new intertwining relations for semigroups of one-dimensional diffusions. Various applications of these results are investigated, among them the famous variational formula of the spectral gap derived by Chen and Wang [15] together with a new criterion ensuring that the logarithmic Sobolev inequality holds. We complete this work by revisiting some classical examples, for which new estimates on the optimal constants are derived.
We review here some recent results by the authors, and various coauthors, on (weak,super) Poincaré inequalities, transportation-information inequalities or logarithmic Sobolev inequality via a quite simple and efficient technique: Lyapunov conditions.
We prove a stochastic formula for the Gaussian relative entropy in the spirit of Borell's formula for the Laplace transform. As an application, we give unified and short proofs of a number of functional inequalities.
This work is devoted to direct mass transportation proofs of families of functional inequalities in the context of one-dimensional free probability, avoiding random matrix approximation. The inequalities include the free form of the transportation, Log-Sobolev, HWI interpolation and Brunn-Minkowski inequalities for strictly convex potentials. Sharp constants and some extended versions are put forward. The paper also addresses two versions of free Poincaré inequalities and their interpretation in terms of spectral properties of Jacobi operators. The last part establishes the corresponding inequ…
With direct and simple proofs, we establish Poincaré type inequalities (including Poincaré inequalities, weak Poincaré inequalities and super Poincaré inequalities), entropy inequalities and Beckner-type inequalities for non-local Dirichlet forms. The proofs are efficient for non-local Dirichlet forms with general jump kernel, and also work for $L^p (p>1)$ settings. Our results yield a new sufficient condition for fractional Poincaré inequalities, which were recently studied in \cite{MRS,Gre}. To our knowledge this is the first result providing entropy inequalities and Beckner-type inequalitie…
For sub-Riemannian manifolds with a chosen complement, we first establish the derivative formula and integration by parts formula on path space with respect to a natural gradient operator. By using these formulae, we then show that upper and lower bounds of the horizontal Ricci curvature correspond to functional inequalities on path space analogous to what has been established in Riemannian geometry by Aaron Naber, such as gradient inequalities, log-Sobolev and Poincaré inequalities.
We prove intertwining relations by twisted gradients for Markov semi-groups. These relations are applied to Brascamp-Lieb type inequalities and spectral gap results. It generalizes the results of [1] from the Euclidean space to Riemannian manifolds and to non symmetric twisted operators.
The use of Lyapunov conditions for proving functional inequalities was initiated in [5]. It was shown in [4, 30] that there is an equivalence between a Poincar{é} inequality, the existence of some Lyapunov function and the exponential integrability of hitting times. In the present paper, we close the scheme of the interplay between Lyapunov conditions and functional inequalities by $\bullet$ showing that strong functional inequalities are equivalent to Lyapunov type conditions; $\bullet$ showing that these Lyapunov conditions are characterized by the finiteness of generalized exponential momen…
This paper is devoted to the study of probability measures with heavy tails. Using the Lyapunov function approach we prove that such measures satisfy different kind of functional inequalities such as weak Poincaré and weak Cheeger, weighted Poincaré and weighted Cheeger inequalities and their dual forms. Proofs are short and we cover very large situations. For product measures on $\R^n$ we obtain the optimal dimension dependence using the mass transportation method. Then we derive (optimal) isoperimetric inequalities. Finally we deal with spherically symmetric measures. We recover and improve …
Intrinsic dimensional functional inequalities on model spaces
CNRS, Institut de Mathématiques de Jussieu, Sorbonne Université（法国国家科学研究中心，朱西厄数学研究所，索邦大学）；Trinity College, University of Cambridge（剑桥大学三一学院）；Division of Applied Mathematics, Brown University（布朗大学应用数学系）
In this note we introduce and prove local and potential independent transportation, Log-Sobolev and HWI inequalities in one dimensional free probability on compact intervals which are sharp. We recover using this approach a free transportation inequality on the whole real line which was put forward recently by M. Maida and E. Maurel-Segala.
The aim of this paper is to establish various functional inequalities for the convolution of a compactly supported measure and a standard Gaussian distribution on Rd. We especially focus on getting good dependence of the constants on the dimension. We prove that the Poincar{é} inequality holds with a dimension-free bound. For the logarithmic Sobolev inequality, we improve the best known results (Zimmermann, JFA 2013) by getting a bound that grows linearly with the dimension. We also establish transport-entropy inequalities for various transport costs.
Perturbations of super Poincaré and weak Poincaré inequalities for Lévy type Dirichlet forms are studied. When the range of jumps is finite our results are natural extensions to the corresponding ones derived earlier for diffusion processes; and we show that the study for the situation with infinite range of jumps is essentially different. Some examples are presented to illustrate the optimality of our results.
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 assumptions (e.g. for log-concave probability measures in Euclidean space), the latter implication can in fact be reversed for very general inequalities, generalizing a reverse form of Cheeger's inequality due to Buser and Ledoux. We develop a coherent single framework for passing between isoperimetric inequalities, Orlicz-Sobolev functional inequalities and capaci…
