Showing 1–31 of 31 results for author: Bonnefont, M

Sharp Large Deviations for the Number of Descents and the Major Index in a Random Permutation

Authors: Bernard Bercu, Michel Bonnefont, Luis Fredes, Adrien Richou

Abstract: The aim of this paper is to improve the large deviation principle for the number of descents in a random permutation by establishing a sharp large deviation principle of any order. We shall also prove a sharp large deviation principle of any order for the major index in a random permutation. The aim of this paper is to improve the large deviation principle for the number of descents in a random permutation by establishing a sharp large deviation principle of any order. We shall also prove a sharp large deviation principle of any order for the major index in a random permutation. △ Less

Submitted 8 July, 2024; originally announced July 2024.

A coupling strategy for Brownian motions at fixed time on Carnot groups using Legendre expansion

Authors: Marc Arnaudon, Magalie Bénéfice, Michel Bonnefont, Delphine Féral

Abstract: We propose a new simple construction of a coupling at a fixed time of two sub-Riemannian Brownian motions on the Heisenberg group and on the free step 2 Carnot groups. The construction is based on a Legendre expansion of the standard Brownian motion and of the L{é}vy area. We deduce sharp estimates for the decay in total variation distance between the laws of the Brownian motions. Using a chan… ▽ More We propose a new simple construction of a coupling at a fixed time of two sub-Riemannian Brownian motions on the Heisenberg group and on the free step 2 Carnot groups. The construction is based on a Legendre expansion of the standard Brownian motion and of the L{é}vy area. We deduce sharp estimates for the decay in total variation distance between the laws of the Brownian motions. Using a change of probability method, we also obtain the log-Harnack inequality, a Bismut type integration by part formula and reverse Poincaré inequalities for the associated semi-group. △ Less

Submitted 5 July, 2024; originally announced July 2024.

Sharp analysis on the joint distribution of the number of descents and inverse descents in a random permutation

Authors: Luis Fredes, Bernard Bercu, Michel Bonnefont, Adrien Richou

Abstract: Chatteerjee and Diaconis have recently shown the asymptotic normality for the joint distribution of the number of descents and inverse descents in a random permutation. A noteworthy point of their results is that the asymptotic variance of the normal distribution is diagonal, which means that the number of descents and inverse descents are asymptotically uncorrelated.The goal of this paper is to g… ▽ More Chatteerjee and Diaconis have recently shown the asymptotic normality for the joint distribution of the number of descents and inverse descents in a random permutation. A noteworthy point of their results is that the asymptotic variance of the normal distribution is diagonal, which means that the number of descents and inverse descents are asymptotically uncorrelated.The goal of this paper is to go further in this analysis by proving a large deviation principlefor the joint distribution. We shall show that the rate function of the joint distributionis the sum of the rate functions of the marginal distributions, which also means that the number of descents and inverse descents are asymptotically independent at the large deviation level. However,we are going to prove that they are finely dependent at the sharp large deviation level. △ Less

Submitted 22 May, 2024; originally announced May 2024.

Covariance inequalities for convex and log-concave functions

Authors: Michel Bonnefont, Erwan Hillion, Adrien Saumard

Abstract: Extending results of Harg{é} and Hu for the Gaussian measure, we prove inequalities for the covariance Cov$_μ(f, g)$ where $μ$ is a general product probability measure on $\mathbb{R}^d$ and $f,g: \mathbb{R}^d \to \mathbb{R}$ satisfy some convexity or log-concavity assumptions, with possibly some symmetries. Extending results of Harg{é} and Hu for the Gaussian measure, we prove inequalities for the covariance Cov$_μ(f, g)$ where $μ$ is a general product probability measure on $\mathbb{R}^d$ and $f,g: \mathbb{R}^d \to \mathbb{R}$ satisfy some convexity or log-concavity assumptions, with possibly some symmetries. △ Less

Submitted 10 February, 2023; originally announced February 2023.

