Abstract
We consider a convolution-type operator on vector bundles over metric-measure spaces. This operator extends the analogous convolution Laplacian on functions in our earlier work to vector bundles, and is a natural extension of the graph connection Laplacian. We prove that for Euclidean or Hermitian connections on closed Riemannian manifolds, the spectrum of this operator and that of the graph connection Laplacian both approximate the spectrum of the connection Laplacian.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
This paper is a continuation of our previous works where we approximated, in the spectral sense, the Riemannian Laplace-Beltrami operator with the discrete graph Laplacian [2, 11] and a convolution-type operator [3]. This convolution-type operator, called the \(\rho \)-Laplacian (with a small parameter \(\rho >0\)), is defined by averaging over metric balls of small radius, and it is a natural extension of the discrete graph Laplacian in a continuous setting. A notable feature of the \(\rho \)-Laplacian is that it is not based on differentiation and is readily available on general metric-measure spaces. Furthermore, we proved in [3] that the spectrum of the \(\rho \)-Laplacian enjoys stability under metric-measure approximations in a large class of metric-measure spaces. Ideally, we define the \(\rho \)-Laplacian as a notion of Laplacian on metric-measure spaces (in the spectral sense). Our earlier results in [2, 3, 11] show that the definition makes sense for Riemannian manifolds. We hope that the spectra of the \(\rho \)-Laplacians could converge as \(\rho \rightarrow 0\), in a large class of metric-measure spaces, with the limit related to known concepts of Laplacian in [5, 6].
The present paper is concerned with the connection Laplacian on vector bundles. In this paper, we introduce an analogous convolution Laplacian acting on vector bundles over metric-measure spaces. This operator can be regarded as a generalization of the \(\rho \)-Laplacian (on functions), and its discretization, also known as the graph connection Laplacian, is a generalization of the graph Laplacian. We prove that for Euclidean or Hermitian connections on closed Riemannian manifolds, our convolution Laplacian and its discretization both approximate the standard connection Laplacian in the spectral sense. The spectral convergence of the graph connection Laplacians may have applications in numerical computations and manifold learning, in particular analyzing high-dimensional data sets, see e.g. [1, 4, 7, 8, 14,15,16] and the references therein.
In this introduction, we define our operator for vector bundles over Riemannian manifolds. The general definition for metric-measure spaces can be found in Sect. 2. Let \(M^n\) be a compact, connected Riemannian manifold of dimension n without boundary, and let E be a smooth Euclidean (or Hermitian) vector bundle over M equipped with a smooth Euclidean (or Hermitian) connection \(\nabla \). Recall that an Euclidean (resp. Hermitian) connection is a connection that is compatible with the Euclidean (resp. Hermitian) metric on the vector bundle. We denote by \(L^2(M,E)\) the space of \(L^2\)-sections of the vector bundle E, and by \(E_x\) the fiber over a point \(x\in M\). Fix \(\rho >0\) smaller than the injectivity radius \(r_{inj}(M)\). Given any pair of points \(x,y\in M\) with \(d(x,y)\le \rho \), let \(P_{xy}:E_y\rightarrow E_x\) be the parallel transport canonically associated with \(\nabla \) from y to x along the unique minimizing geodesic [yx].
For an \(L^2\)-section \(u\in L^2(M,E)\), we define the \(\rho \)-connection Laplacian operator \(\Delta ^{\rho }\) by
where \(\nu _n\) is the volume of the unit ball in \({\mathbb {R}}^n\), and \(B_{\rho }(x)\) is the geodesic ball in M of radius \(\rho \) centered at \(x\in M\).
The operator \(\Delta ^{\rho }\) is nonnegative and self-adjoint with respect to the standard inner product on \(L^2(M,E)\). Furthermore, the lower part of the spectrum of \(\Delta ^{\rho }\) is discrete. We denote by \(\widetilde{\lambda }_k\) the k-th eigenvalue of \(\Delta ^{\rho }\) from the discrete part of the spectrum. Denote by \(\Delta \) the standard connection Laplacian of the connection \(\nabla \), and by \(\lambda _k\) the k-th eigenvalue of \(\Delta \). Our first result states that the spectrum of the \(\rho \)-connection Laplacian \(\Delta ^{\rho }\) approximates the spectrum of the connection Laplacian \(\Delta \).
Theorem 1
There exist constants \(C_n>1\) and \(c_n,\sigma _n\in (0,1]\), depending only on n, such that the following holds. Suppose that the absolute value of the sectional curvatures of M and the norm of the curvature tensor of \(\nabla \) are bounded by constants \(K^{}_{\!M}\) and \(K^{}_{\!E}\), respectively. Assume that \(\rho >0\) satisfies
Then for every \(k\in {{\mathbb {N}}}_+\) satisfying \(\widetilde{\lambda }_k\le \sigma _n \rho ^{-2}\), we have
Remark 1.1
One can track the dependence of \(c_n\) on n and find that it suffices to assume
Remark 1.2
In the case of E being the trivial bundle, the connection Laplacian is simply the Laplace-Beltrami operator on functions, and the \(\rho \)-connection Laplacian \(\Delta ^{\rho }\) reduces to an operator on functions
This operator is the \(\rho \)-Laplacian we introduced in [3] up to a normalization adjustment, and its discretization is the graph Laplacian studied in [2]. In this case, Theorem 1 reduces to the convergence of the spectra of \(\rho \)-Laplacians (on functions) to the spectrum of the Laplace-Beltrami operator, which is known from Theorem 1 in [2] and Theorem 1.2 in [3].
Now let us turn to the discrete side. We define a discretization of a compact Riemannian manifold M as follows (see [2]).
Definition 1.3
Let \(\varepsilon \ll \rho \) and \(X_{\varepsilon }=\{x_i\}_{i=1}^N\) be a finite \(\varepsilon \)-net in M. The distance function on \(X_{\varepsilon }\) is the Riemannian distance d of M restricted onto \(X_{\varepsilon }\times X_{\varepsilon }\), denoted by \(d|_{X_{\varepsilon }}\). Suppose that \(X_{\varepsilon }\) is equipped with a discrete measure \(\mu =\sum _{i=1}^N \mu _i\delta _{x_i}\) which approximates the volume on M in the following sense: there exists a partition of M into measurable subsets \(\{V_i\}_{i=1}^N\) such that \(V_i\subset B_{\varepsilon }(x_i)\) and \({\text {vol}}(V_i)=\mu _i\) for every i. Denote this discrete metric-measure space by \(\Gamma _{\varepsilon }=(X_{\varepsilon },d|_{X_{\varepsilon }},\mu )\), and we write \(\Gamma \) for short.
Let \(M,E,\nabla \) be defined as before, and we consider the \(\rho \)-connection Laplacian on this discrete metric-measure space \(\Gamma \), acting on the restriction of the vector bundle E onto \(X_{\varepsilon }\). Namely, let \(P=\{P_{x_i x_j}: d(x_i,x_j)<\rho \}\) be the parallel transport between points in \(X_{\varepsilon }\). We call P a \(\rho \)-connection on the restriction \(E|_{X_{\varepsilon }}\). For \({\bar{u}}\in L^2(X_{\varepsilon },E|_{X_{\varepsilon }})\), we define
This operator is known as the graph connection Laplacian. The graph connection Laplacian is a nonnegative self-adjoint operator of dimension r(E)N with respect to the weighted discrete \(L^2\)-inner product, where r(E) is the rank of the vector bundle E. We denote the k-th eigenvalue of \(\Delta _{\Gamma }^{\rho }\) by \(\widetilde{\lambda }_k(\Gamma )\).
Our second result can be viewed as a discretized version of Theorem 1.
Theorem 2
Suppose that the absolute value of the sectional curvatures of M and the norm of the curvature tensor of \(\nabla \) are bounded by constants \(K^{}_{\!M}\) and \(K^{}_{\!E}\). Then there exists \(\rho _0=\rho _0(n,K_M,K_E)<r_{inj}(M)/2\), such that for any \(\rho <\rho _0\), \(\varepsilon <\rho /4\), \(k\le r(E)N\) satisfying \(\lambda _k<\rho ^{-2}/16\), we have
For compact Riemannian manifolds without boundary, Theorems 1 and 2 imply the closeness between the \(\rho \)-connection Laplacian and the graph connection Laplacian in the spectral sense. In the case of trivial bundles, this gives another proof for the closeness between the \(\rho \)-Laplacian (on functions) and the graph Laplacian in the spectral sense (as a special case of Theorem 1.2 in [3]).
This paper is organized as follows. We introduce the general concept of \(\rho \)-connection Laplacians for metric-measure spaces in Sect. 2. In Sect. 3, we focus on the case of smooth connections on Riemannian manifolds and prove Theorem 1. We turn to the graph connection Laplacian in Sect. 4 and prove Theorem 2.
2 General metric-measure setup
Let (X, d) be a metric space and E be an (continuous) Euclidean or Hermitian vector bundle over X. That is, we have a fiber bundle \(\pi :E\rightarrow X\), and each fiber \(E_x:=\pi ^{-1}(x)\), \(x\in X\), is a real or complex vector space equipped with an Euclidean or Hermitian inner product \(\langle \, ,\rangle _{E_x}\). When it is clear at which point the inner product is taken, we omit the subscript \(E_x\).
Let \(\rho >0\) be a small parameter. We denote by \(X^2(\rho )\) the set of pairs \((x,y)\in X\times X\) such that \(d(x,y)\le \rho \).
Definition 2.1
A \(\rho \)-connection on E is a (Borel measurable) family of uniformly bounded linear maps \(P_{xy}:E_y\rightarrow E_x, \,\sup _{(x,y)}\Vert P_{xy}\Vert < \infty ,\) where (x, y) ranges over \(X^2(\rho )\). That is, \(P_{xy}\) transports vectors from \(E_y\) to \(E_x\).
A \(\rho \)-connection \(P=\{P_{xy}\}\) is said to be Euclidean (resp. Hermitian) if all maps \(P_{xy}\) are Euclidean isometries (resp. unitary operators). A \(\rho \)-connection P is said to be symmetric, if \(P_{xy}\) is invertible and \(P_{xy}^{-1}=P_{yx}\) for all \((x,y)\in X^2(\rho )\).
Our primary example of \(\rho \)-connection is the one associated with a connection \(\nabla \) on an (smooth) Euclidean or Hermitian vector bundle over a Riemannian manifold M. Namely, there is a parallel transport canonically associated with the connection \(\nabla \). Then given two points \(x,y\in M\) with \(d(x,y)\le \rho <r_{inj}(M)\), one can transport vectors from \(E_y\) to \(E_x\) along the unique minimizing geodesic [yx].
Now suppose (X, d) is equipped with a measure \(\mu \): we are working in a metric-measure space \((X,d,\mu )\). Assume that X is compact and \(\mu (X)<\infty \). We denote by \(L^2(X,E)\) the space of \(L^2\)-sections of the vector bundle E.
The following expression \(u(x) - P_{xy}(u(y))\), where \(u\in L^2(X,E)\) and \(x,y\in X\), shows up frequently. We introduce a short notation for it:
Note that \(\Gamma _{xy}(u)\) is only defined for \((x,y)\in X^2(\rho )\) and it belongs to \(E_x\).
Let \(\alpha :X\rightarrow {{\mathbb {R}}}_+\) and \(\beta :X^2(\rho )\rightarrow {{\mathbb {R}}}_+\) be positive \(L^\infty \) functions satisfying that \(\alpha \) is bounded away from 0 and \(\beta \) is symmetric: \(\beta (x,y)=\beta (y,x)\) for all x, y. We define the \(\rho \)-connection Laplacian \(\Delta ^\rho _{\alpha ,\beta }\) associated with the \(\rho \)-connection P with weights \(\alpha ,\beta \) as follows. First we define an \(L^2\)-type inner product \(\langle \!\langle \, ,\rangle \!\rangle _\alpha \) on \(L^2(X,E)\) by
for \(u,v\in L^2(X,E)\), and the associated norm \(|\!|\cdot |\!|_\alpha \) is
Here \(|u(x)|^2=\langle u(x), u(x) \rangle \) is taken with respect to the Euclidean or Hermitian inner product in the fiber \(E_x\). Note that the standard inner product on \(L^2(X,E)\) corresponds to the case \(\alpha \equiv 1\), in which case the norm is denoted by the usual \(\Vert u\Vert _{L^2}\).
Next we define a symmetric form \(D_\beta ^{\rho }\) on \(L^2(X,E)\) by
Finally, our Laplacian \(\Delta ^\rho _{\alpha ,\beta }\) is the unique operator from \(L^2(X,E)\) to itself satisfying
for all \(u,v\in L^2(X,E)\). In other words, \(\Delta ^\rho _{\alpha ,\beta }\) is the self-adjoint operator on \(L^2(X,\alpha \mu ,E)\) associated with the quadratic form \(D_\beta ^{\rho }\). Note that the boundedness of \(P_{xy}\) and \(\mu (X)\) imply that both \(D_{\beta }^{\rho }\) and \(\Delta ^\rho _{\alpha ,\beta }\) are bounded.
The following proposition gives an explicit formula for \(\Delta ^\rho _{\alpha ,\beta }\).
Proposition 2.2
Assume that X is compact and \(\mu (X)<\infty \). Then \(\Delta ^\rho _{\alpha ,\beta }\) can be written as
where \(P_{xy}^*:E_x\rightarrow E_y\) is the operator adjoint to \(P_{xy}\) with respect to the inner products on the fibers \(E_x\) and \(E_y\).
In particular, if the \(\rho \)-connection P is Euclidean or Hermitian and is symmetric, then
Proof
The proof is a straightforward calculation. For brevity, we write dx and dy instead of \(d\mu (x)\) and \(d\mu (y)\). By definitions of \(D_\beta ^{\rho }\) and \(\Gamma _{xy}(v)\), we have
Expand it and rewrite the term \(\langle \Gamma _{xy}(u), P_{xy}(v(y)) \rangle \) as follows:
By swapping x, y and using the symmetry of \(\beta \), one gets
Substituting the last two formulae into the first one yields
The right-hand side of the last formula is the \(\langle \!\langle \, ,\rangle \!\rangle _\alpha \)-product of the right-hand side of (2.4) and v. This proves (2.4).
To deduce (2.5), observe that \(P_{yx}^*=P_{yx}^{-1}=P_{xy}\), since P is Euclidean or Hermitian and is symmetric. Hence by (2.1),
This and (2.4) prove (2.5). \(\square \)
Remark 2.3
We can assume that \(\beta (x,y)\) is defined for all pairs \((x,y)\in X^2(\rho )\) and is equal to 0 whenever \(d(x,y)>\rho \). This allows us to assume that \(P_{xy}\) is defined for all pairs \((x,y)\in X\times X\). It does not matter how P is extended to pairs x, y with \(d(x,y)>\rho \), since in this case it will always be multiplied by 0. This allows us to write integration over X rather than over \(\rho \)-balls whenever convenient.
Denote by \(\sigma ( \Delta ^\rho _{\alpha ,\beta })\) the spectrum of \( \Delta ^\rho _{\alpha ,\beta }\) and by \(\sigma _{ess}( \Delta ^\rho _{\alpha ,\beta })\) the essential spectrum.
Corollary 2.4
where \(a(\rho , \alpha , \beta )=\min _{x \in X} \frac{1}{2 \alpha (x)} \int _X \beta (x, y) dy\).
In particular, if the \(\rho \)-connection P is Euclidean or Hermitian and is symmetric, then
Proof
Due to (2.1) and (2.4), \(\Delta ^\rho _{\alpha ,\beta }\) is the sum of three operators: the multiplication operator
the operator
and
Observe that \(\sigma (\Delta _1) \subset [a(\rho , \alpha , \beta ), \infty )\); while \(\Delta _2\), as seen from its quadratic form
is non-negative, and \( \Delta _3\) is compact as an operator with bounded kernel, which proves the first claim. The second claim follows from the same considerations by using the simpler form (2.5). \(\square \)
2.1 Examples
In this paper, we only need a few choices for \(\alpha \) and \(\beta \). First observe that the Riemannian \(\rho \)-connection Laplacian (1.1) is obtained by using \(\alpha (x)=1\) and \(\beta (x,y)=\frac{2(n+2)}{\nu _n\rho ^{n+2}}\) if \(d(x,y)\le \rho \). Equivalently, one can use \(\alpha (x)=\frac{\nu _n\rho ^{n+2}}{2(n+2)}\) and \(\beta (x,y)=1\) if \(d(x,y)\le \rho \). Another convenient normalization, as seen in [3], is by volumes of \(\rho \)-balls: \(\beta (x,y)=1\) if \(d(x,y)\le \rho \) and \(\alpha (x)=\rho ^2\mu (B_\rho (x))\) for all \(x\in X\). We call the operator \(\Delta ^\rho _{\alpha ,\beta }\) with these \(\alpha ,\beta \) the volume-normalized \(\rho \)-connection Laplacian.
Note that Laplacians on real-or complex-valued functions are a special case of connection Laplacians. Namely, for a Riemannian manifold M, one simply considers the trivial bundle \(E=M\times {{\mathbb {R}}}\) or \(E=M\times {{\mathbb {C}}}\) equipped with the trivial connection \(\nabla \). The sections of the trivial bundle are functions on M and the connection Laplacian is simply the Laplace-Beltrami operator (on functions). Similarly, for a metric-measure space X, one can consider the same trivial bundle with the trivial \(\rho \)-connection defined by \(P_{xy}(y,t)=(x,t)\) for \(x,y\in X\) and \(t\in {{\mathbb {R}}}\) (or \(t\in {{\mathbb {C}}}\)). Then (2.5) boils down to
where \(u\in L^2(X)\). Such operators are called \(\rho \)-Laplacians in [3]. Some analogues of the results of this paper in the case of Laplacians on functions can be found in [2, 3, 10, 11].
2.2 Spectra of \(\rho \)-connection Laplacians
Since \(\Delta ^\rho _{\alpha ,\beta }\) is self-adjoint with respect to the \(L^2\)-compatible inner product \(\langle \!\langle \, ,\rangle \!\rangle _\alpha \) and the corresponding quadratic form \(D_\beta ^{\rho }\) is positive semi-definite, the spectrum of \(\Delta ^\rho _{\alpha ,\beta }\) is contained in \({{\mathbb {R}}}_{\ge 0}\).
This spectrum consists of the discrete and essential spectra. It follows from Corollary 2.4 that the essential spectrum has a lower bound in all cases in question. We are only interested in the part of the spectrum below this bound. We enumerate this part of the spectrum as follows (cf. Notation 2.1 in [3]).
Notation 2.5
Denote by \(\widetilde{\lambda }_\infty =\widetilde{\lambda }_\infty (E,P,\rho ,\alpha ,\beta )\) the infimum of the essential spectrum of \(\Delta ^\rho _{\alpha ,\beta }\). If the essential spectrum is empty (e.g. if X is a discrete space), we set \(\widetilde{\lambda }_\infty =\infty \). For every \(k\in {{\mathbb {N}}}_+\), we define \(\widetilde{\lambda }_k=\widetilde{\lambda }_k(E,P,\rho ,\alpha ,\beta )\in [0,+\infty ]\) as follows. Let \(0\le \widetilde{\lambda }_1\le \widetilde{\lambda }_2\le \cdots \) be the eigenvalues of \(\Delta ^\rho _{\alpha ,\beta }\) (counting multiplicities) that are smaller than \(\widetilde{\lambda }_\infty \). If there are only finitely many of such eigenvalues, we set \(\widetilde{\lambda }_k=\widetilde{\lambda }_\infty \) for all larger values of k.
We abuse the language and refer to \(\widetilde{\lambda }_k(E,P,\rho ,\alpha ,\beta )\) as the k-th eigenvalue of \(\Delta ^\rho _{\alpha ,\beta }\) even though it may be equal to \(\widetilde{\lambda }_\infty \).
By the standard min-max formula, for every \(k\in {{\mathbb {N}}}_+\), we have
where the infimum is taken over all k-dimensional linear subspaces L of \(L^2(X,E)\). We emphasize that (2.6) holds in both cases of \(\widetilde{\lambda }_k<\widetilde{\lambda }_\infty \) and \(\widetilde{\lambda }_k=\widetilde{\lambda }_\infty \).
3 Smooth connections on Riemannian manifolds
In this section, suppose \(X=M^n\) is a compact Riemannian manifold of dimension n without boundary, and E is a smooth Euclidean (or Hermitian) vector bundle over M equipped with a smooth Euclidean (or Hermitian) connection \(\nabla \). Recall that an Euclidean (resp. Hermitian) connection is a connection that is compatible with the Euclidean (resp. Hermitian) metric on the vector bundle. For a (sufficiently smooth) section u of E, \(\nabla u\) is a section of the fiber bundle \({\text {Hom}}(TM,E)\) over M. Here \({\text {Hom}}(TM,E)\) is the fiber bundle over M whose fiber over \(x\in M\) is the space \({\text {Hom}}(T_xM,E_x)\) of \({{\mathbb {R}}}\)-linear maps from \(T_xM\) to \(E_x\). Note that in the case when E is a complex fiber bundle, \({\text {Hom}}(T_xM,E_x)\) has a natural complex structure. The standard (Euclidean or Hermitian) inner product on \({\text {Hom}}(T_xM,E_x)\) is defined by
for \(\xi ,\eta \in {\text {Hom}}(T_xM,E_x)\), where \(\{e_i\}\) is an orthonormal basis of \(T_xM\). This defines the standard norm
on fibers and the standard \(L^2\)-norm on sections of \({\text {Hom}}(TM,E)\).
Let \(\Delta =\nabla ^*\nabla \) be the connection Laplacian of \(\nabla \) (e.g. [12, Chapter 7.3.2] or [9]). It is a nonnegative self-adjoint operator acting on \(H^2\)-sections of E. The corresponding energy functional is given by
for \(u\in H^2(M,E)\).
Since \(\Delta \) is a nonnegative self-adjoint elliptic operator, it has a discrete spectrum \(0\le \lambda _1\le \lambda _2\le \dots \), and \(\lambda _k\rightarrow \infty \) as \(k\rightarrow \infty \). The min-max formula for \(\lambda _k\) takes the form
where the infimum is taken over all k-dimensional linear subspaces L of \(H^1(M,E)\). The goal of this section is to prove that \(\lambda _k\) are approximated by eigenvalues of a \(\rho \)-connection Laplacian defined below.
Let \(\rho >0\) be smaller than the injectivity radius of M. Let \(P=\{P_{xy}\}\) be the \(\rho \)-connection associated with the connection \(\nabla \), which is given by the parallel transport from y to x along the unique minimizing geodesic [yx]. This particular \(\rho \)-connection P is unitary and symmetric since the connection \(\nabla \) is Euclidean (or Hermitian). We consider the \(\rho \)-connection Laplacian \(\Delta ^\rho =\Delta ^\rho _{\alpha ,\beta }\) given by (2.5) with \(\alpha (x)=1\) and \(\beta (x,y)=\frac{2(n+2)}{\nu _n\rho ^{n+2}}\) if \(d(x,y)\le \rho \). That is,
Recall that \(\Gamma _{xy}(u)\) is defined in (2.1). Here and later on in this paper, we denote by dx, dy the integration with respect to the Riemannian volume on M. Denote by \(\widetilde{\lambda }_k\) the k-th eigenvalue of \(\Delta ^\rho \) (see Notation 2.5).
We introduce a quadratic form \(D^{\rho }\) on \(L^2(M,E)\) by
Note that for the constant weight \(\beta (x,y)=\frac{2(n+2)}{\nu _n\rho ^{n+2}}\) chosen for \(\Delta ^\rho \), we have
Hence (2.6) takes the form
The rest of this section is a proof of Theorem 1.
3.1 Preparations and notations
For \(x\in M\), denote by \(\exp _x:T_xM\rightarrow M\) the Riemannian exponential map. We only need its restriction onto the \(\rho \)-ball \({\mathcal {B}}_\rho (0)\subset T_xM\). For \(v\in T_xM\), denote by \(J_x(v)\) the Jacobian of \(\exp _x\) at v. Let \(J_{\min }(r)\) and \(J_{\max }(r)\) denote the minimum and maximum of \(J_x(v)\) over all x, v with \(|v|\le r\). The Rauch Comparison Theorem implies that
for \(r<K_M^{1/2}\rho <c_n\), see (1.2). In particular,
Moreover, we choose \(c_n\) to be sufficiently small such that \(J_{\max }(r)/J_{\min }(r)<2\). Later we will mostly take \(r=\rho \) and we denote \(J_{\min }:=J_{\min }(\rho ),\, J_{\max }:=J_{\max }(\rho )\) for short.
As a consequence of (3.6), Corollary 2.4 implies that
for some constant \(\sigma _n\) depending only on n due to our choice of \(\rho \) in (1.2). This shows that \(\widetilde{\lambda }_\infty \) is of order \(\rho ^{-2}\) in the present case.
Later we use the following well-known inequality. We did not find a precise reference for it, so we give a short proof here.
Lemma 3.1
Let \(\gamma _s:[0,1]\rightarrow M\) be a smooth family of paths from a fixed point \(y\in M\) to x(s), \(s \in [-\varepsilon ,\varepsilon ]\). Let \(P_{\gamma _s} (v)\) be the \(\nabla \)-parallel transport along \(\gamma _s\) of \(v \in E_{y} \) to \(E_{x(s)}\). Then
Proof
Let \( v(t, s)= P_{\gamma _s[0, t]}(v), \) where \(P_{\gamma _s[t_1, t_2]}\) is the \(\nabla \)-parallel transport along \(\gamma _s\) from \(\gamma _s(t_1)\) to \(\gamma _s(t_2)\). Note that \(P_{\gamma _s[t_1, t_2]}\) is a unitary operator.
Observe that \(\nabla _{t} \,v(t, s)=0\) and thus \(\nabla _{s} \nabla _{t}\, v(t,s)=0\). Hence, using the definition of the curvature operator \(R_E\), we see that
Estimating the right-hand side yields
where we have used the fact that \(|v(t,s)|=|v|\) since the parallel transport P is unitary. The plan is to integrate (3.9) with respect to t. However, the fibers \(E_{\gamma _s(t)}\) vary with t. Thus, we use \(P_{\gamma _s[t, 1]}\) to identify them with \(E_{x(s)}\). Recall that by the definition of parallel translations, for any vector field X along \(\gamma _s\), one has
Note that the vectors under \(\frac{d}{dt}\) in this formula lie in the same vector space \(E_{x(s)}\) for all t. We apply this to \(X(t)= \nabla _{s} v(t,s)\) and obtain
Integrating with respect to t and taking into account that \(\nabla _s v(0,s)=0\) yield
Therefore, using the fact that \(P_{\gamma _s[t,1]}\) is unitary, we have
where the second inequality follows from (3.10). This formula is exactly (3.8). \(\square \)
We need the following elementary fact from the linear algebra (e.g. [2, §2.3]): If S is a quadratic form on \({{\mathbb {R}}}^n\), then
In the following two subsections, we control the upper and lower bounds for \(\widetilde{\lambda }_k\) by following the method we established in [2].
3.2 Upper bound for \({\widetilde{\lambda }}_k\)
Lemma 3.2
For any \(u\in H^1(M,E)\), we have
Proof
This lemma is similar to Lemma 3.3 in [2] and the proof is essentially the same. We may assume that u is smooth. By substituting \(y=\exp _x(v)\), we have
Hence
where
Note that the right-hand side is an integral with respect to the Liouville measure on TM. Let us estimate A.
For every constant-speed minimizing geodesic \(\gamma :[0,1]\rightarrow M\), we have
and
by the definition of the parallel transport P. Therefore,
where the last equality is due to P being unitary. Then,
For \(x\in M\) and \(v\in {\mathcal {B}}_\rho (0)\subset T_xM\), denote by \(\gamma _{x,v}\) the constant-speed geodesic with the initial data \(\gamma _{x,v}(0)=x\) and \({\dot{\gamma }}_{x,v}(0)=v\). Equivalently, \(\gamma _{x,v}(t)=\exp _x(tv)\). Applying (3.13) to \(\gamma _{x,v}\) yields
This and the definition of A imply that
where
Note that \({\dot{\gamma }}_{x,v}(t)\) is the image of v under the time t map of the geodesic flow. Since the geodesic flow preserves the Liouville measure and the subset \(\{(x,v)\in TM: v\in {\mathcal {B}}_{\rho }(0)\subset T_x M\}\), f(t) does not depend on t. Hence,
where the second equality follows from (3.11). This and (3.12) yield the lemma. \(\square \)
The lemma above gives an upper bound for \(\widetilde{\lambda }_k\).
Proposition 3.3
For every \(k\in {{\mathbb {N}}}_+\), we have
Proof
The second inequality follows from (3.6). The first one follows immediately from combining the min-max formulae (3.2) and (3.5) and Lemma 3.2. \(\square \)
3.3 Lower bound for \({\widetilde{\lambda }}_k\)
As in [2, Section 5], define \(\psi :{{\mathbb {R}}}_{\ge 0}\rightarrow {{\mathbb {R}}}_{\ge 0}\) by
The normalization constant \(\frac{n+2}{2\nu _n}\) is chosen so that \(\int _{{{\mathbb {R}}}^n} \psi (|x|)\,dx=1\).
We define \(k_{\rho }:M\times M\rightarrow {{\mathbb {R}}}_{\ge 0}\) by
and \(\theta :M\rightarrow {{\mathbb {R}}}_{\ge 0}\) by
(The second identity follows from the fact that \(k_{\rho }(x,y)=0\) if \(d(x,y)\ge \rho \).)
We need the following estimates on \(\theta \):
and
for all \(x\in M\). See [2, Lemma 5.1] for a proof.
Define a convolution operator \(I:L^2(M,E)\rightarrow C^{0,1}(M,E)\) by
for \(x\in M\) (compare with [2, Definition 5.2]). We estimate the energy and the \(L^2\)-norm of Iu in the following two lemmas.
Lemma 3.4
For any \(u\in L^2(M,E)\), we have
Proof
Consider the weighted \(\rho \)-connection Laplacian \(\Delta ^\rho _{\theta ,k_{\rho }}\) defined in Section 2. By (2.5),
where the second equality follows from the definition (3.15). Equivalently, \(Iu=u-\Delta ^\rho _{\theta ,k_{\rho }} u\). Therefore by (2.3),
Observe that
Thus
Then the lemma follows from the inequality above, \(J_{\max }\ge 1\), and the following trivial estimates:
and
due to (3.16). \(\square \)
Lemma 3.5
For any \(u\in L^2(M,E)\), we have
Proof
We rewrite the definition of I as
where
Note that for any \(x\in M\),
Differentiating this identity, we get
where \(d_x\) denotes the differential with respect to x. Differentiating (3.18) yields
where
and
In the above, \(V_{y,u}(\cdot )\) is the section of \(E|_{B_\rho (y)}\) defined by
For better understanding, observe that \(\nabla V_{y,u}=0\) if \(\nabla \) is a flat connection. In general, we have an estimate
where the norm at the left-hand side is defined by (3.1). Indeed, for any unit vector \(w\in T_xM\), we have
This follows from Lemma 3.1 applied to u(y) in place of v, and applied to a family of minimizing geodesics from y to points x(s) where \(x(0)=x\) and \(\dot{x}(0)=w\). Note that due to the curvature bound \(\text {Sec}_M\le K_M\), the Rauch comparison theorem implies that \(\sup _t\big |\frac{d \gamma _s(t)}{ds} \big |\) in (3.8) is attained at \(t=1\) when \(\rho \) satisfies (1.2), see e.g. [13, Chapter 4, Corollary 2.8(1)].
Hence by the Cauchy–Schwarz inequality,
where we used the estimates \(\widetilde{k_{\rho }}(x,y)\le C_n\rho ^{-n}\) and \({\text {vol}}(B_\rho (x))\le C_n\rho ^n\) due to (3.6). Thus
Next we turn to \(A_0\). Using (3.19),
Since \(d_x\widetilde{k_{\rho }}(x,y) = \theta (x)^{-1} d_x k_{\rho }(x,y) - \theta (x)^{-2} d_x\theta (x) \cdot k_{\rho }(x,y)\), we split \(A_0\) into two terms:
where
and
In view of (3.6), (3.16) and (3.17),
This inequality and the definition (3.4) of \(D^{\rho }(u)\) yield that
Now we estimate \(A_1\). From the definition of \(k_{\rho }\), for \(w\in T_xM\), we have
where \(\langle \, ,\rangle \) is the Riemannian inner product in \(T_xM\). Substituting this into the formula for \(A_1\) yields
Using the substitution \(y=\exp _x(v)\), we get
where
To proceed we need the following sublemma.
Sublemma
For any \(L^2\) function \(f:{{\mathbb {R}}}^n\rightarrow {{\mathbb {R}}}\), one has
Proof
Denote
Let \(v_0\in {{\mathbb {R}}}^n\) be the unit vector in the direction of F. Then
Therefore
Using (3.11), the second integral equals to \(\frac{\nu _n\rho ^{n+2}}{n+2}\). The sublemma follows. \(\square \)
We use the sublemma and (3.24) to estimate \(A_1\). Fix \(x\in M\) and an orthonormal basis \(\zeta _1,\dots ,\zeta _m\in E_x\), where \(m=\dim E_x\). Then \(\varphi (v)=\sum _j \big (f_j(v) + i \,g_j(v)\big ) \zeta _j\) for some functions \(f_j,g_j:{\mathcal {B}}_\rho (0)\rightarrow {{\mathbb {R}}}\), \(j=1,\dots ,m\). Then the formula (3.24) takes the form
for any \(w\in T_xM\), where \(a_j,b_j\in T_xM\) are given by
Hence by using (3.1),
Applying the Sublemma to \(f_j J_x\) and \(g_j J_x\) in place of f, we obtain
Thus,
where we used again the substitution \(y=\exp _x(v)\) and the definition of \(\varphi \) in the last inequality.
By (3.16) and (3.6), we have \(\theta (x)^{-2}J_{\max }\le 1+C_nK^{}_{\!M}\rho ^2\). Hence,
Integrating over M yields that
From \(\nabla Iu=A_1+A_2+A_3\), the lemma follows from (3.25), (3.23), and (3.22). \(\square \)
The lower bound for \(\widetilde{\lambda }_k\) is a consequence of Lemma 3.4 and Lemma 3.5.
Proposition 3.6
For every \(k\in {{\mathbb {N}}}_+\) satisfying \(\widetilde{\lambda }_k\le \sigma _n \rho ^{-2}\), we have
Proof
Let \(u_1,\dots , u_k\in L^2(M,E)\) be the first k eigen-sections of \(\Delta ^\rho \) corresponding to \(\widetilde{\lambda }_1,\dots ,\widetilde{\lambda }_k\). Let \(\widetilde{L}\) be the linear span of \(u_1,\dots ,u_k\). Then \(\widetilde{L}\) realizes the infimum in the min-max formula (3.5). Hence for all \(u\in \widetilde{L}\),
This and Lemma 3.4 imply that
For \(\rho ^2 \widetilde{\lambda }_k\le 1\) and \(\frac{J_{\min }}{J_{\max }}>\frac{1}{2}\), the left-hand side of the inequality above is positive for all \(u\in \widetilde{L}\setminus \{0\}\). In particular, I is injective on \(\widetilde{L}\).
Define \(L=I(\widetilde{L})\subset C^{0,1}(M,E)\). Since \(I|_{\widetilde{L}}\) is injective, we have \(\dim L=\dim \widetilde{L}=k\). Now the min-max formula (3.2), Lemma 3.5 and (3.27) imply that
This and (3.26) imply that
Using the Jacobian estimate (3.6), one sees that \(\frac{J_{\min }}{J_{\max }} \ge 1-C_nK^{}_{\!M}\rho ^2\), which implies that
Then the proposition follows. \(\square \)
Proof of Theorem 1
The estimate directly follows from Proposition 3.3 and Proposition 3.6, after converting all error terms involving \(\widetilde{\lambda }_k\) to \(\lambda _k\) by using Proposition 3.3. \(\square \)
4 Discretization of the connection Laplacian
In this section we prove Theorem 2. Let \(M^n\) be a compact, connected Riemannian manifold of dimension n without boundary, and let E be a smooth Euclidean (or Hermitian) vector bundle over M equipped with a smooth Euclidean (or Hermitian) connection \(\nabla \). Suppose \(P=\{P_{xy}\}\) is the \(\rho \)-connection given by the parallel transport canonically associated with the connection \(\nabla \). Recall that P is unitary and symmetric. Let \(\Gamma =(X_{\varepsilon },d|_{X_{\varepsilon }},\mu )\) (short for \(\Gamma _{\varepsilon }\)) be the discrete metric-measure space defined in Definition 1.3, where \(X_{\varepsilon }=\{x_i\}_{i=1}^N\) is a finite \(\varepsilon \)-net in M for \(\varepsilon \ll \rho \). We consider the \(\rho \)-connection Laplacian (2.5) on this discrete metric-measure space \(\Gamma \), acting on the restriction of the vector bundle E onto \(X_{\varepsilon }\).
The vector bundle E restricted onto \(X_{\varepsilon }\) is equipped with the norm
for \({\bar{u}}\in L^2(X_{\varepsilon },E|_{X_{\varepsilon }})\). Choosing the weights \(\alpha (x)=1\) and \(\beta (x,y)=\frac{2(n+2)}{\nu _n\rho ^{n+2}}\) in (2.5) the same as in the case of smooth connections, the graph connection Laplacian \(\Delta ^{\rho }_{\Gamma }\) is given by
and its energy (2.2) is given by
Denote by \(\widetilde{\lambda }_k(\Gamma )\) the k-th eigenvalue of \(\Delta _{\Gamma }^{\rho }\). Our goal is to prove that \(\widetilde{\lambda }_k(\Gamma )\) approximates the eigenvalue \(\lambda _k\) of the connection Laplacian \(\Delta \) for every k, as \(\rho +\frac{\varepsilon }{\rho }\rightarrow 0\). In the light of what we have already done in Sect. 3, we only need to obtain a few more estimates.
For the upper bound for \(\widetilde{\lambda }_k(\Gamma )\), we follow Section 4 in [2] and define the following discretization operator \(Q: L^2(M,E) \rightarrow L^2(X_{\varepsilon },E|_{X_{\varepsilon }})\) by
Define an extension operator \(Q^{*}: L^2(X_{\varepsilon },E|_{X_{\varepsilon }}) \rightarrow L^2(M,E)\) by
where \(1_{V_i}\) denotes the characteristic function of the set \(V_i\). Note that \(Q\circ Q^{*}=Id_{L^2(X_{\varepsilon },E|_{X_{\varepsilon }})}\). The energy of Qu for \(u\in L^2(M,E)\) is given by
To control the upper bound for \(\widetilde{\lambda }_k(\Gamma )\), we need to estimate \(\Vert Qu\Vert _{\Gamma }\) and \(\Vert \delta (Qu)\Vert \). We start with the following lemma as an application of Lemma 3.1.
Lemma 4.1
Let \(\rho <r_{inj}(M)/2\), \(\varepsilon <\rho /4\), and \(x_i,x_j,y,z\in M\) be given satisfying \(d(x_i,x_j)<\rho ,\,d(y,x_i)<\varepsilon ,\, d(z,x_j)<\varepsilon \). Then for any \(v\in E_z\), we have
and
Proof
Let \(V_{z,v}(x)=P_{xz}(v)\), and let \(\gamma _{y,x_i}: [0,d(y,x_i)] \rightarrow M\) be the unique minimizing geodesic from y to \(x_i\) with arclength parametrization. By definition,
where \(P_{s,s+s'}\) denotes the parallel transport from \(\gamma _{y,x_i}(s+s')\) to \(\gamma _{y,x_i}(s)\) along the geodesic \(\gamma _{y,x_i}\). Apply \(P_{0,s}\) to both sides:
Observe that \(P_{0,\cdot } V_{z,v}\big (\gamma _{y,x_i}(\cdot )\big )\) is a curve in \(E_y\). Since P is unitary, the formula above shows that the tangent vectors of this \(E_y\)-curve have lengths bounded by \(K_E (\rho +2\varepsilon )|v|\) due to (3.21). Thus,
Then the first conclusion directly follows from the definition \(V_{z,v}(x)=P_{xz}(v)\).
The second conclusion can be derived using the first conclusion. Namely, we apply the first conclusion with \(x_j,z,y\) in place of \(y,x_i,z\), and \(P_{yz}v\) in place of v:
Since P is symmetric and unitary, the inequality above is equivalent to
Applying the first conclusion with \(y,x_i,x_j\) in place of \(y,x_i,z\), and \(P_{x_j z}v\) in place of v gives
Thus the second conclusion follows from (4.7), (4.8) and the triangle inequality. \(\square \)
The following two lemmas enable us to obtain an upper bound for \(\widetilde{\lambda }_k(\Gamma )\).
Lemma 4.2
For any \(u\in L^2(M,E)\), we have
Proof
Observe that \(Q^{*}\) preserves the norms. Hence,
By the definitions of Q and \(Q^{*}\),
By the Cauchy-Schwarz inequality, we have
Since \(V_i\subset B_{\varepsilon }(x_i)\), then Lemma 4.1 yields that
To deal with the first term, we follow the proof of Lemma 3.4 in [2]. We fix \(x,y\in V_i\) and consider the set \(U=B_{\rho }(x)\cap B_{\rho }(y)\). Observe that U contains the ball of radius \(\rho -|xy|/2\ge \rho -\varepsilon \) centered at the midpoint between x and y. Hence we have \(\text {vol}(U)\ge C \nu _n (\rho -\varepsilon )^n\) by (3.6). Recall that P is unitary and symmetric. Then for every \(z\in U\), we have
where we applied Lemma 4.1 in the last inequality. Then
where \(F(x)=\int _{B_{\rho }(x)}|u(x)-P_{xz}u(z)|^2 dz\). Hence by definition (3.4), we obtain
\(\square \)
Lemma 4.3
For any \(u\in L^2(M,E)\), we have
Proof
The definition of Q yields that
Then by the Cauchy-Schwarz inequality and the fact that P is unitary and symmetric,
The parallel transport appeared in the quantity above goes through the path \([z x_j x_i y]\), while what we need is to go through the minimizing geodesic [zy]. Thus (4.6) and Lemma 4.1 imply that
Here the last inequality above used the inequality that
Since \(\bigcup _{j: d(x_i, x_j)<\rho }V_j \subset B_{\rho +2\varepsilon }(y)\) for \(y\in V_i\), we have
\(\square \)
The lower bound for \(\widetilde{\lambda }_k(\Gamma )\) almost immediately follows from Lemmas 3.4 and 3.5, since these two lemmas hold for any \(L^2\) section. For any \({\bar{u}}\in L^2(X_{\varepsilon },E|_{X_{\varepsilon }})\), we consider \(Q^{*}{\bar{u}} \in L^2(M,E)\) and apply those two lemmas to \(Q^{*}{\bar{u}}\). Recall that \(\Vert Q^{*}{\bar{u}}\Vert _{L^2}^2=\Vert {\bar{u}}\Vert ^2_{\Gamma }\). The only part left is to estimate \(D^{\rho }(Q^{*}{\bar{u}})\) in terms of \(\Vert \delta {\bar{u}}\Vert ^2\).
Lemma 4.4
For any \({\bar{u}}\in L^2(X_{\varepsilon },E|_{X_{\varepsilon }})\), we have
Proof
Since \(B_{\rho -2\varepsilon }(y) \subset \bigcup _{j: d(x_i, x_j)<\rho }V_j \) for \(y\in V_i\), we have
By the definition of \(Q^{*}\), for any \(y\in V_i,\,z\in V_j\),
Since P is unitary and symmetric, Lemma 4.1 implies that
Integrating the last inequality over \(V_i,V_j\), by definition (4.3), we obtain
where the last inequality used the fact that \(\sum _{i: d(x_i,x_j)<\rho } \mu _i \le {\text {vol}}(B_{\rho +\varepsilon }(x_j))\). \(\square \)
Proof of Theorem 2
The upper bound for \(\widetilde{\lambda }_k(\Gamma )\) follows from Lemmas 4.2, 4.3 and 3.2. The lower bound follows from Lemmas 4.4, 3.4 and 3.5. The calculations are straightforward, similar to Proposition 3.6. \(\square \)
References
Belkin, M., Niyogi, P.: Convergence of Laplacian eigenmaps. Adv. NIPS (2007)
Burago, D., Ivanov, S., Kurylev, Y.: A graph discretization of the Laplace–Beltrami operator. J. Spectr. Theory 4(4), 675–714 (2014). arXiv:1301.2222
Burago, D., Ivanov, S., Kurylev, Y.: Spectral stability of metric-measure Laplacians. Israel J. Math. 232(1), 125–158 (2019). arXiv:1506.06781
García Trillos, N., Gerlach, M., Hein, M., Slepčev, D.: Error estimates for spectral convergence of the graph Laplacian on random geometric graphs towards the Laplace–Beltrami operator. Found. Comput. Math. 20, 827–887 (2020)
Gigli, N.: On the differential structure of metric-measure spaces and applications. Mem. Amer. Math. Soc. 236(1113) (2015). arXiv:1205.6622
Gigli, N.: Nonsmooth differential geometry—an approach tailored for spaces with Ricci curvature bounded from below. Mem. Amer. Math. Soc. (2018). arXiv:1407.0809
Jiang, SW., Harlim, J.: Ghost point diffusion maps for solving elliptic PDEs on manifolds with classical boundary conditions, to appear in Comm. Pure Appl. Math. arXiv:2006.04002
Karoui, N., Wu, H.: Graph connection Laplacian methods can be made robust to noise. Ann. Stat. 44(1), 346–372 (2016)
Kurylev, Y., Oksanen, L., Paternain, G.: Inverse problems for the connection Laplacian. J. Differ. Geom. 110, 457–494 (2018)
Lebeau, G., Michel, L.: Semi-classical analysis of a random walk on a manifold. Ann. Probab. 38(1), 277–315 (2010)
Lu, J.: Graph approximations to the Laplacian spectra, to appear in Journal of Topology and Analysis. arXiv:1910.09224
Petersen, P.: Riemannian Geometry, 2nd edn. Springer, Berlin (2006)
Sakai, T.: Riemannian Geometry. AMS, Providence (1996)
Singer, A., Wu, H.: Vector diffusion maps and the connection Laplacian. Commun. Pure Appl. Math. 65, 1067–1144 (2012)
Singer, A., Wu, H.: Spectral convergence of the connection Laplacian from random samples. Inf. Infer. 6, 58–123 (2017)
Wormell, C., Reich, S.: Spectral convergence of diffusion maps: improved error bounds and an alternative normalization. SIAM J. Numer. Anal. 59, 1687–1734 (2021)
Acknowledgements
We are grateful to the anonymous referee for thoroughly reading our manuscript and making valuable suggestions for improvements.
Funding
Open Access funding provided by University of Helsinki including Helsinki University Central Hospital.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The first author was partially supported by NSF grant DMS-1205597. The second author was partially supported by RFBR Grant 20-01-00070. The fourth author was partially supported by Finnish Centre of Excellence in Inverse Modelling and Imaging.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Burago, D., Ivanov, S., Kurylev, Y. et al. Approximations of the connection Laplacian spectra. Math. Z. 301, 3185–3206 (2022). https://doi.org/10.1007/s00209-022-03016-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-022-03016-5