Frustration index and Cheeger inequalities for discrete and continuous magnetic Laplacians

We discuss a Cheeger constant as a mixture of the frustration index and the expan-sion rate, and prove the related Cheeger inequalities and higher order Cheeger inequalities for graph Laplacians with cyclic signatures, discrete magnetic Laplacians on ﬁnite graphs and magnetic Laplacians on closed Riemannian manifolds. In this process, we develop spectral clustering algorithms for partially oriented graphs and multi-way spectral clustering algorithms via metrics in lens spaces and complex projective spaces. As a byproduct, we give a uniﬁed viewpoint of Harary’s structural balance theory of signed graphs and the gauge invariance of magnetic potentials.


Introduction
Cheeger's inequality is one of the most fundamental and important estimates in spectral geometry. It was first proved by Cheeger for the Laplace-Beltrami operator on a Riemannian manifold [7] and later extended to the setting of discrete graphs, see e.g., [1,2,6,11], demonstrating the close relationship between the spectrum and the geometry of the underlying space. This inequality has a tremendous impact in discrete and continuous theories and is an important intersection point for interactions between both communities. For example, it stimulated research in discrete mathematics such as spectral clustering algorithms for data mining [36], or the construction of expander graphs [25]. Cheeger inequalities have also been considered on metric graphs, see, e.g., [42] and, using a coarea formula in the proof [44]. We recently witness several fruitful interactions in the other direction: Lee, Oveis Gharan and Trevisan's higher order Cheeger inequalities [28,29] on finite graphs were used by Miclo [40] to prove that hyperbounded, ergodic, and self-adjoint Markov operators admit a spectral gap, solving a 40-year-old conjecture of Simon and Høegh-Krohn [50]. For further developments, see [32,57]. Another example is an improved Cheeger's inequality for finite graphs by Kwok et al. [27], which was subsequently used to establish an optimal dimension-free upper bound of eigenvalue ratios for weighted closed Riemannian manifolds with nonnegative Ricci curvature [33] (see also [34]). This answers open questions of Funano and Shioya [15,16].
Spectral theory of discrete and continuous magnetic Laplacians attracted a lot of attention and literature on this subject developed rapidly, see, e.g., [9,13,14,17,24,31,41,43,[47][48][49]53]. Shigekawa proved the following comparison result in [47]: the least eigenvalue of the magnetic Laplacian on a closed Riemannian manifold is bounded from above by the least eigenvalue of a related Schrödinger operator. He also proved Weyl's asymptotic formula for magnetic Laplacians. Paternain [43] obtained an upper bound of the least eigenvalue in terms of the so-called harmonic value and Mañé's critical value of the corresponding Lagrangian. On finite planar graphs, Lieb and Loss [31] solved physically motivated extremality problems for eigenvalue expressions of the discrete magnetic Laplacian.
In this paper, we discuss a definition of Cheeger constants (Definitions 3.5, 3.6 and 7.3) reflecting the nontriviality of the magnetic potentials in terms of the frustration index (see Definitions 3.4 and 7.2) and the global connectivity of the underlying space. This definition works for both discrete and continuous magnetic Laplacians, and graph Laplacians with k-cyclic signatures (k ∈ N). Recall that discrete magnetic Laplacians can be considered as graph Laplacians with a U (1)-signature. We would like to point out that our definition of Cheeger constants provides invariances under switching operations (Definition 2.3) or gauge transformations (Eq. 7.8). Furthermore, we prove the corresponding Cheeger inequalities and higher order Cheeger inequalities (Theorems 4.1, 4.6, 5.1, 7.4, and 7.7). We notice that our Theorem 4.6, the Cheeger inequality for discrete magnetic Laplacian, overlaps with a Cheeger inequality of Bandeira, Singer and Spielman [4,Theorem 4.1] in the framework of graph connection Laplacians [51]. See Remark 4.9 for a more detailed explanation. It is known in physics that "a magnetic field raises the energy" [31]. Roughly speaking, our estimates tell us that a magnetic field raises the energy via raising the frustration index. We focus on finite graphs and compact Riemannian manifolds in this paper.
Cheeger inequalities are essentially coarea inequalities. In the proof, we obtain in particular coarea inequalities related to the frustration index on graphs as well as on manifolds (Lemmas 4.3 and 7.5).
In fact, we were led to our Cheeger constant definition by an investigation of graph Laplacians with k-cyclic signatures, aiming at extending a previous spectral interpretation [3] of Harary's structural balance theory [21,22] for graphs with (±1)-signatures. It turns out that the Cheeger inequalities for graph Laplacians with k-cyclic signatures and their proofs provide spectral clustering algorithms for partially oriented graphs (alternatively called mixed graphs without loops and multiple edges [23,45,46,60]), aiming at detecting interesting substructures. A partially oriented graph may contain both oriented and unoriented edges. In the proof of such inequalities, we develop a random k-partition argument, which is algorithmic (see Lemma 4.2 and Proposition 6.6). Recall that, in the setting of (±1)-signed graphs (i.e., k = 2), the eigenfunctions are real valued and a bipartition of the underlying graph can be given naturally according to the sign of the eigenfunction. But here we have complex valued eigenfunctions. Hence we do not have any natural k-partitions. That is why new ideas are needed. The generally non-symmetric graph Laplacians of partially oriented graphs are hardly useful for the purpose of spectral clustering. Our idea is to associate to a partially oriented graph and a natural number k ∈ N an unoriented graph with a special k-cyclic signature. We then perform spectral clustering algorithms employing eigenfunctions of the graph Laplacian with the associated signature. According to our Cheeger constant definition, we can obtain interesting k-cyclic substructures. See Sect. 6 for details.
To prove higher order Cheeger inequalities, we develop new multi-way spectral clustering algorithms using metrics on lens spaces and complex projective spaces. This provides a deeper understanding of earlier spectral clustering algorithms via metrics on real projective spaces presented in [32] and [3]. These clustering algorithms were initially designed to find almost bipartite subgraphs of a given graph [32], and then extended to find almost balanced subgraphs of a signed graph [3]. While all operators studied in [3,32] are bounded, we show that finding proper metrics for clustering is also useful for unbounded operators: the spectral clustering algorithms via metrics on complex projective spaces are crucial to prove the higher order Cheeger inequalities of the magnetic Laplacian on a closed Riemannian manifold (Lemma 7.8).
The paper is organized as follows. In Sect. 2, we set up notation for the discrete setting and recall basic spectral theory of related graph operators. In Sect. 3, we define the frustration index and the (multi-way) Cheeger constants. We prove the corresponding Cheeger's inequality in Sect. 4 and higher order Cheeger inequalities in Sect. 5. In Sect. 6, we discuss applications of Cheeger inequalities for spectral clustering on partially oriented graphs. In Sect. 7, we extend the results developed on discrete graphs to magnetic Laplacians on closed Riemannian manifolds.