A note on the spectral gap for log-concave probability measures on convex bodies

Authors: Michel Bonnefont, Aldéric Joulin

Abstract: In this paper, we provide explicit lower bounds with respect to some quantities of interest (parameters of the underlying distribution, dimension, geometrical characteristics of the domain, position of the origin, etc.) on the spectral gap of log-concave probability measures on convex bodies. Our results are illustrated by some classical and less classical examples. In this paper, we provide explicit lower bounds with respect to some quantities of interest (parameters of the underlying distribution, dimension, geometrical characteristics of the domain, position of the origin, etc.) on the spectral gap of log-concave probability measures on convex bodies. Our results are illustrated by some classical and less classical examples. △ Less

Submitted 26 March, 2024; v1 submitted 10 February, 2023; originally announced February 2023.

Sharp large deviations and concentration inequalities for the number of descents in a random permutation

Authors: Bernard Bercu, Michel Bonnefont, Adrien Richou

Abstract: The goal of this paper is to go further in the analysis of the behavior of the number of descents in a random permutation. Via two different approaches relying on a suitable martingale decomposition or on the Irwin-Hall distribution, we prove that the number of descents satisfies a sharp large deviation principle. A very precise concentration inequality involving the rate function in the large dev… ▽ More The goal of this paper is to go further in the analysis of the behavior of the number of descents in a random permutation. Via two different approaches relying on a suitable martingale decomposition or on the Irwin-Hall distribution, we prove that the number of descents satisfies a sharp large deviation principle. A very precise concentration inequality involving the rate function in the large deviation principle is also provided. △ Less

Submitted 6 October, 2023; v1 submitted 19 October, 2022; originally announced October 2022.

Lower bounds for the spectral gap and an extension of the Bonnet-Myers theorem

Authors: Michel Bonnefont, El Maati Ouhabaz

Abstract: On a fairly general class of Riemannian manifolds M, we prove lower estimates in terms of the Ricci curvature for the spectral bound (when M has infinite volume) and for the spectral gap (when M has finite volume) for the Laplace-Beltrami operator. As a byproduct of our results we obtain an extension of the Bonnet-Myers theorem on the compactness of the manifold. We also prove lower bounds for the… ▽ More On a fairly general class of Riemannian manifolds M, we prove lower estimates in terms of the Ricci curvature for the spectral bound (when M has infinite volume) and for the spectral gap (when M has finite volume) for the Laplace-Beltrami operator. As a byproduct of our results we obtain an extension of the Bonnet-Myers theorem on the compactness of the manifold. We also prove lower bounds for the spectral gap for Ornstein-Uhlenbeck type operators on weighted manifolds. As an application we prove lower bounds for the spectral gap of perturbations of some radial measures on R n . △ Less

Submitted 7 December, 2021; originally announced December 2021.

Eigenvalue asymptotics and unique continuation of eigenfunctions on planar graphs

Authors: Michel Bonnefont, Sylvain Golenia, Matthias Keller

Abstract: We study planar graphs with large negative curvature outside of a finite set and the spectral theory of Schr{ö}dinger operators on these graphs. We obtain estimates on the first and second order term of the eigenvalue asymptotics. Moreover, we prove a unique continuation result for eigenfunctions and decay properties of general eigenfunctions. The proofs rely on a detailed analysis of the geometry… ▽ More We study planar graphs with large negative curvature outside of a finite set and the spectral theory of Schr{ö}dinger operators on these graphs. We obtain estimates on the first and second order term of the eigenvalue asymptotics. Moreover, we prove a unique continuation result for eigenfunctions and decay properties of general eigenfunctions. The proofs rely on a detailed analysis of the geometry which employs a Copy-and-Paste procedure based on the Gauß-Bonnet theorem. △ Less

Submitted 8 April, 2021; originally announced April 2021.

Convergence to equilibrium for hypoelliptic non-symmetric Ornstein-Uhlenbeck type operators

Authors: Fabrice Baudoin, Michel Bonnefont, Li Chen

