1. In a nutshell
1.1.
is the uniform distribution on each set
, it produces the GaussBonnetChern integrand [11]. Let denote the set of graphs for which a probability measure on exists for each such thatis constant. One can also ask to minimize the variance
, where is is the average curvature. The question whether a given complex is inis a linear programming problem as it attempts to find solutions of a linear system of equations under finitely many inequality conditions which assure that the
are in the interval and that they add up to .1.2.
We prove here that trianglefree graphs are in and give examples of graphs outside . The examples outside are nonmanifold like so far as we have no examples yet of graphs outside . We furthermore note that in the dimensional connected case, the solution set of probability distributions solving the constant curvature equation is a convex set of dimension . The integer is the only relevant Betti number for onedimensional connected complexes. In particular, the solution set is unique for trees. One can then get probability distributions by considering a probability space of locally injective functions (colorings) on the graph and get the curvature as index expectation. We have explored in [13, 16] how to get the standard GaussBonnet curvature as index expectation.
1.3.
The constant curvature question can be ported to smooth compact manifolds by taking a probability space of Morse functions on and defining curvature as index expectation. We have experimented with that (see e.g. [14, 15]) as there are various natural measures which can be defined as such like taking heat kernel functions and let be the manifold itself with probability measure . An important example of a curvature is the GaussBonnetChern integrand for a compact Riemannian manifold . It is not possible to realize a metric on in general which has constant GaussBonnetChern curvature, we have not yet found a compact connected manifold that can not be equipped with constant index expectation curvature. See Question (4.1).
1.4.
Back to the discrete case, one can look at the question for graphs. These finite simple graphs which are discrete manifolds in the sense that they have the property that every unit sphere is a sphere. A sphere is then just a graph which when punctured becomes contractible. The constant curvature problem for discrete manifolds is not yet studied. It relates to the question on how fast the Euler characteristic of a graph with vertices can grow as a function of . This is of independent interest.
1.5.
We know that for general ErdoesRényi graphs in , the maximal Euler characteristic in grows exponentially along subsequences in . The reason is because the expectation value of the Euler characteristic on is explicitly given as
[10].
1.6.
But the growth for graphs (discrete manifolds) appears to be unknown: a possible super linear grow along a subsequence of would produce graphs for which the curvature can not be made constant. Formulated differently, if every discrete manifold allowed for constant curvature then the maximal Euler characteristic were only grow linearly. Let denote the maximal which a graph with elements can have. Interesting is the following question:
Question: How fast does grow for ?
2. A trade allegory
2.1.
Before we start with the actual paper, let us look at the following distribution problem for a finite network with nodes and connections . It is equivalent to the constant curvature problem we study here for onedimensional networks.
2.2.
Consider the following cost distribution problem for a finite simple graph :
Assume that each connection between two nodes costs a fixed amount . How do we distribute the cost for each transaction to the two parties and in order that the total cost of all parties is the same?
2.3.
Our result shows that one can solve the fair distribution problem in a unique way if the network is a tree and that there is a dimensional set of distribution parameters if the network has independent loops. The integer is the first Betti number of the graph.
2.4.
Now look at the case when the network also can have triangles (serving as two dimensional faces) but no complete subgraphs with vertices (these subgraphs are three dimensional tetrahedral simplices). Let be the set of triangles. The simplicial complex defined by the network now is the union of zero, one and two dimensional parts. The Euler characteristic is given by the Descartes formula . In the case of planar graphs where one can clearly extend the notion of face to other polygonal shapes, one has which was first secretly recorded by René Descartes [1] and then proven by Euler for planar graphs [26]. A period of confusion [22] followed which can be attributed to definitions of polyhedra, especially also in higher dimensions [7].
2.5.
So, lets look at a finite simple graph in which there are no complete subgraphs . We think of it again as a trading network, in which exchanging stuff over some some connection produces a fixed amount of cost. But now, each triangular clique produces a synergy as it allows to save cost. Each trade triangle produces the same positive amount of profit which needs to be distributed to the three players. The constant curvature problem is now equivalent to the following problem.
2.6.
Cost distribution problem with synergy.
Assume each connection between two nodes produces a fixed amount of cost and each triangular traderelation generates the same fixed amount of synergy. How do we split the transaction cost for each transaction to the two players and how do we split the “synergy bonus” for each triple of cooperating players so that every player has the same total?
2.7.
Now the situation is different and we can in general no more distribute things equally. Obviously, in part of the “world”, where better connections and more triangles are present, one can work more effectively. If there are other parts, where the beneficial element of the triangular synergy is missing, it is impossible to make up for the missing synergy in that part of the world.
2.8.
The fish graph displayed in Figure (2) illustrate this situation. In the main body of the fish there are triangles present which produces an obvious advantage there. In the swim fins, where no triangles are present, it is impossible to make up for the missing benefit. The lack of connectivity is a handicap which can not be fixed by locally distributing the costs more effectively. One would need a nonlocal redistributions (a development help so to speak) in order to equalize the cost. Now, since curvature should always be a local quantity, this is not possible here.
2.9.
This simple trade model for cost distribution could be made more realistic or adapted to other networks. One way is to replace the “topological cost” leading to Euler characteristic with some arbitrary cost , a quantity we interpreted as “energy” in [17]. The cost distribution problem now also depends on the value of the nodes (which in the allegory is a measure for the wealth of the player).
2.10.
In any case, the distribution problem is a linear programming problem. If there is a solution, it can be found by a simplex method. As mentioned in the last section, one can in the case where no solution exists to minimize the variance. This is now a variational problem which again has constraints given by various inequalities.
3. Introduction
3.1.
Of classical interest in Riemannian geometry are spaces of constant curvature. Especially well studied is the case of constant sectional curvature which leads to space forms [30]. One can also study constant curvature curves, and other constant curvature manifolds, where the question of course depends on what “curvature” is. As for curvature on manifolds, besides looking at sectional curvature leading to “constant curvature manifolds” one can also look at manifolds with constant Euler curvature (the curvature entering the GaussBonnetChern theorem), constant Ricci curvature (leading to Einstein manifolds), constant scalar curvature or then constant mean curvature (which leads to minimal surfaces). Motivated from physics, where curvature is associated with some sort of energy or mass, the concept of constant curvature is some sort of equilibrium situation.
3.2.
A different kind of curvature is obtained by averaging PoincaréHopf indices over a probability space of Morse functions on . The indices of Morse function are valued divisors on . They can also be seen as signed Dirac measures meaning pure point measures supported on finite sets. The usual Gauss curvature of a Riemannian manifold is an example: Nash embed into a higher dimensional Euclidean space and take the probability space of all linear functions in which is rotational invariant. One of historically earliest cases of curvature, the (solid) angle excess for convex polytopes geometrically realized in can be seen that way. For almost all linear functions on one has an index defined on the vertices of the polytop. Averaging over all linear functions gives the solid angle.
3.3.
Which manifolds allow for constant index expectation curvature? By the uniformization theorem, a manifold always allow for a constant Gauss curvature in that way. The question whether there are evendimensional manifolds which do not allow for a Riemannian metric with constant GaussBonnetChern curvature appears to be not studied so far. Maybe it is too obvious that this is in general not possible: we note that this can happen already for manifolds. But this is only given by example. We do not know for example for concrete cases like whether there exists a Riemannian metric on leading to constant GaussBonnetChern curvature.
3.4.
In comparison, as the Hopf conjectures show, it is unknown whether there is a positive curvature metric on a space like . The focus on the GaussBonnetChern integrand has been abandoned maybe because in dimension the algebraic Hopf conjecture (the question whether one achieve positive GaussBonnetChern integrand if the manifold has positive curvature) has failed: there are positive curvature 6manifolds for which the GaussBonnetChern integrand can become negative at some places. (See e.g. [29]).
3.5.
We were led to the index expectation curvature also through such algebraic questions (for us mostly in the discrete). Having many curvatures available renders the algebraic Hopf conjecture again interesting:
Question: Does every evendimensional compact connected positive curvature manifold allow for some positive curvature?
3.6.
Of course the question must be difficult as answering it affirmatively would imply the Hopf conjecture which history has shown to be difficult. The above question is intriguing because if a manifold has positive curvature then there is a positive curvature on it (namely the constant curvature we establish). An affirmative answer would show that the just formulated question does not only imply but is equivalent to the Hopf conjecture: if the Hopf conjecture holds, then we can realize a positive curvature.
3.7.
As for constant sectional curvature, we do not explore the discrete case except mentioning one simple case of graphs (discrete ddimensional manifolds in which every unit sphere is a sphere) for which all embedded wheel graphs are isomorphic (have the same number of vertices). If one defines curvature as for such a section, we have looked at positive curvature case in [21] and shown that every positive curvature graph is necessarily a sphere.
3.8.
Which finite simple graphs have constant curvature in the strong sense that all embedded wheel graphs are isomorphic? In the case only the octahedron (constant curvature on the 8 vertices) and the icosahedron (constant curvature on the 12 vertices). In the case , it follows from the classification of regular polytopes that there is only the 16cell , (where is the join), and the 600cell which have constant curvature. In dimensions , there is only the dimensional cross polytop again using the Schläfli classification of regular platonic solids in dimensions. The reason is that if has constant curvature, then every unit sphere must have constant curvature which forces the graphs to be Platonic. In other words:
Proposition 1.
For and , there are exactly two constant curvature graphs in the strong sense. For , there is a unique constant curvature graph in the strong sense: the dimensional cross polytop.
3.9.
We will weaken the constant curvature condition (the notion that all sectional curvatures are positive) elsewhere to become more realistic. It uses of course index expectation. It will allow to get discrete models of constant curvature which look like constant curvature manifolds in the continuum and which also should lead to more realistic sphere theorems in the discrete. Of course, such theorems then would need pinching conditions analogue to the continuum. The discrete case is then a play ground for analogue Hopf questions.
3.10.
Integral geometric questions [27, 28] have been studied also in combinatorial settings [9]
. It produces an alternative to tensor calculus. It allows to define classical distances for example: if a probability measure
is given on the space of linear functions on an Euclidean space in which a Riemannian manifold is embedded, then the distance of a curvecan be measured as the expectation number of the number of intersections of hyperplanes
with . This Crofton approach recovers the Riemannian metric. It is more than natural also see curvature as an expectation, an expectation of PoincaréHopf indices. And this has also been done classically for a while now [3, 25].3.11.
For manifolds, taking probability measures on Morse functions is more convenient than taking the measure on the larger space of vector fields with finitely many isolated nondegenerate equilibrium points. On the other hand, taking a probability space on functions is less convenient in the discrete and it is better to work with probability spaces of vector fields. The later leads to the frame work stated initially, where probability measures on simplices are given. The simplest setup is to distributing the curvature values from the simplices to the vertices. This can be done if each simplex is equipped with a probability space [19].
4. Constant curvature manifolds
4.1.
Let us look now at the case of smooth manifolds and ask:
Question: Does every compact connected smooth manifold admit a constant index expectation curvature? Is there is a probability space of Morse functions such that the expectation of the PoincaréHopf index divisors on is a constant function on .
4.2.
The question is not interesting in dimension because is then a circle which has constant index expectation , obtained by embedding as the standard circle in the plane and taking the probability space of all linear functions of functions equipped with the uniform measure. This space induces a space of Morse functions on .
4.3.
Now lets look at a general smooth, compact and connected manifold of dimension . Pick a Riemannian metric on (it is well known using a partition of unity that a smooth manifold can be equipped with a Riemannian metric by patching together metrics given on each chart). This defines a volume measure on . Normalize it so that it becomes a probability measure on . A theorem of BrinFeldmanKatok [24] assures that admits a smooth Bernoulli diffeomorphism with respect to such a volume measure. The automorphism on the probability space is measure theoretically conjugated to a Bernoulli system. This theorem needs that the dimension of is bigger or equal than . Pick an arbitrary Morse function on . Assume the indices of are supported on the set of critical points of in which are generic with respect to in the sense that all the orbits are uniformly distributed on (using a partition of unity it is easy to possibly modify the critical points if they would not be generic. The points which are generic in the sense of ergodic theory are a set of measure and therefore dense in (see e.g. [6, 4] for the ergodic theory part). Now define the sequence of smooth maps . Because is a diffeomorphism
, the chain rule assures that the translated functions
are all Morse. Their indices are located on the points . By ergodicity already, the point measures converge weakly to the constant function on . The question is now whether there is an accumulation point of this sequence on , where is the Dirac point measure located on . This would only work if we had a weak* compactness, but that requires a tightness preventing the measure to escape. The index expectation would then converge to a invariant constant curvature measure which because of the normalization satisfies .4.4.
Which smooth functions on satisfying can be realized as index expectation ? Lets try to realize a function which has no root and is close enough to a constant. because of compactness and connectedness of , there exists a such that and all . If we define a new measure which has higher weight somewhere, and do the above construction we have also a higher curvature value there. Let be the average curvature. Take the measure with density . Assume that this is positive everywhere. Now pick the ergodic transformation from the BrinFeldmanKatok theorem to get an index expectation .
4.5.
We can also ask which manifolds allow for constant curvature with supported on a compact subset of functions in . We expect that not all manifolds allow for such measures and that the argument is similar to the argument showing that there is no metric in general on a compact connected even dimensional manifold for which the GaussBonnetChern curvature is constant.
5. Constant curvature graphs
5.1.
Before we look at the analogue curvature question in the discrete, let us start with the question, which graphs have constant Euler curvature
where counts the number of dimensional simplices in the unit sphere of . (This curvature [11] is the analogue of the GaussBonnetChern measure in the continuum and appeared already [23]). In one dimension, connected graphs with constant curvature are regular graphs like circular graphs with , the cube graph or dodecahedron graph, the tesseract graph, the complete bipartite graphs which includes . For 2graphs, connected examples are the icosahedron graph and the octahedron graph.
Question: Can we characterize the set of connected finite simple graphs for which the EulerLevitt curvature is constant?
5.2.
The class obviously contains all graphs for which all unit spheres are isomorphic to some fixed graph . Even more generally, it contains all graphs for which the vectors of all agree. But we do not know for example, whether this is necessary nor whether this is sufficient to have constant EulerLevitt curvature.
5.3.
The question of existence of constant curvature on a graph becomes richer if curvature is formulated more broadly. We want the curvature function to be located on the vertex set and that it adds up to the Euler characteristic . We want it to be local in the sense that it only depends on the unit sphere of . We also want it to be intrinsic in the sense that it does not depend on any auxiliary space like an embedding in some Euclidean space.
5.4.
Such curvatures can be obtained by distributing the values from a simplex to the vertices in . In other words, we make each simplex a probability space and randomly distribute the “energy value” to the zerodimensional atoms of the simplex. This produces a curvature on vertices which adds up to Euler characteristic. We probably got to this simple picture of curvature in [8] and not yet in [11, 12].
5.5.
This setup is simple and assures that curvature remains local and unifies the continuum and discrete. In the continuum, it leads to the PoincaréHopf theorem if probabilities and so curvature is integervalued, meaning they are divisors. Then there is the case, where the probability measures have a uniform distribution [13, 16]. In this case, we get the curvature we are used to in the continuum like the GaussBonnetChern integrand for Riemannian manifolds.
5.6.
Let be a finite simple graph. It turns out that if is dimensional, the Euler characteristic alone determines how big the solution space of probability measures is. Let be the set of probability measures on the set of complete subgraphs of a graph, defining the curvature . Here is a first result. The proof is given later.
Theorem 1.
For a trianglefree connected graph, the set of measures producing constant curvature is a convex set of dimension . In particular, there is a unique measure for trees. There are examples of graphs with triangles for which no measure produces constant curvature.
5.7.
Integral geometry produces lots of opportunities. One important point is deformation. Both in the continuum as in the discrete, in order to deform space, we can either deform the exterior derivative which changes distances via Connes metric or then we can deform probability measures defining quantities integral geometrically. In the first case, this can be done by differential equations, in the second case, where we have a convex space of measures to play with, one can change distances or curvatures with gradient flows.
6. Curvature
6.1.
Given a finite abstract simplicial complex and a direction , where is the vertex set of , the index is the pushforward of the signed measure on which as an integervalued function can be seen as a divisor. A special case is given by the Whitney complex of a connected digraph graph without triangular cycles. In this case is the largest element on in the partial order defined by the directions. An even more special case is if is a locally injective function on and is the vertex in where is maximal. We get then the PoincaréHopf index which corresponds to PoincaréHopf indices in the continuum. See [19, 20] for more on this.
6.2.
Averaging such indices over a probability space of directions on a graph produces a curvature on . This setup is simple but it becomes on differentiable manifolds the classical PoincaréHopf theorem for vector fields or the GaussBonnetChern theorem. To see curvature as “index expectation” is an integral geometric point of view. The setup allows to bridge the continuum and the discrete because the definitions of curvature are then the same. For a differentiable manifold we can chose a probability space of Morse functions for example and declare the expectation of to be the curvature of . If the probability space is nice then is a smooth function as in differential geometry. If the probability space is the space of all linear functions on an ambient Euclidean space of a Nash embedding and the Haar induced measure is chosen on the linear functions, then is the Euler measure appearing in the GaussBonnetChern theorem.
6.3.
Getting back to combinatorics, if is a Markov process, meaning that a probability vector is given on each simplex, then the energy is distributed randomly from the simplices to the vertices, leading to a curvature . This can be abbreviated as
for the matrix which is stochastic in the sense that all column vectors of are probability vectors. GaussBonnet is , where . The columns of are probability vectors with the property that if is not in .
6.4.
If all probability distribution vectors are constant vectors and is the Whitney complex of a graph, then we get the Levitt curvature
where is the number of dimensional simplices in and is the unit sphere of . For graphs, graphs in which every unit sphere is a circular graph with or more vertices, this gives the curvature which has been known since at least a century. Historically, it appeared already in [5] and was then considered by Heesch [2].
6.5.
One can now look at positive Euler curvature graphs, which are graphs in which this particular curvature is positive. An other point of view is to take a measure on the space of locally injective functions and define graphs for which there exists with everywhere. We still have to explore for which choices of probability measures one can get a probability measure on the space of locally injective functions (colorings), such that the induced measure on is . There are obvious cases of choices of probabilies such that for the probability is not compatible with preventing a realization as a measure on functions. In the one dimensional case, where such compatibilities are not present, we can realize any choice with a measure on .
7. Constant curvature
7.1.
An even more general case if to look at connected simplicial complexes and curvatures defined by having each set equipped with a probability measure . This triggers interest in graphs which have positive Euler characteristic but which do not allow for a positive curvature. Here is a first basic question. If not stated otherwise, the simplicial complex of a graph is the Whitney complex. The measure represents a probability measure on “discrete vector fields” which here is implemented through a family of probability measures on the simplices of the graph. If the probability distributions come from a probability measure on locally injective functions on the graph, we speak of a index expectation curvature. In the onedimensional case mostly covered here, the two things are the same. Every family of probability distributions on the edge sets can be realized through a probability distribution on locally injective functions. But in general the question can be different and is unexplored.
Question: Which connected graphs allow a constant curvature? For which graphs is there a constant index expectation curvature.
7.2.
If is a constant curvature on a graph , then by GaussBonnet, it must have the value . Complexes defined as Whitney complexes of small graphs like complete graphs, cyclic graphs, star graphs, wheel graphs, Platonic solid graphs allow for constant curvature and is unique. But there are examples where constant curvature is not possible: take two graphs, where one has and the other and connect them by an edge. This produces Euler characteristic . But the Euler characteristic of the positive curvature part remains positive after joining. This is the idea behind the situation given in Figure 2. The argument works also for manifolds, but only for GaussBonnetChern curvature. We can always realize constant curvature for compact connected Riemannian manifolds.
7.3.
We expect that for most graphs, constant curvature is not possible. For every vertex , there is a bound which curvature can take on . An upper bound is the number of positive dimensional simplices containing , a lower bound is minus the number of negative dimensional simplices containing . Let be the minimal bound and let be such that the average curvature value is larger than . Large curvature ratios are frequent as one can see by looking at Euler characteristic averages on ErdoesRenyi spaces of graphs or by taking joins of graphs for which and the number of vertices add . One would have to distribute the values of the simplex curvatures to a larger neighborhood in order to get a similar result as in the continuum and get constant curvature on any graph.
7.4.
Deciding whether a graph allows positive curvature is an inverse problem for Markov processes. Given all the measures , the curvature is an equilibrium measure. The measures can be seen as column vectors in a stochastic matrix, where is the number of vertices and is the number of simplices in . The probability vectors are the columns of and we have if is not in . We want to seen whether it is possible that is constant.
8. Energized complexes
8.1.
The question can be generalized to energized complexes [17]. Let be a finite abstract simplicial complex, an energy function and total energy extending to on all sub complexes of Let assign to every simplex a probability distribution so that is a collection of finite probability distributions. Define as before the curvature . This means that the energy is distributed randomly to vertices of according to the probability measure on . Let us call an energized weighted simplicial complex.
8.2.
We can now think of a constant curvature as a type of equilibrium. The topological case is just a special case. Allowing the energy to be real or complex valued allows to think of as a wave amplitude or wave as in quantum mechanics. The question is now whether there is a way to guide the energy on every simplex so that the energy is the same on each vertex.
Question: Which energized weighted simplicial complexes allow for constant curvature?
8.3.
Even for trees, the energies can not be too far away. Lets look at the case where is the one dimensional simplex, a very simple tree with vertices and edge . Let and . Now, the total energy is and the constant curvature would have to be . We need now a such that and .
8.4.
One can make the problem more intricate by linking with . One can for example define to be the entropy of . A variant is to take . Now, the question is whether there exists a probability distribution on each simplex such that its entropy is distributed evenly. By symmetry this happens for example if is the complete complex.
8.5.
There is an other variant in which we ask the curvature to stay quantized. The RiemannRoch theorem for graphs is related to a chip firing game in which divisor values can be distributed to neighboring vertices. The analogue of a divisor is a general integer valued function . Given such a function , we can ask to distribute to the vertices and ask to minimize the variance. One could also ask to keep curvatures integers leading to analogues of PoincaréHopf indices.
9. Classical questions
9.1.
In the continuum, the analogue question is which even dimensional manifold admit constant Euler curvature entering GaussBonnetChern . Related to the Hopf conjectures is already whether there is a metric on with constant :
Question: For which manifolds is there a metric such that the GaussBonnetChern integrand for is constant?
9.2.
There are many questions in differential geometry which asks for “which compact Riemannian manifolds admit constant curvature of some kind. Constant Ricci curvature gives Einstein manifolds. Constant mean curvature surfaces produce minimal surfaces. One can therefor ask the question for Euler curvature which appears in the GaussBonnetChern theorem for compact even dimensional manifolds.
9.3.
Which compact 2dimensional Riemannian manifolds have a constant Euler curvature? By uniformization and taking universal covers in the nonorientable case, every connected twodimensional compact manifold allows for a constant Euler curvature metric.
9.4.
Here is a simple observation:
Proposition 2.
There are compact dimensional Riemannian manifolds which do not admit a constant Euler curvature (GaussBonnetChern integrand).
Proof.
Take two compact connected 4manifolds , where has Euler characteristic larger or equal than and has Euler characteristic smaller or equal than . Now make a connected sum along a 4ball obtained by removing 4balls from and gluing together along the boundary sphere. When combining, we lose the Euler characteristic of the two balls and have therefore . By locality, we have to keep the Euler curvatures on and . We can complement the connecting tube with mostly zero Euler curvature. Now , where and intersect in spheres. Now assume we can equip the connected sum with a constant curvature . Because it is negative, the curvature would have to be negative. The manifold has now negative curvature in the interior and must by GaussBonnetChern have at least normalized curvature at the boundary. The boundary however bounds a 4ball of Euler characteristic which can be made arbitrary small so that the normalized boundary curvature can be made arbitrary close to . That is incompatible with having to be . ∎
9.5.
The argument can be done in any even dimension larger than . This argument obviously does not work in dimension because connected manifolds have Euler characteristic . For example, when taking the connected sum of a genus surface with a genus surface, we get a surface with genus . It is only in dimension or higher that we can realize manifolds of Euler characteristic . An example is . An concrete example of a manifold with Euler characteristic is the Cartesian product of two surfaces of genus .
9.6.
Inverse questions about curvature are difficult in general. This is illustrated by one of the celebrated open Hopf conjecture which asks whether there is a metric on for which the sectional curvature is positive. The question whether there exists a metric with positive Euler curvature is not settled but we are also not aware whether it is known whether there exists a metric on for which the Euler curvature is constant.
10. Existence and uniqueness
10.1.
Let us look now at the discrete dimensional case, where we have a finite simple graph . Let be the simplicial Whitney complex which is here just the union of the vertex set and edge set . The function on has the total sum . In order to realize constant curvature, we need to find a stochastic matrix such that
and such that if is not a subset of . This is a system of equations which together with the probability assumption produces equations. There are unknowns . So, there is a large dimensional space of solutions but the question is whether we can get solutions satisfying . We see:
Proposition 3.
The existence problem of constant curvature on a finite simple graph is a linear programming problem.
10.2.
Example: Let be the smallest line graph. There are two parameters and we have to solve , for the matrix:
This leads to the three equation s which gives .
10.3.
Assume we find such that is constant. Is this unique? The set of solutions
is a convex set. The inverse problem for the stochastic matrix
with constraint that if is not in can have infinitely many solutions or have a unique solution.Theorem 2.
If is a onedimensional simplicial complex which is a tree, then there is a unique probability space in each edge for which curvature is constant.
Proof.
Proof by induction. There is nothing to prove if the tree is a seed , meaning that there is no edge. The proof goes by induction with respect to the number of edges. Assume the statement has been proven for graphs with edges, take a graph with edges, pick leaf, an end point of the tree which has only one neighbor. Since the curvature has to be we know on the edge leading to . This defines the probability space on this edge. Now take the equilibrium measure which is given on the rest by induction. ∎
10.4.
We can also see it from linear algebra: we have a free variable for every edge given variables. and equations where one of them is automatically satisfied by the GaussBonnet formula. So, we have the same number of variables than equations. We can not have for one dimensional connected complexes as this would imply and we know that . Indeed, the Betti number matters:
Theorem 3.
For a onedimensional complex, the solution space of probability measures satisfying the constant curvature equation is dimensional.
Proof.
Use induction with respect to the number of loops. It is easier for induction to prove a slightly stronger statement. Lets call a vertex in a graph with vertex degree a “leave”. Leaves are vertices with energy . We can more generally assign to a leaf an energy . With for the other simplices in the graph, we have the total energy . It is now smaller than . Still, we can distribute the energies of the edges around to get constant curvature. We prove this statement by induction. In the case of loops we have a tree for which we have uniqueness in producing the curvature. Also this case can be proven by induction with respect to the number of vertices: just cut one leave and the corresponding stem edge to that leave to get the statement for one vertex less. For a tree we can even replace the energy of a finite number of “leaf vertices” (a vertex with vertex degree 1), with and lower the total energy from to . Now, we can realize the constant curvature everywhere. By cutting a loop by removing an edge we obtain two more leaves and moving to one of the two vertices, we get a graph with one loop less for which the energy at one leaf is . For any generator of the fundamental group we have a oneparameter choice to shift around probabilities around . This shows that we have a dimensional space of solutions. Alternatively, we can make cuts to get a tree and for each cut, removing an edge , we have a choice how to distribute the energy to the two boundary points. ∎
10.5.
Here are some examples.
1) In the case of a star graph which is an example of a tree, we have a matrix
The constant curvature equation has only one solution which is given by .
10.6.
2) In the case of a circular graph , we have an entire interval of solutions. Just pick the same probability space in each case. For example, for the cyclic complex , we have
10.7.
3) Let us now look at the case of the triangle which is obtained from by adding a dimensional cell . We have
In this case, we can chose and is determined. Since there are three free variables , there is also here no uniqueness. In general, for higher dimensional spaces it is easier to distribute out curvature so that it becomes constant.
References
 [1] A. Aczel. Descartes’s secret notebook, a true tale of Mathematics, Mysticism and the Quest to Understand the Universe. Broadway Books, 2005.
 [2] HG. Bigalke. Heinrich Heesch, Kristallgeometrie, Parkettierungen, Vierfarbenforschung. Birkhäuser, 1988.
 [3] W. Blaschke. Vorlesungen über Integralgeometrie. Chelsea Publishing Company, New York, 1949.
 [4] M. Denker, C. Grillenberger, and K. Sigmund. Ergodic Theory on Compact Spaces. Lecture Notes in Mathematics 527. Springer, 1976.
 [5] E. Eberhard. Morphologie der Polyeder. Teubner Verlag, 1891.
 [6] H. Furstenberg. Recurrence in ergodic theory and combinatorial number theory. Princeton University Press, Princeton, N.J., 1981. M. B. Porter Lectures.
 [7] B. Grünbaum. Are your polyhedra the same as my polyhedra? In Discrete and computational geometry, volume 25 of Algorithms Combin., pages 461–488. Springer, Berlin, 2003.

