arXiv++ Combinatorics

In this paper we conjecture combinatorial Rogers-Ramanujan type colored partition identities related to standard representations of the affine Lie algebra of type $C^{(1)}_\ell$, $\ell\geq2$, and we conjecture similar colored partition identities with no obvious connection to representation theory of affine Lie algebras.

Leibniz's rule for the $n$-th derivative of a product is a very well known and extremely useful formula. In this article, we introduce an analogous explicit formula for the $n$-th derivative of a quotient of two functions. Later, we use this formula to derive new partition identities and to develop expressions for some special $n$-th derivatives.

Sums of the form $\sum_{q \leq N_1 < \cdots < N_m \leq n}{a_{(m);N_m}\cdots a_{(2);N_2}a_{(1);N_1}}$ date back to the sixteen century when Viète illustrated that the relation linking the roots and coefficients of a polynomial had this form. In more recent years, such sums have become increasingly used with a diversity of applications. In this paper, we develop formulae to help with manipulating such sums (which we will refer to as multiple sums). We develop variation formulae that express the variation of multiple sums in terms of lower order multiple sums. Additionally, we derive a set of partition identities that we use to prove a reduction theorem that expresses multiple sums as a combination of simple (non-recurrent) sums. We present a variety of applications including applications concerning polynomials and MZVs as well as a generalization of the binomial theorem. Finally, we establish the connection between multiple sums and a type of sums called recurrent sums. By exploiting this connection, we provide additional partition identities for odd and even partitions.

Sums of the form $\sum_{N_m=q}^{n}{\cdots \sum_{N_1=q}^{N_2}{a_{(m);N_m}\cdots a_{(1);N_1}}}$ where the $a_{(k);N_k}$'s are same or distinct sequences appear quite often in mathematics. We will refer to them as recurrent sums. In this paper, we introduce a variety of formulas to help manipulate and work with this type of sums. We begin by developing variation formulas that allow the variation of a recurrent sum of order $m$ to be expressed in terms of lower order recurrent sums. We then proceed to derive theorems (which we will call inversion formulas) which show how to interchange the order of summation in a multitude of ways. Later, we introduce a set of new partition identities in order to then prove a reduction theorem which permits the expression of a recurrent sum in terms of a combination of non-recurrent sums. Finally, we apply this reduction theorem to a recurrent form of two famous types of sums: The $p$-series and the sum of powers.

We show that, in many cases, there are infinitely many sets of partitions corresponding to a single analytical Rogers-Ramanujan type identity. This means that a single analytical Rogers-Ramanujan type identity implies the existence of bijections among infinitely many sets of partitions. We also give an explicit description of these infinite sets coming from the sum side of the analytical identity explaining how to interpret the sum side combinatorially as the generating function of the partitions considered. Moreover, we give a new infinite familiy of Rogers-Ramanujan type identities obtained by the Glaisher's identities.

Ramanujan recorded five interesting q-series identities in a section that is not as systematically arranged as the other chapters of his second notebook. These five identities do not seem to have acquired enough attention. Recently, Dixit and the third author found a one-variable generalization of one of the aforementioned five identities. From their generalized identity, they were able to derive the last three of these q-series identities, but didn't establish the first two. In the present article, we derive a one-variable generalization of the main identity of Dixit and the third author from which we successfully deduce all the five q-series identities of Ramanujan. In addition to this, we also establish a few interesting weighted partition identities from our generalized identity. In the mid 1980's, Bressoud and Subbarao found an interesting identity connecting the generalized divisor function with a weighted partition function, which they proved by means of a purely combinatorial argument. Quite surprisingly, we found an analytic proof for a generalization of the identity of Bressoud and Subbarao, starting from the fourth identity of the aforementioned five q-series identities of Ramanujan.

Integer partitions have long been of interest to number theorists, perhaps most notably Ramanujan, and are related to many areas of mathematics including combinatorics, modular forms, representation theory, analysis, and mathematical physics. Here, we focus on partitions with gap conditions and partitions with parts coming from fixed residue classes. Let $Δ_d^{(a,b)}(n) = q_d^{(a)}(n) - Q_d^{(b)}(n)$ where $q_d^{(a)}(n)$ counts the number of partitions of $n$ into parts with difference at least $d$ and size at least $a$, and $Q_d^{(b)}(n)$ counts the number of partitions into parts $\equiv \pm b \pmod{d + 3}$. In 1956, Alder conjectured that $Δ_d^{(1,1)}(n) \geq 0$ for all positive $n$ and $d$. This conjecture was proved partially by Andrews in 1971, by Yee in 2008, and was fully resolved by Alfes, Jameson and Lemke Oliver in 2011. Alder's conjecture generalizes several well-known partition identities, including Euler's theorem that the number of partitions of $n$ into odd parts equals the number of partitions of $n$ into distinct parts, as well as the first of the famous Rogers-Ramanujan identities. In 2020, Kang and Park constructed an extension of Alder's conjecture which relates to the second Rogers-Ramanujan identity by considering $Δ_d^{(a,b,-)}(n) = q_d^{(a)}(n) - Q_d^{(b,-)}(n)$ where $Q_d^{(b,-)}(n)$ counts the number of partitions into parts $\equiv \pm b \pmod{d + 3}$ excluding the $d+3-b$ part. Kang and Park conjectured that $Δ_d^{(2,2,-)}(n)\geq 0$ for all $d\geq 1$ and $n\geq 0$, and proved this for $d = 2^r - 2$ and $n$ even. We prove Kang and Park's conjecture for all but finitely many $d$. Toward proving the remaining cases, we adapt work of Alfes, Jameson and Lemke Oliver to generate asymptotics for the related functions. Finally, we present a more generalized conjecture for higher $a=b$ and prove it for infinite classes of $n$ and $d$.