Abstract: We study a generalized curvature dimension inequality which is suitable for subelliptic Ornstein-Uhlenbeck type operators and deduce convergence to equilibrium in the $L^2$ and entropic sense. The main difficulty is that the operators we consider may not be symmetric. Our results apply in particular to Ornstein-Uhlenbeck operators on two-step Carnot groups. We study a generalized curvature dimension inequality which is suitable for subelliptic Ornstein-Uhlenbeck type operators and deduce convergence to equilibrium in the $L^2$ and entropic sense. The main difficulty is that the operators we consider may not be symmetric. Our results apply in particular to Ornstein-Uhlenbeck operators on two-step Carnot groups. △ Less

Submitted 25 June, 2019; originally announced June 2019.

A note on eigenvalues estimates for one-dimensional diffusion operators

Authors: Michel Bonnefont, Aldéric Joulin

Abstract: Dealing with one-dimensional diffusion operators, we obtain upper and lower variational formulae on the eigenvalues given by the max-min principle, generalizing the celebrated result of Chen and Wang on the spectral gap. Our inequalities reveal to be sharp at least when the eigenvalues considered belong to the discrete spectrum of the operator, since in this case both lower and upper bounds coinci… ▽ More Dealing with one-dimensional diffusion operators, we obtain upper and lower variational formulae on the eigenvalues given by the max-min principle, generalizing the celebrated result of Chen and Wang on the spectral gap. Our inequalities reveal to be sharp at least when the eigenvalues considered belong to the discrete spectrum of the operator, since in this case both lower and upper bounds coincide and involve the associated eigenfunctions. Based on the intertwinings between diffusion operators and some convenient gradients with weights, our approach also allows to estimate the gap between the two first positive eigenvalues when the spectral gap belongs to the discrete spectrum. △ Less

Submitted 6 June, 2019; originally announced June 2019.

Couplings in $L^p$ distance of two Brownian motions and their L{é}vy area

Authors: Michel Bonnefont, Nicolas Juillet

Abstract: We study co-adapted couplings of (canonical hypoelliptic) diffu-sions on the (subRiemannian) Heisenberg group, that we call (Heisenberg) Brow-nian motions and are the joint laws of a planar Brownian motion with its L{é}vy area. We show that contrary to the situation observed on Riemannian manifolds of non-negative Ricci curvature, for any co-adapted coupling, two Heisenberg Brownian motions starti… ▽ More We study co-adapted couplings of (canonical hypoelliptic) diffu-sions on the (subRiemannian) Heisenberg group, that we call (Heisenberg) Brow-nian motions and are the joint laws of a planar Brownian motion with its L{é}vy area. We show that contrary to the situation observed on Riemannian manifolds of non-negative Ricci curvature, for any co-adapted coupling, two Heisenberg Brownian motions starting at two given points can not stay at bounded distance for all time t $\ge$ 0. Actually, we prove the stronger result that they can not stay bounded in L p for p $\ge$ 2. We also study the coupling by reflection, and show that it stays bounded in L p for 0 $\le$ p < 1. Finally, we explain how the results generalise to the Heisenberg groups of higher dimension △ Less

Submitted 11 July, 2018; v1 submitted 12 January, 2018; originally announced January 2018.

Magnetic sparseness and Schrödinger operators on graphs

Authors: Michel Bonnefont, Sylvain Golénia, Matthias Keller, Shi** Liu, Florentin Münch

Abstract: We study magnetic Schrödinger operators on graphs. We extend the notion of sparseness of graphs by including a magnetic quantity called the frustration index. This notion of magnetic sparse turn out to be equivalent to the fact that the form domain is an $\ell^{2}$ space. As a consequence, we get criteria of discreteness for the spectrum and eigenvalue asymptotics. We study magnetic Schrödinger operators on graphs. We extend the notion of sparseness of graphs by including a magnetic quantity called the frustration index. This notion of magnetic sparse turn out to be equivalent to the fact that the form domain is an $\ell^{2}$ space. As a consequence, we get criteria of discreteness for the spectrum and eigenvalue asymptotics. △ Less

