arXiv++ Combinatorics

We resolve the open problem of characterizing the Frobenius number $g(A)$ for shifted square sequences $A = (a, a+1^2, \ldots, a+k^2)$, confirming a conjecture of Einstein et al. (2007). By combining a combinatorial reduction to an optimization problem with Lagrange's Four-Square Theorem and generating function techniques, we derive an explicit formula for $g(A)$: a piecewise quadratic polynomial in $a$, classified by residue classes modulo $k^2$.

In this paper, we discover a new noncommutative algebra. We refer this algebra as the constant term algebra of type $A$, which is generated by certain constant term operators. We characterize a structural result of this algebra by establishing an explicit basis in terms of certain forests. This algebra arises when we apply the method of the iterated Laurent series to investigate Beck and Pixton's residue computation for the Ehrhart series of the Birkhoff polytope. This algebra seems to be the first structural result in the area of the constant term world since the discovery of the Dyson constant term identity in 1962.

In chemistry, Cyvin-Gutman enumerates Kekulé numbers for certain benzenoids and record it as $A050446$ on OEIS. This number is exactly the two variable array $T(n,m)$ defined by the recursion $T(n, m) = T(n, m-1) + \sum^{\lfloor\frac{n-1}{2}\rfloor}_{k=0} T(2k, m-1)T(n-1-2k, m)$, where $T(n,0)=T(0,m)=1$ for all nonnegative integers $m,n$. Interestingly, this number also appeared in the context of weighted graphs, graph polytopes, magic labellings, and unit primitive matrices, studied by different authors. Several interesting conjectures were made on the OEIS. These conjectures are related to both the row and column generating function of $T(n,m)$. In this paper, give explicit formula of the column generating function, which is also the generating function $F(n,x)$ studied by Bóna, Ju, and Yoshida. We also get trig function representations by using Chebyshev polynomials of the second kind. This allows us to prove all these conjectures.

For any integer $m\geq 2$ and $r \in \{1,\dots, m\}$, let $f_n^{m,r}$ denote the number of $n$-Dyck paths whose peak's heights are $im+r$ for some integer $i$. We find the generating function of $f_n^{m,r}$ satisfies a simple algebraic functional equation of degree $2$. The $r=m$ case is particularly nice and we give a combinatorial proof. By using the Sulanke and Xin's continued fraction method, we calculate the Hankel determinants for $f_n^{m,r}$. The special case $r=m$ of our result solves a conjecture proposed by Chien, Eu and Fu. We also enriched the class of eventually periodic Hankel determinant sequences.

We find by applying MacMahon's partition analysis that all magic labellings of the cube are of eight types, each generated by six basis elements. A combinatorial proof of this fact is given. The number of magic labellings of the cube is thus reobtained as a polynomial in the magic sum of degree $5$. Then we enumerate magic distinct labellings, the number of which turns out to be a quasi-polynomial of period 720720. We also find the group of symmetry can be used to significantly simplify the computation.

A magic labelling of a graph $G$ with magic sum $s$ is a labelling of the edges of $G$ by nonnegative integers such that for each vertex $v\in V$, the sum of labels of all edges incident to $v$ is equal to the same number $s$. Stanley gave remarkable results on magic labellings, but the distinct labelling case is much more complicated. We consider the complete construction of all magic labellings of a given graph $G$. The idea is illustrated in detail by dealing with three regular graphs. We give combinatorial proofs. The structure result was used to enumerate the corresponding magic distinct labellings.

Let $L(m,n)$ denote Young's lattice consisting of all partitions whose Young diagrams are contained in the $m\times n$ rectangle. It is a well-known result that the poset $L(m,n)$ is rank symmetric, rank unimodal, and Sperner. A direct proof of this result by finding an explicit order matching of $L(m,n)$ is an outstanding open problem. In this paper, we present an explicit order matching $\varphi$ for $L(3,n)$ by several different approaches, and give chain tableau version of $\varphi$ that is very helpful in finding patterns. It is surprise that the greedy algorithm and a recursive knead process also give the same order matching. Our methods extend for $L(4,n)$.

