Antichain simplices

Associated with each lattice simplex ∆ is a poset encoding the additive structure of lattice points in the fundamental parallelepiped for ∆. When this poset is an antichain, we say ∆ is antichain. For each partition λ of n, we define a lattice simplex ∆_λ having one unimodular facet, and we investigate their associated posets. We give a number-theoretic characterization of the relations in these posets, as well as a simplified characterization in the case where each part of λ is relatively prime to n − 1. We use these characterizations to experimentally study ∆_λ for all partitions of n with n ≤ 73. Further, we experimentally study the prevalence of the antichain property among simplices with a restricted type of Hermite normal form, suggesting that the antichain property is common among simplices with this restriction. Finally, we explain how this work relates to Poincaré series for the semigroup algebra associated with ∆, and we prove that this series is rational when ∆ is antichain.