Cubic Overpartitions

• Cubic overpartitions are partition functions where even parts appear in two colors and the first occurrence of each part may be overlined, blending combinatorial and modular techniques.
• The generating function expressed as an eta-quotient enables rigorous proofs of congruences, density results, and exact Rademacher-type expansions.
• Analytic methods yield effective asymptotic formulas, strict log-concavity, and Turán inequalities, placing cubic overpartitions alongside classical partition functions.

Cubic overpartitions, usually denoted $\overline{a}(n)$, are an overpartition analogue of cubic partitions. They count partitions of $n$ into positive integers such that parts divisible by $2$ may appear in two colors, the first occurrence of each distinct part may be overlined, and, if parts are repeated, only one occurrence can be overlined. Their generating function is

$$\sum_{n=0}^{\infty} \overline{a}(n) q^n = \frac{(-q;q)_\infty\,(-q^2;q^2)_\infty}{(q;q)_\infty\,(q^2;q^2)_\infty},$$

with $(a;q)_\infty=\prod_{k=0}^{\infty}(1-aq^k)$ (Agarwal et al., 27 Sep 2025). The subject sits at the interface of partition theory, $q$-series, modular forms, and analytic number theory. The recent literature develops its arithmetic via congruences and density theorems, and its asymptotic and qualitative behavior via Rademacher-type expansions, explicit error terms, log-concavity, and higher-order Turán inequalities (Ray et al., 2018).

1. Definition and basic formalism

The modern literature traces cubic overpartitions to Kim’s 2010 study of an overpartition analogue of cubic partitions, against the broader background that overpartitions themselves were introduced by Lovejoy and Corteel in 2004 (Agarwal et al., 27 Sep 2025). In the combinatorial model, the overlining rule is the standard one from overpartition theory: the first occurrence of a part may be overlined, while repeated occurrences are not independently overlined. The cubic feature enters through the even parts, which may appear in two colors.

The generating function

$$\overline{A}(q):=\sum_{n=0}^{\infty}\overline{a}(n)q^n = \frac{(-q;q)_\infty\,(-q^2;q^2)_\infty}{(q;q)_\infty\,(q^2;q^2)_\infty}$$

is the central object in the theory (Ray et al., 2018). It is simultaneously a $q$-series with strong combinatorial meaning and an eta-quotient after standard product manipulations and rescaling, which is the key reason that both elementary and modular-form methods apply effectively.

A recurrent notational point in the literature is that the same generating function appears under the name “overcubic partitions” in arithmetic work and under the name “cubic overpartitions” in analytic work. The terminology differs, but the function $\overline{a}(n)$ is the same one, as the generating functions coincide (Ray et al., 2018).

2. Position within the cubic and overcubic hierarchy

Cubic overpartitions are best understood as one member of a family of closely related partition functions. The neighboring objects most often studied are cubic partition pairs, overcubic partition pairs, and generalized overcubic partitions. The distinction between cubic overpartitions and overcubic partition pairs is essential: the latter are counted by a different function and have a different generating series (Ray et al., 2018).

Function	Interpretation	Generating function
$\overline{a}(n)$	cubic overpartitions / overcubic partitions	$n$0
$n$1	overcubic partition pairs	$n$2
$n$3, $n$4	generalized overcubic partitions	$n$5

Here $n$6 (Amdeberhan et al., 2024, Das et al., 25 Mar 2025).

The generalized family $n$7 extends the theory in a parameter $n$8. One formulation describes a generalized overcubic partition as an overpartition in which even parts can appear in $n$9 colors, while another equivalent formulation works directly with the eta-product $2$0 (Amdeberhan et al., 2024, Das et al., 25 Mar 2025). The special cases recorded in the literature are $2$1, which gives ordinary overpartitions, and $2$2, which gives the first nontrivial overcubic case (Das et al., 25 Mar 2025).

This hierarchy matters because many structural theorems were first proved for $2$3 and $2$4, then extended to the parameterized family $2$5. Conversely, the generalized theory often clarifies why congruence patterns observed for cubic overpartitions fit into systematic prime-modulus and prime-power phenomena.

3. Arithmetic properties and congruence theory