Submitted 28 November, 2017; originally announced November 2017.

MSC Class: 47A10; 34L20; 05C63; 47B25; 47A63

Intertwinings, second-order Brascamp-Lieb inequalities and spectral estimates

Authors: Michel Bonnefont, Aldéric Joulin

Abstract: We explore the consequences of the so-called intertwinings between gradients and Markov diffusion operators on $R^d$ in terms of second-order Brascamp-Lieb inequalities for log-concave distributions and beyond, extending our inequalities established in a previous paper. As a result, we derive some convenient lower bounds on the $(d+1)^{th}$ positive eigenvalue depending on the spectral gap of the… ▽ More We explore the consequences of the so-called intertwinings between gradients and Markov diffusion operators on $R^d$ in terms of second-order Brascamp-Lieb inequalities for log-concave distributions and beyond, extending our inequalities established in a previous paper. As a result, we derive some convenient lower bounds on the $(d+1)^{th}$ positive eigenvalue depending on the spectral gap of the dual Markov diffusion operator given by the intertwining. To see the relevance of our approach, we apply our spectral results in the case of perturbed product measures, freeing us from Helffer's classical method based on uniform spectral estimates for the one-dimensional conditional distributions. △ Less

Submitted 23 October, 2017; originally announced October 2017.

On logarithmic Sobolev inequalities for the heat kernel on the Heisenberg group

Authors: Michel Bonnefont, Djalil Chafaï, Ronan Herry

Abstract: In this note, we derive a new logarithmic Sobolev inequality for the heat kernel on the Heisenberg group. The proof is inspired from the historical method of Leonard Gross with the Central Limit Theorem for a random walk. Here the non commutative nature of the increments produces a new gradient which naturally involves a Brownian bridge on the Heisenberg group. This new inequality contains the opt… ▽ More In this note, we derive a new logarithmic Sobolev inequality for the heat kernel on the Heisenberg group. The proof is inspired from the historical method of Leonard Gross with the Central Limit Theorem for a random walk. Here the non commutative nature of the increments produces a new gradient which naturally involves a Brownian bridge on the Heisenberg group. This new inequality contains the optimal logarithmic Sobolev inequality for the Gaussian distribution in two dimensions. We compare this new inequality with the sub-elliptic logarithmic Sobolev inequality of Hong-Quan Li and with the more recent inequality of Fabrice Baudoin and Nicola Garofalo obtained using a generalized curvature criterion. Finally, we extend this inequality to the case of homogeneous Carnot groups of rank two. △ Less

Submitted 9 September, 2020; v1 submitted 10 July, 2016; originally announced July 2016.

Journal ref: Annales de la Faculté des Sciences de Toulouse. Mathématiques., Université Paul Sabatier, Cellule Mathdoc 2020, Série 6 Tome 29 (2), pp. 335-355

Intertwinings and Generalized Brascamp-Lieb Inequalities

Authors: Marc Arnaudon, Michel Bonnefont, Aldéric Joulin

Abstract: We continue our investigation of the intertwining relations for Markov semigroups and extend the results of [9] to multi-dimensional diffusions. In particular these formulae entail new functional inequalities of Brascamp-Lieb type for log-concave distributions and beyond. Our results are illustrated by some classical and less classical examples. We continue our investigation of the intertwining relations for Markov semigroups and extend the results of [9] to multi-dimensional diffusions. In particular these formulae entail new functional inequalities of Brascamp-Lieb type for log-concave distributions and beyond. Our results are illustrated by some classical and less classical examples. △ Less

Submitted 11 February, 2016; originally announced February 2016.

Reverse Poincare inequalities, Isoperimetry, and Riesz transforms in Carnot groups

Authors: Fabrice Baudoin, Michel Bonnefont

Abstract: 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 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. △ Less

