arXiv++ Combinatorics

The coboundary expansion generalizes the classical graph expansion to the case of the general simplicial complexes, and allows the definition of the higher-dimensional Cheeger constants $h_k(X)$ for an arbitrary simplicial complex $X$, and any $k\geq 0$. In this paper we investigate the value of $h_1(Δ^{[n]})$ - the first Cheeger constant of a simplex with $n$ vertices. It is known, due to the pioneering work of Meshulam and Wallach, that \[\lceil n/3\rceil\geq h_1(Δ^{[n]})\geq n/3, \textrm{ for all } n,\] and that the equality $h_1(Δ^{[n]})=n/3$ is achieved when $n$ is divisible by $3$. Here we expand on these results. First, we show that \[h_1(Δ^{[n]})=n/3, \textrm{ whenever }n\textrm{ is not a power of }2.\] So the sharp equality holds on a set whose density goes to $1$. Second, we show that \[h_1(Δ^{[n]})=n/3+O(1/n),\textrm{ when }n\textrm{ is a power of }2.\] In other words, as $n$ goes to infinity, the value $h_1(Δ^{[n]})-n/3$ is either $0$ or goes to $0$ very rapidly. Our methods include recasting the original question in purely graph-theoretic language, followed by a detailed investigation of a specific graph family, the so-called {\it staircase graphs}. These are defined by associating a graph to every partition, and appear to be especially suited to gain information about the first Cheeger constant of a simplex.

Proctor's work on staircase plane partitions yields an enumeration of lozenge tilings of a halved hexagon on the triangular lattice. Rohatgi recently extended this tiling enumeration to a halved hexagon with a triangle removed from the boundary. In this paper we prove a generalization of the results of Proctor and Rohatgi by enumerating lozenge tilings of a halved hexagon in which an array of adjacent triangles has been removed from the boundary.

There is a well-known upper bound on the growth rate of the merge of two permutation classes. Curiously, there is no known merge for which this bound is not achieved. Using staircases of permutation classes, we provide sufficient conditions for this upper bound to be achieved. In particular, our results apply to all merges of principal permutation classes. We end by demonstrating how our techniques can be used to reprove a result of Bóna.

We study a family of polynomials associated with ascent-descent statistics on labeled rooted plane k-ary trees introduced by Gessel, from a rook-theoretic perspective. We generalize the excedance statistic on permutations to maximal nonattacking rook placements on certain rectangular boards by decomposing them into boards of staircase shape. We then relate the number of maximal nonattacking rook placements on certain skew boards to the number of regions in extended Linial arrangements by establishing a relation between the factorial polynomial of those boards to the characteristic polynomial of extended Linial arrangements. Furthermore, we give a combinatorial interpretation of the number of bounded regions in extended Linial arrangements in the setting of labeled rooted plane k-ary trees. Finally, using the work of Goldman-Joichi-White, we identify graphs whose chromatic polynomials equal the characteristic polynomials of extended Linial arrangements upto a straightforward normalization.

The \emph{$q,t$-Catalan numbers} $C_n(q,t)$ are polynomials in $q$ and $t$ that reduce to the ordinary Catalan numbers when $q=t=1$. These polynomials have important connections to representation theory, algebraic geometry, and symmetric functions. Haglund and Haiman discovered combinatorial formulas for $C_n(q,t)$ as weighted sums of Dyck paths (or equivalently, integer partitions contained in a staircase shape). This paper undertakes a combinatorial investigation of the joint symmetry property $C_n(q,t)=C_n(t,q)$. We conjecture some structural decompositions of Dyck objects into "mutually opposite" subcollections that lead to a bijective explanation of joint symmetry in certain cases. A key new idea is the construction of infinite chains of partitions that are independent of $n$ but induce the joint symmetry for all $n$ simultaneously. Using these methods, we prove combinatorially that for $0\leq k\leq 9$ and all $n$, the terms in $C_n(q,t)$ of total degree $\binom{n}{2}-k$ have the required symmetry property.

