Source author record

Laurent Saloff-Coste

Laurent Saloff-Coste appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

35works
7topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

35 published item(s)

preprint2026arXiv

Faber-Krahn inequality and heat kernel estimates on glued graphs

Faber-Krahn functions provide lower bounds on the first Dirichlet eigenvalue of the Laplacian and are useful because they imply heat kernel upper bounds. In this paper, we are interested in Faber-Krahn functions and heat kernel estimates for a certain class of graphs consisting of "sufficiently nice pages" (satisfying a Harnack inequality) glued together via a "sufficiently nice spine." For such graphs, we obtain a relative Faber-Krahn function in terms of the Faber-Krahn functions on the pages. The corresponding heat kernel upper bound involves the volumes on the various pages. In the case our graphs satisfy a property we call "book-like" and the spine is appropriately transient, we provide a matching lower bound for the heat kernel between two points on the gluing spine.

preprint2022arXiv

Multidimensional examples of the Metropolis algorithm

Consider the problem of approximating a given probability distribution on the cube $[0,1]^n$ via the use of a square lattice discretization with mesh-size $1/N$ and the Metropolis algorithm. Here the dimension $n$ is fixed and we focus for the most part on the case $n=2$. In order to understand the speed of convergence of such a procedure, one needs to control the spectral gap, $λ$, of the associated finite Markov chain, and how it depends on the parameter $N$. In this work, we study basic examples for which good upper-bounds and lower-bounds on $λ$ can be obtained via appropriate application of path techniques.

preprint2022arXiv

Random walks on finite nilpotent groups driven by long-jump measures

We consider a variant of random walks on finite groups. At each step, we choose an element from a set of generators ("directions") uniformly, and an integer from a power law ("speed") distribution associated with the chosen direction. We show that if the finite group is nilpotent, the mixing time of this walk is of the same order of magnitude as the diameter of a suitable pseudo-metric, D(S, a), on the group, which depends only on the generators and speeds. Additionally, we give sharp bounds on the $\ell^2$-distance between the distribution of the position of the walker and the stationary distribution, and compute D(S,a) for some examples.

preprint2022arXiv

The 4-player gambler's ruin problem

This work explains how to utilize earlier results by P. Diaconis, K. Houston-Edwards and the second author to estimate probabilities related to the 4-player gambler ruin problem. For instance, we show that the probability that a very dominant player (i.e., a player starting with all but 3 chips distributed among the remaining players) is first to loose is of order $N^{-α}$ where $α$ is approximately $5.68$. In the $3$-player game, this probability is or order $N^{-3}$. We note it is futile to attempt to give heuristic/intuitive explanations for the value of $α$. This value is obtained via an explicit formula relating $α$ to the Dirichlet eigenvalue $λ$ (zero boundary condition) of the spherical Laplacian in the equilateral spherical triangle on the unit sphere $\mathbb S^2$ that corresponds to a unit simplex with one vertex placed at the origin in Euclidean $3$-space. The value of $λ$ is estimated using a finite-difference-type algorithm developed by Grady Wright.

preprint2020arXiv

Davies' method for heat-kernel estimates: An extension to the semi-elliptic setting

We consider a class of constant-coefficient partial differential operators on a finite-dimensional real vector space which exhibit a natural dilation invariance. Typically, these operators are anisotropic, allowing for different degrees in different directions. The heat kernels associated to these so-called positive-homogeneous operators are seen to arise naturally as the limits of convolution powers of complex-valued measures, just as the classical heat kernel appears in the central limit theorem. Building on the functional-analytic approach developed by E. B. Davies for higher-order uniformly elliptic operators with measurable coefficients, we formulate a general theory for (anisotropic) self-adjoint variable-coefficient operators, each comparable to a positive-homogeneous operator, and study their associated heat kernels. Specifically, under three abstract hypotheses, we show that the heat kernels satisfy off-diagonal (Gaussian type) estimates involving the Legendre-Fenchel transform of the operator's principle symbol. Our results extend those of E. B. Davies and G. Barbatis and partially extend results of A. F. M. ter Elst and D. Robinson.

preprint2016arXiv

Brownian motion on treebolic space: positive harmonic functions

