arXiv++ Combinatorics

The order and chain polytopes, introduced by Richard P. Stanley, form a pair of Ehrhart equivalent polytopes associated to a given finite poset. A conjecture by Takayuki Hibi and Nan Li states that the $f$-vector of the chain polytope dominates the $f$-vector of the order polytope. In this paper we prove a stronger form of that conjecture for a special class of posets. More precisely, we show that the $f$-vectors increase monotonically over an admissible family of chain-order polytopes for such posets.

Denote by $V$ the poset consisting of the elements $\{A,B,C\}$ with cover relations $\{A\lessdot B, A\lessdot C\}$. We show that $P$-strict promotion, as defined by Bernstein, Striker, and Vorland, on $P$-strict labelings of $V\times [\ell]$ with labels in the set $[q]$ has order $2q$ for every $\ell\ge 1$ and $q\ge 3$ as conjectured by Bernstein, Striker, and Vorland. This resolves the equivalent conjecture of Hopkins that the order of piecewise-linear rowmotion on the order polytope of $V\times [k]$ has order $2(k+2)$ for all $k\ge 1$.

It will be proved that a $k$-clique in the $1$-skeleton of either the order polytope or the chain polytope corresponds to the $(k-1)$-face, which is a simplex, in each polytope. These results generalize the known explicit descriptions of edges and triangular $2$-faces of each polytope.

We study lattice path matroid polytopes using their alcoved triangulation. We characterize Gorenstein lattice path matroid polytopes, yielding a new class of matroids satisfying the unimodality conjecture of de Loera, Haws, and K{ö}ppe. Further, we characterize matroids whose polytopes are order polytopes as a special class of lattice path matroids, called snakes. Finally, we give combinatorial interpretations of the volumes and $h^*$-vectors of lattice path matroids of rank $2$ based on their snake decomposition.

We extend the periodicity of birational rowmotion for rectangular posets to the case when the base field is replaced by a noncommutative ring (under appropriate conditions). This resolves a conjecture from 2014. The proof uses a novel approach and is fully self-contained. Consider labellings of a finite poset $P$ by $\left|P\right| + 2$ elements of a ring $\mathbb{K}$: one label associated with each poset element and two constant labels for the added top and bottom elements in $\hat{P}$. *Birational rowmotion* is a partial map on such labellings. It was originally defined by Einstein and Propp for $\mathbb{K}=\mathbb{R}$ as a lifting (via detropicalization) of *piecewise-linear rowmotion*, a map on the order polytope $\mathcal{O}(P) := \{\text{order-preserving } f: P \to[0,1]\}$. The latter, in turn, extends the well-studied rowmotion map on the set of order ideals (or more properly, the set of order filters) of $P$, which correspond to the vertices of $\mathcal{O}(P)$. Dynamical properties of these combinatorial maps sometimes (but not always) extend to the birational level, while results proven at the birational level always imply their combinatorial counterparts. Allowing $\mathbb{K}$ to be noncommutative, we generalize the birational level even further, and some properties are in fact lost at this step. In 2014, the authors gave the first proof of periodicity for birational rowmotion on rectangular posets (when $P$ is a product of two chains) for $\mathbb{K}$ a field, and conjectured that it survives (in an appropriately twisted form) in the noncommutative case. In this paper, we prove this noncommutative periodicity and a concomitant antipodal reciprocity formula. We end with some conjectures about periodicity for other posets, and the question of whether our results can be extended to (noncommutative) semirings.

The Multiple Choice Polytope (MCP) is the prediction range of a random utility model due to Block and Marschak (1960). Fishburn (1998) offers a nice survey of the findings on random utility models at the time. A complete characterization of the MCP is a remarkable achievement of Falmagne (1978). Apart for a recognition of the facets by Suck (2002), the geometric structure of the MCP was apparently not much investigated. Recently, Chang, Narita and Saito (2022) refer to the adjacency of vertices while Turansick (2022) uses a condition which we show to be equivalent to the non-adjacency of two vertices. We characterize the adjacency of vertices and the adjacency of facets. To derive a more enlightening proof of Falmagne Theorem and of Suck result, Fiorini (2004) assimilates the MCP with the flow polytope of some acyclic network. Our results on adjacencies also hold for the flow polytope of any acyclic network. In particular, they apply not only to the MCP, but also to three polytopes which Davis-Stober, Doignon, Fiorini, Glineur and Regenwetter (2018) introduced as extended formulations of the weak order polytope, interval order polytope and semiorder polytope (the prediction ranges of other models, see for instance Fishburn and Falmagne, 1989, and Marley and Regenwetter, 2017).

