arXiv++ Combinatorics

We consider the set of permutations that are sorted after two passes through a pop stack. We characterize these permutations in terms of forbidden patterns (classical and barred) and enumerate them according to the ascent statistic. Then we show these permutations to be in bijection with a special family of polyominoes. As a consequence, the permutations sortable by this machine are shown to have the same enumeration as three classical permutation classes.

Non-negative Łukasiewicz paths are special two-dimensional lattice paths never passing below their starting altitude which have only one single special type of down step. They are well-known and -studied combinatorial objects, in particular due to their bijective relation to trees with given node degrees. We study the asymptotic behavior of the number of ascents (i.e., the number of maximal sequences of consecutive up steps) of given length for classical subfamilies of general non-negative Łukasiewicz paths: those with arbitrary ending altitude, those ending on their starting altitude, and a variation thereof. Our results include precise asymptotic expansions for the expected number of such ascents as well as for the corresponding variance.

In 2010, Bousquet-Mélou et al. defined sequences of nonnegative integers called ascent sequences and showed that the ascent sequences of length $n$ are in one-to-one correspondence with the interval orders, i.e., the posets not containing the poset $\mathbf{2}+\mathbf{2}$. Through the use of generating functions, this provided an answer to the longstanding open question of enumerating the (unlabeled) interval orders. A semiorder is an interval order having a representation in which all intervals have the same length. In terms of forbidden subposets, the semiorders exclude $\mathbf{2}+\mathbf{2}$ and $\mathbf{1}+\mathbf{3}$. The number of unlabeled semiorders on $n$ points has long been known to be the $n$-th Catalan number. However, describing the ascent sequences that correspond to the semiorders under the bijection of Bousquet-Mélou et al. has proved difficult. In this paper, we discuss a major part of the difficulty in this area: the ascent sequence corresponding to a semiorder may have an initial subsequence that corresponds to an interval order that is not a semiorder. We define the hereditary semiorders to be those corresponding to an ascent sequence for which every initial subsequence also corresponds to a semiorder. We provide a structural result that characterizes the hereditary semiorders and use this characterization to determine the ordinary generating function for hereditary semiorders. We also use our characterization of hereditary semiorders and the characterization of semiorders of dimension 3 given by Rabinovitch to provide a structural description of the semiorders of dimension at most 2. From this description, we are able to determine the ordinary generating for the semiorders of dimension at most 2.

In this paper, we consider the generalization of chordal graphs to clutters proposed by Bigdeli, et al in J. Combin. Theory, Series A (2017). Assume that $\mathcal{C}$ is a $d$-dimensional uniform clutter. It is known that if $\mathcal{C}$ is chordal, then $I(\bar{\mathcal{C}})$ has a linear resolution over all fields. The converse has recently been rejected, but the following question which poses a weaker version of the converse is still open: "if $I(\bar{\mathcal{C}})$ has linear quotients, is $\mathcal{C}$ necessarily chordal?". Here, by introducing the concept of the ascent of a clutter, we split this question into two simpler questions and present some clues in support of an affirmative answer. In particular, we show that if $I(\bar{\mathcal{C}})$ is the Stanley-Reisner ideal of a simplicial complex with a vertex decomposable Alexander dual, then $\mathcal{C}$ is chordal.

Set partitions avoiding $k$-crossing and $k$-nesting have been extensively studied from the aspects of both combinatorics and mathematical biology. By using the generating tree technique, the obstinate kernel method and Zeilberger's algorithm, Lin confirmed a conjecture due independently to the author and Martinez-Savage that asserts inversion sequences with no weakly decreasing subsequence of length 3 and enhanced 3-nonnesting partitions have the same cardinality. In this paper, we provide a bijective proof of this conjecture. Our bijection also enables us to provide a new bijective proof of a conjecture posed by Duncan and Steingrímsson, which was proved by the author via an intermediate structure of growth diagrams for $01$-fillings of Ferrers shapes.

