Abstract
We consider infinite graphs and the associated energy forms. We show that a graph is canonically compactifiable (i.e. all functions of finite energy are bounded) if and only if the underlying set is totally bounded with respect to any finite measure intrinsic metric. Furthermore, we show that a graph is canonically compactifiable if and only if the space of functions of finite energy is an algebra. These results answer questions in a recent work of Georgakopoulos, Haeseler, Keller, Lenz, and Wojciechowski.
Introduction
Open bounded sets in Euclidean space provide an important and wellstudied instance of spectral geometry. Recently, discrete analogues of such sets have become a focus of attention [6, 10, 11]. In particular, Georgakopoulos et al. [6] propose the concept of canonically compactifiable graphs as graphs with strong intrinsic compactness properties. By definition, a graph is called canonically compactifiable if all functions of finite energy are bounded. For such graphs, there is a natural compactification, namely, the Royden compactification. Clearly, in order to study the geometry of such graphs, it is desirable to understand metric compactness features of such graphs.
As shown in [6], total boundedness with respect to common metrics such as the resistance metric or a standard length metric implies that the underlying graph is canonically compactifiable but the converse is not true. So, Georgakopoulos et al. [6] leave open the question of a metric compactness characterization of such graphs. Still, a candidate for such a characterization is proposed there. More specifically, it is shown that total boundedness with respect to all finite measure intrinsic metrics implies that the graph is canonically compactifiable and the converse is shown to hold for locally finite trees. The converse for general graphs, however, remained open and is posed as a problem in [6]. The first main result of this note (Theorem 1) solves this problem. Combining this main result with the mentioned result of Georgakopoulos et al. [6], we obtain that a graph is canonically compactifiable if and only if it is totally bounded with respect to all metrics that are intrinsic with respect to a finite measure (Corollary 1). This characterization turns out to extend without modification to general (non connected) graphs.
To put this result in perspective, we briefly discuss the relevance of intrinsic metrics next. Intrinsic metrics for strongly local Dirichlet forms were introduced in [18] and have subsequently played a fundamental role as they allow for a study of intrinsic spectral geometry of such forms. For general regular Dirichlet forms, a concept was only proposed recently in [5] (see [3, 4, 7, 19] for independent related studies on graphs). A special feature of the case of general Dirichlet forms is well worth pointing out: While in the strongly local case there is a maximal intrinsic metric, there are, in general, several incomparable intrinsic metrics on graphs [5]. Hence, in general, one cannot expect that it will be sufficient to consider only one intrinsic metric for graphs. Recent years have witnessed rather successful applications of intrinsic metrics in order to understand spectral geometry of graphs, see the mentioned works as well as, e.g., [1, 2, 8]. Given this, it is very natural to look for a characterization of the intrinsic compactness property of canonical compactifiability in terms of intrinsic metrics. Theorem 1 provides such a characterization.
In the last section, we provide an answer to another question raised in [6]. This question concerns an algebraic characterization of canonically compactifiable graphs. More specifically, in [6], it is shown that the set of functions of finite energy is an algebra if the graph is canonically compactifiable and we show that the converse is also true (Theorem 2). Our proof can be modified slightly to obtain a similar characterization for uniform transience (Theorem 3), a property that was recently introduced in [10]. Moreover, it can also be generalized to resistance forms in the sense of Kigami [12]. We briefly discuss this extension in Theorem 4. Typical examples for resistance forms are provided by metric graphs and fractals, we refer to [12, 13] for details.
Background
In this section, we first introduce the necessary notations and recall basic facts shown in [6] (see [9] for a description of the general setting as well).
A weighted graph \(G=(X,b)\) consists of a nonempty countable set X of nodes and a symmetric edge weight function \(b: X\times X \rightarrow [0,\infty )\) that vanishes on the diagonal and satisfies the summability condition
Two nodes \(x,y\in X\) are called connected if there is a sequence \((x=x_0,\ldots ,x_n=y)\) with \(b(x_k,x_{k+1}) > 0\) for all \(0\le k < n\). Similarly, a graph is called connected if all of its nodes are connected.
This graph structure gives rise to a quadratic form that assigns to any function \(f:X\rightarrow {\mathbb {C}}\) its Dirichlet energy
and consequently defines the functions of finite energy
This set is closed with respect to addition since
The graph (X, b) is called canonically compactifiable if all functions of finite energy are bounded, that is if \({\mathfrak {D}}(G) \subseteq \ell ^\infty (X)\).
In the rest of this note, we will only look at connected graphs. We can do this since a graph is canonically compactifiable if and only if it has finitely many connected components (i.e. equivalence classes with respect to connectedness) and every connected component is canonically compactifiable. We will explicitly state if we don’t use this assumption.
For any \(o\in X\), we define a pseudonorm \(\Vert \cdot \Vert _o\) on \({\mathfrak {D}}(G)\) via
Since we assumed connectedness, this yields a Hilbert space \(({\mathfrak {D}}(G), \Vert f\Vert _o)\) and the pointwise evaluation
is continuous for every \(x\in X\), see, e.g., [15, Section 1.2].
Pseudo metrics are symmetric functions \(\sigma : X\times X\rightarrow [0,\infty )\) that vanish on the diagonal and satisfy the triangle inequality \(\sigma (x,z)\le \sigma (x,y) + \sigma (y,z)\).
Any pseudo metric \(\sigma \) naturally induces a distance from any nonempty subset \(U\subseteq X\) via
and the diameter of \(U\subseteq X\) by
Whenever (X, b) is a graph and m is a measure on X (i.e. an additive function \({\mathcal {P}}(X)\rightarrow [0,\infty ]\) induced by a node weight function \(X\rightarrow (0,\infty )\)), a pseudo metric \(\sigma \) is called intrinsic with respect to the measure m if the inequality
holds for all \(x\in X\).
Any graph (X, b) comes with a metric \(\varrho \) defined as
Given this definition, it is easy to see that any function f of bounded Dirichlet energy satisfies
Indeed, the inequality is optimal; the definition of \(\varrho \) gives that it is characterized by
for any \(C>0\). The metric \(\varrho \) is tied to canonical compactifiability, as [6, Theorem 4.3] proves that a connected graph (X, b) is canonically compactifiable if and only if it is bounded with respect to \(\varrho \), i.e. \(\mathrm {diam}_\varrho (X) < \infty \). This will be used below.
Remark
This metric is closely tied to the resistance metric r by \(\varrho ^2 = r\) (it is shown that r is a metric for locally finite graphs in [6, Theorem 3.19] and for general graphs in [14]). The metric is also related to intrinsic metrics (see [6, Theorem 3.13]).
Remark
Let us emphasize that our results do not assume local finiteness of the graph.
Characterization via intrinsic metrics
In this section, we provide a characterization of canonical compactifiability via intrinsic pseudo metrics.
A key step is the subsequent lemma. It provides an estimate for the energy of the distance to a set with respect to an intrinsic pseudo metric, which may be of interest in other contexts as well. A different bound (by m(X) instead of \(2m(X\setminus U)\)) is given in [6, Propositions 3.10 and 3.11].
Lemma 1
Let \(G = (X,b)\) be a graph and let \(\sigma \) be an intrinsic pseudo metric with respect to a finite measure m on X. For a nonempty subset \(U\subset X\), the energy of \(\sigma _U\) is bounded by
Proof
Immediately, we deduce \(\sigma _U(x) = 0\) for all \(x\in U\) and \(\sigma _U(x) \sigma _U(y)\le \sigma (x,y)\) for all \(x,y\in X\). These properties already imply the desired bound on the Dirichlet energy of \(\sigma _U\):
Here, we used the fact that \(\sigma \) is intrinsic with respect to m in the last estimate.
\(\square \)
Theorem 1
Let (X, b) be a canonically compactifiable graph and consider a pseudo metric \(\sigma \) which is intrinsic with respect to a finite measure m. Then (X, b) is totally bounded with respect to \(\sigma \).
Proof
Fix an arbitrary \(\varepsilon > 0\). We have to find a finite subset S of X with \(\sigma _S (x) < \varepsilon \) for all \(x\in X\).
For \(\delta > 0\), define the set \(U_\delta = \{x\in X: m(\{x\}) < \delta \}\). As m is finite and the graph is canonically compactifiable (i.e. \(\mathrm {diam}_\varrho (X) < \infty \) holds by [6, Theorem 4.3]), we can choose \(\delta > 0\) such that
We now claim that the set \(S:=X\setminus U_\delta \) has the desired properties:
Indeed, the set is finite as we clearly have \(S \le \frac{m(X)}{\delta } < \infty \).
Moreover, \(\sigma _S(x) < \varepsilon \) can be proven as follows: Lemma 1 helps us to estimate the Dirichlet energy of the function \(\sigma _S\):
Now, recall the inequality \(f(x)f(y)\le {\tilde{Q}}(f)^{1/2}\varrho (x,y)\) and pick an arbitrary point \(o\in S\) to see
This finishes the proof. \(\square \)
Combining the previous theorem with its converse, [6, Corollary 4.5], and the fact that a general graph is canonically compactifiable if and only if it has finitely many connected components and each component is canonically compactifiable, we obtain the following characterization of canonically compactifiable graphs.
Corollary 1
A (not necessarily connected) graph (X, b) is canonically compactifiable if and only if X is totally bounded with respect to any pseudo metric \(\sigma \) that is intrinsic with respect to a finite measure.
Algebraic characterization
In this section, we will prove that a graph is canonically compactifiable if and only if the space of functions of finite energy is an algebra (with the usual pointwise addition and multiplication of functions). The proof can be transferred to show a similar algebraic characterization of uniform transience and can even be extended to resistance forms, see the discussion after Corollary 2.
Since [6, Lemma 4.8] already states that the space of functions of finite Dirichlet energy is an algebra if the underlying graph is canonically compactifiable, we will focus on the other direction.
Again, we use the splitting of canonical compactifiability to reduce the problem to connected graphs.
Theorem 2
Let \(G=(X,b)\) be a graph. If the space of functions of finite Dirichlet energy \({\mathfrak {D}}(G)\) is an algebra, the graph G is canonically compactifiable.
Proof
We analyze graphs that are not canonically compactifiable and find functions \(f\in {\mathfrak {D}}(G)\) such that \({\tilde{Q}}(f^2) = \infty \), implying that \({\mathfrak {D}}(G)\) cannot be an algebra.
Let G be a graph that is not canonically compactifiable and fix an arbitrary node \(o\in X\). We know that \(\varrho \) is unbounded on G since G is not canonically compactifiable, see [6, Theorem 4.3]. Select an infinite sequence of nodes \((x_n:n\in I \subseteq {\mathbb {N}})\) such that \(8^n<\varrho (x_n,o)\le 8^{n+1}\) (if there is no such \(x_n\) for a certain n, just omit this index). Now, we aim to find functions \(f_n\in {\mathfrak {D}}(G)\) that satisfy
Such functions exist because
yields
where the additional condition \(0\le f\le 4^n\) can be introduced since \({\tilde{Q}}\) is Markovian, i.e. \({\tilde{Q}}(0\vee f \wedge 4^n)\le {\tilde{Q}}(f)\) for all f.
Considering \(\sum \nolimits _{n\in I}{\tilde{Q}}(f_n)^{1/2} \le \sum \nolimits _{n=1}^{\infty } 2^{n} = 1\) and the fact that \(({\mathfrak {D}}(G), \Vert \cdot \Vert _o)\) is a Hilbert space, the function \(f:= \sum \nolimits _{n\in I} f_n \in {\mathfrak {D}}(G)\) is welldefined and \({\tilde{Q}}(f)\le 1\). Conversely, for all \(n\in I\), we have
thus \({\tilde{Q}}(f^2)=\infty \). \(\square \)
Combining Theorem 2 with its converse, [6, Lemma 4.8], then yields the following characterization.
Corollary 2
A graph \(G=(X,b)\) is canonically compactifiable if and only if the space of functions of finite Dirichlet energy \({\mathfrak {D}}(G)\) is an algebra.
Let \({\mathfrak {D}}_0(G)\) be the closure of \(C_c(X)\) in the Hilbert space
and define the metric
The graph G is called uniformly transient if \({\mathfrak {D}}_0(G) \subseteq C_0(X)\), where \(C_0(X)\) stands for the closure of \(C_c(X)\) in \(\ell ^\infty (X)\), see [10, Section 2]. Moreover, for connected graphs, uniform transience is equivalent to the boundedness of \(\varrho _0\), see [10, Theorem 3.2].
The space \({\mathfrak {D}}_0(G) \cap \ell ^\infty (X)\) is an algebra, see [17, Theorem 6.2], and the proof of Theorem 2 can be modified by replacing \({\mathfrak {D}}(G)\) with \({\mathfrak {D}}_0(G)\) and \(\varrho \) with \(\varrho _0\). These observations yield the following characterization of uniform transience.
Theorem 3
A graph is uniformly transient if and only if \({\mathfrak {D}}_0(G)\) is an algebra.
The same line of reasoning also applies to resistance forms in the sense of Kigami. Here we only state the result and sketch a proof. For notation, further background, and examples, we refer to [12, 13].
Let \(({\mathcal {E}}, {\mathcal {F}})\) be a resistance form on the set \(X \ne \emptyset \), see [12, Definition 2.3.1], and let
be the square root of the associated resistance metric. Our main result for resistance forms reads as follows.
Theorem 4
The following assertions are equivalent.

