Sharp Davies–Gaffney–Grigor’yan Lemma on Graphs

Frank Bauer,Bobo Hua,Shing-Tung Yau

DOI: https://doi.org/10.1007/s00208-017-1529-z

2017-01-01

Mathematische Annalen

Abstract:We prove a variant of the Davies-Gaffney-Grigor'yan Lemma for the continuous time heat kernel on graphs. We use it together with the Li-Yau inequality to obtain strong heat kernel estimates for graphs satisfying the exponential curvature dimension inequality.

What problem does this paper attempt to address?

Li-Yau Inequality on Graphs

Frank Bauer,Paul Horn,Yong Lin,Gabor Lippner,Dan Mangoubi,Shing-Tung Yau

DOI: https://doi.org/10.4310/jdg/1424880980

2015-01-01

Journal of Differential Geometry

Abstract:We prove the Li-Yau gradient estimate for the heat kernel on graphs. The only assumption is a variant of the curvature-dimension inequality, which is purely local, and can be considered as a new notion of curvature for graphs. We compute this curvature for lattices and trees and conclude that it behaves more naturally than the already existing notions of curvature. Moreover, we show that if a graph has non-negative curvature then it has polynomial volume growth. We also derive Harnack inequalities and heat kernel bounds from the gradient estimate, and show how it can be used to strengthen the classical Buser inequality relating the spectral gap and the Cheeger constant of a graph.
Davies–Gaffney–Grigor’yan Lemma on Simplicial Complexes

Bobo Hua,Xin Luo

DOI: https://doi.org/10.1007/s00209-018-2051-z

2018-01-01

Mathematische Zeitschrift

Abstract:We prove Davies–Gaffney–Grigor’yan lemma for heat kernels of bounded discrete Hodge Laplacians on simplicial complexes.
Volume Doubling, Poincaré Inequality and Gaussian Heat Kernel Estimate for Non-Negatively Curved Graphs

Paul Horn,Yong Lin,Shuang Liu,Shing-Tung Yau

DOI: https://doi.org/10.1515/crelle-2017-0038

2017-01-01

Journal für die reine und angewandte Mathematik (Crelles Journal)

Abstract:By studying the heat semigroup, we prove Li-Yau type estimates for bounded and positive solutions of the heat equation on graphs, under the assumption of the curvature-dimension inequality CDE'(n,0), which can be consider as a notion of curvature for graphs. Furthermore, we derive that if a graph has non-negative curvature then it has the volume doubling property, from this we can prove the Gaussian estimate for heat kernel, and then Poincaré inequality and Harnack inequality. As a consequence, we obtain that the dimension of space of harmonic functions on graphs with polynomial growth is finite, which original is a conjecture of Yau on Riemannian manifold proved by Colding and Minicozzi. Under the assumption of positive curvature on graphs, we derive the Bonnet-Myers type theorem that the diameter of graphs is finite and bounded above in terms of the positive curvature by proving some Log Sobolev inequalities.
Log-Sobolev Inequalities on Graphs with Positive Curvature

Yong Lin,Shuang Liu,Hongye Song

DOI: https://doi.org/10.15688/mpcm.jvolsu.2017.3.8

2017-01-01

Abstract:Based on a global estimate of the heat kernel, some important inequalities such as Poincaré inequality and log-Sobolev inequality, furthermore a tight logarithm Sobolev inequality are presented on graphs, just under a positive curvature condition ′ (, ) with some > 0. As consequences, we obtain exponential integrability of integrable Lipschitz functions and moment bounds at the same assumption on graphs.
Davies-Gaffney-Grigor'yan lemma on simplicial complexes

Bobo Hua,Xin Luo

DOI: https://doi.org/10.48550/arXiv.1702.00529

2017-02-02

Abstract:We prove Davies-Gaffney-Grigor'yan lemma for heat kernels of bounded discrete Hodge Laplacians on simplicial complexes.

Spectral Theory
On-diagonal Lower Estimate of Heat Kernels on Graphs

Yong Lin,Yiting Wu

DOI: https://doi.org/10.1016/j.jmaa.2017.07.028

IF: 1.417

2017-01-01

Journal of Mathematical Analysis and Applications

Abstract:We establish a new on-diagonal lower estimate of continuous-time heat kernels for large time on graphs. To achieve the goal, we first introduce an upper estimate of heat kernels in natural graph metric, then use the upper estimate and the volume growth condition to show the validity of the on-diagonal lower estimate.
Eigenvalues of Graphs and Sobolev Inequalities