The PASEP (Partially Asymmetric Simple Exclusion Process) is a probabilistic model of moving particles, which is of great interest in combinatorics, since it appeared that its partition function counts some tableaux. These tableaux have several variants such as permutations tableaux, alternative tableaux, tree- like tableaux, Dyck tableaux, etc. We introduce in this context certain excursions in Young's lattice, that we call stammering tableaux (by analogy with oscillating tableaux, vacillating tableaux, hesitating tableaux). Some natural bijections make a link with rook placements in a double staircase, chains of Dyck paths obtained by successive addition of ribbons, Laguerre histories, Dyck tableaux, etc.

Staircase tableaux are combinatorial objects that were first introduced due to a connection with the asymmetric simple exclusion process (ASEP) and Askey-Wilson polynomials. Since their introduction, staircase tableaux have been the object of study in many recent papers. Relevant to this paper, the distri- bution of parameters on the first diagonal was proven to be asymptotically normal. In that same paper, a conjecture was made that the other diagonals would be asymptotically Poisson. Since then, only the second and the third diagonal were proven to follow the conjecture. This paper builds upon those results to prove the conjecture for fixed k. In particular, we prove that the distribution of the number of alphas (betas) on the kth diagonal, k > 1, is asymptotically Poisson with parameter 1\2. In addition, we prove that symbols on the kth diagonal are asymptotically independent and thus, collectively follow the Poisson distribution with parameter 1.

The present paper is motivated by the need to generalize the construction of the Scarf complex in order to give combinatorial resolutions of a much broader class of modules than just the monomial ideals. For any subset $A\subseteq \mathbb{R}^n$, let $\mathfrak{N}(A)$ denote the collection of all subsets $B\subseteq A$ such that there is no $a\in A$ that is strictly less than the supremum of $B$ in all coordinates. We show that if $A\subseteq \mathbb{Z}^n$ is generic (in a sense appropriate for this context), then $\mathfrak{N}(A)$ is a locally finite simplicial complex. Moreover, if $A$ is generic, then the barycentric subdivision of $\mathfrak{N}(A)$ is equivalent to a triangulation of a PL hypersurface in $\mathbb{R}^n$. This gives us natural generalizations of the notions of ``staircase surface'' and ``Buchberger graph,'' described by Miller and Sturmfels, to arbitrary dimension. (This seems to be a new result, even in the well-studied case that $A$ is a finite subset of $\mathbb{N}^n$.) We give examples that show that when $A$ is infinite, $\mathfrak{N}(A)$ may have complicated topology, but if there are at most finitely many elements of $A$ below any given $b\in \mathbb{R}^n$, then $\mathfrak{N}(A)$ is locally contractible. $\mathfrak{N}(A)$ can therefore be used to construct locally finite free resolutions of sub-$k[\mathbb{N}^n]$-modules of the group algebra $k[\mathbb{R}^n]$ ($k$ is a field). We prove various additional facts about the structure of $\mathfrak{N}(A)$

Gyárfás investigated a geometric Ramsey problem on convex, separated, balanced, geometric $K_{n,n}$. This led to appealing extremal problem on square $0$-$1$ matrices. Gyárfás conjectured that any $0$-$1$ matrix of size $n\times n$ has a staircase of size $n-1$. We introduce the non-symmetric version of Gyárfás' problem. We give upper bounds and in certain range matching lower bound on the corresponding extremal function. In the square/balanced case we improve the $(4/5+ε)n$ lower bound of Cai, Gyárfás et al. to $5n/6-7/12$. We settle the problem when instead of considering maximum staircases we deal with the sum of the size of the longest $0$- and $1$-staircases.

