arXiv++ Combinatorics

We show that the support of the Grothendieck polynomial $\mathfrak G_w$ of any fireworks permutation is as large as possible: a monomial appears in $\mathfrak G_w$ if and only if it divides $\mathbf x^{\mathrm{wt}(\overline{D(w)})}$ and is divisible by some monomial appearing in the Schubert polynomial $\mathfrak S_w$. Our formula implies that the homogenization of $\mathfrak G_w$ has M-convex support. We also show that for any fireworks permutation $w\in S_n$, there exists a layered permutation $π(w)\in S_n$ so that $\mathrm{supp}(\mathfrak G_{π(w)})\supseteq \mathrm{supp}(\mathfrak G_w)$.

We introduce $k$-cascading parking functions, a parametrized variant of parking functions in which cars form bumping cascades of up to $k \geq 0$ cars. Setting $k = 0$ recovers classical parking functions, whereas $k = 1$ recovers MVP parking functions. Although parking functions and cascading parking functions are equivalent as sets, they are generally distinct as maps. Therefore, in this paper we consider the enumeration of the fibers of their outcomes. Our main result is a recursive, permutation pattern-based formula for the size of the fiber of any given permutation, for any given $k \geq 0$. When specialized to the longest word, the formula reduces to a family of integer sequences that interpolate between the simplest sequence ($k=0$), the Motzkin numbers ($k = 1$), and the Catalan numbers ($k\geq n-1$). When specialized to the set of layered permutations, the formula gives new combinatorial interpretations for the row sums of certain convolution triangles, including Motzkin and Catalan convolution triangles.

We present computational results on principal specializations $\mathfrak{S}_w(1^n)$ of Schubert polynomials, which count reduced pipe dreams and reduced bumpless pipe dreams (RBPD). We find the first counterexample, at $n=17$, to the Merzon-Smirnov conjecture (arXiv:1410.6857) that the maximum of $\mathfrak{S}_w(1^n)$ over $S_n$ is attained at a layered permutation. The simulations suggest that $\lim_{n \to \infty} \log(\max_{w\in S_n}\mathfrak{S}_w(1^n))/n^2$ equals the maximal layered permutations' constant from Morales-Pak-Panova (arXiv:1805.04341). We also explore the random permutation drawn from the distribution proportional to $\mathfrak{S}_w(1^n)$, revealing permuton-like asymptotics similar to those for Grothendieck polynomials by Morales-Panova-Petrov-Yeliussizov (arXiv:2407.21653). We implement and compare three recurrences for $\mathfrak{S}_w(1^n)$: the descent formula (Macdonald), transition formula (Lascoux--Schutzenberger), and cotransition formula (Knutson). For sampling uniformly random RBPDs (whose count is $\sum_{w\in S_n} \mathfrak{S}_w(1^n)$), we show that reducedness breaks the sublattice property of the ASM lattice, preventing monotone CFTP and causing false coalescence. We develop an efficient MCMC sampler with macroscopic "droop" updates for connectivity and fast mixing. Our code computes $\mathfrak{S}_w(1^n)$ up to $n\sim 20$ and samples random RBPDs up to $n\sim 60$ on a personal computer ($n\sim 100$ on a cluster).

Given a permutation $π$, let $\text{Av}_n(π)$ be the number of permutations of length $n$ that avoid $π$ as a subpermutation. The celebrated resolution of the Stanley-Wilf conjecture by Marcus and Tardos confirmed that the limit $L(π) = \lim_{n \to \infty} |\text{Av}_n(π)|^{1/n}$ exists. A central and challenging question concerns the behavior of $L(π)$ as a function of the pattern length $|π|$. While Fox proved that $L(π)$ is exponential in $|π|$ for almost all permutations, it is known that $L(π)$ grows polynomially for specific structural classes. For instance, $L(π)$ is known to be quadratic in $|π|$ when $π$ is a monotone or a layered permutation. In this paper, we address this question for {\it blockable} permutations $π$.

