arXiv++ Combinatorics

Discrete Morse theory emerged as an essential tool for computational geometry and topology. Its core structures are discrete gradient fields, defined as acyclic matchings on a complex $C$, from which topological and geometrical informations of $C$ can be efficiently computed, in particular its homology or Morse-Smale decomposition. Given a function $f$ sampled on $C$, it is possible to derive a discrete gradient that mimics the dynamics of $f$. Many such constructions are based on some variant of a greedy pairing of adjacent cells, given an appropriate weighting. However, proving that the dynamics of $f$ is correctly captured by this process is usually intricate. This work introduces the notion of discrete smoothness of the pair $(f,C)$, as a minimal sampling condition to ensure that the discrete gradient is geometrically faithful to $f$. More precisely, a discrete gradient construction from a function $f$ on a polyhedron complex $C$ of any dimension is studied, leading to theoretical guarantees prior to the discrete smoothness assumption. Those results are then extended and completed for the smooth case. As an application, a purely combinatorial proof that all CAT(0) cube complexes are collapsible is given.

Schnyder woods are a well-known combinatorial structure for plane triangulations, which yields a decomposition into 3 spanning trees. We extend here definitions and algorithms for Schnyder woods to closed orientable surfaces of arbitrary genus. In particular, we describe a method to traverse a triangulation of genus $g$ and compute a so-called $g$-Schnyder wood on the way. As an application, we give a procedure to encode a triangulation of genus $g$ and $n$ vertices in $4n+O(g \log(n))$ bits. This matches the worst-case encoding rate of Edgebreaker in positive genus. All the algorithms presented here have execution time $O((n+g)g)$, hence are linear when the genus is fixed.