We give two proofs of the $q,t$-symmetry of the generalized $q,t$-Catalan number $C_{\vec{k}}(q,t)$ for $\vec{k}=(k_1,k_2,k_3)$. One is by using MacMahon's partition analysis as we proposed; the other is a direct bijection. We also prove $C_{(k,k,k,k)}(q,t) = C_{(k,k,k,k)}(t,q)$ by using MacMahon's partition analysis.

The well-known $q,t$-Catalan sequence has two combinatorial interpretations as weighted sums of ordinary Dyck paths: one is Haglund's area-bounce formula, and the other is Haiman's dinv-area formula. The zeta map was constructed to connect these two formulas: it is a bijection from ordinary Dyck paths to themselves, and it takes dinv to area, and area to bounce. Such a result was extended for $k$-Dyck paths by Loehr. The zeta map was extended by Armstrong-Loehr-Warrington for a very general class of paths. In this paper, We extend the dinv-area-bounce result for $\vec{k}$-Dyck paths by: i) giving a geometric construction for the bounce statistic of a $\vec{k}$-Dyck path, which includes the $k$-Dyck paths and ordinary Dyck paths as special cases; ii) giving a geometric interpretation of the dinv statistic of a $\vec{k}$-Dyck path. Our bounce construction is inspired by Loehr's construction and Xin-Zhang's linear algorithm for inverting the sweep map on $\vec{k}$-Dyck paths. Our dinv interpretation is inspired by Garsia-Xin's visual proof of dinv-to-area result on rational Dyck paths.

A polynomial $A(q)=\sum_{i=0}^n a_iq^i$ is said to be unimodal if $a_0\le a_1\le \cdots \le a_k\ge a_{k+1} \ge \cdots \ge a_n$. We investigate the unimodality of rational $q$-Catalan polynomials, which is defined to be $C_{m,n}(q)= \frac{1}{[n+m]} \left[ m+n \atop n\right]$ for a coprime pair of positive integers $(m,n)$. We conjecture that they are unimodal with respect to parity, or equivalently, $(1+q)C_{m+n}(q)$ is unimodal. By using generating functions and the constant term method, we verify our conjecture for $m\le 5$ in a straightforward way.

Garsia and Xin gave a linear algorithm for inverting the sweep map for Fuss rational Dyck paths in $D_{m,n}$ where $m=kn\pm 1$. They introduced an intermediate family $\mathcal{T}_n^k$ of certain standard Young tableau. Then inverting the sweep map is done by a simple walking algorithm on a $T\in \mathcal{T}_n^k$. We find their idea naturally extends for $\mathbf{k}^\pm$-Dyck paths, and also for $\mathbf{k}$-Dyck paths (reducing to $k$-Dyck paths for the equal parameter case). The intermediate object becomes a similar type of tableau in $\mathcal{T}_\mathbf{k}$ of different column lengths. This approach is independent of the Thomas-Williams algorithm for inverting the general modular sweep map.

The Hankel determinants $\left(\frac{r}{2(i+j)+r}\binom{2(i+j)+r}{i+j}\right)_{0\leq i,j \leq n-1}$ of the convolution powers of Catalan numbers were considered by Cigler and by Cigler and Krattenthaler. We evaluate these determinants for $r\le 31$ by finding shifted periodic continued fractions, which arose in application of Sulanke and Xin's continued fraction method. These include some of the conjectures of Cigler as special cases. We also conjectured a polynomial characterization of these determinants. The same technique is used to evaluate the Hankel determinants $\left(\binom{2(i+j)+r}{i+j}\right)_{0\leq i,j \leq n-1} $. Similar results are obtained.

Our main contribution here is the discovery of a new family of standard Young tableaux $ {\cal T}^k_n$ which are in bijection with the family ${\cal D}_{m,n}$ of Rational Dyck paths for $m=k\times n\pm 1$ (the so called "Fuss" case). Using this family we give a new proof of the invertibility of the sweep map in the Fuss case by means of a very simple explicit algorithm. This new algorithm has running time $O(m+n)$. It is independent of the Thomas-William algorithm.

