Abstract
The graph Cheeger constant and Cheeger inequalities are generalized to the case of hypergraphs whose edges have the same cardinality. In particular, it is shown that the second largest eigenvalue of the generalized normalized Laplacian is bounded both above and below by the generalized Cheeger constant, and the corresponding eigenfunctions can be used to approximate the Cheeger cut.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 Historical Note
Cheeger constants and Cheeger inequalities have a long history. The now-called Cheeger constant of a simple graph \(G=(V,E)\) was introduced in 1951 by Pólya and Szegő [23], who called it the isoperimetric constant and defined it as
where \(E(S,\bar{S})\) denotes the set of edges between S and its complement \(\bar{S}:=V\setminus S\), while the volume of S, denoted \({{\,\mathrm{vol}\,}}(S)\), is the sum of the vertex degrees in S. Finding a set S realizing the Cheeger constant means finding a small edge cut \(E(S,\bar{S})\) such that, if removed from G, it divides the graph into two disconnected components that have roughly equal volume (Fig. 1). Therefore, h measures how different G is from a disconnected graph, and it is largest for the complete graph.
The continuous analogue of h(G) was then defined by Cheeger [10] in 1970, in the context of spectral geometry, as follows. Given a compact n-dimensional manifold M, let
where \(D\subset M\) is a smooth n-submanifold with boundary \(\delta D\) and \(0<{{\,\mathrm{vol}\,}}_n(D)\le {{\,\mathrm{vol}\,}}(M)/2\). Cheeger proved that the first nonvanishing eigenvalue \(\lambda _{\min }(M)\) of the Laplace-Beltrami operator is such that
and, as shown by Buser [5] in 1978, for each compact manifold there exist Riemannian metrics for which the inequality becomes sharp. In a later work in 1982, Buser [6] also proved that, if the Ricci curvature of a compact unbordered Riemannian n-manifold M is bounded below by \(-(n-1)a^2\), for some \(a\ge 0\), then
Therefore, h(M) can be used to estimate \(\lambda _{\min }(M)\) and vice versa.
In 1984–1985, Dodziuk [12] and Alon and Milman [1] derived analogous estimates for the graph Cheeger constant and for the first nonvanishing eigenvalue of the Kirchhoff Laplacian associated to a connected graph. Similarly, in 1992, Chung [11] proved the Cheeger inequalities for the symmetric normalized Laplacian of a graph G on n nodes, that she defined as
where \({{\,\mathrm{Id}\,}}\) is the \(n\times n\) identity matrix, D(G) is the diagonal degree matrix and A(G) is the adjacency matrix of G. Chung proved that \(\mathcal {L}(G)\) has n real, nonnegative eigenvalues, denoted \(\lambda _1(G)\le \cdots \le \lambda _n(G)\), that encode many qualitative properties of G. In particular, she proved that, for a connected graph, the first two eigenvalues are such that \(\lambda _1(G)=0\) and
Therefore, as well as in the continuous case, h(G) can be used to estimate \(\lambda _2(G)\) and vice versa. Moreover, the eigenvectors corresponding to \(\lambda _2(G)\) can be used in order to approximate the Cheeger cut, as follows. An eigenvector for \(\mathcal {L}(G)\) can be seen as a function \(f:V\rightarrow \mathbb {R}\) and, if f is an eigenfunction with eigenvalue \(\lambda _2(G)\), then f must achieve both positive and negative values, and the edges between the sets
approximate the Cheeger cut. Since solving the Cheeger cut problem is NP-hard [26], while the eigenvalues and the eigenvectors of \(\mathcal {L}(G)\) can be found quickly, spectral clustering based on these results is a very common tool and have found many applications, see for instance [7, 9, 19, 25]. Citing [18] “In recent years, spectral clustering has become one of the most popular modern clustering algorithms. It is simple to implement, can be solved efficiently by standard linear algebra software, and very often outperforms traditional clustering algorithms such as the k-means algorithm”.
Note that the normalized Laplacian or random walk Laplacian
is similar to \(\mathcal {L}(G)\), therefore these two matrices have the same spectrum. Moreover, f is an eigenfunction for \(\mathcal {L}(G)\) with eigenvalue \(\lambda \) if and only if \(D^{1/2}f\) is an eigenfunction for L(G) with eigenvalue \(\lambda \). Hence, the above statements for \(\mathcal {L}(G)\) can be equivalently stated for L(G), on which we will focus throughout this paper.
1.2 Aim of this Work
The aim of this work is to generalize the graph Cheeger inequalities and Cheeger cut to the case of uniform hypergraphs. Hypergraphs are a generalization of graphs in which vertices are joined by sets of any cardinality, and a hypergraph is said to be k-uniform if all its edges have cardinality k. Hypergraphs find applications in many real networks (e.g. cellular networks [15], social networks, [27], neural networks [21], opinion formation [16], epidemic networks [4]) and a hypergraph Cheeger cut could be applied to clustering problems on such networks.
The fundamental idea used here is the following. Given a connected simple graph G, its signless normalized Laplacian is
It is such that
with the same eigenfunctions and, moreover, \(L^+(G)=L(G^+)\), where \(G^+\) is the signed graph obtained from G by letting each edge have a positive sign. Since, furthermore, \(h(G)=h(G^+)\), the Cheeger inequalities in (1) can be equivalently reformulated in terms of the second largest eigenvalue of \(L(G^+)\), as
Also, the Cheeger cut can be approximated based on the sign of a given eigenfunction of \(\lambda _{n-1}(G^+)\). We shall use this equivalent formulation of the Cheeger inequalities in order to prove a generalization for uniform hypergraphs.
In particular, given a connected, k-uniform hypergraph \(\varGamma \), we will see it as an oriented hypergraph [24] with only positive signs and we will consider the corresponding hypergraph normalized Laplacian \(L(\varGamma )\) defined in [14]. We will define a generalized Cheeger constant \(h(\varGamma )\) for \(\varGamma \) that coincides with the classical one in the particular case of graphs and we will prove, in Theorem 1 below, that
Clearly, the above inequalities generalize (2), therefore (1). Moreover, the proof will suggest that the eigenfunctions of \(\lambda _{n-1}(\varGamma )\) can be used to approximate the Cheeger cut.
1.3 Related Work
It is worth mentioning some related work that is present in literature. In [22], some Cheeger-like inequalities are shown for the smallest nonzero eigenvalue of \(L(\varGamma )\), for restricted classes of hypergraphs which satisfy either only a generalized Cheeger upper bound or only a generalized Cheeger lower bound. In [3, 8, 13, 17], Cheeger-type inequalities are shown for other operators on hypergraphs.
1.4 Structure of the Paper
In Sect. 2 we give the preliminary definitions and in Sect. 3 we present the main results. In Sect. 4 we prove the upper Cheeger inequality and in Sect. 5 we prove the lower bound.
2 Preliminary Definitions
Definition 1
[24] An oriented hypergraph is a triple \(\varGamma =(V,E,\psi _\varGamma )\) such that V is a finite set of vertices, E is a finite multiset of elements \(e\in \mathcal {P}(V)\setminus \{\emptyset \}\) called edges, while \(\psi _\varGamma :(V,E)\rightarrow \{-1,0,+1\}\) is the incidence function and it is such that
Two vertices \(i\ne j\) are co-oriented in e if \(\psi _\varGamma (v,e)=\psi _\varGamma (w,e)\ne 0\) and they are anti-oriented in e if \(\psi _\varGamma (v,e)=-\psi _\varGamma (w,e)\ne 0\).
We fix, from here on, an oriented hypergraph \(\varGamma =(V,E,\psi _\varGamma )\) on n vertices \(v_1,\ldots ,v_n\).
Definition 2
The degree of a vertex v, denoted \(\text{deg} (v)\), is the number of edges containing v. The cardinality of a edge e, denoted |e|, is the number of vertices that are contained in e. \(\varGamma \) is d-regular if \(\text{deg} (v)=d\) is constant for all \(v\in V\); it is k-uniform if \(|e|=k\) is constant for all \(e\in E\).
Remark 1
Signed graphs can be seen as 2-uniform oriented hypergraphs such that E is a set. Simple graphs can be seen as signed graphs such that, for each \(e\in E\), there exists a unique \(v\in V\) with \(\psi _\varGamma (v,e)=1\) and there exists a unique \(w\in V\) with \(\psi _\varGamma (w,e)=-1\). Classical hypergraphs (the ones we are going to consider) can be seen as oriented hypergraphs such that
Definition 3
\(\varGamma \) is connected if, for every pair of vertices \(v,w\in V\), there exists a path that connects v and w, i.e., there exist \(w_1,\cdots ,w_m\in V\) and \(e_1,\dots ,e_{m-1}\in E\) such that:
-
\(w_1=v\);
-
\(w_m=w\);
-
\(\{w_i,w_{i+1}\}\subseteq e_i\) for each \(i=1,\dots ,m-1\).
For simplicity, we shall assume that \(\varGamma \) is connected and has no vertices of degree zero. These assumptions are not restrictive, since the spectrum of a hypergraph is given by the union of the spectra of its connected components [20], while each vertex of degree zero simply produces 0 as eigenvalue [11]. We also assume that, for all \(v\in V\),
This is always true in the case of graphs and we will need this assumption in the proof of the main theorem.
Definition 4
[14] The degree matrix of \(\varGamma \) is the \(n\times n\) diagonal matrix
The adjacency matrix of \(\varGamma \) is the \(n\times n\) matrix \(A=A(\varGamma ):=(A_{ij})_{ij},\) where \(A_{ii}:=0\) for each \(i=1,\ldots ,n\) and, for \(i\ne j\),
The normalized Laplacian of \(\varGamma \) is the \(n\times n\) matrix
Remark 2
If \(\varGamma \) is a simple graph, the adjacency matrix has (0, 1)-entries while, if \(\varGamma \) is a classical hypergraph (seen as an oriented hypergraph such that the incidence function has values in \(\{0,+1\}\)), then the adjacency matrix has nonpositive entries.
From here on we shall assume that \(\varGamma \) is a k-uniform, classical hypergraph, seen as an oriented hypergraph such that the incidence function has values in \(\{0,+1\}\).
As shown in [14], L has n real, nonnegative eigenvalues, counted with multiplicity. We denote them as
Moreover, as shown in [20], since \(\varGamma \) is connected and k-uniform, \(\lambda _n=k\) and the constant functions are the corresponding eigenfunctions. By the Courant-Fischer-Weyl min-max principle (cf. [14]), the second largest eigenvalue of L can be characterized in terms of the Rayleigh quotient of a nonzero function \(f:V\rightarrow \mathbb {R}\),
In particular,
where the condition \(f\perp \mathbf {1}\) denotes the orthogonality to the constants,
derived from the fact that the eigenfunctions corresponding to \(\lambda _n\) are the constant functions (cf. [14]).
We now introduce the generalized Cheeger constant that will be used for bounding \(k-\lambda _{n-1}\).
Definition 5
Given \(S\subseteq V\), we let \(\bar{S}:=V\setminus S\), \({{\,\mathrm{vol}\,}}(S):=\sum _{v\in S} \text{deg} (v)\) and
for \(r\in \{1,\ldots ,k\}\).
Remark 3
Clearly, for each \(r\in \{1,\ldots ,r\}\), \(E_r(S)=E_{k-r}(\bar{S})\). Moreover,
and
Definition 6
Given \(\emptyset \ne S\subsetneq V\),
The Cheeger constant of \(\varGamma \) is
Remark 4
Observe that the quantity
appearing in the numerator of h(S) counts the number of pairwise connections between S and \(\bar{S}\). Furthermore, if \(\varGamma \) is a graph, then \(k=2\), \(E_1(S)\) is the set of edges between S and \(\bar{S}\), and the Cheeger constant defined above coincides with the one introduced by Pólya and Szegő.
3 Main Results
3.1 Cheeger Inequalities
Our main result is the following theorem.
Theorem 1
Let \(\varGamma \) be a connected, k-uniform hypergraph. Then,
Remark 5
Theorem 1 generalizes (2) which is, on its turn, equivalent to the classical Cheeger inequalities in (1).
We split the proof of Theorem 1 into two parts: in Sect. 4 we prove the upper bound and in Sect. 5 we prove the lower bound. Our proofs are inspired by the graph case and in particular by the proof method in [11, Lemma 2.1] for the upper bound; by the proof method in [11, Theorem 2.2] for the lower bound. However, the proofs presented here for hypergraphs are much longer and more complicated than those for graphs. Both proofs make use of the fact that the eigenfunctions corresponding to \(\lambda _{n-1}\) are orthogonal to the constants and, as we already observed, this is a consequence of the fact that \(\varGamma \) is uniform.
3.2 Cheeger Cut
The proof of Theorem 1 will also suggest that, as in the graph case, the Cheeger cut of \(\varGamma \) can be approximated by the sets
for a given eigenfunction \(f:V\rightarrow \mathbb {R}\) of \(\lambda _{n-1}\). This gives a generalized method of spectral clustering for uniform hypergraphs.
Example 1
Let \(\varGamma \) be the hypergraph in Fig. 2, with vertex set \(V=\{v_1,\ldots ,v_6\}\) and edge set \(E=\{e_1,e_2,e_3\}\) such that:
-
\(e_1=\{v_1,v_2,v_3\}\);
-
\(e_2=\{v_3,v_4,v_5\}\);
-
\(e_3=\{v_4,v_5,v_6\}\).
Then, \( D=\text {diag}(1,1,2,2,2,1)\),
and
One can check that \(\lambda _{n-1}=\frac{3+\sqrt{3}}{2}\) and a corresponding eigenfunction is
Using f for approximating the Cheeger cut gives
as one would expect.
3.3 Key Idea
As we argued in Sect. 1, the key idea used in this paper is to first reformulate the graph Cheeger inequalities in terms of the signless normalized Laplacian and then generalize them for the second largest eigenvalue of the hypergraph normalized Laplacian. The first step is fundamental. In [22], for instance, an attempt to formulate generalized Cheeger inequalities in terms of the first nonzero eigenvalue of the hypergraph normalized Laplacian was made, but it led to generalizations for restricted classes of hypergraphs, either only for the Cheeger upper bound or only for the Cheeger lower bound. The reason is that the properties of the smallest eigenvalues of the graph Laplacian are preserved, in the general case, by the largest eigenvalues of the Laplacian.
This change of point of view can allow us also to generalize, to the case of uniform hypergraphs, the fact that the multiplicity of 0 for L counts the number of connected components of a simple graph [11]. In terms of the signless Laplacian, this is equivalent to saying that the multiplicity of 2 for \(L^+\) counts the number of connected components of a simple graph and, on its turn, this is equivalent to saying that the multiplicity of 2 of L equals the number of connected components in the case of a signed graph in which each edge has a positive sign. While this property cannot be generalized for hypergraphs in terms of the multiplicity of 0 (cf. [14]), it can be generalized in terms of the multiplicity of \(\lambda _n\), as follows.
Theorem 2
If \(\varGamma \) is a k-uniform hypergraph, then the multiplicity of k equals the number of connected components of \(\varGamma \).
Proof
It follows from the fact that, as shown in [20], a connected k-uniform hypergraph has eigenvalue \(\lambda _n=k\) and the corresponding eigenfunctions are exactly the constant functions. \(\square \)
3.4 Vertex Cut for Regular Hypergraphs
Given a hypergraph \(\varGamma =(V,E)\) on n nodes \(v_1,\ldots ,v_n\) and m edges \(e_1,\ldots ,e_m\), its dual hypergraph is \(\varGamma ^*:=(V^*,E^*)\), where:
-
\(V^*:=\{v_1^*,\ldots ,v_m^*\}\);
-
\(E^*:=\{e_1^*,\ldots ,e_n^*\}\);
-
\(v_j^*\in e_j^*\) in \(\varGamma ^*\) if and only if \(v_i\in e_j\) in \(\varGamma \).
Therefore, the vertices of \(\varGamma \) correspond to the edges of \(\varGamma ^*\) and vice versa. In particular, if \(\varGamma \) is d-regular, then \(\varGamma ^*\) is d-uniform. In this case, we can apply Theorem 1 to \(\varGamma ^*\) and the edge cut on \(\varGamma ^*\) can be translated into a vertex cut on \(\varGamma \), as follows.
Definition 7
Let \(\varGamma =(V,E)\) be a d-regular hypergraph. Given \(\emptyset \ne F\subsetneq E\), let \(\bar{F}:=E\setminus F\), \({{\,\mathrm{vol}\,}}(F):=\sum _{e\in F}|e|\) and
for \(r\in \{1,\ldots ,d\}\). Let also
The vertex Cheeger constant of \(\varGamma \) is
Corollary 1
Let \(\varGamma \) be a connected, d-regular hypergraph. Then,
Proof
It follows from Theorem 1 applied to \(\varGamma ^*\).
In particular, using the signs of an eigenfunction of \(\lambda _{m-1}(\varGamma ^*)\), one can give an edge cut for \(\varGamma ^*\) corresponding to a vertex cut for \(\varGamma \).
3.5 Bipartite Uniform Hypergraphs
For future directions, it will be interesting to see whether the results presented here could be extended to classical hypergraphs that are not necessarily uniform and, more generally, to oriented hypergraphs. We can already say something for bipartite hypergraphs: oriented hypergraphs whose vertex set can be partitioned into two disjoint subsets as \(V=V_1\sqcup V_2\), such that each edge contain all its positive incidences in \(V_1\) and all its negative incidences in \(V_2\), or vice versa. Bipartite hypergraphs generalize bipartite graphs and, as shown in [2], a bipartite hypergraph \(\varGamma =(V,E,\psi _\varGamma )\) has the same spectrum as \(\varGamma ^+:=(V,E,\psi _{\varGamma ^+})\), where \(\psi ^+\) is such that
This implies that the Cheeger inequalities in Theorem 1 also hold for bipartite k-uniform hypergraphs. However, since the eigenfunctions of \(\varGamma \) and \(\varGamma ^+\) differ by changes of signs, in this case we cannot approximate the Cheeger cut by
for a given eigenfunction \(f:V\rightarrow \mathbb {R}\) of \(\lambda _{n-1}\).
4 Proof of the Upper Bound
Theorem 3
Let \(\varGamma \) be a connected, k-uniform hypergraph. Then,
Proof
Let \(\emptyset \ne S\subsetneq V\) be such that \(h=h(S)=h(\bar{S})\), and assume, without loss of generality, that \({{\,\mathrm{vol}\,}}(S)\le {{\,\mathrm{vol}\,}}(\bar{S})\). Let
and let f be a function on V defined by
By construction of f, \(\sum _{v\in V} \text{deg} (v) f(v)=0\), that is, f is orthogonal to the constants. Thus, by (4),
Now, observe that
and we have that
Therefore, by putting everything together,
Now, since \({{\,\mathrm{vol}\,}}(\bar{S})=\sum _{r=1}^k|E_r(\bar{S})|r\),
Hence,
The claim follows. \(\square \)
5 Proof of the Lower Bound
Theorem 4
Let \(\varGamma \) be a connected, k-uniform hypergraph. Then,
Proof
We follow and generalize the proof method of [11, Theorem 2.2].
Let f be an eigenfunction for L with eigenvalue \(\lambda _{n-1}\). Without loss of generality, we relabel the vertices so that
Let \(S_i:=\{v_1,\ldots ,v_i\}\) and let
Since we are assuming (3), t is well defined. Now, since f is orthogonal to the constants, \(\sum _{v\in V}f(v) \text{deg} (v)=0\). Hence,
This implies that
Now, for \(v\in V\), let
and let
Then,
similarly
and, by (5),
Moreover,
To see this, observe first that, for each \(e\in E\),
In going from the third to the fourth line, we used the fact that, by definition of f,
This can be seen in more detail by considering the following three cases.
-
Case 1:
$$\begin{aligned} f(v)+f(v_t)\ge 0 \text { and }f(w)+f(v_t)\ge 0. \end{aligned}$$In this case, by definition of f,
$$\begin{aligned} f_+(v)f_+(w)+f_-(v)f_-(w)= f_+(v)f_+(w)= \biggl (f(v)+f(v_t)\biggr )\biggl (f(w)+f(v_t)\biggr ). \end{aligned}$$ -
Case 2:
$$\begin{aligned} f(v)+f(v_t)\le 0 \text { and }f(w)+f(v_t)\le 0. \end{aligned}$$In this case, by definition of f,
$$\begin{aligned} f_+(v)f_+(w)+f_-(v)f_-(w)= f_-(v)f_-(w)= \biggl |f(v)+f(v_t)\biggr |\cdot \biggl |f(w)+f(v_t)\biggr |. \end{aligned}$$ -
Case 3:
$$\begin{aligned} f(v)+f(v_t)\ge 0 \text { and }f(w)+f(v_t)\le 0, \text { or vice versa}. \end{aligned}$$In this case, by definition of f,
$$\begin{aligned} f_+(v)f_+(w)+f_-(v)f_-(w)=0, \end{aligned}$$while
$$\begin{aligned} \biggl (f(v)+f(v_t)\biggr )\biggl (f(w)+f(v_t)\biggr )\le 0. \end{aligned}$$
This proves (8). Therefore,
Hence,
This proves (7). By putting everything together,
since
Now assume, without loss of generality, that \({{\,\mathrm{RQ}\,}}(f_+)\ge {{\,\mathrm{RQ}\,}}(f_-)\). Then,
Now, by the orthogonality to the constants and since \({{\,\mathrm{vol}\,}}(V)=\sum _{v\in V} \text{deg} (v)=|E|k\),
Hence, by letting E(v, w) denote the set of edges that contain both v and w,
using the inequality \( \bigl (f_+(v)+f_+(w)\bigr )^2 \le 2 \bigl (f_+(v)^2+f_+(w)^2\bigr )\) in the denominator.Now, by the Cauchy–Schwarz inequality, the numerator in the last line is such that
Hence,
Now,
It follows that
Now, for each \(i=1,\ldots ,n-1\), we let
so that
Then,
where in the last line we have used the assumption (3). Putting everything together,
\(\square \)
References
Alon, N., Milman, V.: \(\lambda _1\), isoperimetric inequalities for graphs, and superconcentrators. J. Combin. Theory B 38, 73–88 (1985)
Andreotti, E., Mulas, R.: Spectra of Signless Normalized Laplace Operators for Hypergraphs. arXiv:2005.14484
Banerjee, A.: On the spectrum of hypergraphs. Linear Algebra Appl. (2020). https://doi.org/10.1016/j.laa.2020.01.012
Bodó, Á., Katona, G., Simon, P.: SIS epidemic propagation on hypergraphs. Bull. Math. Biol. 78(4), 713–735 (2016)
Buser, P.: On Cheeger’s Inequality \(\lambda _1\ge h^2/4\). In: Geometry of the Laplace operator. Proceedings of Symposia in Pure Mathematics, Vol,. 6, pp. 29–77 (1980)
Buser, P.: A note on the isoperimetric constant. Ann. Sci. Ecol. Normal. Sup. Ser. IV 15(2), 213–230 (1982)
Castro, A.C., Pelletier, B., Pudlo, P.: The normalized graph cut and cheeger constant: from discrete to continuous. Adv. Appl. Prob. 44(4), 907–93 (2012)
Chan, T., Louis, A., Tang, Z., Zhang, C.: Spectral properties of hypergraph Laplacian and approximation algorithms. J. ACM (2018). https://doi.org/10.1145/3178123
Chang, K., Shao, S., Zhang, D.: The 1-laplacian cheeger cut: theory and algorithms. J. Comput. Math. 33(5), 443–467 (2015)
Cheeger, J.: A lower bound for the smallest eigenvalue of the Laplacian. In: Problems in Analysis, pp. 195–199. Princeton University Press (1970)
Chung, F.: Spectral graph theory. American Mathematical Society, New York (1997)
Dodziuk, J.: Difference equations, isoperimetric inequality and transience of certain random walks. Trans. Am. Math. Soc. 284(2), 787–794 (1984)
Ikeda, M., Miyauchi, A., Takai, Y., Yoshida, Y.: Finding Cheeger Cuts in Hypergraphs via Heat Equation. arXiv:1809.04396
Jost, J., Mulas, R.: Hypergraph Laplace operators for chemical reaction networks. Adv. Math. 351, 870–896 (2019)
Klamt, S., Haus, U., Theis, F.: Hypergraphs and cellular networks. PLoS Comp. Biol. 5(5), e1000385 (2009)
Lanchier, N., Neufer, J.: Stochastic dynamics on hypergraphs and the spatial majority rule model. J. Stat. Phys. 151(1), 21–45 (2013)
Li, P., Milenkovic, O.: Submodular hypergraphs: p-laplacians, cheeger inequalities and spectral clustering. In: Proceedings of the 35th International Conference on Machine Learning, PMLR, Vol. 80, pp. 3014–3023 (2018)
von Luxburg, U.: A tutorial on spectral clustering. Stat. Comput. 17(4), 395–416 (2007)
von Luxburg, U., Belkin, M., Bousquet, O.: Consistency of spectral clustering. Ann. Stat. 36(2), 555–586 (2008). https://doi.org/10.1214/009053607000000640
Mulas, R.: Sharp bounds for the largest eigenvalue of the normalized hypergraph Laplace Operator. Math. Notes (2021) (to appear)
Mulas, R., Tran, N.: Minimal embedding dimensions of connected neural codes. Algebraic Stat. 11(1), 99–106 (2020)
Mulas, R., Zhang, D.: Spectral theory of Laplace Operators on oriented hypergraphs. Discrete Math. 344(6), 112372 (2021). https://doi.org/10.1016/j.disc.2021.112372
Pólya, G., Szegő, S.: Isoperimetric inequalities in mathematical physics. In: Annals of Mathematical Studies, Vol. 27. Princeton University Press, Princeton (1951)
Reff, N., Rusnak, L.: An oriented hypergraphic approach to algebraic graph theory. Linear Algebra Appl. 437, 2262–2270 (2012)
Spielman, D., Teng, S.H.: Spectral partitioning works: planar graphs and finite element meshes. Linear Algebra Appl. 421, 284–305 (2007)
Szlam, A., Bresson, X.: Total variation and Cheeger cuts. In: Proceedings of the 27th International Conference on International Conference on Machine Learning, ICML’10, pp. 1039–1046. Omnipress, Madison, WI (2010)
Zhang, Z., Liu, C.: A hypergraph model of social tagging networks. J. Stat. Mech. 2010(10), P10005 (2010)
Acknowledgements
The author would like to thank the anonymous referees for valuable suggestions, and Jürgen Jost (Max Planck Institute for Mathematics in the Sciences) for every time he told her not to be pessimistic about a possible generalization of the Cheeger inequalities to the case of hypergraphs.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author declares that she has no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This work was supported by The Alan Turing Institute under the EPSRC grant EP/N510129/1.
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
Mulas, R. A Cheeger Cut for Uniform Hypergraphs. Graphs and Combinatorics 37, 2265–2286 (2021). https://doi.org/10.1007/s00373-021-02348-z
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00373-021-02348-z