SearcharxivSearch

arXiv subjects

Michel Bonnefont

Publications and source records attributed to Michel Bonnefont.

At least 19 recordsLinked to original sources

Large time behaviour for the semigroup of the kinetic Brownian motion in the plane

We establish an integration by parts formula for the semigroup in time $T>0$ of the kinetic Brownian motion in the Euclidean plane together with its velocity in the circle. The stochastic differential equation of our kinetic Brownian motion is driven here by one real-valued Brownian motion constructed from an orthonormal basis of $L^2([0,T],\R)$ and an independent sequence of $\SN(0,1)$ random variables. Our method is based on an explicit computation of a Malliavin dual in the Gaussian space. We are mainly interested in large time $T$. From our integration by parts, we obtain gradient estimates including a reverse Poincar{é} inequality for the semigroup. As a direct consequence, we also obtain a Liouville property for the generator of the kinetic Brownian motion and its speed: all bounded harmonic functions are constant.

math.PR

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

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 .

math.AP

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

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.

math.PR

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

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.

math.CO

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

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.

math.FA

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

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.

math.PR

Covariance inequalities for convex and log-concave functions

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.

math.PR

Eigenvalue asymptotics and unique continuation of eigenfunctions on planar graphs

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.

math.CO

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

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.

math.DG

A note on eigenvalues estimates for one-dimensional diffusion operators

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.

math.PR

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

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

math.PR

Magnetic sparseness and Schrödinger operators on graphs

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.

math.SP

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

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.

math.PR

Intertwinings and Generalized Brascamp-Lieb Inequalities

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.

math.PR

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

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.

math.DG