Spectral estimates for infinite quantum graphs

We investigate the bottom of the spectra of infinite quantum graphs, i.e., Laplace operators on metric graphs having infinitely many edges and vertices. We introduce a new definition of the isoperimetric constant for quantum graphs and then prove the Cheeger-type estimate. Our definition of the isoperimetric constant is purely combinatorial and thus it establishes connections with the combinatorial isoperimetric constant, one of the central objects in spectral graph theory and in the theory of simple random walks on graphs. The latter enables us to prove a number of criteria for quantum graphs to be uniformly positive or to have purely discrete spectrum. We demonstrate our findings by considering trees, antitrees and Cayley graphs of finitely generated groups.


Introduction
The main focus of our paper is on the study of spectra of quantum graphs. The notion of "quantum graph" refers to a graph G considered as a one-dimensional simplicial complex and equipped with a differential operator. The spectral and scattering properties of Schrödinger operators on such structures attracted a considerable interest during the last two decades, as they provide, in particular, relevant models of nanostructured systems (we only mention recent collected works and monographs with a comprehensive bibliography: [8,9,24,57]).
Let G be a locally finite connected metric graph, that is, a locally finite connected combinatorial graph G d = (V , E), where each edge e ∈ E is identified with a copy of the interval [0, |e|] and |·| denotes the edge length. We shall always assume throughout the paper that each edge has finite length, that is, | · |: E → (0, ∞). In the Hilbert space L 2 (G) = e∈E L 2 (e), we can define the Hamiltonian H which acts in this space as the (negative) second derivative − d 2 dx 2 e on every edge e ∈ E. To give H the meaning of a quantum mechanical energy operator, it must be self-adjoint and hence one needs to impose appropriate boundary conditions at the vertices. Kirchhoff (also known as Kirchhoff-Neumann) conditions (2.6) are the most standard ones (cf. [9]) and the corresponding operator denoted by H is usually called a Kirchhoff (Kirchhoff-Neumann) Laplacian (we refer to Sects. 2.2-2.4 for a precise definition of the operator H). If the graph G is finite (G has finitely many vertices and edges), then the spectrum of H is purely discrete (see, e.g., [9]). During the last few years, a lot of effort has been put in estimating the first nonzero eigenvalue of the operator H (notice that 0 is always a simple eigenvalue if G d is connected) and also in understanding its dependence on various characteristics of the corresponding metric graph including the number of essential vertices of the graph (vertices of degree 2 are called inessential); the number or the total length of the graph's edges; the edge connectivity of the underlying (combinatorial) graph, etc. For further information we refer to a brief selection of recent articles [3,4,7,40,41,44,58].
If the graph G is infinite (there are infinitely many vertices and edges), then the corresponding pre-minimal operator H 0 defined by (2.7) is not automatically essentially self-adjoint. One of the standard conditions to ensure the essential self-adjointness of H 0 is the existence of a positive lower bound on the edges lengths, * (G) = inf e∈E |e| > 0 (see [9]). Only recently several self-adjointness conditions without this rather restrictive assumption have been established in [25,43] (see Sect. 2.3 for further details). Of course, the next natural question is the structure of the spectrum of the operator H. Clearly, the spectrum of an infinite quantum graph is not necessarily discrete and hence one is interested in the location of the bottom of the spectrum, λ 0 (H), as well as of the bottom of the essential spectrum, λ ess 0 (H), of H. Since the graph is infinite, many quantities of interest for finite quantum graphs (e.g., the number of vertices, edges, or its total length) are no longer suitable for these purposes and the corresponding bounds usually lead to trivial estimates. However, it is widely known that quantum graphs in a certain sense interpolate between Laplacians on Riemannian manifolds and difference Laplacians on combinatorial graphs and hence quantum graphs can be investigated by modifying techniques that have been developed for operators on manifolds and graphs and we explore these analogies in the present paper. Notice that this insight has already proved to be very fruitful and it has led to many important results in spectral theory of operators on metric graphs (see, e.g., [9]). Although quantum graphs are essentially operators on one-dimensional manifolds, our point of view is that the corresponding results and estimates should be of combinatorial nature.
Our central result is a Cheeger-type estimate for quantum graphs, which establishes lower bounds for λ 0 (H) and λ ess 0 (H) in terms of the isoperimetric constant α(G) of the metric graph G (Theorem 3.4). Although the Cheeger-type bound for (finite) quantum graphs was proved 30 years ago by Nicaise (see [50,Theorem 3.2]), we give a new purely combinatorial definition of the isoperimetric constant (see Definition 3.2) and as a result this establishes a connection with isoperimetric constants for combinatorial graphs [see Lemma 4.2 and also (4.10)-(4.11)]. To a certain extent this connection is expected (cf. Theorem 2.11 and also [10,14,57,63]). Moreover, it was observed recently in [25,43] by using the ideas from [42] that spectral properties of the operator H are closely connected with the corresponding properties of the discrete Laplacian defined in 2 (V ; m) by the expression where the weight function m : V → R >0 is given by Using this connection, several criteria for λ 0 (H) and λ ess 0 (H) to be positive have been established in [25], however, in terms of isoperimetric constants and volume growth of the combinatorial graphs, which were introduced, respectively, in [5] and [27,33] [in this paper we obtain these results as simple corollaries of our estimate (3.8)].
Despite the combinatorial nature of (3.3) and (3.4), it is known that computation of the combinatorial isoperimetric constant is an NP-hard problem [48] (see also [34,36] for further details). Motivated by Bauer et al. [5] and Dodziuk [20], we introduce a quantity, which sometimes is interpreted as a curvature of a graph, leading to estimates for the isoperimetric constants α(G) and α ess (G). It also turns out to be very useful in many situations of interest as we show by the examples of trees and antitrees. Another way to estimate isoperimetric constants is provided by the volume growth. Namely, we can apply the exponential volume growth estimates for regular Dirichlet forms from [62] (see also [33,51]) to prove upper bounds (Brooks-type estimates [6]) for quantum graphs (see Theorem 7.1). However, this can be done under the additional assumption that the metric graph is complete with respect to the natural path metric (notice that in this case H 0 is essentially self-adjoint and H coincides with its closure, see Corollary 2.3).
The quantities λ 0 (H) and λ ess 0 (H) are of fundamental importance for several reasons. From the spectral theory point of view, the positivity of λ 0 (H) or λ ess 0 (H) corresponds to bounded invertibility or Fredholmness of the operator H. Moreover, λ ess 0 (H) = +∞ holds precisely when the spectrum of H is purely discrete, which is further equivalent to the compactness of the embedding H 1 0 (G) into L 2 (G) (the definition of the form domain H 1 0 (G) is given in Sect. 2.4). It is difficult to overestimate the importance of λ 0 (H) and λ ess 0 (H) in applications. For example, in the theory of parabolic equations λ 0 (H) gives the speed of convergence of the system towards equilibrium. On the other hand, Cheeger-type inequalities have a venerable history. Starting from the seminal work of Cheeger [15], where a connection between the isoperimetric constant of a compact manifold and a first nontrivial eigenvalue of the Laplace-Beltrami operator was found, this topic became an active area of research in both manifolds and graphs settings. One of the most fruitful applications of Cheeger's inequality in graph theory (this inequality was first proved independently in [19,21] and [1,2]) is in the study of networks connectivity, namely, in constructing expanders (see [16,18,34,46]). Notice also that the positivity of the isoperimetric constant (also known as a strong isoperimetric inequality) is of fundamental importance in the study of random walks on graphs (we refer to [65] for further details).
Let us now finish the introduction by describing the content of the article. First of all, we review necessary notions and facts on infinite quantum graphs in Sect. 2, where we introduce the pre-minimal operator H 0 (Sect. 2.2), discuss its essential self-adjointness (Sect. 2.3) and the corresponding quadratic form t G (Sect. 2.4), and also touch upon its connection with the difference Laplacian (1.1) (Sect. 2.5).
Section 3 contains our first main result, Theorem 3.4, which provides the Cheeger-type estimate for quantum graphs. Its proof follows closely the line of arguments as in the manifold case with the only exception, Lemma 3.7, which enables us to replace the isoperimetric constant (3.12) having the form similar to that of in [50] (see also [40,56]) by the quantity (3.3) having a combinatorial structure. The latter also reveals connections with the combinatorial isoperimetric constant α comb from [2,19], which measures connectedness of the underlying combinatorial graph, and with the discrete isoperimetric constant α d introduced recently in [5] for the difference Laplacian (1.1). Bearing in mind the importance of both α comb and α d in applications as well as the fact that these quantities are widely studied, we discuss these connections in Sect. 4.
Similar to manifolds and combinatorial Laplacians, one can estimate λ 0 (H) and λ ess 0 (H) by using the isoperimetric constant not only from below but also from above (Lemma 5.1). However, the price we have to pay is the existence of a positive lower bound on the edges lengths, inf e∈E |e| > 0. Combining these estimates with the results from Sect. 4, we conclude that in this case the positivity of λ 0 (H) (resp., λ ess 0 (H)) is equivalent to the validity of a strong isoperimetric inequality, i.e., α comb > 0 (resp., α ess comb > 0). In Sect. 6, we introduce a quantity which may be interpreted as a curvature of a metric graph. Firstly, using this quantity we are able to obtain estimates on the isoperimetric constant. Secondly, we discuss its connection with the curvatures introduced for combinatorial Laplacians in [20] and for unbounded difference Laplacians in [5]. The latter, in particular, enables us to obtain simple discreteness criteria for σ (H) (see Lemma 6.5 and Corollary 6.6), which to a certain extent can be seen as the analogs of the discreteness criteria from [22] and [30].
The estimates in terms of the volume growth are given in Sect. 7. In Sect. 8, we consider several illustrative examples. The case of trees is treated in Sect. 8.1. We show that for trees without inessential vertices and loose ends (vertices having degree 1), λ 0 (H) > 0 if and only if sup e |e| < ∞. Moreover, the spectrum of H is purely discrete if and only if the number #{e ∈ E : |e| > ε} is finite for every ε > 0. Notice that under the additional symmetry assumption that a given metric tree is regular similar results, however, for the so-called Neumann Laplacian were observed by Solomyak [61]. The case of antitrees is considered in Sect. 8.2. We provide some general estimates and also focus on two particular examples of exponentially and polynomially growing antitrees. In particular, it turns out that for a polynomially growing antitree, our results provide rather good estimates for λ 0 (H) and λ ess 0 (H) (see Example 8.9). In the last subsection, we consider the case of Cayley graphs of finitely generated groups. Similar to combinatorial Laplacians, the amenability/non-amenability of the underlying group plays a crucial role.
Finally, in "Appendix A" we provide a slight improvement to the Cheeger estimates from [5] by noting that one can replace intrinsic path metrics in the definition of isoperimetric constants simply by edge weight functions having an intrinsic property.