We prove a theorem which add a new member to Rogers-Ramanujan identities. This new member counts partitions with different type of constraints on even and odd parts. Generalizing this theorem, we obtain two family of partition identities of Rogers-Ramanujan type.

In the first part of this article, we consider a Groebner basis of the differential ideal {x_1^2} with respect to "the" weighted lexicographical monomial order and show that its computation is related with an identity involving the partitions that appear in the first Rogers-Ramanujan identity. We then prove that a Grobener basis of this ideal is not differentially finite in contrary with the case of "the" weighted reverse lexicographical order. In the second part, we give a simple and direct proof of a theorem of Nguyen Duc Tam about the Groaner basis of the differential ideal {x_1y_1}; we then obtain identities involving partitions with 2 colors.

We give a commutative algebra viewpoint on Andrews recursive formula for the partitions appearing in "Gordon's identities", which are a generalization of Rogers-Ramanujan identities. Using this approach and differential ideals we conjecture a family of partition identities which extend Gordon's identities. This family is indexed by r >=2. We prove the conjecture for r=2 and r=3.

Partition identities are often statements asserting that the set $\mathcal P_X$ of partitions of $n$ subject to condition $X$ is equinumerous to the set $\mathcal P_Y$ of partitions of $n$ subject to condition $Y$. A Beck-type identity is a companion identity to $|\mathcal P_X|=|\mathcal P_Y|$ asserting that the difference $b(n)$ between the number of parts in all partitions in $\mathcal P_X$ and the number of parts in all partitions in $\mathcal P_Y$ equals a $c|\mathcal P_{X'}|$ and also $c|\mathcal P_{Y'}|$, where $c$ is some constant related to the original identity, and $X'$, respectively $Y'$, is a condition on partitions that is a very slight relaxation of condition $X$, respectively $Y$. A second Beck-type identity involves the difference $b'(n)$ between the total number of different parts in all partitions in $\mathcal P_X$ and the total number of different parts in all partitions in $\mathcal P_Y$. We extend these results to Beck-type identities accompanying all identities given by Euler pairs of order $r$ (for any $r\geq 2$). As a consequence, we obtain many families of new Beck-type identities. We give analytic and bijective proofs of our results.

Alladi studied partition theoretic implications of a two variable generalization of the Lebesgue identity. In this short note, we focus on a slight variation of the basic hypergeometric sum that Alladi studied. We present two new partition identities involving weights.

In a work of 1995, Alladi, Andrews, and Gordon provided a generalization of the two Capparelli identities involving certain classes of integer partitions. Inspired by that contribution, in particular as regards the general setting and the tools the authors employed, we obtain new partition identities by identifying further sets of partitions that can be explicitly put into a one-to-one correspondence by the method described in the 1995 paper. As a further result, although of a different nature, we obtain an analytical identity of Rogers-Ramanujan type, involving generating functions, for a class of partition identities already found in that paper and that generalize the first Capparelli identity and include it as a particular case. To achieve this, we apply the same strategy as Kanade and Russel did in a recent paper. This method relies on the use of jagged partitions that can be seen as a more general kind of integer partitions.

In a recent paper, Andrews and Newman extended the mex-function to integer partitions and proved many partition identities connected with these functions. In this paper, we present parity considerations of one of the families of functions they studied, namely $p_{t,t}(n)$. Among our results, we provide complete parity characterizations of $p_{1,1}(n)$ and $p_{3,3}(n)$.

In this article, a finite analogue of the generalized sum-of-tails identity of Andrews and Freitas is obtained. We derive several interesting results as special cases of this analogue, in particular, a recent identity of Dixit, Eyyyunni, Maji and Sood. We derive a new extension of Abel's lemma with the help of which we obtain a one-parameter generalization of a sum-of-tails identity of Andrews, Garvan and Liang, an identity of Ramanujan as well as two new results - one for Ramanujan's function $σ(q)$ and another for the function recently introduced by Andrews and Ballantine. Later we introduce a new generalization $\mathrm{FFW}_{c}(n)$ of a function of Fokkink, Fokkink and Wang and derive an identity for its generating function. This gives, as a special case, a recent representation for the generating function of $\mathrm{spt}(n)$ given by Andrews, Garvan and Liang. We also obtain some weighted partition identities along with new representations for two of Ramanujan's third order mock theta functions through combinatorial techniques.