In 1995, the first author introduced a multivariate generating function {$G$} that tracks the distribution of ascents and descents in labeled binary trees. In addition to proving that $G$ is symmetric, he conjectured that $G$ is Schur positive. We prove this conjecture by expanding $G$ positively in terms of ribbon Schur functions. We obtain this expansion using a weight-preserving bijection whose inverse is inspired by the Push-Glide algorithm of Préville-Ratelle and Viennot. In fact, this weight-preserving bijection allows us to establish a stronger version of the first author's conjecture showing that the generating function restricted to labeled binary trees with a fixed canopy is still Schur positive. We also discuss applications in the setting of hyperplane arrangements. We show that a certain specialization of $G$ equals the Frobenius characteristic of the natural $\mathfrak{S}_n$-action on regions of the semiorder arrangement, which we then expand in terms of {the Frobenius characteristics} of Foulkes characters. We also construct an $\mathfrak{S}_n$-action on regions of the Linial arrangement using a set of trees studied by Bernardi, and subsequently compute the character of this action by employing Lagrange inversion. The resulting expression generalizes Postnikov's formula for the number of regions in the Linial arrangement. As a final application, we prove $γ$-nonnegativity for the distribution of the number of right edges over local binary search trees.

We define a tournament to be alternation acyclic if it does not contain a cycle in which descents and ascents alternate. Using a result by Athanasiadis on hyperplane arrangements, we show that these tournaments are counted by the median Genocchi numbers. By establishing a bijection with objects defined by Dumont, we show that alternation acyclic tournaments in which at least one ascent begins at each vertex, except for the largest one, are counted by the Genocchi numbers of the first kind. Unexpected consequences of our results include a pair of ordinary generating function formulas for the Genocchi numbers of both kinds and a new very simple model for the normalized median Genocchi numbers.

We introduce Lipschitz functions on a finite partially ordered set $P$ and study the associated Lipschitz polytope $L(P)$. The geometry of $L(P)$ can be described in terms of descent-compatible permutations and permutation statistics that generalize descents and big ascents. For ranked posets, Lipschitz polytopes are centrally-symmetric and Gorenstein, which implies symmetry and unimodality of the statistics. Finally, we define $(P,k)$-hypersimplices as generalizations of classical hypersimplices and give combinatorial interpretations of their volumes and $h^*$-vectors.

In this paper, we construct a listing for the vertices of the augmentation graph of given size, and as a consequence, we obtain a Hamiltonian cycle for the square of the augmentation graph of given size. As applications, we have a Gray code for the $132$-$312$ avoiding permutations of given length such that two successive permutations differ by at most $2$ adjacent transpositions. Also we obtain Gray codes of strong distance $2$ for the $001$ avoiding ascent sequences and the $010$ avoiding ascent sequences of given length.

In this paper, we announce results from our thesis, which studies for the first time the categorification of the theory of generalized permutohedra. The vector spaces in the categorification are tightly constrained by certain continuity relations which appeared in physics in the mid 20th century. We describe here the action of the symmetric group on the vector spaces in this categorification. Generalized permutohedra are replaced by vector spaces of characteristic functions of polyhedral cones about faces of permutohedra, called plates, due to A. Ocneanu. The symmetric group acts on plates by coordinate permutation. In combinatorics, the Eulerian numbers count the number of permutations with a given number of ascent and descents. The classical Worpitzky identity expands a power $r^p$ as a sum of Eulerian numbers, with binomial coefficients. In our thesis, for the main result we generalize the classical Worpitzky identity to an isomorphism of symmetric group modules, corresponding geometrically to the tiling of a scaled simplex by unit hypersimplices. In the categorification, the volume of a hypersimplex is replaced by the complex-linear dimension of a vector space associated to it. The main technical aspect of the proof of the character formula for the simplex involves a partition of unity of a commutative algebra of translations on a discrete torus, and a certain modular Diophantine equation. A detailed paper is in preparation.

We introduce thagomizer matroids and compute the Kazhdan-Lusztig polynomial of a rank $n+1$ thagomizer matroid by showing that the coefficient of $t^k$ is equal to the number of Dyck paths of semilength $n$ with $k$ long ascents. We also give a conjecture for the $S_n$-equivariant Kazhdan-Lusztig polynomial of a thagomizer matroid.

In this paper, we study the generating functions for the number of pattern restricted Stirling permutations with a given number of plateaus, descents and ascents. Properties of the generating functions, including symmetric properties and explicit formulas are studied. Combinatorial explanations are given for some equidistributions.

In this paper, we first present combinatorial proofs of a kind of expansions of the Eulerian polynomials of types A and B, and then we introduce Stirling permutations of the second kind. In particular, we count Stirling permutations of the second kind by their cycle ascent plateaus, fixed points and cycles.