Combinatorial and metric graphs
In what follows, G d = (V , E) will be an unoriented graph with countably infinite sets of vertices V and edges E.
is called the degree (or combinatorial degree) of a vertex v ∈ V . When there is no risk of confusion which graph is involved, we shall write deg instead of deg G . By #(S) we denote the cardinality of a given set S. A path P of length n ∈ Z ≥1 ∪ {∞} is a sequence of vertices We shall always make the following assumption.
connected (for any two vertices u, v ∈ V there is a path connecting u and v), and simple (there are no loops or multiple edges).
Next we assign each edge e ∈ E a finite length |e| ∈ (0, ∞). In this case G := (V , E, | · |) = (G d , | · |) is called a metric graph. The latter enables us to equip G with a topology and metric. Namely, by assigning each edge a direction and calling one of its vertices the initial vertex e 0 and the other one the terminal vertex e i , every edge e ∈ E can be identified with a copy of the interval I e = [0, |e|]; moreover, the ends of the edges that correspond to the same vertex v are identified as well. Thus, G can be equipped with the natural path metric 0 (the distance between two points x, y ∈ G is defined as the length of the "shortest" path connecting x and y). Moreover, a metric graph G can be considered as a topological space (one-dimensional simplicial complex). For further details we refer to, e.g., [9,Chapter 1.3].
Also throughout this paper we shall assume the following conditions.

Kirchhoff's Laplacian
Let G be a metric graph satisfying Hypothesis 2.1-2.3. Upon identifying every e ∈ E with a copy of the interval I e and considering G as the union of all edges glued together at certain endpoints, let us introduce the Hilbert space L 2 (G) of functions f : G → C such that The subspace of compactly supported L 2 (G) functions will be denoted by only on finitely many edges e ∈ E . Next let us equip G with the Laplace operator. For every e ∈ E consider the maximal operator H e,max acting on functions f ∈ H 2 (e) as a negative second derivative. Here and below H n (e) for n ∈ Z ≥0 denotes the usual Sobolev space. In particular, H 0 (e) = L 2 (e) and Imposing these boundary conditions on the maximal domain dom(H max ) and then restricting to compactly supported functions we get the pre-minimal operator