Fan R. K. Chung,Shing-Tung Yau

DOI: https://doi.org/10.1017/s0963548300001449

1995-01-01

Combinatorics Probability Computing

Abstract:We derive bounds for eigenvalues of the Laplacian of graphs using discrete versions of the Sobolev inequalities and heat kernel estimates.
A Strong Harnack Inequality for Graphs

Fan Chung,Shing-Tung Yau

DOI: https://doi.org/10.4310/cag.2017.v25.n3.a3

2017-01-01

Communications in Analysis and Geometry

Abstract:We introduce the curvature (and the flow curvature) for graphs, which allow us to prove several Harnack inequalities for general graphs (which are not necessarily regular). We first show that for a graph with curvature kappa, the combinatorial eigenfunction f associated with eigenvalue. satisfies lambda for any edge {x, y},| f(x) - f(y)|(2) <= (8 lambda+ 4 kappa) d(max)where max(x) |f(x)| = max(x) f(x) = 1 and d(max) denotes the maximum degree. The above inequality is used to prove a a strengthened inequality which implies that the 'stretches' of edges determined by eigenfunctions are particularly 'small' (in terms of the associated eigenvalue and curvature) near the maximum point. Namely, for a graph with curvature kappa the combinatorial eigenfunction f associated with eigenvalue. satisfies lambda for any edge {x, y},|f(x) -f(y)|(2) <= c(1)lambda + c(2)kappa/beta-1 (beta-f(x))(2)where c(5) >= beta >= 1 + c(3)lambda + c(4)kappa and c's are constants depending only on the maximum degree of the graph.
Gaussian upper heat kernel bounds and Faber-Krahn inequalities on graphs

Christian Rose

2024-10-15

Abstract:We investigate the equivalence of relative Faber-Krahn inequalities and the conjunction of Gaussian upper heat kernel bounds and volume doubling on large scales on graphs. For the normalizing measure, we obtain their equivalence up to constants by imposing comparability of small balls and the vertex degree at their centers. Removing this comparability assumption on the cost of a local regularity condition entering the equivalence and allowing for a variable dimension lead to a further generalization. The variable dimension converges to the doubling dimension for increasing ball radius. If the counting measure or arbitrary measures are considered, the local regularity condition contains the vertex degree. Furthermore, correction functions for the Gaussian, doubling, and Faber-Krahn dimension depending on the vertex degree are introduced. For the Gaussian and doubling, the variable correction functions always tend to one at infinity. Moreover, the variable Faber-Krahn dimension can be related to the doubling dimension and the vertex degree growth.

Analysis of PDEs,Probability
On sharp heat kernel estimates in the context of Fourier-Dini expansions

Bartosz Langowski,Adam Nowak

DOI: https://doi.org/10.1016/j.jat.2024.106103

2024-10-17

Abstract:We prove sharp estimates of the heat kernel associated with Fourier-Dini expansions on $(0,1)$ equipped with Lebesgue measure and the Neumann condition imposed on the right endpoint. Then we give several applications of this result including sharp bounds for the corresponding Poisson and potential kernels, sharp mapping properties of the maximal heat semigroup and potential operators and boundary convergence of the Fourier-Dini semigroup.

Classical Analysis and ODEs
Li-Yau Inequality for Unbounded Laplacian on Graphs

Chao Gong,Yong Lin,Shuang Liu,Shing-Tung Yau

DOI: https://doi.org/10.1016/j.aim.2019.106822

IF: 1.675

2019-01-01

Advances in Mathematics

Abstract:In this paper, we derive Li-Yau inequality for unbounded Laplacian on complete weighted graphs with the assumption of the curvature dimension inequality CDE′(n,K), which can be regarded as a notion of curvature on graphs. Furthermore, we obtain some applications of Li-Yau inequality, including Harnack inequality, heat kernel bounds and Cheng's eigenvalue estimate. These are the first kind of results in this direction for unbounded Laplacian on graphs.
Sharp Reversed Hardy–Littlewood–Sobolev Inequality with Extension Kernel

Wei Dai,Yunyun Hu,Zhao Liu

DOI: https://doi.org/10.4064/sm220323-26-1

2023-01-01

Studia Mathematica