(i)
\({\mathcal {F}} \subseteq \ell ^\infty (X)\).

(ii)
\(\rho _{{\mathcal {E}}}\) is bounded.

(iii)
\({\mathcal {F}}\) is an algebra.
Proof
The equivalence of (i) and (ii) can be proven along the same lines as [6, Theorem 4.3].
References
 1.
Bauer, F., Hua, B., Keller, M.: On the \(l^p\) spectrum of Laplacians on graphs. Adv. Math. 248, 717–735 (2013)
 2.
Bauer, F., Keller, M., Wojciechowski, R.: Cheeger inequalities for unbounded graph Laplacians. J. Eur. Math. Soc. (JEMS) 17, 259–271 (2015)
 3.
Folz, M.: Volume growth and stochastic completeness of graphs. Trans. Amer. Math. Soc. 366, 2089–2119 (2014)
 4.
Folz, M.: Volume growth and spectrum for general graph Laplacians. Math. Z. 276, 115–131 (2014)
 5.
Frank, L., Lenz, D., Wingert, D.: Intrinsic metrics for nonlocal symmetric Dirichlet forms and applications to spectral theory. J. Funct. Anal 266, 4765–4808 (2014)
 6.
Georgakopoulos, A., Haeseler, S., Keller, M., Lenz, D., Wojciechowski, R.K.: Graphs of finite measure. J. Math. Pures Appl. (9) 103(5), 1093–1131 (2015)
 7.
