arXiv++ Combinatorics

We introduce the \emph{Morse ensemble polynomial} $\ME_K(z_0,\ldots,z_d)$ of a finite simplicial complex $K$, defined as the generating function $\ME_K = \sum_M \prod_i z_i^{c_i(M)}$ over all acyclic matchings $M$ on the face poset of $K$, where $c_i(M)$ counts critical $i$-simplices. This polynomial records the complete distribution of Morse vectors across all discrete Morse functions on $K$, and is an isomorphism invariant of simplicial complexes. Our main results are the following. \textbf{(I) The Laplacian Formula}: for any connected graph $G$, $\ME_G = z_1^{m-n}\det(z_0z_1\,I_n + L_G)$, identifying $\ME_G$ as a complete Laplacian spectral invariant and showing $\ME_G$ to be incomparable with the Tutte polynomial. \textbf{(II) The Top-Face Recursion}: adding a $d$-simplex $σ$ (with $\partialσ\subset K$) to a complex $K$ gives a recursion $\ME_{K\cup\{σ\}} = z_d\cdot\ME_K + \sum_{τ\precσ}(\ME_{P(K')\setminus\{σ,τ\}}-F(K,σ,τ))$. The correction term is controlled by the top incidence graph: an incidence-separation criterion detects exactly when $F=0$, and the incidence distance gives the leading obstruction term. As a topological application, this recursion gives exact coefficient recursions for perfect and optimal discrete Morse vectors. \textbf{(III) The independence ME polynomial} $Φ(G) := \ME_{\mathrm{Ind}(G)}$ is a fine graph invariant which strictly refines the graph-level Morse ensemble $\ME_G$, separates examples not distinguished by $T_G$ and $I(G;t)$, and records collapse-level information of $\mathrm{Ind}(G)$ through coefficients such as $[z_0]Φ(G)$.

We study transformations between discrete Morse functions on a finite simplicial complex via birth-death transitions--elementary chain maps between discrete Morse complexes that either create or cancel pairs of critical simplices. We prove that any two discrete Morse functions $f_1$, $f_2$ on a finite simplicial complex $K$ are linked by a finite sequence of such transitions.As applications, we present alternative proofs of several of Forman's fundamental results in discrete Morse theory and study the topology of the space of discrete Morse functions.

Given two discrete Morse functions on a simplicial complex, we introduce the {\em connectedness homomorphism} between the corresponding discrete Morse complexes. This concept leads to a novel framework for studying the connectedness in discrete Morse theory at the chain complex level. In particular, we apply it to describe a discrete analogy to `cusp-degeneration' of Morse complexes. A precise comparison between smooth case and our discrete cases is also given.

In this paper, we study some useful properties of persistent pairs in a discrete Morse function on a simplicial complex $K$. In case of $\dim K=1$ (i.e., a graph), by using the properties, we characterize strongly connectedness of critical simplices between two distinct discrete Morse functions, and relate the number of such pairs to the Euler characteristic of $K$.

In this paper, we introduce the concept of the weighted (harmonic) chromatic polynomials of graphs and discuss some of its properties. We also present the notion of the weighted (harmonic) Tutte--Grothendieck polynomials of graphs and give a generalization of the recipe theorem between the harmonic Tutte--Grothendieck polynomials graphs and the harmonic Tutte polynomials of matroids. Moreover, we give some constructions of the weighted (harmonic) Tutte--Grothendieck invariants for graphs and the weighted (harmonic) Tutte invariants for matroids. Finally, we give a remark on the categorification of the harmonic chromatic polynomials of graphs and harmonic Tutte polynomials of matroids.