Rogers–Ramanujan Partitions

• Rogers–Ramanujan partitions are defined by congruence and difference conditions that yield elegant product–sum identities.
• They underpin extensions to overpartitions, colored partitions, and parity-restricted models, allowing diverse combinatorial interpretations.
• Recent work connects these partitions with arithmetic refinements, signed and neighborly formulations, and representation-theoretic generalizations.

Rogers–Ramanujan partitions are, in the classical sense, the partitions counted by the two Rogers–Ramanujan identities: partitions into parts congruent to specified residues modulo $5$, and equivalently partitions satisfying rigid difference conditions between successive parts. In current research usage, the term also extends to broader Rogers–Ramanujan type partition families whose generating functions admit product–sum identities of the same general shape and whose combinatorics may involve overpartitions, colored partitions, signed partitions, cylindric partitions, or crystal-colored partitions (Biswas et al., 14 Jul 2025).

1. Classical definitions and the mod $5$ paradigm

The two classical Rogers–Ramanujan identities are

$$\sum_{n=0}^{\infty} \frac{q^{n^2}}{(q;q)_n} = \prod_{m=0}^{\infty} \frac{1}{(1-q^{5m+1})(1-q^{5m+4})},$$

$$\sum_{n=0}^{\infty} \frac{q^{n^2+n}}{(q;q)_n} = \prod_{m=0}^{\infty} \frac{1}{(1-q^{5m+2})(1-q^{5m+3})}.$$

Their product sides are the generating functions for partitions into parts congruent to $1,4 \pmod 5$ and $2,3 \pmod 5$, respectively, while their series sides encode partitions with difference at least $2$, with the second identity imposing the additional smallest-part restriction $\ge 2$ (Biswas et al., 14 Jul 2025).

MacMahon’s partition-theoretic interpretation gives the basic prototype of a Rogers–Ramanujan partition: a partition class simultaneously describable by a congruence condition and by a difference condition. In the broader sense used in later work, a Rogers–Ramanujan type identity is a nontrivial sum–product identity whose product side admits a natural partition-theoretic interpretation, typically through congruence classes, colored multiplicities, or overlining, and whose sum side is governed by difference conditions, initial conditions, or both (Kanade et al., 2014).

This classical mod $5$ paradigm remains the reference point for later developments. Several papers emphasize that the “difference $\ge 2$” description is only one realization among many combinatorial models producing the same analytic series, and that the product-side congruence description can be refined in ways that preserve the Rogers–Ramanujan character while changing the underlying partition objects (Afsharijoo, 2020).

2. Multiple sum-side models and refined partition statistics

A major recent development is the recognition that a single analytic Rogers–Ramanujan type identity can support infinitely many different partition interpretations on the sum side. If

$5$0

and $5$1 is weakly decreasing in $5$2 with $5$3, then $5$4 is the generating function of partitions satisfying the chain

$5$5

Varying $5$6 yields infinitely many partition families with the same generating function, and hence infinitely many bijections among them (Mercuri, 2021).

Within the classical mod $5$7 setting, a striking new member of the Rogers–Ramanujan family separates even and odd parts. For $5$8, let $5$9 count partitions $$\sum_{n=0}^{\infty} \frac{q^{n^2}}{(q;q)_n} = \prod_{m=0}^{\infty} \frac{1}{(1-q^{5m+1})(1-q^{5m+4})},$$0 such that at most $$\sum_{n=0}^{\infty} \frac{q^{n^2}}{(q;q)_n} = \prod_{m=0}^{\infty} \frac{1}{(1-q^{5m+1})(1-q^{5m+4})},$$1 parts equal $$\sum_{n=0}^{\infty} \frac{q^{n^2}}{(q;q)_n} = \prod_{m=0}^{\infty} \frac{1}{(1-q^{5m+1})(1-q^{5m+4})},$$2, the smallest even part is at least $$\sum_{n=0}^{\infty} \frac{q^{n^2}}{(q;q)_n} = \prod_{m=0}^{\infty} \frac{1}{(1-q^{5m+1})(1-q^{5m+4})},$$3, and the odd parts satisfy the two-step gap condition

