arXiv++ Combinatorics

In this paper we study the class of polytopes which can be obtained by taking the convex hull of some subset of the points $\{e_i-e_j \ \vert \ i \neq j\} \cup \{\pm e_i\}$ in $\mathbb{R}^n$, where $e_1,\dots,e_n$ is the standard basis of $\mathbb{R}^n$. Such a polytope can be encoded by a quiver $Q$ with vertices $V \subseteq \{v_1,\dots,v_n\} \cup \{\star\}$, where each edge $v_j\to v_i$ or $\star \to v_i$ or $v_i\to \star$ gives rise to the point $e_i-e_j$ or $e_i$ or $-e_i$, respectively; we denote the corresponding polytope as $\operatorname{Root}(Q)$. These polytopes have been studied extensively under names such as edge polytope and root polytope. We show that if the quiver $Q$ is strongly-connected then the root polytope $\operatorname{Root}(Q)$ is reflexive and terminal; we moreover give a combinatorial description of the facets of $\operatorname{Root}(Q)$. We also show that if $Q$ is planar, then $\operatorname{Root}(Q)$ is (integrally equivalent to the) polar dual of the flow polytope of the dual quiver. Finally we consider the case that $Q$ comes from a ranked poset $P$, and show that $\operatorname{Root}(Q)$ is polar dual to (a translation of) a marked poset polytope. We then study the toric variety $Y(\mathcal{F}_Q)$ associated to the face fan $\mathcal{F}_Q$ of $\operatorname{Root}(Q)$. If $Q$ comes from a ranked poset $P$ we give a combinatorial description of the Picard group of $Y(\mathcal{F}_Q)$, and we show that $Y(\mathcal{F}_Q)$ is a small partial desingularisation of the Hibi toric variety $Y_{\mathcal{O}(P)}$ of the order polytope $\mathcal{O}(P)$. We show that $Y(\mathcal{F}_Q)$ has a small crepant toric resolution of singularities $Y(\widehat{\mathcal{F}}_Q)$, and as a consequence that the Hibi toric variety $Y_{\mathcal{O}(P)}$ has a small resolution of singularities for any ranked poset $P$. These results have applications to mirror symmetry.

Partially ordered sets (posets) play a universal role as an abstract structure in many areas of mathematics. For finite posets, an explicit enumeration of distinct partial orders on a set of unlabelled elements is known only up to a cardinality of 16 (listed as sequence A000112 in the OEIS), but closed expressions are unknown. By considering the automorphisms of (finite) posets, I introduce a formulation of local symmetries. These symmetries give rise to a division operation on the set of posets and lead to the construction of symmetry classes that are easier to characterise and enumerate. Furthermore, we consider polynomial expressions that count certain subsets of posets with a large number of layers (a large height). As an application in physics, local symmetries or rather their absence helps to distinguish causal sets (locally finite posets) that serve as discrete spacetime models from generic causal sets.

We develop a powerful tool for embedding any tree poset $P$ of height $k$ in the Boolean lattice which allows us to solve several open problems in the area. We show that: * If $H$ is a family in $B_n$ with $|H|\ge (q-1+\varepsilon){n\choose \lfloor n/2\rfloor}$ for some $q\ge k$, then $H$ contains on the order of as many induced copies of $P$ as is contained in the $q$ middle layers of the Boolean lattice. This generalizes results of Bukh and of Boehnlein and Jiang which guaranteed a single such copy in non-induced and induced settings respectively. * The number of induced $P$-free families of $B_n$ is $2^{(k-1+o(1)){n\choose \lfloor n/2\rfloor}}$, strengthening recent independent work of Balogh, Garcia, Wigal who obtained the same bounds in the non-induced setting. * The largest induced $P$-free subset of a $p$-random subset of $B_n$ for $p\gg n^{-1}$ has size at most $(k-1+o(1))p{n\choose \lfloor n/2\rfloor}$, generalizing previous work of Balogh, Mycroft, and Treglown and of Collares and Morris for the case when $P$ is a chain. All three results are asymptotically tight and give affirmative answers to general conjectures of Gerbner, Nagy, Patkós, and Vizer in the case of tree posets.

We present two classes of level Eulerian posets. Both classes contain intervals of rank k+1 whose cd-index is the sum over all cd-monomials w of degree k and the coefficient of the monomial w is r to the power of the number of d's in w. We also show that the order complexes of every interval in the first class are homeomorphic to spheres.

