A parametrized Poincare-Hopf Theorem and Clique Cardinalities of graphs

06/15/2019
by   Oliver Knill, et al.
0

Given a locally injective real function g on the vertex set V of a finite simple graph G=(V,E), we prove the Poincare-Hopf formula f_G(t) = 1+t sum_x in V f_S_g(x)(t), where S_g(x) = y in S(x), g(y) less than g(x) and f_G(t)=1+f_0 t + ... + f_d t^d+1 is the f-function encoding the f-vector of a graph G, where f_k counts the number of k-dimensional cliques, complete sub-graphs, in G. The corresponding computation of f reduces the problem recursively to n tasks of graphs of half the size. For t=-1, the parametric Poincare-Hopf formula reduces to the classical Poincare-Hopf result X(G)=sum_x i_g(x), with integer indices i_g(x)=1-X(S_g(x)) and Euler characteristic X. In the new Poincare-Hopf formula, the indices are integer polynomials and the curvatures K_x(t) expressed as index expectations K_x(t) = E[i_x(t)] are polynomials with rational coefficients. Integrating the Poincare-Hopf formula over probability spaces of functions g gives Gauss-Bonnet formulas like f_G(t) = 1+sum_x F_S(x)(t), where F_G is the anti-derivative of f_G. A similar computation is done for the generating function f_G,H(t,s) = sum_k,l f_k,l(G,H) s^k t^l of the f-intersection matrix f_k,l(G,H) counting the number of intersections of k-simplices in G with l-simplices in H. Also here, the computation is reduced to 4 n^2 computations for graphs of half the size: f_G,H(t,s) = sum_v,w f_B_g(v),B_g(w)(t,s) - f_B_g(v),S_g(w)(t,s) - f_S_g(v),B_g(w)(t,s) + f_S_g(v),S_g(w)(t,s), where B_g(v)= S_g(v)+v is the unit ball of v.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/19/2018

The Cohomology for Wu Characteristics

While Euler characteristic X(G)=sum_x w(x) super counts simplices, Wu ch...
research
01/03/2020

Bounds on the size of PC and URC formulas

In this paper we investigate CNF formulas, for which the unit propagatio...
research
02/10/2023

Efficient and Compact Spreadsheet Formula Graphs

Spreadsheets are one of the most popular data analysis tools, wherein us...
research
08/19/2019

Simple formula for integration of polynomials on a simplex

We show that integrating a polynomial of degree t on an arbitrary simple...
research
01/10/2020

On the distribution of orders of Frobenius action on ℓ-torsion of abelian surfaces

The computation of the order of Frobenius action on the ℓ-torsion is a p...
research
05/30/2017

On a Dehn-Sommerville functional for simplicial complexes

Assume G is a finite abstract simplicial complex with f-vector (v0,v1, ....
research
09/30/2020

A generalization of Krull-Webster's theory to higher order convex functions: multiple Γ-type functions

We provide uniqueness and existence results for the eventually p-convex ...

Please sign up or login with your details

Forgot password? Click here to reset