Visontai conjectured in 2013 that the joint distribution of ascent and distinct nonzero value numbers on the set of subexcedant sequences is the same as that of descent and inverse descent numbers on the set of permutations. This conjecture has been proved by Aas in 2014, and the generating function of the corresponding bistatistics is the double Eulerian polynomial. Among the techniques used by Aas are the Möbius inversion formula and isomorphism of labeled rooted trees. In this paper we define a permutation code (that is, a bijection between permutations and subexcedant sequences) and show the more general result that two $5$-tuples of set-valued statistics on the set of permutations and on the set of subexcedant sequences, respectively, are equidistributed. In particular, these results give a bijective proof of Visontai's conjecture.

Motivated by independent results of Bizley and Duchon, we study rational Dyck paths and their subset of factor-free elements. On the one hand, we give a bijection between rational Dyck paths and regular Dyck paths with ascents colored by factor-free words. This bijection leads to a new statistic based on the reducibility level of the paths for which we provide a corresponding formula. On the other hand, we prove an inverse relation for certain sequences defined via partial Bell polynomials, and we use it to derive a formula for the enumeration of factor-free words. In addition, we give alternative formulas for various enumerative sequences that appear in the context of rational Dyck paths.

A dispersed Dyck path (DDP) of length n is a lattice path on $N\times N$ from (0,0) to (n,0) in which the following steps are allowed: "up" (x, y) $\to$ (x+1, y+1); "down" (x, y) $\to$ (x+1, y-1); and "right" (x,0) $\to$ (x+1,0). An ascent in a DDP is an inclusion-wise maximal sequence of consecutive up steps. A 1-ascent is an ascent consisting of exactly 1 up step. We give a closed formula for the total number of 1-ascents in all dispersed Dyck paths of length n, A191386 in Sloane's OEIS. Previously, only implicit generating function relations and asymptotics were known.

We consider a class of lattice paths with certain restrictions on their ascents and down steps and use them as building blocks to construct various families of Dyck paths. We let every building block $P_j$ take on $c_j$ colors and count all of the resulting colored Dyck paths of a given semilength. Our approach is to prove a recurrence relation of convolution type, which yields a representation in terms of partial Bell polynomials that simplifies the handling of different colorings. This allows us to recover multiple known formulas for Dyck paths and related lattice paths in an unified manner.

In the study of Kostka numbers and Catalan numbers, Kirillov posed a unimodality conjecture for the rectangular Narayana polynomials. We prove that the rectangular Narayana polynomials have only real zeros, and thereby confirm Kirillov's unimodality conjecture with the help of Newton's inequality. By using an equidistribution property between descent numbers and ascent numbers on ballot paths due to Sulanke and a bijection between lattice words and standard Young tableaux, we show that the rectangular Narayana polynomial is equal to the descent generating function on standard Young tableaux of certain rectangular shape, up to a power of the indeterminate. Then we obtain the real-rootedness of the rectangular Narayana polynomial based on Brenti's result that the descent generating function of standard Young tableaux has only real zeros.

In this paper, we confirm a conjecture of Laborde-Zubieta on the enumeration of corners in tree-like tableaux. Our proof is based on Aval, Boussicault and Nadeau's bijection between tree-like tableaux and permutation tableaux, and Corteel and Nadeau's bijection between permutation tableaux and permutations. This last bijection sends a corner in permutation tableaux to an ascent followed by a descent in permutations, this enables us to enumerate the number of corners in permutation tableaux, and thus to completely solve L.-Z.'s conjecture. Moreover, we give a bijection between corners and runs of size 1 in permutations, which gives an alternative proof of the enumeration of corners. Finally, we introduce an ($a$,$b$)-analogue of this enumeration, and explain the implications on the PASEP.

We present exponential generating function analogues to two classical identities involving the ordinary generating function of the complete homogeneous symmetric functions. After a suitable specialization the new identities reduce to identities involving the first and second order Eulerian polynomials. The study of these identities led us to consider a family of symmetric functions associated with a class of permutations introduced by Gessel and Stanley, known in the literature as Stirling permutations. In particular, we define certain type statistics on Stirling permutations that refine the statistics of descents, ascents and plateaux and we show that their refined versions are equidistributed, generalizing a result of Bóna. The definition of this family of symmetric functions extends to the generality of $r$-Stirling permutations. We discuss some occurrences of these symmetric functions in the cases of $r=1$ and $r=2$.