The paper proves inequalities on Finsler manifolds under Ricci curvature bounds.
problem Proving (p,q)-Sobolev and Nash inequalities on Finsler metric measure manifolds. method Global p-Poincaré inequality, (p,q)-Sobolev inequality, Nash inequality derivation. result Established global optimal (p,q)-Sobolev inequality with a sharp constant. The paper introduces boundary operators for Poincaré-Einstein manifolds and proves higher order trace inequalities.
problem Proving higher order trace inequalities on Poincaré-Einstein manifolds.
method Introducing conformally covariant boundary operators and using them to set up higher order Dirichlet problems.
result Sharp higher order Sobolev trace inequalities on the ball are obtained.
Proves inequality linking function deviation to gradient norm on compact manifolds.
problem Analyzing coupled elliptic systems on compact manifolds.
method Develops a new Poincaré-Sobolev inequality with a density-free reference average.
result Poincaré constant depends on the density's gradient norm.
The study improves Poincaré and log-Sobolev inequalities on hyperbolic spaces.
problem Improving Poincaré and log-Sobolev inequalities on hyperbolic spaces.
method Establishing scale-dependent Poincaré-Hardy type identities and choosing suitable parameters, potentials, and vector fields.
result Derives new versions and substantially improves existing inequalities.
Study on functional inequalities on simple edge spaces.
problem Whether classical functional inequalities hold in simple edge spaces.
method Analyzing Sobolev and Poincaré inequalities, proving optimality of Sobolev constant.
result Optimality result concerning the B-constant of the Sobolev inequality.
Study improves Poincaré-Sobolev inequalities for differential forms.
problem Improving Sobolev space embeddings for differential forms.
method Utilizes Lq,p-cohomology and bi-Lipschitz images to estimate embedding norms. result Estimates for embedding norms in Euclidean balls and their images.
This paper establishes inequalities on quaternionic hyperbolic spaces and the Cayley hyperbolic plane.
problem Establishing higher order Poincaré-Sobolev and Hardy-Sobolev-Maz'ya inequalities on quaternionic hyperbolic spaces and the Cayley hyperbolic plane.
method Developing factorization theorems and introducing Geller's operators, combining with Helgason-Fourier analysis and kernel estimates.
result Established higher order Poincaré-Sobolev and Hardy-Sobolev-Maz'ya inequalities on quaternionic hyperbolic spaces and the Cayley hyperbolic plane.
We carry out calculations of Orlicz cohomology for some basic Riemannian manifolds (the real line, the hyperbolic plane, the ball). Relationship between Orlicz cohomology and Poincaré--Sobolev--Orlicz-type inequalities is discussed.
The paper derives inequalities and formulas for generalized Ricci flow.
problem Understanding and characterizing generalized Ricci flow.
method Using Bochner formula and adapted Malliavin gradient, the paper derives inequalities and characterizes generalized Ricci flow.
result Characterizations of generalized Ricci flow via inequalities for the associated Malliavin gradient.
In this paper, we prove Poincaré and Sobolev inequalities for differential forms in L1(Rn). The singular integral estimates that it is possible to use for Lp, p>1, are replaced here with inequalities which go back to Bourgain-Brezis.
LMC algorithm receives first convergence guarantees under weak smoothness conditions.
problem Convergence guarantees for LMC under weak smoothness conditions.
method Using Latała--Oleszkiewicz or modified log-Sobolev inequalities.
result First convergence guarantees for LMC under weak smoothness conditions.
Poincar{é} and Sobolev inequalities for differential forms on Heisenberg balls, involving Rumin's differentials, are given. Furthermore, a global homotopy of Rumin's complex which improves differentiability of Rumin forms is provided on any bounded geometry contact manifold.
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…
The study establishes inequalities for functions on manifolds using Green function estimates.
problem Developing inequalities for functions on manifolds.
method Used integral representations and uniform estimates for Green functions.
result Proved Lp Sobolev-type and Poincaré-type inequalities for functions on real and complex manifolds. Through the main example of the Ornstein-Uhlenbeck semigroup, the Bakry-Emery criterion is presented as a main tool to get functional inequalities as Poincaré or logarithmic Sobolev inequalities. Moreover an alternative method using the optimal mass transportation, is also given to obtain the logarithmic Sobolev inequa…
The study improves Bochner inequality on Finsler manifolds to derive important inequalities.
problem Improving Bochner inequality on Finsler manifolds to derive new inequalities.
method Using improved Bochner inequality and its integrated form, the study derives a sharp Poincaré-Lichnerowicz inequality, a new proof for logarithmic Sobolev inequality, and an estimate of geodesic ball volumes.
result Derivation of new inequalities and estimates on Finsler manifolds.
We establish a vanishing result for the Lq,p-cohomology (q≥p) of a twisted cylinder, which is a generalization of a warped cylinder. The result is new even for warped cylinders. We base on the methods for proving the (p,q) Sobolev--Poincaré inequality developed by L.~Shartser.
The study establishes inequalities on path space for sub-Riemannian manifolds.
problem Understanding functional inequalities on path space for sub-Riemannian manifolds.
method Derivative and integration by parts formulae on path space with respect to a natural gradient operator, showing bounds of horizontal Ricci curvature.
result Established functional inequalities on path space analogous to Riemannian geometry.
Study inequalities on hyperbolic spaces and Riemannian manifolds using symmetrization and heat semigroup.
problem Investigate functional and geometric inequalities on hyperbolic spaces and Riemannian manifolds.
method Employ symmetrization and semigroup approach based on sharp estimates for heat semigroup.
result Developed robust inequalities and methods relying on geometric and isoperimetric properties.
Explicit formulas for fractional GJMS operators on hyperbolic spaces and inequalities proved.
problem Proving explicit formulas and inequalities for fractional operators on hyperbolic spaces.
method Scattering theory on hyperbolic space, Helgason-Fourier analysis, and special function analysis.
result Sharp constants in fractional Poincaré-Sobolev and Hardy-Sobolev-Maz'ya inequalities coincide with Euclidean space constants.
The paper proves inequalities for varifolds on Riemannian manifolds.
problem Proving inequalities for functions on varifolds in Riemannian manifolds.
method Developed techniques to handle functions with compact support on k-rectifiable varifolds in Riemannian manifolds with positive injectivity radius and sectional curvature bounded above. result Proved Poincaré and Sobolev type inequalities for varifolds.
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…
Global solutions and smoothing effects for reaction-diffusion equations on manifolds.
problem Global existence and smoothing effects for reaction-diffusion equations on Riemannian manifolds.
method Functional analytic methods, Sobolev and Poincaré inequalities.
result Existence of global solutions under certain conditions on the manifold.
Study bounds for Brownian motion on manifolds with sticky boundary conditions.
problem Proving geometric bounds for Brownian motion on manifolds with sticky boundary conditions.
method Interpolation involving energy interactions between boundary and interior of the manifold.
result Explicit geometric bounds on Steklov eigenvalues, boundary trace operators, and boundary trace logarithmic Sobolev constants.
The paper proves optimizability implies inequalities for sampling.
problem Optimizing functions via Gradient Flow and sampling from Gibbs measures.
method Gradient Flow and Lyapunov potentials to establish inequalities.
result Optimizability via Gradient Flow implies Poincaré and Log-Sobolev Inequalities.
Sharp inequalities on Siegel domains and complex hyperbolic spaces established.
problem Establishing inequalities on complex hyperbolic spaces and Siegel domains.
method Helgason-Fourier analysis, Kunze-Stein phenomenon, factorization theorem.
result Sharp Hardy-Adams and Adams type inequalities on Sobolev spaces of any positive fractional order on complex hyperbolic spaces.
The paper establishes inequalities for minimal graphs on manifolds with nonnegative Ricci curvature.
problem Establishing inequalities for minimal graphs on manifolds with nonnegative Ricci curvature.
method Combining Cheeger-Colding theory and geometric measure theory to derive Sobolev and Neumann-Poincaré inequalities.
result Gradient estimates and Liouville theorem for minimal graphs over manifolds with nonnegative Ricci curvature.
Study of diffusion annealed Langevin dynamics for generative models.
problem Theoretical efficiency of score-based diffusion processes.
method Rigorous construction and analysis of diffusion processes with Poincaré and logarithmic Sobolev inequalities.
result Improvement in efficiency of diffusion processes through Poincaré and logarithmic Sobolev inequalities.
The purpose is to study the CR-manifold with a contact structure conformal to the Heisenberg group. In our previous work \cite{WY}, we have proved that if the Q′-curvature is nonnegative, and the integral of Q′-curvature is below the dimensional bound c1′, then we have the isoperimetric inequality. In this paper…
New subsets without interior support Poincaré inequalities, expanding previous results.
problem Finding subsets without interior that satisfy Poincaré inequalities.
method Employing uniform domains and measure density, focusing on boundary regularity and separation.
result Existence of subsets supporting Poincaré inequalities without interior, applicable to various spaces.
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…
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 …
Geodesically complete spaces with curvature bounded above have maps with finite energy that are Lipschitz.
problem Analyzing the properties of geodesically complete spaces with curvature constraints.
method Geometric perturbations of geodesics to curves with zero length on singular sets.
result Every Sobolev map in W1,∞ space has a Lipschitz representative with the same Lipschitz constant as its infinity energy. We continue our study of geometric analysis on (possibly non-reversible) Finsler manifolds, based on the Bochner inequality established by the author and Sturm. Following the approach of the Γ-calculus a la Bakry et al, we show the dimensional versions of the Poincare--Lichnerowicz inequality, the logarithmic Sobolev…
Several possible notions of Hardy-Sobolev spaces on a Riemannian manifold with a doubling measure are considered. Under the assumption of a Poincaré inequality, the space $\Mone$, defined by Hajłasz, is identified with a Hardy-Sobolev space defined in terms of atoms. Decomposition results are proved for both the homoge…
Sharp bounds on uniform generalization errors in binary linear classification.
problem Understanding the uniform generalization errors in binary linear classification.
method Isoperimetric arguments, Poincaré and log-Sobolev inequalities for joint distributions.
result Sharp concentration bounds on uniform generalization errors, almost sure convergence in broad settings.
In this paper, we prove interior Poincar{é} and Sobolev inequalities in Euclidean spaces and in Heisenberg groups, in the limiting case where the exterior (resp. Rumin) differential of a differential form is measured in L 1 norm. Unlike for L p , p > 1, the estimates are doomed to fail in top degree. The singular integ…
In this work a local inequality is provided which bounds the distance of an integral varifold from a multivalued plane (height) by its tilt and mean curvature. The bounds obtained for the exponents of the Lebesgue spaces involved are shown to be sharp.
Researchers prove inequalities for differential forms in Heisenberg groups, extending Euclidean results.
problem Quantitative formulations of topological problems in stratified Lie groups.
method Use of Rumin's complex and Poincaré/Sobolev inequalities for differential forms.
result Extension of L∞-inequalities to Heisenberg groups for forms of degree at least 2. New algorithm samples superlinearly growing log-gradient distributions.
problem Sampling from distributions with superlinearly growing log-gradient.
method Proposes a novel taming Langevin-based scheme called sTULA.
result Derives non-asymptotic convergence bounds in KL, TV, and W2 distances.
The paper proves a Harnack inequality for heat equations on Finsler metric measure manifolds.
problem Proving a Harnack inequality for positive solutions to heat equations on Finsler metric measure manifolds.
method Volume comparison theorem, weighted Poincaré inequality, local uniform Sobolev inequality, mean value inequalities.
result Derives a Harnack inequality for positive solutions to heat equations.
Method identifies low-dimensional structure in high-dimensional probability measures.
problem Identifying low-dimensional structure in high-dimensional probability measures.
method Extends prior work on minimizing majorizations of the Kullback-Leibler divergence to identify optimal approximations within a specific class of measures.
result Connection between dimensional logarithmic Sobolev inequality and approximations with the ansatz.
New deficit functions link elliptic and parabolic inequalities, proving log Sobolev.
problem Proving log Sobolev inequality using deficit functions.
method Introducing two deficit functions, one elliptic and one parabolic, and showing their pointwise convergence and equations.
result Elliptic deficit converges to parabolic deficit, leading to an elliptic proof of log Sobolev inequality.
This paper extends the convergence analysis of Langevin Monte Carlo beyond Poincaré inequalities.
problem Analyzing convergence of Langevin Monte Carlo under various functional inequalities.
method Establishing upper and lower bounds for Langevin diffusions and LMC under weak Poincaré inequalities.
result Explicitly quantifies the effect of the initializer on the performance of LMC algorithm.
We give sufficient conditions for a measured length space (X,d,m) to admit local and global Poincare inequalities. We first introduce a condition DM on (X,d,m), defined in terms of transport of measures. We show that DM, along with a doubling condition on m, implies a scale-invariant local Poincare inequality. We show …
New method samples from non-log-concave distributions with weak dissipativity.
problem Sampling from distributions that are not log-concave and weakly dissipative.
method Taming scheme tailored to growth and decay properties of the target distribution.
result Explicit non-asymptotic guarantees for KL, TV, and Wasserstein distances.
Let M be a smooth connected manifold endowed with a smooth measure μ and a smooth locally subelliptic diffusion operator L satisfying L1=0, and which is symmetric with respect to μ. We show that if L satisfies, with a non negative curvature parameter, the generalized curvature inequality introduced…
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…