## Gauss-Bonnet for the f-function

The f-function of a graph minus 1 is the sum of the antiderivatives of the f-function anti-derivatives evaluated on the unit spheres.

The f-function of a graph minus 1 is the sum of the antiderivatives of the f-function anti-derivatives evaluated on the unit spheres.

Dehn-Sommerville relations are a symmetry for a class of geometries which are of Euclidean nature.

Some update about recent activities: a new calculus course, the Cartan magic formula and some programming about the coloring algorithm.

We prove that any discrete surface has an Eulerian edge refinement. For a 2-disk, an Eulerian edge refinement is possible if and only if the boundary length is divisible by 3

We prove that connected combinatorial manifolds of positive dimension define finite simple graphs which are Hamiltonian.

About the origin of the definitino of shellability.

The beautiful Alexander duality theorem for finite abstract simplicial complexes.

We compute the quadratic interaction cohomology in the simplest case.

This is an other blog entry about interaction cohomology [PDF], (now on the ArXiv), a draft which just got finished over spring break. The paper had been started more than 2 years ago and got delayed when the unimodularity of the connection Laplacian took over. There was an announcement [PDF] which is now included as an appendix. [Not to appear … ….

For a one-dimensional simplicial complex, the sign less Hodge operator can be written as L-g, where g is the inverse of L. This leads to a Laplace equation shows solutions are given by a two-sided random walk.