$$\sum_{n=0}^{\infty} \frac{q^{n^2}}{(q;q)_n} = \prod_{m=0}^{\infty} \frac{1}{(1-q^{5m+1})(1-q^{5m+4})},$$4

Then $$\sum_{n=0}^{\infty} \frac{q^{n^2}}{(q;q)_n} = \prod_{m=0}^{\infty} \frac{1}{(1-q^{5m+1})(1-q^{5m+4})},$$5, so the classical Rogers–Ramanujan products are realized by an asymmetric even/odd difference system rather than the usual uniform spacing condition. Two parametric families $$\sum_{n=0}^{\infty} \frac{q^{n^2}}{(q;q)_n} = \prod_{m=0}^{\infty} \frac{1}{(1-q^{5m+1})(1-q^{5m+4})},$$6 and $$\sum_{n=0}^{\infty} \frac{q^{n^2}}{(q;q)_n} = \prod_{m=0}^{\infty} \frac{1}{(1-q^{5m+1})(1-q^{5m+4})},$$7 extend this construction via the transformations “subtract $$\sum_{n=0}^{\infty} \frac{q^{n^2}}{(q;q)_n} = \prod_{m=0}^{\infty} \frac{1}{(1-q^{5m+1})(1-q^{5m+4})},$$8 from each part” and “add $$\sum_{n=0}^{\infty} \frac{q^{n^2}}{(q;q)_n} = \prod_{m=0}^{\infty} \frac{1}{(1-q^{5m+1})(1-q^{5m+4})},$$9 to each part” (Afsharijoo, 2020).

The same shift from counting partitions to counting statistics on partitions has also been carried out for the Rogers–Ramanujan classes themselves. Companion identities for the total number of parts show that the excess of the number of parts in all partitions of $$\sum_{n=0}^{\infty} \frac{q^{n^2+n}}{(q;q)_n} = \prod_{m=0}^{\infty} \frac{1}{(1-q^{5m+2})(1-q^{5m+3})}.$$0 into parts congruent to $$\sum_{n=0}^{\infty} \frac{q^{n^2+n}}{(q;q)_n} = \prod_{m=0}^{\infty} \frac{1}{(1-q^{5m+2})(1-q^{5m+3})}.$$1 over the number of parts in all super-distinct partitions of $$\sum_{n=0}^{\infty} \frac{q^{n^2+n}}{(q;q)_n} = \prod_{m=0}^{\infty} \frac{1}{(1-q^{5m+2})(1-q^{5m+3})}.$$2 is counted by pairs $$\sum_{n=0}^{\infty} \frac{q^{n^2+n}}{(q;q)_n} = \prod_{m=0}^{\infty} \frac{1}{(1-q^{5m+2})(1-q^{5m+3})}.$$3 with $$\sum_{n=0}^{\infty} \frac{q^{n^2+n}}{(q;q)_n} = \prod_{m=0}^{\infty} \frac{1}{(1-q^{5m+2})(1-q^{5m+3})}.$$4 super-distinct and $$\sum_{n=0}^{\infty} \frac{q^{n^2+n}}{(q;q)_n} = \prod_{m=0}^{\infty} \frac{1}{(1-q^{5m+2})(1-q^{5m+3})}.$$5, and an analogous statement holds for the second Rogers–Ramanujan identity with parts congruent to $$\sum_{n=0}^{\infty} \frac{q^{n^2+n}}{(q;q)_n} = \prod_{m=0}^{\infty} \frac{1}{(1-q^{5m+2})(1-q^{5m+3})}.$$6 and super-distinct parts greater than $$\sum_{n=0}^{\infty} \frac{q^{n^2+n}}{(q;q)_n} = \prod_{m=0}^{\infty} \frac{1}{(1-q^{5m+2})(1-q^{5m+3})}.$$7 (Ballantine et al., 2023).

3. Overpartitions, colored partitions, and arithmetic refinements

