arXiv++ Combinatorics

We prove that the expectation of the Euler characteristic X(H) of random level surface H in a given simplicial complex G is E[X(H)] =2-2K(G)-X(G), where K(G)=1-f_0/2+f_1/3- ... is the curvature functional of G and X(G)=f_0-f_1+f_2-... is the Euler characteristics. More generally, the expectation of the f-vector of a submanifold is explicitly linked to the f-vector of the host manifold.

The Moebius-Kantor graph MK=G(8,3) is a Cayley graph of three non-abelian groups, the Pauli group P(1), the semi-dihedral group SD(16), as well as the dihedral group D(16) of order 16. In topological graph theory, it illustrates the Heawood number 7 of the torus and leads to the Tucker group Aut(MK), the unique group of genus 2. We compute the Lefschetz numbers to illustrate the Brouwer-Lefschetz fixed point theorem. MK is also the dual of the 2-skeleton complex of the 3-sphere G. The graph represents one of flat Clifford tori of a Hopf fibration in the 3-sphere G=K(2,2,2,2) reflecting that Coxeter saw that MK is a subgraph of the tesseract G*. It carries a metric d so that (MK,d) has only one algebraic group structure (P(1),*) that preserves the metric. It makes the Pauli group natural, similarly as the Moebius ladder M(16) makes the dihedral group D(16) natural, forcing the algebraic structure from the metric structure.

The connection Laplacian L and the Dirac matrix D are both n x n matrices defined from a given finite simplicial complex G with n sets. In both cases, there is interlacing of the eigenvalues for subcomplexes. This gives general upper bounds of the eigenvalues both for L and D in terms of inclusion or intersection degrees. We conjecture that L always dominates both D and the inverse of L in a weak Loewner sense. In a second part we look at dynamical systems (G,T), where T is a simplicial map on G. Both L and D generalize to dynamical versions of L and D. The modified L is still unimodular with an explicit Green function inverse and modified Dirac part still comes from an exterior derivative d. We also review the Lefschetz fixed point theorem for a simplicial map T on a simplicial complex G which implies the Brouwer fixed point theorem: any simplicial map on a contractible finite abstract simplicial complex G has a fixed simplex.

Dehn-Sommerville manifolds are a class of finite abstract simplicial complexes that generalize discrete manifolds. Despite a simpler definition in comparison to manifolds, they still share most properties of manifolds. They especially satisfy all Dehn-Sommerville symmetries telling that half of the f-vector entries are redundant. They also share other properties with q-manifolds: for every Dehn-Sommerville q-manifold G and any function g: V(G) to A={0, ..., k} with positive k, the set of x such that g(x) contains A is a Dehn-Sommerville (q-k)-manifold if not empty. We also see that for Dehn-Sommerville q-manifolds, all higher characteristics w_m(G) agree with Euler characteristic that the chromatic number is bounded above by 2q+2 and that odd-dimensional Dehn-Sommerville manifolds are flat and form a monoid under the join operation. In general, Dehn-Sommerville manifolds are invariant under edge refinement, Barycentric refinement and Cartesian products.

The Brouwer conjecture (BC) in spectral graph theory claims that the sum of the largest k Kirchhoff eigenvalues of a graph are bounded above by the number m of edges plus k(k+1)/2. We show that (BC) holds for all graphs with n vertices if n is larger or equal than 4 times the square of the maximal vertex degree. We also note that (BC) for graphs implies (BC) for quivers.

The geodesic flow on a finite discrete q-manifold with or without boundary is defined as as a permutation of its ordered q-simplices. This allows to define geodesic sheets and a notion of sectional curvature.

The soft Barycentric refinement preserves manifolds with or without boundary. In every dimension larger than one, there is a universal spectral central limiting measure that has affinities with the Barycentric limiting measure one dimension lower. Ricci type quantities like the length of the dual sphere of co-dimension-2 simplex stay invariant under soft refinements. We prove that the dual graphs of any manifold can be colored with 3 colors, which is in the 2-dimensional case a special case of the Groetzsch theorem. It follows that the vertices of a soft Barycentric refined q-manifold G' can be colored by q+1 or q+2 colors.

We look at curvatures that are supported on k-dimensional parts of a simplicial complex G. These curvature all satisfy the Gauss-Bonnet theorem, provided that the k-dimensional simplices cover $G$. Each of these curvatures can be written as an expectation of Poincare-Hopf indices. Linear or non-linear wave dynamics with discrete or continuous time allow to deform these curvatures while keeping the Gauss-Bonnet property.

Classical simplicial cohomology on a simplicial complex G deals with functions on simplices x in G. Quadratic cohomology deals with functions on pairs of simplices (x,y) in G x G that intersect. If K,U is a closed-open pair in G, we prove here a quadratic version of the linear fusion inequality. Additional to the quadratic cohomology of G there are five additional interaction cohomology groups. Their Betti numbers are computed from functions on pairs (x,y) of simplices that intersect. Define the Betti vector b(X) computed from pairs (x,y) in X x X with x intersected y in X a and b(X,Y) with pairs in X xY with x intersected y in K. We prove the fusion inequality b(G) <= b(K)+b(U)+b(K,U)+b(U,K)+b(U,U) for cohomology groups linking all five possible interaction cases. Counting shows f(G) = f(K)+f(U) + f(K,U)+f(U,K)+f(U,U) for the f-vectors. Super counting gives Euler-Poincare sum_k (-1)^k f_k(X)=\sum_k (-1)^k b_k(X) and sum_k (-1)^k f_k(X,Y)=sum_k (-1)^k b_k(X,Y) for X,Y in {U,K}. As in the linear case, also the proof of the quadratic fusion inequality follows from the fact that the spectra of all the involved Laplacians L(X),L(X,Y) are bounded above by the spectrum of the quadratic Hodge Laplacian L(G) of G.

