A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.
Log-Sobolev inequality proven for submanifolds in specific types of manifolds.
problem Proving Log-Sobolev inequality for submanifolds in asymptotic non-negative intermediate Ricci curvature manifolds.
method Extending previous results, proving inequality for submanifolds in specific types of manifolds.
result Sharp Log-Sobolev inequality proven for submanifolds in complete non-compact Riemannian manifolds with asymptotic non-negative intermediate Ricci curvature and Euclidean volume growth.
We derive weighted log-Sobolev inequalities from a class of super Poincaré inequalities. As an application, the Talagrand inequality with larger distances are obtained. In particular, on a complete connected Riemannian manifold, we prove that the $\log^\dd$-Sobolev inequality with $\dd\in (1,2)$ implies the $L^{2/(2-\d…
In this paper, we prove the equivalent of ultracontractive bound of heat semigroup or the uniform upper bound of the heat kernel with the Nash inequality, Log-Sobolev inequalities on graphs. We also show that under the assumption of volume growth and nonnegative curvature CDE′(n,0) the Sobolev inequality, Nash inequa…
Let Pt be the diffusion semigroup generated by L:=Δ+∇V on a complete connected Riemannian manifold with Ric≥−(σ2ρo2+c) for some constants σ,c>0 and ρo the Riemannian distance to a fixed point. It is shown that Pt is hypercontractive, or the log-Sobolev inequality holds for the…
We develop a Malliavin calculus on the horizontal path space of a totally geodesic Riemannian foliation. As a first application, under suitable assumptions, we prove a log-Sobolev inequality for a natural one-parameter family of infinite-dimensional Ornstein-Uhlenbeck type operators. As a second application, we obtain …
Given a probability measure μ supported on a convex subset Ω of Euclidean space (Rd,g0), we are interested in obtaining Poincaré and log-Sobolev type inequalities on (Ω,g0,μ). To this end, we change the metric g0 to a more general Riemannian one g, adapted in a certain sense to μ, and perform…
Let $\M$ be a complete, connected noncompact manifold with bounded geometry. Under a condition near infinity, we prove that the Log Sobolev functional (\ref{logfanhan}) has an extremal function decaying exponentially near infinity. We also prove that an extremal function may not exist if the condition is violated. This…
We study the Unadjusted Langevin Algorithm (ULA) for sampling from a probability distribution ν=e−f on Rn. We prove a convergence guarantee in Kullback-Leibler (KL) divergence assuming ν satisfies a log-Sobolev inequality and the Hessian of f is bounded. Notably, we do not assume convexity or boun…
We define a Hamilton-Jacobi semigroup acting on continuous functions on a compact length space. Following a strategy of Bobkov, Gentil and Ledoux, we use some basic properties of the semigroup to study geometric inequalities related to concentration of measure. Our main results are that (1) a Talagrand inequality on a …
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 inequa…
In this note we prove a new ε-regularity theorem for the Ricci flow. Let (M^n,g(t)) with t\in [-T,0] be a Ricci flow and H_{x} the conjugate heat kernel centered at a point (x,0) in the final time slice. Substituting H_{x} into Perelman's W-functional produces a monotone function W_{x}(s) of s \in [-T,0], the pointed e…
We study Bakry-Emery type estimates for the Laplace-Beltrami operator of a totally geodesic foliation. In particular, we are interested in situations for which the Γ2 operator may not be bounded from below but the horizontal Bakry-Emery curvature is. As we prove it, under a bracket generating condition, this weaker …