arXiv++ Combinatorics

Let $\mathfrak{S}_w(x)$ be the Schubert polynomial for a permutation $w$ of $\{1,2,\ldots,n\}$. For any given composition $μ$, we say that $x^μ\mathfrak{S}_w(x^{-1})$ is the complement of $\mathfrak{S}_w(x)$ with respect to $μ$. When each part of $μ$ is equal to $n-1$, Huh, Matherne, Mészáros and St.\,Dizier proved that the normalization of $x^μ\mathfrak{S}_w(x^{-1})$ is a Lorentzian polynomial. They further conjectured that the normalization of $\mathfrak{S}_w(x)$ is Lorentzian. It can be shown that if there exists a composition $μ$ such that $x^μ\mathfrak{S}_w(x^{-1})$ is a Schubert polynomial, then the normalization of $\mathfrak{S}_w(x)$ will be Lorentzian. This motivates us to investigate the problem of when $x^μ\mathfrak{S}_w(x^{-1})$ is a Schubert polynomial. We show that if $x^μ\mathfrak{S}_w(x^{-1})$ is a Schubert polynomial, then $μ$ must be a partition. We also consider the case when $μ$ is the staircase partition $δ_n=(n-1,\ldots, 1,0)$, and obtain that $x^{δ_n} \mathfrak{S}_w(x^{-1})$ is a Schubert polynomial if and only if $w$ avoids the patterns 132 and 312. A conjectured characterization of when $x^μ\mathfrak{S}_w(x^{-1})$ is a Schubert polynomial is proposed.

In this paper, we study the staircase encoding of permutations, which maps a permutation to a staircase grid with cells filled with permutations. We consider many cases, where restricted to a permutation class, the staircase encoding becomes a bijection to its image. We describe the image of those restrictions using independent sets of graphs weighted with permutations. We derive the generating function for the independent sets and then for their weighted counterparts. The bijections we establish provide the enumeration of permutation classes. We use our results to uncover some unbalanced Wilf-equivalences of permutation classes and outline how to do random sampling in the permutation classes. In particular, we cover the classes $\mathrm{Av}(2314,3124)$, $\mathrm{Av}(2413,3142)$, $\mathrm{Av}(2413,3124)$, $\mathrm{Av}(2413,2134)$ and $\mathrm{Av}(2314,2143)$, as well as many subclasses.

We set up a combinatorial framework for inclusion-exclusion on the partitions into distinct parts to obtain an alternative generating function of partitions into distinct and non-consecutive parts. In connection with Rogers-Ramanujan identities, the generating function yields two formulas in Slater's list. The same formulas were constructed by Hirschhorn. Similar formulas were obtained by Bringmann, Mahlburg and Nataraj. We also use staircases to give alternative triple series for partitions into $d-$distinct parts for any $d \geq 2$.

As is well-known, cluster transformations in cluster structures of geometric type are often modeled on determinant identities, such as short Plucker relations, Desnanot--Jacobi identities and their generalizations. We present a construction that plays a similar role in a description of generalized cluster transformations and discuss its applications to generalized cluster structures in GL_n compatible with a certain subclass of Belavin--Drinfeld Poisson--Lie brackets, in the Drinfeld double of GL_n, and in spaces of periodic difference operators.