Notations and basic spectral theory
Throughout the paper, G = (V, E) denotes an undirected simple finite graph on N vertices with vertex set V and edge set E. We denote edges of G by {u, v}, and u ∼ v means that u ∈ V and v ∈ V are connected by an edge. For any subset V ⊆ V , let G = ( V , E) be the subgraph of G induced by V , that is, an edge {u, v} of G is an edge of G with u, v ∈ V . We tacitly associate to every edge e = {u, v} ∈ E a positive symmetric weight w uv = w vu = w e and define the weighted degree d u of a vertex u ∈ V by d u := v,v∼u w uv . For a positive measure μ : V → R + on V , we define the maximal μ-degree of the graph G as .
Henceforth we always consider weighted graphs, unless stated otherwise, but refer to them simply as graphs. We denote by e = (u, v) the oriented edge starting at u and terminating at v, and byē = (v, u) the oriented edge with the reversed orientation. where s(e) −1 is the inverse of s(e) in . The trivial signature s ≡ 1, where 1 stands for the identity element of , is denoted by s 1 . For an oriented edge e = (u, v) ∈ E or , we will also write s uv := s(e) for convenience.
For k ∈ N, we use the standard combinatorial notation [k] = {1, 2, . . . , k}. In this paper, we will restrict ourselves to the case that the signature group is the cyclic group S 1 k := {ξ j | j ∈ [k]} of order k, generated by the primitive k-th root of unity ξ := e 2πi/k ∈ C, and the case that is the unitary group U (1) = {z ∈ C | |z| = 1}. The notation S 1 k emphasizes the fact that the elements in S 1 k lie on the unit circle. We consider the following Laplacian s μ associated to the weighted graph (G, w) with signature s : E or → and vertex measure μ : V → R + . For any function f : V → C, and any vertex u ∈ V , we have Note that the summation in (2.3) over the vertices v adjacent to u can also be understood as a summation over the oriented edges e = (u, v) ∈ E or , and the signature is evaluated at (u, v). The Laplacian s μ has the following decomposition where D and D μ are the diagonal matrices with D uu = d u and (D μ ) uu = μ(u) for all u ∈ V while A s is the (weighted) signed adjacency matrix with When = S 1 k , we call this operator the graph Laplacian with the k-cyclic signature. When = U (1), this is the discrete magnetic Laplacian studied in Sunada [53] (see also Shubin [48]). By (2.2), the matrix s μ is Hermitian, and hence all its eigenvalues are real which can be listed with multiplicity as follows: For any two functions f, g : V → C, we define their inner product as It is easy to check that ). (2.6) Note that the right hand side of the above equality is well-defined since ⊆ U (1). . (2.7) The Courant-Fisher-Weyl min-max principle tells that, for any n ∈ [N ], Here −s is the signature obtained by taking the negative values of s (as complex numbers). This generalizes [3, There is a natural operation, called switching, acting on the signatures [58,59].

Definition 2.3
Let G be a graph with signature s. For any function τ : V → we can define a new signature s τ : E or → as follows: We call the function τ a switching function. The signature s and s are said to be switching equivalent if there exists a switching function τ such that s = s τ .
One can check that switching is indeed an equivalence relation on the set of signatures. An important invariant of the switching operation is the spectrum of s μ . In fact, it holds that (see e.g. [59]) where D(τ ) is the diagonal matrix with entries D(τ ) uu = τ (u). This means that s τ μ and s μ are unitarily equivalent and have the same spectrum. If the signature s : E or → is switching equivalent to the trivial signature s 1 , the operator s μ is unitarily equivalent to the classical graph Laplacian. In this case we have λ 1 ( s μ ) = 0. We will show in Sect. 4 that this is the only case where the first eigenvalue vanishes. Observe that on a tree, any signature is switching equivalent to the trivial signature.

Remark 2.4
The concept of switching is developed in the study of Harary's balance theory for signed graphs [21], i.e. graphs with signatures s : E or → S 1 2 = {+1, −1}, which we briefly review in the next section. The corresponding terminology in the magnetic theory is the gauge transformation, see, e.g., [9,47]. Note that switching is an operation acting on the signatures s uv := e iα uv , while the gauge transformation is acting on the magnetic potentials α uv , where (u, v) ∈ E or . We will only use the terminology of the magnetic theory in the manifold case, see Sect. 7. Switching equivalent signatures are called cohomologous weight functions in [53].

3 Frustration index and Cheeger constants
One of our motivations for introducing the Cheeger constants is Harary's structural balance theory [21]. Let G be a finite graph with (possibly non-abelian) signature group and signature s : E or → , and C be a cycle, which is a graph of the sequence (u 1 , u 2 ), (u 2 , u 3 ), . . . , (u l−1 , u l ), (u l , u 1 ) of distinct edges. Then the signature of C is the conjugacy class of the element s u 1 u 2 s u 2 ,u 3 · · · s u l−1 u l s u l u 1 ∈ .
Note that the signature of a cycle is switching invariant. For convenience, we will also say that the graph G or a subgraph of G is balanced if the signature restricted on it is balanced. Since the signature of a cycle is switching invariant, the property of being balanced is also switching invariant. We have the following characterization of being balanced using switching operations.

Remark 3.3
The concept of balance has been studied in the literature under various terminologies. For example, a balanced cycle is said to be satisfying Kirchhoff's Voltage Law in [19]. In [9], the related concept to the signature of a cycle is the holonomy map. In magnetic theory, it is related to the magnetic flux [31].
We define the following frustration index to quantify how far a signature on a subset is from being balanced.

Definition 3.4
Let G be a finite graph with signature s and V 1 ⊆ V nonempty with induced subgraph (V 1 , E 1 ). The frustration index ι s (V 1 ) of V 1 is defined as A direct computation shows that the frustration index of a set is switching invariant and, according to Proposition 3.2, we have If G is unweighted and = {+1, −1}, then where e s min (V ) is the minimal number of edges that need to be removed from E in order to make G = (V, E) balanced. The quantity e s min (V ) is exactly the line index of balance of Harary [22]. Having the work of Vannimenus and Toulouse [56] in mind, Zaslavsky suggested later the term "frustration index" to Harary (T. Zaslavsky 2014, private communication).
We denote the boundary measure of V 1 by where V c 1 is the complement of V 1 in V . The μ-volume of V 1 is given by .
The choice of V 1 achieving the minimum in (3.7) can be viewed as a subset of vertices which balances the two complementary goals of minimizing its frustration index and its expansion, measured by the edges In the spirit of Miclo [39], we define the multi-way Cheeger constants as follows.
where the minimum is taken over all nontrivial n-subpartitions Observe that the n-way Cheeger constant of a graph G is monotone with respect to n, that is, h s n (μ) ≤ h s n+1 (μ). Using (3.3) and the fact that the frustration index is switching invariant, we obtain the following properties of the Cheeger constants.
123 For n ∈ [N ] and any signature s : E or → , we observe Hence, (3.11) follows by Definition 3.6. The inequality (3.11) is similar, in spirit, with Kato's inequality for noncompact spaces [12, Lemma 1.2, Corollary 1.3] (alternatively, also called the diamagnetic inequality for both compact and noncompact spaces in [31]) where the bottom of the spectrum increases when a balanced signature is replaced by an unbalanced signature.
For n = 1 we have the following result. Recalling h s b 1 (μ) = 0, Proposition 3.9 tells us that this change of the first Cheeger constant (by choosing an unbalanced signature) can be quite large.

Proposition 3.9 Let G be an unweighted connected finite d-regular graph and M
.
Proof Extending a result of [37,38], it is shown in [35, Theorem 2] that there exists a k-cyclic signature s 0 such that the maximal eigenvalue of the matrix A s 0 is no greater than 2 √ d − 1. The estimate (3.12) is then an immediate consequence of this result, combined with Cheeger's inequality (4.1), given at the beginning of the next section.

Cheeger's inequality
In this section, we prove Cheeger's inequality relating λ 1 ( s μ ) to the first Cheeger constant h s 1 (μ) for graph Laplacians with cyclic signatures (Theorem 4.1) and for discrete magnetic Laplacians (Theorem 4.6). Theorem 4.1 Let G be a finite graph with signature s : E or → S 1 k . Then we have We start with preparations for the proof of Theorem 4.1. Let B r (0) := {z ∈ C | |z| < r } be the open disk in C with center 0 and radius r . For θ ∈ [0, 2π) and k ∈ N, we define the following k disjoint sectorial regions where j = 0, 1, . . . , k − 1. Then for any t ∈ (0, 1], we define the function Y t,θ : where ξ denotes the k-th primitve root of unity.
The following lemma plays a key role.

Lemma 4.2 For any two points z
Proof W.l.o.g., we can assume that |z 1 | ≥ |z 2 | with z 1 ∈ Q θ j 1 and z 2 ∈ Q θ j 2 . Then we have Let α z 1 z 2 ∈ [0, π] be the angle between the two rays joining z 1 , z 2 to the origin.
and . The novel point here is that we introduce an extra degree of randomness in the argument of z in order to handle the difficulty caused by cyclic signatures. Actually, this provides a random k-partition parametrized by an angle θ , which will be discussed further in Sect. 6. This lemma is a version of a coarea inequality, which becomes transparent from the following direct consequence.
For any non-zero function f : V → C defined on the vertices of a graph G and any t ∈ [0, max u∈V | f (u)|], we define the following non-empty subset of V : (4.10) In fact, the summation in the integrand of the LHS of the above inequality can be split into two parts: (i) The summation over edges connecting two vertices from the inequality (4.11) follows directly from Lemma 4.2.
The coarea inequality is particularly useful to prove Lemma 4.4. .
For = U (1) we have the following Cheeger's inequality.
. (4.22) 123 The constant in the upper bound of (4.22) is slightly better than the constant in (4.1). This is due to Lemma 4.7 below.
With this lemma at hand, the proofs of Theorems 4.1 and 4.6 are very similar. We omit the details but mention the following analogue of Lemma 4.4.
Remark 4. 9 We notice that the inequality (4.22) for = U (1) overlaps with a Cheeger inequality for a connection Laplacian of G discussed by Bandeira, Singer and Spielman [4] to solve a partial synchronization problem. The connection Laplacian L is defined for a simple graph G where a matrix O uv ∈ O(l) is assigned to each (u, v) ∈ E or such that O vu = (O uv ) −1 . For any vector-valued function f : V → R l and any vertex u ∈ V , we then have Thus, each eigenvalue λ i ( s μ ) of s μ is an eigenvalue of L s with doubled multiplicity. If we denote the Euclidean norm in R l by · , Bandeira, Singer and Spielman define a (partial) 1 -frustration constant as , (4.31) and prove that If we assign elements of SO (2) to edges of G (instead of O (2)), we observe that  We remark that Corollary 4.10 can also be easily derived by the min-max principle (2.8).

Spectral clustering via lens spaces and complex projective spaces
In this section, we prove the following higher order Cheeger inequalities. . We consider the following map:

123
where · stands for the standard Hermitian norm in C n . Our goal is to construct n maps p : V → C n , p ∈ [n], with pairwise disjoint supports such that (1) each p can be viewed as a localization of F, i.e., p is the product of F and a cut-off function η : V → R (see 5.13 below), (2) each Rayleigh quotient satisfies R s μ ( p ) ≤ C(n)R s μ (F), where C(n) is a constant only depending on n.
Then, applying Lemmas 4.4 and 4.8 will finish the proof.
This strategy is adapted from the proof of the higher order Cheeger inequalities for unsigned graphs due to Lee et al. [28,29]. A critical new point here is to find a proper metric on the space of points {F(u)|u ∈ V } ⊂ C n for the spectral clustering algorithm. In other words, we need a proper metric to localize the map F. The original algorithm in [28,29] used a spherical metric. The second author [32] studied a spectral clustering via metrics on real projective spaces to prove higher order dual Cheeger inequalities for unsigned graphs. Later in [3], the above two algorithms and, hence, the corresponding two kinds of inequalities, were unified in the framework of Harary's signed graphs, i.e., graphs with signatures s : E or → {+1, −1}. In particular, the metrics on real projective spaces were shown to be the proper metrics for clustering in the framework of signed graphs. In our current more general setting of graphs with signatures s : E or → , where = S 1 k or = U (1), the new metrics will be defined on lens spaces and complex projective spaces.

Lens spaces and complex projective spaces
In this subsection, we provide metrics of lens spaces and complex projective spaces for the spectral clustering algorithms in the case of = S 1 k and = U (1), respectively. Both lens spaces and complex projective spaces are important objects in geometry and topology. See, e.g., [26,Chapter 5] for details about these spaces.
Let S 2n−1 := {z ∈ C n | z = 1} be the unit sphere in the space C n . Then ⊂ C acts on S 2n−1 by scalar multiplication. For any two points z 1 , z 2 ∈ S 2n−1 ⊂ C n , we define the following equivalence relation: For = S 1 k , the corresponding quotient space S 2n−1 / is the lens space L(k; 1, . . . , 1), while for = U (1), the quotient space S 2n−1 / is the complex projective space CP n−1 . Let [z] denote the equivalence class of z ∈ S 2n−1 . We consider the following metric on S 2n−1 / : The space S 2n−1 / can also be endowed with a distance d quot which is induced from the standard Riemannian metric on S 2n−1 ⊂ R 2n . This induced metric has positive Ricci curvature. If = S 1 k , the sectional curvature of this metric is constant equal to 1, and if = U (1), this metric is the well-known Fubini-Study metric. The two metrics d and d quot on S 2n−1 / are equivalent, i.e., there exist two constants c 1 , c 2 > 0 such that for all [z 1 ], [z 2 ] ∈ S 2n−1 / , Recall the concept of the metric doubling constant ρ X of a metric space (X, d X ). This constant is the infimum of all numbers ρ such that every ball B in X can be covered by ρ balls of half the radius of B.

Proposition 5.2 The metric doubling constant ρ of (S 2n−1 / , d) satisfies
where C is an absolute constant.
Proof By equivalence (5.6), we only need to consider the metric space (S 2n−1 / , d quot ). Since S 2n−1 / with its standard metric has nonnegative Ricci curvature, the Bishop-Gromov comparison theorem guarantees The metric d on S 2n−1 / induces a pseudo metric on the space C n \{0}, which-by abuse of notation-will again be denoted by d: The following obvious property is the reason why we use the metric d on S 2n−1 / from (5.5). This reason will become clear in the next Sect. 5.2.

Proposition 5.3
For every pair z 1 , z 2 ∈ C n \ {0} and every γ ∈ , we have d(z 1 , z 2 ) = d(z 1 , γ z 2 ). (5.10) The considerations of the next two subsections prepare the ground for the study of the Rayleigh quotient R s μ (F) of the map F : V → C n defined in (5.2).

Localization of the map F
We endow the support V F := {u ∈ V |F(u) = 0} with the pseudo metric d F induced by d via Given a subset S ⊆ V and > 0, we first define a cut-off function η : V → R by and then localize F via η as contains the support of the map . In the next lemma, G F = (V F , E F ) denotes the induced subgraph on V F of G.

Lemma 5.4 If {u, v} ∈ E F and F(v) ≤ F(u) then d(F(u), F(v)) F(v) ≤ F(u) − s uv F(v)
. (5.14) 123 Proof Observe that we only need to prove for any pair of points F(u), F(v) ∈ C n \ {0} with F(v) ≤ F(u) : we can replace F(v) in (5.15) by s uv F(v) and use Proposition 5.3 to obtain (5.14). By the definition of the metric d, we obtain (5.15) as follows: where we used the estimate (4.7) for the latter inequality.
Lemma 5.4 enables us to prove the following result.

Lemma 5.5 For any {u, v} ∈ E, we have
Proof If at least one of F(u) and F(v) is equal to zero, then the estimate (5.16) holds trivially. Hence, we suppose that u, v ∈ V F . W.l.o.g., we can assume that F(u) ≤ F(v) and calculate Applying Lemma 5.4 completes the proof.
Note that the inequality (5.16) is useful for the estimate of the numerator of the Rayleigh quotient of .

Decomposition of the underlying space via orthonormal functions
For later purposes, we work on a general measure space (V, μ) in this subsection, where V is a topological space and μ is a Borel measure. Two particular cases we have in mind are a vertex set V of a finite graph with a measure μ : V → R + , and a closed Riemannian manifold with its Riemannian volume measure. We will apply the results in this subsection to the latter case in Sect. 7.
On (V, μ), we further assume that there exist n measurable functions which are orthonormal, i.e., for any i, j ∈ [n], Then the map F : V → C n is given accordingly as in (5.2). We consider the measure μ F on V given by For any two points x, y in V F := {x ∈ V : F(x) = 0}, we have the distance between them The main result of this subsection is the following theorem.
Theorem 5.6 Let (V F , d F , μ F ) be as above. There exist an absolute constant C 0 and a nontrivial n-subpartition . The difficulty for the construction of the above n-subpartition is to achieve the property (ii). That is, we have to find a subpartition which possesses large enough measure. When d F (x, y) is given by the spherical distance F(x) F(x) − F(y) F(y) , Theorem 5.6 was proved in [28,29,Lemma 3.5]. In our situation, we have to deal with the metrics, given in (5.17), of lens spaces or complex projective spaces. We refer the reader to [18] for another interesting decomposition result.
An important ingredient of the proof is the following lemma derived from the random partition theory [20,30]. Note that a partition of a set A can also be considered as a map P : A → 2 A , where x ∈ A is mapped to the unique set P(x) of the partition that contains x. A random partition P of A is a probability measure ν on a set of partitions of A. Then P(x) is understood as a random variable from the probability space to subsets of A containing x. 0 and δ ∈ (0, 1), there exists a random partition P of A, i.e., a distribution ν over partitions of A such that (i) diam(S) ≤ r for any S in every partition P in the support of ν,

Lemma 5.7 Let A be a subset of the metric space (S 2n−1 / , d) (for d recall 5.5). Then for every r >
We refer to [20,Theorem 3.2] and [30,Lemma 3.11] for the proof, see also [32,Theorem 2.4]. For convenience, we describe briefly the construction of the random partition claimed in Lemma 5.7. Let {x i } [m] be a r/4-net of S 2n−1 / , that is, d(x i , x j ) ≥ r/4, for any i = j, and S 2n−1 / = i∈[m] B r/4 (x i ). Since (S 2n−1 / , d) is compact, m is a finite number. For R ∈ [r/4, r/2], we construct a partition of (S 2n−1 / , d) as follows. A permutation σ of the set [m] provides an order for all points in the net which is used to define, for every i ∈ [m], constitutes a partition of S 2n−1 / . Now let σ be a uniformly random permutation of [m], and R be chosen uniformly random from the interval [r/4, r/2]. These choices define a random partition P. If we choose R uniformly from a fine enough discretization of the interval [r/4, r/2], we can make P to be finitely supported. In fact, this random partition fulfills the two properties in Lemma 5.7.
Remark 5.8 Lemma 5.7 holds true for any metric space. In particular, the finiteness of the r/4-net is not necessary. This is shown in [30,Lemma 3.11].
Lemma 5.7 leads to the following result. Note that, the property (ii) in Lemma 5.7 ensures the existence of at least one subpartition which captures a large fraction of the whole measure.
123 Lemma 5.9 On (V F , d F , μ F ), for any r > 0 and δ ∈ (0, 1), there exists a nontrivial subpartition { S i } [m] such that . Proof Let P be the random partition on V F induced from the one constructed in Lemma 5.7 via the map F. Let I B r/α (x)⊆P(x) be the indicator function for the event that B r/α (x) ⊆ P(x) happens. Then we obtain from Lemma 5.7 (ii) by interchanging the expectation and the integral. On the other hand, we have This completes the proof.
In order to prove Theorem 5.6, we also need the following result.

Lemma 5.10 If a subset S ⊆
Proof W.l.o.g., we can assume that S ⊆ V F . Using the fact that f 1 , . . . , f n are orthonormal, we obtain the following two properties. First, we have Second, we have for any z := (z 1 , z 2 , . . . , z n ) ∈ C n with z = 1, Combining (5.22) and (5.23), we conclude for any y ∈ S, Since |z| 2 ≥ (z + z) 2 /4 for each z ∈ C, we obtain that for any γ ∈ : Recalling (5.17), the definition of d F , we arrive at We apply the following procedure to { S i } [m] . If we can find two sets of the subpartition, say S i and S j , such that then replace them by S i ∪ S j . Thus, when we stop, we obtain the sets T 1 , T 2 , . . . , T l for some number l, such that Setting r = 1 3 √ n and δ = 1 4n , we check that This implies that l ≥ n. Moreover, if we redefine T n := l j=n T j , we have Thus the subpartition {T i } [n] satisfies the property (ii). One can then verify the property (i) by Proposition 5.2 and Lemma 5.9.

Proof of Theorem 5.1
We first prove the upper bound of (5.1). Let {T i } [n] be the subpartition of V F obtained from Theorem 5.6. Choosing = 1 C 0 n 5/2 , we define the cut-off functions η p as in (5.12) (replacing the set S there by T p ). Then the maps p := η p F, p ∈ [n], have pairwise disjoint support.

123
Recalling that p | T p = F| T p , and applying Lemma 5.5 as well as fact (ii) of Theorem 5.6, we obtain that for any p ∈ [n], where C is an absolute constant. For every p ∈ [n], the map p has at least one coordinate function ψ p that satisfies R s μ (ψ p ) ≤ R s μ ( p ). In particular, we find functions ψ p , p ∈ [n], with pairwise disjoint support and an absolute constant C such that Now we prove the lower bound of (5.1). Suppose that the n-way Cheeger constant h s n (μ) is achieved by the nontrivial n-subpartition { V p } [n] and that the function τ p : V p → achieves the frustration index ι s ( V p ) for each p ∈ [n]. Moreover, consider functions f p : V → C with pairwise disjoint support given for p ∈ [n] by: By the min-max principle (2.8), we know λ n ( s μ ) ≤ max a 1 ,...,a n R s μ ( f a ), (5.33) where the maximum is taken over all complex numbers a 1 , . . . , a n ∈ C such that the linear combination f a := p∈[n] a p f p of f 1 , . . . , f n is nontrivial. This implies |a p | 2 vol μ ( V p ).
while for u ∈ V p and v ∈ V q with p, q ∈ [n] and p = q we have If we now combine the estimates (5.33), (5.34), and (5.37), we arrive at

Application: spectral clustering on oriented graphs and mixed graphs
In this section, we discuss an application of the Cheeger inequalities (and their proofs) in the case = S 1 k . These results indicate algorithms to find interesting substructures in an oriented graph or a mixed graph.

Generalization of Harary's balance theorem
Let us first discuss an equivalent definition of the Cheeger constant h s 1 (μ) if = S 1 k . For a nonempty subset V of V , let V 0 , . . . , V k−1 be an ordered k-partition of V , that is, V i are pairwise disjoint sets and their union is V . In contrast to a nontrivial k-partition, all but one V i may be empty. We Given an ordered k-partition V k ( V ) of V ⊆ V , we define, for 0 ≤ i, j ≤ k − 1 and l ∈ Z, as the (weighted) cardinality of oriented edges with signature ξ l that begin in V i and terminate in V j . Definition 6.1 Let G be a finite graph with signature s : E or → S 1 k . For any nonempty subset V of V , the k-partiteness ratio of an ordered k- The minimal k-partiteness ratio β s where the minimum is taken over all ordered k- The next goal is to prove that the Cheeger constant for = S 1 k can also be expressed in terms of the k-partiteness ratio, see Corollary 6.3 below.

123
Proof For any function τ : for i = 0, 1, . . . , k − 1. We can check that Observe that the correspondence between the set of S 1 k -valued functions on V and the set of ordered k-partitions of V given by (6.5) is one-to-one. Hence, we obtain by definition of the frustration index This proves the lemma.

Corollary 6.3 Let G be a finite graph with signature s
This enables us to prove the following structural balance theorem. Proof Recall that h s 1 (μ) = 0 if and only if the signature is balanced. The theorem is then a direct consequence of (6.8).
Remark 6.5 Harary's balance theorem [21] states that a signature s : E or → {±1} is balanced if and only if there exists a bipartition V 0 , V 1 of V such that an edge has signature −1 if and only if it has one end point in V 0 and one in V 1 . Theorem 6.4 is a natural generalization of Harary's theorem.
In Figure 1, we schematically illustrate the situation of Theorem 6.4 if k ∈ {3, 4}. The class of edges that begin and terminate in V i are represented by one unoriented edge labeled by ξ 0 = 1. For distinct i, j, the class of edges with endpoints in V i and V j are represented by an oriented edge that begins in V i and terminates in V j with i < j. These oriented edges are labeled by ξ i− j .

Finding a good substructure
The proof of Cheeger's inequality in Sect. 4  eigenfunction corresponding to λ 1 ( s μ ), we see that V is a nonempty subset of V with the required property. Now consider a finite graph G with a k-cyclic signature s. From Lemma 6.2, we know that φ s μ ( V ) agrees with the minimum of the k-partiteness ratios of all ordered k-partitions V k ( V ). Having found a nonempty subset V := V f ( √ t ) ⊆ V satisfying (4.14), we explain in this subsection, how to find a finer substructure of V , namely an ordered k-partition V k ( V ) with a k-partiteness ratio that is at most the upper bound given in (4.14). The precise statement is given in Proposition 6.6 below.
Proof Instead of inequality (4.12), we consider the equality The remaining proof follows along similar arguments as the ones given in the proof of Lemma 4.4.
This Proposition provides the following spectral clustering algorithm to find an ordered k-subpartition of V with a k-partiteness ratio bounded above by the upper bound in Cheeger's inequality. Firstly, find the eigenfunction f 1 : V → C corresponding to λ 1 ( s μ ). For convenience, we can normalize f 1 such that max u∈V | f (u)| = 1. Secondly, find the required ordered k-subpartion from the sets (6.9) by running over fine enough discretizations of the parameters t and θ .
123 Fig. 2 Ideal substructures of partially oriented graphs in case of k = 3 (left) k = 4 (right) that are approximated in Sect. 6.3

Applications to partially oriented graphs
In this subsection, we consider mixed graphs instead of undirected graphs which are studied in scheduling problems, for example [45,52]. Recall that a mixed graph is a graph G = (V, E U ∪ E O ) that consists of unoriented edges (the set E U ) as well as oriented edges (the set E O ) such that no two vertices u, v ∈ V form more than one edge of E U ∪ E O . As mentioned in the introduction, we call such a graph also partially oriented. Clearly, a partially oriented graph is an oriented graph if and only if E U = ∅. The algorithm discussed in the previous subsection has interesting applications for partially oriented graphs.
Given a partially oriented graph G = (V, E U ∪ E O ) and a natural number k, we now want to find a nonempty subset V ⊆ V and an ordered k-subpartition V k ( V ) = {V 0 , V 1 , . . . , V k−1 } of V which approximates the following ideal substructure: (i) The subset V has empty boundary.
(ii) An edge e ∈ E U ∪ E O with endpoints u, v ∈ V i for some 0 ≤ i ≤ k − 1 is unoriented, that is, e ∈ E U . (iii) The partially oriented subgraph G V induced by V has the following cyclic property: the only oriented edges of G V begin in V i and end in V i−1 for some 0 ≤ i ≤ k − 1 where we identify V −1 and V k−1 .
Such ideal substructures are schematically illustrated in Figure 2 for k = 3 and k = 4. Our approach to this problem is to construct an unoriented graph G = (V, E) with a k-cyclic signature s from a given partially oriented graph This construction to transform a connected partially oriented graph G is set up in such a way that the signature is balanced if and only if G has the above ideal structure. Using the eigenfunction of the eigenvalue λ 1 ( s μ ), we apply the spectral clustering algorithm discussed in the Sect. 6.2 to find a k-subpartition V k ( V ) of some V ⊆ V with k-partiteness ratio β s μ (V k ( V )) at most the upper bound given in Cheeger's inequality. Note that the k-partiteness ratio can be viewed as a measure to quantify the quality of an approximation to the ideal case which is achieved if and only if β s μ (V k ( V )) = 0. By Corollary 6.3, the k-partiteness ratio β s μ (V k ( V )) is bounded from below by the Cheeger constant h s 1 (μ). We remark that in the special situation were we start with an oriented graph, the ordered ksubpartition V 0 , V 1 , . . . , V k−1 of V approximates an ideal substructure with no edges having both endpoints in V i for some 0 ≤ i ≤ k − 1.
These considerations can clearly be extended to obtain multi-way spectral clustering algorithms. Combining the method here with the spectral clustering via metrics on lens spaces in Sect. 5, we can find n subgraphs where each subgraph defines a sparse cut and approximates an ideal substructure as described above.

Magnetic Laplacians on Riemannian manifolds
In this section, we transfer the ideas related to Cheeger constants and Cheeger inequalities from discrete magnetic Laplacians to the Riemannian setting.
Let M be a closed connected Riemannian manifold. We consider a real smooth 1-form α and the corresponding magnetic Laplacian α on M, defined as where C ∞ (M, C) is the set of smooth complex valued functions.
This result can be compared with Corollary 4.10: the set B is comparable to the set of balanced signatures in the discrete setting. Locally, we can find a smooth real-valued function θ such that τ = e iθ and α τ = dθ .
In the discrete setting, Laplacians s μ with switching equivalent signatures are unitarily equivalent by (2.11) while magnetic Laplacians α are unitarily equivalent under gauge transformations in the smooth setting. Recall that a gauge transformation is associated to any τ ∈ C ∞ (M, U (1)). We have ([47, Proposition 3.2]) τ α τ = α+α τ . (7.9) In particular, if α ∈ B, then α is unitarily equivalent to . In other words, B is the set of magnetic potentials which "can be gauged away".
Recalling the definition of the frustration index (7.10), this proves the lemma.
Similarly as in Sect. 4 for the discrete setting, we derive the following lemma from the coarea inequality, which is the continuous analogue of Lemma 4.8.
Proof First observe that there exists t such that Then the lemma follows from applying the coarea inequality and Cauchy-Schwarz inequality.
Note that the pseudometric (7.26) induced from the metric on a complex projective space played an important role in the proof.
Proof of Theorem 7.7 Applying Theorem 5.6 to (M F , d F , F(x) 2 dx), we obtain a subpartition {T i } [n] of M F , such that (i) d F (T p , T q ) ≥ 2 C 0 n 5/2 , for all p, q ∈ [n], p = q, (ii) T p F(x) 2 dx ≥ 1 2n M F(x) 2 dx, for all p ∈ [n], where C 0 is an absolute constant. Employing further Lemmas 7.6 and 7.8, the proof of the theorem can be done via the same arguments as in Sect. 5.4.