arXiv++ Combinatorics

In this paper, we introduce a magneto-spectral invariant for finite graphs. This invariant vanishes on trees and is maximized by complete graphs. We compute this invariant for cycles, complete graphs, wheel graphs, hypercubes, complete bipartite graphs and suspensions of trees and derive various lower and upper bounds. In particular, we provide a sharp upper bound for regular bipartite graphs and derive a direct relation between the class of graphs assuming this upper bound and the class of unit weighing matrices, which are generalizations of complex Hadamard matrices. Moreover, this class of bipartite graphs has non-negative magnetic Bakry-Émery curvature and is preserved under both the Cartesian product and a partial tensor product for bipartite graphs. The study of our invariant for certain pairs of cospectral graphs indicates also that this invariant allows us to distinguish between them. Finally, we discuss the behaviour of this invariant under various graph operations and investigate relations to the spectral gap.

We present a relation between volumes of certain lower dimensional simplices associated to a full-dimensional primal and polar dual polytope in R^k. We then discuss an application of this relation to a geometric construction of a Colin de Verdiere matrix by Ivan Izmestiev. In the second part of the paper, we introduce a variation of vertex transitive polytopes, translate their associated Colin de Verdiere matrices into random walk matrices, and investigate extremality properties of the spectral gaps of these random walk matrices in two concrete examples - permutahedra of Coxeter groups and polytopes associated to the pure rotational tetrahedral group - where maximal spectral gaps correspond to equilateral polytopes.

In this note, we provide Steinerberger curvature formulas for block graphs, discuss curvature relations between two graphs and the graph obtained by connecting them via a bridge, and show that self-centered Bonnet-Myers sharp graphs are precisely those which are antipodal. We also discuss similarities and differences between Steinerberger and Ollivier Ricci curvature results.

In this paper, we propose a generalization of Bakry-Émery's calculus which allows us to formulate both Bakry-Émery and entropic curvature simultaneously. This formulation represents both curvatures as an integral of the Bochner formula against some measure. This leads to a natural optimality criterion of measures, which we investigate in the Bakry-Émery setting. Moreover, our approach leads also to a dimension parameter in the framework of entropic curvature. We also present gradient estimate applications, that is, diameter estimates for Markov chains with strictly positive entropic curvature and a spectral gap estimate. The latter implies non-existence of non-negatively curved expanders.

In this article we study two discrete curvature notions, Bakry-Émery curvature and Ollivier Ricci curvature, on Cayley graphs. We introduce Right Angled Artin-Coxeter Hybrids (RAACHs) generalizing Right Angled Artin and Coxeter groups (RAAGs and RACGs) and derive the curvatures of Cayley graphs of certain RAACHs. Moreover, we show for general finitely presented groups $Γ= \langle S \, \mid\, R \rangle$ that addition of relators does not lead to a decrease the weighted curvatures of their Cayley graphs with adapted weighting schemes.

In this second part of a sequence of two papers, we discuss the implementation of a curvature flow on weighted graphs based on the Bakry-Émery calculus. This flow can be adapted to preserve the Markovian property and its limits as time goes to infinity turn out to be curvature sharp weighted graphs. After reviewing some of the main results of the first paper concerned with the theoretical aspects, we present various examples (random graphs, paths, cycles, complete graphs, wedge sums and Cartesian products of complete graphs, hypercubes) and exhibit further properties of this flow. One particular aspect in our investigations is asymptotic stability and instability of curvature flow equilibria. The paper ends with a description of the available Python functions and routines available in the ancillary file. We hope that the explanations of the Python implementation via examples will help users to carry out their own curvature flow experiments.

In this sequence of two papers, we introduce a curvature flow on (mixed) weighted graphs which is based on the Bakry-Émery calculus. The flow is described via a time-continuous evolution through the weighting schemes. By adapting this flow to preserve the Markovian property, its limits turn out to be curvature sharp. Our aim is to present the flow in the most general case of not necessarily reversible random walks allowing laziness, including vanishing transition probabilities along some edges ("degenerate" edges). This approach requires to extend all concepts (in particular, the Bakry-Émery curvature related notions) to this general case and it leads to a distinction between the underlying topology (a mixed combinatorial graph) and the weighting scheme (given by transition rates). We present various results about curvature sharp vertices and weighted graphs as well as some fundamental properties of this new curvature flow. This paper is accompanied by a second paper discussing the curvature flow implementation in Python for practical use. In this second paper we present examples and exhibit further properties of the flow.

In this paper, we reformulate the Bakry-Émery curvature on a weighted graph in terms of the smallest eigenvalue of a rank one perturbation of the so-called curvature matrix using Schur complement. This new viewpoint allows us to show various curvature function properties in a very conceptual way. We show that the curvature, as a function of the dimension parameter, is analytic, strictly monotone increasing and strictly concave until a certain threshold after which the function is constant. Furthermore, we derive the curvature of the Cartesian product using the crucial observation that the curvature matrix of the product is the direct sum of each component. Our approach of the curvature functions of graphs can be employed to establish analogous results for the curvature functions of weighted Riemannian manifolds. Moreover, as an application, we confirm a conjecture (in a general weighted case) of the fact that the curvature does not decrease under certain graph modifications.