Treebolic space HT(q,p) is a key example of a strip complex in the sense of Bendikov, Saloff-Coste, Salvatori, and Woess [Adv. Math. 226 (2011), 992-1055]. It is an analog of the Sol geometry, namely, it is a horocylic product of the hyperbolic upper half plane with a "stretching" parameter q and the homogeneous tree T with vertex degree p+1 < 2, the latter seen as a one-complex. In a previous paper [arXiv:1212.6151, Rev. Mat. Iberoamericana, in print] we have explored the metric structure and isometry group of that space. Relying on the analysis on strip complexes, a family of natural Laplacians with "vertical drift" and the escape to infinity of the associated Brownian motion were considered. Here, we undertake a potential theoretic study, investigating the positive harmonic functions associated with those Laplacians. The methodological subtleties stem from the singularites of treebolic space at its bifurcation lines. We first study harmonic functions on simply connected sets with "rectangular" shape that are unions of strips. We derive a Poisson representation and obtain a solution of the Dirichlet problem on sets of that type. This provides properties of the density of the induced random walk on the collection of all bifuraction lines. Subsequently, we prove that each positive harmonic function with respect to that random walk has a unique extension which is harmonic with respect to the Laplacian on treebolic space. Finally, we derive a decomposition theorem for positive harmonic functions on the entire space that leads to a characterisation of the weak Liouville property. We determine all minimal harmonic functions in those cases where our Laplacian arises from lifting a (smooth) hyperbolic Laplacian with drift from the hyperbolic plane to treebolic space.

preprint2016arXiv

Convolution powers of complex functions on $\mathbb{Z}^d$

The study of convolution powers of a finitely supported probability distribution $ϕ$ on the $d$-dimensional square lattice is central to random walk theory. For instance, the $n$th convolution power $ϕ^{(n)}$ is the distribution of the $n$th step of the associated random walk and is described by the classical local limit theorem. Following previous work of P. Diaconis and the authors, we explore the more general setting in which $ϕ$ takes on complex values. This problem, originally motivated by the problem of Erastus L. De Forest in data smoothing, has found applications to the theory of stability of numerical difference schemes in partial differential equations. For a complex valued function $ϕ$ on $\mathbb{Z}^d$, we ask and address four basic and fundamental questions about the convolution powers $ϕ^{(n)}$ which concern sup-norm estimates, generalized local limit theorems, pointwise estimates, and stability. This work extends one-dimensional results of I. J. Schoenberg, T. N. E. Greville, P. Diaconis and the second author and, in the context of stability theory, results by V. Thomée and M. V. Fedoryuk.

preprint2016arXiv

Davies' method for anomalous diffusions

Davies' method of perturbed semigroups is a classical technique to obtain off-diagonal upper bounds on the heat kernel. However Davies' method does not apply to anomalous diffusions due to the singularity of energy measures. In this note, we overcome the difficulty by modifying the Davies' perturbation method to obtain sub-Gaussian upper bounds on the heat kernel. Our computations closely follow the seminal work of Carlen, Kusuoka and Stroock \cite{CKS}. However, a cutoff Sobolev inequality due to Andres and Barlow \cite{AB} is used to bound the energy measure.

preprint2016arXiv

Heat kernel estimates on connected sums of parabolic manifolds

We obtain matching two sided estimates of the heat kernel on a connected sum of parabolic manifolds, each of them satisfying the Li-Yau estimate. The key result is the on-diagonal upper bound of the heat kernel at a central point. Contrary to the nonparabolic case (which was settled in [15]), the on-diagonal behavior of the heat kernel in our case is determined by the end with the maximal volume growth function. As examples, we give explicit heat kernel bounds on the connected sums $R^2#R^2$ and $R^1#R^2$ where $R^1 = R_+\timesS^1$.

preprint2016arXiv

Positive-homogeneous operators, heat kernel estimates and the Legendre-Fenchel transform

We consider a class of homogeneous partial differential operators on a finite-dimensional vector space and study their associated heat kernels. The heat kernels for this general class of operators are seen to arise naturally as the limiting objects of the convolution powers of complex-valued functions on the square lattice in the way that the classical heat kernel arises in the (local) central limit theorem. These so-called positive-homogeneous operators generalize the class of semi-elliptic operators in the sense that the definition is coordinate-free. More generally, we introduce a class of variable-coefficient operators, each of which is uniformly comparable to a positive-homogeneous operator, and we study the corresponding Cauchy problem for the heat equation. Under the assumption that such an operator has Hölder continuous coefficients, we construct a fundamental solution to its heat equation by the method of E. E. Levi, adapted to parabolic systems by A. Friedman and S. D. Eidelman. Though our results in this direction are implied by the long-known results of S. D. Eidelman for $2\vec{b}$-parabolic systems, our focus is to highlight the role played by the Legendre-Fenchel transform in heat kernel estimates. Specifically, we show that the fundamental solution satisfies an off-diagonal estimate, i.e., a heat kernel estimate, written in terms of the Legendre-Fenchel transform of the operator's principal symbol--an estimate which is seen to be sharp in many cases.

