A positivity phenomenon in Elser's Gaussian-cluster percolation model
Veit Elser proposed a random graph model for percolation in which physical dimension appears as a parameter. Studying this model combinatorially leads naturally to the consideration of numerical graph invariants which we call \emph{Elser numbers} , where is a connected graph and a nonnegative integer. Elser had proven that for all . By interpreting the Elser numbers as Euler characteristics of appropriate simplicial complexes called \emph{nucleus complexes}, we prove that for all graphs , they are nonpositive when and nonnegative for . The last result confirms a conjecture of Elser. Furthermore, we give necessary and sufficient conditions, in terms of the 2-connected structure of~, for the nonvanishing of the Elser numbers.