Abstract:In this paper, we prove the following reversed Hardy-Littlewood-Sobolev inequality with extension kernel: [GRAPHICS] for any nonnegative functions f E Lp( partial differential Rn+) and g E Lq ' (Rn+), where n > 2, p, q ' E (0, 1), alpha > n, 0 < beta < alpha-n n-1 , p > alpha-1-(n-1)beta are such that n-1 n-1 p + 1 1 q ' - alpha+beta-1 n = 1. We prove n the existence of extremal functions for the above inequality. Moreover, in the conformal invariant case, we classify all the extremal functions and hence derive the best constant via the method of moving spheres. It is quite surprising that the extremal functions do not depend on beta. Finally, we derive the sufficient and necessary conditions for existence of positive solutions to the Euler-Lagrange equations by using Pohozaev identities.
Constructing heat kernels on infinite graphs

Jay Jorgenson,Anders Karlsson,Lejla Smajlović

2024-04-18

Abstract:Let $G$ be an infinite, edge- and vertex-weighted graph with certain reasonable restrictions. We construct the heat kernel of the associated Laplacian using an adaptation of the parametrix approach due to Minakshisundaram-Pleijel in the setting of Riemannian geometry. This is partly motivated by the wish to relate the heat kernels of a graph and a subgraph, or of a domain and a discretization of it. As an application, assuming that the graph is locally finite, we express the heat kernel $H_G(x,y;t)$ as a Taylor series with the lead term being $a(x,y)t^r$, where $r$ is the combinatorial distance between $x$ and $y$ and $a(x,y)$ depends (explicitly) upon edge and vertex weights. In the case $G$ is the regular $(q+1)$-tree with $q\geq 1$, our construction reproves different explicit formulas due to Chung-Yau and to Chinta-Jorgenson-Karlsson. Assuming uniform boundedness of the combinatorial vertex degree, we show that a dilated Gaussian depending on any distance metric on $G$, which is uniformly bounded from below can be taken as a parametrix in our construction. Our work extends in part the recent articles [LNY21, CJKS23] in that the graphs are infinite and weighted.

Analysis of PDEs,Combinatorics
A New Proof of the Sharp Hardy Inequality to the Grushin Type Operators

Hai-Feng LIU,Peng-Cheng NIU

DOI: https://doi.org/10.3969/j.issn.1002-1175.2006.03.003

2006-01-01

Abstract:A generalized sharp Hardy inequality to the degenerate elliptic operators with respect to Grushin type operators is proved by ingeniously choosing test functions and calculating the maximum value of a quadratic equation. Some interesting corollaries are also listed.
Heat Kernels on Forms Defined on a Subgraph of a Complete Graph

Lin Yong,Georgia Southern University,Yau Shing-Tung

DOI: https://doi.org/10.1007/s00208-021-02215-5

2021-01-01

Mathematische Annalen

Abstract:We study the heat kernel expansion of the Laplacian on n-forms defined on a subgraph of a directed complete graph. We derive two expressions for the subgraph heat kernel on 0-forms and compute the coefficients of the expansion. We also obtain the subgraph heat kernel of the Laplacian on 1-forms.
Ultracontractivity and Functional Inequalities on Infinite Graphs

Yong Lin,Shuang Liu,Hongye Song

DOI: https://doi.org/10.1007/s00454-018-0014-0

2018-01-01

Discrete & Computational Geometry

Abstract:We prove the equivalence between some functional inequalities and the ultracontractivity property of the heat semigroup on infinite graphs. These functional inequalities include Sobolev inequalities, Nash inequalities, Faber–Krahn inequalities, and log-Sobolev inequalities. We also show that, under the assumptions of volume growth and CDE( n , 0), which is regarded as the natural notion of curvature on graphs, these four functional inequalities and the ultracontractivity property of the heat semigroup are all true on graphs.
Gaussian upper bounds, volume doubling and Sobolev inequalities on graphs

Matthias Keller,Christian Rose

2024-06-28

Abstract:We investigate the equivalence of Sobolev inequalities and the conjunction of Gaussian upper heat kernel bounds and volume doubling on large scales on graphs. For the normalizing measure, we obtain their equivalence up to constants by imposing comparability of small balls and the vertex degree at their centers. If arbitrary measures are considered, we incorporate a new local regularity condition. Furthermore, new correction functions for the Gaussian, doubling, and Sobolev dimension are introduced. For the Gaussian and doubling, the variable correction functions always tend to one at infinity. Moreover, the variable Sobolev dimension can be related to the doubling dimension and the vertex degree growth.

