arXiv++ Combinatorics

We study the statistics area, bounce and dinv on the set of parallelogram polyominoes having a rectangular m times n bounding box. We show that the bi-statistics (area, bounce) and (area, dinv) give rise to the same q,t-analogue of Narayana numbers which was introduced by two of the authors in [arXiv:1208.0024]. We prove the main conjectures of that paper: the q,t-Narayana polynomials are symmetric in both q and t, and m and n. This is accomplished by providing a symmetric functions interpretation of the q,t-Narayana polynomials which relates them to the famous diagonal harmonics.

Staircase tableaux are combinatorial objects which appear as key tools in the study of the PASEP physical model. The aim of this work is to show how the discovery of a tree structure in staircase tableaux is a significant feature to derive properties on these objects.

In this work, we put to light a formula that relies the number of fully packed loop configurations (FPLs) associated to a given coupling pi to the number of half-turn symmetric FPLs (HTFPLs) of even size whose coupling is a punctured version of the coupling pi. When the coupling pi is the coupling with all arches parallel pi0 (the "rarest" one), this formula states the equality of the number of corresponding HTFPLs to the number of cyclically-symmetric plane partition of the same size. We provide a bijective proof of this fact. In the case of HTFPLs odd size, and although there is no similar expression, we study the number of HTFPLs whose coupling is a slit version of pi_0, and put to light new puzzling enumerative coincidence involving countings of tilings of hexagons and various symmetry classes of FPLs.

In this work, we introduce new combinatorial objects called Dyck tableaux, which present a natural insertion algorithm. These tools may be useful to describe statistics which are relevant in the study of the physical model named PASEP.

In this work we introduce and study tree-like tableaux, which are certain fillings of Ferrers diagrams in simple bijection with permutation tableaux and alternative tableaux. We exhibit an elementary insertion procedure on our tableaux which gives a clear proof that tree-like tableaux of size n are counted by n!, and which moreover respects most of the well-known statistics studied originally on alternative and permutation tableaux. Our insertion procedure allows to define in particular two simple new bijections between tree-like tableaux and permutations: the first one is conceived specifically to respect the generalized pattern 2-31, while the second one respects the underlying tree of a tree-like tableau.

We study, in a global uniform manner, the quotient of the ring of polynomials in l sets of n variables, by the ideal generated by diagonal quasi-invariant polynomials for general permutation groups W=G(r,n). We show that, for each such group W, there is an explicit universal symmetric function that gives the N^l-graded Hilbert series for these spaces. This function is universal in that its dependance on l only involves the number of variables it is calculated with. We also discuss the combinatorial implications of the observed fact that it affords an expansion as a positive coefficient polynomial in the complete homogeneous symmetric functions.

We show that the # product of binary trees introduced by Aval and Viennot [arXiv:0912.0798] is in fact defined at the level of the free associative algebra, and can be extended to most of the classical combinatorial Hopf algebras.

The aim of this note is to show how the introduction of certain tableaux, called Catalan alternative tableaux, provides a very simple and elegant description of the product in the Hopf algebra of binary trees defined by Loday and Ronco. Moreover, we use this description to introduce a new associative product on the space of binary trees.

The aim of this work is to enumerate alternating sign matrices (ASM) that are quasi-invariant under a quarter-turn. The enumeration formula (conjectured by Duchon) involves, as a product of three terms, the number of unrestricted ASM's and the number of half-turn symmetric ASM's.

The aim of this work is to enumerate alternating sign matrices (ASM) that are quasi-invariant under a quarter-turn. The enumeration formula (conjectured by Duchon) involves, as a product of three terms, the number of unrestricted ASM's and the number of half-turn symmetric ASM's.

We consider the partition function Z(N;x_1,...,x_N,y_1,...,y_N) of the square ice model with domain wall boundary. We give a simple proof of the symmetry of Z with respect to all its variables when the global parameter a of the model is set to the special value a=exp(iπ/3). Our proof does not use any determinantal interpretation of Z and can be adapted to other situations (for examples to some symmetric ice models).

Lascoux and Schützenberger introduced a notion of key associated to any Young tableau. More recently Lascoux defined the key of an alternating sign matrix by recursively removing all -1's in such matrices. But alternating sign matrices are in bijection with monotone triangles, which form a subclass of Young tableaux. We show that in this case these two notions of keys coincide. Moreover we obtain an elegant and direct way to compute the key of any Young tableau, and discuss consequences of our result.

We prove a lemma that is useful to get upper bounds for the number of partitions without a given subsum. From this we can deduce an improved upper bound for the number of sets represented by the (unrestricted or into unequal parts) partitions of an integer n.

The purpose of this paper is to find a new way to prove the $n!$ conjecture for particular partitions. The idea is to construct a monomial and explicit basis for the space $M_μ$. We succeed completely for hook-shaped partitions, i.e., $μ=(K+1,1^L)$. We are able to exhibit a basis and to verify that its cardinality is indeed $n!$, that it is linearly independent and that it spans $M_μ$. We derive from this study an explicit and simple basis for $I_μ$, the annihilator ideal of $Δ_μ$. This method is also successful for giving directly a basis for the homogeneous subspace of $M_μ$ consisting of elements of 0 $x$-degree.