In this paper, we compare Ollivier Ricci curvature and Bakry-Émery curvature notions on combinatorial graphs and discuss connections to various types of Ricci flatness. We show that non-negativity of Ollivier Ricci curvature implies non-negativity of Bakry-Émery curvature under triangle-freeness and an additional in-degree condition. We also provide examples that both conditions of this result are necessary. We investigate relations to graph products and show that Ricci flatness is preserved under all natural products. While non-negativity of both curvatures are preserved under Cartesian products, we show that in the case of strong products, non-negativity of Ollivier Ricci curvature is only preserved for horizontal and vertical edges. We also prove that all distance-regular graphs of girth $4$ attain their maximal possible curvature values.

We give a classification of all connected quartic graphs which are (infinity) curvature sharp in all vertices with respect to Bakry-Émery curvature. The result is based on a computer classification by F. Gurr and L. Watson May and a combinatorial case by case investigation.

We construct a new family of trivalent expanders tessellating hyperbolic surfaces with large isometry groups. These graphs are obtained from a family of Cayley graphs of nilpotent groups via $(Δ-Y)$-transformations. We compare this family with Platonic graphs and their associated hyperbolic surfaces and see that they are generally very different with only one hyperbolic surface in the intersection. Moreover, we study combinatorial, topological and spectral properties of our trivalent graphs and their associated hyperbolic surfaces.

We introduce the notion of Bonnet-Myers and Lichnerowicz sharpness in the Ollivier Ricci curvature sense. Our main result is a classification of all self-centered Bonnet-Myers sharp graphs (hypercubes, cocktail party graphs, even-dimensional demi-cubes, Johnson graphs $J(2n,n)$, the Gosset graph and suitable Cartesian products). We also present a purely combinatorial reformulation of this result. We show that Bonnet-Myers sharpness implies Lichnerowicz sharpness. We also relate Bonnet-Myers sharpness to an upper bound of Bakry-Émery $\infty$-curvature, which motivates a generalconjecture about Bakry-Émery $\infty$-curvature.

In this article we prove that antitrees with suitable growth properties are examples of infinite graphs exhibiting strictly positive curvature in various contexts: in the normalized and non-normalized Bakry-Émery setting as well in the Ollivier-Ricci curvature case. We also show that these graphs do not have global positive lower curvature bounds, which one would expect in view of discrete analogues of the Bonnet-Myers theorem. The proofs in the different settings require different techniques.

We study the Ollivier-Ricci curvature of graphs as a function of the chosen idleness. We show that this idleness function is concave and piecewise linear with at most $3$ linear parts, with at most $2$ linear parts in the case of a regular graph. We then apply our result to show that the idleness function of the Cartesian product of two regular graphs is completely determined by the idleness functions of the factors.

We study the Bakry-Émery curvature function $\mathcal{K}_{G,x}:(0,\infty]\to \mathbb{R}$ of a vertex $x$ in a locally finite graph $G$ systematically. Here $\mathcal{K}_{G,x}(\mathcal{N})$ is defined as the optimal curvature lower bound $\mathcal{K}$ in the Bakry-Émery curvature-dimension inequality $CD(\mathcal{K},\mathcal{N})$ that $x$ satisfies. We prove the curvature functions of the Cartesian product of two graphs $G_1,G_2$ equal an abstract product of curvature functions of $G_1,G_2$. We relate the curvature functions of $G$ with various spectral properties of (weighted) graphs constructed from local structures of $G$. We explore the curvature functions of Cayley graphs, strongly regular graphs, and many particular (families of) examples including Johnson graphs and complete bipartite graphs. We construct an infinite family of $6$-regular graphs which satisfy $CD(0,\infty)$ but are not Cayley graphs.

We study the eigenvalues of the connection Laplacian on a graph with an orthogonal group or unitary group signature. We establish higher order Buser type inequalities, i.e., we provide upper bounds for eigenvalues in terms of Cheeger constants in the case of nonnegative Ricci curvature. In this process, we discuss the concepts of Cheeger type constants and a discrete Ricci curvature for connection Laplacians and study their properties systematically. The Cheeger constants are defined as mixtures of the expansion rate of the underlying graph and the frustration index of the signature. The discrete curvature, which can be computed efficiently via solving semidefinite programming problems, has a characterization by the heat semigroup for functions combined with a heat semigroup for vector fields on the graph.

We discuss a Cheeger constant as a mixture of the frustration index and the expansion rate, and prove the related Cheeger inequalities and higher order Cheeger inequalities for graph Laplacians with cyclic signatures, discrete magnetic Laplacians on finite 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 unified viewpoint of Harary's structural balance theory of signed graphs and the gauge invariance of magnetic potentials.

We study the spectra of cyclic signatures of finite graphs and the corresponding cyclic lifts. Starting from a bipartite Ramanujan graph, we prove the existence of an infinite tower of $3$-cyclic lifts, each of which is again Ramanujan.

We derive an optimal eigenvalue ratio estimate for finite weighted graphs satisfying the curvature-dimension inequality $CD(0,\infty)$. This estimate is independent of the size of the graph and provides a general method to obtain higher order spectral estimates. The operation of taking Cartesian products is shown to be an efficient way for constructing new weighted graphs satisfying $CD(0,\infty)$. We also discuss a higher order Cheeger constant ratio estimate and related topics about expanders.

We introduce a family of trivalent expanders which tessellate compact hyperbolic surfaces with large isometry groups. We compare this family with Platonic graphs and modifications of them and prove topological and spectral properties of these families.