We enumerate smooth and rationally smooth Schubert varieties in the classical finite types A, B, C, and D, extending Haiman's enumeration for type A. To do this enumeration, we introduce a notion of staircase diagrams on a graph. These combinatorial structures are collections of steps of irregular size, forming interconnected staircases over the given graph. Over a Dynkin-Coxeter graph, the set of "nearly-maximally labelled" staircase diagrams is in bijection with the set of Schubert varieties with a complete Billey-Postnikov (BP) decomposition. We can then use an earlier result of the authors showing that all finite-type rationally smooth Schubert varieties have a complete BP decomposition to finish the enumeration.

In previous work, the first and third authors introduced staircase tableaux, which they used to give combinatorial formulas for the stationary distribution of the asymmetric simple exclusion process (ASEP) and for the moments of the Askey-Wilson weight function. The fact that the ASEP and Askey-Wilson moments are related at all is quite surprising, and is due to Uchiyama-Sasamoto-Wadati. The ASEP is a model of particles hopping on a one-dimensional lattice of N sites with open boundaries, particles can enter and exit at both left and right borders. It was introduced around 1970 and is cited as a model for both traffic flow and translation in protein synthesis. Meanwhile, the Askey-Wilson polynomials are a family of orthogonal polynomials in one variable, they sit at the top of the hierarchy of classical orthogonal polynomials. So we have the relationship ASEP -- staircase tableaux -- Askey-Wilson moments It is well-known that Askey-Wilson polynomials can be viewed as the one-variable case of the multivariate Koornwinder polynomials, also known as the Macdonald polynomials for the type BC root system. It is natural then to ask whether one can generalize the relationships among the ASEP, Askey-Wilson moments, and staircase tableaux, in such a way that Koornwinder moments replace Askey-Wilson moments. In a recent work, we demonstrated a close connection between Koornwinder moments and the two-species ASEP (a particle model involving two species of particles with different "weights"). In this article we introduce rhombic staircase tableaux, and show that we have the relationship 2-species ASEP -- rhombic staircase tableaux -- Koornwinder moments In particular, we give formulas for the steady state distribution of the two-species ASEP and for Koornwinder moments, in terms of rhombic staircase tableaux.

We generalize a special case of a theorem of Proctor on the enumeration of lozenge tilings of a hexagon with a maximal staircase removed, using Kuo's graphical condensation method. Additionally, we prove a formula for a weighted version of the given region. The result also extends work of Ciucu and Fischer. By applying the factorization theorem of Ciucu, we are also able to generalize a special case of MacMahon's boxed plane partition formula.

Proctor proved a formula for the number of lozenge tilings of a hexagon with side-lengths $a,b,c,a,b,c$ after removing a "maximal staircase." Ciucu then presented a weighted version of Proctor's result. Here we present weighted and unweighted formulas for a similar region which has an additional unit triangle removed. We use Kuo's graphical condensation method to prove the results. By applying the factorization theorem of Ciucu, we obtain a formula for the number of lozenge tilings of a hexagon with three holes on consecutive edges.

In this paper we study an alternating sign matrix analogue of the Chan-Robbins-Yuen polytope, which we call the ASM-CRY polytope. We show that this polytope has Catalan many vertices and its volume is equal to the number of standard Young tableaux of staircase shape; we also determine its Ehrhart polynomial. We achieve the previous by proving that the members of a family of faces of the alternating sign matrix polytope which includes ASM-CRY are both order and flow polytopes. Inspired by the above results, we relate three established triangulations of order and flow polytopes, namely Stanley's triangulation of order polytopes, the Postnikov-Stanley triangulation of flow polytopes and the Danilov-Karzanov-Koshevoy triangulation of flow polytopes. We show that when a graph $G$ is a planar graph, in which case the flow polytope $F_G$ is also an order polytope, Stanley's triangulation of this order polytope is one of the Danilov-Karzanov-Koshevoy triangulations of $F_G$. Moreover, for a general graph $G$ we show that the set of Danilov-Karzanov-Koshevoy triangulations of $F_G$ is a subset of the set of Postnikov-Stanley triangulations of $F_G$. We also describe explicit bijections between the combinatorial objects labeling the simplices in the above triangulations.

