[Paper Review] Pascal triangle, Stirling numbers and the unique invariance of the Euler characteristic

Ana Luzón, Manuel A. Morón|arXiv (Cornell University)|Feb 3, 2012

Advanced Combinatorial Mathematics15 references3 citations

TL;DR

This paper proves that the Euler characteristic is the unique linear combination of face counts in triangulations that remains invariant under barycentric subdivision, using eigenvalue analysis of infinite matrices derived from Pascal’s triangle and Stirling numbers of the second kind. The key result shows that only multiples of the Euler characteristic are invariant across all simplicial complexes under repeated subdivision.

ABSTRACT

We use some basic properties of binomial and Stirling numbers to prove that the Euler characteristic is, essentially, the unique numerical topological invariant for compact polyhedra which can be expressed as a linear combination of the numbers of faces of triangulations. We obtain this result converting it into an eigenvalue problem.

Motivation & Objective

• To establish the unique invariance of the Euler characteristic among linear combinations of face counts in triangulations of compact polyhedra.
• To show that barycentric subdivision preserves only multiples of the Euler characteristic in the class of all simplices.
• To characterize the eigenspace of the barycentric subdivision operator acting on f-vectors via Riordan matrix theory.
• To demonstrate that the only topological invariants expressible as linear combinations of face counts are scalar multiples of the Euler characteristic.

Proposed method

• Represent f-vectors of n-simplices as entries in an infinite lower triangular matrix F, isomorphic to a Riordan matrix T(1/(1−x) | 1−x).
• Model barycentric subdivision as a linear operator B on formal power series, derived from the matrix of Stirling numbers of the second kind and a diagonal matrix of factorials.
• Analyze the eigenvalue problem B(γ) = γ to identify invariants under repeated subdivision.
• Use the fact that 1 is a simple eigenvalue with eigenspace spanned by 1/(1+x), corresponding to the Euler characteristic.
• Prove that any series invariant under subdivision must be a multiple of 1/(1+x), hence a multiple of the Euler characteristic.
• Leverage the group structure of Riordan matrices and properties of Stirling numbers to derive the transformation rules for f-vectors under subdivision.

Experimental results

Research questions

• RQ1 Which linear combinations of face counts in triangulations are invariant under barycentric subdivision?
• RQ2 Why is the Euler characteristic the unique such invariant in the class of all finite simplicial complexes?
• RQ3 How can the invariance of the Euler characteristic be derived from matrix representations of combinatorial operations?
• RQ4 What is the algebraic structure of the barycentric subdivision operator acting on f-vectors?
• RQ5 What role do Pascal’s triangle and Stirling numbers play in characterizing topological invariants?

Key findings

• The Euler characteristic is the unique linear combination of face counts that remains invariant under repeated barycentric subdivision.
• The eigenspace of the barycentric subdivision operator B associated with eigenvalue 1 is exactly the set of scalar multiples of 1/(1+x), which corresponds to the Euler characteristic.
• The matrix B, representing the effect of barycentric subdivision on f-vectors, is given by B = S D, where S is the matrix of Stirling numbers of the second kind and D is a diagonal matrix of factorials.
• The series 1/(1+x) is an eigenvector of B with eigenvalue 1, and no other series in the space of formal power series satisfies this unless it is a scalar multiple.
• Any linear functional on f-vectors that is invariant under barycentric subdivision must be a multiple of the Euler characteristic.
• The result holds in both topological and PL-topological settings, confirming the Euler characteristic as the unique such invariant.