arXiv++ Combinatorics

A few years ago, Naruse presented a beautiful cancellation-free hook-length formula for skew shapes, both straight and shifted. The formula involves a sum over objects called \emph{excited diagrams}, and the term corresponding to each excited diagram has hook lengths in the denominator, like the classical hook-length formula due to Frame, Robinson and Thrall. Recently, the formula for skew straight shapes was proved via a simple bumping algorithm. The aim of this paper is to extend this result to skew shifted shapes. Since straight skew shapes are special cases of skew shifted shapes, this is a bijection that proves the whole family of hook-length formulas, and is also the simplest known bijective proof for shifted (non-skew) shapes. A weighted generalization of Naruse's formula is also presented.

The hook length formula gives a product formula for the number of standard Young tableaux of a partition shape. The number of standard Young tableaux of a skew shape does not always have a product formula. However, for some special skew shapes, there is a product formula. Recently, Morales, Pak and Panova joint with Krattenthaler conjectured a product formula for the number of standard Young tableaux of shape $λ/μ$ for $λ=((2a+c)^{c+a},(a+c)^a)$ and $μ=(a+1,a^{a-1},1)$. They also conjectured a product formula for the number of standard Young tableaux of a certain skew shifted shape. In this paper we prove their conjectures using Selberg-type integrals. We also give a generalization of MacMahon's box theorem and a product formula for the trace generating function for a certain skew shape, which is a generalization of a recent result of Morales, Pak and Panova.

In this article, we consider a generalization of Young tableaux in which we allow some consecutive pairs of cells with decreasing labels. We show that this leads to a rich variety of combinatorial formulas, which suggest that these new objects could be related to deeper structures, similarly to the ubiquitous Young tableaux. Our methods rely on variants of hook-length type formulas, and also on a new efficient generic method (which we call the density method) which allows not only to generate constrained combinatorial objects, but also to enumerate them. We also investigate some repercussions of this method on the D-finiteness of the generating functions of combinatorial objects encoded by linear extension diagrams, and give a limit law result for the average number of local decreases.

