arXiv++ Combinatorics

In this article, we investigate properties of digital H-spaces in the graph theoretic model of digital topology. As in prior work, the results obtained often depend fundamentally on the choice between NP$_1$ and NP$_2$ product adjacencies. We explore algebraic properties of digital H-spaces preserved under digital homotopy equivalence, and we give a general construction that produces examples of digital H-spaces which are not homotopy-equivalent to digital topological groups in both categories. Further, we show that this construction essentially classifies all NP$_2$-digital H-spaces. In a short appendix, we resolve a question that was left unresolved in [17], and complete the full classification of digital topological groups.

We use the ordinary Euler operator to compute the Ehrhart series for an arbitrary lattice polytope. The resulting formula involves the coefficients of the Ehrhart polynomial, combined via Eulerian numbers. We use this to compute $h^*_{d-1}$ in terms of the coefficients of the Ehrhart polynomial, resulting in a new linear inequality satisfied by the coefficents of the Ehrhart polynomial.

Consider a hierarchical log-linear model, given by a simplicial complex, $Γ$, and integer matrix $A_Γ$. We give a new characterization of the rank of $A_Γ$ given by a logarithmic transformation on the exponential Hilbert series of $Γ$. We show that, if each random variable in $X$ has the same number of possible outcomes, then this formula reduces to a simple description in terms of the face vector of $Γ$. If $Γ$ further satisfies the Dehn-Sommerville relations, then we give an exceptionally simple formula for computing the rank of $A_Γ$, and thus the dimension and the number of degrees of freedom of the model.

We study the exponential Hilbert series (both coarsely- and finely-graded) of the Stanley-Reisner ring of an abstract simplicial complex, $Δ$, and we introduce the $e$-vector of $Δ$, which relates to the coefficients of the exponential Hilbert series. We explore the relationship of the $e$-vector with the classical $f$-vector and $h$-vector of $Δ$ while simultaneously investigating the geometric information that the $e$-vector encodes about $Δ$. We then prove a simple combinatorial identity for the $e$-vector in the case where $Δ$ is an Eulerian manifold.