The aim of this work is to construct a monomial and explicit basis for the space $M_μ$ relative to the $n!$ conjecture. We succeed completely for hook-shaped partitions, i.e. $μ=(K+1,1^L)$. We are indeed able to exhibit a basis and to verify that its cardinality is $n!$, that it is linearly independent and that it spans $M_μ$. We deduce from this study an explicit and simple basis for $I_μ$, the annulator ideal of $Δ_μ$. This method is also successful for giving directly a basis for the homogeneous subspace of $M_μ$ consisting of elements of 0 $x$-degree.

The aim of this work is to study some lattice diagram determinants $Δ_L(X,Y)$. We recall that $M_L$ denotes the space of all partial derivatives of $Δ_L$. In this paper, we want to study the space $M^k_{i,j}(X,Y)$ which is defined as the sum of $M_L$ spaces where the lattice diagrams $L$ are obtained by removing $k$ cells from a given partition, these cells being in the ``shadow'' of a given cell $(i,j)$ in a fixed Ferrers diagram. We obtain an upper bound for the dimension of the resulting space $M^k_{i,j}(X,Y)$, that we conjecture to be optimal. This dimension is a multiple of $n!$ and thus we obtain a generalization of the $n!$ conjecture. Moreover, these upper bounds associated to nice properties of some special symmetric differential operators (the ``shift'' operators) allow us to construct explicit bases in the case of one set of variables, i.e. for the subspace $M^k_{i,j}(X)$ consisting of elements of 0 $Y$-degree.

The aim of this work is to study some lattice diagram polynomials $Δ_D(X,Y)$. We recall that $M_D$ denotes the space of all partial derivatives of $Δ_D$. In this paper, we want to study the space $M^k_{i,j}(X,Y)$ which is the sum of $M_D$ spaces where the lattice diagrams $D$ are obtained by removing $k$ cells from a given partition, these cells being in the ``shadow'' of a given cell $(i,j)$ of the Ferrers diagram. We obtain an upper bound for the dimension of the resulting space $M^k_{i,j}(X,Y)$, that we conjecture to be optimal. These upper bounds allow us to construct explicit bases for the subspace $M^k_{i,j}(X)$ consisting of elements of 0 $Y$-degree.

The space $QSym_n(B)$ of $B$-quasisymmetric polynomials in 2 sets of $n$ variables was recently studied by Baumann and Hohlweg. The aim of this work is a study of the ideal $<QSym_n(B)^+>$ generated by $B$-quasisymmetric polynomials without constant term. In the case of the space $QSym_n$ of quasisymmetric polynomials in 1 set of $n$ variables, Aval, Bergeron and Bergeron proved that the dimension of the quotient of the space of polynomials by the ideal $<QSym_n^+>$ is given by Catalan numbers $C_n=\frac 1 {n+1} {2n \choose n}$. In the case of $B$-quasisymmetric polynomials, our main result is that the dimension of the analogous quotient is equal to $\frac{1}{2n+1}{3n\choose n}$, the numbers of ternary trees with $n$ nodes. The construction of a Gröbner basis for the ideal, as well as of a linear basis for the quotient are interpreted by a bijection with lattice paths. These results are finally extended to $p$ sets of variables, and the dimension is in this case $\frac{1}{pn+1}{(p+1)n\choose n}$, the numbers of $p$-ary trees with $n$ nodes.

Catalan numbers $C(n)=\frac{1}{n+1}{2n\choose n}$ enumerate binary trees and Dyck paths. The distribution of paths with respect to their number $k$ of factors is given by ballot numbers $B(n,k)=\frac{n-k}{n+k}{n+k\choose n}$. These integers are known to satisfy simple recurrence, which may be visualised in a ``Catalan triangle'', a lower-triangular two-dimensional array. It is surprising that the extension of this construction to 3 dimensions generates integers $B_3(n,k,l)$ that give a 2-parameter distribution of $C_3(n)=\frac 1 {2n+1} {3n\choose n}$, which may be called order-3 Fuss-Catalan numbers, and enumerate ternary trees. The aim of this paper is a study of these integers $B_3(n,k,l)$. We obtain an explicit formula and a description in terms of trees and paths. Finally, we extend our construction to $p$-dimensional arrays, and in this case we obtain a $(p-1)$-parameter distribution of $C_p(n)=\frac 1 {(p-1)n+1} {pn\choose n}$, the number of $p$-ary trees.

The aim of this work is to extend the study of super-coinvariant polynomials, to the case of the generalized symmetric group $G_{n,m}$, defined as the wreath product $C_m\wr§_n$ of the symmetric group by the cyclic group. We define a quasi-symmetrizing action of $G_{n,m}$ on $\Q[x_1,...,x_n]$, analogous to those defined by Hivert in the case of $§_n$. The polynomials invariant under this action are called quasi-invariant, and we define super-coinvariant polynomials as polynomials orthogonal, with respect to a given scalar product, to the quasi-invariant polynomials with no constant term. Our main result is the description of a Gröbner basis for the ideal generated by quasi-invariant polynomials, from which we dedece that the dimension of the space of super-coinvariant polynomials is equal to $m^n C_n$ where $C_n$ is the $n$-th Catalan number.