Submitted 2 April, 2015; originally announced April 2015.

Curvature-dimension estimates for the Laplace-Beltrami operator of a totally geodesic foliation

Authors: Fabrice Baudoin, Michel Bonnefont

Abstract: 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 condition is enough to imply several functional inequalities for the heat semigr… ▽ More 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 condition is enough to imply several functional inequalities for the heat semigroup including the Wang-Harnack inequality and the log-Sobolev inequality. We also prove that, under proper additional assumptions, the generalized curvature dimension inequality introduced by Baudoin-Garofalo is uniformly satisfied for a family of Riemannian metrics that converge to the sub-Riemannian one. △ Less

Submitted 11 December, 2014; originally announced December 2014.

A note on spectral gap and weighted Poincaré inequalities for some one-dimensional diffusions

Authors: Michel Bonnefont, Aldéric Joulin, Yutao Ma

Abstract: We present some classical and weighted Poincaré inequalities for some one-dimensional probability measures. This work is the one-dimensional counterpart of a recent study achieved by the authors for a class of spherically symmetric probability measures in dimension larger than 2. Our strategy is based on two main ingredients: on the one hand, the optimal constant in the desired weighted Poincaré i… ▽ More We present some classical and weighted Poincaré inequalities for some one-dimensional probability measures. This work is the one-dimensional counterpart of a recent study achieved by the authors for a class of spherically symmetric probability measures in dimension larger than 2. Our strategy is based on two main ingredients: on the one hand, the optimal constant in the desired weighted Poincaré inequality has to be rewritten as the spectral gap of a convenient Markovian diffusion operator, and on the other hand we use a recent result given by the two first authors, which allows to estimate precisely this spectral gap. In particular we are able to capture its exact value for some examples. △ Less

Submitted 21 November, 2014; originally announced November 2014.

Essential spectrum and Weyl asymptotics for discrete Laplacians

Authors: Michel Bonnefont, Sylvain Golenia

Abstract: In this paper, we investigate spectral properties of discrete Laplacians. Our study is based on the Hardy inequality and the use of super-harmonic functions. We recover and improve lower bounds for the bottom of the spectrum and of the essential spectrum. In some situation, we obtain Weyl asymptotics for the eigenvalues. We also provide a probabilistic representation of super-harmonic functions. U… ▽ More In this paper, we investigate spectral properties of discrete Laplacians. Our study is based on the Hardy inequality and the use of super-harmonic functions. We recover and improve lower bounds for the bottom of the spectrum and of the essential spectrum. In some situation, we obtain Weyl asymptotics for the eigenvalues. We also provide a probabilistic representation of super-harmonic functions. Using coupling arguments, we set comparison results for the bottom of the spectrum, the bottom of the essential spectrum and the stochastic completeness of different discrete Laplacians. The class of weakly spherically symmetric graphs is also studied in full detail. △ Less

Submitted 20 June, 2014; originally announced June 2014.

Spectral gap for spherically symmetric log-concave probability measures, and beyond

Authors: Michel Bonnefont, Aldéric Joulin, Yutao Ma

Abstract: Let $μ$ be a probability measure on $\rr^n$ ($n \geq 2$) with Lebesgue density proportional to $e^{-V (\Vert x\Vert )}$, where $V : \rr_+ \to \rr$ is a smooth convex potential. We show that the associated spectral gap in $L^2 (μ)$ lies between $(n-1) / \int_{\rr^n} \Vert x\Vert ^2 μ(dx)$ and $n / \int_{\rr^n} \Vert x\Vert ^2 μ(dx)$, improving a well-known two-sided estimate due to Bobkov. Our Mark… ▽ More Let $μ$ be a probability measure on $\rr^n$ ($n \geq 2$) with Lebesgue density proportional to $e^{-V (\Vert x\Vert )}$, where $V : \rr_+ \to \rr$ is a smooth convex potential. We show that the associated spectral gap in $L^2 (μ)$ lies between $(n-1) / \int_{\rr^n} \Vert x\Vert ^2 μ(dx)$ and $n / \int_{\rr^n} \Vert x\Vert ^2 μ(dx)$, improving a well-known two-sided estimate due to Bobkov. Our Markovian approach is remarkably simple and is sufficiently robust to be extended beyond the log-concave case, at the price of potentially modifying the underlying dynamics in the energy, leading to weighted Poincaré inequalities. All our results are illustrated by some classical and less classical examples. △ Less