We prove that the bounded derived category of the lattice of order ideals of the product of two ordered chains is fractionally Calabi-Yau. We also show that these lattices are derived equivalent to higher Auslander algebras of type A. The proofs involve the study of intervals of the poset that have resolutions described with antichains having rigid properties. These two results combined corroborate a conjecture by Chapoton linking posets to Fukaya-Seidel Categories.

We study objects whose definition is linked to partial orders. An algebra over the operad of posets is a set whose endomorphisms contain the endomorphisms of posets. Notable examples of such algebras include the zeta values, order polytopes, and shuffle series. The language of operads provides us with tools to better understand the combinatorics of these objects. In these notes we describe a non-trivial example of a suboperad ``The Wixarika posets'', alongside its associated algebras. This example is rich enough to showcase the particularities of the field, without delving into technicalities. An old version of these notes were used to give a minicourse in Govt. College University Lahore in Pakistan 2022, and at the BIRS-CMO workshop ``6th meeting of the Mexican Mathematicians in the World'' 2024.

The $(P, w)$-partition generating function $K_{(P,w)}(x)$ is a quasisymmetric function obtained from a labeled poset. Recently, Liu and Weselcouch gave a formula for the coefficients of $K_{(P,w)}(x)$ when expanded in the quasisymmetric power sum function basis. This formula generalizes the classical Murnaghan--Nakayama rule for Schur functions. We extend this result to weighted $(P, w)$-partitions and provide a short combinatorial proof, avoiding the Hopf algebra machinery used by Liu--Weselcouch.

We introduce in this paper a new formalisation of positive opetopes where faces are organised in a poset. Then we show that our definition is equivalent to that of positives opetopes as given by Marek Zawadowski.

We study the difference between the number of facets of the order polytope and the chain polytope of a poset. Hibi and Li classified posets where the gap is exactly zero. We describe the bounds on this gap using the new notion of crossing numbers, and then use this result to classify the posets where the gap is exactly one.

A multiloop $γ\colon \sqcup_1^s \mathbb{S}^1 \looparrowright \mathbb{F}$ is a generic immersion of a finite union of circles into an oriented surface, considered up to homeomorphisms. A pinning set is a set of points $P\subset \mathbb{F}\setminus \operatorname{im}(γ)$, such that in the punctured surface $\mathbb{F} \setminus P$, the immersion $γ$ has the minimal number of double points in its homotopy class. The collection of pinning sets of $γ$ forms a poset under inclusion called the pinning ideal $\mathcal{PI}(γ)$ which is endowed with the cardinal function whose minimum defines the pinning number $\varpi(γ)$. We show that the decision problem associated to computing the pinning number of a multiloop is \textsf{NP}-complete, even for loops in the sphere. We give two proofs that it is \textsf{NP}: First, we implement a polynomial algorithm to check if a point-set is pinning, adapting methods of Birman--Series and Cohen--Lustig for computing intersection numbers of curves in surfaces. Second, for loops in the sphere we reduce the problem in polynomial time to a variant of boolean satisfiability by applying a theorem of Hass--Scott characterizing taut loops, and adapting algorithms of Blank and Shor--Van Wyk which decide when a curve in the plane bounds an immersed disc. To show that it is \textsf{NP}-hard we reduce the vertex cover problem for graphs to the pinning problem for plane loops. We use our algorithms to compute the pinning ideals for $\approx 1000$ of the smallest multiloops in the sphere, available in the online catalog LooPindex.

A pebble tree is an ordered tree where each node receives some colored pebbles, in such a way that each unary node receives at least one pebble, and each subtree has either one more or as many leaves as pebbles of each color. We show that the contraction poset on pebble trees is isomorphic to the face poset of a convex polytope called pebble tree polytope. Beside providing intriguing generalizations of the classical permutahedra and associahedra, our motivation is that the faces of the pebble tree polytopes provide realizations as convex polytopes of all assocoipahedra constructed by K. Poirier and T. Tradler only as polytopal complexes.

Csikvári constructed a poset on trees to prove that several graph functions attain extreme values at the star and the path among the trees on a fixed number of vertices. Reiner and Smith proved that the Tutte polynomials $T(1,y)$ of cones over trees, which are the graphs obtained by attaching a cone vertex to a tree, have the described extreme behavior. They further conjectured that the result can be strengthened in terms of Csikvári's poset. We solve this conjecture affirmatively.

We say a finite poset $P$ is a tree poset if its Hasse diagram is a tree. Let $k$ be the length of the largest chain contained in $P$. We show that when $P$ is a fixed tree poset, the number of $P$-free set systems in $2^{[n]}$ is $2^{(1+o(1))(k-1){n \choose \lfloor n/2\rfloor}}$. The proof uses a generalization of a theorem by Boris Bukh together with a variation of the multiphase graph container algorithm.