We explore the operad of finite posets and its algebras. We use order polytopes to investigate the combinatorial properties of zeta values. By generalizing a family of zeta value identities, we demonstrate the applicability of this approach. In addition, we offer new proofs of some of Ramanujan's results on the properties of Eulerian numbers, interpreting his work as dealing with series inheriting the algebraic structure of disjoint unions of points. Finally, we establish a connection between our findings and the linear independence of zeta values.

We consider the restrictions of Shi arrangements to Weyl cones, their relations to antichains in the root poset, and their intersection posets. For any Weyl cone, we provide bijections between regions, flats intersecting the cone, and antichains of a naturally-defined subposet of the root poset. This gives a refinement of the parking function numbers via the Poincaré polynomials of the intersection posets of all Weyl cones. Finally, we interpret these Poincaré polynomials as the Hilbert series of three isomorphic graded rings. One of these rings arises from the Varchenko-Gel'fand ring, another is the coordinate ring of the vertices of the order polytope of a subposet of the root poset, and the third is purely combinatorial.

We study toric degenerations of semi-infinite Grassmannians (a.k.a. quantum Grassmannians). While the toric degenerations of the classical Grassmannians are well studied, the only known example in the semi-infinite case is due to Sottile-Sturmfels. We start by providing a new interpretation of the Sottile-Sturmfels construction by finding a poset such that their degeneration is the toric variety of the order polytope of the poset. We then use our poset to construct and study a new toric degeneration in the semi-infinite case. Our construction is based on the notion of poset polytopes introduced by Fang-Fourier-Litza-Pegel. As an application we introduce semi-infinite PBW-semistandard tableaux, giving a basis in the homogeneous coordinate ring of a semi-infinite Grassmannian.

The main objects of the present paper are (i) Hibi rings (toric rings arising from order polytopes of posets), (ii) stable set rings (toric rings arising from stable set polytopes of perfect graphs), and (iii) edge rings (toric rings arising from edge polytopes of graphs satisfying the odd cycle condition). The goal of the present paper is to analyze those three toric rings and to discuss their structures in the case where their class groups have small rank. We prove that the class groups of (i), (ii) and (iii) are torsionfree. More precisely, we give descriptions of their class groups. Moreover, we characterize the posets or graphs whose associated toric rings have rank $1$ or $2$. By using those characterizations, we discuss the differences of isomorphic classes of those toric rings with small class groups.

Cayley's first hyperdeterminant is a straightforward generalization of determinants for tensors. We prove that nonzero hyperdeterminants imply lower bounds on some types of tensor ranks. This result applies to the slice rank introduced by Tao and more generally to partition ranks introduced by Naslund. As an application, we show upper bounds on some generalizations of colored sum-free sets based on constraints related to order polytopes.

We study generating functions of strict and non-strict order polynomials of series-parallel posets, called order series. These order series are closely related to Ehrhart series and h*-polynomials of the associated order polytopes. We explain how they can be understood as algebras over a certain operad of posets. Our main results are based on the fact that the order series of chains form a basis in the space of order series. This allows to reduce the search space of an algorithm that finds for a given power series f, if possible, a poset P such that f is the generating function of the order polynomial of P. In terms of Ehrhart theory of order polytopes, the coordinates with respect to this basis describe the number of (internal) simplices in the canonical triangulation of the order polytope of P. Furthermore, we derive a new proof of the reciprocity theorem of Stanley. As an application, we find new identities for binomial coefficients and for finite partitions that allow for empty sets, and we describe properties of the negative hypergeometric distribution.

Marked chain-order polytopes are convex polytopes constructed from a marked poset, which give a discrete family relating a marked order polytope with a marked chain polytope. In this paper, we consider the Gelfand-Tsetlin poset of type A, and realize the associated marked chain-order polytopes as Newton-Okounkov bodies of the flag variety. Our realization connects previous realizations of Gelfand-Tsetlin polytopes and Feigin-Fourier-Littelmann-Vinberg polytopes as Newton-Okounkov bodies in a uniform way. As an application, we prove that the flag variety degenerates into the irreducible normal projective toric variety corresponding to a marked chain-order polytope. We also construct a specific basis of an irreducible highest weight representation which is naturally parametrized by the set of lattice points in a marked chain-order polytope.

