arXiv++ Combinatorics

We introduce area, bounce and dinv statistics on decorated parallelogram polyominoes, and prove that some of their q,t-enumerators match $\langle Δ_{h_m} e_{n+1},s_{k+1,1^{n-k}}\rangle$, extending in this way the work in (Aval et al. 2014). Also, we provide a bijective connection between decorated parallelogram polyominoes and decorated labelled Dyck paths, which allows us to prove the combinatorial interpretation of the coefficient $\langle Δ_{e_{m+n-k-1}}'e_{m+n},h_m h_n\rangle$ predicted by the Delta conjecture in (Haglund et al. 2015). Finally, we define a statistic pmaj on partially labelled Dyck paths, which provides another conjectural combinatorial interpretation of $Δ_{h_{\ell}}Δ_{e_{n-k-1}}'e_n$, cf. (Haglund et al. 2015). This is the full version of (D'Adderio, Iraci 2017) arXiv:1711.03923.

We introduce area, bounce and dinv statistics on decorated parallelogram polyominoes, and prove that some of their q,t-enumerators match $\langle Δ_{h_m} e_{n+1}, s_{k+1,1^{n-k}} \rangle$, extending in this way the work in (Aval et al. 2014). Also, we provide a bijective connection between decorated parallelogram polyominoes and decorated labelled Dyck paths, which allows us to prove the combinatorial interpretation of the coefficient $\langleΔ_{e_{m+n-k-1}}'e_{m+n}, h_m h_n \rangle$ predicted by the Delta conjecture in (Haglund et al. 2015). Finally, we define a statistic pmaj on partially labelled Dyck paths, which provides another conjectural combinatorial interpretation of $Δ_{h_{\ell}}Δ_{e_{n-k-1}}'e_n$, cf. (Haglund et al. 2015). This is an extended abstract of (D'Adderio, Iraci 2017): this forthcoming publication will have proofs and additional details and results.

We discuss the combinatorics of the decorated Dyck paths appearing in the Delta conjecture framework of Haglund, Remmel and Wilson (2015) and Zabrocki (2016), by introducing two new statistics, bounce and bounce'. We then provide plethystic formulae for their q,t-enumerators, by proving in this way a decorated version of Haglund's q,t-Schroeder theorem, answering a question in Haglund, Remmel and Wilson (2015). In particular we provide both an algebraic and a combinatorial explanation of a symmetry conjectured in Haglund, Remmel and Wilson (2015) and Zabrocki (2016). Finally, we show a link between these results and the q,t-square theorem of Can and Loehr (2006) (conjectured by Loehr and Warrington (2007)), getting a new q,t-square, whose specialization at t=1/q is identical to the classical one, and hinting to a broader phenomenon of this type.

We present an algorithm to compute the rank of a configuration of the sandpile model for the complete bipartite graph K_{m,n} of complexity O(m+n). Furthermore, we provide a formula for the generating function of parking sorted configurations on complete bipartite graphs K_{m,n} according to rank, degree, and the sizes m and n. The results in the present paper are similar to those found by Robert Cori and the second named author for the complete graph K_{n+1}, and they rely on the analysis of certain operators on the stable sorted configurations of K_{m,n} developed in a previous work by the authors together with Jean-Christophe Aval and Mark Dukes.

We introduce two operators on stable configurations of the sandpile model that provide an algorithmic bijection between recurrent and parking configurations. This bijection preserves their equivalence classes with respect to the sandpile group. The study of these operators in the special case of the complete bipartite graph ${K}_{m,n}$ naturally leads to a generalization of the well known Cyclic Lemma of Dvoretsky and Motzkin, via pairs of periodic bi-infinite paths in the plane having slightly different slopes. We achieve our results by interpreting the action of these operators as an action on a point in the grid $\mathbb{Z}^2$ which is pointed to by one of these pairs of paths. Our Cyclic lemma allows us to enumerate several classes of polyominoes, and therefore builds on the work of Irving and Rattan (2009), Chapman et al. (2009), and Bonin et al. (2003).

When a Catalan number or a Narayana number is a (non-trivial) perfect power? For Catalan numbers, we show that the answer is "never". However, we prove that for every b, the Narayana number N(a,b) is a (non-trivial) perfect square for infinitely many values of a, and we show how to compute all of them. We also conjecture that N(a,b) is never a (non-trivial) perfect k-th power for k greater than 2 and we prove some cases of this conjecture.

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.

We introduce the notions of arithmetic colorings and arithmetic flows over a graph with labelled edges, which generalize the notions of colorings and flows over a graph. We show that the corresponding arithmetic chromatic polynomial and arithmetic flow polynomial are given by suitable specializations of the associated arithmetic Tutte polynomial, generalizing classical results of Tutte.

We introduce the notion of an arithmetic matroid, whose main example is given by a list of elements of a finitely generated abelian group. In particular we study the representability of its dual, providing an extension of the Gale duality to this setting. Guided by the geometry of generalized toric arrangements, we provide a combinatorial interpretation of the associated arithmetic Tutte polynomial, which can be seen as a generalization of Crapo's formula for the classical Tutte polynomial.

We prove that the Ehrhart polynomial of a zonotope is a specialization of the multiplicity Tutte polynomial. We derive some formulae for the volume and the number of integer points of the zonotope.

We prove some results related to a conjecture of Hivert and Thiéry about the dimension of the space of q-harmonics. In the process we compute the actions of the involved operators on symmetric and alternating functions, which have some independent interest. We then use these computations to prove other results related to the same conjecture.