Submitted 18 June, 2014; originally announced June 2014.

Eigenvalue asymptotics for Schrödinger operators on sparse graphs

Authors: Michel Bonnefont, Sylvain Golenia, Matthias Keller

Abstract: We consider Schrödinger operators on sparse graphs. The geometric definition of sparseness turn out to be equivalent to a functional inequality for the Laplacian. In consequence, sparseness has in turn strong spectral and functional analytic consequences. Specifically, one consequence is that it allows to completely describe the form domain. Moreover, as another consequence it leads to a character… ▽ More We consider Schrödinger operators on sparse graphs. The geometric definition of sparseness turn out to be equivalent to a functional inequality for the Laplacian. In consequence, sparseness has in turn strong spectral and functional analytic consequences. Specifically, one consequence is that it allows to completely describe the form domain. Moreover, as another consequence it leads to a characterization for discreteness of the spectrum. In this case we determine the first order of the corresponding eigenvalue asymptotics. △ Less

Submitted 6 February, 2014; v1 submitted 28 November, 2013; originally announced November 2013.

Comments: much better version

Intertwining relations for one-dimensional diffusions and application to functional inequalities

Authors: Michel Bonnefont, Aldéric Joulin

Abstract: 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… ▽ More 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. △ Less

Submitted 12 April, 2013; originally announced April 2013.

Journal ref: Potential Analysis (2014) 27 pages

Volume and distance comparison theorems for sub-Riemannian manifolds

Authors: Fabrice Baudoin, Michel Bonnefont, Nicola Garofalo, Isidro H. Munive

Abstract: In this paper we study global distance estimates and uniform local volume estimates in a large class of sub-Riemannian manifolds. Our main device is the generalized curvature dimension inequality introduced by the first and the third author in \cite{BG1} and its use to obtain sharp inequalities for solutions of the sub-Riemannian heat equation. As a consequence, we obtain a Gromov type precompactn… ▽ More In this paper we study global distance estimates and uniform local volume estimates in a large class of sub-Riemannian manifolds. Our main device is the generalized curvature dimension inequality introduced by the first and the third author in \cite{BG1} and its use to obtain sharp inequalities for solutions of the sub-Riemannian heat equation. As a consequence, we obtain a Gromov type precompactness theorem for the class of sub-Riemannian manifolds whose generalized Ricci curvature is bounded from below in the sense of \cite{BG1}. △ Less

Submitted 30 July, 2014; v1 submitted 1 November, 2012; originally announced November 2012.

Comments: To appear in Journal of Functional Analysis, Final version

Sub-Riemannian balls in CR Sasakian manifolds

Authors: Fabrice Baudoin, Michel Bonnefont

Abstract: We prove global estimates for the sub-Riemannian distance of CR Sasakian manifolds with non negative horizontal Webster-Tanaka Ricci curvature. In particular, in this setting, large sub-Riemannian balls are comparable to Riemannian balls. We prove global estimates for the sub-Riemannian distance of CR Sasakian manifolds with non negative horizontal Webster-Tanaka Ricci curvature. In particular, in this setting, large sub-Riemannian balls are comparable to Riemannian balls. △ Less

Submitted 5 October, 2011; originally announced October 2011.

Log-Sobolev inequalities for subelliptic operators satisfying a generalized curvature dimension inequality

Authors: Fabrice Baudoin, Michel Bonnefont