This work regards the order polytopes arising from the class of generalized snake posets and their posets of meet-irreducible elements. Among generalized snake posets of the same rank, we characterize those whose order polytopes have minimal and maximal volume. We give a combinatorial characterization of the circuits in these order polytopes and then conclude that every triangulation is unimodular. For a generalized snake word, we count the number of flips for the canonical triangulation of these order polytopes. We determine that the flip graph of the order polytope of the poset whose lattice of filters comes from a ladder is the Cayley graph of a symmetric group. Lastly, we introduce an operation on triangulations called twists and prove that twists preserve regular triangulations.

In this article we investigate a class of linear error correcting codes in relation with the order polytopes. In particular we consider the order polytopes of tree posets and bipartite posets. We calculate the parameters of the associated toric variety codes.

We construct a family of flat semitoric degenerations for the Hibi variety of every finite distributive lattice. The irreducible components of each degeneration are the toric varieties associated with polytopes forming a regular subdivision of the order polytope of the underlying poset. These components are themselves Hibi varieties. For each degeneration in our family we also define the corresponding weight polytope and embed the degeneration into the associated toric variety as the union of orbit closures given by a set of faces. Every such weight polytope projects onto the order polytope with the chosen faces projecting into the parts of the corresponding regular subdivision. We apply these constructions to obtain a family of flat semitoric degenerations for every type A Grassmannian and complete flag variety.

The study of ordering polytopes has been essential to the solution of various challenging combinatorial optimization problems. For instance, the incorporation of facet defining inequalities (FDIs) from these polytopes in branch-and-cut approaches represents among the most effective solution methodologies known to date for some of these problems. The weak order polytope, defined as the convex hull of the characteristic vectors of all binary orders on $n$ alternatives that are reflexive, transitive, and complete, has been particularly important for tackling problems in computational social choice, preference aggregation, and comparative probability. For the most part, FDIs for the weak order polytope have been obtained through enumeration and through derivation from FDIs of other combinatorial polytopes. This paper derives new classes of FDIs for the weak order polytope by utilizing the equivalent representation of a weak order as a ranking of $n$ objects that allows ties and by grouping characteristic vectors that share certain ranking structures. Furthermore, we demonstrate that a number of FDIs previously obtained through enumeration are actually special cases of these ranking-based FDIs.

Let $P$ be a finite poset, $K$ a field, and $O(P)$ (resp. $C(P)$) the order (resp. chain) polytope of $P$. We study the non-Gorenstein locus of $E_K[O(P)]$ (resp. $E_K[C(P)]$), the Ehrhart ring of $O(P)$ (resp. $C(P)$) over $K$, which are each normal toric rings associated $P$. In particular, we show that the dimension of non-Gorenstein loci of $E_K[O(P)]$ and $E_K[C(P)]$ are the same. Further, we show that $E_K[C(P)]$ is nearly Gorenstein if and only if $P$ is the disjoint union of pure posets $P_1, \ldots, P_s$ with $|\mathrm{rank} P_i-\mathrm{rank} P_j|\leq 1$ for any $i$ and $j$.

The $1/3$-$2/3$ Conjecture, originally formulated in 1968, is one of the best-known open problems in the theory of posets, stating that the balance constant (a quantity determined by the linear extensions) of any non-total order is at least $1/3$. By reinterpreting balance constants of posets in terms of convex subsets of the symmetric group, we extend the study of balance constants to convex subsets $C$ of any Coxeter group. Remarkably, we conjecture that the lower bound of $1/3$ still applies in any finite Weyl group, with new and interesting equality cases appearing. We generalize several of the main results towards the $1/3$-$2/3$ Conjecture to this new setting: we prove our conjecture when $C$ is a weak order interval below a fully commutative element in any acyclic Coxeter group (an generalization of the case of width-two posets), we give a uniform lower bound for balance constants in all finite Weyl groups using a new generalization of order polytopes to this context, and we introduce generalized semiorders for which we resolve the conjecture. We hope this new perspective may shed light on the proper level of generality in which to consider the $1/3$-$2/3$ Conjecture, and therefore on which methods are likely to be successful in resolving it.

A combinatorial polytope $P$ is said to be projectively unique if it has a single realization up to projective transformations. Projective uniqueness is a geometrically compelling property but is difficult to verify. In this paper, we merge two approaches to projective uniqueness in the literature. One is primarily geometric and is due to McMullen, who showed that certain natural operations on polytopes preserve projective uniqueness. The other is more algebraic and is due to Gouveia, Macchia, Thomas, and Wiebe. They use certain ideals associated to a polytope to verify a property called graphicality that implies projective uniqueness. In this paper, we show that that McMullen's operations preserve not only projective uniquness but also graphicality. As an application, we show that large families of order polytopes are graphic and thus projectively unique.