Now consider the maximal operator on G defined by
(2.7) Integrating by parts one obtains that H 0 is symmetric. We call its closure the minimal Kirchhoff Laplacian. Notice that the values of f at the vertices (2.4) and one-sided derivatives (2.5) do not depend on the choice of orientation on G. Moreover, the second derivative is also independent of orientation on G and hence so is the operator H 0 . and we shall consider the operator H 0 with mixed boundary conditions (either Neumann or Dirichlet) at the vertices v ∈ V of the graph G such that deg(v) = 1.
In the rest of our paper, we shall denote by V D (respectively, by V N ) the set of vertices v ∈ V such that deg(v) = 1 and the Dirichlet condition (2.9) [respectively, the Neumann condition (2.8)] is imposed at v. The sets of corresponding edges will be denoted by E D and E N , respectively.

Self-adjointness
In the rest of our paper we shall always assume that the graph G d is infinite, that is, both sets V and E are infinite (since G d is assumed to be locally finite). In this case the operator H 0 is not necessarily essentially self-adjoint (that is, its closure may have nonzero deficiency indices) and finding self-adjointness criteria is a challenging open problem. The next results were proved recently in [25]. Define the weight function m : and then let p m : E → R >0 be given by The path metric m on V generated by p m is defined by (2.12) where the infimum is taken over all paths connecting u and v. Replacing p m in (2.12) by the edge length | · |, we end up with the natural path metric 0 on V . Clearly, (V , m ) is complete if so is (V , 0 ) and hence we arrive at the following Gaffney-type theorem for quantum graphs. The next well known result (see [9,Theorem 1.4.19]) also immediately follows from Theorem 2.2. (2.14) then H 0 is essentially self-adjoint.

Quadratic forms
In this section we present the variational definition of the Kirchhoff Laplacian. Consider the quadratic form For every f ∈ dom(H 0 ), an integration by parts gives Clearly, the form t 0 G is nonnegative. Moreover, it is closable since H 0 is symmetric. Let us denote its closure by t G and the corresponding domain by H 1 0 (G) := dom(t G ). By the first representation theorem, there is a unique nonnegative self-adjoint operator corresponding to the form t G .

Definition 2.5
The self-adjoint nonnegative operator H associated with the form t G in L 2 (G) will be called the Kirchhoff Laplacian.
If the pre-minimal operator H 0 is essentially self-adjoint, then H coincides with its closure. In the case when H 0 is a symmetric operator with nontrivial deficiency indices, the operator H is the Friedrichs extension of H 0 .

Remark 2.6
Of course, one may consider the maximally defined form and then associate a self-adjoint positive operator, let us denote it by H N , with this form in L 2 (G). Clearly, the forms t G and t

(N )
G coincide if and only if H is the unique positive self-adjoint extension of H 0 (this in particular holds if H 0 is essentially self-adjoint). We are not aware of a description of the self-adjoint operator H N associated with the form t (N ) G if the pre-minimal operator has nontrivial deficiency indices (however, see the recent work [12,37]). Moreover, to the best of our knowledge, the description of deficiency indices of H 0 and its self-adjoint extensions is a widely open problem.
If at some vertices v ∈ V with deg(v) = 1 the Neumann condition (2.8) is replaced by the Dirichlet condition (2.9), then the corresponding form domain will be denoted by H 1 0 (G). Notice that By abusing the notation, we shall denote the corresponding self-adjoint operator by H. The bottom of the spectrum of H can be found by using the Rayleigh quotient . (2.20) Moreover, the bottom of the essential spectrum is given by where the sup is taken over all finite subgraphs G of G. Here for any G ⊂ G we define H 1 0 (G\ G) as the set of H 1 0 (G\ G) functions satisfying the following boundary conditions: for vertices in G\ G having one or more edges in G, we change the boundary conditions from Kirchhoff-Neumann to Dirichlet; for all other vertices in G\ G, we leave them the same. This equality is known as a Persson-type theorem (or Glazman's decomposition principle in the Russian literature, see [32]) and its proof in the case of quantum graphs is analogous to the case of Schrödinger operators (see, e.g., [17,Theorem 3.12]).

Remark 2.7
Let us mention that the following equivalence holds true The implication " ⇐ " is obvious. However, λ 0 (H) = 0 and λ ess 0 (H) = 0 holds only if 0 is an isolated eigenvalue. On the other hand, (2.16) implies that 0 is an eigenvalue of H only if 1 ∈ L 2 (G). The latter happens exactly when and hence the equivalence (2.22) holds true whenever mes(G) = ∞, On the other hand, it turns out that 1 / ∈ H 1 0 (G) if mes(G) < ∞ and hence 0 is never an eigenvalue of H [see Corollary 3.5(iv)]. In particular, the latter implies that t G = t (N ) G if the metric graph G has finite total volume, mes(G) < ∞. The analysis of this case is postponed to a separate publication.
can be extended to be in H 1 0 (G\G 1 ) by setting it zero on remaining edges. Thus, .
Let K G be the set of all finite, connected subgraphs of G ordered by the inclusion relation "⊆" and hence K G is a net. Moreover, . (2.23) The limit is understood in the sense of nets and in this case we will say that G tends to G. The next result provides an estimate, which easily follows from (2.20) to (2.21).

24)
where the infimum is taken over all finite subsets E of E. Then Now the estimates (2.25) easily follow from the decomposition (2.26). Indeed, for every and then taking into account (2.20) and (2.21), we arrive at (2.25).

Remark 2.9
A few remarks are in order: (i) The estimate (2.25) shows that the condition (2.2) is not a restriction since in the case * (G) = ∞ one immediately gets λ 0 (H) = λ ess 0 (H) = 0. Moreover, in this case σ (H) coincides with the positive semi-axis R ≥0 (see [60,Theorem 5.2]). (ii) The second inequality in (2.25) implies that the condition * ess (G) = 0 is necessary for the spectrum of H to be purely discrete. Notice that * ess (G) = 0 means that the number #{e ∈ E| |e| > ε} is finite for every ε > 0. (iii) The estimates (2.25) can be slightly improved by noting that we can use other test functions on the edges e ∈ E N to improve the bound (π/|e|) 2 by (π/2|e|) 2 . For example, we get the following estimate (2.28)