We find a layered permutation $w\in S_n$ whose Schubert polynomial $\mathfrak S_w(x_1, \dots, x_n)$ has support of size asymptotically at least $n!/4^n$. This gives precise asymptotics for the growth rate of $β(n):= \max_{w\in S_n}|\mathrm{supp}(\mathfrak S_w)|$. We find a different layered permutation $w\in S_n$ whose Grothendieck polynomial has support of size asymptotically at least $n!/e^{\sqrt{2n} \cdot \ln(n)}$ and obtain more precise asymptotics for the growth rate of $β^{\mathfrak G}(n):=\max_{w\in S_n}|\mathrm{supp}(\mathfrak G_w)|$.

Let $v(n)$ be the largest principal specialization of Schubert polynomials for layered permutations $v(n) := \max_{w \in \mathcal{L}_n} \mathfrak{S}_w(1,\ldots,1)$. Morales, Pak and Panova proved that there is a limit \[\lim_{n \to \infty} \frac{\log v(n)}{n^2},\] and gave a precise description of layered permutations reaching the maximum. In this paper, we extend Morales Pak and Panova's results to generalized principal specialization $\mathfrak{S}_w(1,q,q^2,\ldots)$ for multi-layered permutations when $q$ equals a root of unity.

We show that several classes of ordered structures (namely, convex linear orders, layered permutations, and compositions) admit first-order logical limit laws.