This paper makes a combinatorial study of the two monoids and the two types of tableaux that arise from the two possible generalizations of the Patience Sorting algorithm from permutations (or standard words) to words. For both types of tableaux, we present Robinson--Schensted--Knuth-type correspondences (that is, bijective correspondences between word arrays and certain pairs of semistandard tableaux of the same shape), generalizing two known correspondences: a bijective correspondence between standard words and certain pairs of standard tableaux, and an injective correspondence between words and pairs of tableaux. We also exhibit formulas to count both the number of each type of tableaux with given evaluations (that is, containing a given number of each symbol). Observing that for any natural number $n$, the $n$-th Bell number is given by the number of standard tableaux containing $n$ symbols, we restrict the previous formulas to standard words and extract a formula for the Bell numbers. Finally, we present a `hook length formula' that gives the number of standard tableaux of a given shape and deduce some consequences.

We present Pieri rules for the Jack polynomials in superspace. The coefficients in the Pieri rules are, except for an extra determinant, products of quotients of linear factors in $α$ (expressed, as in the usual Jack polynomial case, in terms of certain hook-lengths in a Ferrers' diagram). We show that, surprisingly, the extra determinant is related to the partition function of the 6-vertex model. We give, as a conjecture, the Pieri rules for the Macdonald polynomials in superspace.

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.

A new algorithm for inserting rim-hooks into reverse plane partitions is presented. The insertion is used to define a bijection between reverse plane partitions of a fixed shape and multi-sets of rim-hooks. In turn this yields a bijective proof of the fact that the generating function for reverse plane partitions of a fixed shape, which was first obtained by R. Stanley, factors into a product featuring the hook-lengths of this shape. Our bijection turns out to be equivalent to a map defined by I. Pak by different means, and can be related to the Hillman-Grassl correspondence and the Robinson-Schensted-Knuth correspondence.

In various application fields, such as fluid-, cell-, or crowd-simulations, spatial data structures are very important. They answer nearest neighbor queries which are instrumental in performing necessary computations for, e.g., taking the next time step in the simulation. Correspondingly, various such data structures have been developed, one being the \emph{neighborhood grid}. In this paper, we consider combinatorial aspects of this data structure. Particularly, we show that an assumption on uniqueness, made in previous works, is not actually satisfied. We extend the notions of the neighborhood grid to arbitrary grid sizes and dimensions and provide two alternative, correct versions of the proof that was broken by the dissatisfied assumption. Furthermore, we explore both the uniqueness of certain states of the data structure as well as when the number of these states is maximized. We provide a partial classification by using the hook-length formula for rectangular Young tableaux. Finally, we conjecture how to extend this to all 2-dimensional cases.

Standard set-valued Young tableaux are a generalization of standard Young tableaux where cells can contain unordered sets of integers, with the added condition that every integer at position $(i,j)$ must be smaller that every integer at both $(i+1,j)$ and $(i,j+1)$. In this paper, we explore properties of standard set-valued Young tableaux with three rows and a fixed number of integers in every cell of each row (referred to as set-valued tableaux with row-constant density). Our primary focus is on standard set-valued Young tableaux with $1$ integer in each first-row cell, $k-1$ integers in each second-row cell, and $1$ integer in each third-row cell. For rectangular shapes $λ=n^3$, such tableaux are placed in bijection with closed $k$-ary product-coproduct prographs: directed plane graphs that correspond to finite compositions involving a $k$-ary product operator and a $k$-ary coproduct operator. That bijection is extended to three-row set-valued Young tableaux of non-rectangular and skew shape, and it is shown that a set-valued analogue of the Schützenberger involution on tableaux corresponds to $180$-degree rotation of the associated prographs. As a set-valued analogue of the hook-length formula is currently lacking, we also present direct enumerations of three-row standard set-valued Young tableaux for a variety of row-constant densities and a small number of columns. We then argue why the numbers of tableaux with the row-constant density $(1,k-1,1)$ should be interpreted as a one-parameter generalization of the three-dimensional Catalan numbers that mirrors the generalization of the (two-dimensional) Catalan numbers provided by the $k$-Catalan numbers.

The hook length formula for $d$-complete posets states that the $P$-partition generating function for them is given by a product in terms of hook lengths. We give a new proof of the hook length formula using $q$-integrals. The proof is done by a case-by-case analysis consisting of two steps. First, we express the $P$-partition generating function for each case as a $q$-integral and then we evaluate the $q$-integrals. Several $q$-integrals are evaluated using partial fraction expansion identities and others are verified by computer.

A loop-augmented forest is a labeled rooted forest with loops on some of its roots. By exploiting an interplay between nilpotent partial functions and labeled rooted forests, we investigate the permutation action of the symmetric group on loop-augmented forests. Furthermore, we describe an extension of the Foulkes' conjecture and prove a special case. Among other important outcomes of our analysis are a complete description of the stabilizer subgroup of an idempotent in the semigroup of partial transformations and a generalization of the (Knuth-Sagan) hook length formula.

The tangent number $T_{2n+1}$ is equal to the number of increasing labelled complete binary trees with $2n+1$ vertices. This combinatorial interpretation immediately proves that $T_{2n+1}$ is divisible by $2^n$. However, a stronger divisibility property is known in the studies of Bernoulli and Genocchi numbers, namely, the divisibility of $(n+1)T_{2n+1}$ by $2^{2n}$. The traditional proofs of this fact need significant calculations. In the present paper, we provide a combinatorial proof of the latter divisibility by using the hook length formula for trees. Furthermore, our method is extended to $k$-ary trees, leading to a new generalization of the Genocchi numbers.

In 2005 J.L. Waldspurger proved the following theorem: given a finite real reflection group $W$, the closed positive root cone is tiled by the images of the open weight cone under the action of the linear transformations $id-w$. Shortly thereafter E. Meinrencken extended the result to affine Weyl groups. P.V. Bibikov and V.S. Zhgoon then gave a uniform proof for a discrete reflection group acting on a simply-connected space of constant curvature. In this paper we show that the Waldspurger and Meinrenken theorems of type A give a new perspective on the combinatorics of the symmetric group. In particular, for each permutation matrix $w \in \mathfrak{S}_n$ we define a non-negative integer matrix $\mathbf{WT}(w)$, called the Waldspurger transform of $w$. The definition of the matrix $\mathbf{WT}(w)$ is purely combinatorial but its columns are the images of the fundamental weights under the action of $id-w$, expressed in simple root coordinates. The possible columns of $\mathbf{WT}(w)$ (which we call UM vectors) are in bijection with many interesting structures including: unimodal Motzkin paths, abelian ideals in nilradical of the Lie algebra $\mathfrak{sl}_n(\mathbb{C})$, Young diagrams with maximum hook length $n$, and integer points inside a certain polytope. We show that the sum of the entries of $\mathbf{WT}(w)$ is equal to half the entropy of the corresponding permutation $w$, which is known to equal the rank of $w$ in the Dedekind-MacNeille completion of the Bruhat order. Inspired by this, we extend the Waldpurger transform $\mathbf{WT}(M)$ to alternating sign matrices $M$ and give an intrinsic characterization of the image. This provides a geometric realization of Dedekind-MacNeille completion of the Bruhat order (a.k.a. the lattice of alternating sign matrices).

Recently, Naruse presented a beautiful cancellation-free hook-length formula for skew shapes. The formula involves a sum over objects called excited diagrams, and the term corresponding to each excited diagram has hook lengths in the denominator, like the classical hook-length formula due to Frame, Robinson and Thrall. In this paper, we present a simple bijection that proves an equivalent recursive version of Naruse's result, in the same way that the celebrated hook-walk proof due to Green, Nijenhuis and Wilf gives a bijective (or probabilistic) proof of the hook-length formula for ordinary shapes. In particular, we also give a new bijective proof of the classical hook-length formula, quite different from the known proofs.

Chen proposed a conjecture on the log-concavity of the generating function for the symmetric group with respect to the length of longest increasing subsequences of permutations. Motivated by Chen's log-concavity conjecture, Bóna, Lackner and Sagan further studied similar problems by restricting the whole symmetric group to certain of its subsets. They obtained the log-concavity of the corresponding generating functions for these subsets by using the hook-length formula. In this paper, we generalize and prove their results by establishing the Schur positivity of certain symmetric functions. This also enables us to propose a new approach to Chen's original conjecture.

We provide simple necessary and sufficient conditions for the existence of a standard Young tableau of a given shape and major index $r$ mod $n$, for all $r$. Our result generalizes the $r=1$ case due essentially to (1974) and proves a recent conjecture due to Sundaram (2016) for the $r=0$ case. A byproduct of the proof is an asymptotic equidistribution result for "almost all" shapes. The proof uses a representation-theoretic formula involving Ramanujan sums and normalized symmetric group character estimates. Further estimates involving "opposite" hook lengths are given which are well-adapted to classifying which partitions $λ\vdash n$ have $f^λ\leq n^d$ for fixed $d$. We also give a new proof of a generalization of the hook length formula due to Fomin-Lulov (1995) for symmetric group characters at rectangles. We conclude with some remarks on unimodality of symmetric group characters.

In 2015, the author proved combinatorially character formulas expressing sums of the (formal) dimensions of irreducible representations of symplectic groups, refining some works of Nekrasov and Okounkov, Han, King, and Westbury. In this article, we obtain generalizations of these character formulas, by using a bijection on integer partitions, namely the Littlewood decomposition, for which we prove new properties. As applications, we derive signed generating functions for subsets of integer partitions, and new hook length formulas.

The generating function of reverse plane partitions of a fixed shape factors into a product featuring the hook-lengths of this shape. This result, which was first obtained by Stanley, can be explained bijectively using the Hillman-Grassl correspondence between reverse plane partitions and tableaux weighted by hook-lengths. In this extended abstract an alternative bijection between the same families of objects is presented. This construction is best perceived as a set of rules for building reverse plane partitions, viewed as arrangements of stacks of cubes, using bricks in the shape of rim-hooks.

We give new bounds and asymptotic estimates on the number of standard Young tableaux of skew shape in a variety of special cases. Our approach is based on Naruse's hook-length formula. We also compare our bounds with the existing bounds on the numbers of linear extensions of the corresponding posets.