We define a partial order $\mathcal{P}_n$ on permutations of any given size $n$, which is the image of a natural partial order on inversion sequences. We call this the ``middle order''. We demonstrate that the poset $\mathcal{P}_n$ refines the weak order on permutations and admits the Bruhat order as a refinement, justifying the terminology. These middle orders are distributive lattices and we establish some of their combinatorial properties, including characterization and enumeration of intervals and boolean intervals (in general, or of any given rank), and a combinatorial interpretation of their Euler characteristic. We further study the (not so well-behaved) restriction of this poset to involutions, obtaining a simple formula for the Möbius function of principal order ideals there. Finally, we offer further directions of research, initiating the study of the canonical Heyting algebra associated with $\mathcal{P}_n$, and defining a parking function analogue of $\mathcal{P}_n$.

Given a finite poset $P$, we study the _whirling_ action on vertex-labelings of $P$ with the elements $\{0,1,2,\dotsc ,k\}$. When such labelings are (weakly) order-reversing, we call them $k$-bounded $P$-partitions. We give a general equivariant bijection between $k$-bounded $P$-partitions and order ideals of the poset $P\times [k]$ which conveys whirling to the well-studied rowmotion operator. As an application, we derive periodicity and homomesy results for rowmotion acting on the chain of V's poset $V \times [k]$. We are able to generalize some of these results to the more complicated dynamics of rowmotion on $C_{n}\times [k]$, where $C_{n}$ is the claw poset with $n$ unrelated elements each covering $\widehat{0}$.

We generalize the definition of the $cd$-index of an Eulerian poset to the class of semi-Eulerian posets. For simplicial semi-Eulerian Buchsbaum posets, we show that all coefficients of the $cd$-index are non-negative. This proves a conjecture of Novik for odd dimensional manifolds and extends it to the even dimensional case.

Ascent sequences were introduced by Bousquet-Mélou, Claesson, Dukes and Kitaev, and are in bijection with unlabeled $(2+2)$-free posets, Fishburn matrices, permutations avoiding a bivincular pattern of length $3$, and Stoimenow matchings. Analogous results for weak ascent sequences have been obtained by Bényi, Claesson and Dukes. Recently, Dukes and Sagan introduced a more general class of sequences which are called $d$-ascent sequences. They showed that some maps from the weak case can be extended to bijections for general $d$ while the extensions of others continue to be injective but not surjective. The main objective of this paper is to restore these injections to bijections. To be specific, we introduce a class of permutations which we call difference $d$ permutations and a class of factorial posets which we call difference $d$ posets, both of which are shown to be in bijection with $d$-ascent sequences. Moreover, we also give a direct bijection between a class of matrices with a certain column restriction and Fishburn matrices. Our results give answers to several questions posed by Dukes and Sagan.

Given a finite directed acyclic graph, the space of non-negative unit flows is a lattice polytope called the flow polytope of the graph. We consider the volumes of flow polytopes for directed acyclic graphs on $n+1$ vertices with a fixed degree sequence, with a focus on graphs having in- and out-degree two on every internal vertex. When the out-degree of the source is three and the number of vertices is fixed, we prove that there is an interchange operation on the edge set of these graphs that induces a partial order on the graphs isomorphic to a Boolean algebra. Further, we prove that as we move up through this partial order, the volumes of the corresponding flow polytopes weakly decrease. Finally, we show that each such graph is strongly planar and we provide an alternative interpretation of our results in the context of linear extensions for posets that are bipartite non-crossing trees.

In this paper, we are concerned with identifying among the family of posets associated with Kohnert polynomials, those whose order complex has a certain combinatorial property. In particular, for numerous families of Kohnert polynomials, including key polynomials, we determine when the associated Kohnert posets are (EL-)shellable. Interestingly, under certain diagram restrictions, (EL-)shellability of a Kohnert poset is equivalent to multiplcity freeness of the associated Kohnert polynomial.

We show that the maximal shifts in the minimal free resolution of the quotients of a polynomial ring by a monomial ideal are subadditive as a function of the homological degree. This answers a question that has received some attention in recent years. To do so, we define and study a new model for the homology of posets, given by the so called synor complex. We also introduce an Eilenberg-Zilber type shuffle product on the simplicial chain complex of lattices. Combining these concepts we prove that the existence of a non-zero homology class for a lattice forces certain non-zero homology classes in lower intervals. This result then translates into properties of the minimal free resolution. In particular, it implies a generalization of the original question.