A major direction in the subject is the study of Ramanujan-type congruences and divisibility. For cubic overpartitions themselves, Ray and Barman proved that for every fixed positive integer $2$6,

$2$7

so $2$8 is divisible by $2$9 for almost all $$\sum_{n=0}^{\infty} \overline{a}(n) q^n = \frac{(-q;q)_\infty\,(-q^2;q^2)_\infty}{(q;q)_\infty\,(q^2;q^2)_\infty},$$0 (Ray et al., 2018). This is an arithmetic density statement rather than a congruence on a single progression, and it places cubic overpartitions in the class of partition-theoretic sequences exhibiting pervasive $$\sum_{n=0}^{\infty} \overline{a}(n) q^n = \frac{(-q;q)_\infty\,(-q^2;q^2)_\infty}{(q;q)_\infty\,(q^2;q^2)_\infty},$$1-adic divisibility.

The same paper established companion results for overcubic partition pairs. Specifically, for all $$\sum_{n=0}^{\infty} \overline{a}(n) q^n = \frac{(-q;q)_\infty\,(-q^2;q^2)_\infty}{(q;q)_\infty\,(q^2;q^2)_\infty},$$2 and $$\sum_{n=0}^{\infty} \overline{a}(n) q^n = \frac{(-q;q)_\infty\,(-q^2;q^2)_\infty}{(q;q)_\infty\,(q^2;q^2)_\infty},$$3,

$$\sum_{n=0}^{\infty} \overline{a}(n) q^n = \frac{(-q;q)_\infty\,(-q^2;q^2)_\infty}{(q;q)_\infty\,(q^2;q^2)_\infty},$$4

and, again for every fixed positive integer $$\sum_{n=0}^{\infty} \overline{a}(n) q^n = \frac{(-q;q)_\infty\,(-q^2;q^2)_\infty}{(q;q)_\infty\,(q^2;q^2)_\infty},$$5, $$\sum_{n=0}^{\infty} \overline{a}(n) q^n = \frac{(-q;q)_\infty\,(-q^2;q^2)_\infty}{(q;q)_\infty\,(q^2;q^2)_\infty},$$6 is divisible by $$\sum_{n=0}^{\infty} \overline{a}(n) q^n = \frac{(-q;q)_\infty\,(-q^2;q^2)_\infty}{(q;q)_\infty\,(q^2;q^2)_\infty},$$7 for almost all $$\sum_{n=0}^{\infty} \overline{a}(n) q^n = \frac{(-q;q)_\infty\,(-q^2;q^2)_\infty}{(q;q)_\infty\,(q^2;q^2)_\infty},$$8 (Ray et al., 2018). These results are distinct from those for $$\sum_{n=0}^{\infty} \overline{a}(n) q^n = \frac{(-q;q)_\infty\,(-q^2;q^2)_\infty}{(q;q)_\infty\,(q^2;q^2)_\infty},$$9, but they show that strong $(a;q)_\infty=\prod_{k=0}^{\infty}(1-aq^k)$0-power divisibility phenomena persist across nearby cubic-overpartition-type functions.

The generalized theory furnishes systematic congruences modulo odd primes. For an odd prime $(a;q)_\infty=\prod_{k=0}^{\infty}(1-aq^k)$1, if $(a;q)_\infty=\prod_{k=0}^{\infty}(1-aq^k)$2 and $(a;q)_\infty=\prod_{k=0}^{\infty}(1-aq^k)$3 is a quadratic nonresidue modulo $(a;q)_\infty=\prod_{k=0}^{\infty}(1-aq^k)$4, then

$(a;q)_\infty=\prod_{k=0}^{\infty}(1-aq^k)$5

and the same progression extends to $(a;q)_\infty=\prod_{k=0}^{\infty}(1-aq^k)$6 for every $(a;q)_\infty=\prod_{k=0}^{\infty}(1-aq^k)$7 (Amdeberhan et al., 2024). The overcubic analogue is that if $(a;q)_\infty=\prod_{k=0}^{\infty}(1-aq^k)$8 is prime and $(a;q)_\infty=\prod_{k=0}^{\infty}(1-aq^k)$9 is a non-residue modulo $q$0, then

$q$1

for all $q$2 and $q$3 (Amdeberhan et al., 2024). In particular, the paper records the example $q$4, $q$5, $q$6, yielding

