-
A note on non-regular Bonnet-Myers Sharp Graphs
Authors:
David Cushing,
Adam J. Stone
Abstract:
Self-centred regular graphs which are Ollivier-Ricci Bonnet-Myers sharp have been completely classified. When the conditions of self-centeredness and regularity are removed it is an open problem on what the classification is. We present a complete classification of Bonnet-Myers sharp graphs with a diameter 2 and show that there exists Bonnet-Myers sharp graphs of diameter 3, 4 and 6 that belong to…
▽ More
Self-centred regular graphs which are Ollivier-Ricci Bonnet-Myers sharp have been completely classified. When the conditions of self-centeredness and regularity are removed it is an open problem on what the classification is. We present a complete classification of Bonnet-Myers sharp graphs with a diameter 2 and show that there exists Bonnet-Myers sharp graphs of diameter 3, 4 and 6 that belong to a family of graphs called symmetrical antitees.
△ Less
Submitted 7 May, 2024;
originally announced May 2024.
-
A note on Steinerberger's curvature for graphs
Authors:
David Cushing,
Supanat Kamtue,
Erin Law,
Shi** Liu,
Florentin Münch,
Norbert Peyerimhoff
Abstract:
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 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.
△ Less
Submitted 27 April, 2024;
originally announced April 2024.
-
Bakry-Émery and Ollivier Ricci Curvature of Cayley Graphs
Authors:
David Cushing,
Supanat Kamtue,
Riikka Kangaslampi,
Shi** Liu,
Florentin Münch,
Norbert Peyerimhoff
Abstract:
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…
▽ More
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.
△ Less
Submitted 24 October, 2023;
originally announced October 2023.
-
Applying constraint programming to minimal lottery designs
Authors:
David Cushing,
David I. Stewart
Abstract:
We develop and deploy a set of constraints for the purpose of calculating minimal sizes of lottery designs. Specifically, we find the minimum number of tickets of size six which are needed to match at least two balls on any draw of size six, whenever there are at most 70 balls.
We develop and deploy a set of constraints for the purpose of calculating minimal sizes of lottery designs. Specifically, we find the minimum number of tickets of size six which are needed to match at least two balls on any draw of size six, whenever there are at most 70 balls.
△ Less
Submitted 17 June, 2024; v1 submitted 23 July, 2023;
originally announced July 2023.
-
Bakry-Émery curvature sharpness and curvature flow in finite weighted graphs. II. Implementation
Authors:
David Cushing,
Supanat Kamtue,
Shi** Liu,
Florentin Münch,
Norbert Peyerimhoff,
Ben Snodgrass
Abstract:
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,…
▽ More
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.
△ Less
Submitted 23 December, 2022;
originally announced December 2022.
-
A Prolog assisted search for new simple Lie algebras
Authors:
David Cushing,
George W. Stagg,
David I. Stewart
Abstract:
We describe some recent computer investigations with the `Constraint Logic Programming over Finite Domains' -- CLP(FD) -- library in the Prolog programming environment to search for new simple Lie algebras over the field $\GF(2)$ of $2$ elements. Motivated by a paper of Grishkov et. al., we specifically look for those with a `thin decomposition', and we settle one of their conjectures. We extrapol…
▽ More
We describe some recent computer investigations with the `Constraint Logic Programming over Finite Domains' -- CLP(FD) -- library in the Prolog programming environment to search for new simple Lie algebras over the field $\GF(2)$ of $2$ elements. Motivated by a paper of Grishkov et. al., we specifically look for those with a `thin decomposition', and we settle one of their conjectures. We extrapolate from our results the existence of two new infinite families of simple Lie algebras, in addition to finding seven new sporadic examples in dimension $31$. We also better contextualise some previously discovered simple algebras, putting them into families which do not seem to have ever appeared in the literature, and give an updated table of those currently known.
△ Less
Submitted 15 January, 2023; v1 submitted 3 July, 2022;
originally announced July 2022.
-
Bakry-Émery curvature sharpness and curvature flow in finite weighted graphs. I. Theory
Authors:
David Cushing,
Supanat Kamtue,
Shi** Liu,
Florentin Münch,
Norbert Peyerimhoff,
Hugo Benedict Snodgrass
Abstract:
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 revers…
▽ More
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.
△ Less
Submitted 26 December, 2022; v1 submitted 21 April, 2022;
originally announced April 2022.
-
Bakry-Émery curvature on graphs as an eigenvalue problem
Authors:
David Cushing,
Supanat Kamtue,
Shi** Liu,
Norbert Peyerimhoff
Abstract:
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 i…
▽ More
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.
△ Less
Submitted 25 January, 2022; v1 submitted 17 February, 2021;
originally announced February 2021.
-
Curvatures, graph products and Ricci flatness
Authors:
David Cushing,
Supanat Kamtue,
Riikka Kangaslampi,
Shi** Liu,
Norbert Peyerimhoff
Abstract:
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…
▽ More
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.
△ Less
Submitted 25 September, 2019;
originally announced September 2019.
-
Quartic graphs which are Bakry-Émery curvature sharp
Authors:
David Cushing,
Supanat Kamtue,
Norbert Peyerimhoff,
Leyna Watson May
Abstract:
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 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.
△ Less
Submitted 27 February, 2019;
originally announced February 2019.
-
Rigidity of the Bonnet-Myers inequality for graphs with respect to Ollivier Ricci curvature
Authors:
David Cushing,
Supanat Kamtue,
Jack Koolen,
Shi** Liu,
Florentin Münch,
Norbert Peyerimhoff
Abstract:
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.…
▽ More
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.
△ Less
Submitted 6 July, 2018;
originally announced July 2018.
-
Ricci-flat cubic graphs with girth five
Authors:
David Cushing,
Riikka Kangaslampi,
Yong Lin,
Shi** Liu,
Linyuan Lu,
Shing-Tung Yau
Abstract:
We classify all connected, simple, 3-regular graphs with girth at least 5 that are Ricci-flat. We use the definition of Ricci curvature on graphs given in Lin-Lu-Yau, Tohoku Math., 2011, which is a variation of Ollivier, J. Funct. Anal., 2009. A graph is Ricci-flat, if it has vanishing Ricci curvature on all edges. We show, that the only Ricci-flat cubic graphs with girth at least 5 are the Peters…
▽ More
We classify all connected, simple, 3-regular graphs with girth at least 5 that are Ricci-flat. We use the definition of Ricci curvature on graphs given in Lin-Lu-Yau, Tohoku Math., 2011, which is a variation of Ollivier, J. Funct. Anal., 2009. A graph is Ricci-flat, if it has vanishing Ricci curvature on all edges. We show, that the only Ricci-flat cubic graphs with girth at least 5 are the Petersen graph, the Triplex and the dodecahedral graph. This will correct the classification in Lin-Lu-Yau, Comm. Anal. Geom., 2014, that misses the Triplex.
△ Less
Submitted 8 February, 2018;
originally announced February 2018.
-
Erratum for Ricci-flat graphs with girth at least five
Authors:
David Cushing,
Riikka Kangaslampi,
Yong Lin,
Shi** Liu,
Linyuan Lu,
Shing-Tung Yau
Abstract:
This erratum will correct the classification of Theorem 1 in Lin-Lu-Yau, Comm. Anal. Geom., 2014, that misses the Triplex graph.
This erratum will correct the classification of Theorem 1 in Lin-Lu-Yau, Comm. Anal. Geom., 2014, that misses the Triplex graph.
△ Less
Submitted 8 May, 2019; v1 submitted 8 February, 2018;
originally announced February 2018.
-
Long scale Ollivier-Ricci curvature of graphs
Authors:
David Cushing,
Supanat Kamtue
Abstract:
We study the long scale Ollivier-Ricci curvature of graphs as a function of the chosen idleness. As in the previous work on the short scale, we show that this idleness function is concave and piecewise linear with at most $3$ linear parts. We provide bounds on the length of the first and last linear pieces. We also study the long scale curvature inside the Cartesian product of two regular graphs.
We study the long scale Ollivier-Ricci curvature of graphs as a function of the chosen idleness. As in the previous work on the short scale, we show that this idleness function is concave and piecewise linear with at most $3$ linear parts. We provide bounds on the length of the first and last linear pieces. We also study the long scale curvature inside the Cartesian product of two regular graphs.
△ Less
Submitted 30 January, 2018;
originally announced January 2018.
-
Curvature calculations for antitrees
Authors:
David Cushing,
Shi** Liu,
Florentin Münch,
Norbert Peyerimhoff
Abstract:
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 analogu…
▽ More
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.
△ Less
Submitted 29 January, 2018;
originally announced January 2018.
-
The Graph Curvature Calculator and the curvatures of cubic graphs
Authors:
David Cushing,
Riikka Kangaslampi,
Valtteri Lipiäinen,
Shi** Liu,
George William Stagg
Abstract:
We classify all cubic graphs with either non-negative Ollivier-Ricci curvature or non-negative Bakry-Émery curvature everywhere. We show in both curvature notions that the non-negatively curved graphs are the prism graphs and the Möbius ladders. We also highlight an online tool for calculating the curvature of graphs under several variants of these curvature notions that we use in the classificati…
▽ More
We classify all cubic graphs with either non-negative Ollivier-Ricci curvature or non-negative Bakry-Émery curvature everywhere. We show in both curvature notions that the non-negatively curved graphs are the prism graphs and the Möbius ladders. We also highlight an online tool for calculating the curvature of graphs under several variants of these curvature notions that we use in the classification. As a consequence of the classification result we show, that non-negatively curved cubic expanders do not exist.
△ Less
Submitted 22 December, 2017; v1 submitted 8 December, 2017;
originally announced December 2017.
-
Ollivier-Ricci idleness functions of graphs
Authors:
David Bourne,
David Cushing,
Shi** Liu,
Florentin Münch,
Norbert Peyerimhoff
Abstract:
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 funct…
▽ More
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.
△ Less
Submitted 4 July, 2017; v1 submitted 14 April, 2017;
originally announced April 2017.
-
The additive structure of the squares inside rings
Authors:
David Cushing,
G. W. Stagg
Abstract:
When defining the amount of additive structure on a set it is often convenient to consider certain sumsets; Calculating the cardinality of these sumsets can elucidate the set's underlying structure. We begin by investigating finite sets of perfect squares and associated sumsets. We reveal how arithmetic progressions efficiently reduce the cardinality of sumsets and provide estimates for the minimu…
▽ More
When defining the amount of additive structure on a set it is often convenient to consider certain sumsets; Calculating the cardinality of these sumsets can elucidate the set's underlying structure. We begin by investigating finite sets of perfect squares and associated sumsets. We reveal how arithmetic progressions efficiently reduce the cardinality of sumsets and provide estimates for the minimum size, taking advantage of the additive structure that arithmetic progressions provide. We then generalise the problem to arbitrary rings and achieve satisfactory estimates for the case of squares in finite fields of prime order. Finally, for sufficiently small finite fields we computationally calculate the minimum for all prime orders.
△ Less
Submitted 4 November, 2016;
originally announced November 2016.
-
Powerful numbers and the ABC-conjecture
Authors:
David Cushing,
James Elrded Pascoe
Abstract:
The $abc$ conjecture is a very deep concept in number theory with wide application to many areas of number theory. In this article we introduce the conjecture and give examples of its applications. In particular we apply the $abc$ conjecture to the location of powerful numbers.
The $abc$ conjecture is a very deep concept in number theory with wide application to many areas of number theory. In this article we introduce the conjecture and give examples of its applications. In particular we apply the $abc$ conjecture to the location of powerful numbers.
△ Less
Submitted 3 November, 2016;
originally announced November 2016.
-
Bakry-Émery curvature functions of graphs
Authors:
David Cushing,
Shi** Liu,
Norbert Peyerimhoff
Abstract:
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…
▽ More
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.
△ Less
Submitted 15 August, 2017; v1 submitted 5 June, 2016;
originally announced June 2016.
-
Free functions with symmetry
Authors:
David Cushing,
J. E. Pascoe,
Ryan Tully-Doyle
Abstract:
In 1936, Margarete C. Wolf showed that the ring of symmetric free polynomials in two or more variables is isomorphic to the ring of free polynomials in infinitely many variables. We show that Wolf's theorem is a special case of a general theory of the ring of invariant free polynomials: every ring of invariant free polynomials is isomorphic to a free polynomial ring. Furthermore, we show that this…
▽ More
In 1936, Margarete C. Wolf showed that the ring of symmetric free polynomials in two or more variables is isomorphic to the ring of free polynomials in infinitely many variables. We show that Wolf's theorem is a special case of a general theory of the ring of invariant free polynomials: every ring of invariant free polynomials is isomorphic to a free polynomial ring. Furthermore, we show that this isomorphism extends to the free functional calculus as a norm-preserving isomorphism of function spaces on a domain known as the row ball. We give explicit constructions of the ring of invariant free polynomials in terms of representation theory and develop a rudimentary theory of their structures. Specifically, we obtain a generating function for the number of basis elements of a given degree and explicit formulas for good bases in the abelian case.
△ Less
Submitted 5 September, 2014;
originally announced September 2014.
-
Projectivity of Banach and $C^*$-algebras of continuous fields
Authors:
David Cushing,
Zinaida A. Lykova
Abstract:
We give necessary and sufficient conditions for the left projectivity and biprojectivity of Banach algebras defined by locally trivial continuous fields of Banach algebras. We identify projective $C^*$-algebras $\A$ defined by locally trivial continuous fields $\mathcal{U} = \{Ω,(A_t)_{t \in Ω},Θ\}$ such that each $C^*$-algebra $ A_{t}$ has a strictly positive element. For a commutative $C^*$-alge…
▽ More
We give necessary and sufficient conditions for the left projectivity and biprojectivity of Banach algebras defined by locally trivial continuous fields of Banach algebras. We identify projective $C^*$-algebras $\A$ defined by locally trivial continuous fields $\mathcal{U} = \{Ω,(A_t)_{t \in Ω},Θ\}$ such that each $C^*$-algebra $ A_{t}$ has a strictly positive element. For a commutative $C^*$-algebra $\D$ contained in ${\cal B}(H)$, where $H$ is a separable Hilbert space, we show that the condition of left projectivity of $\D$ is equivalent to the existence of a strictly positive element in $\D$ and so to the spectrum of $\D$ being a Lindel$\ddot{\rm o}$f space.
△ Less
Submitted 26 April, 2011;
originally announced April 2011.