Quadratic Gröbner bases of twinned order polytopes (Q5964265): Difference between revisions

Let \(P=\{p_1,\dots ,p_d\}\) and \(Q=\{q_1,\dots ,q_d\}\) be finite partially ordered sets. A subset \(I\) of \(P\) is called a poset ideal of \(P\) if \(p_i \in I\) and \(p_j \in P\) together with \(p_j \leq p_i\) then we have \(p_j\in I\). Let \(\mathcal I(P)\) be the set of poset ideals of \(P\). Let \(\mathbf e_1, \dots, \mathbf e_d\) be the canonical unit coordinate vectors of \(\mathbb R^d\). For any subset \(I\subset P\) we define \(\rho(I)=\sum_{p_i\in I}\mathbf e_i\). Furthermore, we define, \[ \Omega(P,-Q)=\{\rho(I)\mid \emptyset \neq I\in \mathcal{I}(P)\} \cup \{-\rho(J)\mid \emptyset \neq J\in \mathcal{I}(Q)\} \cup \{\mathbf 0\}. \] The \textit{twinned order polytope} of \(P\) and \(Q\) is the convex hull of \(\Omega(P,-Q)\). In the paper under review, the authors show that the toric ideal of the twinned order polytope of \(P\) and \(Q\) possesses a quadratic binomial Gröbner basis with respect to a reverse lexicographic order for which the variable corresponding to the origin is the smallest.