Overpartitions and colored partitions provide a systematic way to refine Rogers–Ramanujan product sides. An overpartition of $$\sum_{n=0}^{\infty} \frac{q^{n^2+n}}{(q;q)_n} = \prod_{m=0}^{\infty} \frac{1}{(1-q^{5m+2})(1-q^{5m+3})}.$$8 is a partition in which the first occurrence of each distinct part may be overlined, with generating function

$$\sum_{n=0}^{\infty} \frac{q^{n^2+n}}{(q;q)_n} = \prod_{m=0}^{\infty} \frac{1}{(1-q^{5m+2})(1-q^{5m+3})}.$$9

A $1,4 \pmod 5$0-colored partition function $1,4 \pmod 5$1 is defined by

$1,4 \pmod 5$2

These two constructions are central in recent Rogers–Ramanujan type refinements (Biswas et al., 14 Jul 2025).

The family

$1,4 \pmod 5$3

has coefficients $1,4 \pmod 5$4 counting overpartitions with no part congruent to $1,4 \pmod 5$5, with parts congruent to $1,4 \pmod 5$6 available in two colors, and with all remaining allowed residue classes appearing as usual overpartition parts. For $1,4 \pmod 5$7, this means no parts divisible by $1,4 \pmod 5$8 and two-colored parts congruent to $1,4 \pmod 5$9. The related series $2,3 \pmod 5$0 has coefficients $2,3 \pmod 5$1 counting partitions with no part congruent to $2,3 \pmod 5$2, with parts congruent to $2,3 \pmod 5$3 in one color and parts congruent to $2,3 \pmod 5$4 in two colors (Biswas et al., 14 Jul 2025).

The same paper treats additional Rogers–Ramanujan type series $2,3 \pmod 5$5, and proves infinite families of congruences modulo powers of $2,3 \pmod 5$6 for their coefficients. The results include congruences modulo $2,3 \pmod 5$7 and $2,3 \pmod 5$8, often along prime-power progressions controlled by Legendre-symbol conditions. For the $2,3 \pmod 5$9 coefficients, for example,

$2$0

$2$1

This arithmetic behavior extends the classical Ramanujan-congruence theme to refined Rogers–Ramanujan partition families (Biswas et al., 14 Jul 2025).

A separate colored refinement introduces 2-colored Rogers–Ramanujan partitions: two disjoint color classes, each of which individually satisfies the Rogers–Ramanujan difference condition $2$2, with no numerical part allowed in both colors. Their generating function is

$2$3

These partitions are naturally identified with the overpartition family $2$4, and a restricted version forbidding a red $2$5 gives $2$6 (Dabbagh, 2022).

4. Parity-sensitive Rogers–Ramanujan–Gordon extensions

The Rogers–Ramanujan–Gordon theorem generalizes the classical identities from modulus $2$7 to odd moduli $2$8. Its overpartition analogue replaces ordinary difference conditions by the rule that

$2$9

together with a bound on the number of non-overlined $\ge 2$0’s. If $\ge 2$1 denotes this overpartition difference class and $\ge 2$2 the class in which non-overlined parts avoid $\ge 2$3, then

$\ge 2$4

The generating functions are analyzed both through Andrews’ function $\ge 2$5 and through Gordon marking for overpartitions (Chen et al., 2011).

Parity restrictions on Rogers–Ramanujan–Gordon type overpartitions produce further product formulas. The families $\ge 2$6 and $\ge 2$7 impose parity conditions on $\ge 2$8, the total number of overlined and non-overlined occurrences of each part. For example, $\ge 2$9 enforces

$5$0

together with Gordon-type local bounds. One resulting product identity is

$5$1

and there are analogous formulas for mixed-parity cases and for the odd-indexed families $5$2 (Sang et al., 2018).

These parity-restricted overpartition identities also connect back to ordinary Gordon partitions $5$3. In particular,

$5$4

and

$5$5

This realizes parity-restricted overpartition families as Gordon partitions augmented by a distinct odd-part or distinct even-part layer (Sang et al., 2018).

5. Signed, neighborly, and numerator-type formulations

Signed partitions reinterpret Rogers–Ramanujan type identities by allowing negative parts. For the first Rogers–Ramanujan identity, $5$6 counts signed partitions whose positive parts differ by at least $5$7, alternate in parity, and have smallest positive part even, while negative parts are distinct and at most the number of positive parts. Then

