Exclusively published in the electronic journal "The Personal Journal of Shalosh B. Ekhad and Doron Zeilberger" ( http://www.math.rutgers.edu/~zeilberg/pj.html ) and this arxiv, July 30, 2010
This is an etude in experimental semi-rigorous (rigorizable!) mathematics. The leading asymptotics was brilliantly derived by Allan Berele and Amitai Regev for general hooks H(k,l) and general powers z, but what about more refined asymptotics? For small k and l, one can "guess" a linear recurrence (since we live in the holonomic ansatz) and using the Birkhoff-Trjitzinsky method, beautifully implemented in Doron Zeilberger's Maple package AsyRec (that has been incorporated into the present Maple package), we computed amazing refined asymptotics, that confirm, with a vengeance, the Berele-Regev asymptotic formula, and especially the impressive constant in front!
Recently, a simple proof of the hook length formula was given via the branching rule. In this paper, we extend the results to shifted tableaux. We give a bijective proof of the branching rule for the hook lengths for shifted tableaux; present variants of this rule, including weighted versions; and make the first tentative steps toward a bijective proof of the hook length formula for d-complete posets.
In this paper, we present a direct bijective proof of the hook-length formula for standard immaculate tableaux, which arose in the study of non-commutative symmetric functions. Our proof is along the spirit of Novelli, Pak and Stoyanovskii's combinatorial proof of the hook-length formula for standard Young tableaux.
Closed formulas are known for $S(k,0;n)$, the number of standard Young tableaux of size $n$ and with at most $k$ parts, where $1\le k\le 5$. Here we study the analogue problem for $S(k,\ell;n)$, the number of standard Young tableaux of size $n$ which are contained in the $(k,\ell)$ hook. We deduce some formulas for the cases $k+\ell\le 4$.
We present a bijective proof of the hook-length formula for shifted standard tableaux of a fixed shape based on a modified jeu de taquin and the ideas of the bijective proof of the hook-length formula for ordinary standard tableaux by Novelli, Pak and Stoyanovskii. In their proof Novelli, Pak and Stoyanovskii define a bijection between arbitrary fillings of the Ferrers diagram with the integers $1,2,...,n$ and pairs of standard tableaux and hook tabloids. In our shifted version of their algorithm the map from the set of arbitrary fillings of the shifted Ferrers diagram onto the set of shifted …
We present a new family of hook-length formulas for the number of standard increasing tableaux which arise in the study of factorial Grothendieck polynomials. In the case of straight shapes our formulas generalize the classical hook-length formula and Stanley's formula. For skew shapes, our formulas generalize the Naruse hook-length formula and its $q$-analogues, which were studied in previous papers of the series.
Egecioglu and Remmel gave an interpretation for the entries of the inverse Kostka matrix K^{-1} in terms of special rim-hook tableaux. They were able to use this interpretation to give a combinatorial proof that KK^{-1}=I but were unable to do the same for the equation K^{-1}K=I. We define a sign-reversing involution on rooted special rim-hook tableaux which can be used to prove that the last column of this second product is correct. In addition, following a suggestion of Chow we combine our involution with a result of Gasharov to give a combinatorial proof of a special case of the (3+1)-free …
The asymptotics of the "$(k,\ell)$ hook" sums $S_{k,\ell}^{(2z)}(n)$ (see~\eqref{the.sums.1}) were calculated in~\cite{berele}. It was recently realized that in~\cite[Section 7]{berele} there are few misprints and certain confusion with regard to the notations, so that the precise asymptotics of $S_{k,\ell}^{(2z)}(n)$ is not clear. Here we add more details and carefully repeat these calculations, which lead to explicit values for the asymptotics of $S_{k,\ell}^{(2z)}(n).$
Motivated by the question of finding a type B analogue of the bijection between oscillating tableaux and matchings, we find a correspondence between oscillating m-rim hook tableaux and m-colored matchings, where m is a positive integer. An oscillating m-rim hook tableau is defined as a sequence $(λ^0,λ^1,...,λ^{2n})$ of Young diagrams starting with the empty shape and ending with the empty shape such that $λ^{i}$ is obtained from $λ^{i-1}$ by adding an m-rim hook or by deleting an m-rim hook. Our bijection relies on the generalized Schensted algorithm due to White. An oscillating 2-rim hook ta…
We use the hook lengths of a partition to define two rectangular tableaux. We prove these tableaux have equal multisets of entries, first by elementary combinatorial arguments, and then using Stanley's Hook Content Formula and symmetric polynomials.
Chalykh, Veselov and Feigin introduced the notions of quasiinvariants for Coxeter groups, which is a generalization of invariants. In [2], Bandlow and Musiker showed that for the symmetric group $S_n$ of order $n$, the space of quasiinvariants has a decomposition indexed by standard tableaux. They gave a description of basis for the components indexed by standard tableaux of shape $(n-1,1)$. In this paper, we generalize their results to a description of basis for the components indexed by standard tableaux of arbitrary hook shape.
Straight polyomino tilings of rectangles and special rim-hook tableaux
University of British Columbia（不列颠哥伦比亚大学）；Indian Statistical Institute（印度统计研究所）；Indraprastha Institute of Information Technology Delhi (IIIT-Delhi)（德里因德拉普拉斯塔信息技术学院）
Using a 0/1 encoding of Young diagrams and its consequences for rim hook tableaux, we prove a reduction formula of Littlewood for arbitrary characters of the symmetric group, evaluated at elements with all cycle lengths divisible by a given integer. As an application, we find explicitly the coefficients in a formula of Kostant for certain powers of the Dedekind $η$-function, avoiding most of the original machinery.
Another bijective proof of Stanley's hook-content formula for the generating function for semistandard tableaux of a given shape is given that does not involve the involution principle of Garsia and Milne. It is the result of a merge of the modified jeu de taquin idea from the author's previous bijective proof (``An involution principle-free bijective proof of Stanley's hook-content formula", Discrete Math. Theoret. Computer Science, to appear) and the Novelli-Pak-Stoyanovskii bijection (Discrete Math. Theoret. Computer Science 1 (1997), 53-67) for the hook formula for standard Young tableaux …
By considering the specialisation $s_λ(1,q,q^2,...,q^{n-1})$ of the Schur function, Stanley was able to describe a formula for the number of semistandard Young tableaux of shape $λ$ in terms of two properties of the boxes in the diagram for $λ$. Using specialisations of symplectic and orthogonal Schur functions, we derive corresponding formulae, first given by El Samra and King, for the number of semistandard symplectic and orthogonal $λ$-tableaux.
We show that several families of polynomials defined via fillings of diagrams satisfy linear recurrences under a natural operation on the shape of the diagram. We focus on key polynomials, (also known as Demazure characters), and Demazure atoms. The same technique can be applied to Hall-Littlewood polynomials and dual Grothendieck polynomials. The motivation behind this is that such recurrences are strongly connected with other nice properties, such as interpretations in terms of lattice points in polytopes and divided difference operators.
We present a conjectual hook formula concerning the number of the standard tableaux on "cylindric" skew diagrams. Our formula can be seen as an extension of Naruse's hook formula for skew diagrams. Moreover, we prove our conjecture in some special cases.
A notion of cyclic descents on standard Young tableaux (SYT) of rectangular shape was introduced by Rhoades, and extended to certain skew shapes by the last two authors. The cyclic descent set restricts to the usual descent set when the largest value is ignored, and has the property that the number of SYT of a given shape with a given cyclic descent set $D$ is invariant under cyclic shifts of the entries of $D$. Following these results, the existence of cyclic descent sets for standard Young tableaux of any skew shape other than a ribbon was conjectured by the authors, and recently proved by A…
Recently Blasiak gave a combinatorial rule for the Kronecker coefficient $g_{λμν}$ when $μ$ is a hook shape by defining a set of colored Yamanouchi tableaux with cardinality $g_{λμν}$ in terms of a process called conversion. We give a characterization of colored Yamanouchi tableaux that does not rely on conversion, which leads to a simpler formulation and proof of the Kronecker rule for one hook shape.
We give a counting formula for the set of rectangular increasing tableaux in terms of generalized Narayana numbers. We define small $m$-Schröder paths and give a bijection between the set of increasing rectangular tableaux and small $m$-Schröder paths, generalizing a result of Pechenik [3]. Using $K$-jeu de taquin promotion, which was defined by Thomas and Yong [10], we give a cyclic sieving phenomenon for the set of increasing hook tableaux.
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.
We prove a conjecture of Okada giving an exact formula for a certain statistic for hook-lengths of partitions: \frac{1}{n!} \sum_{λ\vdash n} f_λ^2 \sum_{u \in λ} \prod_{i=1}^{r}(h_u^2 - i^2) = \frac{1}{2(r+1)^2} \binom{2r}{r}\binom{2r+2}{r+1} \prod_{j=0}^{r} (n-j), where $f_λ$ is the number of standard Young tableaux of shape $λ$ and $h_u$ is the hook length of the square $u$ of the Young diagram of $λ$. We also obtain other similar formulas.
Recently, in papers by Knutson, Tao and Woodward, Henriques and Kamnitzer, Pak and Vallejo have been constructed several interesting bijections of associativity and commutativity. In the first two papers bijections relate special sets of discretely concave functions (hives) on triangular grids and the octahedron recurrence plays the key role for these bijections. Pak and Vallejo related special sets of Young tableaux and constructions of these bijections based on standard algorithms in this theory, jeu de taquen, Schutzenberger involution, tableaux switching, etc. In this paper we investigate …
We introduce an infinite family of lower triangular matrices $Γ^{(s)}$, where $γ_{n,i}^s$ counts the standard Young tableaux on $n$ cells and with at most $s$ columns on a suitable subset of shapes. We show that the entries of these matrices satisfy a three-term row recurrence and we deduce recursive and asymptotic properties for the total number $τ_s(n)$ of tableaux on $n$ cells and with at most $s$ columns.
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 pa…
Let $g_{n_1,n_2}$ be the number of standard Young tableau of truncated shifted shape with $n_1$ rows and $n_2$ boxes in each row. By using of the integral method this paper derives the recurrence relations of $g_{3,n}$, $g_{n,4}$ and $g_{n,5}$ respectively. Specially, $g_{n,4}$ is the $(2n-1)$-st Pell number.
Dumont and Foata introduced in 1976 a three-variable symmetric refinement of Genocchi numbers, which satisfies a simple recurrence relation. A six-variable generalization with many similar properties was later considered by Dumont. They generalize a lot of known integer sequences, and their ordinary generating function can be expanded as a Jacobi continued fraction. We give here a new combinatorial interpretation of the six-variable polynomials in terms of the alternative tableaux introduced by Viennot. A powerful tool to enumerate alternative tableaux is the so-called "matrix Ansatz", and usi…
The number of Young Tableaux whose shape is a k by n rectangle is famously (nk)! 0! ... (k-1)!/((n+k-1)!(n+k-2)!... n!) implying that for each specific k, that sequence satisfies a linear recurrence equation with polynomial coefficients of the first order. But what about counting Young tableaux where certain "run lengths" are forbidden? Then things seem to get much more complicated. We conclude with four conjectures and pledge donations to the OEIS in honor of the first provers.
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 eac…
The Naruse hook-length formula is a recent general formula for the number of standard Young tableaux of skew shapes, given as a positive sum over excited diagrams of products of hook-lengths. In 2015 we gave two different $q$-analogues of Naruse's formula: for the skew Schur functions, and for counting reverse plane partitions of skew shapes. In this paper we give an elementary proof of Naruse's formula based on the case of border strips. For special border strips, we obtain curious new formulas for the Euler and $q$-Euler numbers in terms of certain Dyck path summations.
Young tableaux are ubiquitous in various branches of mathematics. There are two counting formulas for standard Young tableaux. The first involves a determinant and goes back to Frobenius and Young, and the second is the hook formula by Frame, Robinson and Thrall. We present a generalization of the determinant formula for semistandard Young tableaux of given shape and of given content. Our counting formula -- though not a determinant -- is a generalization of the determinant formula by Frobenius and Young.
This paper contains a partial answer to the open problem 3.11 of \cite{[H2008]}. That is to find an explicit bijection on Schröder paths that inverts the statistics area and bounce. This paper started as an attempt to write the sum over $m$-Schröder paths with a fix number of diagonal steps into Schur functions in the variables $q$ and $t$. Some results have been generalized to parking functions, and some bijections were made with standard Young tableaux giving way to partial combinatorial formulas in the basis $s_μ(q,t)s_λ(X)$ for $\nabla(e_n)$ (respectively, $\nabla^m(e_n)$), when $μ$ and $λ…
We show that sequences of skew Schur polynomials obtained from stretched semi-standard Young tableaux satisfy a linear recurrence, which we give explicitly. Using this, we apply this to finding certain asymptotic behavior of these Schur polynomials and present conjectures on minimal recurrences for stretched Schur polynomials.
In this paper, we study a new cyclic sieving phenomenon on the set $\mathsf{SST}_n(λ)$ of semistandard Young tableaux with the cyclic action $\mathsf{c}$ arising from its $U_q(\mathfrak{sl}_n)$-crystal structure. We prove that if $λ$ is a Young diagram with $\ell(λ) < n$ and $\gcd( n, |λ| )=1$, then the triple $\left( \mathsf{SST}_n(λ), \mathsf{C}, q^{- κ(λ)} s_λ(1,q, \ldots, q^{n-1}) \right) $ exhibits the cyclic sieving phenomenon, where $\mathsf{C}$ is the cyclic group generated by $\mathsf{c}$. We further investigate a connection between $\mathsf{c}$ and the promotion $\mathsf{pr}$ and sho…
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 th…
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…
The enumeration of standard Young tableaux (SYTs) of shape λ can be easily computed by the hook-length formula. In 1981, Amitai Regev proved that the number of SYTs having at most three rows with n entries equals the nth Motzkin number M_n. In 2006, Regev conjectured that the total number of SYTs of skew shape λ/(2, 1) over all partitions λ having at most three parts with n entries is the difference of two Motzkin numbers, M_{n-1} - M_{n-3}. Ekhad and Zeilberger proved Regev's conjecture using a computer program. In 2009, S.-P. Eu found a bijection between Motzkin paths and SYTs of skew shape …
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 …
We consider polynomials that are defined as Wronskians of certain sets of Hermite polynomials. Our main result is a recurrence relation for these polynomials in terms of those of one or two degrees smaller, which generalizes the well-known three term recurrence relation for Hermite polynomials. The polynomials are defined using partitions of natural numbers, and the coefficients in the recurrence relation can be expressed in terms of the number of standard Young tableaux of these partitions. Using the recurrence relation, we provide another recurrence relation and show that the average of the …
We introduce the Tesler polytope Tes_n(a_1,a_2,...,a_n), whose integer points are the Tesler matrices of size n with nonnegative integer hook sums a_1,a_2,...,a_n. We show that Tes_n(a) is a flow polytope and therefore the number of Tesler matrices is counted by the type A_n Kostant partition function evaluated at (a_1,a_2,...,a_n,-a_1-...-a_n). We describe the faces of this polytope in terms of "Tesler tableaux" and characterize when the polytope is simple. We prove that the h-vector of Tes_n(a) when all a_i>0 is given by the Mahonian numbers and calculate the volume of Tes_n(1,1,...,1) to be…
The number of standard Young tableaux of a fixed shape is famously given by the hook-length formula due to Frame, Robinson and Thrall. A bijective proof of Novelli, Pak and Stoyanovskii relies on a sorting algorithm akin to jeu-de-taquin which transforms an arbitrary filling of a partition into a standard Young tableau by exchanging adjacent entries. Recently, Krattenthaler and Müller defined the complexity of this algorithm as the average number of performed exchanges, and Neumann and the author proved it fulfils some nice symmetry properties. In this paper we recall and extend the previous r…
Following Ekhad and Zeilberger (The Personal Journal of Shalosh B. Ekhad and Doron Zeilberger, Dec 5 2014; see also arXiv:1412.2035), we study the asymptotics for large $n$ of the number $A_{d,r}(n)$ of words of length $rn$ having $r$ letters $i$ for $i=1..n$, and having no increasing subsequence of length $d$. We prove an asymptotic formula conjectured by these authors, and we give explicitly the multiplicative constant appearing in the result, answering a question they asked. These two results should make the OEIS richer by 100+25=125 dollars. In the case $r=1$ we recover Regev's result for …