Grigor’yan, A., Huang, X.P., Masamune, J.: On stochastic completeness of jump processes. Math. Z. 271(3), 1211–1239 (2012)
 8.
Haeseler, S., Keller, M., Wojciechowski, R.K.: Volume growth and bounds for the essential spectrum for Dirichlet forms. J. Lond. Math. Soc. (2) 88, 883–898 (2013)
 9.
Keller, M., Lenz, D.: Dirichlet forms and stochastic completeness of graphs and subgraphs. J. Reine Angew. Math. 666, 189–223 (2012)
 10.
Keller, M., Lenz, D., Wojciechowski, R.K., Schmidt, M.: Note on uniformly transient graphs. Rev. Mat. Iberoam. 33(3), 831–860 (2017)
 11.
Keller, M., Lenz, D., Schmidt, M., Schwarz, M.: Boundary representation of Dirichlet forms on discrete spaces. J. Math. Pures Appl. (9) 126, 109–143 (2019)
 12.
Kigami, J.: Analysis on Fractals. Cambridge Tracts in Mathematics, vol. 143. Cambridge University Press, Cambridge (2001)
 13.
Kigami, J.: Harmonic analysis for resistance forms. J. Funct. Anal. 204(2), 399–444 (2003)
 14.
Lenz, D., Schmidt, M., Stollmann, P.: Topological Poincaré type inequalities and lower bounds on the infimum of the spectrum for graphs. arXiv:1801.09279 (2018)
 15.
