Searcharxiv⌕ Search

arXiv subjects

Laurent Saloff-Coste

Publications and source records attributed to Laurent Saloff-Coste.

At least 19 recordsLinked to original sources

Dirichlet eigenfunction and heat kernel estimates on annular domains

Motivated by Euclidean boxes, we consider "thin" annular domains of the form $U=(a,b)\times U_0\subseteq \mathbb{R}^n$ in polar coordinates, where the spherical base $U_0\subseteq \mathbb{S}^{n-1}$ is an inner uniform domain. We show that, with respect to the measure $φ_U^2$ determined by the principal Dirichlet Laplacian eigenfunction $φ_U$, such annular domains satisfy volume doubling and Poincaré inequalities uniformly over all locations and scales. This implies sharp Dirichlet heat kernel estimates expressed in terms of $φ_U$. Our results hold uniformly over the collection of all annuli in $\mathbb{R}^n$. We also give matching two-sided bounds for the first Dirichlet Laplacian eigenfunction and eigenvalue for some annular domains including annuli in $\mathbb{R}^n$. Moreover, we prove eigenfunction inequalities for $φ_U$ under domain perturbations of $U$. The proofs of our main results utilize eigenfunction comparison techniques due to Lierl and the authors (arXiv:1210.4586, arXiv:2504.18783), small scale $φ_U^2$-Poincaré inequalities, as well as a discretization technique of Coulhon and Saloff-Coste. Finally, our methods also imply uniform Neumann heat kernel estimates for thin annular domains.

math.AP↗

Comparison of Dirichlet forms for stable-like random walks on groups of polynomial volume growth

In earlier works, we studied natural examples of stable-like random walks on finitely generated nilpotent groups and, more generally, on groups of polynomial volume growth. These walks are driven by measures of radial type, coordinate-wise type, or convex combinations of such measures. In the present work, we explore when two such random walks have comparable behavior, as measured by the equivalence of their associated Dirichlet forms. We develop criteria for this equivalence in terms of both geometric and algebraic features of the driving measures and the group.

math.PR↗

Heat kernel estimates on book-like graphs

In this paper, we prove two-sided heat kernel estimates on what we call "book-like" graphs. These are graphs consisting of pieces that satisfy the parabolic Harnack inequality that are glued together in a sufficiently nice way over a possibly infinite set of vertices. The prototypical example is gluing a copy of the square four-dimensional lattice $\mathbb{Z}^4,$ a copy of $\mathbb{Z}^5$, and a copy of $\mathbb{Z}^6$ by identifying their $x_1$-axes and taking the lazy simple random walk on this glued graph. Our results are flexible enough to handle perturbations of this example, for instance by adding diagonals to one of the lattices or a few extra vertices/edges.

math.PR↗

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.

math.PR↗

Examples of stable-like random walks on groups of polynomial growth

We consider several families of long jump random walks on groups of polynomial volume growth which are naturally expected to have a stable-like behavior. We then prove optimal pseudo-Poincaré inequalities for these walks. These pseudo-Poincaré inequalities allow us to show that the random walks in questions indeed have a stable-like behavior and to obtain detailed estimates.

math.PR↗

Perturbing the principal Dirichlet eigenfunction

We study the principal Dirichlet eigenfunction $φ_U$ when the domain $U$ is a perturbation of a bounded inner uniform domain in a strictly local regular Dirichlet space. We prove that if $U$ is suitably contained in between two inner uniform domains, then $φ_U$ admits two-sided bounds in terms of the principal Dirichlet eigenfunctions of the two approximating domains. The main ingredients of our proof include domain monotonicity properties associated to Dirichlet boundary conditions, intrinsic ultracontractivity estimates, and parabolic Harnack inequality. As an application of our results, we give explicit expressions comparable to $φ_U$ for certain domains $U\subseteq \mathbb{R}^n$, as well as improved Dirichlet heat kernel estimates for such domains. We also prove that under a uniform exterior ball condition on $U$, a point achieving the maximum of $φ_U$ is separated away from the boundary, complementing a result of Rachh and Steinerberger arXiv:1608.06604. Our principal Dirichlet eigenfunction estimates are applicable to second-order uniformly elliptic operators in Euclidean space, Riemannian manifolds with nonnegative Ricci curvature, and Lie groups of polynomial volume growth.

math.PR↗

Riesz transform, function spaces and their applications on infinite dimensional compact groups

On a compact connected group $G$, consider the infinitesimal generator $-L$ of a central symmetric Gaussian convolution semigroup $(μ_t)_{t>0}$. We establish several regularity results of the solution to the Poisson equation $LU=F$, both in strong and weak senses. To this end, we introduce two classes of Lipschitz spaces for $1\le p\le \infty$: $Λ_θ^p$, defined via the associated Markov semigroup, and $\mathrm L_θ^p$, defined via the intrinsic distance. In the strong sense, we prove a priori Sobolev regularity and Lipschitz regularity in the class of $Λ_θ^p$ space. In the distributional sense, we further show local regularity in the class of $\mathrm L_θ^{\infty}$ space. These results require some strong assumptions on $-L$. Our main techniques build on the differentiability of the associated semigroup, explicit dimension-free $L^p$ ($1<p<\infty$) boundedness of first and second order Riesz transforms, and a comparison between the two Lipschitz norms.

math.AP↗

Sub-elliptic diffusions on compact groups via Dirichlet form perturbation

