arXiv++ Combinatorics

Given a family of lattice polytopes, a common endeavor in Ehrhart theory is the classification of those polytopes in the family that are Gorenstein, or more generally level. In this article, we consider these questions for $\boldsymbol{s}$-lecture hall polytopes, which are a family of simplices arising from $\boldsymbol{s}$-lecture hall partitions. In particular, we provide concrete classifications for both of these properties purely in terms of $\boldsymbol{s}$-inversion sequences. Moreover, for a large subfamily of $\boldsymbol{s}$-lecture hall polytopes, we provide a more geometric classification of the Gorenstein property in terms of its tangent cones. We then show how one can use the classification of level $\boldsymbol{s}$-lecture hall polytopes to construct infinite families of level $\boldsymbol{s}$-lecture hall polytopes, and to describe level $\boldsymbol{s}$-lecture hall polytopes in small dimensions.

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.

Recently, the study of patterns in inversion sequences was initiated by Corteel-Martinez-Savage-Weselcouch and Mansour-Shattuck independently. Motivated by their works and a double Eulerian equidistribution due to Foata (1977), we investigate several classical statistics on restricted inversion sequences that are either known or conjectured to be enumerated by {\em Catalan}, {\em Large Schröder}, {\em Baxter} and {\em Euler} numbers. One of the two highlights of our results is a fascinating bijection between $000$-avoiding inversion sequences and Simsun permutations, which together with Foata's V- and S-codes, provide a proof of a restriced double Eulerian equdistribution. The other one is a refinement of a conjecture due to Martinez and Savage that the cardinality of $\I_n(\geq,\geq,>)$ is the $n$-th Baxter number, which is proved via the so-called {\em obstinate kernel method} developed by Bousquet-Mélou.

We prove a conjecture due independently to Yan and Martinez--Savage that asserts inversion sequences with no weakly decreasing subsequence of length $3$ and enhanced $3$-noncrossing partitions have the same cardinality. Our approach applies both the generating tree technique and the so-called obstinate kernel method developed by Bousquet-Mélou. One application of this equinumerosity is a discovery of an intriguing identity involving numbers of classical and enhanced $3$-noncrossing partitions.

We construct an intriguing bijection between $021$-avoiding inversion sequences and $(2413,4213)$-avoiding permutations, which proves a sextuple equidistribution involving double Eulerian statistics. Two interesting applications of this result are also presented. Moreover, this result inspires us to characterize all permutation classes that avoid two patterns of length $4$ whose descent polynomial equals that of separable permutations.

Inversion sequences of length $n$, $\mathbf{I}_n$, are integer sequences $(e_1, \ldots, e_n)$ with $0 \leq e_i < n$ for each $i$. The study of patterns in inversion sequences was initiated recently by Mansour-Shattuck and Corteel-Martinez-Savage-Weselcouch through a systematic study of inversion sequences avoiding words of length 3. We continue this investigation by generalizing the notion of a pattern to a fixed triple of binary relations $(ρ_1,ρ_2,ρ_3)$ and consider the set $\mathbf{I}_n(ρ_1,ρ_2,ρ_3)$ consisting of those $e \in \mathbf{I}_n$ with no $i < j < k$ such that $e_i ρ_1 e_j$, $e_j ρ_2 e_k$, and $e_i ρ_3 e_k$. We show that "avoiding a triple of relations" can characterize inversion sequences with a variety of monotonicity or unimodality conditions, or with multiplicity constraints on the elements. We uncover several interesting enumeration results and relate pattern avoiding inversion sequences to familiar combinatorial families. We highlight open questions about the relationship between pattern avoiding inversion sequences and families such as plane permutations and Baxter permutations. For several combinatorial sequences, pattern avoiding inversion sequences provide a simpler interpretation than otherwise known.

Permutations that avoid given patterns have been studied in great depth for their connections to other fields of mathematics, computer science, and biology. From a combinatorial perspective, permutation patterns have served as a unifying interpretation that relates a vast array of combinatorial structures. In this paper, we introduce the notion of patterns in inversion sequences. A sequence $(e_1,e_2,\ldots,e_n)$ is an inversion sequence if $0 \leq e_i<i$ for all $i \in [n]$. Inversion sequences of length $n$ are in bijection with permutations of length $n$; an inversion sequence can be obtained from any permutation $π=π_1π_2\ldots π_n$ by setting $e_i = |\{j \ | \ j < i \ {\rm and} \ π_j > π_i \}|$. This correspondence makes it a natural extension to study patterns in inversion sequences much in the same way that patterns have been studied in permutations. This paper, the first of two on patterns in inversion sequences, focuses on the enumeration of inversion sequences that avoid words of length three. Our results connect patterns in inversion sequences to a number of well-known numerical sequences including Fibonacci numbers, Bell numbers, Schröder numbers, and Euler up/down numbers.

