arXiv++ Combinatorics

For a finite poset, we partition the edges of the order polytope and of the chain polytope into classes indexed by the connected convex subsets of the poset, and we establish that corresponding classes have the same cardinality. This yields a closed formula for the common number of edges, and it identifies the bijection of Hibi, Li, Sahara and Shikama, given by them through an explicit formula, as a disjoint union of simple bijections between corresponding classes, which explains why it is a bijection and how it acts on edge directions and lengths. As consequences, the two polytopes have equally many edge directions, with matching multiplicities; the chain polytope has at least as many edges parallel to each coordinate subspace as the order polytope; and the edge lengths of the chain polytope are dominated by those of the order polytope. Strict inequality occurs in the last two comparisons exactly when the poset contains a three-element chain. We discuss implications for linear and convex combinatorial optimization over ideals and antichains. We also express the number of edges in terms of the comparability graph, in a form that extends to stable-set polytopes of arbitrary graphs, give a recursion for series-parallel posets and closed formulas for layered, zigzag and crown posets, characterize the distributive lattices for which the two polytopes are unimodularly equivalent, and demonstrate that, although the two polytopes have the same number of edges, either one can have the larger diameter, by an arbitrary amount; on the other hand, both diameters are bounded by the width of the poset, and they coincide for ordinal sums, series-parallel posets, and zigzag and crown posets.

Given a finite preorder $τ$, we study how its order relation determines the $h^*$-polynomial of the associated polar preorder polytope. Let $\mathcal R_τ^{\vee}$ be the convex hull of the negative standard basis vectors and the indicator vectors of nonempty order ideals, and write $h_τ^*(t)=h^*(\mathcal R_τ^{\vee},t)$. Athanasiadis and Chapoton conjectured that this enumerative invariant takes ordinal sums to products: $$h_{τ_1\oplusτ_2}^*(t)=h_{τ_1}^*(t)\,h_{τ_2}^*(t).$$ We prove the conjecture for arbitrary finite preorders, including those with nontrivial equivalence classes. More precisely, we construct a positively homogeneous piecewise unimodular shear from the free sum $\mathcal R_{τ_1}^{\vee}\oplus\mathcal R_{τ_2}^{\vee}$ onto $\mathcal R_{τ_1\oplusτ_2}^{\vee}$, giving lattice-point bijections at every nonnegative real dilation scale. The key is a formula for the Minkowski functional in terms of the least nonnegative order-reversing majorant: after the shear, the functional becomes the sum of the two factor functionals. Together with the Ehrhart product formula for free sums, this proves the conjecture and the corresponding product formula for normalized volume.

We develop a framework for comparing probability measures on finite posets via hockey-stick domination, an order relation defined through interval-counting test functions. The theory introduces poset integrals, derivatives, power functions and the associated moment functionals, all of which are invariant under poset isomorphisms. We prove that hockey-stick domination admits an exact quantitative characterization: whenever $μ$ is dominated by $ν$ in the hockey-stick order, the corresponding Zolotarev-type distance is equal to one half of the second-order poset moment of $ν-μ$. We further develop a constructive theory for generating such domination relations. In particular, we show that hockey-stick domination is preserved under direct products, disjoint unions, ordinal sums, and suitable ideal restrictions, yielding natural families of examples on chains, Boolean posets, rectangular lattices, rooted trees, and Young diagrams.

A combinatorial game is a two-player game without hidden information or chance elements. The disjunctive sum $G + H$ of games $G$ and $H$ is the game in which $G$ and $H$ are played in parallel, and a player makes a move on exactly one of $G$ and $H$ in a turn. The ordinal sum $G \colon H$ is similar to the disjunctive sum, but once the left game $G$ is played, the right game $H$ is discarded and can no longer be played. It is known that the outcome of a mixture of disjunctive sums and ordinal sums, such as $(G_1 \colon G_2) + ((G_3 + G_4) \colon G_5)$, is determined by the variation sets, the set of Grundy numbers of all options, of the components in the normal-play. In this paper, we propose a generalization of an ordinal sum, called an ordinal sum with substitution $G \colon_{\widehat{H}} H$, which is the game made by combining $G$, $H$, and $\widehat{H}$ in the following way: the games $G$ and $H$ are played in parallel; a player makes a move on exactly one of $G$ and $H$ in a turn; each time the left game $G$ is played, the right game $H$ is replaced with $\widehat{H}$. We investigate their fundamental properties and prove a simple formula for the variation sets of ordinal sums with substitution. Apply the formula, we give an explicit expression of the Grundy number of a chain of ordinal sums with substitution consisting of nimbers. We also provide an example illustrating the generalization of ordinal sums with substitution to poset structures.