$q$7

Further arithmetic refinement appears in the generalized overcubic setting. Theorems in (Das et al., 25 Mar 2025) give complete residue characterizations modulo $q$8 and $q$9, infinite families of congruences modulo powers of $$\overline{A}(q):=\sum_{n=0}^{\infty}\overline{a}(n)q^n = \frac{(-q;q)_\infty\,(-q^2;q^2)_\infty}{(q;q)_\infty\,(q^2;q^2)_\infty}$$0 and modulo $$\overline{A}(q):=\sum_{n=0}^{\infty}\overline{a}(n)q^n = \frac{(-q;q)_\infty\,(-q^2;q^2)_\infty}{(q;q)_\infty\,(q^2;q^2)_\infty}$$1, and density results for vanishing modulo $$\overline{A}(q):=\sum_{n=0}^{\infty}\overline{a}(n)q^n = \frac{(-q;q)_\infty\,(-q^2;q^2)_\infty}{(q;q)_\infty\,(q^2;q^2)_\infty}$$2, $$\overline{A}(q):=\sum_{n=0}^{\infty}\overline{a}(n)q^n = \frac{(-q;q)_\infty\,(-q^2;q^2)_\infty}{(q;q)_\infty\,(q^2;q^2)_\infty}$$3, and prime powers $$\overline{A}(q):=\sum_{n=0}^{\infty}\overline{a}(n)q^n = \frac{(-q;q)_\infty\,(-q^2;q^2)_\infty}{(q;q)_\infty\,(q^2;q^2)_\infty}$$4 under explicit hypotheses. The paper formalizes arithmetic density by

$$\overline{A}(q):=\sum_{n=0}^{\infty}\overline{a}(n)q^n = \frac{(-q;q)_\infty\,(-q^2;q^2)_\infty}{(q;q)_\infty\,(q^2;q^2)_\infty}$$5

and calls a series lacunary modulo $$\overline{A}(q):=\sum_{n=0}^{\infty}\overline{a}(n)q^n = \frac{(-q;q)_\infty\,(-q^2;q^2)_\infty}{(q;q)_\infty\,(q^2;q^2)_\infty}$$6 when this density tends to $$\overline{A}(q):=\sum_{n=0}^{\infty}\overline{a}(n)q^n = \frac{(-q;q)_\infty\,(-q^2;q^2)_\infty}{(q;q)_\infty\,(q^2;q^2)_\infty}$$7 (Das et al., 25 Mar 2025). Within that framework, the generalized overcubic partition functions exhibit density-$$\overline{A}(q):=\sum_{n=0}^{\infty}\overline{a}(n)q^n = \frac{(-q;q)_\infty\,(-q^2;q^2)_\infty}{(q;q)_\infty\,(q^2;q^2)_\infty}$$8 vanishing for wide classes of moduli.

4. Exact formulas and asymptotic analysis

The analytic theory of cubic overpartitions advanced sharply with the derivation of a Rademacher-type exact formula for $$\overline{A}(q):=\sum_{n=0}^{\infty}\overline{a}(n)q^n = \frac{(-q;q)_\infty\,(-q^2;q^2)_\infty}{(q;q)_\infty\,(q^2;q^2)_\infty}$$9 (Agarwal et al., 27 Sep 2025). The formula expresses $q$0 as an absolutely convergent series built from two families of terms: one indexed by odd $q$1, and one indexed by $q$2. Each term involves a modified Bessel function $q$3 together with explicit exponential sums

$q$4

and

$q$5

where $q$6 is the Dedekind sum (Agarwal et al., 27 Sep 2025). The structure is directly analogous to classical Rademacher expansions for $q$7: Bessel growth controls the main term, while the exponential sums encode modular transformations.

The same work derives an asymptotic formula for $q$8 and an explicit effective error term (Agarwal et al., 27 Sep 2025). The main term is

$q$9

and the error is sufficiently small that for $\overline{a}(n)$0,

$\overline{a}(n)$1

This precision is not merely asymptotic bookkeeping. It is the analytic input that makes subsequent inequality theorems effective, because it allows direct comparison of adjacent values $\overline{a}(n)$2, $\overline{a}(n)$3, and $\overline{a}(n)$4.