In this paper, we study staircase tableaux, a combinatorial object introduced due to its connections with the asymmetric exclusion process (ASEP) and Askey-Wilson polynomials. Due to their interesting connections, staircase tableaux have been the object of study in many recent papers. More specific to this paper, the distribution of various parameters in random staircase tableaux has been studied. There have been interesting results on parameters along the main diagonal, however, no such results have appeared for other diagonals. It was conjectured that the distribution of the number of symbols along the kth diagonal is asymptotically Poisson as k and the size of the tableau tend to infinity. We partially prove this conjecture; more specifically we prove it for the second and the third main diagonal.

The Sand Pile Model (SPM) and its generalization, the Ice Pile Model (IPM), originate from physics and have various applications in the description of the evolution of granular systems. In this article, we deal with the enumeration and the exhaustive generation of the accessible configuration of the system. Our work is based on a new recursive decomposition theorem for SPM configurations using the notion of staircase bases. Based on this theorem, we provide a recursive formula for the enumeration of SPM(n) and a constant amortized time (CAT) algorithm for the generation of all SPM(n) configurations. The extension of the same approach to the Ice Pile Model is also discussed.

The x-ray process is modelled using integer compositions as a two dimensional analogue of the object being x-rayed, where the examining rays are modelled by diagonal lines with equation $x-y=n$ for non negative integers $n$. This process is essentially parameterised by the degree to which the x-rays are contained inside a particular composition. So, characterising the process translates naturally to obtaining a generating function which tracks the number of "staircases" which are contained inside arbitrary integer compositions of $n$. More precisely, we obtain a generating function which counts the number of times the staircase $1^+2^+3^+\cdots m^+$ fits inside a particular composition. The main theorem establishes this generating function \begin{equation*} F= \dfrac {k_{m}-\frac {qx^{m}y}{1-x}k_{m-1}}{(1-q)x^{\binom {m+1}{2}}\left(\frac{y}{1-x}\right)^{m}+\frac{1-x-xy}{1-x}\left(k_{m}-\frac{qx^{m}y}{1-x}k_{m-1}\right)}. \end{equation*} where \begin{equation} k_{m}=\sum_{j=0}^{m-1}x^{mj-\binom {j}{2}}\left(\frac {y}{1-x}\right)^{j}. \end{equation} Here $x$ and $y$ respectively track the composition size and number of parts, whilst $q$ tracks the number of such staircases contained.

In this paper, we compute the genus of the variety of linear series of rank $r$ and degree $d$ on a general curve of genus $g$, with ramification at least $α$ and $β$ at two given points, when that variety is 1-dimensional. Our proof uses degenerations and limit linear series along with an analysis of random staircase paths in Young tableaux, and produces an explicit scheme-theoretic description of the limit linear series of fixed rank and degree on a generic chain of elliptic curves when that scheme is itself a curve.

Recently, Kim and Oh expressed the Selberg integral in terms of the number of Young books which are a generalization of standard Young tableaux of shifted staircase shape. In this paper the generating function for Young books according to major index statistic is considered. It is shown that this generating function can be written as a Jackson integral which gives a new $q$-Selberg integral. It is also shown that the new $q$-Selberg integral has an expression in terms of Schur functions.

Lascoux has given a triangular version of the Cauchy identity where Schur polynomials are replaced by Demazure characters and Demazure atoms. He has then used the staircase expansion to recover expansions for all Ferrers shapes, where the Demazure characters and Demazure atoms are under the action of Demazure operators specified by the cells above the staircase. The characterisation of the tableau-pairs in these last expansions is less explicit. We give here a bijective proof for expansions over near staircases, where the tableau-pairs are made explicit. Our analysis formulates Mason's RSK analogue, for semi-skylines augmented fillings, in terms of growth diagrams.