In this paper, we study the simplex faces of the order polytope $\mathcal{O}(P)$ and the chain polytope $\mathcal{C}(P)$ of a finite poset $P$. We show that, if $P$ can be recursively constructed from $\mathbf{X}$-free posets using disjoint unions and ordinal sums, then $\mathcal{C}(P)$ has at least as many $k$-dimensional simplex faces as $\mathcal{O}(P)$ does, for each dimension $k$. This generalizes a previous result of Mori, both in terms of the dimensions of the simplices and in terms of the class of posets considered.

Partially ordered patterns (POPs) generalize the classical notion of permutation patterns within the framework of pattern avoidance. Building on recent work by Burstein, Han, Kitaev, and Zhang, which introduced the concept of shape-Wilf-equivalence of sets of patterns, we develop the notions of \emph{ordinal} and \emph{disjoint sums} of labeled posets. This framework enables us to reinterpret their main result as an ordinal sum analogue of the classical theorem by Backelin, West, and Xin. We establish analogous results for disjoint sums of POPs and further extend their results to prove Wilf-equivalence for classes of POPs that include isolated vertices. In particular, we prove the shape-Wilf-equivalence of the sets of patterns $\{123, 213, 312\}$ and $\{132, 231, 321\}$. Our proof strategy involves a bijection that filters through an encoding scheme for the transversals avoiding these patterns. We use these results to completely classify the partially ordered patterns of size $3,4,5$ whose connected components are all chains. This classification also confirms a conjecture posed by Dimitrov at the problem session of the British Combinatorics Conference 2024 (BCC30).

Athanasiadis and Kalampogia-Evangelinou recently conjectured that the chain polynomial of any geometric lattice has only real zeros. We verify this conjecture for families of geometric lattices including perfect matroid designs, Dowling lattices, and for a class of geometric lattices that contains all lattices of flats of paving matroids. We also investigate how the conjecture behaves with respect to certain operations such as direct products, ordinal sums and single-element extensions.

In this paper, we provide an overview of Ehrhart polynomials associated with order polytopes of finite posets, a concept first introduced by Stanley. We focus on their combinatorial interpretations for many sequences listed on the OEIS. We begin by exploring the Ehrhart series of order polytopes resulting from various poset operations, specifically the ordinal sum and direct sum. We then concentrate on the poset $P_λ$ associated with the Ferrers diagram of a partition $λ= (λ_1, λ_2, \ldots, λ_t)$. When $λ= (k, k-1, \ldots, 1)$, the Ehrhart polynomial is a shifted Hankel determinant of the well-known Catalan numbers; when $λ= (k, k, \ldots, k)$, the Ehrhart polynomial is solved by Stanley's hook content formula and is used to prove conjectures for the sequence [A140934] on the OEIS. When solving these problems, we rediscover Kreweras' determinant formula for the Ehrhart polynomial $\mathrm{ehr}(\mathcal{O}(P_λ), n)$ through the application of the Lindström-Gessel-Viennot lemma on non-intersecting lattice paths.