Schmidt, M.: Global properties of Dirichlet forms on discrete spaces. Dissertationes Math. 522, (2017)
 16.
Schmidt, M.: Energy forms. PhD Thesis, FSU Jena (2017)
 17.
Soardi, P.: Potential Theory on Infinite Networks. Lecture Notes in Mathematics, vol. 1590. Springer, Berlin (1994)
 18.
Sturm, K.T.: Analysis on local Dirichlet spaces. I. Recurrence, conservativeness and \(L^p\) Liouville properties. J. Reine Angew. Math 456, 173–196 (1994)
 19.
Uemura, T.: On symmetric stablelike processes: some path properties and generators. J. Theoret. Probab. 17(3), 541–555 (2004)
Acknowledgements
The author is grateful to Daniel Lenz, Marcel Schmidt, and Radosław K. Wojciechowski for enlightening discussions, pointing out the problems, and help in preparing the manuscript. Further thanks go to two anonymous referees for helpful suggestions.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Puchert, S. Characterizations of canonically compactifiable graphs via intrinsic metrics and algebraic properties. Arch. Math. (2021). https://doi.org/10.1007/s00013020015759
Received:
Revised:
Accepted:
Published:
Keywords
 Weighted graphs
 Dirichlet Laplacian
 Relative compactness
Mathematics Subject Classification
 05C63