In a recent paper, we generalized a partition identity stated by Siladić in his study of the level one standard module of type $A_2^{(2)}$. The proof used weighted words with an arbitrary number of primary colors and all the secondary colors obtained from these primary colors, and a brand new variant of the bijection of Bressoud for Schur's partition identity. In this paper, the first of two, we analyze this variant of Bressoud's algorithm in the framework of statistical mechanics, where an integer partition is viewed as an amount of energy shared, according to certain properties, between several states. This viewpoint allows us to generalize the previous result by considering a more general family of minimal difference conditions. For example, we generalize the Siladić identity to overpartitions. In the second paper, we connect this result to the Glaisher theorem and give some applications to level one perfect crystals.

In $2003$, Alladi, Andrews and Berkovich proved a four-parameter partition identity lying beyond a celebrated identity of Göllnitz. Since then it has been an open problem to extend their work to five or more parameters. In part I of this pair of papers, we took a first step in this direction by giving a bijective proof of a reformulation of their result. We introduced forbidden patterns, bijectively proved a ten-colored partition identity, and then related, by another bijection, our identity to the Alladi-Andrews-Berkovich identity. In this second paper, we state and bijectively prove an $\frac{n(n+1)}{2}$-colored partition identity beyond Göllnitz' theorem for any number $n$ of primary colors, along with the full set of the $\frac{n(n-1)}{2}$ secondary colors as the product of two distinct primary colors, generalizing the identity proved in the first paper. Like the ten-colored partitions, our family of $\frac{n(n+1)}{2}$-colored partitions satisfy some simple minimal difference conditions while avoiding forbidden patterns. Furthermore, the $\frac{n(n+1)}{2}$-colored partitions have some remarkable properties, as they can be uniquely represented by oriented rooted forests which record the steps of the bijection.

Kanade and Russell conjectured several Rogers-Ramanujan-type partition identities, some of which are related to level $2$ characters of the affine Lie algebra $A_9^{(2)}$. Many of these conjectures have been proved by Bringmann, Jennings-Shaffer and Mahlburg. We give new proofs of five conjectures first proved by those authors, as well as four others that have been open until now. Our proofs for the new cases use quadratic transformations for Askey-Wilson and Rogers polynomials. We also obtain some related results, including a new proof of a partition identity conjectured by Capparelli and first proved by Andrews.

In the first paper of this series, we gave infinite families of coloured partition identities which generalise Primc's and Capparelli's classical identities. In this second paper, we study the representation theoretic consequences of our combinatorial results. First, we show that the difference conditions we defined in our $n^2$-coloured generalisation of Primc's identity, which have a very simple expression, are actually the energy function with values in $\{0,1,2\}$ for the perfect crystal of the tensor product of the vector representation and its dual in $A_{n-1}^{(1)}$. Then we introduce a new type of partitions, grounded partitions, which allows us to retrieve connections between character formulas and partition generating functions without having to perform a specialisation. Finally, using the formulas for the generating functions of our generalised partitions, we recover the Kac-Peterson character formula for the characters of all the irreducible highest weight $A_{n-1}^{(1)}$-modules of level $1$, and give a new character formula as a sum of infinite products with obviously positive coefficients in the generators $e^{- α_i} \ (i \in \{0, \dots , n-1\}),$ where the $α_i$'s are the simple roots.

In these two companion papers, we give infinite families of partition identities which generalise Primc's and Capparelli's identities, and study their consequences on the theory of crystal bases of the affine Lie algebra $A_{n-1}^{(1)}.$ In this first paper, we focus on combinatorial aspects. We give a $n^2$-coloured generalisation of Primc's identity by constructing a $n^2 \times n^2$ matrix of difference conditions, Primc's original identities corresponding to $n=2$ and $n=3$. While most coloured partition identities in the literature connect partitions with difference conditions to partitions with congruence conditions, in our case, the natural way to generalise these identities is to relate partitions with difference conditions to coloured Frobenius partitions. This gives a very simple expression for the generating function. With a particular specialisation of the colour variables, our generalisation also yields a partition identity with congruence conditions. Then, using a bijection from our new generalisation of Primc's identity, we deduce a multi-parameter family of identities on $(n^2-1)$-coloured partitions which generalise Capparelli's identity, also in terms of coloured Frobenius partitions. The particular case $n=2$ is Capparelli's identity and the case $n=3$ recovers an identity of Meurman and Primc. In the second paper, we will focus on crystal theoretic aspects. We will show that the difference conditions we defined in our $n^2$-coloured generalisation of Primc's identity are actually energy functions for certain $A_{n-1}^{(1)}$ crystals. We will then use this result to retrieve the Kac-Peterson character formula and derive a new character formula as a sum of infinite products for all the irreducible highest weight $A_{n-1}^{(1)}$-modules of level $1$.