We study Defant and Kravitz's generalization of Schützenberger's promotion operator to arbitrary labelings of finite posets in two directions. Defant and Kravitz showed that applying the promotion operator $n-1$ times to a labeling of a poset on $n$ elements always gives a natural labeling of the poset and called a labeling tangled if it requires the full $n-1$ promotions to reach a natural labeling. They also conjectured that there are at most $(n-1)!$ tangled labelings for any poset on $n$ elements. In the first direction, we propose a further strengthening of their conjecture by partitioning tangled labelings according to the element labeled $n-1$ and prove that this stronger conjecture holds for inflated rooted forest posets and a new class of posets called shoelace posets. In the second direction, we introduce sorting generating functions and cumulative generating functions for the number of labelings that require $k$ applications of the promotion operator to give a natural labeling. We prove that the coefficients of the cumulative generating function of the ordinal sum of antichains are log-concave and obtain a refinement of the weak order on the symmetric group.

We investigate connected posets $C$ of height one as retracts of finite posets $P$. We define two multigraphs: a multigraph $\mathfrak{F}(P)$ reflecting the network of so-called improper 4-crown bundles contained in the extremal points of $P$, and a multigraph $\mathfrak{C}(C)$ depending on $C$ but not on $P$. There exists a close interdependence between $C$ being a retract of $P$ and the existence of a graph homomorphism of a certain type from $\mathfrak{F}(P)$ to $\mathfrak{C}(C)$. In particular, if $C$ is an ordinal sum of two antichains, then $C$ is a retract of $P$ iff such a graph homomorphism exists. Returning to general connected posets $C$ of height one, we show that the image of such a graph homomorphism can be a clique in $\mathfrak{C}(C)$ iff the improper 4-crowns in $P$ contain only a sparse subset of the edges of $C$.

Call a finite relational structure $k$-Slupecki if its only surjective $k$-ary polymorphisms are essentially unary, and Slupecki if it is $k$-Slupecki for all $k \geq 2$. We present conditions, some necessary and some sufficient, for a reflexive digraph to be Slupecki. We prove that all digraphs that triangulate a 1-sphere are Slupecki, as are all the ordinal sums $m \oplus n$ ($m,n \geq 2$). We prove that the posets $P = m \oplus n \oplus k$ are not 3-Slupecki for $m,n,k \geq 2$, and prove there is a bound $B(m,k)$ such that $P$ is 2-Slupecki if and only if $n > B(m,k)+1$; in particular there exist posets that are 2-Slupecki but not 3-Slupecki.

The order and chain polytopes are two 0/1-polytopes constructed from a finite poset. In this paper, we study the $f$-vectors of these polytopes. We investigate how the order and chain polytopes behave under disjoint unions and ordinal sums of posets, and how the $f$-vectors of these polytopes are expressed in terms of $f$-vectors of smaller polytopes. Our focus is on comparing the $f$-vectors of the order and chain polytope built from the same poset. In our main theorem we prove that for a family of posets built inductively by taking disjoint unions and ordinal sums of posets, for any poset $\mathcal{P}$ in this family the $f$-vector of the order polytope of $\mathcal{P}$ is component-wise at most the $f$-vector of the chain polytope of $\mathcal{P}$.

We study the action of Bender-Knuth involutions on linear extensions of posets and identify LE-cactus posets, i.e. those for which the cactus relations hold. It was conjectured in \cite{chiang2023bender} that d-complete posets are LE-cactus. Among the non-d-complete posets that are LE-cactus, one notable family is ordinal sums of antichains. In this paper, we characterize the LE-cactus posets in a more general family, namely ordinal sums of disjoint unions of chains.

Interval-closed sets of a poset are a natural superset of order ideals. We initiate the study of interval-closed sets of finite posets from enumerative and dynamical perspectives. In particular, we use the generalized toggle group to define rowmotion on interval-closed sets as a product of these toggles. Our main theorem is an intricate global characterization of rowmotion on interval-closed sets, which we show is equivalent to the toggling definition. We also study specific posets; we enumerate interval-closed sets of ordinal sums of antichains, completely describe their rowmotion orbits, and prove a homomesy result involving the signed cardinality statistic. Finally, we study interval-closed sets of product of chains posets, proving further results about enumeration and homomesy.