Connection with the difference Laplacian
In this section we restrict for simplicity to the case of Neumann boundary conditions at the loose ends, that is, f e (v) = 0 for all v ∈ V with deg(v) = 1. Let the weight function m : V → R >0 be given by (2.10). Consider the difference Laplacian defined in 2 (V ; m) by the expression Namely, τ G generates in 2 (V ; m) the pre-minimal operator where C c (V ) is the space of finitely supported functions on V . The operator h 0 is a nonnegative symmetric operator. Denote its Friedrichs extension by h.
It was observed in [25] that the operators H and h are closely connected (for instance, by [25, Corollary 4.1(i)], H 0 and h 0 are essentially self-adjoint only simultaneously). In fact, it is not difficult to notice a connection between H and h by considering their quadratic forms (see [25,Remark 3.7]). Namely, let L = ker(H max ) be the kernel of H max , which consists of piecewise linear functions on G. Every f ∈ L can be identified with its values defines an equivalent norm on L cont since the Cauchy-Schwarz inequality immediately On the other hand, for every f ∈ L cont we get (2.33) Hence we end up with the following estimate.

Theorem 2.11
If |e| = 1 for all e ∈ E, then

Remark 2.12
Actually, far more than (2.36) is known in the case of equilateral quantum graphs. In fact, there is a sort of unitary equivalence between equilateral quantum graphs and the corresponding combinatorial Laplacians (see [52,53] and also [45]).
Hence for equilateral graphs we obtain The latter together with (2.34) imply that for equilateral graphs the following equivalence holds true  [1,2,16,18,19,26,34,65] and references therein). Recently there was a considerable interest in the study of spectral bounds for discrete (unbounded) Laplacians on weighted graphs (see [5,39] which improves (2.34). Moreover, the constant π 2 /4 is sharp in the equilateral case. However, it remains unclear to us how sharp is the estimate (2.34).

The Cheeger-type bound
For every G ∈ K G we define the boundary of G with respect to the graph G as the set of all For a given finite subgraph G ⊂ G we then set Remark 3.1 Let us stress that our definition of a boundary is different from the combinatorial one. In particular, we define the boundary as the set of vertices whereas the combinatorial definition counts the number of edges connecting V with its complement V \ V .

Definition 3.2
The isoperimetric (or Cheeger) constant of a metric graph G is defined by The isoperimetric constant at infinity is defined by Recall that for any G ∈ K G we consider G\ G with the following boundary conditions: for vertices in G\ G having one or more edges in G, we change the boundary conditions from Kirchhoff-Neumann to Dirichlet; for all other vertices in G\ G, we leave them the same. These boundary conditions imply that for a subgraph Y ∈ K G\ G , where the left-hand side is the boundary of Y with respect to G\ G (with the new Dirichlet conditions) and the right-hand side is the boundary with respect to the original graph G. Hence,

Remark 3.3
Choosing G as an edge e ∈ E or a star E v with some v ∈ V , one gets the following simple bounds on the isoperimetric constant The next result is the analog of the famous Cheeger estimate for Laplacians on manifolds [15].
As an immediate corollary we get the following result.
(iv) If the metric graph G has finite total volume, mes(G) < ∞, then H is a uniformly positive operator with purely discrete spectrum.
Proof Clearly, we only need to prove (iv). Since mes(G) < ∞ and taking (3.3) into account, we immediately obtain , (3.9) which together with (3.8) implies the inequality λ 0 (H) > 0. Next, using (3.4) together with the estimate (3.9) and the net property of K G , one gets α ess (G) = ∞, which finishes the proof.
Before proving the estimates (3.8) we need several preliminary lemmas. In what follows, for every U ⊆ G, we shall denote by ∂U the boundary of a set U in the sense of the natural metric topology on G (see Sect. 2.1). For every measurable function h : G → R and every t ∈ R let us define the set (3.10) The next statement is known as the co-area formula and we give its proof for the sake of completeness.

Lemma 3.6
If h : G → R is continuous on G and continuously differentiable on every edge e ∈ E, then Proof Assume first that supp(h) ⊂ e for some e ∈ E. We can identify e with the open interval (0, |e|) and hence can be written as M e = n I n for (at most countably many) disjoint open intervals I n ⊆ (0, |e|). Since h is strictly monotone on each of these intervals, Here mes(X ) denotes the Lebesgue measure of X ⊆ R. Moreover, by continuity of h, it is straightforward to check that 1 h(I n ) (t) = #(∂ h (t) ∩ I n ) for all t ∈ R. Hence we end up with is the set of critical points of h. By Sard's Theorem [59], h(M c e ) has Lebesgue measure zero and hence Assume now that h : G → R is an arbitrary function satisfying the assumptions. Then we get Since V is countable, we arrive at (3.11).
Next it will turn out useful to rewrite the Cheeger constant (3.3) in the following way. Let , (3.12) where U G = ∪ G∈K G U G and Proof (i) It easily follows from the definition of α(G) that Indeed, assume first that G ∈ K G and identify G with a closed subset of the graph. For a sufficiently small ε > 0, we cut out a ball B ε (v) of radius ε at each point in v ∈ ∂ G G and obtain the set We have U ∈ U G and, moreover, ∂U has precisely deg(∂ G G) points. In total, Letting ε tend to zero, we obtain the desired inequality.
(ii) To prove the other inequality, let U ∈ U G and G = ( V , E) be the finite subgraph consisting of all edges e ∈ E with e ∩ U = ∅ and all vertices incident to such an edge. Clearly, mes(U ) ≤ mes( G). Also, by (3.2), Since U is open, every point of ∂ G G is not in U . Therefore, every edge in the subgraph G connected to a vertex in ∂ G G must contain at least one boundary point of U . If both vertices of the edge are in ∂ G G, it must even contain at least two boundary points of U . Also, since V ∩ ∂U = ∅, the boundary points lie in the strict interior of each edge and therefore cannot coincide for different edges. Thus, deg(∂ G G) ≤ #(∂U ). Finally, notice that G might be disconnected. If it is the case, then write G =∪ n G n as a disjoint, finite union of connected subgraphs G n ∈ K G . Then Now we are in position to prove the Cheeger-type estimates (3.8).

Proof of Theorem 3.4 Let us show that the following inequality
holds true for all f ∈ dom(t 0 G ) = dom(H 0 ). Without loss of generality we can restrict ourselves to real-valued functions. So, suppose f ∈ dom(H 0 ) is real-valued. Observe that (see, e.g., [31,Lemma I.4.1]) Next we want to use Lemma 3.
then t ∈ f 2 (V ) by continuity of f 2 . Since V and hence f 2 (V ) are countable, we get that On the other hand, applying Lemma 3.6 to h = f 2 and then the Cauchy-Schwarz inequality, we get Combining the last two inequalities, we arrive at (3.15), which together with the Rayleigh quotient (2.20) proves the first inequality in (3.8).
The proof of the second inequality in (3.8) follows the same line of reasoning since by (2.21) , for every finite subgraph G of G. Notice that the boundary conditions on G\ G are defined after (3.4).

Remark 3.8
The Cheeger estimate for finite quantum graphs was first proved in [50] (see also [56, §6] and [39]). Our result extends [50, Theorem 3.2] to the case of infinite graphs and also provides a bound on the essential spectrum of H. However, our definition of the isoperimetric constant (3.8) is purely combinatorial since the infimum is taken over finite connected subgraphs of G, although the definition in [50] (see also [40,56]) is similar to (3.12).
Let us mention that one can obtain a similar statement for the operator H N that is related to the maximally defined quadratic form (see Remark 2.6). However, one needs to take the infimum in the definition of the isoperimetric constant over all subgraphs of finite volume.
Taking into account the equivalence (2.22), let us finish this section with the next observation.
On the other hand, (3.4) implies that there is G ∈ K G such that α(G\ G) = α 0 > 0. In particular, taking into account (3.5), the latter is equivalent to the fact that Next observe that which leads to a contradiction. Indeed, by construction, lim n→∞ mes(G n ) = ∞ and hence mes(G n \ G) = mes(G n )(1 + o(1)) as n → ∞. It remains to note that

Connections with discrete isoperimetric constants
For every vertex set X ⊆ V , we define its boundary and interior edges by Also, for a vertex set X ⊆ V we set The discrete isoperimetric constant of the graph G is then given by Moreover, we need the discrete isoperimetric constant at infinity (4.3)

Remark 4.1
Our definition of the isoperimetric constants follows the one provided in "Appendix A" (see Remark A.4). This definition is slightly different from the one given in [5], which uses the notion of an intrinsic metric on V (cf. [28]). In particular, the natural path metric 0 (cf. Sect. 2.3) is intrinsic in the sense of [5,28] and in certain cases (if, for example, G d is a tree) the corresponding definitions from [5] The next result provides a connection between isoperimetric constants.

Lemma 4.2 The isoperimetric constants (3.3) and (4.2) can be related by
In particular, the isoperimetric constants at infinity (3.4) and (4.3) satisfy Proof (i) First, let X ⊂ V be finite. Let also G = ( V , E) be the finite subgraph of G consisting of all edges with at least one vertex in the set X . Observe that Then Note that for every v ∈ X , the whole star E v attached to it is in G. Therefore, every vertex from ∂ G G is not in X . Now consider an edge e in the subgraph G which is connected to a vertex v ∈ ∂ G G. Then its other endpoint must be in X (because of the definition of G). Hence #{e| e connects v and X } ≤ #{e ∈ E| e connects X and V \X } = #(E b (X )).
Splitting G in finitely many connected components as in the proof of Lemma 3.7, we arrive at the first inequality in (4.5).
To prove the second inequality, assume are the sets of edges in the subgraph with, respectively, none, one, and two vertices in ∂ G G. Clearly, Now define the finite vertex set X := V \∂ G G. We have (ii) To prove (4.6), let first X ⊆ V be a finite and connected (in the sense that for two vertices in X , there always exists a path connecting them and only passing through vertices in X ) set of vertices. Then the subgraph G X ⊆ G consisting of all edges with both vertices in X is finite and connected. Now note that for a finite vertex set Y ⊆ V \X , the subgraph G Y defined above is contained in G\ G X . Hence taking into account (3.5) and using the same line of reasoning as in (i), we get α(G\ G X ) ≤ 2α d (V \X ). Finally, choose an increasing sequence {X n } ⊆ V of finite and connected vertex sets such that every finite vertex set X ⊆ V is eventually contained in X n . Then the corresponding sequence { G n } ⊆ K G of subgraphs is increasing and every finite, connected subgraph G ∈ K G is eventually contained in G n . In view of (3.6), we obtain the first inequality in (4.6) by taking limits.
To prove the second, for a subgraph G 0 ∈ K G , choose X to be the set of vertices in G 0 . Let G ∈ K G\G 0 . If a vertex v is both in V and in X , then it has at least one incident edge which lies in the cut out graph G 0 and therefore v ∈ ∂ G G. Thus, the vertex set Y = V \∂ G G satisfies Y ∩ X = ∅. Refining the previous estimate, Choosing an increasing sequence {G n } ⊆ K G such that every G 0 ∈ K G is eventually contained in G n and applying the same limit argument as before, we arrive at the second inequality in (4.6). Combining (4.5) with Corollary 3.5, we obtain Theorem 4.18 from [25].
Finally, let us mention that in the case of equilateral graphs the discrete isoperimetric constants coincide with the combinatorial isoperimetric constants introduced in [21]:

Comparing (4.8) with (4.2) and (4.3) and noting that
for all v ∈ V , one easily derives the estimates .
and the supremum is taken over all finite subsets E of E. Moreover, taking into account Lemma 4.2, we get the following connection between our isoperimetric constants and the combinatorial ones: Since α comb (V ) ∈ [0, 1), we end up with the following result.

Corollary 4.5
Let G be a metric graph such that * (G) < ∞. Then: The spectrum of H is purely discrete if * ess (G) = 0 and α ess comb (V ) > 0.

Upper bounds via the isoperimetric constant
It is possible to use the isoperimetric constants to estimate λ 0 (H) and λ ess 0 (H) from above, however, for this we need to impose additional restrictions on the metric graph.

Lemma 5.1 Suppose that
Assume a subgraph G 0 ∈ K G and a finite, connected subgraph G = ( V , E) of G\G 0 . Then where E 0 , E 1 , E 2 are defined as in the previous subsection and |x e − y| denotes the distance between x e ∈ e and some y ∈ e. If G 0 = ∅ and v ∈ G\G 0 is a vertex with at least one incident edge in G 0 , then either v is not in V or v is a boundary vertex of G. In both cases, g vanishes at v. Therefore, g ∈ H 1 (G\G 0 ). Next we get and, in view of (4.7), Choosing φ(x) = √ 2 sin( π 2 x), we obtain the estimate . (2.20) and (3.3) imply the first inequality in (5.1). Now assume G 0 = ∅. Then Finally, using (2.23) and (3.6) we end up with Combining Lemma 5.1 with the Cheeger-type bounds (3.8) and the estimates (4.10)-(4.11) and taking into account Lemma 3.9, we immediately get the following result.

Remark 5.3 A few remarks are in order:
(i) If * (G) = 0, then the estimate in (5.1) becomes trivial.
(ii) Notice that (5.1) is better than (2.25) only if the isoperimetric constant satisfies (iii) In [11], Buser noticed that the isoperimetric constant can be used for obtaining upper estimates on the spectral gap for Laplacians on compact Riemannian manifolds. Hence estimates of the type (5.1) are often called Buser-type estimates. Let us mention that for combinatorial Laplacians a Buser-type estimate was first proved in [2] (see also [16,18]

Bounds by curvature
Despite the combinatorial nature of isoperimetric constants (3.3) and (3.4), it is known that computation of the combinatorial isoperimetric constant (4.8) is an NP-hard problem (see [34,36,48] for further details). Our next aim is to introduce a quantity, which provides estimates for α(G) and α ess (G) and also turns out to be very useful in many situations (see Sect. 8).
Suppose now that our graph is oriented, that is, every edge is assigned a direction. For every v ∈ V , let E + v and E − v be the sets of outgoing and incoming edges, respectively. Next define the function K : , for all v ∈ V . Therefore, .

Moreover, for any non-boundary point
Combining this with the previous estimates, we end up with the following bound which proves the claim.

Remark 6.2
The function K is sometimes interpreted as curvature. Several notions of curvature have been introduced for discrete and combinatorial Laplacians. Perhaps, the closest one to (6.1) have been introduced in [38]. Namely, since the natural path metric 0 is intrinsic, define the function K d : V → R by .
if the corresponding metric graph is equilateral (i.e., |e| ≡ 1), and hence (6.3) coincides with the definition suggested for combinatorial Laplacians in [20]. Notice that for equilateral graphs (6.1) reads , v ∈ V , (6.4) and hence in this case It seems there is no nice connection between K and K d in the general case.

Remark 6.3
Let us also mention that Lemma 6.1 can be seen as the analog of [5, Theorem 6.2], where the following bound for the discrete isoperimetric constant was established: if K d is nonnegative on V . Combining (6.6) with the second inequality in (4.5), we end up with the following bound 2 α(G) In what follows we shall call the function K comb : V → Q ∪ {−∞} defined by (6.4) as the combinatorial curvature (in [20, p. 32], K d is called a curvature of the combinatorial distance spheres). Note that the curvature can take both positive and negative values, and K comb (v) = −∞ whenever #(E + v ) = ∅. The next simple estimate turns out to be very useful in applications.

Lemma 6.4 Assume K comb is positive on V and
Then the isoperimetric constant (3.3) satisfies Noting that K comb is positive and comparing (6.4) with (6.1), we get for all v ∈ V . Hence the claim follows from Lemma 6.1.
With a little extra effort and using an argument similar to that in the proof of (4.5) one can show the following bounds. Combining Lemma 6.5 with the Cheeger-type estimate, we immediately get the following result.

Corollary 6.6 If G is an oriented graph such that the function K comb is nonnegative on V , then
(6.13) In particular, if K ess comb (V ) > 0, then the spectrum of H is purely discrete precisely when * ess (G) = 0.

Remark 6.7
Let us mention that in the case when K ess comb (V ) = 0 the condition * ess (G) = 0 is no longer sufficient for the discreteness. For further details we refer to Sect. 8.2 and, more specifically, to the example of polynomially growing antitrees (see Example 8.7).

Growth volume estimates
Here we plan to exploit the results from [62] to get upper bounds on the spectra of quantum graphs in terms of the exponential volume growth rates, the so-called Brooks-type estimates (cf. [6,33,62] for further details and references). Following [62], we introduce the following notation. For every x ∈ G and r > 0, let Here 0 is the natural path metric on G. Let also vol x (r ) := mes(B r (x)), (7.2) and vol * (r ) := inf x∈G mes(B r (x)) mes (B 1 (x)) .
Next we define the following numbers Notice that μ x (G) does not depend on x ∈ G if G = ∪ r >0 B r (x) for some (and hence for all) x ∈ G. If both conditions are satisfied, then we shall write μ(G) instead of μ x (G). (V , 0 ) is complete as a metric space. Then

Theorem 7.1 Suppose
Proof The first and the last inequalities in (7.5) are obvious and hence it remains to show that Notice that by Corollary 2.3, the pre-minimal operator H 0 is essentially self-adjoint and hence H is its closure. Let us consider the corresponding quadratic form t G defined as the closure in L 2 (G) of the form t 0 G (see (2.15) and (2.16)). It is not difficult to check that the form t G is a strongly local regular Dirichlet form (see [29] for definitions). On the other hand, using the Hopf-Rinow type theorem for graphs (see [35]), with a little work one can show that every ball B r (x) is relatively compact if (V , 0 ) is complete. Therefore, by [ Noting that mes(B 1 (x)) ≥ 1 for all x ∈ G and taking into account [33, Remark (e) on p.885], we arrive at the desired estimate.
The next result is straightforward from Theorem 7.1.

Corollary 7.2
Let (V , 0 ) be complete as a metric space. Then:

Remark 7.3
Clearly, to compute or estimate μ * (G) is a much more involved problem comparing to that of μ(G). However, it might happen that μ * (G) < μ(G) and hence μ * (G) provides a better bound (see Example 8.4).

Remark 7.4
Let us mention that these results have several further consequences for the heat semigroup e −tH generated by the operator H. For example, μ * (G) = 0 implies the exponential instability of the corresponding heat semigroup on L p (G) for all p ∈ [1, ∞] (see [62,Corollary 2]).
We finish this section with comparing the estimates (7.5) with the ones obtained in [25] in terms of the volume growth of the corresponding discrete graph. Following [33] (see also [25, §4.3]), define the constant Notice that μ d (G) does not depend on the choice of v ∈ V if G = ∪ r >0 B r (x). ∞ and (V , 0 ) is complete as a metric space, then Proof First observe that for all v ∈ V and r > 0, which immediately implies μ (G) ≤ μ d (G). Similarly, we also get for all v ∈ V and r > 0 and hence which finishes the proof of (7.7).

Remark 7.6
A few remarks are in order.
(i) On the one hand, it does not look too surprising that the exponential growth rates for two Dirichlet forms t G and t h coincide. In particular this reflects the equivalence (2.37) in the case of sub-exponential growth rates. However, comparing (7.7) with the fact that there is no equality between λ 0 (H) and λ 0 (h) (see Sect. 2.5), one can conclude that in the case of an exponential growth of volume balls, (7.5) might not lead to qualified estimates (and examples of trees and antitrees in the next section confirm this observation). (ii) Combining (7.7) with Corollary 7.2 we obtain Theorem 4.19 from [25].

Examples
In this section we are going to apply our results to certain classes of graphs (trees, antitrees, and Cayley graphs of finitely generated groups). Let us also recall that we always assume Hypotheses 2.1-2.3 to be satisfied.

Trees
Let us first recall some basic notions. A connected graph without non-trivial cycles (i.e., cycles of lengths 2) is called a tree. We shall denote trees (both combinatorial and metric) by T. Notice that for any two vertices u, v on a tree T = (V , E) there is exactly one path P connecting u and v. A tree T = (V , E) with a distinguished vertex o ∈ V is called a rooted tree and o is called the root of T. In a rooted tree the vertices can be ordered according to (combinatorial) spheres. Namely, let d(·) := d(o, ·) be the combinatorial distance to the root o and S n be the n-th (combinatorial) sphere, i.e., the set of vertices v ∈ V with d(v) = n.
A vertex in the (n + 1)-th sphere, which is connected to v in the n-th sphere, is called a forward neighbor of v. In what follows, we define an orientation on a rooted tree according to combinatorial spheres, that is, for every edge e its initial vertex belongs to the smaller combinatorial sphere.
We begin with the following simple estimate for rooted trees. According to the choice of orientation, we get K comb (o) = 1 and Hence we easily get and therefore we end up with the following estimate. Proof The proof immediately follows from Corollary 6.6, Remark 2.9(i) and the fact that the combinatorial curvature admits the following bound (take also into account Hypothesis 2.3)

Remark 8.2 A few remarks are in order.
(i) In the case of regular metric trees (these are rooted trees with an additional symmetryall the vertices from the same distance sphere have equal degrees as well as all the edges of the same generation are of the same length), the second claim in Lemma 8.1 was observed by Solomyak in [61]. In fact, under Hypothesis 2.3, conditions (5.1) and (5.5) of [61] hold true if and only if, respectively, * (G) < ∞ and * ess (G) = 0. However, the case of the Neumann Laplacian is considered in [61], and it follows that criteria for the positivity and discreteness for the Neumann and Dirichlet Laplacians coincide. (ii) Let us mention that the positivity (however, without estimates) of a combinatorial isoperimetric constant for the type of trees considered in Lemma 8.1 is known (see [65,Theorem 10.9]) In the case of trees the estimates (8.1) can be improved, however, instead of providing these generalizations we are going to consider only one particular case. Fig. 1 Tree with loose ends Example 8.3 (Bethe lattices) Fix β ∈ Z ≥3 and consider the combinatorial graph, which is a rooted tree such that all vertices have degree β. This type of trees is called Bethe lattices (also known as Cayley trees or homogeneous trees) and they will be denoted by T β . Suppose that the corresponding metric graph is equilateral, that is, |e| = 1 for all e ∈ E. By abusing the notation, we shall denote the corresponding metric graph by T β too. Then one computes Noting that K β ∈ [1/2, 1) and applying Lemma 8.1, we arrive at the following estimate On the other hand, it is straightforward to check that (see, e.g., [20]) In particular, this implies that the equality holds in the second inequality in (4.5). Moreover, the spectra of both operators H and h can be computed explicitly (see, e.g., [61,Example 6.3] or [20, Theorem 1.14] together with Theorem 2.11) and, in particular, Comparing the last equality with the estimate (8.2), one can notice a gap between these estimates. Let us mention that and thus the volume growth estimates (7.5) do not provide a reasonable upper bound for large values of β.
Finally, we would like to mention that the absence of loose ends in Lemma 8.1 is essential as the next example shows. Example 8.4 (A "sparse" tree with loose ends) Consider the half-line R ≥0 as an equilateral graph with vertices at the integers. Let us write v n for the vertex placed at n ∈ Z ≥0 . Then, we will modify this graph by attaching edges to the vertices v n with n ≥ 1. More precisely, to the j 2 -th vertex v j 2 with j ∈ Z ≥1 , we attach 2 j 2 edges and to every other vertex v n with n / ∈ { j 2 } j≥1 , we attach exactly one edge (see Fig. 1). Clearly, we end up with a tree graph T. For simplicity, we shall assume that the corresponding metric graph is equilateral, that is, |e| = 1 for all e ∈ T. This tree is in a certain sense sparse and as a result it turns out that μ * (T ) = 0, and hence, by Theorem 7.1, λ 0 (H) = λ ess 0 (H) = 0. In fact, it is enough to show that vol * (r ) = 1 for all r > 1. Namely, take r > 1 and set j r := 1 + (r + 1)/2 , where · is the usual floor function. Since j 2 r − ( j r − 1) 2 > r , we get It is interesting to mention that in this case μ(T ) = log(2) > 0. Indeed, and hence for all r > 1 we get which implies the desired equality.

Antitrees
Let G d = (V , E) be a connected combinatorial graph. Fix a root vertex o ∈ V and then order the graph with respect to the combinatorial spheres S n , n ∈ Z ≥0 (notice that S 0 = {o}). The connected graph G d is called an antitree if every vertex in S n is connected to every vertex in S n+1 and there are no horizontal edges, i.e., there are no edges with all endpoints in the same sphere (see Fig. 2). Clearly, an antitree is uniquely determined by the sequence s n := #(S n ), n ∈ Z ≥1 . Let us denote antitrees by the letter A and also define the edge orientation according to the combinatorial ordering, that is, for every edge e its initial edge is the one in the smaller combinatorial sphere. It turns out that the curvatures of antitrees can be computed explicitly. Namely, define the following quantities: and K 0 := 1, K n+1 := 1 − s n s n+2 (8.5) for all n ∈ Z ≥0 . Proof The proof follows by a direct inspection since K comb (v) = K n for all v ∈ S n and n ∈ Z ≥0 .

Lemma 8.5 If A is an antitree, then
Combining Lemma 8.5 with the estimates for the corresponding isoperimetric constants (e.g., Corollary 6.6), we immediately end up with the estimates for λ 0 (H) and λ ess 0 (H). Let us demonstrate this by considering two examples. Example 8.6 (Exponentially growing antitrees) Fix β ∈ Z ≥2 and let A β be an antitree with sphere numbers s n = β n . Then K 0 = 1 and for all n ∈ Z ≥1 . Hence by Lemma 8.5 .
Applying Lemmas 6.1 and 6.5 together with Theorem 3.4 and Lemma 2.8, we get and (8.10) In particular, these bounds imply that the Kirchhoff Laplacian H β is uniformly positive if and only if * (A β ) < ∞. Moreover, its spectrum is purely discrete exactly when * ess (A β ) = 0 (cf. Corollary 6.6).
Finally, let us compare these estimates with the volume growth estimates under the assumption that the tree is equilateral. In this case, On the other hand, and then (7.4) implies that μ(A β ) = 2 log(β). With a little more work one can show that Indeed, it suffices to note that μ * (A β ) ≤ μ(A β ). Moreover, for all x ∈ e u,v where e connects S n with S n+1 , n ∈ Z ≥0 we have and for all r > 2 Thus, we obtain which shows that μ * (A β ) ≥ 2 log(β) and hence we are done. Notice that the volume growth estimates (7.5) do not provide a reasonable upper bound for large values of β. Example 8.7 (Polynomially growing antitrees) Fix q ∈ Z ≥1 and let A q be the antitree with sphere numbers s n = (n + 1) q , n ≥ 0 (the case q = 1 is depicted on Fig. 2). Then as n → ∞. Hence, by Lemma 8.5, Clearly, further analysis heavily depends on the behavior of the sequence { n }. Let us consider one particular case. Fix an s ≥ 0 and assume now that |e| = (n + 1) −s for each edge e connecting S n and S n+1 . Let us denote the corresponding Kirchhoff Laplacian by H q,s . It is not difficult to show by applying Theorem 2.2 that the corresponding pre-minimal operator is essentially self-adjoint whenever s ≤ q +1, however, (V q , 0 ) is complete exactly when s ∈ [0, 1].

Remark 8.8
In our forthcoming publication we shall show that the pre-minimal operator H 0 is essentially self-adjoint exactly when the corresponding metric graph has infinite volume, that is, when s ≤ 2q + 1. Moreover, in the case s > 2q + 1, the deficiency indices of H 0 are equal to 1 and one can describe all self-adjoint extensions of H 0 .
Since n = (n + 1) −s for all n ∈ Z ≥0 , we get * (A q ) = 1, * ess (A q ) = 1, s = 0 0, s > 0 , In the case s = 1, it is easy to show that the sequence {K n / n } is strictly increasing and hence this is also true for all s > 1. Hence Moreover, the corresponding isoperimetric constant is given by α(A q ) = K(A q ) = 1 (to see this just take the ball B 1 (o) as a subgraph G and then one gets α(A q ) ≤ 1, which together with (6.2) implies the equality).
Next let us compute μ(A q ) assuming that s ∈ [0, 1] (otherwise we can't apply the result from Sect. 7). Set as n → ∞. Therefore, it is not difficult to show that  10 The exact value of λ 0 (H q,s ) for s ≥ 1 or at least its asymptotic behavior with respect to q remains an open problem.

Cayley graphs
Suppose is a finitely generated (infinite) group with the set of generators S. The Cayley graph C( , S) of with respect to S is the vertex set and u ∼ v exactly when u −1 v ∈ S.
This graph is connected, locally finite and regular (deg(v) = #S for all v ∈ ). We assume that the unit element o does not belong to the set S (this excludes loops). The lattice Z d is the standard example of a Cayley graph. Notice also that the Bethe lattice T β is a Cayley graph if either S = {a 1 , . . . , a β | a 2 i = o, i = 1, . . . , β} or β = 2N and = F N is a free group of N generators.
It is known that the positivity of a combinatorial isoperimetric constant α comb is closely connected with the amenability of the group (this is a variant of Følner's criterion, see, e.g., [65,Proposition 12.4]). Notice that the class of amenable groups contains all Abelian groups, all subgroups of amenable groups, all solvable groups etc. In turn, the class of non-amenable groups includes countable discrete groups containing free subgroups of two generators. For further information on amenability and Cayley graphs we refer to [47,49,54,55,64,65].
Combining Theorem 8.11 with Corollaries 4.5 and 5.2, we arrive at the following result. (ii) The volume growth provides a number of amenability criteria. For example, groups of polynomial or subexponential growth are amenable. For further results and references we refer to [55]. (iii) Using a completely different approach, the inequality λ 0 (H) > 0 was proved recently in [13,Theorem 4.16] for Cayley graphs of free groups under the additional symmetry assumption that edges in the same edge orbit have the same length.
be weight functions such that b(u, v) = b(v, u) for all u, v ∈ V and b(u, v) = 0 only if u ∼ v. In fact, b can be considered as a weight function on the edge set E. Usually, the triple (V , m, b) is called a weighted graph. With every such a triple one can associate a Laplace operator defined by the difference expression Since the graph G d is locally finite, τ is well defined on the set C c (V ) of compactly supported functions and hence gives rise to a nonnegative symmetric pre-minimal operator in 2 (V ; m). Let us denote its Friedrichs extension by h. The Cheeger inequality for h was proved recently in [5] by using the notion of intrinsic metrics on graphs (see Theorems 3.1 and 3.3 in [5]). The main aim of this section is to give a slight improvement to this estimate. Namely, let d : E → R >0 be a weight (or edge lengths). Similar to [5], we shall call d intrinsic on G d (with respect to m and b) if the following inequality holds for all v ∈ V .
For every X ⊆ V , we define its boundary edges by E b (X ) = {e ∈ E| e connects X and V \X }.
For any U ⊆ V , define where for X ⊆ V ,

d(e)b(e).
We define the isoperimetric constant with respect to d by The isoperimetric constant at infinity is given by Remark A. 2 As it was already mentioned, the Cheeger estimates for weighted graph Laplacians were proved in [5]. However, the definition of the isoperimetric constants in [5] uses metrics and hence one has to replace d in ( Clearly, d is intrinsic (in the sense of [5]) if so is the weight d since for all u ∼ v. Of course, in certain cases this leads to the same isoperimetric constant (e.g., if G d is a tree), however, for graphs having a lot of non-trivial cycles a construction of an intrinsic metric becomes a highly nontrivial task, which automatically implies complications in calculating the corresponding isoperimetric constant. On the other hand, to construct an intrinsic weight (in the sense of (A.2)) is a rather simple task, in particular, for the weighted Laplacian (2.29) (see Remark A.4).
The proof of Theorem A.1 is literally the same as of Theorem 3.1 and Theorem 3.3 from [5], however, we shall give it below for the sake of completeness.