A plausible implication is that cubic overpartitions have now entered the same analytic regime previously occupied by the ordinary partition function, overpartitions, and several other modular partition statistics: exact expansions, effective asymptotics, and coefficient inequalities can be studied within a unified Hardy–Ramanujan–Rademacher framework.

5. Log-concavity, Turán phenomena, and multiplicative inequalities

The effective Rademacher expansion leads to strong qualitative control of the sequence $\overline{a}(n)$5. The basic result is strict log-concavity: $\overline{a}(n)$6 (Agarwal et al., 27 Sep 2025). For large $\overline{a}(n)$7, the proof uses explicit upper and lower bounds for the ratio

$\overline{a}(n)$8

and for smaller $\overline{a}(n)$9 the conclusion is checked computationally.

The same paper proves higher-order Turán inequalities through the Jensen polynomials

$\overline{a}(n)$0

For any integer $\overline{a}(n)$1, the polynomial $\overline{a}(n)$2 is hyperbolic for all but finitely many $\overline{a}(n)$3 (Agarwal et al., 27 Sep 2025). The argument follows the now-standard strategy associated with Griffin, Ono, Rolen, and Zagier: asymptotic expansions for logarithmic coefficient ratios imply that appropriately normalized Jensen polynomials converge to Hermite polynomials, and hyperbolicity follows for sufficiently large indices.

Two further inequalities place cubic overpartitions alongside the partition function $\overline{a}(n)$4 in the sense of Bessenrodt–Ono and DeSalvo–Pak. The log-subadditivity theorem states that

$\overline{a}(n)$5

for all $\overline{a}(n)$6 except the pairs $\overline{a}(n)$7 or $\overline{a}(n)$8, with equality only for $\overline{a}(n)$9 (Agarwal et al., 27 Sep 2025). The generalized log-concavity theorem states that for all $n$00,

$n$01

These are stronger global regularity properties than ordinary adjacent-term log-concavity, and they show that cubic overpartitions exhibit the same kind of eventually rigid coefficient geometry that has become a hallmark of modular partition sequences.

6. Proof methods and mathematical context

Two methodological strands dominate the literature. The arithmetic strand is modular. Generating functions for $n$02, $n$03, and their generalizations are rewritten as explicit products of Dedekind eta-functions, producing eta-quotients of the form

$n$04

which lie in modular-form spaces $n$05 under the usual balancing and holomorphy conditions (Ray et al., 2018). Once modularity is available, several standard tools enter: Radu’s generalization of Sturm’s theorem for congruence verification, Hecke operators for prime-modulus progressions, and Serre-type coefficient divisibility theorems for “almost all” results (Ray et al., 2018, Amdeberhan et al., 2024, Das et al., 25 Mar 2025).

The generalized cubic and overcubic literature also retains an elementary $n$06-series component. One paper emphasizes a functional equation

$n$07

with $n$08, and iterates it to extract congruence information via support restrictions and quadratic nonresidue conditions (Amdeberhan et al., 2024). In the generalized overcubic setting, dissection identities, Ramanujan theta functions, and explicit coefficient extraction modulo small prime powers are used to produce complete modulo $n$09 and modulo $n$10 descriptions and infinite congruence families (Das et al., 25 Mar 2025).

The analytic strand is based on the circle method. For cubic overpartitions, the Rademacher-type exact formula is obtained by a Hardy–Ramanujan–Rademacher analysis using Farey arcs, Ford circles, transformation properties of the generating function under modular substitutions, bounds for Bessel functions, and careful treatment of Dedekind sums (Agarwal et al., 27 Sep 2025). The same analytic control supports the inequality theory, while the eventual hyperbolicity of Jensen polynomials connects cubic overpartitions to the broader Griffin–Ono–Rolen–Zagier paradigm.

Taken together, these methods place cubic overpartitions in a mature research setting. On the arithmetic side, they behave like modular partition functions with rich congruence and density theory. On the analytic side, they admit exact formulas and coefficient inequalities of the same general type known for $n$11, overpartitions, and related modular counting functions. This suggests that cubic overpartitions now occupy a stable position within the modern theory of partition-like sequences governed by modular and automorphic phenomena.