arXiv++ Combinatorics

The Göllnitz-Gordon identities were found by Göllnitz and Gordon independently. In 1967, Andrews obtained a combinatorial generalization of the Göllnitz-Gordon identities, called the Andrews-Göllnitz-Gordon theorem. In 1980, Bressoud extended the Andrews-Göllnitz-Gordon theorem to even moduli, called the Bressoud-Göllnitz-Gordon theorem. Furthermore, Bressoud gave the generating functions for the generalizations of the Göllnitz-Gordon identities. In this article, we will give new companions to the generalizations of the Göllnitz-Gordon identities.

We introduce a statistic on overpartitions called the $\overline{k}$-rank. When there are no overlined parts, this coincides with the $k$-rank of a partition introduced by Garvan. Moreover, it reduces to the D-rank of an overpartition when $k=2$. The generating function for the $\overline{k}$-rank of overpartitions is given. We also establish a relation between the generating function of self-3-conjugate overpartitions and the tenth order mock theta functions $X(q)$ and $χ(q)$.

The main objective of this paper is to present an answer to Bressoud's conjecture for the case $j=0$, resulting in a complete solution to the conjecture. The case for $j=1$ has been recently resolved by Kim. Using the connection established in our previous paper between the ordinary partition function $B_0$ and the overpartition function $\overline{B}_1$, we found that the proof of Bressoud's conjecture for the case $j=0$ is equivalent to establishing an overpartition analogue of the conjecture for $j=1$. By generalizing Kim's method, we obtain the desired overpartition analogue of Bressoud's conjecture for $j=1$, which eventually enables us to confirm Bressoud's conjecture for the case $j=0$.

In 1980, Bressoud conjectured a combinatorial identity $A_j=B_j$ for $j=0$ or $1$, where the function $A_j$ counts the number of partitions with certain congruence conditions and the function $B_j$ counts the number of partitions with certain difference conditions. Bressoud's conjecture specializes to a wide variety of well-known theorems in the theory of partitions. Special cases of his conjecture have been subsequently proved by Bressoud, Andrews, Kim and Yee. Recently, Kim resolved Bressoud's conjecture for the case $j=1$. In this paper, we introduce a new partition function $\bar{B}_j$ which can be viewed as an overpartition analogue of the partition function $B_j$ introduced by Bressoud. By means of Gordon markings, we build bijections to obtain a relationship between $\bar{B}_1$ and $B_0$ and a relationship between $\bar{B}_0$ and $B_1$. Based on these former relationships, we further give overpartition analogues of many classical partition theorems including Euler's partition theorem, the Rogers-Ramanujan-Gordon identities, the Bressoud-Rogers-Ramanujan identities, the Andrews-Göllnitz-Gordon identities and the Bressoud-Göllnitz-Gordon identities.

We give an overpartition analogue of Bressoud's combinatorial generalization of the Göllnitz-Gordon theorem for even moduli in general case. Let $\widetilde{O}_{k,i}(n)$ be the number of overpartitions of $n$ whose parts satisfy certain difference condition and $\widetilde{P}_{k,i}(n)$ be the number of overpartitions of $n$ whose non-overlined parts satisfy certain congruence condition. We show that $\widetilde{O}_{k,i}(n)=\widetilde{P}_{k,i}(n)$ for $1\leq i<k$.

In 1967, Andrews found a combinatorial generalization of the Göllnitz-Gordon theorem, which can be called the Andrews-Göllnitz-Gordon theorem. In 1980, Bressoud derived a multisum Rogers-Ramanujan-type identity, which can be considered as the generating function counterpart of the Andrews-Göllnitz-Gordon theorem. Lovejoy gave an overpartition analogue of the Andrews-Göllnitz-Gordon theorem for $i=k$. In this paper, we give an overpartition analogue of this theorem in the general case. By using Bailey's lemma and a change of base formula due to Bressoud, Ismail and Stanton, we obtain an overpartition analogue of Bressoud's identity. We then give a combinatorial interpretation of this identity by introducing the Göllnitz-Gordon marking of an overpartition, which yields an overpartition analogue of the Andrews-Göllnitz-Gordon theorem.