In this paper we consider ordinal sums of combinatorial games where each summand is a number, not necessarily in canonical form. In doing so we give formulas for the value of an ordinal sum of numbers where the literal form of the base has certain properties. These formulas include a closed form of the value of any ordinal sum of numbers where the base is in canonical form. Our work employs a recent result of Clow which gives a criteria for an ordinal sum G : K = H : K when G and H do not have the same literal form, as well as expanding this theory with the introduction of new notation, a novel ruleset, Teetering Towers, and a novel construction of the canonical forms of numbers in Teetering Towers. In doing so, we resolve the problem of determining the value of an ordinal sum of numbers in all but a few cases appearing in Conway's On Numbers and Games; thus generalizing a number of existing results and techniques including Berlekamp' sign rule, van Roode's signed binary number method, and recent work by Carvalho, Huggan, Nowakowski, and Pereira dos Santos. We conclude with a list of open problems related to our results.

Let $X$ be a finite connected poset and $K$ a field. We study the question, when all Lie automorphisms of the incidence algebra $I(X,K)$ are proper. Without any restriction on the length of $X$ we find only a sufficient condition involving certain equivalence relation on the set of maximal chains of $X$. For some classes of posets of length one, such as finite connected crownless posets (i.e., without weak crown subposets), crowns and ordinal sums of two antichains we give a complete answer.

We define several sorts of mappings on a poset like monotone, strictly monotone, upper cone preserving and variants of these. Our aim is to characterize posets in which some of these mappings coincide. We define special mappings determined by two elements and investigate when these are strictly monotone or upper cone preserving. If the considered poset is a semilattice then its monotone mappings coincide with semilattice homomorphisms if and only if the poset is a chain. Similarly, we study posets which need not be semilattices but whose upper cones have a minimal element. We extend this investigation to posets that are direct products of chains or an ordinal sum of an antichain and a finite chain. We characterize equivalence relations induced by strongly monotone mappings and show that the quotient set of a poset by such an equivalence relation is a poset again.

We consider Flipping Coins, a partizan version of the impartial game Turning Turtles, played on lines of coins. We show the values of this game are numbers, and these are found by first applying a reduction, then decomposing the position into an iterated ordinal sum. This is unusual since moves in the middle of the line do not eliminate the rest of the line. Moreover, when $G$ is decomposed into lines $H$ and $K$, then $G=(H:K^R)$. This is in contrast to Hackenbush Strings where $G= (H:K)$.

We present two rulesets, Domino Shave and Clockwise Hackenbush. The first is somehow natural and, as special cases, includes Stirling Shave and Hetyei's Bernoulli game. Clockwise Hackenbush seems artificial yet it is equivalent to Domino Shave. From the pictorial form of the game, and a knowledge of Hackenbush, the decomposition into ordinal sums is immediate. The values of Clockwise Blue-Red Hackenbush are numbers and we provide an explicit formula for the ordinal sum of numbers where the literal form of the base is $\{x\,|\,\}$ or $\{\,|\,x\}$, and $x$ is a number. That formula generalizes van Roode's signed binary number method for Blue-Red Hackenbush.

The Tsetlin library is a very well studied model for the way an arrangement of books on a library shelf evolves over time. One of the most interesting properties of this Markov chain is that its spectrum can be computed exactly and that the eigenvalues are linear in the transition probabilities. In this paper we consider a generalization which can be interpreted as a self-organizing library in which the arrangements of books on each shelf are restricted to be linear extensions of a fixed poset. The moves on the books are given by the extended promotion operators of Ayyer, Klee, and Schilling while the shelves, bookcases, etc. evolve according to the move-to-back moves as in the the self-organizing library of Björner. We show that the eigenvalues of the transition matrix of this Markov chain are $\pm 1$ integer combinations of the transition probabilities if the posets that prescribe the restrictions on the book arrangements are rooted forests or more generally, if they consist of ordinal sums of a rooted forest and so called ladders. For some of the results we show that the monoids generated by the moves are either $\mathcal{R}$-trivial or, more generally, in $\textbf{DO(Ab)}$ and then we use the theory of left random walks on the minimal ideal of such monoids to find the eigenvalues. Moreover, in order to give a combinatorial description of the eigenvalues in the more general case, we relate the eigenvalues when the restrictions on the book arrangements change only by allowing for one additional transposition of two fixed books.