Both Morse theory and Lusternik-Schnirelmann theory link algebra, topology and analysis in a geometric setting. The two theories can be formulated in finite geometries like graph theory or within finite abstract simplicial complexes. We work here mostly in graph theory and review the Morse inequalities b(k)-b(k-1) + ... + b(0) less of equal than c(k)-c(k-1) + ... + c(0) for the Betti numbers b(k) and the minimal number c(k) of Morse critical points of index k and the Lusternik-Schnirelmann inequalities cup+1 less or equal than cat less or equal than cri, between the algebraic cup length cup, the topological category cat and the analytic number cri counting the minimal number of critical points of a function.

If f maps a discrete d-manifold G onto a (k+1)-partite complex P then H(G,f,P),the set of simplices x in G such that f(x) contains at least one facet in P defines a (d-k)-manifold.

A discrete d-manifold is a finite simple graph G=(V,E) where all unit spheres are (d-1)-spheres. A d-sphere is a d-manifold for which one can remove a vertex to make it contractible. A graph is contractible if one can remove a vertex with contractible unit sphere to get a contractible graph. We prove a discrete Morse-Sard theorem: if G=(V,E) is a d-manifold and f:V to R^k an arbitrary map, then for any c not in f(V), a level set { f = c } is always a (d-k)-manifold or empty. While a priori open sets in the simplicial complex of G, they are sub-manifolds in the Barycentric refinement of G. Level sets are orientable if G is orientable. Any complex-valued function psi on a discrete 4-manifold M defines so level surfaces {psi=c} which are except for c in f(V) always 2-manifolds or empty.

A theorem of Hakimi, Mitchem and Schmeichel from 1996 states that the edge arboricity arb(G) of a graph is bounded above by the acyclic chromatic number acy(G). We can improve this HMS inequality by 1, if acy(G) is even. We review also results about acyclic chromatic numbers in the context of a Grünbaum conjecture from 1973.

The arboricity of a discrete 2-sphere is always 3. The arboricity of any other discrete 2-dimensional surface is always 4. For d-manifolds of dimension larger than 2, the arboricity can be arbitrary large and must be larger than d.

We prove that every 2-sphere graph different from a prism can be vertex 4-colored in such a way that all Kempe chains are forests. This implies the following three tree theorem: the arboricity of a discrete 2-sphere is 3. Moreover, the three trees can be chosen so that each hits every triangle. A consequence is a result of an exercise in the book of Bondy and Murty based on work of A. Frank, A. Gyarfas and C. Nash-Williams: the arboricity of a planar graph is less or equal than 3.

If G is a finite abstract simplicial complex and K is a subcomplex of G and U=G-K is the open complement of K in G, the Betti vectors of K and U and G satisfy the inequality b(G) less or equal b(K)+b(U).

If K,G are finite abstract simplicial complexes and K is a subcomplex of G then the eigenvalues of the Hodge Laplacian of K are smaller or equal than the eigenvalues of the Hodge Laplacian of G, provided the eigenvalue lists are padded left.

The higher characteristics w_m(G) for a finite abstract simplicial complex G are topological invariants that satisfy k-point Green function identities and can be computed in terms of Euler characteristic in the case of closed manifolds, where we give a new proof of w_m(G)=w_1(G). Also the sphere formula generalizes: for any simplicial complex, the total higher characteristics of unit spheres at even dimensional simplices is equal to the total higher characteristic of unit spheres at odd dimensional simplices.

The sphere formula states that in an arbitrary finite abstract simplicial complex, the sum of the Euler characteristic of unit spheres centered at even-dimensional simplices is equal to the sum of the Euler characteristic of unit spheres centered at odd-dimensional simplices. It follows that if a geometry has constant unit sphere Euler characteristic, like a manifold, then all its unit spheres have zero Euler characteristic or the space itself has zero Euler characteristic. Especially, odd-dimensional manifolds have zero Euler characteristic, a fact usually verified either in algebraic topology using Poincaré duality together with Riemann-Hurwitz then deriving it from the existence of a Morse function, using that the Morse indices of the function and its negative add up to zero in odd dimensions. Gauss Bonnet also shows that odd-dimensional Dehn-Sommerville spaces have zero Euler characteristic because they have constant zero curvature. Zero curvature phenomenons can be understood integral geometrically as index expectation or as Dehn-Sommerville relations.

Without leaving finite mathematics and using finite topological spaces only, we give a definition of homeomorphisms of finite abstract simplicial complexes or finite graphs. Besides exploring the definition in various contexts, we add some remarks like that the general Lefschetz formula works for any continuous map on any finite topological space. We also noted that any higher order Wu characteristic as well as their cohomology are topological invariants which are not homotopy invariants. Energy theorems allow to express these topological invariants in terms of interaction energies of local open sets.