This work provides an extension of parts of the classical finite dimensional sub-elliptic theory in the context of infinite dimensional compact connected metrizable groups. Given a well understood and well behaved bi-invariant Laplacian, $Δ$, and a sub-Laplacian, $L$, to which intrinsic distances, $d_Δ$, $d_L$, are naturally attached, we show that a comparison inequality of the form $d_L\le C(d_Δ)^c$ (for some $0<c\le 1$) implies that the Dirichlet form of a fractional power of $Δ$ is dominated by the Dirichlet form associated with $L$. We use this result to show that, under additional assumptions, certain good properties of the heat kernel for $Δ$ are then passed to the heat kernel associated with $L$. Explicit examples on the infinite product of copies of $SU(2)$ are discussed to illustrate these results.

math.PR↗

Heat kernel estimates on manifolds with ends with mixed boundary condition

We obtain two-sided heat kernel estimates for Riemannian manifolds with ends with mixed boundary condition, provided that the heat kernels for the ends are well understood. These results extend previous results of Grigor'yan and Saloff-Coste by allowing for Dirichlet boundary condition. The proof requires the construction of a global harmonic function which is then used in the $h$-transform technique.

math.DG↗

Hitting probabilities and uniformly $S$-transient subgraphs

We study the probability that a random walk started inside a subgraph of a larger graph exits that subgraph (or, equivalently, hits the exterior boundary of the subgraph). Considering the chance a random walk started in the subgraph never leaves the subgraph leads to a notion we call "survival" transience, or $S$-transience. In the case where the heat kernel of the larger graph satisfies two-sided Gaussian estimates, we prove an upper bound on the probability of hitting the boundary of the subgraph. Under the additional hypothesis that the subgraph is inner uniform, we prove a two-sided estimate for this probability. The estimate depends upon a harmonic function in the subgraph. We also provide two-sided estimates for related probabilities, such as the harmonic measure (the chance the walk exits the subgraph at a particular point on its boundary).

math.PR↗

Uniform doubling for abelian products with $\operatorname{SU}(2)$

We prove that the uniform doubling property holds for every Lie group which can be written as a quotient group of $\operatorname{SU}(2) \times \mathbb{R}^n$ for some $n$. In particular, this class includes the four-dimensional unitary group $\operatorname{U}(2)$. As this class contain non-compact as well as compact Lie groups, we discuss a number of analytic and spectral consequences for the corresponding heat kernels.

math.DG↗

Heat Kernel Estimates for Schrödinger Operators with Decay at Infinity on Parabolic Manifolds

We give estimates for positive solutions for the Schrödinger equation $(Δ_μ+W)u=0$ on a wide class of parabolic weighted manifolds $(M, dμ)$ when $W$ decays to zero at infinity faster than quadratically. These can be combined with results of Grigor'yan to give matching upper and lower bounds for the heat kernel of the corresponding Schrödinger operator $Δ_μ+W$. In particular, this appears to complement known results for Schrödinger operators on $\mathbf{R}^2$.

math.AP↗

The Boundary Harnack Principle and the 3G Principle in Fractal-Type Spaces

We prove a generalized version of the $3G$ Principle for Green's functions on bounded inner uniform domains in a wide class of Dirichlet spaces. In particular, our results apply to higher-dimensional fractals such as Sierpinski carpets in $\mathbf{R}^n$, $n\geq 3$, as well as generalized fractal-type spaces that do not have a well-defined Hausdorff dimension or walk dimension. This yields new instances of the $3G$ Principle for these spaces. We also discuss applications to Schrödinger operators.

math.PR↗

Expected hitting time estimates on finite graphs

The expected hitting time from vertex $a$ to vertex $b$, $H(a,b)$, is the expected value of the time it takes a random walk starting at $a$ to reach $b$. In this paper, we give estimates for $H(a,b)$ when the distance between $a$ and $b$ is comparable to the diameter of the graph, and the graph satisfies a Harnack condition. We show that, in such cases, $H(a,b)$ can be estimated in terms of the volumes of balls around $b$. Using our results, we estimate $H(a,b)$ on various graphs, such as rectangular tori, some convex traces in $\mathbb{Z}^d$, and fractal graphs. Our proofs use heat kernel estimates.

math.PR↗

Poincaré constant on manifolds with ends

We obtain optimal estimates of the Poincaré constant of central balls on manifolds with finitely many ends. Surprisingly enough, the Poincaré constant is determined by the second largest end. The proof is based on the argument by Kusuoka-Stroock where the heat kernel estimates on the central balls play an essential role. For this purpose, we extend earlier heat kernel estimates obtained by the authors to a larger class of parabolic manifolds with ends.

math.DG↗

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.

math.PR↗

Long range random walks and associated geometries on groups of polynomial growth

In the context of countable groups of polynomial volume growth, we consider a large class of random walks that are allowed to take long jumps along multiple subgroups according to power law distributions. For such a random walk, we study the large time behavior of its probability of return at time $n$ in terms of the key parameters describing the driving measure and the structure of the underlying group. We obtain assorted estimates including near-diagonal two-sided estimates and the Hölder continuity of the solutions of the associated discrete parabolic difference equation. In each case, these estimates involve the construction of a geometry adapted to the walk.

math.PR↗

Limit theorems for some long range random walks on torsion free nilpotent groups

We consider a natural class of long range random walks on torsion free nilpotent groups and develop limit theorems for these walks. Given the original discrete group $Γ$ and a random walk $(S_n)_ {n\ge1}$ driven by a certain type of symmetric probability measure $μ$, we construct a homogeneous nilpotent Lie group $G_\bullet(Γ,μ)$ which carries an adapted dilation structure and a stable-like process $(X_t)_{ t\ge0}$ which appears in a Donsker-type functional limit theorem as the limit of a rescaled version of the random walk. Both the limit group and the limit process on that group depend on the measure $μ$. In addition, the functional limit theorem is complemented by a local limit theorem.

math.PR↗