<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">\documentclass[12pt,reqno]{article}

\usepackage[usenames]{color}
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{amsfonts}
\usepackage{amscd}
\usepackage{graphicx}

\usepackage[colorlinks=true,
linkcolor=webgreen,
filecolor=webbrown,
citecolor=webgreen]{hyperref}

\definecolor{webgreen}{rgb}{0,.5,0}
\definecolor{webbrown}{rgb}{.6,0,0}

\usepackage{color}
\usepackage{fullpage}
\usepackage{float}

\usepackage{psfig}
\usepackage{graphics}
\usepackage{latexsym}
\usepackage{epsf}
\usepackage{breakurl}

\setlength{\textwidth}{6.5in}
\setlength{\oddsidemargin}{.1in}
\setlength{\evensidemargin}{.1in}
\setlength{\topmargin}{-.1in}
\setlength{\textheight}{8.4in}

\newcommand{\seqnum}[1]{\href{https://oeis.org/#1}{\underline{#1}}}

\usepackage{enumerate,tikz,listings,array,longtable,url,hyperref}
\usetikzlibrary{shapes,arrows,chains}
\usepackage{pgf}

\DeclareMathOperator{\OCH}{OCH}

\begin{document}

\begin{center}
\epsfxsize=4in
\leavevmode\epsffile{logo129.eps}
\end{center}

\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{proposition}[theorem]{Proposition}

\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{example}[theorem]{Example}
\newtheorem{conjecture}[theorem]{Conjecture}
\newtheorem{problem}[theorem]{Problem}

\theoremstyle{remark}
\newtheorem{remark}[theorem]{Remark}
\newtheorem{question}[theorem]{Question}

\begin{center}
\vskip 1cm{\LARGE\bf 
Antichain Simplices}
\vskip 1cm
\large
Benjamin Braun and Brian Davis \\
Department of Mathematics\\
         University of Kentucky\\
         Lexington, KY 40506-0027\\
	 USA \\
\href{mailto:benjamin.braun@uky.edu}{\tt benjamin.braun@uky.edu} \\
\href{mailto:brian.davis@uky.edu}{\tt brian.davis@uky.edu}
\end{center}

\vskip .2 in

\begin{abstract}
  Associated with each lattice simplex $\Delta$ is a poset encoding the additive structure of lattice points in the fundamental parallelepiped for $\Delta$.
  When this poset is an antichain, we say $\Delta$ is antichain.
  For each partition $\lambda$ of $n$, we define a lattice simplex $\Delta_\lambda$ 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 $\lambda$ is relatively prime to $n-1$.
  We use these characterizations to experimentally study $\Delta_\lambda$ for all partitions of $n$ with $n\leq 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\'e series for the semigroup algebra associated with $\Delta$, and we prove that this series is rational when $\Delta$ is antichain.
\end{abstract}


\newcommand{\C}{\mathbb{C}}
\newcommand{\PP}{\mathrm{P}}
\newcommand{\B}{\mathbb{B}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\N}{\mathbb{N}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\fS}{\mathfrak{S}}
\newcommand{\Id}{\mathrm{Id}}
\newcommand{\cone}{\mathrm{cone}}
\newcommand{\conv}{\mathrm{conv}}
\newcommand{\height}{\mathrm{height}}
\newcommand{\im}{\mathrm{im}}
\newcommand{\HH}{\mathcal{H}}
\newcommand{\fpa}{\mathrm{FPA}}
\newcommand{\pn}{\mathrm{part}}
\newcommand{\RP}{\mathrm{RelPrime}}
\newcommand{\rp}{\mathrm{relprime}}
\newcommand{\rpac}{\mathrm{rpac}}
\newcommand{\relprime}{\mathrm{relprime}}
\newcommand{\ptn}{\mathrm{part}}
\newcommand{\Rpac}{\mathrm{Rpac}}
\newcommand{\Relprime}{\mathrm{Relprime}}
\newcommand{\Ptn}{\mathrm{Part}}
\def\v{{\boldsymbol v}}
\def\t{{\boldsymbol t}}
\newcommand{\A}{\mathcal{V}}
\newcommand{\m}{\mathfrak{m}}




\section{Introduction}\label{sec:intro}

Given a lattice simplex $\Delta$, the structure of the lattice points in the fundamental parallelepiped of the cone over $\Delta$ reflects a wealth of arithmetic and combinatorial properties of $\Delta$.
In this work, we study a partial order on these lattice points that encodes the additive relations among these points.
Thus, our main results are primarily arithmetic in nature, and will hopefully be of interest to those working in areas where fundamental parallelepipeds play a role, e.g., Ehrhart theory, partition identities, coding theory, optimization, etc.
Our motivation for this investigation comes from questions regarding rationality of Poincar\'e series for infinite graded resolutions of graded algebras, where it is of particular interest when the partial order associated with $\Delta$ has no relations.
Thus, after developing our main results using number-theoretic techniques, we explain their algebraic implications.

More precisely, in Section~\ref{sec:fpp} we define the fundamental parallelepiped poset $P(\Delta)$ associated with $\Delta$, where we say $\Delta$ is \emph{antichain} if $P(\Delta)\smallsetminus \{0\}$ has no relations.
For each partition $\lambda$ of $n$, we define a lattice simplex $\Delta_\lambda$ having one unimodular facet, and we investigate the posets for these simplices in depth.
In Theorem~\ref{thm:order} we give a number-theoretic characterization of the relations in $P(\Delta_\lambda)$, and in Corollary~\ref{cor:order} we give a simplified characterization in the case where each part of $\lambda$ is relatively prime to $n-1$.
In Section~\ref{sec:experiments} we use these characterizations to generate empirical data, experimentally studying those $\Delta_\lambda$ for all partitions of $n$ with $n\leq 73$.
These experiments reveal that a substantial fraction of those $\lambda$ satisfying the relatively prime condition appear to have $\Delta_\lambda$ that are antichain.
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, in Section~\ref{sec:algebraic} we explain the algebraic implications of our work to Poincar\'e series of semigroup algebras associated with $\Delta$.
Specifically, we prove that if $\Delta$ is antichain, then the associated Poincar\'e series is rational.



\section{Fundamental parallelepiped posets and their structure}\label{sec:fpp}

\subsection{Lattice simplices and associated posets}
Details regarding polytopes, cones, Hilbert bases, etc. as discussed in the following can be found in standard references~\cite{CCD,MillerSturmfels}.
For a collection $\A=\{v_0,\dots,v_m\}$ of points in $\R^d$, we let $\conv(\A)$ denote the convex hull of $\A$.
In the case that $m=d$ and the set $\A^\circ\,:=\,\{(v_1-v_0),\dots,(v_d-v_0)\}$ is a vector space basis of $\R^d$, then we call $\Delta := \conv(\A)$ a $d$-simplex.
  We call the $v_i$'s the {\emph{vertices}} of $\Delta$, and if each $v_i$ is an integer point, i.e., lies in $\Z^d$, we call $\Delta$ a {\emph{lattice simplex}}.
We define the {\emph{conical hull}} of $\A$ to be the set
\[
  \cone(\A):=\left\{\sum_{i=0}^m\gamma_iv_i\,\text{ such that } 0\leq\gamma_i \right\}\subset \R^d. 
\]
Notice that the conical hull is unbounded, as in particular it contains the rays $\R_{\geq0}\cdot v_i$ for {${0\leq i \leq m}$}.

We are particularly interested in conical hulls of the following kind.
  Let $\A=\{v_0,\dots,v_d\}$ with $\Delta$ a lattice $d$-simplex.
  Then the {\emph{cone over}} $\Delta$ is
 \[
  \cone\{(1,v_0),\dots,(1,v_d)\}\subset\R^{d+1} \, ,
\]
and is denoted $\cone(\Delta)$.
We next recall the fundamental parallelepiped, a distinguished subset of $\cone(\Delta)$.

\begin{definition}For a lattice $d$-simplex $\Delta$ with vertices $v_0$ through $v_d$, the {\emph{fundamental parallelepiped}} $\Pi_\Delta$ is the set 
\[\Pi_\Delta\,:=\,\left\{\sum_{i=0}^{d}\gamma_i(1,v_i)\text{ such that }0\leq\gamma_i&lt;1\right\}\subset\cone(\Delta).\]
\end{definition}

Interest in the fundamental parallelepiped $\Pi_\Delta$ arises mainly from the following well-known fact: every lattice point in $\cone(\Delta)$ can be written uniquely as a non-negative integer combination of the $(1,v_i)$'s and a lattice point in $\Pi_\Delta$.
To see this, note that because any element $z$ of $\cone(\Delta)\cap\Z^{d+1}$ lies in $\cone(\Delta)$, it is a non-negative linear combination of the $(1,v_i)$'s, i.e., there exist non-negative real coefficients $g_i$ such that
\[
  z=\sum_{i=0}^{d}g_i(1,v_i)=\left(\sum_{i=0}^{d}\left\lfloor g_i\right\rfloor (1,v_i)\right) + \left(\sum_{i=0}^{d}\{g_i\} (1,v_i)\right)
\]
where $\{g_i\}$ means the fractional part of $g_i$.
By setting $\gamma_i$ equal to $\{g_i\}$, we see that any point $z$ may be written  as a non-negative integral combination of the $(1,v_i)$'s and an integer point in $\Pi_\Delta\cap\Z^{d+1}$.
In particular, it is well-known that the set $\cone(\Delta)\cap\Z^{d+1}$ has a unique finite minimal additive generating set.

\begin{definition}\label{def:hb}
 The unique minimal additive generating set of $\cone(\Delta)\cap\Z^{d+1}$ is called the {\emph{Hilbert basis}} $\HH$ of $\cone(\Delta)$.
  It consists of the $(1,v_i)$'s and some lattice points  $h_1$ through $h_m$ in $\Pi_\Delta$ such that 
  \[
    \cone(\Delta)\cap\Z^{d+1}=\left\{\left(\sum_{i=0}^dr_i(1,v_i)\right)+\left(\sum_{j=1}^ms_i\,h_i\right)\text{ such that } r_i\,,\,s_j\in\Z_{\geq0}\right\} \, .
  \]
\end{definition}

The Hilbert basis consists of the cone generators $(1,v_i)$ together with the additively minimal elements $h_j$ of $\Pi_\Delta\cap\Z^{d+1}$.
 If the matrix whose columns are given by $(1,v_i)$ has determinant $\pm \v$, we say that the simplex $\Delta$ has {\emph{normalized volume}} $\v$. 
Since $\v$ is precisely the index of the sub-lattice generated by $(1,v_0)$ through $(1,v_d)$, we see that the normalized volume is equal to the number of lattice points in $\Pi_\Delta$.
If the normalized volume of $\Delta$ is equal to one, then we call $\Delta$ a {\emph{unimodular}} simplex. 

The set of lattice points $\Z^{d+1}\cap\Pi_\Delta$ can be equipped with the following partial order, inherited from a well-known partial order on the lattice points in $\Z^{d+1}\cap\cone(\Delta)$.
\begin{definition} The set $\Z^{d+1}\cap\Pi_\Delta$ is partially ordered by letting $\sigma\prec\mu$ if and only if $\mu-\sigma$ is an element of $\Z^{d+1}\cap\Pi_\Delta$. We call this poset the {\emph{fundamental parallelepiped poset}} $\PP(\Delta)$.
\end{definition}
Observe that the zero element of $\Z^{d+1}\cap\Pi_\Delta$ is below every other element of $\PP(\Delta)$, and that the minimal elements of $\PP(\Delta)\smallsetminus \{0\}$ are precisely the elements $h_1,\dots,h_m$ of the Hilbert basis of $\cone(\Delta)$.
Our interest is in the case where the Hilbert basis contains all the elements of $\PP(\Delta)\smallsetminus \{0\}$, leading to the following definition.

\begin{definition}
If $\Delta$ is a simplex such that $P(\Delta)\smallsetminus \{0\}$ is an antichain, we call $\Delta$ an \emph{antichain simplex} and say $\Delta$ is \emph{antichain}.
\end{definition}

\begin{example}  
  Recall that an empty simplex is one whose only lattice points are its vertices.
  It is known that any $2$-dimensional empty simplex is unimodularly equivalent to the convex hull of the origin and the standard basis vectors; this is easily verified to be antichain.
  Let $\Delta$ be a $3$-dimensional empty simplex, for which a classification of such simplices was given by G. K. White~\cite{WhiteSimplices}.
Since $\Delta$ is empty, no lattice points of $\Pi_\Delta$ have $0$-th coordinate equal to one, and thus the only possible $0$-th coordinates of lattice points in $\Pi_\Delta$ are $2$ or $3$.
However, sums of pairs of such lattice points have $0$-th coordinate equal to $4$, $5$, or $6$, and hence $\PP(\Delta)$ has no relations.
Thus, every $3$-dimensional empty simplex is antichain.
\end{example}

When attempting to determine whether or not $\Delta$ is antichain, the first problem encountered is to enumerate the elements of $\Pi_\Delta\cap\Z^{d+1}$.
As an initial attempt in this direction, let the matrix $A$ have columns given by $\{(1,v_i)\}_{0\leq i\leq d}$, where the $v_i$'s are the vertices of $\Delta$.
Recall that the normalized volume $\v$, the number of elements of $\Pi_\Delta$, may be computed by $\v=|\det A|$.
Recall also that the set $\Pi_\Delta$ is the image of $[0,1)^{d+1}$ under the linear transformation $A$, so that the preimage of a lattice point of $\Pi_\Delta$ must be a rational point of $[0,1)^{d+1}$ with denominator $\v$.
We may therefore compute the set of points in $\Pi_\Delta\cap\Z^{d+1}$ by considering each element of the form
\[
  \left\{A\cdot\left(\frac{b_0}{\v},\cdots,\frac{b_d}{\v}\right)^T\text{ such that }0\leq b_i&lt;\v\right\} \, ,
\]
throwing out the ones which are not integer points.
Unfortunately, this test set grows as $\v^{d+1}$, and there is no easy way to describe the lattice points among them.

The software {\tt Normaliz}~\cite{Normaliz} gives a more efficient implementation based on the fact that (possibly after a lattice translation) the matrix $A$ has a representation $A=UH$ where $U$ is a unimodular matrix and $H$ is in Hermite normal form. Bruns et al.~\cite{bruns2012power} show that, for $\{c_{i,i}\}_{0\leq i\leq d}$ given by the diagonal entries of the matrix $H$, lattice points in 
\[[0,c_{0,0})\times\cdots\times[0,c_{d,d})
\] are representatives of the quotient classes (in $\Z^{d+1}$ modulo the $(1,v_i)$'s) of the elements of $\Pi_\Delta\cap\Z^{d+1}$. It is then sufficient to consider the image under $A$ of the elements $\left(A^{-1}\cdot x\right)\mod\Z^{d+1}$ for $x\in[0,c_{0,0})\times\cdots\times[0,c_{d,d})$. This modular arithmetic is implemented in a computer easily enough, but introduces number theory to any analysis of the poset $P(\Delta)$.

\subsection{Lattice simplices with a unimodular facet and their posets}\label{sec:simplices}

In this work, we study a restricted class of simplices in order to avoid both of the methods described above for determining $\Pi_\Delta\cap \Z^{d+1}$.

\begin{definition} We say that a lattice $d$-simplex has a {\emph{unimodular facet}} if there exists a permutation $\pi$ in $\fS_{d+1}$ such that $\conv(\{v_{\pi_1},\dots,v_{\pi_d}\})$ is a unimodular lattice $(d-1)$-simplex.
\end{definition}

One way to represent these simplices is through their Hermite normal form, which is of the form
\[
  \left[
  \begin{array}{cccccc}
    0 &amp; 1 &amp; 0 &amp; \cdots &amp; 0 &amp; a_1 \\
        0 &amp; 0 &amp; 1 &amp; \cdots &amp; 0 &amp; a_2 \\
    \vdots &amp; \vdots &amp; \vdots &amp; \ddots &amp; \vdots &amp; \vdots \\
    0 &amp; 0 &amp; 0 &amp; \cdots &amp; 1 &amp; a_{d-1} \\
    0 &amp; 0 &amp; 0 &amp; \cdots &amp; 0 &amp; n
    \end{array}\right] 
  \]
where for $i=1,\ldots,d-1$ we have $0\leq a_i&lt;n$.
Simplices with Hermite normal form having only a single non-trivial column, such as the ones given above, were previously considered by Hibi, Higashitani, and Li~\cite[Section 3]{HibiHigashitaniLi} in the context of Ehrhart theory.

Alternatively, if $\Delta$ has a unimodular facet, then we may define a lattice preserving transformation taking $\Delta$ to $\conv(e_1,\dots,e_d,z)$ where the $e_i$ are the standard basis vectors of $\R^{d}$ and $z$ is a lattice point in $\Z^{d}$.
This is the general approach we will take in this paper, and we will focus our analysis on those $\Delta$ having $z$ with strictly positive entries.
Our goal in this section is to find a description of the relations in $P(\Delta)$ in terms of the coordinates of the point $z$ for such simplices.

Note that in the following definition, we can assume that $\lambda$ is a partition of $n$, as permuting the entries of $\lambda$ corresponds to a unimodular transformation of the $\Delta_\lambda$ that is defined.
This provides us with a unique lattice simplex for each integer partition, which is our motivation for this restriction.

\begin{definition}
  Let $\lambda=(\lambda_1,\dots,\lambda_d)$ be a lattice point in $\N^d$ such that $\sum_{i=1}^d\lambda_i=n$.
  We define $\Delta_\lambda:=\conv(e_1,\ldots,e_d,\lambda)\subset \R^d$ and use the shortened notation $\Pi_\lambda:=\Pi_{\Delta_\lambda}$ and $P(\lambda):=P(\Delta_\lambda)$.
\end{definition}


\begin{remark}\label{rmk:hnf}
  The simplices $\Delta_\lambda$ are defined in a similar manner to the simplices $\Delta_{(1,q)}$ that have recently been studied by multiple authors~\cite{BraunDavisPoinc,BraunDavisSolusIDP,BraunLiu,DavisMachine,Payne,SolusOsaka,SolusSimplices}.
  However, these are not the same families of simplices.
Specifically, the matrix giving the Hermite normal form of $\Delta_\lambda$ (after translating $\Delta_\lambda$ by $-e_1$) is
\[
  \left[
  \begin{array}{cccccc}
    0 &amp; 1 &amp; 0 &amp; \cdots &amp; 0 &amp; \lambda_2 \\
        0 &amp; 0 &amp; 1 &amp; \cdots &amp; 0 &amp; \lambda_3 \\
    \vdots &amp; \vdots &amp; \vdots &amp; \ddots &amp; \vdots &amp; \vdots \\
    0 &amp; 0 &amp; 0 &amp; \cdots &amp; 1 &amp; \lambda_d \\
    0 &amp; 0 &amp; 0 &amp; \cdots &amp; 0 &amp; -1+\sum_i\lambda_i
    \end{array}\right] \, .
  \]
Note that $\sum_{i=2}^d\lambda_i\leq -1+\sum_{i=1}^d\lambda_i$.

Setting $Q=1+\sum_iq_i$, the Hermite normal form for $\Delta_{(1,q)}$ is
  \[
  \left[
  \begin{array}{cccccc}
    0 &amp; 1 &amp; 0 &amp; \cdots &amp; 0 &amp; Q-q_2 \\
        0 &amp; 0 &amp; 1 &amp; \cdots &amp; 0 &amp; Q-q_3 \\
    \vdots &amp; \vdots &amp; \vdots &amp; \ddots &amp; \vdots &amp; \vdots \\
    0 &amp; 0 &amp; 0 &amp; \cdots &amp; 1 &amp;Q-q_d \\
    0 &amp; 0 &amp; 0 &amp; \cdots &amp; 0 &amp; Q
    \end{array}\right] \, .
\]
Note that for $d\geq 3$, we have $\sum_{i=2}^dQ-q_i&gt;Q$.
Thus, these are distinct classes of simplices.
\end{remark}

The following is a straightforward determinant calculation that also follows from the Hermite normal form given in Remark~\ref{rmk:hnf}.

\begin{proposition}\label{prop:fpplatticepoints}
The number of lattice points in $\Pi_\lambda$, which is equal to the normalized volume of $\Delta_\lambda$, is $\sum_{i=1}^d\lambda_i -1 = n-1$.
\end{proposition}

We can now describe the integer points in $\Pi_\lambda$ using only the entries of $\lambda$.

\begin{proposition}\label{prop:fppparameter}
For each integer $b$ with $0\leq b &lt; n-1$, there is a unique lattice point $p(b)$ in $\Pi_\lambda$ given by 
\begin{equation}\label{eqn:p(b)}
p(b) =\left(\left(\sum_{i=1}^d\left\lceil \frac{b\lambda_i}{n-1}\right\rceil\right)-b\;,\; \left\lceil \frac{b\lambda_1}{n-1}\right\rceil\;,\;\dots\;,\;\left\lceil \frac{b\lambda_d}{n-1}\right\rceil\right) \, .
\end{equation}
Every integer point in $\Pi_\lambda$ arises in this manner, and thus we identify the integer $b$ with the lattice point $p(b)$.
\end{proposition}

\begin{proof}
For an element $\sum_{i=1}^d\gamma_i(1,e_i) + \gamma_{d+1}(1,\lambda) \in\Pi_\lambda\cap\Z^{d+1}$, we have
\[
\left(\left(\sum_{i=1}^{d+1}\gamma_i\right)\;,\;(\gamma_1+\gamma_{d+1}\lambda_1)\;,\;\dots\;,\;(\gamma_d+\gamma_{d+1}\lambda_d)\right) \in \Z^{d+1}\, .
\]
Because of the condition that each $\gamma_i$ is strictly less than one, for each $i$ we have
\[
\gamma_i=\lceil \gamma_{d+1}\lambda_i\rceil -  \gamma_{d+1}\lambda_i \, ,
\]
thus
\begin{align*}&amp;\left(\gamma_{d+1}+\sum_{i=1}^{d}\left(\lceil \gamma_{d+1}\lambda_i\rceil-\gamma_{d+1}\lambda_i\right),\lceil \gamma_{d+1}\lambda_1\rceil,\dots,\lceil \gamma_{d+1}\lambda_d\rceil\right)\\
=&amp;\left(\gamma_{d+1}\left(1-\sum_{i=1}^{d}\lambda_i\right)+\sum_{i=1}^d\lceil \gamma_{d+1}\lambda_i\rceil,\lceil \gamma_{d+1}\lambda_1\rceil,\dots,\lceil \gamma_{d+1}\lambda_d\rceil\right).\end{align*}

Observe that the first coordinate of this vector is an integer, hence
\[
\gamma_{d+1}\left(1-\sum_{i=1}^{d}\lambda_i\right)=\gamma_{d+1}(1-n) \in \Z \, .
\] 
It follows that $\gamma_{d+1}$ is a rational number of the form $b/(n-1)$, and every lattice point arises in this manner and is of the form
\[
\left(\left(\sum_{i=1}^d\left\lceil \frac{b\lambda_i}{n-1}\right\rceil\right)-b\;,\; \left\lceil \frac{b\lambda_1}{n-1}\right\rceil\;,\;\dots\;,\;\left\lceil \frac{b\lambda_d}{n-1}\right\rceil\right) \, .
\]
Since there are $n-1$ lattice points in $\Pi_\lambda$ by Proposition~\ref{prop:fpplatticepoints}, there must be one unique lattice point for each $0\leq b&lt;n-1$.
\end{proof}


Using the notation from~\eqref{eqn:p(b)}, for $0\leq b&lt;n-1$ we have that the zeroth coordinate of $p(b)$ is
\[
p(b)_0:=\left(\sum_{i=1}^d\left\lceil \frac{b\lambda_i}{n-1}\right\rceil\right)-b \, .
\]
Recall that we freely identify the integer $b$ with the lattice point $p(b)$.
The following lemma provides a connection between the parameterization of the integer points in $\Pi_\lambda$ and the order in $P(\lambda)$.

\begin{lemma}\label{lem:ij}
For $i,j\in P(\lambda)$ with $i\neq j$, we have $i\prec j$ if and only if $i&lt;j$ and $p(i)+p(j-i)=p(j)$.
\end{lemma}

\begin{proof}
For the forward direction, if $i\prec j$, then by Proposition~\ref{prop:fppparameter} there exists a point $p(\ell)\in P(\lambda)$ such that $p(i)+p(\ell)=p(j)$.
Note that $\ell&gt;0$ since $p(0)=0$.
It follows that for all $1\leq t\leq d$, we have
\[
\left\lceil \frac{i\lambda_t}{n-1}\right\rceil + \left\lceil \frac{\ell\lambda_t}{n-1}\right\rceil = \left\lceil \frac{j\lambda_t}{n-1}\right\rceil \, .
\]
Given this, we have that $p(i)_1+p(\ell)_1=p(j)_1$ reduces to $i+\ell=j$, forcing $\ell=j-i&gt;0$, as desired.

For the reverse direction, if $i&lt;j$ and $p(i)+p(j-i)=p(j)$, then we have $i\prec j$ by definition.
\end{proof}


We now give two propositions demonstrating how Lemma~\ref{lem:ij} can be used in practice.


\begin{proposition}\label{prop:twins}
If $0\neq i\prec j$ in $P(\lambda)$, then also $j-i\prec j$ in $P(\lambda)$.
\end{proposition}

\begin{proof}
By Lemma~\ref{lem:ij}, we have $0\neq i\prec j$ if and only if $0\neq i&lt;j$ and $p(i)+p(j-i)=p(j)$ if and only if $0\neq j-i&lt;j$ and $p(i)+p(j-i)=p(j)$ if and only if $0\neq j-i\prec j$.
\end{proof}

\begin{proposition}\label{prop:n22}
Let $\lambda=(n-2,2)$.
Then $P(n-2,2)$ is equal to the following poset on the elements $\{1,2,\ldots,n-2\}$:
The minimal elements of $P(n-2,2)$ are $\{1,2,\ldots,\left\lfloor \frac{n-1}{2}\right\rfloor\}$ and the maximal elements are $\{\left\lfloor \frac{n-1}{2}\right\rfloor +1,\ldots, n-2\}$.
The cover relations are that the maximal element $\left\lfloor \frac{n-1}{2}\right\rfloor +j$ covers $\{j,j+1,\ldots,\left\lfloor \frac{n-1}{2}\right\rfloor\}$.
\end{proposition}


\begin{figure}[ht]
\begin{center}
\begin{tikzpicture}
    \node (10) at (0,0) {$5$};
    \node [right of = 10] (top6) {$6$};
    \node [right of = top6] (top7) {$7$};
    \node [right of = top7] (top8) {$8$};
    \node [below of = 10] (bot1) {$1$};
    \node [below of = top6] (bot2) {$2$};
    \node [below of = top7] (bot3) {$3$};
    \node [below of = top8] (bot4) {$4$};
    \draw [thick, shorten &lt;=-2pt, shorten &gt;=-2pt] (10) -- (bot1);
    \draw [thick, shorten &lt;=-2pt, shorten &gt;=-2pt] (10) -- (bot2);
    \draw [thick, shorten &lt;=-2pt, shorten &gt;=-2pt] (10) -- (bot3);
    \draw [thick, shorten &lt;=-2pt, shorten &gt;=-2pt] (10) -- (bot4);
    \draw [thick, shorten &lt;=-2pt, shorten &gt;=-2pt] (top6) -- (bot2);
    \draw [thick, shorten &lt;=-2pt, shorten &gt;=-2pt] (top6) -- (bot3);
    \draw [thick, shorten &lt;=-2pt, shorten &gt;=-2pt] (top6) -- (bot4);
    \draw [thick, shorten &lt;=-2pt, shorten &gt;=-2pt] (top7) -- (bot3);
    \draw [thick, shorten &lt;=-2pt, shorten &gt;=-2pt] (top7) -- (bot4);
    \draw [thick, shorten &lt;=-2pt, shorten &gt;=-2pt] (top8) -- (bot4);
\end{tikzpicture}
\caption{The poset $P(6,2)$.}
\end{center}
\end{figure}

\begin{proof}
By Lemma~\ref{lem:ij}, we see that $i\prec j$ if and only if $i&lt;j$ and the following hold:
\begin{align}
\label{eq:2} \left\lceil \frac{2i}{n-1}\right\rceil + \left\lceil \frac{2(j-i)}{n-1}\right\rceil &amp; = \left\lceil \frac{2j}{n-1}\right\rceil \\
\label{eq:n2} \left\lceil \frac{i(n-2)}{n-1}\right\rceil + \left\lceil \frac{(j-i)(n-2)}{n-1}\right\rceil &amp; = \left\lceil \frac{j(n-2)}{n-1}\right\rceil
\end{align}
It is straightforward to verify that these equations hold for the values claimed in the proposition statement.

To show that no other pairs $i&lt;j$ lead to relations $i\prec j$, suppose that $1\leq i&lt;j\leq \left\lfloor \frac{n-1}{2}\right\rfloor$.
Then in~\eqref{eq:2}, we obtain $1+1=1$, which is false.
Similarly, if $\left\lfloor \frac{n-1}{2}\right\rfloor +1 \leq i&lt;j\leq n-2$, then in~\eqref{eq:2} we obtain $2+2=2$, which is again false.
\end{proof}


\subsection{Characterizing the relations in $P(\lambda)$}

While Lemma~\ref{lem:ij} is a reasonable first tool, as Propositions~\ref{prop:twins} and~\ref{prop:n22} illustrate, in general it is difficult to compute these relations directly.
Thus, we need to create a more sophisticated mechanism through which to study $P(\lambda)$.
In this section, we establish in Theorem~\ref{thm:order} a number-theoretic characterization of the relations in $P(\lambda)$.
Further, Corollary~\ref{cor:order} provides a particularly simple characterization in the case where each part of $\lambda$ is relatively prime to $n-1$.

For $0\leq i&lt;n-1$, define the non-negative integers $r_{t,i}$ and $0\leq s_{t,i}&lt;n-1$ by 
\begin{equation}
i\lambda_t=r_{t,i}(n-1)+s_{t,i} \, . \label{eqn:rsdef}
\end{equation}

\begin{lemma}\label{lem:scondition}
We have $i\prec j$ in $P(\lambda)$ if and only if $i&lt;j$ and for every $t\in \{1,\ldots,d\}$ we have
\begin{equation}\label{eqn:seqn}
\frac{s_{t,i}+s_{t,j-i}-s_{t,j}}{n-1}=\left\lceil \frac{s_{t,i}}{n-1}\right\rceil + \left\lceil \frac{s_{t,j-i}}{n-1}\right\rceil - \left\lceil \frac{s_{t,j}}{n-1}\right\rceil 
\end{equation}
\end{lemma}

\begin{proof}
After adding and subtracting~\eqref{eqn:rsdef} for the values $i$, $j-i$, and $j$, we obtain
\begin{equation}\label{eqn:rtos}
r_{t,i}+r_{t,j-i}-r_{t,j} = \frac{-s_{t,i}-s_{t,j-i}+s_{t,j}}{n-1} \, .
\end{equation}
By dividing both sides of~\eqref{eqn:rsdef} by $n-1$ and taking the ceiling of both sides, we see that
\begin{equation}
\label{eqn:floor} \left\lceil \frac{\ell\lambda_t}{n-1}\right\rceil = r_{t,\ell}+\left\lceil \frac{s_{t,\ell}}{n-1}\right\rceil \, .
\end{equation}
Adding~\eqref{eqn:floor} with itself for $\ell$ equal to $i$ and $j-i$, then subtracting the equation with $\ell=j$, and further applying~\eqref{eqn:rtos},  we obtain
\begin{align*}
&amp; \left\lceil \frac{i\lambda_t}{n-1}\right\rceil + \left\lceil \frac{(j-i)\lambda_t}{n-1}\right\rceil - \left\lceil \frac{j\lambda_t}{n-1}\right\rceil \\
 =&amp; \, r_{t,i}+r_{t,j-i}-r_{t,j}+\left\lceil \frac{s_{t,i}}{n-1}\right\rceil + \left\lceil \frac{s_{t,j-i}}{n-1}\right\rceil - \left\lceil \frac{s_{t,j}}{n-1}\right\rceil \\
=&amp; \, \frac{-s_{t,i}-s_{t,j-i}+s_{t,j}}{n-1}+\left\lceil \frac{s_{t,i}}{n-1}\right\rceil + \left\lceil  \frac{s_{t,j-i}}{n-1}\right\rceil - \left\lceil \frac{s_{t,j}}{n-1}\right\rceil \, .
\end{align*}
Recall that $i\prec j$ in $P(\lambda)$ if and only if $p(i)+p(j-i)=p(j)$ if and only if for all $t$, we have that 
\[
\left\lceil \frac{i\lambda_t}{n-1}\right\rceil + \left\lceil \frac{(j-i)\lambda_t}{n-1}\right\rceil - \left\lceil \frac{j\lambda_t}{n-1}\right\rceil =0 \, ,
\]
which by our computation above holds if and only if 
\[
\frac{s_{t,i}+s_{t,j-i}-s_{t,j}}{n-1}=\left\lceil \frac{s_{t,i}}{n-1}\right\rceil + \left\lceil  \frac{s_{t,j-i}}{n-1}\right\rceil - \left\lceil \frac{s_{t,j}}{n-1}\right\rceil \, .
\]
\end{proof}

\begin{theorem}\label{thm:order}
Let $\lambda$ be a partition of $n$.
We have $i\prec j$ in $P(\lambda)$ if and only if $i&lt;j$ and for each $t\in \{1,\ldots,d\}$, one of the following holds:
\begin{enumerate}
\item $s_{t,i}&gt; s_{t,j}&gt;0$,
\item $s_{t,i}=0$ and $s_{t,j}=s_{t,j-i}$, or
\item $s_{t,j}=s_{t,i}&gt;0$ and $s_{j-i}=0$.
\end{enumerate}
\end{theorem} 

\begin{proof}
\emph{Forward implication:}
Suppose that $i\prec j$ in $P(\lambda)$, and thus by Lemma~\ref{lem:scondition} the $s$-values satisfy~\eqref{eqn:seqn}.
We consider five cases:
\begin{itemize}
\item $s_{t,i}=0$
\item $s_{t,i}&gt;s_{t,j}=0$
\item $s_{t,i}=s_{t,j}&gt;0$
\item $s_{t,i}&gt;s_{t,j}&gt;0$
\item $s_{t,j}&gt;s_{t,i}&gt;0$
\end{itemize}

\emph{Case 1: $s_{t,i}=0$}.  
If $s_{t,i}=0$, then by~\eqref{eqn:seqn} we have that 
\[
\frac{s_{t,j-i}-s_{t,j}}{n-1} = \left\lceil \frac{s_{t,j-i}}{n-1}\right\rceil - \left\lceil \frac{s_{t,j}}{n-1}\right\rceil \, .
\]
Thus $\displaystyle \frac{s_{t,j-i}-s_{t,j}}{n-1}$ is equal to an integer, and the fact that $0\leq s_{t,\ell}&lt;n-1$ implies that $s_{t,j-i}-s_{t,j}=0$.
Thus, we must have $s_{t,j-i}=s_{t,j}$.
This establishes the second condition in the theorem statement.

\emph{Case 2: $s_{t,i}&gt;s_{t,j}=0$}. 
In this case,~\eqref{eqn:seqn} implies
\[
\frac{s_{t,i}+s_{t,j-i}}{n-1} = \left\lceil \frac{s_{t,i}}{n-1}\right\rceil + \left\lceil \frac{s_{t,j-i}}{n-1}\right\rceil \, .
\]
Thus $\displaystyle \frac{s_{t,i}+s_{t,j-i}}{n-1}$ is an integer, and again since $0\leq s_{t,\ell}&lt;n-1$ and $0&lt;s_{t,i}&lt;n-1$ we have that
Thus, it is impossible to have $s_{t,i}&gt;s_{t,j}=0$.

\emph{Case 3: $s_{t,i}=s_{t,j}&gt;0$}. 
In this case,~\eqref{eqn:seqn} implies
\[
\frac{s_{t,j-i}}{n-1} = \left\lceil \frac{s_{t,j-i}}{n-1}\right\rceil \, .
\]
This forces $s_{t,j-i}=0$, resulting in the third condition in the theorem statement.

\emph{Case 4: $s_{t,i}&gt;s_{t,j}&gt;0$}.
In this case,~\eqref{eqn:seqn} implies $\displaystyle \frac{s_{t,i}+s_{t,j-i}-s_{t,j}}{n-1}$ is equal to an integer, and the fact that every $0\leq s_{t,\ell}&lt;n-1$ implies this integer is $0$ or $1$.
Since $n-1&gt;s_{t,i}-s_{t,j}&gt;0$, we must have $\displaystyle \frac{s_{t,i}+s_{t,j-i}-s_{t,j}}{n-1}=1$, and also the right-hand side of~\eqref{eqn:seqn} is equal to $1$.
Thus, the first condition in the theorem statement is possible if $i\prec j$.

\emph{Case 5: $s_{t,j}&gt;s_{t,i}&gt;0$}.
Following the same logic as in the previous case, we must have $\displaystyle \frac{s_{t,i}+s_{t,j-i}-s_{t,j}}{n-1}=0$ and thus $s_{t,j-i}\neq 0$.
But then the right-hand side of~\eqref{eqn:seqn} is equal to $0$ while the right-hand side is equal to $1$, a contradiction.

\emph{Reverse implication:}
We verify that each of the three conditions listed in the theorem statement imply that~\eqref{eqn:seqn} is valid.

First, by equation~\eqref{eqn:rtos} we have $\displaystyle \frac{s_{t,i}+s_{t,j-i}-s_{t,j}}{n-1}\in \Z$.
Combining $n-1&gt;s_{t,i}&gt;s_{t,j}&gt;0$ and the general bounds $0\leq s_{t,\ell}&lt;n-1$ for all $\ell$, it follows that $\displaystyle \frac{s_{t,i}+s_{t,j-i}-s_{t,j}}{n-1}= 1$.
Thus, $s_{t,i}+s_{t,j-i}-s_{t,j}=n-1$.
Since $n-1&gt;s_{t,i}-s_{t,j}&gt;0$, we have $s_{t,j-i}=n-1-(s_{t,i}-s_{t,j})&gt;0$, and thus
\[
\left\lceil \frac{s_{t,i}}{n-1}\right\rceil + \left\lceil \frac{s_{t,j-i}}{n-1} \right\rceil - \left\lceil \frac{s_{t,j-i}}{n-1}\right\rceil =1\, .
\] 
We conclude that equation~\eqref{eqn:seqn} holds.


Second, if $s_{t,i}=0$ and $s_{t,j}=s_{t,j-i}$, then it is immediate that~\eqref{eqn:seqn} holds.

Finally, if $s_{t,j}=s_{t,i}&gt;0$ and $s_{j-i}=0$, then again it is immediate that~\eqref{eqn:seqn} holds.
\end{proof}


The following corollary illustrates a special case of Theorem~\ref{thm:order} that we will focus on in the remainder of this paper.
\begin{corollary}\label{cor:order}
Let $\lambda$ be a partition of $n$ where each coordinate is coprime to $n-1$, i.e., $\gcd(n-1,\lambda_t)=1$.
Then $i\prec j$ in $P(\lambda)$ if and only if $s_{t,i}&gt; s_{t,j}&gt;0$ for every $t$.
\end{corollary}

\begin{proof}
If $\gcd(n-1,\lambda_t)=1$, then $s_{t,i}\neq 0$ for all $i$. Thus, the second and third conditions in Theorem~\ref{thm:order} do not apply.
\end{proof}

\begin{remark}
Ehrhart-theoretic properties of simplices $\Delta_\lambda$ that satisfy the relatively prime condition in Corollary~\ref{cor:order} have been previously studied by Hibi, Higashitani, and Li~\cite[Section 3]{HibiHigashitaniLi}.
\end{remark}

We can use Corollary~\ref{cor:order} to prove the following structural result regarding $P(\lambda)$ in the case where each part of $\lambda$ is coprime to $n-1$.
\begin{theorem}\label{thm:duality}
Let $\lambda$ be a partition of $n$ such that each $\lambda_t$ is coprime to $n-1$.
Then $P(\lambda)$ is self-dual.
\end{theorem}

\begin{proof}
We claim that $\phi:x\to n-1-x$ for $x\in [n-2]$ is an order-reversing poset isomorphism.
It is clear that $\phi$ is a bijection.
To see that $\phi$ is order-reversing, observe that by Corollary~\ref{cor:order}, we have that $i\prec j$ if and only if 
\begin{equation}\label{eq:dual1}
s_{t,i}&gt;s_{t,j} \text{ for all } t \, .
\end{equation}
Due to the fact that $\gcd(n-1,\lambda_t)=1$, we have that
$s_{t,i}+s_{t,n-i-i}=n-1$ for all $i$ and $t$, and thus~\eqref{eq:dual1} holds if and only if
\begin{equation}
s_{t,n-1-j}&gt;s_{t,n-1-i} \text{ for all } t \, .
\end{equation}
This final condition holds if and only if $n-1-j\prec n-1-i$, as desired.
\end{proof}


\subsection{Partitions with one distinct part}\label{sec:onedistinct}

As an example of how these results can be applied, we consider the case where $\lambda=(x,x,\ldots,x)$ has $v$ occurrences of $x$.
In this case, it is immediate that $x$ is coprime to $n-1=vx-1$.
The following theorem shows that $P(\lambda)$ has a direct interpretation as a subposet of $\Z^2$.

\begin{theorem}\label{thm:onepartposet}
For $\lambda=(x,x,\ldots,x)$ with $v$ occurrences of $x$, we have that $P(\lambda)$ is isomorphic to the poset with elements 
\[
\left\{(r,p):0\leq r&lt;x, 0\leq p&lt;v \right\}\setminus\left\{(0,0),(x-1,v-1) \right\} 
\]
and order relation $(r,p)\prec (r',p')$ if both $p&gt;p'$ and $r'&gt;r$.
\end{theorem}


\begin{proof}
For $1\leq i\leq vx-2$, write 
\[
i=r_i v+p_i
\]
where $0\leq r_i&lt;x$ and $0\leq p_i&lt;v$, but we do not have simultaneously $r_i=x-1$ and $p_i=v-1$.
Then
\begin{align*}
s_i &amp; = ix-\left\lfloor \frac{ix}{xv-1}\right\rfloor(xv-1) \\
&amp; = x(r_i v+p_i) - \left\lfloor \frac{(r_i v + p_i)x}{xv-1}\right\rfloor(xv-1) \\
&amp; = xr_i v + xp_i - \left\lfloor \frac{xr_i v  -r_i + r_i + p_i x}{xv-1}\right\rfloor(xv-1) \\ 
&amp; = xr_i v + xp_i - \left( r_i +\left\lfloor \frac{r_i + p_i x}{xv-1}\right\rfloor\right)(xv-1) \\ 
&amp; = r_i + xp_i - \left\lfloor \frac{r_i + p_i x}{xv-1}\right\rfloor(xv-1) \\ 
&amp; = r_i + xp_i,
\end{align*}
where the final equality is a result of the bounds on $r_i$ and $p_i$ forcing the floor function to be zero.
Thus, if $i=r_i v+p_i$ and $j=r_j v +p_j$, then we have $i\prec j$ in $P(\lambda)$ if and only if $i&lt;j$ and $s_i&gt;s_j$, which happens if and only if the following two conditions simultaneously occur:
\begin{itemize}
\item $p_i &gt; p_j$ or $p_i=p_j$ with $r_i&gt;r_j$
\item $r_j &gt;r_i$ or $r_j = r_i$ with $p_j &gt; p_i$
\end{itemize}
The only way for both conditions to simultaneously occur is to have $p_i &gt; p_j$ and $r_j &gt;r_i$, and thus our proof is complete.
\end{proof}

The following corollary follows immediately.

\begin{corollary}\label{cor:onedigitswap}
The posets for $\lambda=(x,x,\ldots,x)$ where $x$ occurs $v$ times and $\lambda'=(v,v,\ldots,v)$ where $v$ occurs $x$ times are isomorphic.
\end{corollary}

Corollary~\ref{cor:onedigitswap} is interesting because the two lattice simplices corresponding to $\lambda$ and $\lambda'$ are in different dimensions.
As an aside, we remark that the order on the lattice points within a rectangular grid given in Theorem~\ref{thm:onepartposet} corresponds to the reflexive closure of the direct product of two strict total orders.

\begin{example}
Figures~\ref{fig:46} and~\ref{fig:64} show the Hasse diagrams of the posets $P(4,4,4,4,4,4)$ and $P(6,6,6,6)$, respectively, embedded in $\Z^2$ as described in Theorem~\ref{thm:onepartposet}.
This illustrates the isomorphism obtained by switching the roles of $x$ and $v$.
\begin{figure}[ht]
\centering
\begin{minipage}{.5\textwidth}
  \centering
\resizebox{0.5\textwidth}{!}{\includegraphics{posetfig46.eps}}
\caption{$P(4,4,4,4,4,4)$.}
  \label{fig:46}
\end{minipage}
\begin{minipage}{.5\textwidth}
  \centering
\resizebox{0.8\linewidth}{!}{\includegraphics{posetfig64.eps}}
\caption{$P(6,6,6,6)$.}
  \label{fig:64}
\end{minipage}
\end{figure}
\end{example}


\section{Experimental results}\label{sec:experiments}


\subsection{Exhaustive search of $\Delta_\lambda$ over all partitions of $n$}

The results in Section~\ref{sec:fpp}, particularly Theorem~\ref{thm:order} and Corollary~\ref{cor:order}, provide explicit tools for studying the relations in $P(\lambda)$.
Also, Corollary~\ref{cor:order} and Theorem~\ref{thm:duality} demonstrate that the condition that the parts of $\lambda$ be relatively prime to $\sum_i\lambda_i-1$ imposes additional structure on $P(\lambda)$, leading us to the following definition.

\begin{definition}
Given a partition $\lambda$ of $n$, if $\gcd(\lambda_i,n-1)=1$ for all $i$, we say $\lambda$ \emph{satisfies the relatively prime condition}.
  Let $\Ptn(n)$ denote the set of partitions of $n$, and let $\ptn(n):=|\Ptn(n)|$.
Let $\Relprime(n)$ denote the set of partitions of $n$ that satisfy the relatively prime condition, and set $\relprime(n):=|\Relprime(n)|$.
Finally, let $\Rpac(n)$ denote the subset of $\Relprime(n)$ for which $\Delta_\lambda$ is an antichain simplex, and set $\rpac(n):=|\Rpac(n)|$.
\end{definition}

Using {\tt SageMath}~\cite{SAGE} via {\tt CoCalc.com}~\cite{cocalc}, we computed $\ptn(n)$, $\relprime(n)$, and $\rpac(n)$ for all $1\leq n\leq 73$; the results are given in Table~\ref{table1}.
Figure~\ref{fig:percentrelprime} plots $\rp(n)/\pn(n)$ for these values, and Figure~\ref{fig:percentantichainofrelprime} plots the ratio $\rpac(n)/\relprime(n)$.

\begin{figure}[ht]
  \centering
  \includegraphics[width=0.7\textwidth]{percent_relatively_prime.eps}
\caption{The ratio $\rp(n)/\pn(n)$ for $1\leq n\leq 73$.}
  \label{fig:percentrelprime}
\end{figure}

\begin{figure}[ht]
  \centering
  \includegraphics[width=0.7\textwidth]{percent_antichain_of_relativelyprime.eps}
\caption{The ratio $\rpac(n)/\relprime(n)$ for $1\leq n\leq 73$.}
  \label{fig:percentantichainofrelprime}
\end{figure}

What follows are some observations regarding this experimental data.

\begin{enumerate}
\item Figure~\ref{fig:percentantichainofrelprime} shows that regardless of the total value of $\relprime(n)$, $\rpac(n)/\relprime(n)$ is generally above $0.8$ and as $n$ grows it is clustering between $0.85$ and $0.95$.
  Thus, these experiments suggest that when $\lambda$ satisfies the relatively prime condition, it is likely that $\Delta_\lambda$ is antichain.
\item Figure~\ref{fig:percentrelprime} shows that when $n-1$ is not prime or the square of a prime, the ratio $\rp(n)/\pn(n)$ appears to be small, and thus our consideration of the relatively prime condition does not broadly apply to partitions in this case.
  However, it is immediate that when $n-1$ is prime, every partition of $n$ except for $1+(n-1)$ satisfies the relatively prime condition, and thus $\rpac(n)/\relprime(n)=\rpac(n)/(\pn(n)-1)$.
  Thus, it appears that one likely source of antichain simplices are those $\Delta_\lambda$ for which $n-1$ is prime.
\item In Figure~\ref{fig:percentantichainofrelprime}, the values of $\rpac(n)/\relprime(n)$ for $n\geq 13$ that lie on the upper hull of the data plot arise from $n$ in $\{13, 19, 31, 43, 61, 67, 73\}$.
  These are all prime numbers, and an OEIS~\cite{oeis} search finds that these values arise in three known sequences, including the sequence \seqnum{A040047} of those primes $p$ such that $x^3=6$ has no solution mod $p$.
\item Again in Figure~\ref{fig:percentantichainofrelprime}, the values of $\rpac(n)/\relprime(n)$ for $70\geq n\geq 20$ that lie on the lower hull of the data plot arise from $n$ in $\{20, 26, 32, 38, 44, 50, 62, 68\}$.
  These values are all of the form $6k+2$, though whether due to coincidence or mathematics it is not clear.
\item When $n-1$ is a superabundant \seqnum{A004394} or highly composite \seqnum{A002182} number, one might expect to see particularly low numbers of relatively prime antichain simplices, which is supported by the data given in Table~\ref{table1}.
\end{enumerate}

At this time, the authors do not have an explanation for why the ratio $\rpac(n)/\relprime(n)$ appears to be clustering as $n$ grows, leading to the following problems.

\begin{problem}
Determine if there is a limiting value to which the sequence $\rpac(n)/\relprime(n)$ converges as $n$ increases.
Alternatively, determine if there are any connections between a liminf or limsup value for $\rpac(n)/\relprime(n)$ and the values of $n$ corresponding to subsequences achieving those values, as hinted at in the observations above.
\end{problem}

\begin{table}
\centering
  \begin{tabular}{|l|l|l|l|}
    \hline
  $n$ &amp; rpac($n$) &amp; relprime($n$) &amp; part($n$) \\
  \hline \hline
$1$ &amp; $1$ &amp; $1$ &amp; $1$ \\
$2$ &amp; $2$ &amp; $2$ &amp; $2$ \\
$3$ &amp; $2$ &amp; $2$ &amp; $3$ \\
$4$ &amp; $3$ &amp; $4$ &amp; $5$ \\
$5$ &amp; $3$ &amp; $3$ &amp; $7$ \\
$6$ &amp; $7$ &amp; $10$ &amp; $11$ \\
$7$ &amp; $3$ &amp; $3$ &amp; $15$ \\
$8$ &amp; $15$ &amp; $21$ &amp; $22$ \\
$9$ &amp; $7$ &amp; $8$ &amp; $30$ \\
$10$ &amp; $17$ &amp; $22$ &amp; $42$ \\
$11$ &amp; $8$ &amp; $8$ &amp; $56$ \\
$12$ &amp; $58$ &amp; $76$ &amp; $77$ \\
$13$ &amp; $7$ &amp; $7$ &amp; $101$ \\
$14$ &amp; $103$ &amp; $134$ &amp; $135$ \\
$15$ &amp; $18$ &amp; $21$ &amp; $176$ \\
$16$ &amp; $45$ &amp; $56$ &amp; $231$ \\
$17$ &amp; $33$ &amp; $38$ &amp; $297$ \\
$18$ &amp; $316$ &amp; $384$ &amp; $385$ \\
$19$ &amp; $15$ &amp; $16$ &amp; $490$ \\
$20$ &amp; $513$ &amp; $626$ &amp; $627$ \\
$21$ &amp; $36$ &amp; $41$ &amp; $792$ \\
$22$ &amp; $180$ &amp; $215$ &amp; $1002$ \\
$23$ &amp; $78$ &amp; $89$ &amp; $1255$ \\
$24$ &amp; $1317$ &amp; $1574$ &amp; $1575$ \\
$25$ &amp; $31$ &amp; $34$ &amp; $1958$ \\
$26$ &amp; $1169$ &amp; $1414$ &amp; $2436$ \\
$27$ &amp; $148$ &amp; $170$ &amp; $3010$ \\
$28$ &amp; $750$ &amp; $874$ &amp; $3718$ \\
$29$ &amp; $143$ &amp; $162$ &amp; $4565$ \\
$30$ &amp; $4779$ &amp; $5603$ &amp; $5604$ \\
$31$ &amp; $26$ &amp; $28$ &amp; $6842$ \\
$32$ &amp; $7050$ &amp; $8348$ &amp; $8349$ \\
$33$ &amp; $392$ &amp; $448$ &amp; $10143$ \\
$34$ &amp; $1675$ &amp; $1951$ &amp; $12310$ \\
$35$ &amp; $478$ &amp; $539$ &amp; $14883$ \\
$36$ &amp; $4850$ &amp; $5625$ &amp; $17977$ \\
$37$ &amp; $115$ &amp; $126$ &amp; $21637$ \\
$38$ &amp; $22109$ &amp; $26014$ &amp; $26015$ \\
$39$ &amp; $816$ &amp; $918$ &amp; $31185$ \\
$40$ &amp; $4410$ &amp; $5047$ &amp; $37338$ \\
\hline
\end{tabular}
\quad
  \begin{tabular}{|l|l|l|l|}
    \hline
  $n$ &amp; rpac($n$) &amp; relprime($n$) &amp; part($n$) \\
  \hline \hline
$41$ &amp; $433$ &amp; $481$ &amp; $44583$ \\
$42$ &amp; $45819$ &amp; $53173$ &amp; $53174$ \\
$43$ &amp; $104$ &amp; $112$ &amp; $63261$ \\
$44$ &amp; $64731$ &amp; $75174$ &amp; $75175$ \\
$45$ &amp; $1362$ &amp; $1522$ &amp; $89134$ \\
$46$ &amp; $4192$ &amp; $4747$ &amp; $105558$ \\
$47$ &amp; $2202$ &amp; $2468$ &amp; $124754$ \\
$48$ &amp; $129242$ &amp; $147272$ &amp; $147273$ \\
$49$ &amp; $365$ &amp; $399$ &amp; $173525$ \\
$50$ &amp; $106948$ &amp; $123165$ &amp; $204226$ \\
$51$ &amp; $1233$ &amp; $1362$ &amp; $239943$ \\
$52$ &amp; $24641$ &amp; $27874$ &amp; $281589$ \\
$53$ &amp; $3597$ &amp; $3986$ &amp; $329931$ \\
$54$ &amp; $339300$ &amp; $386154$ &amp; $386155$ \\
$55$ &amp; $623$ &amp; $679$ &amp; $451276$ \\
$56$ &amp; $128590$ &amp; $145176$ &amp; $526823$ \\
$57$ &amp; $3426$ &amp; $3781$ &amp; $614154$ \\
$58$ &amp; $54230$ &amp; $60927$ &amp; $715220$ \\
$59$ &amp; $8575$ &amp; $9496$ &amp; $831820$ \\
$60$ &amp; $864231$ &amp; $966466$ &amp; $966467$ \\
$61$ &amp; $302$ &amp; $324$ &amp; $1121505$ \\
$62$ &amp; $1146930$ &amp; $1300155$ &amp; $1300156$ \\
$63$ &amp; $13151$ &amp; $14458$ &amp; $1505499$ \\
$64$ &amp; $55541$ &amp; $61850$ &amp; $1741630$ \\
$65$ &amp; $16496$ &amp; $18200$ &amp; $2012558$ \\
$66$ &amp; $522255$ &amp; $586074$ &amp; $2323520$ \\
$67$ &amp; $1012$ &amp; $1091$ &amp; $2679689$ \\
$68$ &amp; $2761384$ &amp; $3087734$ &amp; $3087735$ \\
$69$ &amp; $20580$ &amp; $22503$ &amp; $3554345$ \\
$70$ &amp; $234794$ &amp; $261034$ &amp; $4087968$ \\
$71$ &amp; $3040$ &amp; $3287$ &amp; $4697205$ \\
$72$ &amp; $4875893$ &amp; $5392782$ &amp; $5392783$ \\
$73$ &amp; $2715$ &amp; $2931$ &amp; $6185689$ \\
 &amp; &amp; &amp; \\
 &amp; &amp; &amp; \\
 &amp; &amp; &amp; \\
 &amp; &amp; &amp; \\
 &amp; &amp; &amp; \\
 &amp; &amp; &amp; \\
 &amp; &amp; &amp; \\
\hline
  \end{tabular}
\caption{Experimental data}
  \label{table1}
\end{table}

\subsection{Random sampling of simplices with one non-trivial column in Hermite normal form}

It is worthwhile to compare the results for our restricted $\Delta_\lambda$ simplices to arbitrary simplices with Hermite normal form given by
\[
  \left[
  \begin{array}{cccccc}
    0 &amp; 1 &amp; 0 &amp; \cdots &amp; 0 &amp; a_1 \\
        0 &amp; 0 &amp; 1 &amp; \cdots &amp; 0 &amp; a_2 \\
    \vdots &amp; \vdots &amp; \vdots &amp; \ddots &amp; \vdots &amp; \vdots \\
    0 &amp; 0 &amp; 0 &amp; \cdots &amp; 1 &amp; a_{d-1} \\
    0 &amp; 0 &amp; 0 &amp; \cdots &amp; 0 &amp; n
    \end{array}\right] 
  \]
where for $i=1,\ldots,d-1$ we have $0\leq a_i&lt;n$.
We will call a simplex of this form a \emph{one-column (n,d) Hermite normal form simplex}.
Let $\OCH(n,d)$ denote the family of one-column $(n,d)$ Hermite normal form simplices, and let 
\[
\OCH^+(n,d):=\{ A\in \OCH(n,d): 1\leq a_i&lt;n \text{ for all } i\} \, .
\]
Thus, $\OCH^+(n,d)$ contains those simplices in $\OCH(n,d)$ that are not obviously arising as lattice pyramids over simplices of smaller dimension.

There are $(n-1)^{d-1}$ simplices in $\OCH^+(n,d)$.
For $67$ random choices (uniform without replacement) of $(n,d)\in \{3,\ldots,20\}\times \{3,\ldots,20\}$, we selected $n^{3}$ random samples from $\OCH^+(n,d)$ and computed the resulting fraction $f(n,d)$ of antichain simplices in this sample.
We plotted the points $(n/d,f(n,d))$ in Figure~\ref{fig:fracantichain}.
It is particularly interesting that when $d$ is large relative to $n$, the percentage of antichain simplices among those sampled appears to be close to $1$, leading to the following problem.

\begin{problem}
Fix $n\geq 2$.
Is it true that the fraction of antichain simplices in $\OCH^+(n,d)$ goes to $1$ as $d\to \infty$?
Alternatively, let $ac_n(d)$ denote the fraction of $\displaystyle \bigcup_{j=3}^d\OCH^+(n,j)$ that are antichain simplices; what is the liminf of $ac_n(d)$ as $d\to \infty$?
\end{problem}

\begin{figure}[ht]
\centering
  \centering
  \includegraphics[width=0.65\linewidth]{fracantichain.eps}
  \caption{For $67$ random choices (uniform without replacement) of $(n,d)\in \{3,\ldots,20\}\times \{3,\ldots,20\}$, we plot the point $(n/d,f(n,d))$ where $f(n,d)$ is the fraction of antichain simplices among $n^{3}$ random samples from $\OCH^+(n,d)$.}
  \label{fig:fracantichain}
\end{figure}


\section{Algebraic implications}\label{sec:algebraic}

In this section, we discuss the algebraic implications of our analysis of the fundamental parallelepiped poset.
Our main result is Theorem~\ref{antichain} showing that the Poincar\'e series for the semigroup algebra associated with an antichain simplex is rational.
Unlike previous work of the authors~\cite{BraunDavisPoinc} establishing rationality of Poincar\'e series for lattice simplex semigroup algebras, our proof technique in this work involves the bar resolution.

\subsection{A review of resolutions and Poincar\'e series}
For all background regarding graded resolutions of algebras, see the book by Peeva~\cite{GradedSyzygies}.
Recall that the semigroup $(\Lambda,+)$ associated with a $d$-simplex $\Delta$ is the intersection $\Lambda\,:=\,\cone(\Delta)\cap\Z^{d+1}$ with $+$ given by the usual coordinate-wise addition on $\Z^{d+1}$.
The {\emph{semigroup algebra}} $K[\Lambda]$ associated with a semigroup $\Lambda\subset\Z^{d+1}$ is the $K$-vector space with basis $\{e_\alpha\}_{\alpha\in\Lambda}$ equipped with the product $e_\alpha\cdot e_\beta\,=\,e_{\alpha+\beta}$.
For $K$ a field, a $K$-algebra $R$ is called {\emph{graded}} with respect to $\Z^{n}$ if it can be written as a direct sum
\[R=\bigoplus_{\alpha\in\Z^n}R_\alpha
,\]
where for $x\in R_\alpha$ and $y\in R_\beta$, we have that $x\cdot y\in R_{\alpha+\beta}$. 
It is immediate that $K[\Lambda]$ is a $\Z^{d+1}$-graded $K$-algebra.
It is common to ``coarsen'' the grading of $K[\Lambda]$ by considering it to be a $\Z$-graded algebra with grading given by the zeroth coordinate of its $\Z^{d+1}$-grading.

In this context, the seemingly arbitrary definition of the cone over a simplex $\Delta$ is shown to be natural and helpful by the following observation.
For a point $x=(x_0,x_1,\dots,x_d)$ in $\R^{d+1}$, we define the {\emph{height}} of $x$ to be $\height(x)=x_0$.
Letting $X_n$ denote the collection of points $x\in\R^{d+1}$ with height equal to $n$, we have the set equality 
\[X_n\cap\cone(\Delta)\;=\;\{(n,n\cdot x)\in\R^{d+1}\text{ such that }x\in\Delta\}
  .\] Observe that the set $\Z^{d+1}\cap X_n\cap\cone(\Delta)$ is in bijection with the set of lattice points of $n\Delta$ (by dropping the zeroth coordinate).
Thus, the coarsened grading of $K[\Lambda]$ corresponds to the height function in the cone.

We need to consider complexes of vector spaces in order to define free resolutions of $K$-algebras.
Given a collection of vector spaces $\{F_i\}_{i\in\Z_{\geq0}}$, together with linear maps $\partial_i$ from $F_i$ to $F_{i-1}$, we call the sequence
\[F\,: \quad F_0\xleftarrow[]{\partial_1} F_1\xleftarrow[]{\partial_2}\cdots \xleftarrow[]{\partial_i}F_i \xleftarrow[]{\partial_{i+i}}F_{i+1}\xleftarrow[]{\partial_{i+2}}\cdots 
\]
a {\emph{complex}} of vector spaces if the image of $\partial_{i+1}$ is contained in the kernel of $\partial_i$ for all $i\geq1$.
The $i$th homology of the complex $F$ is the quotient vector space $H_i(F)\,:=\,\ker\partial_{i}/\im\partial_{i+1}$.
Let $M$ be a finitely generated graded module over $R$, $F_i$ be a free $R$-module and $\partial_i$ be a graded $R$-module homomorphism such that the image of $\partial_{i+1}$ is equal to the kernel of $\partial_i$ for all $i\geq1$.
Then the complex $F$ is a {\emph{free resolution}} of $M$ over $R$ if $M\cong F_0/\im\partial_1$.
Because it is graded, we may split the free resolution $F$ into a direct sum of $K$-vector space complexes by writing each $F_i$ as a direct sum $\bigoplus_{\alpha\in\Z^{n}}F_{i,\alpha}$.

For $(F,\,\partial)$ a complex of free $R$-modules, we can define a tensor complex $(M\otimes F,\, \Id\otimes\partial)$. 
If $F$ is a graded free resolution of $M$, the Betti number $\beta_{i,\alpha}^R(M)$ of a graded $R$-module $M$ is the vector space dimension of the $i$th homology of the graded component of $K\otimes F$ of degree $\alpha$.
This leads to our primary object of interest.

\begin{definition}\label{def:poincareseries}
  The Poincar\'e series $P_R^M(z;\t)$ is the ordinary generating function for the Betti numbers of the $R$-module $M$, i.e.,
\[P_R^M(z;\t)\,=\,\sum_{\alpha\in\Z^n}\sum_{i\geq0}\beta_{i,\alpha}^R(M)z^i\t^\alpha
.\]
\end{definition}

In the case that $R$ is a polynomial ring in $n$ variables, the Hilbert Syzygy Theorem says that the Poincar\'e series $P_R^M(z;\t)$ is a polynomial for any finitely generated {$R$-module} $M$. However, when $R$ is not a polynomial ring, the growth of the Betti numbers is not so simple.

\subsection{Rational Poincar\'e series}
We call a $\Z^n$-graded algebra $R$ {\emph{connected}} if $R_0\cong K$ (as in the case of a semigroup ring $K[\Lambda]$ associated with a lattice simplex $\Delta$). By a slight abuse of notation, we write \[\m \,:=\,\bigoplus_{\alpha\in\Lambda\backslash0}R_\alpha \text{ and } K\,\cong\,R/\m\] as $R$-modules.
It has been shown~\cite{gulliksen1970massey} that if the Poincar\'e series for the ground field $K$ as an $R$-module is rational for all $R$, then the Poincar\'e series is rational for any finitely generated module, leading to the question of Serre-Kaplansky:
\begin{question} Is the Poincar\'e series of the ground field $K$ over $R$ rational for all $K$-algebras $R$?
\end{question}
This question was answered in the negative by Anick~\cite{IrrPoincare}, and much subsequent work has focused on determining the properties of $R$ that lead to rationality or irrationality.
Our interest is in the rationality of the Poincar\'e series for $K[\Lambda]$, which leads us to define a related algebra as follows.

Because $K[\Lambda]$ is finitely generated (by its Hilbert basis $\HH$ given in Definition~\ref{def:hb}) it has a presentation 
\begin{equation}0\rightarrow \ker\varphi\rightarrow K[V_0,\dots,V_{d},x_1,\dots,x_m]\xrightarrow[]{\varphi}K[\Lambda]\rightarrow 0,
\end{equation}
where the map $\varphi$ is defined by the image of variables: the image of $V_i$ is the vector space basis element $e_{(1,v_i)}$ associated with the Hilbert basis element $(1,v_i)$ in $\Lambda$, and the image of $x_i$ is $e_{h_i}$ where the $h_i$ are the remaining elements of the Hilbert basis. 
This defines a surjective degree map $\deg(\cdot)$ from the set of monomials of $K[V_1,\dots,V_{d+1},x_1,\dots,x_m]$ onto $\Lambda$ by 
\[
\deg\left(\prod V_i^{s_i}\cdot\prod x_j^{r_j}\right)=\sum s_i(1,v_i) + \sum r_jh_j \, .
\]
Extending $\deg(\cdot)$ $K$-linearly, we see that $\ker\varphi$ is the toric ideal $I$ generated by all binomials 
\[
\mathbf{V}^{u_V}\mathbf{x}^{u_x}-\mathbf{V}^{w_V}\mathbf{x}^{w_x}
\]
such that $\deg\left(\mathbf{V}^{u_V}\mathbf{x}^{u_x})=\deg(\mathbf{V}^{w_V}\mathbf{x}^{w_x}\right)$. 

\begin{definition} The {\emph{Fundamental Parallelepiped Algebra}} $\fpa(\Delta)$ associated with the simplex $\Delta$ may be constructed in two ways; firstly as the quotient 
\[K[V_0,\dots,V_d,x_1,\dots,x_m]\,/\,\ker\varphi+\big(V_0,\dots,V_d\big),
\]
and secondly as the algebra with $K$-vector space basis \[\big\{e_{\sigma}\text{ such that }\sigma\in\Z^{d+1}\cap\Pi_{\Delta}\big\}\] and with multiplication given by \[e_\sigma\cdot e_\mu =
\begin{cases} 
e_{\sigma+\mu}, &amp;\text{ if } \sigma+\mu\in\Z^{d+1}\cap\Pi_\Delta;\\
0, &amp;\text{ otherwise.}
\end{cases}
\]
\end{definition}

One inspiration for defining this algebra is the fact that, due to an argument presented earlier, every element of $\Lambda$ may be written uniquely as a non-negative sum of points $(1,v_i)$ and a single point in $\Pi_\Delta$.
Because the generators $e_{(1,v_i)}$ form a linear system of parameters for $K[\Lambda]$, we have the following result~\cite[Prop. 3.3.5]{InfiniteFree}.
\begin{theorem}For the $\Z$-graded algebra $K[\Lambda]$, we have the following equality:\begin{align*}
P_{K[\Lambda]}^K(z;\t)&amp;=\prod_i\left(1+z\t^{(1,v_i)}\right)\cdot P_{\fpa(\Delta)}^K(z;\t)\\
&amp;= P_{K[V_0,\dots,V_d]}^K(z;\t)\cdot P_{\fpa(\Delta)}^K(z;\t).
\end{align*}
\end{theorem}


\subsection{Bar resolutions and antichain simplices}

We will use the Bar resolution of $K$, with $K$ as a module over a graded $K$-algebra, which is a standard construction.
We will define the Bar resolution in the special case of a fundamental parallelepiped algebra.
In the following, we use the bar symbol $|$ to mean a tensor over $K$, and reserve the tensor symbol $\otimes$ to mean a tensor over the ring under consideration.

\begin{definition} Consider the $\Z^n$-graded $K$-algebra $\fpa(\Delta)$.
  The Bar resolution $\B$ of the module $K$ over $\fpa(\Delta)$ is a sum of graded components, where the component $[\B_i]_\alpha$ has a formal vector space basis given by all $\displaystyle e_{\delta_0}\,|\,e_{\delta_1}\,|\, \cdots\,|\, e_{\delta_i}$ such that
  \begin{itemize}
  \item $\delta_0$ is in $\Pi_\Delta$,
  \item $\delta_j$ is in $\Pi_{\Delta}\smallsetminus \{0\}$ for $j\geq 1$, and
  \item $\sum_{j=0}^i\delta_j=\alpha$.
  \end{itemize}
  The differential map $\partial_i$ acts by sending $\displaystyle e_{\delta_0}\,|\,\cdots\,|\, e_{\delta_i}\in \B_{i}$ to the sum \[\sum_{j=0}^{i-1}(-1)^{j}\, e_{\delta_0}\,|\, \cdots\,|\, e_{\delta_{j-1}}\,|\, e_{\delta_j}e_{\delta_{j+1}}\,|\, e_{\delta_{j+2}}\,|\, \cdots \,|\,e_{\delta_i}\] in $\B_{i-1}$.
\end{definition}

\begin{example}
For a unimodular simplex $\Delta$, the $\fpa(\Delta)$ is one-dimensional as a $K$-vector space, and has basis $e_0$.
Consequently, $[B_i]_\alpha$ has empty basis (and dimension zero) unless $\alpha$ is equal to zero in $\Lambda$ and $i=0$.
It follows that the complex $B$ is given by
\[
0\leftarrow K\leftarrow0\leftarrow0\leftarrow\cdots
\]
and that
\[
\beta_{i,\alpha}=\begin{cases}1&amp;\text{ if }i=0\text{ and }\alpha=0,\\
0&amp;\text{ otherwise.}
\end{cases}
\]
Thus, $P_{\fpa(\Delta)}^K(z;\t)=1$. The result is consistent with the fact that $K[\Lambda]$ is a polynomial ring in the case that $\Delta$ is unimodular.
\end{example}

\begin{example}\label{ex:2235}
  Consider $\Delta_{\lambda}$ for $\lambda=(2,2,3,5)$.
  It can be checked using Theorem~\ref{thm:order} that $P(\Delta_{\lambda})\setminus \{0\}$ has $10$ elements and no relations.
  Thus, for any pair of non-zero elements $\delta_i,\delta_j\in \Pi_{\Delta_\lambda}$, we have $\delta_i+\delta_j\notin \Pi_{\Delta_\lambda}$, hence $e_{\delta_i}e_{\delta_j}=0$.
  Thus, in the Bar resolution for $\fpa(\Delta_\lambda)$, the differential maps are uniformly equal to zero.
\end{example}

Recall from the paragraph prior to Definition~\ref{def:poincareseries} that in order to compute the Betti number $\beta_{i,\alpha}$, we must compute homology in the tensor complex $B:=\,K\otimes\B$.
Because we identify $K$ with the quotient $R_0\cong R/\mathfrak{m}$ with basis $e_0$, we see that $[B_i]_\alpha$ is generated as a vector space by the collection $\left\{e_0\otimes e_{\delta_0}\,|\,e_{\delta_1}\,|\,\cdots\,|\, e_{\delta_i}\right\}$.
Observe that unless $\delta_0$ is equal to the point $0\in \Lambda$, the product $e_0\otimes\delta_0$ is equal to zero, since for $\sigma$ not equal to zero, $e_0\cdot e_\sigma$ is equal to zero in the module $K$, and hence
\[
  e_0\otimes e_\sigma\,=\,e_0\cdot e_\sigma\otimes e_0\,=\,0\otimes e_0\,=\,0 \, .
\]
Consequently, for $i\geq1$, $[B_i]_\alpha$ has a vector space basis in bijection with  the collection of $e_{\delta_1}\,|\,\cdots\,|\, e_{\delta_i}$ such that each $\delta_j\in \Pi_{\Delta}\smallsetminus \{0\}$ and $\sum_{j=1}^i\delta_j=\alpha$.
We further have that $[B_0]_\alpha$ is the trivial vector space unless $\alpha$ is zero in $\Lambda$, and that $[B_0]_{0}$ is isomorphic to $K$.

We are now ready to prove our final result.

\begin{theorem}\label{antichain} For an antichain simplex $\Delta$, we have
  \[P_{\fpa(\Delta)}^K(z;\t)=\;\left(\,1-\sum_{\substack{\sigma\in\PP(\Delta)\\\sigma\neq0}}z\t^\sigma\right)^{-1} \, ,
  \]
  and thus the Poincar\'e series is rational.
\end{theorem}

\begin{proof}
  As illustrated by Example~\ref{ex:2235}, for an antichain simplex  the differential map is uniformly zero, since $e_{\delta_j}\cdot e_{\delta_{j+1}}$ equals zero for all $j$.
Therefore, $\beta_{i,\alpha}$ is equal to the dimension of $[B_i]_\alpha$.
From the description of the basis of $[B_i]_\alpha$ in the Bar resolution, it follows that there is a recurrence
\[\dim_K[B_i]_\alpha\,=\,\sum_{\substack{\sigma\in\PP(\Delta)\\\sigma\neq0}}\dim_K[B_i]_{\alpha-\sigma} \, ,
\]
from which our result follows.
\end{proof}

\begin{thebibliography}{10}

\bibitem{IrrPoincare}
David Anick, Construction d'espaces de lacets et d'anneaux locaux \`a s\'eries
  de {P}oincar\'e-{B}etti non rationnelles, {\em C. R. Acad. Sci. Paris S\'er.
  A-B} {\bf 290} (1980), A729--A732.

\bibitem{InfiniteFree}
Luchezar~L. Avramov, Infinite free resolutions.
\newblock In {\em Six {L}ectures on {C}ommutative {A}lgebra}, Mod. Birkh\"auser
  Class., Birkh\"auser Verlag, 2010, pp.~1--118.

\bibitem{CCD}
Matthias Beck and Sinai Robins, {\em Computing the {C}ontinuous {D}iscretely},
  Undergraduate Texts in Mathematics, Springer, 2nd edition, 2015.

\bibitem{BraunDavisPoinc}
Benjamin Braun and Brian Davis, {R}ationality of {P}oincar\'e series for a
  family of lattice simplices.  Preprint, available at
\url{https://arxiv.org/abs/1711.04206}.

\bibitem{BraunDavisSolusIDP}
Benjamin Braun, Robert Davis, and Liam Solus, Detecting the integer
  decomposition property and {E}hrhart unimodality in reflexive simplices, {\em
  Adv. in Appl. Math.} {\bf 100} (2018), 122--142.

\bibitem{BraunLiu}
Benjamin Braun and Fu~Liu, $ h^* $-{P}olynomials with roots on the unit circle.
\newblock to appear in \emph{Experimental Mathematics}.  Available at
  \url{https://arxiv.org/abs/1807.00105}.

\bibitem{Normaliz}
W.~Bruns, B.~Ichim, T.~R\"omer, R.~Sieg, and C.~S\"oger, Normaliz: Algorithms
  for rational cones and affine monoids, Available at
  \url{https://www.normaliz.uni-osnabrueck.de}.

\bibitem{bruns2012power}
Winfried Bruns, Bogdan Ichim, and Christof S\"{o}ger, The power of pyramid
  decomposition in {N}ormaliz, {\em J. Symbolic Comput.} {\bf 74} (2016),
  513--536.

\bibitem{DavisMachine}
Brian Davis, {P}redicting the integer decomposition property via machine
  learning.
\newblock To appear in {\it Proceedings of the 2018 Summer Workshop on Lattice
  Polytopes at {O}saka {U}niversity}.  Available
  at \url{https://arxiv.org/abs/1807.08399}.

\bibitem{gulliksen1970massey}
Tor~Holtedahl Gulliksen, Massey operations and the {P}oincar{\'e} series of
  certain local rings, Preprint series: Pure mathematics,
  University of Oslo, 1970.
  Available at \url{https://www.duo.uio.no/bitstream/handle/10852/45414/20150821182559730.pdf}.

\bibitem{HibiHigashitaniLi}
Takayuki Hibi, Akihiro Higashitani, and Nan Li, Hermite normal forms and
  {$\delta$}-vectors, {\em J. Combin. Theory Ser. A} {\bf 119} (2012),
  1158--1173.

\bibitem{cocalc}
SageMath Inc., Cocalc collaborative computation online, 2018.
\newblock \url{https://cocalc.com/}.

\bibitem{MillerSturmfels}
Ezra Miller and Bernd Sturmfels, {\em Combinatorial {C}ommutative {A}lgebra},
  Vol.~227 of {\em Graduate Texts in Mathematics}, Springer-Verlag, 
  2005.

\bibitem{Payne}
Sam Payne, Ehrhart series and lattice triangulations, {\em Discrete Comput.
  Geom.} {\bf 40} (2008), 365--376.

\bibitem{GradedSyzygies}
Irena Peeva, {\em Graded {S}yzygies}, Vol.~14 of {\em Algebra and
  Applications}, Springer-Verlag, 2011.

\bibitem{SolusOsaka}
Liam Solus, {L}ocal $ h^* $-polynomials of some weighted projective spaces.
\newblock To appear in {\it Proceedings of the 2018 Summer Workshop on Lattice
  Polytopes at {O}saka {U}niversity}.  Available at
  \url{https://arxiv.org/abs/1807.08223}.

\bibitem{SolusSimplices}
Liam Solus, Simplices for numeral systems, {\em Trans. Amer. Math. Soc.} {\bf
  371} (2019), 2089--2107.

\bibitem{SAGE}
{The Sage Developers}, {\em {S}ageMath, the {S}age {M}athematics {S}oftware
  {S}ystem ({V}ersion 8.4)}, 2018.  Available at
\url{http://www.sagemath.org}.

\bibitem{oeis}
N. J. A. Sloane et al.,
{\it The On-Line Encyclopedia of Integer Sequences}, published electronically at
  \url{https://oeis.org}, 2019.

\bibitem{WhiteSimplices}
G.~K. White, Lattice tetrahedra, {\em Canad. J. Math.} {\bf 16} (1964),
  389--396.

\end{thebibliography}


\bigskip
\hrule
\bigskip

\noindent 2010 {\it Mathematics Subject Classification}:
Primary 05E40, Secondary 52B20, 13D02, 11A05.

\noindent \emph{Keywords: }
simplex, poset, resolution, Poincar\'e series.

\bigskip
\hrule
\bigskip

\noindent (Concerned with sequences
\seqnum{A002182},
\seqnum{A004394},
\seqnum{A040047},
\seqnum{A323256}, and
\seqnum{A323257}.)

\bigskip
\hrule
\bigskip


\vspace*{+.1in}
\noindent
Received January 10 2019;
revised version received May 16 2019; November 12 2019.  
Published in {\it Journal of Integer Sequences}, December 28 2019.

\bigskip
\hrule
\bigskip

\noindent
Return to
\htmladdnormallink{Journal of Integer Sequences home page}{http://www.cs.uwaterloo.ca/journals/JIS/}.
\vskip .1in


\end{document}
</pre></body></html>