[8]
F. Josellis and O. Knill.
A LusternikSchnirelmann theorem for graphs.
http://arxiv.org/abs/1211.0750, 2012.  [9] D.A. Klain and GC. Rota. Introduction to geometric probability. Lezioni Lincee. Accademia nazionale dei lincei, 1997.

[10]
O. Knill.
The dimension and Euler characteristic of random graphs.
http://arxiv.org/abs/1112.5749, 2011. 
[11]
O. Knill.
A graph theoretical GaussBonnetChern theorem.
http://arxiv.org/abs/1111.5395, 2011. 
[12]
O. Knill.
A graph theoretical PoincaréHopf theorem.
http://arxiv.org/abs/1201.1162, 2012. 
[13]
O. Knill.
On index expectation and curvature for networks.
http://arxiv.org/abs/1202.4514, 2012. 
[14]
O. Knill.
The Euler characteristic of an evendimensional graph.
http://arxiv.org/abs/1307.3809, 2013. 
[15]
O. Knill.
Classical mathematical structures within topological graph theory.
http://arxiv.org/abs/1402.2029, 2014. 
[16]
O. Knill.
Curvature from graph colorings.
http://arxiv.org/abs/1410.1217, 2014. 
[17]
O. Knill.
Energized simplicial complexes.
https://arxiv.org/abs/1908.06563, 2019. 
[18]
O. Knill.
A parametrized PoincareHopf theorem and clique cardinalities of
graphs.
https://arxiv.org/abs/1906.06611, 2019. 
[19]
O. Knill.
Poincaréhopf for vector fields on graphs.
https://arxiv.org/abs/1911.04208, 2019. 
[20]
O. Knill.
Poincaréhopf for vector fields on graphs.
https://arxiv.org/abs/1912.00577, 2019. 
[21]
O. Knill.
A simple sphere theorem for graphs.
https://arxiv.org/abs/1910.02708, 2019.  [22] I. Lakatos. Proofs and Refutations. Cambridge University Press, 1976.
 [23] N. Levitt. The Euler characteristic is the unique locally determined numerical homotopy invariant of finite complexes. Discrete Comput. Geom., 7:59–67, 1992.
 [24] J. Feldman M.I. Brin and A. Katok. Bernoulli diffeomorphisms and group extensions of dynamical systems with nonzero characteristic exponents. Annals of Mathematics, 113:159–179, 1981.
 [25] L. Nicolaescu. Lectures on the Geometry of Manifolds. World Scientific, second edition, 2009.
 [26] D.S. Richeson. Euler’s Gem. Princeton University Press, Princeton, NJ, 2008. The polyhedron formula and the birth of topology.
 [27] L.A. Santalo. Introduction to integral geometry. Hermann and Editeurs, Paris, 1953.
 [28] L.A. Santalo. Integral Geometry and Geometric Probability. Cambridge University Press, second edition, 2004.
 [29] A. Weinstein. Remarks on curvature and the Euler integrand. J. Differential Geometry, 6:259–262, 1971.
 [30] A.J. Wolf. Spaces of constant curvature. AMS Chelsea publishing, 2011.
Comments
There are no comments yet.