Analysis of PDEs,Probability
Stochastic Completeness for Graphs with Curvature Dimension Conditions

Bobo Hua,Yong Lin

DOI: https://doi.org/10.1016/j.aim.2016.10.022

2015-01-01

Abstract:We prove pointwise gradient bounds for heat semigroups associated to general (possibly unbounded) Laplacians on infinite graphs satisfying the curvature dimension condition CD(K,∞). Using gradient bounds, we show stochastic completeness for graphs satisfying the curvature dimension condition.
A note on heat kernel of graphs

Yang Yang,Wei Ke,Zhe Wang,Haiyan Qiao

DOI: https://doi.org/10.1016/j.heliyon.2024.e32235

IF: 3.776

2024-06-04

Heliyon

Abstract:Consider a simple undirected connected graph G, with D ( G ) and A ( G ) representing its degree and adjacency matrices, respectively. Furthermore, L ( G ) = D ( G ) - A ( G ) is the Laplacian matrix of G, and H t = exp ⁡ ( - t L ( G ) ) is the heat kernel (HK) of G, with t > 0 denoting the time variable. For a vertex u ∈ V ( G ) , the uth element of the diagonal of the HK is defined as H t ( u , u ) = ( exp ⁡ ( - t L ( G ) ) ) u u = ∑ k = 0 ∞ ( ( - t L ( G ) ) k ) u u k ! , and H E ( G ) = ∑ i = 1 n e - t λ i = ∑ u = 1 n H t ( u , u ) is the HK trace of G, where λ 1 , λ 2 , ⋯ , λ n denote the eigenvalues of L ( G ) . This study provides new computational formulas for the HK diagonal entries of graphs using an almost equitable partition and the Schur complement technique. We also provide bounds for the HK trace of the graphs.
Blow-up Phenomenon to the Semilinear Heat Equation for Unbounded Laplacians on Graphs

Yong Lin,Shuang Liu,Yiting Wu

DOI: https://doi.org/10.1007/s13163-024-00497-2

2024-01-01

Revista Matemática Complutense

Abstract:Let G=(V,E) be an infinite graph. The purpose of this paper is to investigate the nonexistence of global solutions for the following semilinear heat equation {[ ∂ _t u=Δ u + u^1+α, t>0,x∈ V,; u(0,x)=u_0(x), x ∈ V, ]. where Δ is an unbounded Laplacian on G, α is a positive parameter and u_0 is a nonnegative and nontrivial initial value. Using on-diagonal lower heat kernel bounds, we prove that the semilinear heat equation admits the blow-up solutions, which is viewed as a discrete analog of that of Fujita (J Fac Sci Univ Tokyo 13:109–124, 1966) and had been generalized to locally finite graphs with bounded Laplacians by Lin and Wu (Calc Var Partial Diff Equ 56(4):22, 2017). In this paper, new techniques have been developed to deal with unbounded graph Laplacians.

Sharp Davies–Gaffney–Grigor’yan Lemma on Graphs

Li-Yau Inequality on Graphs

Davies–Gaffney–Grigor’yan Lemma on Simplicial Complexes

Volume Doubling, Poincaré Inequality and Gaussian Heat Kernel Estimate for Non-Negatively Curved Graphs

Log-Sobolev Inequalities on Graphs with Positive Curvature

Davies-Gaffney-Grigor'yan lemma on simplicial complexes

On-diagonal Lower Estimate of Heat Kernels on Graphs

Eigenvalues of Graphs and Sobolev Inequalities

A Strong Harnack Inequality for Graphs

Gaussian upper heat kernel bounds and Faber-Krahn inequalities on graphs

On sharp heat kernel estimates in the context of Fourier-Dini expansions

Li-Yau Inequality for Unbounded Laplacian on Graphs

Sharp Reversed Hardy–Littlewood–Sobolev Inequality with Extension Kernel

Constructing heat kernels on infinite graphs

A New Proof of the Sharp Hardy Inequality to the Grushin Type Operators

Heat Kernels on Forms Defined on a Subgraph of a Complete Graph

Ultracontractivity and Functional Inequalities on Infinite Graphs

Gaussian upper bounds, volume doubling and Sobolev inequalities on graphs

Stochastic Completeness for Graphs with Curvature Dimension Conditions

A note on heat kernel of graphs

Blow-up Phenomenon to the Semilinear Heat Equation for Unbounded Laplacians on Graphs