Abstract: Let $\M$ be a smooth connected manifold endowed with a smooth measure $μ$ and a smooth locally subelliptic diffusion operator $L$ which is symmetric with respect to $μ$. We assume that $L$ satisfies a generalized curvature dimension inequality as introduced by Baudoin-Garofalo \cite{BG1}. Our goal is to discuss functional inequalities for $μ$ like the Poincaré inequality, the log-Sobolev inequalit… ▽ More Let $\M$ be a smooth connected manifold endowed with a smooth measure $μ$ and a smooth locally subelliptic diffusion operator $L$ which is symmetric with respect to $μ$. We assume that $L$ satisfies a generalized curvature dimension inequality as introduced by Baudoin-Garofalo \cite{BG1}. Our goal is to discuss functional inequalities for $μ$ like the Poincaré inequality, the log-Sobolev inequality or the Gaussian logarithmic isoperimetric inequality. △ Less

Submitted 8 November, 2011; v1 submitted 2 June, 2011; originally announced June 2011.

Comments: Minor revision of the previous version

A sub-Riemannian curvature-dimension inequality, volume doubling property and the Poincaré inequality

Authors: Fabrice Baudoin, Michel Bonnefont, Nicola Garofalo

Abstract: Let $\mathbb{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 by the first and third named authors in \cite{BG}, then the following propertie… ▽ More Let $\mathbb{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 by the first and third named authors in \cite{BG}, then the following properties hold: 1 The volume doubling property; 2 The Poincaré inequality; 3 The parabolic Harnack inequality. The key ingredient is the study of dimensional reverse log-Sobolev inequalities for the heat semigroup and corresponding non-linear reverse Harnack type inequalities. Our results apply in particular to all Sasakian manifolds whose horizontal Webster-Tanaka-Ricci curvature is non negative, all Carnot groups with step two, and to wide subclasses of principal bundles over Riemannian manifolds whose Ricci curvature is non negative. △ Less

Submitted 23 July, 2014; v1 submitted 9 July, 2010; originally announced July 2010.

Journal ref: Math. Ann. 358 (2014), no. 3-4, 833-860

The subelliptic heat kernels on SL(2,R) and on its universal covering $\widetilde{SL(2,R)}$: integral representations and some functional inequalities

Authors: Michel Bonnefont

Abstract: In this paper, we study a subelliptic heat kernel on the Lie group SL(2,R) and on its universal covering. The subelliptic structure on SL(2,R) comes from the fibration $SO(2) -> SL(2,R) -> H^2$ and it can be lifted to its universal covering. First, we derive an integral representation for these heat kernels. These expressions allow us to obtain some asymptotics in small time of the heat kernels an… ▽ More In this paper, we study a subelliptic heat kernel on the Lie group SL(2,R) and on its universal covering. The subelliptic structure on SL(2,R) comes from the fibration $SO(2) -> SL(2,R) -> H^2$ and it can be lifted to its universal covering. First, we derive an integral representation for these heat kernels. These expressions allow us to obtain some asymptotics in small time of the heat kernels and give us a way to compute the subriemannian distances. Then, we establish some gradient estimates and some functional inequalities like a Li-Yau type estimate and a reverse Poincaré inequality that are valid for both heat kernels. △ Less

Submitted 18 March, 2011; v1 submitted 10 June, 2009; originally announced June 2009.

Subelliptic Li-Yau estimates on three dimensional model spaces

Authors: D. Bakry, F. Baudoin, M. Bonnefont, B. Qian

Abstract: We describe three elementary models in three dimensional subelliptic geometry which correspond to the three models of the Riemannian geometry (spheres, Euclidean spaces and Hyperbolic spaces) which are respectively the SU(2), Heisenberg and SL(2) groups. On those models, we prove parabolic Li-Yau inequalities on positive solutions of the heat equation. We use for that the $Γ_{2}$ techniques that… ▽ More We describe three elementary models in three dimensional subelliptic geometry which correspond to the three models of the Riemannian geometry (spheres, Euclidean spaces and Hyperbolic spaces) which are respectively the SU(2), Heisenberg and SL(2) groups. On those models, we prove parabolic Li-Yau inequalities on positive solutions of the heat equation. We use for that the $Γ_{2}$ techniques that we adapt to those elementary model spaces. The important feature developed here is that although the usual notion of Ricci curvature is meaningless (or more precisely leads to bounds of the form $-\infty$ for the Ricci curvature), we describe a parameter $ρ$ which plays the same role as the lower bound on the Ricci curvature, and from which one deduces the same kind of results as one does in Riemannian geometry, like heat kernel upper bounds, Sobolev inequalities and diameter estimates. △ Less

Submitted 16 June, 2008; originally announced June 2008.

The subelliptic heat kernel on SU(2): Representations, Asymptotics and Gradient bounds

Authors: Fabrice Baudoin, Michel Bonnefont

Abstract: The Lie group SU(2) endowed with its canonical subriemannian structure appears as a three-dimensional model of a positively curved subelliptic space. The goal of this work is to study the subelliptic heat kernel on it and some related functional inequalities. The Lie group SU(2) endowed with its canonical subriemannian structure appears as a three-dimensional model of a positively curved subelliptic space. The goal of this work is to study the subelliptic heat kernel on it and some related functional inequalities. △ Less

Submitted 5 March, 2008; v1 submitted 22 February, 2008; originally announced February 2008.

Comments: Update: Added section + Correction of typos

A discrete version and stability of Brunn Minkowski inequality

Authors: Michel Bonnefont

Abstract: In the first part of the paper, we define an approximated Brunn-Minkowski inequality which generalizes the classical one for length spaces. Our new definition based only on distance properties allows us also to deal with discrete spaces. Then we show the stability of our new inequality under a convergence of metric measure spaces. This result gives as a corollary the stability of the classical B… ▽ More In the first part of the paper, we define an approximated Brunn-Minkowski inequality which generalizes the classical one for length spaces. Our new definition based only on distance properties allows us also to deal with discrete spaces. Then we show the stability of our new inequality under a convergence of metric measure spaces. This result gives as a corollary the stability of the classical Brunn-Minkowski inequality for geodesic spaces. The proof of this stability was done for different inequalities (curvature dimension inequality, metric contraction property) but as far as we know not for the Brunn-Minkowski one. In the second part of the paper, we show that every metric measure space satisfying classical Brunn-Minkowski inequality can be approximated by discrete spaces with some approximated Brunn-Minkowski inequalities. △ Less

Submitted 25 October, 2007; originally announced October 2007.

Comments: Preprint

On gradient bounds for the heat kernel on the Heisenberg group

Authors: Dominique Bakry, Fabrice Baudoin, Michel Bonnefont, Djalil Chafai

Abstract: It is known that the couple formed by the two dimensional Brownian motion and its Lévy area leads to the heat kernel on the Heisenberg group, which is one of the simplest sub-Riemannian space. The associated diffusion operator is hypoelliptic but not elliptic, which makes difficult the derivation of functional inequalities for the heat kernel. However, Driver and Melcher and more recently H.-Q.… ▽ More It is known that the couple formed by the two dimensional Brownian motion and its Lévy area leads to the heat kernel on the Heisenberg group, which is one of the simplest sub-Riemannian space. The associated diffusion operator is hypoelliptic but not elliptic, which makes difficult the derivation of functional inequalities for the heat kernel. However, Driver and Melcher and more recently H.-Q. Li have obtained useful gradient bounds for the heat kernel on the Heisenberg group. We provide in this paper simple proofs of these bounds, and explore their consequences in terms of functional inequalities, including Cheeger and Bobkov type isoperimetric inequalities for the heat kernel. △ Less

Submitted 5 September, 2008; v1 submitted 16 October, 2007; originally announced October 2007.

Comments: Minor corrections

MSC Class: 22E30 ; 60J60

Journal ref: Journal of Functional Analysis 255, 8 (2008) 1905-1938