Motivated by a conjecture of Savage and Visontai about the equidistribution of the descent statistic on signed permutations of the multiset $\{1,1,2,2,\ldots,n,n\}$ and the ascent statistic on $(1,4,3,8,\ldots,2n-1,4n)$-inversion sequences, we investigate the descent polynomial of the signed permutations of a general multiset. We obtain a factorial generating function formula for a $q$-analog of these descent polynomials and apply it to show that they have only real roots. Two different proofs of the conjecture of Savage and Visontai are provided.

Given a sequence $s=(s_1,s_2,\ldots)$ of positive integers, the inversion sequences with respect to $s$, or $s$-inversion sequences, were introduced by Savage and Schuster in their study of lecture hall polytopes. A sequence $(e_1,e_2,\ldots,e_n)$ of nonnegative integers is called an $s$-inversion sequence of length $n$ if $0\leq e_i < s_i$ for $1\leq i\leq n$. Let I(n) be the set of $s$-inversion sequences of length $n$ for $s=(1,4,3,8,5,12,\ldots)$, that is, $s_{2i}=4i$ and $s_{2i-1}=2i-1$ for $i\geq1$, and let $P_n$ be the set of signed permutations on $\{1^2,2^2,\ldots,n^2\}$. Savage and Visontai conjectured that when $n=2k$, the ascent number over $I_n$ is equidistributed with the descent number over $P_k$. For a positive integer $n$, we use type $B$ $P$-partitions to give a characterization of signed permutations over which the descent number is equidistributed with the ascent number over $I_n$. When $n$ is even, this confirms the conjecture of Savage and Visontai. Moreover, let $I'_n$ be the set of $s$-inversion sequences of length $n$ for $s=(2,2,6,4,10,6,\ldots)$, that is, $s_{2i}=2i$ and $s_{2i-1}=4i-2$ for $i\geq1$. We find a set of signed permutations over which the descent number is equidistributed with the ascent number over $I'_n$.

A permutation of [n] induces a graph on [n] such that the edges of the graph correspond to inversion pairs of the permutation. This graph is connected if and only if the corresponding permutation is indecomposable. Let s(n,m) denote a permutation chosen uniformly at random among all permutations of [n] with exactly m inversions. Let p(n,m) be the common value for the probabilities that s(n,m) is indecomposable or the corresponding graph is connected. We prove that p(n,m) is non-decreasing with m by constructing a Markov process in which s(n,m+1) is obtained from s(n,m) by increasing one of the components of the inversion sequence of s(n,m) by one. We show that, with probability approaching 1, the graph corresponding to s(n,m) becomes connected for m asymptotic to (6/(π^2))nln(n). More precisely, for m=(6n/(π^2)) [ln(n)+ lnln(n)/2+ ln(12)- ln(π)- 12/(π^2)+x_n], where |x_n|=o(lnlnln(n)), the number of components of the random graph is shown to be asymptotically 1+Poisson(e^{-x_n}). When x_n goes to negative infinity, the sizes of the largest and the smallest components, scaled by n, are asymptotic to the lengths of the largest and the smallest subintervals in a partition of [0,1] by [e^{-x_n}] randomly, and independently, scattered points.

We study the joint distribution of descents and inverse descents over the set of permutations of n letters. Gessel conjectured that the two-variable generating function of this distribution can be expanded in a given basis with nonnegative integer coefficients. We investigate the action of the Eulerian operators that give the recurrence for these generating functions. As a result we devise a recurrence for the coefficients but are unable to settle the conjecture. We examine generalizations of the conjecture and obtain a type B analog of the recurrence satisfied by the two-variable generating function. We also exhibit some connections to cyclic descents and cyclic inverse descents. Finally, we propose a combinatorial model in terms of statistics on inversion sequences.

We study the roots of generalized Eulerian polynomials via a novel approach. We interpret Eulerian polynomials as the generating polynomials of a statistic over inversion sequences. Inversion sequences (also known as Lehmer codes or subexcedant functions) were recently generalized by Savage and Schuster, to arbitrary sequences $\s$ of positive integers, which they called $\s$-inversion sequences. Our object of study is the generating polynomial of the {\em ascent} statistic over the set of $\s$-inversion sequences of length $n$. Since this ascent statistic over inversion sequences is equidistributed with the descent statistic over permutations we call this generalized polynomial the \emph{$\s$-Eulerian polynomial}. The main result of this paper is that, for any sequence $\s$ of positive integers, the $\s$-Eulerian polynomial has only real roots. This result is first shown to generalize many existing results about the real-rootedness of various Eulerian polynomials. We then show that it can be used to settle a conjecture of Brenti, that Eulerian polynomials for all finite Coxeter groups have only real roots. It is then extended to several $q$-analogs. We also show that the MacMahon--Carlitz $q$-Eulerian polynomial has only real roots whenever $q$ is a positive real number confirming a conjecture of Chow and Gessel. The same holds true for the $(\des,\finv)$-generating polynomials and also for the $(\des,\fmaj)$-generating polynomials for the hyperoctahedral group and the wreath product groups, confirming further conjectures of Chow and Gessel, and Chow and Mansour, respectively.