Sulanke and Xin developed a continued fraction method that applies to evaluate Hankel determinants corresponding to quadratic generating functions. We use their method to give short proofs of Cigler's Hankel determinant conjectures, which were proved recently by Chang-Hu-Zhang using direct determinant computation. We find that shifted periodic continued fractions arise in our computation. We also discover and prove some new nice Hankel determinants relating to lattice paths with step set $\{(1,1),(q,0), (\ell-1,-1)\}$ for integer parameters $m,q,\ell$. Again shifted periodic continued fractions appear.

In the early 2000's the first and second named authors worked for a period of six years in an attempt of proving the Compositional Shuffle Conjecture [1]. Their approach was based on the discovery that all the Combinatorial properties predicted by the Compositional Shuffle Conjecture remain valid for each family of Parking Functions with prescribed diagonal cars. The validity of this property was reduced to the proof of a functional equation satisfied by a Catalan family of univariate polynomials. The main result in this paper is a proof of this functional equation. The Compositional Shuffle Conjecture was proved in 2015 by Eric Carlsson and Anton Mellit [3]. Our proof of the Functional Equation removes one of the main obstacles in the completion of the Garsia-Hicks approach to the proof of the Compositional Shuffle Conjecture. At the end of this writing we formulate a few further conjectures including what remains to be proved to complete this approach.

Let $\mathbb{N}$ denote the set of non-negative integers. Haglund, Wilson, and the second author have conjectured that the coefficient of any Schur function $s_λ[X]$ in $Δ_{e_k} e_n[X]$ is a polynomial in $\mathbb{N}[q,t]$. We present four proofs of a stronger statement in the case $k=2$; We show that the coefficient of any Schur function $s_λ[X]$ in $Δ_{e_2} e_n[X]$ has a positive expansion in terms of $q,t$-analogs.

This note is based on the original proof of the shuffle conjecture by Carlsson and Mellit (arXiv:1508.06239, version 2), which seems to be too concise for the combinatorial community. James Haglund spent a semester to check through the proof line by line and took explicit note. Guoce Xin was asked by Adriano Garsia to elaborate the proof. The whole paper is thoroughly checked and filled in with details. Section 1 and the abstract of the original paper is included. Section 2 is rewritten for clarity. Other sections are filled with detailed proof and computation. We hope this note is accessible to graduate students.

We give a new combinatorial proof of the well known result that the dinv of an $(m,n)$-Dyck path is equal to the area of its sweep map image. The first proof of this remarkable identity for co-prime $(m,n)$ is due to Loehr and Warrington. There is also a second proof (in the co-prime case) due to Gorsky and Mazin and a third proof due to Mazin.

We present a simple algorithm for inverting the sweep map on rational $(m,n)$-Dyck paths for a co-prime pair $(m,n)$ of positive integers. This work is inspired by Thomas-Williams work on the modular sweep map. A simple proof of the validity of our algorithm is included.

Given a coprime pair $(m,n)$ of positive integers, rational $(m,n)$-Dyck paths are lattice paths in the $m\times n$ rectangle that never go below the diagonal. The sweep map of a rational $(m,n)$-Dyck paths $D$ is the rational Dyck path $Φ(D)$ obtained by sorting the steps of $D$ according to the ranks of their starting points, where the rank of $(a,b)$ is $bm-an$. It is conjectured to be a bijection, but to this date, $Φ$ is only known to be bijective for the Fuss case ($m=kn\pm 1$). In this paper we give an efficient search algorithm for inverting the $Φ$ map. Roughly speaking, given $σ\in \cal D_{m,n}$, by searching through a $d$-array tree of certain depth, we can output all $D$ such that $Φ(D)=σ$, where $d$ is the remainder of $m$ when divided by $n$. In particular, we show that $Φ$ is invertible for the Fuss case by giving a simple recursive construction for $Φ^{-1} (σ)$.