preprint2015arXiv

Anomalous threshold behavior of long range random walks

We consider weighted graphs satisfying sub-Gaussian estimate for the natural random walk. On such graphs, we study symmetric Markov chains with heavy tailed jumps. We establish a threshold behavior of such Markov chains when the index governing the tail heaviness (or jump index) equals the escape time exponent (or walk dimension) of the sub-Gaussian estimate. In a certain sense, this generalizes the classical threshold corresponding to the second moment condition.

preprint2015arXiv

Harnack inequalities and Gaussian estimates for random walks on metric measure spaces

We characterize Gaussian estimates for transition probability of a discrete time Markov chain in terms of geometric properties of the underlying state space. In particular, we show that the following are equivalent: (1) Two sided Gaussian bounds on heat kernel (2) A scale invariant Parabolic Harnack inequality (3) Volume doubling property and a scale invariant Poincaré inequality. The underlying state space is a metric measure space, a setting that includes both manifolds and graphs as special cases. An important feature of our work is that our techniques are robust to small perturbations of the underlying space and the Markov kernel. In particular, we show the stability of the above properties under quasi-isometries. We discuss various applications and examples.

preprint2015arXiv

Isoperimetric profiles and random walks on some permutation wreath products

We study the isoperimetric profiles of certain families of finitely generated groups defined via marked Schreier graphs and permutation wreath products. The groups we study are among the "simplest" examples within a much larger class of groups, all defined via marked Schreier graphs and/or action on rooted trees, which includes such examples as the long range group, Grigorchuck group and the basillica group. The highly non-linear structure of these groups make them both interesting and difficult to study. Because of the relative simplicity of the Schreier graphs that define the groups we study here (the key fact is that they contained very large regions that are "one dimensional"), we are able to obtain sharp explicit bounds on the $L^1$ and $L^2$ isoperimetric profiles of these groups. As usual, these sharp isoperimetric profile estimates provide sharp bounds on the probability of return of simple random walk. Nevertheless, within each of the families of groups we study there are also many cases for which the existing techniques appear inadequate and this leads to a variety of open problems.

preprint2015arXiv

Random walks and isoperimetric profiles under moment conditions

Let $G$ be a finitely generated group equipped with a finite symmetric generating set and the associated word length function $|\cdot |$. We study the behavior of the probability of return for random walks driven by symmetric measures $μ$ that are such that $\sum ρ(|x|)μ(x)<\infty$ for increasing regularly varying or slowly varying functions $ρ$, for instance, $s\mapsto (1+s)^α$, $α\in (0,2]$, or $s\mapsto (1+\log (1+s))^ε$, $ε>0$. For this purpose we develop new relations between the isoperimetric profiles associated with different symmetric probability measures. These techniques allow us to obtain a sharp $L^2$-version of Erschler's inequality concerning the Følner functions of wreath products. Examples and assorted applications are included.

preprint2015arXiv

Random walks under slowly varying moment conditions on groups of polynomial volume growth

Let $G$ be a finitely generated group of polynomial volume growth equipped with a word-length $|\cdot|$. The goal of this paper is to develop techniques to study the behavior of random walks driven by symmetric measures $μ$ such that, for any $ε>0$, $\sum|\cdot|^εμ=\infty$. In particular, we provide a sharp lower bound for the return probability in the case when $μ$ has a finite weak-logarithmic moment.

preprint2015arXiv

Transition probability estimates for long range random walks