$5$8

For the second identity, $5$9 is defined similarly but with smallest positive part odd and no part $\ge 2$0, and again

$\ge 2$1

The same framework yields signed-partition interpretations of the Göllnitz–Gordon identities, including a new version in which positive parts are even and differ by at least $\ge 2$2, while negative parts are odd, distinct, and bounded by $\ge 2$3 (Alanazi et al., 12 May 2025).

A different dual perspective interprets the numerators of Rogers–Ramanujan products rather than the reciprocal product sides. Neighborly partitions are partitions in which every part has a neighbor within distance $\ge 2$4, each part has multiplicity at most $\ge 2$5, and a lower-bound condition depends on the index $\ge 2$6. For the associated graph $\ge 2$7, the signed generating function satisfies

$\ge 2$8

Thus the numerator of the Rogers–Ramanujan product acquires a direct signed partition interpretation via neighborly partitions, induced subgraphs of an infinite ladder-like graph, and Hilbert series of edge ideals (Mohsen et al., 2022).

Admissible neighborly partitions sharpen this picture by introducing a mod $\ge 2$9 condition on local chain lengths. Their signed generating function is

$5$00

the numerator of the first Rogers–Ramanujan identity. A parallel statement, excluding a part of size $5$01, gives the corresponding numerator for the second Rogers–Ramanujan identity. This replaces the earlier double-sum formulation of Mohsen–Mourtada by a single signed sum over admissible neighborly partitions (O'Hara et al., 2023).

6. Higher-rank, computational, and representation-theoretic generalizations

Beyond ordinary partitions, Rogers–Ramanujan partitions appear in higher-rank forms. For type $5$02, the Rogers–Ramanujan identities of Andrews, Schilling, and Warnaar are rederived using cylindric partitions. For five profiles,

$5$03

the generating functions $5$04 of cylindric partitions yield product sides modulo $5$05 after division by $5$06, and explicit multi-sum expressions are obtained for the bounded-height generating functions $5$07 (Corteel et al., 2019).

Staircases and jagged partitions provide another systematic mechanism for constructing analytic sum sides. This method produces many new Rogers–Ramanujan type identities, including identities conjecturally related to principally specialized characters of level $5$08 modules for the affine Lie algebra $5$09, as well as new analytic sum sides for Capparelli-type identities. Typical sum sides involve difference at distance $5$10, congruence conditions modulo $5$11, and product sides with residue classes modulo $5$12 (Kanade et al., 2018).

Computational discovery has also expanded the landscape. IdentityFinder generates candidate sum sides with prescribed smallest-part conditions, difference-at-a-distance conditions, and congruence-at-a-distance conditions, then applies Euler’s algorithm to detect periodic product sides. This recovers many known Rogers–Ramanujan type identities and produces new mod $5$13 and mod $5$14 families, including identities with difference at least $5$15 at distance $5$16 or $5$17 and local congruence conditions modulo $5$18 (Kanade et al., 2014).

The representation-theoretic extension now reaches exceptional affine types. For

$5$19

the normalized character $5$20 can be realized as the generating function of grounded $5$21-colored partitions governed locally by a crystal-energy difference matrix. After principal specialization, the sum side becomes a colored partition model with explicit congruence, difference, and initial conditions, while the Weyl–Kac formula produces the corresponding Euler product. The difference matrix can be computed directly from the crystal data without explicitly computing the energy function, and for each type the congruence data, forbidden initial parts, and full difference matrix are tabulated (Han, 6 Dec 2025).

Across these developments, the common structure remains the one already visible in the classical mod $5$22 case: a Rogers–Ramanujan partition is a partition-theoretic object whose generating function simultaneously admits a local, difference-based description and a global, product-side congruence description. Modern work shows that this structure is not confined to ordinary partitions with gap $5$23, but persists through overlining, coloring, parity, signed parts, graph-based signings, cylindric geometry, and affine-crystal combinatorics (Biswas et al., 14 Jul 2025).