A permutation is layered if it contains neither 231 nor 312 as a pattern. It is known that, if $σ$ is a layered permutation, then the density of $σ$ in a permutation of order $n$ is maximized by a layered permutation. Albert, Atkinson, Handley, Holton and Stromquist [Electron. J. Combin. 9 (2002), R#5] claimed that the density of a layered permutation with layers of sizes $(a,1,b)$ where $a,b\geq2$ is asymptotically maximized by layered permutations with a bounded number of layers, and conjectured that the same holds if a layered permutation has no consecutive layers of size one and its first and last layers are of size at least two. We show that, if $σ$ is a layered permutation whose first layer is sufficiently large and second layer is of size one, then the number of layers tends to infinity in every sequence of layered permutations asymptotically maximizing the density of $σ$. This disproves the conjecture and the claim of Albert et al. We complement this result by giving sufficient conditions on a layered permutation to have asymptotic or exact maximizers with a bounded number of layers.

A $k$-universal permutation, or $k$-superpermutation, is a permutation that contains all permutations of length $k$ as patterns. The problem of finding the minimum length of a $k$-superpermutation has recently received significant attention in the field of permutation patterns. One can ask analogous questions for other classes of objects. In this paper, we study $k$-supertrees. For each $d\geq 2$, we focus on two types of rooted plane trees called $d$-ary plane trees and $[d]$-trees. Motivated by recent developments in the literature, we consider "contiguous" and "noncontiguous" notions of pattern containment for each type of tree. We obtain both upper and lower bounds on the minimum possible size of a $k$-supertree in three cases; in the fourth, we determine the minimum size exactly. One of our lower bounds makes use of a recent result of Albert, Engen, Pantone, and Vatter on $k$-universal layered permutations.

Under what circumstances might every extension of a combinatorial structure contain more copies of another one than the original did? This property, which we call prolificity, holds universally in some cases (e.g., finite linear orders) and only trivially in others (e.g., permutations). Integer compositions, or equivalently layered permutations, provide a middle ground. In that setting, there are prolific compositions for a given pattern if and only if that pattern begins and ends with 1. For each pattern, there is an easily constructed automaton that recognises prolific compositions for that pattern. Some instances where there is a unique minimal prolific composition for a pattern are classified.

Denote by $u(n)$ the largest principal specialization of the Schubert polynomial: $ u(n) := \max_{w \in S_n} \mathfrak{S}_w(1,\ldots,1) $ Stanley conjectured in [arXiv:1704.00851] that there is a limit $\lim_{n\to \infty} \, \frac{1}{n^2} \log u(n), $ and asked for a limiting description of permutations achieving the maximum $u(n)$. Merzon and Smirnov conjectured in [arXiv:1410.6857] that this maximum is achieved on layered permutations. We resolve both Stanley's problems restricted to layered permutations.

We establish an exact formula for the length of the shortest permutation containing all layered permutations of length $n$, proving a conjecture of Gray.

Taking transposes of Standard Young Tableaux defines a natural involution on the set $I(n)$ of involutions of length $n$ via the the Robinson-Schensted correspondence. In some cases, this involution can be defined without resorting to the Robinson-Schensted correspondence. As a byproduct, we get an interesting generalization of layered permutations.

Let $\mathcal{C}$ be a permutation class that does not contain all layered permutations or all colayered permutations. We prove that there is a constant $c$ such that every permutation in $\mathcal{C}$ of length $n$ contains a monotone subsequence of length $cn$.

In this paper, we present two new results of layered permutation densities. The first one generalizes theorems from Hästö (2003) and Warren (2004) to compute the permutation packing of permutations whose layer sequence is~$(1^a,\ell_1,\ell_2,\ldots,\ell_k)$ with~$2^a-a-1\geq k$ (and similar permutations). As a second result, we prove that the minimum density of monotone sequences of length~$k+1$ in an arbitrarily large layered permutation is asymptotically~$1/k^k$. This value is compatible with a conjecture from Myers (2003) for the problem without the layered restriction (the same problem where the monotone sequences have different lengths is also studied).

The set of all permutations, ordered by pattern containment, forms a poset. This paper presents the first explicit major results on the topology of intervals in this poset. We show that almost all (open) intervals in this poset have a disconnected subinterval and are thus not shellable. Nevertheless, there seem to be large classes of intervals that are shellable and thus have the homotopy type of a wedge of spheres. We prove this to be the case for all intervals of layered permutations that have no disconnected subintervals of rank 3 or more. We also characterize in a simple way those intervals of layered permutations that are disconnected. These results carry over to the poset of generalized subword order when the ordering on the underlying alphabet is a rooted forest. We conjecture that the same applies to intervals of separable permutations, that is, that such an interval is shellable if and only if it has no disconnected subinterval of rank 3 or more. We also present a simplified version of the recursive formula for the Möbius function of decomposable permutations given by Burstein et al.

We prove that the Stanley-Wilf limit of any layered permutation pattern of length $\ell$ is at most $4\ell^2$, and that the Stanley-Wilf limit of the pattern 1324 is at most 16. These bounds follow from a more general result showing that a permutation avoiding a pattern of a special form is a merge of two permutations, each of which avoids a smaller pattern. If the conjecture is true that the maximum Stanley-Wilf limit for patterns of length $\ell$ is attained by a layered pattern then this implies an upper bound of $4\ell^2$ for the Stanley-Wilf limit of any pattern of length $\ell$. We also conjecture that, for any $k\ge 0$, the set of 1324-avoiding permutations with $k$ inversions contains at least as many permutations of length $n+1$ as those of length $n$. We show that if this is true then the Stanley-Wilf limit for 1324 is at most $e^{π\sqrt{2/3}} \simeq 13.001954$.

We consider the problem of reconstructing compositions of an integer from their subcompositions, which was raised by Raykova (albeit disguised as a question about layered permutations). We show that every composition w of n\ge 3k+1 can be reconstructed from its set of k-deletions, i.e., the set of all compositions of n-k contained in w. As there are compositions of 3k with the same set of k-deletions, this result is best possible.

A permutation is called layered if it consists of the disjoint union of substrings (layers) so that the entries decrease within each layer, and increase between the layers. We find the generating function for the number of permutations on $n$ letters avoiding $(1,2,3)$ and a layered permutation on $k$ letters. In the most interesting case of two layers, the generating function depends only on $k$ and is expressed via Chebyshev polynomials of the second kind.