Let $(M,d,μ)$ be a uniformly discrete metric measure space satisfying space homogeneous volume doubling condition. We consider discrete time Markov chains on $M$ symmetric with respect to $μ$ and whose one-step transition density is comparable to $ (V_h(d(x,y)) ϕ(d(x,y))^{-1}$, where $ϕ$ is a positive continuous regularly varying function with index $β\in (0,2)$ and $V_h$ is the homogeneous volume growth function. Extending several existing work by other authors, we prove global upper and lower bounds for $n$-step transition probability density that are sharp up to constants.

preprint2014arXiv

Brownian motion on treebolic space: escape to infinity

Treebolic space is an analog of the Sol geometry, namely, it is the horocylic product of the hyperbolic upper half plane H and the homogeneous tree T with degree p+1 > 2, the latter seen as a one-complex. Let h be the Busemann function of T with respect to a fixed boundary point. Then for real q > 1 and integer p > 1, treebolic space HT(q,p) consists of all pairs (z=x+i y,w) in H x T with h(w) = log_{q} y. It can also be obtained by glueing together horziontal strips of H in a tree-like fashion. We explain the geometry and metric of HT and exhibit a locally compact group of isometries (a horocyclic product of affine groups) that acts with compact quotient. When q=p, that group contains the amenable Baumslag-Solitar group BS(p)$ as a co-compact lattice, while when q and p are distinct, it is amenable, but non-unimodular. HT(q,p) is a key example of a strip complex in the sense of our previous paper in Advances in Mathematics 226 (2011) 992-1055. Relying on the analysis of strip complexes developed in that paper, we consider a family of natural Laplacians with "vertical drift" and describe the associated Brownian motion. The main difficulties come from the singularites which treebolic space (as any strip complex) has along its bifurcation lines. In this first part, we obtain the rate of escape and a central limit theorem, and describe how Brownian motion converges to the natural geometric boundary at infinity. Forthcoming work will be dedicated to positive harmonic functions.

preprint2014arXiv

On the convolution powers of complex functions on Z

The local limit theorem describes the behavior of the convolution powers of a probability distribution supported on Z. In this work, we explore the role played by positivity in this classical result and study the convolution powers of the general class of complex valued functions finitely supported on Z. This is discussed as de Forest's problem in the literature and was studied by Schoenberg and Greville. Extending these earlier works and using techniques of Fourier analysis, we establish asymptotic bounds for the sup-norm of the convolution powers and prove extended local limit theorems pertaining to this entire class. As the heat kernel is the attractor of probability distributions on Z, we show that the convolution powers of the general class are similarly attracted to a certain class of analytic functions which includes the Airy function and the heat kernel evaluated at purely imaginary time.

preprint2014arXiv

The Dirichlet heat kernel in inner uniform domains: local results, compact domains and non-symmetric forms

This paper provides sharp Dirichlet heat kernel estimates in inner uniform domains, including bounded inner uniform domains, in the context of certain (possibly non-symmetric) bilinear forms resembling Dirichlet forms. For instance, the results apply to the Dirichlet heat kernel associated with a uniformly elliptic divergence form operator with symmetric second order part and bounded measurable coefficients in inner uniform domains in $\mathbb R^n$. The results are applicable to any convex domain, to the complement of any convex domain, and to more exotic examples such as the interior and exterior of the snowflake.

preprint2013arXiv

On some random walks driven by spread-out measures

Let $G$ be a finitely generated group equipped with a symmetric generating $% k $-tuple $S$. Let $|\cdot|$ and $V$ be the associated word length and volume growth function. Let $ν$ be a probability measure such that $% ν(g)\simeq [(1+|g|)^2V(|g|)]^{-1}$. We prove that if $G$ has polynomial volume growth then $ν^{(n)}(e) \simeq V(\sqrt{n\log n})^{-1}$. We also obtain assorted estimates for other spread-out probability measures.

preprint2013arXiv

Spectral computations for birth and death chains

We consider the spectrum of birth and death chains on a $n$-path. An iterative scheme is proposed to compute any eigenvalue with exponential convergence rate independent of $n$. This allows one to determine the whole spectrum in order $n^2$ elementary operations. Using the same idea, we also provide a lower bound on the spectral gap, which is of the correct order on some classes of examples.

preprint2012arXiv

Convolution powers of complex functions on Z

Repeated convolution of a probability measure on Z leads to the central limit theorem and other limit theorems. This paper investigates what kinds of results remain without positivity. It reviews theorems due to Schoenberg, Greville, and Thomee which are motivated by applications to data smoothing (Schoenberg and Greville) and finite difference schemes (Thomee). Using Fourier transform arguments, we prove detailed decay bounds for convolution powers of finitely supported complex functions on Z. If M is an hermitian contraction, an estimate for the off-diagonal entries of the powers M^n k of M^k = I -(I-M)^k is obtained. This generalizes the Carne-Varopoulos Markov chain estimate.

preprint2012arXiv

Discrete/Continuous Elliptic Harnack Inequality and Kernel Estimates for Functions of the Laplacian on a Graph

This paper introduces certain elliptic Harnack inequalities for harmonic functions in the setting of the product space $M \times X$, where $M$ is a (weighted) Riemannian Manifold and $X$ is a countable graph. Since some standard arguments for the elliptic case fail in this "mixed" setting, we adapt ideas introduced by Thierry Delmotte for the discrete parabolic case. We then present some useful applications of this inequality, namely, a kernel estimate for functions of the Laplacian on a graph. This application in turn provides sharp estimates for certain Markov kernels on graphs. We then close this paper with an application to convolution power estimates on finitely generated groups of polynomial growth.

preprint2012arXiv

Random walks driven by low moment measures

We study the decay of convolution powers of probability measures without second moment but satisfying some weaker finite moment condition. For any locally compact unimodular group G and any positive function $ρ:G \rightarrow [0,+\infty]$, we introduce a function $Φ_{G,ρ}$ which describes the fastest possible decay of $n \mapsto ϕ^{(2n)}(e)$ when ϕis a symmetric continuous probability density such that $\intρϕ$ is finite. We estimate $Φ_{G,ρ}$ for a variety of groups G and functions ρ. When ρis of the form $ρ=ρ\circ δ$ with $ρ:[0,+\infty) \rightarrow [0,+\infty)$, a fixed increasing function, and $δ:G \rightarrow [0,+\infty)$, a natural word length measuring the distance to the identity element in G, $Φ_{G,ρ}$ can be thought of as a group invariant.

preprint2012arXiv

Random walks on nilpotent groups driven by measures supported on powers of generators

We study the decay of convolution powers of a large family $μ_{S,a}$ of measures on finitely generated nilpotent groups. Here, $S=(s_1,...,s_k)$ is a generating $k$-tuple of group elements and $a= (α_1,...,α_k)$ is a $k$-tuple of reals in the interval $(0,2)$. The symmetric measure $μ_{S,a}$ is supported by $S^*=\{s_i^{m}, 1\le i\le k,\,m\in \mathbb Z\}$ and gives probability proportional to $$(1+m)^{-α_i-1}$$ to $s_i^{\pm m}$, $i=1,...,k,$ $m\in \mathbb N$. We determine the behavior of the probability of return $μ_{S,a}^{(n)}(e)$ as $n$ tends to infinity. This behavior depends in somewhat subtle ways on interactions between the $k$-tuple $a$ and the positions of the generators $s_i$ within the lower central series $G_{j}=[G_{j-1},G]$, $G_1=G$.

preprint2010arXiv

Merging and stability for time inhomogeneous finite Markov chains

We discuss problems posed by the quantitative study of time inhomogeneous Markov chains. The two main notions for our purpose are merging and stability. Merging (also called weak ergodicity) occurs when the chain asymptotically forgets where it started. It is a loss of memory property. Stability relates to the question of whether or not, despite temporary variations, there is a rough shape describing the long time behavior of the chain. For instance, we will discuss an example where the long time behavior is roughly described by a binomial, with temporal variations.

preprint2009arXiv

The heat semigroup and Brownian motion on strip complexes

We introduce the notion of strip complex. A strip complex is a special type of complex obtained by gluing "strips" along their natural boundaries according to a given graph structure. The most familiar example is the one dimensional complex classically associated with a graph, in which case the strips are simply copies of the unit interval (our setup actually allows for variable edge length). A leading key example is treebolic space, a geometric object studied in a number of recent articles, which arises as a horocyclic product of a metric tree with the hyperbolic plane. In this case, the graph is a regular tree, the strips are the closed unit interval times the real line, and each strip is equipped with the hyperbolic geometry of a specific strip in upper half plane. We consider natural families of Dirichlet forms on a general strip complex and show that the associated heat kernels and harmonic functions have very strong smoothness properties. We study questions such as essential selfadjointness of the underlying differential operator acting on a suitable space of smooth functions satisfying a Kirchoff type condition at points where the strip complex bifurcates. Compatibility with projections that arise from proper group actions is also considered.