Given a positive integer $M$ and a real number $x>0$, let $\mathcal U(x)$ be the set of all bases $q\in(1, M+1]$ for which there exists a unique sequence $(d_i)=d_1d_2\ldots$ with each digit $d_i\in\{0,1,\ldots, M\}$ satisfying $$ x=\sum_{i=1}^\infty\frac{d_i}{q^i}. $$ The sequence $(d_i)$ is called a $q$-expansion of $x$. In this paper we investigate the local dimension of $\mathcal U(x)$ and prove a `variation principle' for unique non-integer base expansions. We also determine the critical values of $\mathcal U(x)$ such that when $x$ passes the first critical value the set $\mathcal U(x)$ changes from a set with positive Hausdorff dimension to a countable set, and when $x$ passes the second critical value the set $\mathcal U(x)$ changes from an infinite set to a singleton. Denote by $\mathbf U(x)$ the set of all unique $q$-expansions of $x$ for $q\in\mathcal U(x)$. We give the Hausdorff dimension of $\mathbf U(x)$ and show that the dimensional function $x\mapsto\dim_H\mathbf U(x)$ is a non-increasing Devil's staircase. Finally, we investigate the topological structure of $\mathcal U(x)$. In contrast with $x=1$ that $\mathcal U(1)$ has no isolated points, we prove that for typical $x>0$ the set $\mathcal U(x)$ contains isolated points.

The aim of the article is to understand the combinatorics of snake graphs by means of linear algebra. In particular, we apply Kasteleyn's and Temperley--Fisher's ideas about spectral properties of weighted adjacency matrices of planar bipartite graphs to snake graphs. First we focus on snake graphs whose set of turning vertices is monochromatic. We provide recursive sequences to compute the characteristic polynomials; they are indexed by the upper or the lower boundary of the graph and are determined by a neighbour count. As an application, we compute the characteristic polynomials for L-shaped snake graphs and staircases in terms of Fibonacci product polynomials. Next, we introduce a method to compute the characteristic polynomials as convergents of continued fractions. Finally, we show how to transform a snake graph with turning vertices of two colours into a graph with the same number of perfect matchings to which we can apply the results above.

We revisit staircases for words and prove several exact as well as asymptotic results for longest left-most staircase subsequences and subwords and staircase separation number, the latter being defined as the number of consecutive maximal staircase subwords packed in a word. We study asymptotic properties of the sequence $h_{r,k}(n),$ the number of $n$-array words with $r$ separations over alphabet $[k]$ and show that for any $r\geq 0,$ the growth sequence $\big(h_{r,k}(n)\big)^{1/n}$ converges to a characterized limit, independent of $r.$ In addition, we study the asymptotic behavior of the random variable $\mathcal{S}_k(n),$ the number of staircase separations in a random word in $[k]^n$ and obtain several limit theorems for the distribution of $\mathcal{S}_k(n),$ including a law of large numbers, a central limit theorem, and the exact growth rate of the entropy of $\mathcal{S}_k(n).$ Finally, we obtain similar results, including growth limits, for longest $L$-staircase subwords and subsequences.

We construct a finite convergent semi-quadratic presentation for the Chinese monoid by adding column generators and using combinatorial properties of insertion algorithms on Chinese staircases. We extend this presentation into a coherent one whose generators are columns, rewriting rules are defined by insertion algorithms, and whose syzygies are defined as relations among insertion algorithms. Such a coherent presentation is used for representations of Chinese monoids, in particular, it is a way to describe actions of Chinese monoids on categories.

We define a number of related combinatorial objects, each of which possesses a surprising symmetry. We include several applications such as a combinatorial explanation for certain fixed points of the involution $ω$ on the ring of symmetric functions, as well as a relationship between certain skew Schur functions and skew $Q$-Schur functions. We give a $t$-deformation of these $Q$-Schur functions, and show that it is Schur positive, including a combinatorial description of the Schur coefficients. A corollary of our results is the equality of skew $Q$-Schur functions: $Q_{λ+δ/μ+ δ}=Q_{λ'+δ/μ' + δ}$ for $μ\subseteq λ$ and $δ=(n,\ldots,1)$ for some $n > l(λ)$.

The notion of a barely set-valued semistandard Young tableau was introduced by Reiner, Tenner and Yong in their study of the probability distribution of edges in the Young lattice of partitions. Given a partition $λ$ and a positive integer $k$, let ${\mathrm{BSSYT}}(λ,k)$ (respectively, ${\mathrm{SYT}}(λ,k)$) denote the set of barely set-valued semistandard Young tableaux (respectively, ordinary semistandard Young tableaux) of shape $λ$ with entries in row $i$ not exceeding $k+i$. In the case when $λ$ is a rectangular staircase partition $δ_d(b^a)$, Reiner, Tenner and Yong conjectured that $|{\mathrm{BSSYT}}(λ,k)|= \frac{kab(d-1)}{(a+b)} |{\mathrm{SYT}}(λ,k)|$. In this paper, we establish a connection between barely set-valued tableaux and reverse plane partitions with designated corners. We show that for any shape $λ$, the expected jaggedness of a subshape of $λ$ under the weak probability distribution can be expressed as $\frac{2|{\mathrm{BSSYT}}(λ,k)|} {k|{\mathrm{SYT}}(λ,k)|}$. On the other hand, when $λ$ is a balanced shape with $r$ rows and $c$ columns, Chan, Haddadan, Hopkins and Moci proved that the expected jaggedness of a subshape in $λ$ under the weak distribution equals $2rc/(r+c)$. Hence, for a balanced shape $λ$ with $r$ rows and $c$ columns, we establish the relation that $|{\mathrm{BSSYT}}(λ,k)|=\frac{krc}{(r+c)}|{\mathrm{SYT}}(λ,k)|$. Since a rectangular staircase shape $δ_d(b^a)$ is a balanced shape, we confirm the conjecture of Reiner, Tenner and Yong.

Motivated by a well-known result in extremal set theory, due to Nicolaas Govert de Bruijn and Paul Erdős, we consider curves in the unit $n$-cube $[0,1]^n$ of the form \[ A=\{(x,f_1(x),\ldots,f_{n-2}(x),α): x\in [0,1]\}, \] where $α$ is a fixed real number in $[0,1]$ and $f_1,\ldots,f_{n-2}$ are injective measurable functions from $[0,1]$ to $[0,1]$. We refer to such a curve $A$ as an $n$-\emph{de~Bruijn-Erdős-set}. Under the additional assumption that all functions $f_i,i=1,\ldots,n-2,$ are piecewise monotone, we show that the Hausdorff dimension of $A$ is at most $1$ as well as that its $1$-dimensional Hausdorff measure is at most $n-1$. Moreover, via a walk along devil's staircases, we construct a piecewise monotone $n$-de~Bruijn-Erdős-set whose $1$-dimensional Hausdorff measure equals $n-1$.

We study shifted standard Young tableaux (SYT). The limiting surface of uniformly random shifted SYT of staircase shape is determined, with the integers in the SYT as heights. This implies via properties of the Edelman-Greene bijection results about random 132-avoiding sorting networks, including limit shapes for trajectories and intermediate permutations. Moreover, the expected number of adjacencies in SYT is considered. It is shown that on average each row and each column of a shifted SYT of staircase shape contains precisely one adjacency.

Fulton and Kraskiewicz gave a presentation of Specht modules as a quotient of the space of column tabloids by dual Garnir relations. We simplify this presentation by showing that it can be generated by a single relation for each pair of columns of a tableau with ordered columns, thereby significantly reducing the number of generators given in the original construction. Our presentation applies to all Specht modules, and is of a similar nature to a recent result by Friedmann-Hanlon-Stanley-Wachs that applies to staircase partitions. We show that our presentation implies the Friedmann-Hanlon-Stanley-Wachs presentation.

We utilize the technique of staircases and jagged partitions to provide analytic sum-sides to some old and new partition identities of Rogers-Ramanujan type. Firstly, we conjecture a class of new partition identities related to the principally specialized characters of certain level $2$ modules for the affine Lie algebra $A_9^{(2)}$. Secondly, we provide analytic sum-sides to some earlier conjectures of the authors. Next, we use these analytic sum-sides to discover a number of further generalizations. Lastly, we apply this technique to the well-known Capparelli identities and present analytic sum-sides which we believe to be new. All of the new conjectures presented in this article are supported by a strong mathematical evidence.

We study the space $X_h$ of Hermitian matrices having staircase form and the given simple spectrum. There is a natural action of a compact torus on this space. Using generalized Toda flow, we show that $X_h$ is a smooth manifold and its smooth type is independent of the spectrum. Morse theory is then used to show the vanishing of odd degree cohomology, so that $X_h$ is an equivariantly formal manifold. The equivariant and ordinary cohomology of $X_h$ are described using GKM-theory. The main goal of this paper is to show the connection between the manifolds $X_h$ and the semisimple Hessenberg varieties well-known in algebraic geometry. Both the spaces $X_h$ and Hessenberg varieties form wonderful families of submanifolds in the complete flag variety. There is a certain symmetry between these families which can be generalized to other submanifolds of the flag variety.

This paper analyzes relations between pattern avoidance of certain permutations and graphs on staircase grids and boundary grids, and proves two conjectures posed by Bean, Tannock, and Ulfarsson (2015). More specifically, this paper enumerates a certain family of staircase encodings and proves that the downcore graph, a certain graph established on the boundary grid, is pure if and only if the permutation corresponding to the boundary grid avoids the classical patterns 123 and 2143.

We establish an improved lower bound of 10.271 for the exponential growth rate of the class of permutations avoiding the pattern 1324, and an improved upper bound of 13.5. These results depend on a new exact structural characterisation of 1324-avoiders as a subclass of an infinite staircase grid class, together with precise asymptotics of a small domino subclass whose enumeration we relate to West-two-stack-sortable permutations and planar maps. The bounds are established by carefully combining copies of the dominoes in particular ways consistent with the structural characterisation. The lower bound depends on concentration results concerning the substructure of a typical domino, the determination of exactly when dominoes can be combined in the fewest distinct ways, and technical analysis of the resulting generating function.

Based on the matrix ansatz of Derrida, Evans, Hakim and Pasquier, we prensent a new way of computing the stationary probability of a state of the asym- metric simple exclusion process (ASEP). Through an insertion algorithm over staircase tableaux, we give a combinatorial proof to the current interpretation of the ASEP by these tableaux of Corteel and Williams. The insertion algorithm induces a recursive structure which implies nice factorised formulas for the generating polynomials of staircase tableaux, as well as a bijection with some coloured inversion tables. In addi- tion, we adapt the insertion algorithm to the case of type B symmetric tableaux and we define a new matrix ansatz compatible with it.

Using equivariant cohomology theory, Naruse obtained a hook length formula for the number of standard Young tableaux of skew shape $λ/μ$. Morales, Pak and Panova found two $q$-analogues of Naruse's formula respectively by counting semistandard Young tableaux of shape $λ/μ$ and reverse plane partitions of shape $λ/μ$. When $λ$ and $μ$ are both staircase shape partitions, Morales, Pak and Panova conjectured that the generating function of reverse plane partitions of shape $λ/ μ$ can be expressed as a determinant whose entries are related to $q$-analogues of the Euler numbers. The objective of this paper is to prove this conjecture.

Recently, Naruse discovered a hook length formula for the number of standard Young tableaux of a skew shape. Morales, Pak and Panova found two $q$-analogs of Naruse's hook length formula over semistandard Young tableaux (SSYTs) and reverse plane partitions (RPPs). As an application of their formula, they expressed certain $q$-Euler numbers, which are generating functions for SSYTs and RPPs of a zigzag border strip, in terms of weighted Dyck paths. They found a determinantal formula for the generating function for SSYTs of a skew staircase shape and proposed two conjectures related to RPPs of the same shape. One conjecture is a determinantal formula for the number of \emph{pleasant diagrams} in terms of Schröder paths and the other conjecture is a determinantal formula for the generating function for RPPs of a skew staircase shape in terms of $q$-Euler numbers. In this paper, we show that the results of Morales, Pak and Panova on the $q$-Euler numbers can be derived from previously known results due to Prodinger by manipulating continued fractions. These $q$-Euler numbers are naturally expressed as generating functions for alternating permutations with certain statistics involving \emph{maj}. It has been proved by Huber and Yee that these $q$-Euler numbers are generating functions for alternating permutations with certain statistics involving \emph{inv}. By modifying Foata's bijection we construct a bijection on alternating permutations which sends the statistics involving \emph{maj} to the statistic involving \emph{inv}. We also prove the aforementioned two conjectures of Morales, Pak and Panova.