Abstract
In this paper we prove a Feynman–Kac–Itô formula for magnetic Schrödinger operators on arbitrary weighted graphs. To do so, we have to provide a natural and general framework both on the operator theoretic and the probabilistic side of the equation. On the operator side we identify a very general class of potentials that allows the definition of magnetic Schrödinger operators. On the probabilistic side, we introduce an appropriate notion of stochastic line integrals with respect to magnetic potentials. Apart from linking the world of discrete magnetic operators with the probabilistic world through the Feynman–Kac–Itô formula, the insights from this paper gained on both sides should be of an independent interest. As applications of the Feynman–Kac–Itô formula, we prove a Kato inequality, a Golden–Thompson inequality and an explicit representation of the quadratic form domains corresponding to a large class of potentials.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The conceptual importance of the classical Feynman–Kac formula stems from the fact that it links the world of operator theory (or partial differential equations) with that of probability. In particular, the semigroup of a Schrödinger operator of the form \(\Delta +v\) on \(L^2(\mathbb {R}^n)\) is expressed in terms of an expectation value involving the Markov process of the free operator \(\Delta \), which is nothing but the Euclidean Brownian motion in this case. If one perturbs \(\Delta +v\) by a magnetic field with potential \(\theta \), one has to deal with the magnetic Schrödinger operator \(\Delta _{\theta }+v\). In this case a very important extension of the Feynman–Kac formula is given by the Feynman–Kac–Itô formula. This formula again expresses the semigroup corresponding to the latter operator through Euclidean Brownian motion, where now one has to take the (Stratonovic) stochastic line integral of \(\theta \) along the Brownian motion into account [42]. Such probabilistic representations have many important physical consequences through diamagnetism, e.g., one can easily deduce that switching on a magnetic field can only lead to an increase of the ground state energy of the systems.
Seeking for extensions of the above results to more general settings than the Euclidean \(\mathbb {R}^n\), one will realize that the Feynman–Kac formula can be proven for locally compact regular Dirichlet spaces (see, e.g., [6]), where one simply has to replace \(\Delta \) with the operator corresponding to the given Dirichlet form, and Brownian motion with the associated Markov process. However, it is not even clear how to formulate a Feynman–Kac–Itô formula in many situations. The reason for this is that a consistent theory of Schrödinger operators with local magnetic potentials in such a general setting as Dirichlet spaces is still missing. Although recently very promising progress into this direction has been made on the operator side [2, 21, 22], there still remains the issue of finding a reasonable way to define a proper notion of a stochastic line integral which extends the \(\mathbb {R}^n\)theory in a consistent way.
The situation is fundamentally better for smooth Riemannian manifolds M. Here, magnetic potentials can be defined simply as realvalued 1forms. If \(\theta \) is such a 1form, then \(\Delta _{\theta }+v\) can be defined invariantly in analogy to the Euclidean case (see for example [13, 40] for details). Assuming some local control on \(v_\) (typically \(L^{1}_{loc}\)) and \(\theta \) (typically smooth or \(L^{p}_{loc}\)), and a certain global control on \(v_\), the operator \(\Delta _{\theta }+v\) will correspond to a welldefined selfadjoint semibounded operator on \(L^2(M)\). One can then prove an analogue of the Feynman–Kac–Itô formula in this setting (replacing the Euclidean with the underlying Riemannian Brownian motion) without any further assumptions on M. As the underlying manifold locally looks like the linear space \(\mathbb {R}^{n}\), one can define the line integral of \(\theta \) along the Riemannian Brownian motion by combining the definition from the Euclidean case either with a patching procedure using charts [24], or equivalently, by embedding M into some \(\mathbb {R}^{l}\) with an appropriate \(l\ge n\), as in [8]. As a consequence of the Feynman–Kac–Itô formula in this setting it becomes very easy to deduce several rigorous variants of the domination “\(\Delta _{\theta }+v\ge \Delta +v\)”. Apart from physically relevant ones, these domination results also make it possible to transfer many important mathematical statements from zero magnetic potential to arbitrary magnetic potentials, such as essential selfadjointness results [13, 41] or certain smoothing properties of the Schrödinger semigroups [1, 13].
Going back to the fundamental papers [18, 31, 44], there is also a basic theory of magnetic Schrödinger operators for discrete graphs. In the last years an extensive amount of research for these operators has been carried out into various directions. Let us only mention here that basic spectral properties and Kato’s inequality have been proven in [7], for a Hardy inequality see [12], for approximation results of spectral invariants see [32, 33], and for weak Bloch theory see [20]. Recently there has been a strong focus on the question of essential selfadjointness of magnetic Schrödinger operators [4, 12, 34–36, 45].
On discrete graphs the Markov processes corresponding to free Laplacians are jump processes (which have very special path properties), and magnetic potentials are typically defined as functions on the underlying set of edges. So, one might hope that it is possible to get a proper notion of line integrals in this setting, which produces a probabilistic representation of the magnetic Schrödinger semigroups. The main result of this paper, a Feynman–Kac–Itô type formula for discrete graphs, precisely states that this is possible.
Unfortunately, so far all proposed settings for discrete magnetic Schrödinger operators are somewhat tailored to their specific applications and, thus, are often rather restrictive. In particular, a general and systematic treatment of the question, when the operators can actually be defined as genuine selfadjoint operators, seems to be missing.
The first question that arises is actually what a natural and sufficiently general framework might be in this context. We start with quadratic forms associated with graphs and then identify a class of potentials that is suitable to our cause. Having the goal of a Feynman–Kac–Itô formula in mind (where due to the presence of a magnetic potential one cannot expect to conclude exclusively with monotone convergence arguments), a natural assumption on the potential is that the corresponding nonmagnetic quadratic form is semibounded from below on the functions with compact support. Remarkably, it turns out that the latter assumption is in fact all we need to get a closable semibounded form, and thus a selfadjoint semibounded operator, in the magnetic case. This is the content of Theorem 2.9. To the best of our knowledge, this result is even new in the nonmagnetic setting since it goes beyond classical perturbation theory in the spirit of Kato.
In addition, we give criteria for the above mentioned selfadjoint semibounded operator to be unique in an appropriate sense, which in turn also provides criteria for a certain uniqueness of the Markov processes.
Having established the operator theoretic side, we then give the definition of the stochastic line integral in terms of a sum along the path of the process. We establish our main result, the Feynman–Kac–Itô formula in Theorem 4.1. Let us stress that we do not have to make any restrictions on the underlying geometry such as local finiteness of the graph. Furthermore, we do not require anything on the positive parts of the potentials, nor on the magnetic potentials. The only assumption we make on the negative part of the potential is the already mentioned, namely, that the corresponding nonmagnetic form is semibounded from below on the functions with compact support. Compared to the manifold case this assumption is significantly weaker, obviously due to the discrete structure of our setting.
Finally, we remark that manifolds and graphs essentially provide the most approachable and prominent nontrivial examples of local and nonlocal Dirichlet forms. So, having established a Feynman–Kac–Itô formula in both of these worlds appears to be a promising step towards a unified theory for all regular Dirichlet forms. Here, as we have already mentioned, the results of [2, 21, 22] should be very useful.
The paper is structured as follows: In Sect. 2, we introduce and establish all necessary operator theoretic results. In Sect. 3, we introduce the necessary probabilistic concepts (including the definition of the line integral in this setting). Section 4 is completely devoted to the presentation and the proof of our main result, the Feynman–Kac–Itô formula, Theorem 4.1, and finally, in Sect. 5, we have collected several applications such as semigroup formulas, Kato’s inequality, a Golden–Thompson inequality and a representation of the form domain for suitable potentials.
Note added: Let us mention the follow up papers by the first named author [14, 15] which treat Feynman–Kac formulae and semiclassical limits for covariant Schrödinger semigroups on Hermitian vector bundles over infinite weighted graphs. These papers are heavily building on the results presented here.
2 Magnetic Schrödinger operators
In this section we introduce the set up in which we are going to prove the Feynman–Kac–Itô formula. While it is clear from earlier work how a magnetic Schrödinger operator should act [18, 31, 34, 44], it is a nontrivial problem to determine when a selfadjoint semibounded operator can be defined. This starts with the problem that for general weighted graphs the formal operator does not necessarily map the compactly supported functions into \(\ell ^{2}\). Although the theory of quadratic forms provides a helpful tool, it raises the problem of determining whether the form, defined a priori on the compactly supported functions, is closable and semibounded from below. This, however, is a rather subtle issue which in general does not allow for a complete and applicable characterization. Here, we provide a rather general framework in which we give a sufficient condition (cf. Theorem 2.9 below) for the general magnetic case, which, remarkably, even turns out to be necessary in the nonmagnetic case. Interestingly, we will use a Feynman–Kac–Itô formula for potentials that are bounded below in order to derive the latter result.
After briefly reviewing the basic set up of weighted graphs, we introduce the matgnetic forms and the corresponding formal operators. Then, we give a sufficient criterion for closability and semiboundedness of the forms. At the end, we discuss uniqueness of semibounded selfadjoint extensions/restrictions and present a result on semigroup convergence.
2.1 Weighted graphs
We essentially follow the setting of [25]. Let (X, b) be a graph, that is, X is a countable set, equipped with the discrete topology, and
is a symmetric function with the properties \(b(x,x)=0\) and
Then, the elements of X are called vertices and one says that \(x,y \in X\) are neighbors or connected by an edge, if \(b(x,y) >0\), which is written as \(x \sim y\). The graph X is called locally finite, if every vertex has only a finite number of neighbors. Furthermore, a path on the graph X is a (finite or infinite) sequence of pairwise distinct vertices \((x_{j})\) such that \(x_j \sim x_{j+1}\) for all j, and X is called connected, if for any \(x,y\in X\) there is a path \((x_j)^n_{j=0}\) such that \(x_0=x\) and \(x_n=y\).
For simplicity and without loss of generality, we will assume throughout the paper that the graph X is connected.
When X is equipped with the discrete topology, any function \(m: X \rightarrow (0,\infty )\) gives rise to a Radon measure of full support on X by setting \(m(A) := \sum _{x \in A}m(x)\). Then, the triple (X, b, m) is called a weighted graph. For \(x\in X\), we denote the weighted vertex degree by
Often, we use this notation for the constant measure \(m\equiv 1\) in which case we have \(\deg _{1}(x)=\sum _{y\in X}b(x,y)\). This notion is motivated by the following observation: Whenever \(m\equiv 1\) and \(b:X\times X\rightarrow \{0,1\}\), the number \(\text {deg}_m(x)=\text {deg}_1(x)\) is equal to the number of edges emerging from a vertex x.
2.2 Quadratic forms
Let C(X) be the linear space of all complexvalued functions on X and \({C}_c(X)\) its subspace of functions with finite support. We denote the standard scalar product and norm on \(\ell ^2(X,m)\) with \(\langle \bullet ,\bullet \rangle \) and \(\left\ \bullet \right\ \), respectively, that is,
Clearly, \({C}_c(X)\) is dense in \(\ell ^2(X,m)\). Let \(\delta _{x}\) be the function that takes the value 1 / m(x) at x and 0 otherwise. By the discreteness of the underlying data, any linear operator A in \(\ell ^2(X,m)\) with \(C_c(X)\subseteq D(A)\) has a unique integral kernel in the sense that the function
is the unique one such that
Following [4], we understand by a magnetic potential on the set X a function
A function \(v: X \rightarrow \mathbb {R}\) will be simply called a potential.
Throughout the paper, let \(\theta \) be an arbitrary magnetic potential, and if not further specified, then v denotes an arbitrary potential.
We define a symmetric sesquilinear form on \(\ell ^2(X,m)\) with domain of definition \({C}_c(X)\) by
With
we define the formal difference operator \(\widetilde{L}_{v,\theta }:\widetilde{{F}}(X) \rightarrow {C}(X)\) by
Note that if X is locally finite, then one has \(\widetilde{{F}}(X)={C}(X)\). However, in general, \(\widetilde{{F}}(X)\) does not include \(\ell ^{2}(X,m)\).
The form \(Q_{v,\theta }^{(c)}\) and the operator \(\widetilde{L}_{v,\theta }\) are related by Green’s formula. We give two formulations: One for a very large class of functions which does not allow for an expression in terms of the introduced forms and scalar products but only explicitly in terms of sums. The second is a concise formulation for compactly supported functions.
Lemma 2.1
(Green’s formula) For all \(f\in \widetilde{{F}}(X)\), \(g \in {C}_c(X)\), one has
Moreover, if \(\widetilde{L}_{v,\theta }[{C}_c(X)]\subseteq \ell ^{2}(X,m)\), then for all \(f,g\in C_{c}(X)\) one has
Proof
The statements follow from a direct computation, where absolute convergence of the sums is guaranteed by \(g\in {C}_c(X)\) and \(\sum _{y}b(x,y)f(y)<\infty \) as \(f\in \widetilde{{F}}(X)\) (cf. [17, Lemma 4.7] for more details). \(\square \)
If \(Q^{(c)}_{v,\theta }\) is semibounded from below and closable, we denote its closure by \(Q_{v,\theta }\) with domain \(D(Q_{v,\theta })\) and the corresponding selfadjoint operator by \(L_{v,\theta }\) with domain \(D(L_{v,\theta })\), see [39, Theorem VIII.15].
When \(Q_{v,\theta }^{(c)}\) is semibounded from below and closable, it is known in many cases that the domain of \(Q_{v,\theta }\) is contained in \(\widetilde{F}(X)\). In this case an important consequence of Green’s formula is that the corresponding selfadjoint operator \(L_{v,\theta }\) is in fact a restriction of \(\widetilde{L}_{v,\theta }\), see Theorem 2.12 below.
For \(v\ge 0\) and \(\theta \equiv 0\), the form \(Q_{v,0}^{(c)}\) is always closable on \(\ell ^{2}(X,m)\) and its closure is a regular Dirichlet form as X is equipped with the discrete topology. Indeed, all regular Dirichlet forms on discrete measure spaces (X, m) are parameterized by graphs b and potentials \(v\ge 0\). This situation was studied in [25] to which we refer the interested reader for details. In what follows, we use the conventions \(Q:=Q_{0,0}\) and \(L:=L_{0,0}\).
Remark 2.2
Note that suitable extensions of Q to the space of functions of finite energy
are resistance forms in the sense of Kigami [28]. Indeed, the only assumption in [28, Definition 2.3.1] which is nontrivial to check is (RF04). This however follows by [11, Lemma 3.4]. On the other hand, a magnetic form \(Q^{(c)}_{0,\theta }\), \(\theta \ne 0\), can not be extended to a resistance form since it violates the cutoff property (RF05).
2.3 Potentials
We are interested in classes of potentials v such that the forms \(Q_{v,\theta }^{(c)}\) are semibounded from below and closable. For this some restrictions on the potentials are needed.
In the sequel, whenever dealing with a sesquilinear form s, we denote its associated quadratic form by the same letter, i.e., \(s(f):=s(f,f)\) for f in the domain of s. Moreover, from now on the term “semibounded” will always mean “semibounded from below”.
For a function \(w:X\rightarrow \mathbb {R}\), we will write \(w_{\pm }=(\pm w)\vee 0\) such that \(w=w_{+}w_{}\).
Let \(q_{ v}\) be the symmetric sesquilinear form given by v, that is,
We consider the following classes of potentials
and
First, we observe the obvious inclusions
The potentials v in \(\mathcal {B}_{\theta }\) give rise to forms \(q_{v_{}}\) which are called infinitesimally form bounded with respect to \(Q_{v_{+},\theta }^{(c)}\) in the literature. For this class one can apply classical perturbation theory in the spirit of Kato, see Proposition 2.8.
The importance of the larger class \(\mathcal {A}_{\theta }\) stems from the following elementary observation.
Lemma 2.3
The form \(Q^{(c)}_{v,\theta }\) being semibounded is equivalent to \(v\in \mathcal {A}_{\theta }\). Moreover,
In particular, for any \(v\in \mathcal {A}_{0}\) the form \(Q^{(c)}_{v,\theta }\) is semibounded.
Proof
The first statement is straightforward from the definition. For the second statement note that for \(f \in C_c(X)\), we obviously have \( q_{v_}(f) = q_{v_}(f) \) and \( Q_{{v_+},0}^{(c)}(f) \le Q_{{v_+},\theta }^{(c)}(f)\). The “in particular” part is clear. \(\square \)
In the remark below we give a preview of what we will prove for the potentials in each of these classes. Let us note that these considerations go beyond standard perturbation theory.
Remark 2.4
In the sequel we will encounter the following configurations of assumptions:

(A)
\(v\in \mathcal {A}_{0}\).

(B)
\(v\in \mathcal {A}_{\theta }\) and b locally finite.

(C)
\(v\in \mathcal {B_{\theta }}\).
In many cases in (B) it even suffices to assume \(\widetilde{L}_{v,\theta } [C_{c}(X)]\subseteq \ell ^{2}(X,m)\) which is implied by local finiteness, see Lemma 2.11.
By Lemma 2.3 we know that even for the largest class \(\mathcal {A}_{\theta }\) the forms \(Q_{v,\theta }^{(c)}\) are semibounded. So, a natural starting point is closability of the form \(Q_{v,\theta }^{(c)}\) in \(\ell ^{2}(X,m)\). This is implied by any of the assumptions above, i.e.,
Having a closable form, we can consider the closure \(Q_{v,\theta }\) which comes with an associated positive selfadjoint operator \(L_{v,\theta }\) by general theory. For various considerations it is important to know the action of the operator \(L_{v,\theta }\). By Green’s formula we know that \(L_{v,\theta }\) is a restriction of \(\widetilde{L}_{v,\theta }\) on \(C_{c}(X)\) (whenever \(C_{c}(X)\) is included in D(L)), so, it would be desirable to know whether \(L_{v,\theta }\) is a restriction of \(\widetilde{L}_{v,\theta }\) on D(L). This is indeed guaranteed under the assumptions (B) and (C), i.e.,
Furthermore, under additional assumptions we can show that \(L_{v,\theta }\) is the unique selfadjoint restriction of \(\widetilde{L}_{v,\theta }\) on \(\ell ^{2}(X,m)\). This is a slight generalization of the concept of essential selfadjointness. In Sect. 2.5 we proof such results under the assumptions (B) and (C)
The major result of this paper is a Feynman–Kac–Itô formula. Here, assumption (A) suffices, as it guarantees closability of the forms \(Q_{v,\theta }^{(c)}\) and \(Q_{v,0}^{(c)}\),
It is remarkable that we do not need any explicit knowledge of the operator to prove this result. In particular assumptions (B) or (C) which guarantee such knowledge do not enter.
Finally, let us mention a situation under which all results of the paper hold:

(D)
\(v\in \mathcal {B}_{0}\).
Let us discuss some examples for these classes of potentials. We start by an important subclass of \(\mathcal {B}_{0}\)—the Kato class. Then, we give examples on the threshold of \(\mathcal {B}_{0}\) and \(\mathcal {A}_{0}\). Finally, we refer to the general framework of admissible potentials, where \(\mathcal {A}_{0}\) can already seen to be featured.
Example 2.5
(Kato class) We recall that a function \(w:X\rightarrow \mathbb {R}\) is in the Kato class \(\mathcal {K}\) of the regular Dirichlet form \(Q=Q_{0,0}\), if and only if
where \((x,y)\mapsto e^{tL}(x,y)\) is the kernel of the semigroup of the operator \(L=L_{0,0}\) associated to Q. By combining [30, Lemma 3.1] with [43, Theorem 3.1], we immediately get \(\mathcal {K}\subseteq \mathcal {B}_{0}\). So, one has
where of course \(\ell ^p(X)=\ell ^p(X,m\equiv 1)\subseteq \ell ^{\infty }(X)\). This follows from the uniform estimates
Here, the second inequality follows as Q is a Dirichlet form. We would like to stress the fact that the validity of the inclusion \(\ell ^p(X)\subseteq \mathcal {K}\) without any further assumptions on Q is a special feature of discrete spaces, in the sense that on Riemannian manifolds one needs considerable curvature assumptions to produce \(L^p\)type subspaces of the corresponding Kato class for \(p\ne \infty \) (cf. [29]).
Let us come to examples at the threshold of \(\mathcal {A}_{0}\) and \(\mathcal {B}_{0}\).
Example 2.6
Let (X, b) be a graph and m a measure. Recall that Cheeger’s constant is given by
where \(\partial W= W\times (X{\setminus } W)\) and \(\deg _{1}(x)=\sum _{y\in X}b(x,y)\). Then, for \(\varphi \in C_{c}(X)\) one has the following inequality [12, 26],
In the case \(\alpha >0\), consider
Then, \(v_{\varepsilon }\in \mathcal {B}_{0}\subseteq \mathcal {A}_{0}\) for \(\varepsilon >0\) and, for \(\varepsilon =0\), we have \(v_{0}\in \mathcal {A}_{0}\).
In order to present an example in \(\mathcal {A}_{0}{\setminus } \mathcal {B}_{0}\) consider a binary tree with standard weights, i.e., \(b(x,y)\in \{0,1\}\). In this case, the inequality above is sharp independent of the choice of the measure m. Moreover, for a probability measure m the form \(q_{v_{0}}\) for the potential \(v_{0}\) is unbounded on \(\ell ^{2}(X,m)\). Thus, \(v_{0}\in \mathcal {A}_{0}{\setminus } \mathcal {B}_{0}\).
Finally, we address a rather abstract class of potentials which includes \(\mathcal {A}_{0}\).
Example 2.7
As it can be seen from Theorem 2.9 below, the class of admissible potentials corresponding to the closure of \(Q_{v_{+},0}^{(c)}\), which has been introduced in [46, 47] includes \(\mathcal {A}_{0}\). See [27] for further characterizations of the class of admissible potentials.
In summary
where there are examples such that the inclusion in the middle is strict.
By the inclusions \(\mathcal {A}_{0}\subseteq \mathcal {A}_{\theta }\), \(\mathcal {B}_{0}\subseteq \mathcal {B}_{\theta }\), discussed in Lemma 2.3, the potentials in Examples 2.5 and 2.6 are also examples for \(\theta \ne 0\). Nevertheless, the classes \(\mathcal {A}_{\theta }\) and \(\mathcal {B}_{\theta }\) may depend on the parameter \(\theta \).
2.4 Semiboundedness, closability and associated operators
In this subsection we state the result that for potentials in \(\mathcal {A}_{0}\) the corresponding magnetic quadratic form is closable.
By making suitable assumptions on the geometry of (X, b) or on the negative part of the potential we can determine the action of the operator associated to the closure of \(Q^{(c)}_{v,\theta }\). It turns out that in many cases this operator is a restriction of \(\widetilde{L}_{v,\theta }\) (see Theorem 2.12).
We start with an observation which does not come as a surprise from the perspective of classical perturbation theory in the spirit of Kato. However, we can not simply give a reference since we use the explicit action of the form.
Proposition 2.8
For \(v \in \mathcal {B}_{\theta }\) the form \(Q^{(c)}_{v,\theta }\) is semibounded and closable. Its closure \(Q_{v,\theta }\) is semibounded and given by \(Q_{v,\theta } = Q_{v_+,\theta }  q_{v_}\) with domain \(D(Q_{v,\theta }) = D(Q_{v_+,\theta })\). Furthermore, for all \(f,g \in D(Q_{v,\theta })\), one has
Proof
We start by proving the closability for \(v_{+}\). Define the form
by
In order to show that \(Q^{(c)}_{v_{+},\theta }\) is closable, it suffices to demonstrate that \(Q^{\max }_{v_{+},\theta }\) is lower semicontinuous. This is a consequence of Fatou’s lemma.
Now, for \(v \in \mathcal {B}_{\theta }\), there is \(\varepsilon >0\) and \(C>0\) such that for \(C'> C\), we obtain the inequalities
for all \(f \in C_c(X)\). These inequalities show that both form norms have the same Cauchy sequences. Thus, the closability of \(Q^{(c)}_{v_+,\theta }\) implies the closability of \(Q^{(c)}_{v,\theta }\) and the equality \(D(Q_{v,\theta }) = D(Q_{v_{+},\theta })\). For the statement on the action of the form, let us first note that
is well defined for all \(f\in D(Q_{v,\theta })\), i.e., \(Q^\mathrm{max}_{v_+ ,\theta }(f)< \infty \) and \(q_{v_}(f) < \infty \). To see this, pick a sequence of compactly supported functions \((f_n)\) converging to f with respect to the form norm induced by \(Q_{v_+,\theta }\). We then obtain by Fatou’s lemma and by \(v \in \mathcal {B}_{\theta }\)
and
Altogether, the above, Fatou’s lemma and \(Q^\mathrm{max}_{v,\theta }\) being a quadratic form implies
As \((f_n)\) is a Cauchysequence with respect to the form norm of \(Q_{v_+,\theta }\), these computations show the claim. \(\square \)
In fact, we are going to prove the following generalization of Proposition 2.8 later on, which will not be used in the sequel of this section, but certainly it is of an independent interest. The proof, given in Sect. 4.4, works by an approximation argument, cutting off the negative parts of the potentials and employing a Feynman–Kac–Itô formula for potentials that are bounded from below (and, thus, belong to \(\mathcal {B}_{0}\)). Eventually, we will use this result to show a Feynman–Kac–Itô formula for potentials in \(\mathcal {A}_{0}\).
Theorem 2.9
For every \(v \in \mathcal {A}_{0}\) the form \(Q^{(c)}_{v,\theta }\) is semibounded and closable.
For nonmagnetic forms, i.e., \(\theta =0\), even the converse is true.
Corollary 2.10
The form \(Q^{(c)}_{v,0}\) is semibounded and closable if and only if \(v\in \mathcal {A}_{0}\).
Proof
The “if” follows directly from Theorem 2.9 and the “only if” follows as \(Q_{v,0}^{(c)}\) is not semibounded if v is not in \(\mathcal {A}_{0}\), by Lemma 2.3. \(\square \)
We proceed by giving further criteria for \(Q^{(c)}_{v,\theta }\) being closable and for the operator \(L_{v,\theta }\) associated to its closure being a restriction of \(\widetilde{L}_{v,\theta }\). To this end the condition \(\widetilde{L}_{v,\theta }[{C}_c(X)] \subseteq \ell ^{2}(X,m)\) plays a role. We put this condition into perspective which is based on an observation made in [25] for the Dirichlet form case.
Lemma 2.11
The following assertions are equivalent:

(i)
\(\widetilde{L}_{v,\theta }[{C}_c(X)] \subseteq \ell ^{2}(X,m)\).

(ii)
\(\widetilde{L}_{0,0}[{C}_c(X)] \subseteq \ell ^{2}(X,m)\)

(iii)
For all \(x \in X\) the function \(X \rightarrow [0,\infty )\), \(y \mapsto b(x,y)/m(y)\) belongs to \(\ell ^2(X,m)\).
If one of the above is satisfied, then \(\ell ^2(X,m) \subseteq \widetilde{F}(X)\). Furthermore, the assertions are implied by local finiteness of the graph b or \(m\ge C\) for some \(C>0\).
Proof
The proof follows from a straightforward computation, see e.g. [25, Proposition 3.3] and [14, Lemma 2.3] for details. \(\square \)
We can now state the theorem about the action of the operators.
Theorem 2.12
Suppose one of the following conditions holds.

(a)
\(v \in \mathcal {B}_{\theta }\).

(b)
\(v \in \mathcal {A}_\theta \) and \(\widetilde{L}_{v,\theta }[{C}_c(X)] \subseteq \ell ^2(X,m)\).

(c)
\(v \in \mathcal {A}_\theta \) and (X, b) is locally finite.
Then \(Q^{(c)}_{v,\theta }\) is semibounded and closable and the corresponding operator is a restriction of \(\widetilde{L}_{v,\theta }\).
Proof
Clearly assumption (c) implies (b), hence it suffices to show the statement under assumption (a) and (b). Let us assume (a). As seen in Proposition 2.8, the form \(Q^{(c)}_{v,\theta }\) is semibounded, closable and satisfies \(D(Q_{v,\theta }) = D(Q_{v_+,\theta })\). We will now show \(D(Q_{v_+,\theta }) \subseteq \widetilde{F}(X)\). The inclusion \(D(Q_{v_+,\theta }) \subseteq \widetilde{F}(X)\) together with the action of \(Q_{v,\theta }\) (Proposition 2.8) and Green’s formula (Lemma 2.1) would imply
for all \(f \in D(L_{v,\theta })\) and \(g \in C_c(X)\). So, showing \(D(Q_{v_+,\theta }) \subseteq \widetilde{F}(X)\) would prove the claim. Thus, let \(f \in D(Q_{v_+,\theta })\) be given. We estimate
where \(\deg _{1}(x)=\sum _{y\in X}b(x,y)\) is finite by assumption on the graph b and the form expression is finite by Proposition 2.8. Hence, \(\sum _{y \in X}b(x,y)f(y)<\infty \) which implies \(f\in \widetilde{F}(X)\).
Next, we assume (b) holds. Then \(Q^{(c)}_{v,\theta }\) is semibounded and closable by the Friedrich’s extension theorem. Let \(f \in D(L_{v,\theta })\) be given and \((f_n)\) be a sequence of compactly supported functions converging to f in the form norm. Then, for all \(g \in C_c(X)\), we obtain by definition of \(L_{v,\theta }\) and Green’s formula (Lemma 2.1)
As g is compactly supported, it suffices to show the pointwise convergence of \(\widetilde{L}_{v,\theta } f_n\) towards \(\widetilde{L}_{v,\theta } f\) to prove the claim. For this it is sufficient to show the convergence
for each \(x \in X\). This can be deduced from
where the finiteness of the first factor of the righthand side follows from the characterization of the assumption \(\widetilde{L}_{v,\theta }[{C}_c(X)] \subseteq \ell ^2(X,m)\) in Lemma 2.11 and finiteness of the second factor follows from \(f, f_{n}\in \ell ^{2}(X,m)\). \(\square \)
2.5 Uniqueness of semibounded selfadjoint restrictions
In this section we present uniqueness results for selfadjoint operators that are restrictions of \(\widetilde{L}_{v,\theta }\). It is intended to complement the operator theoretic picture and extend previous results in this direction to our much more general situation. However, these result will not be needed for the Feynman–Kac–Itô formula.
A classical approach to uniqueness results of selfadjoint operators is the concept of essential selfadjointness. However, the notion of essential selfadjointness of \(\widetilde{L}_{v,\theta }\) only makes sense if \(\widetilde{L}_{v,\theta }[{C}_c(X)]\subseteq \ell ^{2}(X,m)\). Nevertheless, in general, we can still ask for the uniqueness of semibounded selfadjoint restrictions of \(\widetilde{L}_{v,\theta }\) on \(\ell ^{2}(X,m)\) in an appropriate sense (Precisely, we ask whether there is a unique dense subspace D of \(\ell ^{2}(X,m)\) such that the restriction of \(\widetilde{L}_{v,\theta }\) to D is a semibounded selfadjoint operator).
Let us mention that, in general, it is not clear whether \(\widetilde{L}_{v,\theta }\) has a selfadjoint restriction to \(\ell ^{2}(X,m)\) at all.
We start by presenting an abstract criterion for uniqueness in case of existence of selfadjoint restrictions based on uniqueness of the solutions of \((\widetilde{L}_{v,\theta }  \lambda )u=0\). This is complemented by two two conditions each of which ensuring existence. This is the content of, Proposition 2.13.
Afterwards, we give two criteria under which the assumptions of Proposition 2.13 are met. The first one, Theorem 2.14, essentially makes an assumption on the underlying weighted graph as a measure space, and the second one, Theorem 2.16, makes an assumption on the weighted graph as a metric space.
We start with the abstract criteria for uniqueness and existence.
Proposition 2.13
Assume there exists some constant \(C\in \mathbb {R}\) such that for all \(\lambda < C\), every solution \(u\in \widetilde{F}(X)\cap \ell ^{2}(X,m)\) of \((\widetilde{L}_{v,\theta }  \lambda )u=0\) satisfies \(u\equiv 0\). Then \(\widetilde{L}_{v,\theta }\) has at most one semibounded selfadjoint restriction on \(\ell ^{2}(X,m)\). Furthermore, the following holds:

(a)
If, additionally, \(v \in \mathcal {B}_{\theta }\), then \(\widetilde{L}_{v,\theta }\) has a unique semibounded selfadjoint restriction.

(b)
If, additionally, \(v \in \mathcal {A}_{\theta }\) and \(\widetilde{L}_{v,\theta }[{C}_c(X)]\subseteq \ell ^{2}(X,m)\), then \(\widetilde{L}_{v,\theta }\vert _{C_{c}(X)}\) is essentially selfadjoint.
Proof
Suppose there are two such restrictions \(L_{1}\) and \(L_{2}\) on \(\ell ^{2}(X,m)\) which do not coincide. Let C be a common lower bound of \(L_1\) and \(L_2\). Then, their resolvents \((L_{1}\lambda )^{1}\) and \((L_{2}\lambda )^{1}\) are different for \(\lambda <C\). Hence, we infer
As \(L_{1}\) and \(L_{2}\) are both restrictions of \(\widetilde{L}_{v,\theta }\), we have \((\widetilde{L}_{v,\theta }\lambda )u=\varphi \varphi =0\) and get a contradiction.
Under the additional assumption in (a) the existence of a semibounded selfadjoint restrictions follows from Theorem 2.12.
For the statement under the assumptions of (b) assume \(\widetilde{L}_{v,\theta }[{C}_c(X)]\subseteq \ell ^{2}(X,m)\). Let \(L_\mathrm{min} = \widetilde{L}_{v,\theta }_{C_c(X)}\) and \(L_\mathrm{max} = L_\mathrm{min}^*\) its adjoint. It suffices to show that \(L_\mathrm{max}\) is selfadjoint. From Lemma 2.11 we infer \(\ell ^2(X,m) \subseteq \tilde{F}\). This allows the application of Green’s formula (Lemma 2.1), i.e.,
for all \(u\in \ell ^2(X,m)\), such that \(\widetilde{L}_{v,\theta }u \in \ell ^2(X,m)\) and all \(f\in C_c(X)\). This shows that \(L_\mathrm{max}\) is a restriction of \(\widetilde{L}_{v,\theta }\) with domain
Now let \(L_{v,\theta }\) be the selfadjoint semibounded operator associated with the closure of \(Q^{(c)}_{v,\theta }\). By Theorem 2.12, \(L_{v,\theta }\) is a restriction of \(\widetilde{L}_{v,\theta }\), satisfying \(D(L_{v,\theta }) \subseteq D(L_\mathrm{max})\). Therefore, it suffices to show the other inclusion. Let \(u \in D(L_\mathrm{max})\) be given and let \(w = (L_{v,\theta }\lambda )^{1}(\widetilde{L}_{v,\theta }  \lambda )u \in D(L_{v,\theta }).\) We obtain \((\widetilde{L}_{v,\theta }\lambda )(wu) = 0,\) which implies \(u = w\in D(L_{v,\theta })\) by our assumptions. \(\square \)
The first criterion for uniqueness is based on a result from [25] for \(\theta =0\). This was later generalized to locally finite magnetic operators in [12]. The result below stands somewhat skew to the one of [12]: In [12] no assumption on the semiboundedness of the quadratic form is made, whereas we do not assume local finiteness.
Theorem 2.14
(Uniquenessmeasure space criterion) Assume that for some \(\alpha \in \mathbb {R}\) and all infinite paths \((x_{n})^{\infty }_{n=0}\) one has
Then the following holds:

(a)
If, additionally, \(v\in \mathcal {B}_{\theta }\), then \({\widetilde{L}_{v,\theta }}\) has a unique semibounded selfadjoint restriction.

(b)
If, additionally, \(v \in \mathcal {A}_{\theta }\) and \(\widetilde{L}_{v,\theta }[{C}_c(X)]\subseteq \ell ^{2}(X,m)\), then \(\widetilde{L}_{v,\theta }\vert _{C_{c}(X)}\) is essentially selfadjoint.
Proof
As \(Q_{v,\theta }^{(c)}\) is bounded below by some constant C, we infer \(\deg _{m}+v\lambda >0\) for all \(\lambda <C\). Thus, if the sums in the assumption diverge for a particular \(\alpha \), then there is \(\lambda _{0}< (C+\alpha )\) such that these sums diverge for all \(\lambda < \lambda _{0}\). Let \(u\in \ell ^{2}(X,m)\cap \widetilde{F}(X)\) be a solution to the equation \((\widetilde{L}_{v,\theta }\lambda )u=0\) for some \(\lambda <\lambda _{0}\). Then, one easily gets
for all \(x \in V\). Suppose \(u \not \equiv 0\), i.e., there exists an \(x_0\in X\) such that \(u(x_0) \ne 0\). By the above inequality there is an \(x_1\sim x_0\) with
Continuing this procedure, we may inductively choose an infinite path \((x_{n})\) which satisfies
Therefore, we obtain
This implies \(u(x_{0})=0\) by the assumption. As this contradicts \(u(x_0) \ne 0\), we conclude \(u\equiv 0\). Thus, the statement follows from Proposition 2.13. \(\square \)
As we have already remarked, the second criterion is going to deal with the completeness of the weighted graph with respect to some appropriate metric structure.
Definition 2.15
A (pseudo) metric d on X is called a path (pseudo) metric for the graph b, if there is a map \(\sigma :X\times X\rightarrow [0,\infty )\) with the properties \(\{\sigma =0\}\subseteq \{b=0\}\) and
A (pseudo) metric d is called intrinsic with respect to (X, b, m), if
We remark that the above definition of intrinsic metrics is adapted to our situation from the abstract Dirichlet space setting of [9]. Furthermore, any weighted graph admits an intrinsic metric. For example, one can take the path metric with weights \(\sigma (x,y)=(\deg _m(x)\wedge \deg _m(y))^{\frac{1}{2}}\) for \( x\sim y\).
Next, we present a result which has also been suggested to us by O. Milatovic in a private communication. Earlier results of this type for magnetic operators in the continuum with similar kinds of proofs already appeared in [3].
Theorem 2.16
(Uniquenessmetric space criterion) Let d be an intrinsic pseudo metric with respect to the underlying weighted graph.

(a)
Assume \(v \in \mathcal {B}_{\theta }\) and that the metric balls with respect to d are all finite. Then the operator \(\widetilde{L}_{v,\theta } \) has a unique semibounded selfadjoint restriction.

(b)
Assume \(v \in \mathcal {A}_\theta \) and that the underlying graph is locally finite and (X, d) is a complete path metric space. Then the operator \({\widetilde{L}_{v,\theta }\vert }_{{C}_c(X)}\) is essentially selfadjoint.
Remark 2.17

(a)
Theorem 2.16 is a generalization of [23, Corollary 1 and Theorem 2] and [34, Theorem 1.5]. While the first reference does not allow magnetic fields and negative potentials, the second one assumes a uniformly bounded vertex degree, a condition that we will avoid by using the concept of intrinsic metrics. The proof works analogously to [34]. We refer also to [36] for results in this direction.

(b)
In view of the Kato class being contained in \(\mathcal {B}_{0}\subseteq \mathcal {B}_{\theta }\subseteq \mathcal {A}_{\theta }\) (cf. [43, Theorem 3.1]), Theorem 2.16 can be considered in fact as a weightedgraph analogue of the corresponding result for geodesically complete Riemannian manifolds from [16].
The proof of Theorem 2.16 given below, is based on the following ground state transform: For any \(f=f_1+\mathrm {i}f_2\) with realvalued \(f_1,f_{2}\in \widetilde{{F}}(X)\) we define
where \( b^{(f)} (x,y)\) is defined for \( x,y\in X \) as
Proposition 2.18
Assume \(f\in \widetilde{{F}}(X)\) and \(\lambda \in \mathbb {R}\) are such that \((\widetilde{L}_{v,\theta }\lambda )f=0\). Then, for all \(g\in {C}_c(X)\), one has
Proof
The proof follows by direct calculation (cf. [34, Proposition 3.5] or [17, Proposition 3.2]). \(\square \)
Proof of Theorem 2.16
Let C be such that \(q_{ v_{}}(f)\le (1\varepsilon ) Q_{v_{+},\theta }^{(c)}(f)+C\Vert f\Vert ^2\) for \(\in f\in C_c(X)\) with e > 0 in case (a) and e = 0 in the case (b.) Let \(f\in \ell ^{2}(X,m)\cap \widetilde{F}(X)\) and \(\lambda < C1 \) be such that \( (\widetilde{L}_{v,\theta }\lambda )f=0\). We fix some \(x_{0}\in X\) and denote the Rball, \(R>0\), with respect to d with center \(x_{0}\) by \(B_{R}\). Let \(\eta _{R}:X\rightarrow [0,1]\), be given by
By a HopfRinow type theorem [23, Theorem A1] (cf. [34, Section 6]), the balls are finite under the metric completeness assumption in (b). Hence, finiteness of the balls in (a) and (b) implies \(\eta _R \in {C}_c (X)\). Then using \({\eta _{R}\vert }_{B_{R}}\equiv 1\), the semiboundedness of \({Q_{v,\theta }^{(c)}}\) by \(\lambda + 1\), and Proposition 2.18, we obtain
Employing the inequalities \( b^{(f)}(x,y)\le b(x,y)(f(x)^{2}+f(y)^{2})\), \((\eta _{R}(x)\eta _{R}(y))\le d(x,y)/R\) and the intrinsic metric property, yields
Letting \(R\rightarrow \infty \) shows that \(\Vert f\Vert =0\). Thus, any solution f in \(\ell ^{2}(X,m)\cap \widetilde{F}(X)\) to \((\widetilde{L}_{v,\theta }\lambda ) f=0\) is trivial. Thus, (a) follows directly by Proposition 2.13 while for (b) we additionally have to invoke that local finiteness implies \(\widetilde{L}_{v,\theta }[{C}_c(X)]\subseteq \ell ^{2}(X,m)\). \(\square \)
2.6 Semigroup convergence
We close this section with a result on the convergence of certain geometrically defined restrictions of the semigroups \((\mathrm {e}^{tL_{v,\theta }})_{t\ge 0}\). This result will be central for the proof of the Feynman–Kac–Itô formula.
We start by introducing some notation that will be useful in the sequel: For any finite subset \(U\subseteq X\), we denote with slight abuse of notation the restriction of m to U also by m and we define \(Q^{(U)}_{v,\theta }\) to be the restriction of \(Q^{(c)}_{v,\theta }\) to
Here, the finiteness of U implies that \(Q^{(U)}_{v,\theta }\) is automatically closed. Let \(L^{(U)}_{v,\theta }\) be the operator corresponding to \(Q^{(U)}_{v,\theta }\). We have a canonic inclusion operator
which comes from extending functions to zero away from U, and its adjoint will be denoted with \(\pi _U:=\iota ^*_U\).
Definition 2.19
A sequence \((X_{n})_{n\in \mathbb {N}}\) of finite sets \(X_{n}\subseteq X\) is called an exhausting sequence for X, if \(X_{n}\subseteq X_{n+1}\) for all n and if \(X=\bigcup _{n\in \mathbb {N}}X_{n}\).
The following geometric approximation is based on the Mosco convergence of the quadratic forms.
Proposition 2.20
Suppose \(Q^{(c)}_{v,\theta }\) is semibounded and closable and let \((X_n)_{n\in \mathbb {N}}\) be an exhausting sequence. Then, for all \(t\ge 0\), one as
Proof
By Theorem 5.11 it suffices to show that the forms \(Q^{(X_n)}_{v,\theta }\) converge to \(Q_{v,\theta }\) as \(n\rightarrow \infty \) in the generalized Mosco sense. Part (a) of Definition 5.10 follows from the closedness of \(Q_{v,\theta }\) while part (b) is due to the fact that \(C_c(X)\) is a core for \(Q_{v,\theta }\) by definition. \(\square \)
3 Stochastic processes on discrete sets
Let us introduce the necessary probabilistic framework. That is we construct a Markov process. Later in Sect. 4 we show that this Markov process appears in the Feynman–Kac–Itô formula and is therefore related to the semigroups of the operators considered above. Furthermore, we construct a discrete stochastic line integral with respect to this process.
We take a discrete time Markov chain \((Y_n)_{n\in \mathbb {N}}\) with state space X which satisfies
where in the following \((\Omega ,\mathcal {F},\mathbb {P})\) is some fixed probability space, \(\deg _{1}(x)=\sum _{y\in X}b(x,y)\), \(x\in X\), and \(\mathbb {N}=\{0,1,2,\ldots \}\). Let \((\xi _n)_{n\in \mathbb {N}}\) be a sequence of independent exponentially distributed random variables of parameter 1 which are also independent of \((Y_n)_{n\in \mathbb {N}}\). For \(n\ge 1\), we define the sequence of stopping times
with the convention \(\tau _0:= 0\). Furthermore, we define the stopping time
where obviously \(\tau >0\) is satisfied \(\mathbb {P}\)almost surely.
With these preparations, we define the jump process
Note that \(\mathbb {X}\) is maximally defined and that the \(\tau _n\)’s are precisely the jump times of \(\mathbb {X}\). If \(\mathbb {P}_x:=\mathbb {P}(\bullet \mid \mathbb {X}_0=x)\), and if \(\mathcal {F}_{*}\) denotes the filtration \(\mathcal {F}_t=\sigma (\mathbb {X}_s\mid s\le t)\), \(t\ge 0\), corresponding to \(\mathbb {X}\), then the tuple
is a (reversible) strong Markov process (see for example Theorem 6.5.4 in [37] for a proof).
Let us denote the number of jumps of \(\mathbb {X}\) until t by N(t), i.e.,
The following definitions will be central for this paper. We define two random variables by
and
In particular, \(\fancyscript{S}_t(v,0\mathbb {X})\) can be seen as the usual additive Feynman–Kac functional \(\fancyscript{S}_t(v,0\mathbb {X})=\int _0^t v( \mathbb {X}_s)\mathrm{d}s\).
The welldefinedness of \(\int _0^t \theta ( \mathrm{d}\mathbb {X}_s)\) and \(\int _0^t v( \mathbb {X}_s)\mathrm{d}s\) (and thus of \(\fancyscript{S}_t(v,\theta \mathbb {X})\)) follows from the simple observation \(\{N(t) < \infty \}=\{t < \tau \}\).
Furthermore, it is easily seen that the processes
are \(\fancyscript{F}_*\)semimartingales under \(\mathbb {P}_x\) with lifetime \(\tau \), which motivates the following definition.
Definition 3.1
The process \(\int _0^{\bullet } \theta ( \mathrm{d}\mathbb {X}_s)\) is called the stochastic line integral of \(\theta \) along X, and \(\fancyscript{S}_{\bullet }(v,\theta ;\mathbb {X})\) is called the Euclidean action corresponding to \(\theta \) and v.
Here, the notions “line integral” and “Euclidean action” are both motivated from the manifold setting [8], where in the first case \(\theta \) is interpreted as a 1form on the graph X. We refer the reader to [34] for a justification of the latter geometric interpretation.
Let us end this section by putting the process \(\mathbb {X}\) into perspective.
Remark 3.2
It is certainly well known that the constructed process \(\mathbb {X}\) is related to semigroup \(\mathrm {e}^{tL}\) of the operator \(L=L_{0,0}\) introduced in the previous section via the formula
In any case, this formula is a special case of the Feynman–Kac–Itô formula proven in the next section.
This formula has a simple but nevertheless important consequence, namely, one has
where the kernel \(\mathrm {e}^{t L}(x,y)\), \(x,y\in X\), of \(\mathrm {e}^{tL}\) exists due to discreteness of the space.
In particular, it follows that the process \((\Omega ,\mathcal {F},\mathcal {F}_*,\mathbb {X} ,(\mathbb {P}_x)_{x\in X})\) is nonexplosive, i.e.,
if and only if one has
This follows from combining the formula \(\mathrm {e}^{t L}(x,y)m(y) =\mathbb {P}_x(\mathbb {X}_t=y)\) with \( \{\tau =\infty \}=\bigcap _{n\in \mathbb {N}} \{\tau > n\}\) keeping \(\mathbb {P}_x(\tau >0)=1\) in mind.
In summary, the Dirichlet form \(Q=Q_{0,0}\) is stochastically complete, i.e., \(\mathrm {e}^{tL}1=1\), if and only if the process is nonexplosive, i.e., \(\mathbb {P}_x(\tau =\infty )=1\), \(x\in X\), a wellknown fact which is found already in [10, Exercise 4.5.1]. In case the underlying process is nonexplosive, some of the considerations below become somewhat simpler, nevertheless, there are many graphs where explosion can occur, see e.g. [25, 48, 49].
4 The Feynman–Kac–Itô formula
4.1 Statement
The following theorem is the main result of this paper.
Theorem 4.1
(Feynman–Kac–Itô formula) Let \(v\in \mathcal {A}_{0}\). Then for any \(f \in \ell ^2(X,m)\), \(t\ge 0\) and \(x\in X\), one has
The rest of the section is dedicated to the proof of Theorem 4.1. The proof is divided into several parts:
 Part 1: :

We prove (FKI) for finite subgraphs in Theorem 4.3. Here, we use the explicit form of the process \(\mathbb {X}\).
 Part 2: :

We show (FKI) for the case where \(Q_{v,\theta }^{(c)}\) and \(Q_{v,0}^{(c)}\) are both closable, Theorem 4.7. Here, we use that their closures can be well approximated by restrictions to finite subgraphs, see Proposition 2.20.
 Part 3: :

Finally, we show that the forms \(Q_{v,\theta }^{(c)}\) and \(Q_{v,0}^{(c)}\) are closable for \(v\in \mathcal {A}_{0}\), Theorem 2.9 proven in Sect. 4.4. Here, we use (FKI) for potentials whose negative part is bounded (a case which is included in Theorem 4.7 by Proposition 2.8).
Remark 4.2

(a)
It should be noted that we make no assumptions on the underlying weighted graph, the magnetic potential \(\theta \) and the positive part \(v_{+}\) of v. The only assumption on \(v_{}\) is semiboundedness of the nonmagnetic form. We believe that this setting should actually cover all possible applications.

(b)
As we have already remarked in the strategy of the proof above, we are actually going to prove the following fact in Theorem 4.7 below: Formula (FKI) holds true, if \(Q_{v,0}^{(c)}\) and \(Q_{v,\theta }^{(c)}\) are closable and semibounded. The latter statement is slightly more general than Theorem 4.1. However, we believe that Theorem 4.7 itself is not of any practical importance, as there is no general machinery to check its assumptions on v directly (whereas \(v\in \mathcal {A}_{0}\) can typically checked much more directly; cf. Examples 2.5 and 2.6). This is the motivation for declaring Theorem 4.1 to be our main result. These observations are fully reflected by the fact that the actual derivation of Theorem 4.1 from Theorem 4.7 requires some considerable extra work.
4.2 Proof for finite subgraphs
For a finite subset \(U\subset X\), we recall the notation from Sect. 2.6 and let
be the first exit time of \(\mathbb {X}\) from U, which is a \(\fancyscript{F}_*\)stopping time. The goal of this subsection is to prove the following proposition, which is the main tool in the proof of Theorem 4.1, but is in fact of an independent interest (see also the proof of Proposition 5.4 below). Here, it should again be noted that in view of the finiteness of U, the potentials may be arbitrary.
Theorem 4.3
Let \(U\subseteq X\) be finite. Then for all \(f\in \ell ^{2}(U,m)\), \(x\in U\), \(t\ge 0\), one has
The proof of the proposition above is based on three auxiliary lemmas.
Lemma 4.4
Let \(U \subseteq X\) be finite. Then, \((T_t(v,\theta ,U))_{t\ge 0}\) defined for \(f\in \ell ^{2}(U,m)\) by
is a strongly continuous semigroup of bounded operators on \(\ell ^{2}(U,m)\).
Proof
The asserted boundedness is trivial and the semigroup property follows from the strong Markov property of \(\mathbb {X}\). By the semigroup property it is enough to check strong continuity at \(t=0\), which can be easily checked using the boundedness of the integrand and the right continuity of \(\mathbb {X}\). \(\square \)
Lemma 4.5
Let \(f \in {C}_c(X)\), \(t>0\), and let the function \(\varphi _{t,f}:X\rightarrow \mathbb {C}\) be defined by
Then, for all \(x\in X\), one has \(\varphi _{t,f}(x)\rightarrow 0\) as \(t\searrow 0\).
Proof
As f is bounded, it suffices to show
From the considerations of Sect. 3 we derive
The first summand of the right hand side of (1) tends to \(\mathrm{deg}_{m}(x)\) as \(t \searrow 0\). For determining the second summand, let us compute
The last equality is a consequence of the following two observations: First, the equality \( \mathbb {P}_x(\mathbb {X}_{\tau _1} = y)={b(x,y)}/{\mathrm{deg}_{1}(x)}\) with \(\deg _{1}(x)=\sum _{y\in X}b(x,y)\) is a direct consequence of the construction of \(\mathbb {X}\). Secondly, using the notation of Sect. 3, we observe
The last equality follows from the fact that the \(Y_{n}\) and \(\xi _{n}\) are chosen independently. Now, the desired formula for \(\mathbb {P}_x( N(t)= 1\mid \mathbb {X}_{\tau _1} = y)\) is obtained by basic calculations involving independent exponentially distributed random variables, where one has to distinguish the cases \(\deg _{m}(x)\ne \deg _{m}(y)\) and \(\deg _{m}(x)=\deg _{m}(y)\).
The above calculation and Lebesgue’s dominated convergence theorem imply
showing our claim. \(\square \)
Lemma 4.6
Let \(U\subseteq X\) be finite. Then, for all \(f\in \ell ^2(U,m)\) and \(x\in U\), one has
Proof
We fix an arbitrary \(x\in U\) and compute
The error term \(\psi _t(x)\) satisfies \(\psi _t(x) \le \varphi _{t,f}(x)\) with \(\varphi _{t,f}\) defined in Lemma 4.5. Therefore, Lemma 4.5 implies \(\psi _t(x) \rightarrow 0\) as \(t \searrow 0\). For the first term of the right hand side of (2), we have
as \(t\searrow 0\). Now, let us turn to the second term of the right hand side of (2). We obtain
Setting
and using \(\tau _1 \le t\) on \(\{N(t) = 1\}\), a simple calculation yields
Hence, the same computation as in the proof of Lemma 4.5 shows that \(\frac{1}{t}\rho _t(x,y)\rightarrow b(x,y)/m(x)\) as \(t\searrow 0\). These two facts and the fact \(f \in {C}_c(U)\), as U is finite, imply
so, altogether we arrive at
\(\square \)
With these preparations we can now prove Theorem 4.3.
Proof of Theorem 4.3
For finite \(U\subseteq X\), we have \(\ell ^{2}(U,m)=C_{c}(U)\). In particular, \(L_{v,\theta }^{(U)}\) is a finite dimensional operator and the convergence
from Lemma 4.6 holds in the \(\ell ^{2}(U,m)\) sense. Therefore, the generator of the strongly continuous semigroup \((T_t(v,\theta ,U))_{t\ge 0}\) is given by \(L_{v,\theta }^{(U)}\). It follows that \(\mathrm {e}^{tL_{v,\theta }^{(U)}}=T_t(v,\theta ,U)\) for all \(t\ge 0\). \(\square \)
4.3 Proof for closable forms
Theorem 4.7
Let v be a potential such that \(Q^{(c)}_{v,0}\) and \(Q^{(c)}_{v,\theta }\) are closable and semibounded. Then for any \(f \in \ell ^2(X,m)\), \(t\ge 0\) and \(x\in X\) one has
Proof
We prove the asserted formula by using the approximation of \(Q_{v,\theta }\) via its restrictions to finite sets. Let \((X_n)_{n\in \mathbb {N}}\) be an exhausting sequence in the sense of Definition 2.19. Then, Proposition 2.20 states that
Combining this with Theorem 4.3, it remains to prove the equation
This will be done in two steps:
Step 1. \(\theta = 0\) and \(f \ge 0\): The sequence \(\tau _{X_n}\) converges monotonously increasingly to \(\tau \) and \(\pi _{X_n} f(\mathbb {X}_t)\) converges monotonously increasingly to \(f(\mathbb {X}_t)\). Hence, the monotone convergence theorem for integrals yields the desired statement.
Step 2. \(\theta \) and f arbitrary: By the assumption \(Q_{v,0}^{(c)}\) gives rise to a selfadjoint semibounded operator \(L_{v,0}\). The first step implies
By Lebesgue’s dominated convergence theorem we deduce the desired statement for general \(\theta \) and f. \(\square \)
4.4 Proof of closability of the forms
In this subsection we prove Theorem 2.9 from Sect. 2.4 which states that \(Q_{v,\theta }^{(c)}\) is closable for all \(v\in \mathcal {A}_{0}\).
Proof of Theorem 2.9
Let \(v\in \mathcal {A}_{0}\) be given. For \(n\in \mathbb {N}\) set \(v_{n}=v\vee (n)\) and observe \(v_{n}\in \mathcal {B}_{0}\) since \(v_{n,}\in \ell ^{\infty }\). By Proposition 2.8 the forms \(Q_{v_{n},\theta }^{(c)}\) are closable, semibounded and their domains satisfy \(D(Q_{v_{n},\theta })=D(Q_{v_{+},\theta })\). Moreover, keeping \(v\in \mathcal {A}_{0}\) and \(C_c(X) \subseteq D(Q_{v_n,\theta })\) in mind, there is some \(C>\infty \) such that \(Q_{v_{n},\theta }\ge C\) for all n. Hence, \(C\le Q_{v_{n+1},\theta }\le Q_{v_{n},\theta }\) for all \(n\in \mathbb {N}\). By monotone convergence of quadratic forms [39, Theorem S.16, p. 373], we get \(\mathrm {e}^{tL_{v_{n},\theta }}\rightarrow \mathrm {e}^{tS_{v,\theta }}\), \(n\rightarrow \infty \), strongly, where \(S_{v,\theta }\) denotes the operator corresponding to the form \(s_{v,\theta }\) which is the closure of the largest closable quadratic form that is smaller than the limit form corresponding to \((Q_{v_{n},\theta })_n\).
In order to show closability of \(Q_{v,\theta }^{(c)}\), it remains to show that the form domain of \(s_{v,\theta }\) includes \(C_{c}(X)\) and \(s_{v,\theta }\) coincides with \(Q_{v,\theta }^{(c)}\) on \(C_{c}(X)\).
We start by showing that \(\mathrm {e}^{tS_{v,\theta }}\) allows for a Feynman–Kac–Itô representation:
Claim 1: For all \( f \in \ell ^2(X,m)\) and \( x \in X\)
By the strong convergence \(\mathrm {e}^{tL_{v_{n},\theta }}\rightarrow \mathrm {e}^{t S_{v,\theta }}\), \(n\rightarrow \infty \), it suffices to show that
This, however, can be shown in two steps similar to the ones in the proof of Theorem 4.7 above: We first employ the monotone convergence theorem for \(\theta =0\) and \(f\ge 0\) in the first step and Lebesgue’s dominated convergence theorem in the second step. This proves the claim.
Next, we compute how the generator of \(\mathrm {e}^{t S_{v,\theta }}\) acts:
Claim 2: For all \(u\in C_c(X)\) and \( x \in {\mathrm {supp}}\, u\)
Denote \(U={\mathrm {supp}}\, u\). Recalling the definitions of \(T_{t}(v,\theta ,U)\) and \(\varphi _{t,u}\) from above and using Claim 1 and Lemma 4.5, we obtain
where the first inequality is readily seen by writing the semigroups in their Feynman–Kac–Itô representation and splitting up the expectation values into three parts corresponding to the events \(\{ N (t) =0\} \), \(\{ N (t) = 1\} \) and \(\{ N (t) \ge 2\} \) as in the proof of Lemma 4.6. Then, one immediately sees that the terms for \(\{ N (t) =0\} \) and \(\{ N (t) = 1\} \) coincide and the absolute value of each of the terms corresponding to \(\{ N (t) \ge 2\} \) can be estimated by \(\varphi _{t,u}(x)\). Having this, Lemma 4.6 and the observation \(L^{(U)}_{v,\theta }u=\widetilde{L}_{v,\theta }u\) on U yields the claim.
To finish the proof, we note that by Green’s formula (Lemma 2.1), Claim 2 and the semigroup characterization of \(s_{v,\theta }\) ([10, Lemma 1.3.4])
where we also used \(u\in C_{c}(X)\) in the first two equalities. In particular, this shows that \(C_{c}(X)\subseteq D(s_{v,\theta })\). As \(Q_{v,\theta }^{(c)}\) is a restriction of a closed form \(s_{v,\theta }\), it is closable itself. Semiboundedness follows as \(C_{c}(X)\) is a form core and \(v\in \mathcal {A}_{0}\). \(\square \)
These preparations readily gives the proof of the main theorem, the Feynman–Kac–Itô formula for potentials in \(\mathcal {A}_{0}\).
Proof of Theorem 4.1
By Theorem 2.9 the forms \(Q_{v,0}^{(c)}\) and \(Q_{v,\theta }^{(c)}\) are closable and semibounded for \(v\in \mathcal {A}_{0}\). Hence, the statement follows by Theorem 4.7. \(\square \)
5 Applications
We continue with several applications of the Feynman–Kac–Itô formula, Theorem 4.1. Remarkably, being equipped with the Feynman–Kac–(Itô) formula, all of the following partially highly nontrivial functional analytic results will be simple consequences of the trivial inequality
and potentials \(v_{1}\ge v_{2}\). This is the main advantage of the path integral formalism.
5.1 Semigroup formulas
We will start with the derivation of a probabilistic representation and applications thereof of the integral kernels corresponding to the perturbed magnetic semigroups. To this end, we define the probability measure \(\mathbb {P}_{x,y}^t\) on \(\{t<\tau \}\) by
and let \( \mathbb {E}_{x,y}^t\) be the corresponding expected value. Clearly, the Feynman–Kac–Itô formula for \(v =0\) and \(\theta = 0\) implies for \(L = L_{0,0}\)
for any event \(A\subset \{t<\tau \}\). Therefore, we obtain
Theorem 5.1
Let \(v\in \mathcal {A}_{0}\). Then for all \(t >0\) and \(x,y\in X\) one has
in particular,
Proof
The Feynman–Kac–Itô formula in combination with (4) directly implies the first formula. It only remains to prove the formula for the trace. Clearly, by the semigroup property and selfadjointness, \({\mathrm {tr}}\left[ \mathrm {e}^{tL_{v,\theta }}\right] \) is equal to the HilbertSchmidt norm of \(\mathrm {e}^{\frac{t}{2}L_{v,\theta }}\mathrm {e}^{\frac{t}{2}L_{v,\theta }}\), which in view of the formula for \(\mathrm {e}^{tL_{v,\theta }}(x,y)\) and the semigroup property and symmetry of the latter precisely has the asserted form. \(\square \)
5.2 Kato’s inequality
The following theorem includes a general version of Kato’s inequality and applications thereof. We refer the reader to [13] for probabilistic aspects of Kato’s inequality on noncompact Riemannian manifolds, and to [7] for a direct proof of Kato’s inequality on graphs (in a more restrictive setting though). Moreover, some of the results below are also contained in [12] for locally finite graphs.
Theorem 5.2
(Kato’s inequality) Let \(v_1,v_{2}\in \mathcal {A}_{0}\) be potentials such that \(v_1\ge v_2\). Then the following assertions hold:

(a)
For all \(t\ge 0\), \(f \in \ell ^2(X,m)\) and \(x\in X\), one has
$$\begin{aligned} \left \mathrm {e}^{tL_{v_1,\theta }}f(x) \right \le \mathrm {e}^{tL_{v_2,0}}f(x). \end{aligned}$$In particular, for all \(x,y\in X\) and \(t>0\), one has
$$\begin{aligned} \mathrm {e}^{tL_{v_1,\theta }}(x,y)\le \mathrm {e}^{tL_{v_2,0}}(x,y),\>\> \quad {\mathrm {tr}}\left[ \mathrm {e}^{tL_{v_1,\theta }}\right] \le {\mathrm {tr}}\left[ \mathrm {e}^{tL_{v_2,0}}\right] . \end{aligned}$$ 
(b)
For any \(h\in {D}(Q_{v_1,\theta })\), it holds that \(\left h\right \in {D}(Q_{v_2,0})\) and \(Q_{v_1,\theta }(h)\ge Q_{v_2,0}(h)\).

(c)
One has \(\inf \sigma (L_{v_1,\theta })\ge \inf \sigma (L_{v_2,0})\).

(d)
For any \(f \in \ell ^2(X,m)\), \(\lambda \in \mathbb {C}\) with \(\mathrm {Re}(\lambda )>\min \sigma (L_{v_1,\theta })\), \(x\in X\),
$$\begin{aligned} \left (L_{v_1,\theta }+\lambda )^{1}f(x)\right \le (L_{v_2,0}+\lambda )^{1}f(x). \end{aligned}$$ 
(e)
If \(L_{v_2,0}\) has a compact resolvent, then \(L_{v_1,\theta }\) has a compact resolvent.
Proof
Assertion (a) is implied by Theorem 5.1 together with (3). Statement (b) follows from (a) and the semigroup characterizations of \(Q_{v_2,0}\) and \(Q_{v_1,\theta }\), see [10, Lemma 1.3.4], and (c) follows from (b) and the variational characterization of the bottom of the spectrum, see [39], (or simply cf. [13, Theorem D.6] for both (b) and (c)). Statement (d) is a direct consequence of (a) and the Laplace’s formula for the resolvents. For (e) notice that the operators \(\mathrm {e}^{tL_{v_2,0}}\) are positivity improving for all \(t > 0\) by the Feynman–Kac formula and \((L_{v_2,0}+\lambda )^{1}\) are positivity improving for all \(\lambda > \inf \sigma (L_{v_2,0})\) by the Laplace formula for resolvents. Thus, the statement of the theorem follows from (d) by using Pitt’s theorem (cf. Theorem 5.8). \(\square \)
5.3 Golden–Thompson inequality
The following is a discrete analogue of the Golden–Thompson inequality.
Theorem 5.3
(Golden–Thompson inequality) Let \(v_1,v_{2}\in \mathcal {A}_{0}\) be potentials such that \(v_1\ge v_2\). Then for any \(t>0\) one has
where
For the proof of the Golden–Thompson inequality, Theorem 5.3, we need the following monotonicity property of the trace, which should also be of an independent interest as well.
Proposition 5.4
Let \(v\in \mathcal {A}_{0}\). Then for any exhausting sequence \((X_n)_{n\in \mathbb {N}}\) one has
Proof
Combining Theorem 4.3 with (4) easily implies
which, using Theorem 5.1, tends to \({\mathrm {tr}}\left[ \mathrm {e}^{tL_{v,0}}\right] \) in view of monotone convergence. \(\square \)
Proof of Theorem 5.3
In view of Theorem 5.2 (a), we have \({\mathrm {tr}}\left[ \mathrm {e}^{tL_{v_1,\theta }}\right] \!\le \! {\mathrm {tr}}\left[ \mathrm {e}^{tL_{v_2,0}}\right] \). Let \((X_n)_{n\in \mathbb {N}}\) be an exhausting sequence. Then applying the operatorversion of Golden–Thompson inequality (Theorem 5.9) to \(q^{\prime }{}=Q^{(X_n)}_{0,0}\), \(q^{\prime }{}^{\prime }{}=q_{v_2}\) in the Hilbert space \(\ell ^2(X_n,m)\), where \(Q^{(X_n)}_{0,v_2}=Q^{(X_n)}_{0,0}+q_{v_2}\) is trivial in view of the finiteness of \(X_n\), we get the inequality in
Here we have used selfadjointness and semigroup properties, as well as
Noting that
monotone convergence implies that the righthand side of (5) tends to the term in the middle of the asserted inequality as \(n\rightarrow \infty \). In view of Proposition 5.4, this completes the proof of the first inequality. For the second inequality we note that \(\mathrm {e}^{tL}(x,x)m(x)=\mathbb {P}_x(\mathbb {X}_t=x)\le 1\). \(\square \)
Remark 5.5
We refer the reader to [42, Theorem 9.2] for an \(\mathbb {R}^m\)version of the Golden–Thompson inequality, which uses a very different proof. Note that in this particular case, the Golden–Thompson inequality can be rewritten as a phase space bound. This has the important physical consequence that the quantum mechanical partition function is always bounded from above by the corresponding classical partition function.
5.4 The form domain
Finally, we use the Feynman–Kac–Itô formula to derive an explicit description of the form domain of \(Q_{v,\theta }\) under suitable assumptions on the potential.
Theorem 5.6
For any \(v\in \mathcal {B}_{0}\), one has \(Q_{v,\theta }=Q_{0,\theta }+q_{v}\), in particular, \(D(Q_{v,\theta })=D(Q_{0,\theta })\cap \ell ^{2}(X,vm)\).
Proof
By Proposition 2.8 it suffices to show the statement for \(v\ge 0\). We prove a Feynman–Kac–Itô formula for \(Q_{0,\theta }+q_{v}\) in order to conclude the assertion using Theorem 4.1. To this end, denote the operator arising from the form sum \(Q_{0,\theta }+q_{v}\) by \(L_{0,\theta }+v\).
With \(v_n:=v\wedge n\in \ell ^{\infty }(X)\) we have \( 0\le v_n\nearrow v\) as \(n\rightarrow \infty \) and it follows from monotone convergence for integrals that \(Q_{v_n,\theta } =Q_{0,\theta }+q_{v_n} \nearrow Q_{0,\theta }+q_v\) as \(n\rightarrow \infty \) in the sense of monotone convergence of quadratic forms. By [39, Theorem S.14, p. 373] we have that \(Q_{0,\theta }+q_{v}\) is closed and
for all \(f\in \ell ^{2}(X,m)\) and \(x\in X\). Thus, in view of \(Q_{v_{n},\theta }=Q_{0,\theta }+q_{v_{n}}\) and \(L_{v_{n},\theta }=L_{0,\theta }+v_{n}\) (as \(v_{n}\) is bounded) it only remains to prove
which, however, follows by Lebesgue’s dominated convergence. \(\square \)
We finish with a corollary of the theorem above. For v bounded below, recall the form \(Q^{\max }_{v,\theta }:\ell ^{2}(X,m)\rightarrow (\infty ,\infty ]\) in the proof of Proposition 2.8, which is given by
It is bounded below and closed.
Corollary 5.7
If \(Q_{0,\theta }=Q^{\max }_{0,\theta }\), then one has \(Q_{v,\theta }=Q^{\max }_{v,\theta }\) for all v bounded below.
Proof
As, obviously, \(Q^{\max }_{v,\theta }=Q_{0,\theta }^{\max }+q_{v}\), the statement follows by the theorem above. \(\square \)
References
Broderix, K., Hundertmark, D., Leschke, H.: Continuity properties of Schrödinger semigroups with magnetic fields. Rev. Math. Phys. 12(2), 181–225 (2000)
Cipriani, F., Sauvageot, J.L.: Derivations as square roots of Dirichlet forms. J. Funct. Anal. 201, 78–120 (2003)
Colin de Verdiére, Y., Truc, F.: Confining quantum particles with a purely magnetic field. Ann. Inst. Fourier (Grenoble) 60(2010), (7), 2333–2356 (2011)
Colin de Verdiére, Y., TorkiHamza, N., Truc, F.: Essential selfadjointness for combinatorial Schrödinger operators III—magnetic fields. Ann. Fac. Sci. Toulouse 3, 597–609 (2011)
Chen, Z.Q., Kim, P., Kumagai, T.: Discrete approximation of symmetric jump processes on metric measure spaces. Probab. Theory Relat. Fields 155(3–4), 703–749 (2013)
Demuth, M., van Casteren, J.A.: Stochastic Spectral Theory for Selfadjoint Feller Operators. A Functional Integration Approach. Probability and Its Applications. Birkhuser Verlag, Basel (2000)
Dodziuk, J., Matthai, V.: Kato’s inequality and asymptotic spectral properties for discrete magnetic Laplacians. The ubiquitous heat kernel. Contemp. Math. 398, Am. Math. Soc. 69–81 (2006)
Émery, M.: Stochastic Calculus in Manifolds. With an Appendix by P.A. Meyer. Universitext. SpringerVerlag, Berlin (1989)
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)
Fukushima, M., Oshima, Y., Takeda, M.: Dirichlet Forms and Symmetric Markov Processes, de Gruyter Studies in Mathematics, vol. 19. Walter de Gruyter & Co., Berlin (1994)
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)
Golénia, S.: Hardy inequality and eigenvalue distribution for discrete Laplacians. J. Funct. Anal. 266(5), 2662–2688 (2014)
Güneysu, B.: On generalized Schrödinger semigroups. J. Funct. Anal. 262(11), 4639–4674 (2012)
Güneysu, B.: Semiclassical limits of quantum partition functions on infinite graphs. J. Math. Phys. 56, 022102 (2015). doi:10.1063/1.4907385
Güneysu, B., Milatovic, O., Truc, F.: Generalized Schrödinger semigroups on infinite graphs. Potential Anal. 41(2), 517–541 (2014)
Güneysu, B., Post, O.: Path integrals and the essential selfadjointness of differential operators on noncompact manifolds. Math. Z. 275(1–2), 331–348 (2013)
Haeseler, S., Keller, M.: Generalized solutions and spectrum for Dirichlet forms on graphs. Random Walks, Boundaries and Spectra, Progress in Probability, 64. Birkhäuser, pp. 181–201 (2011)
Harper, P.: Single band motion of conduction Electrons in a uniform magnetic field. Proc. Phys. Soc. A 68, 874 (1955)
Hiai, F.: Logmajorizations and norm inequalities for exponential operators. Banach Cent. Publ. 38(1), 119–181 (1997)
Higuchi, Y., Shirai, T.: Weak Bloch property for discrete magnetic Schrödinger operators. Nagoya Math. J. 161, 127–154 (2001)
Hinz, M., Röckner, M., Teplyaev, A.: Vector analysis for local Dirichlet forms and quasilinear PDE and SPDE on fractals. Stoch. Process. Appl. 123(12), 4373–4406 (2013)
Hinz, M., Teplyaev, A.: Dirac and magnetic Schrödinger operators on fractals. J. Funct. Anal. 265(11), 2830–2854 (2013)
Huang, X., Keller, M., Masamune, J., Wojciechowski, R.K.: A note on selfadjoint extensions of the Laplacian on weighted graphs. J. Funct. Anal. 265, 1556–1578 (2013)
Ikeda, N., Watanabe, S.: Stochastic Differential Equations and Diffusion Processes. NorthHolland Mathematical Library, 24 NorthHolland Publishing Co., AmsterdamNew York, Kodansha Ltd, Tokyo (1981)
Keller, M., Lenz, D.: Dirichlet forms and stochastic completeness of graphs and subgraphs. Journal für die reine und angewandte Mathematik (Crelles Journal) 666, 189–223 (2012)
Keller, M., Lenz, D.: Unbounded Laplacians on graphs: basic spectral properties and the heat equation. Math. Model. Nat. Phenom. 5(4), 198–224 (2010)
Keller, M., Lenz, D., Vogt, H., Wojciechowski, R.: Note on basic features of large time behaviour of heat kernels. To appear in Journal für die reine und angewandte Mathematik (Crelles Journal). doi:10.1515/crelle20130070
Kigami, J.: Analysis on Fractals. Cambridge Tracts in Mathematics, vol. 143. Cambridge University Press, Cambridge (2001)
Kuwae, K., Takahashi, M.: Kato class measures of symmetric Markov processes under heat kernel estimates. J. Funct. Anal. 250(1), 86–113 (2007)
Kuwae, K., Takahashi, M.: Kato class functions of Markov processes under ultracontractivity. Potential theory in Matsue. Adv. Stud. Pure Math. 44, Math. Soc. Japan, Tokyo, pp. 193–202 (2006)
Lieb, E.H., Loss, M.: Fluxes, Laplacians, and Kasteleyn’s theorem. Duke Math. J. 71, 337–363 (1993)
Mathai, V., Schick, T., Yates, S.: Approximating spectral invariants of Harper operators on graphs II. Proc. Am. Math. Soc. 131, 1917–1923 (2003)
Mathai, V., Yates, S.: Approximating spectral invariants of Harper operators on graphs. J. Funct. Anal. 188, 111–136 (2002)
Milatovic, O.: Essential selfadjointness of discrete magnetic Schrödinger operators on locally finite graphs. Integr. Equ. Oper. Theory 71, 13–27 (2011)
Milatovic, O.: A Searstype selfadjointness result for discrete magnetic Schrödinger operators. J. Math. Anal. Appl. 396, 801–809 (2012)
Milatovic, O., Truc, F.: Selfadjoint extensions of discrete magnetic Schrödinger operators. Ann. Henri Poincaré 15(5), 917–936 (2014)
Norris, J.R.: Markov chains, volume 2 of Cambridge Series in Statistical and Probabilistic Mathematics. Cambridge University Press, Cambridge. Reprint of 1997 original (1998)
Pitt, L.D.: A compactness condition for linear operators of function spaces. J. Oper. Theory 1, 49–54 (1979)
Reed, M., Simon, B.: Methods of Modern Mathematical Physics I, II IV: Functional Analysis. Fourier Analysis, Selfadjointness. Academic Press, New York e.a. (1975)
Shubin, M.: Essential selfadjointness for semibounded magnetic Schrödinger operators on noncompact manifolds. J. Funct. Anal. 186(1), 92–116 (2001)
Simon, B.: Schrödinger semigroups. Bull. Am. Math. Soc. (N.S.) 7, 447–526 (1982)
Simon, B.: Functional Integration and Quantum Physics, 2nd edn. AMS Chelsea Publishing, Providence (2005)
Stollmann, P., Voigt, J.: Perturbation of Dirichlet forms by measures. Potential Anal. 5, 109–138 (1996)
Sunada, T.: A discrete analogue of periodic magnetic Schrödinger operators. Geometry of the spectrum. Contemp. Math. 173, Amer. Math. Soc., Providence, RI, pp. 283–299 (1994)
Sushch, V.N.: Essential selfadjointness of a discrete magnetic Schrödinger operator. J. Math. Sci. (N. Y.) 160(3), 368–378 (2009)
Voigt, J.: Absorption semigroups, their generators and Schrödinger semigroups. J. Funct. Anal. 67, 167–205 (1986)
Voigt, J.: Absorption semigroups. J. Oper. Theory 20, 117–131 (1988)
Wojciechowski, R.K.: Stochastic Completeness of Graphs. ProQuest LLC, Ann Arbor, MI, 2008. Thesis (Ph.D.)—City University of New York
Wojciechowski, R.K.: Stochastically Incomplete Manifolds and Graphs. Random Walks, Boundaries and Spectra. Progr. Prob. vol. 64. Birkhäuser Verlag, Basel, pp. 163–179 (2011)
Acknowledgments
The authors want to express their gratitude to Daniel Lenz for very inspiring and important hints. We are also grateful to Ognjen Milatovic for a very fruitful correspondence and to Hendrik Vogt, Sebastian Haeseler for most helpful discussions. BG has been financially supported by the Sonderforschungsbereich 647: RaumZeitMaterie. Moreover, MK acknowledges the financial support of the German Science Foundation (DFG), Golda Meir Fellowship, the Israel Science Foundation (Grant Nos. 1105/10 and 225/10) and BSF Grant No. 2010214. Furthermore, MS acknowledges the financial support of the European Science Foundation (ESF) within the project “Random Geometry of Large Interacting Systems and Statistical Physics”.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: Pitt’s theorem
Theorem 5.8
Let \(p_1\in (1,\infty )\), \(p_2\in [1,\infty ]\) and let \(A,B:{L}^{p_1}(M,\mu )\rightarrow {L}^{p_2}(M,\mu )\) be bounded operators such that A is positivity preserving and such that one has \(Bf\le Af\) for any \(f\in {L}^{p_1}(M,\mu )\). Then B is a compact operator, if A is a compact operator.
This highly nontrivial fact on operator domination goes back to Pitt [38].
Appendix B: An abstract Golden–Thompson inequality
Theorem 5.9
Let \(q^{\prime }{}\), \(q^{\prime }{}^{\prime }{}\) be densely defined, closed, symmetric and semibounded sesquilinear forms on a common Hilbert space. Assume that \(q:=q^{\prime }{}+q^{\prime }{}^{\prime }{}\) is densely defined and denote the semigroups corresponding to \(q^{\prime }{},q^{\prime }{}^{\prime }{}\) and q by \((T_t^{\prime }{})_{t\ge 0}\), \((T_t^{\prime }{}^{\prime }{})_{t\ge 0}\) and \((T_t)_{t\ge 0}\), respectively. Then one has
This result follows from Corollary 3.9 in [19]. Note that the above fact is even nontrivial for finite dimensional operators.
Appendix C: Moscoconvergence
Let \((H_k,\langle \cdot ,\cdot \rangle _k)\), \(k \in \mathbb {N}\), and \((H, \langle \cdot ,\cdot \rangle )\) be Hilbert spaces with corresponding norms \(\Vert \cdot \Vert _k\) and \(\Vert \cdot \Vert \) respectively. Suppose \((q_k,D(q_k))\) and (q, D(q)) are densely defined closed symmetric sesquilinear forms on \(H_k\) and H, respectively, which are bounded below by a constant \(C> \infty \) which is uniform in k. Each \(q_k\) is understood to be defined on the whole space \(H_k\) by the convention \(q_k(u) = \infty \) whenever \(u \in H_k \setminus D(q_k)\). Furthermore, we suppose that there exist bounded operators \(\iota _k:H_k \rightarrow H\) such that \(\pi _k := \iota _k ^*\) is a left inverse of \(\iota _k\), that is
Moreover, we assume that \(\pi _k\) satisfies
Definition 5.10
In the above situation, we say that \(q_k\) is Mosco convergent to q as \(k\rightarrow \infty \) in the generalized sense, if the following conditions hold:

(a)
If \(u_k \in H_k\), \(u \in H\) and \(\iota _ku_k \rightarrow u\) weakly in H, then
$$\begin{aligned} \liminf _{k \rightarrow \infty }\left( q_k(u_k) + C\Vert u_k\Vert _k^2\right) \ge q(u) + C\Vert u\Vert ^2. \end{aligned}$$ 
(b)
For every \(u \in H\) there exist \(u_k \in H_k\), such that \(\iota _k u_k \rightarrow u\) in H and
$$\begin{aligned} \limsup _{k \rightarrow \infty }\left( q_k(u_k) + C \Vert u_k\Vert _k^2\right) \le q(u) + C \Vert u\Vert ^2. \end{aligned}$$
Let \((T^{(k)}_t)_{t \ge 0}\) denote the semigroup associated with \(q_k\) and let \((T_t)_{t\ge 0}\) be the semigroup of q. For positive forms the following theorem which characterizes Mosco convergence can be found in the appendix of [5]. However, this result immediately extends to the situation of forms with uniform lower bound.
Theorem 5.11
In the above situation, the following assertions are equivalent:

(a)
\(q_k\) is Mosco convergent to q as \(k\rightarrow \infty \) in the generalized sense.

(b)
One has \(\iota _k T^{(k)}_t\pi _k \rightarrow T_t\) as \(t\rightarrow \infty \) strongly and uniformly on any finite time interval.
Proof
Consider the positive quadratic forms \(\tilde{q}_k = q_k + C\Vert \cdot \Vert ^2\) and \(\tilde{q} = q + C\Vert \cdot \Vert ^2\). Obviously their semigroups \(\widetilde{T}_t^{(k)}\) and \(\widetilde{T}_t\) satisfy
Combining this and the characterization of Mosco convergence for positive forms (Theorem 8.3 of [5]) we can deduce the result. \(\square \)
Rights and permissions
About this article
Cite this article
Güneysu, B., Keller, M. & Schmidt, M. A Feynman–Kac–Itô formula for magnetic Schrödinger operators on graphs. Probab. Theory Relat. Fields 165, 365–399 (2016). https://doi.org/10.1007/s0044001506339
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s0044001506339