Concave Compositions: Structure & Analysis

• Concave compositions are ordered partitions structured with a decreasing sequence leading to a central distinguished part followed by an increasing sequence.
• Their generating functions, expressed via q-series and false theta functions, reveal deep links to modular and mock modular forms.
• Statistical analyses show that the distributions of part lengths converge to Gumbel and logistic laws, providing insights into asymptotic partition behavior.

A concave composition of a nonnegative integer $n$ is a finite sequence of positive integers that decreases toward a central part and then increases, forming an ordered partition that is "concave" with respect to the size of the parts. The central part, around which the sequence switches monotonicity, is referred to as the distinguished or central part. Research on concave compositions spans combinatorics, $q$-series, partition theory, asymptotics, and connections with modular and mock modular forms, with recent attention to their statistical structure and congruence properties.

1. Formal Definitions and Types

A concave composition of $n$ is a sequence

$$a_1 \geq a_2 \geq \cdots \geq a_r > \underline{c} < b_s \leq \cdots \leq b_2 \leq b_1,$$

where $a_j,b_j>0$ and $\underline{c}>0$ is the central part, such that

$$\sum_{j=1}^r a_j + \underline{c} + \sum_{j=1}^s b_j = n.$$

Variants arise depending on the precise monotonicities and allowed equalities:

• Even-Length (Type E): $$a_1 > a_2 > \cdots > a_m = b_m < b_{m-1} < \cdots < b_1$$, with $2m$ parts. The counting function is denoted $ce(n)$.
• Odd-Length, Type 1: $q$0, with $q$1 parts, counted by $q$2.
• Odd-Length, Type 2: As Type 1, except $q$3, counted by $q$4.

Strongly concave compositions enforce strict inequalities on both sides of the center.

Small examples:

• $q$5: $q$6, $q$7, $q$8 (Monks et al., 2014).
• $q$9: Strongly concave compositions can be tabulated directly (see (Zhou, 2018)).

2. Generating Functions and $n$0-Series Representations

The generating functions of concave compositions admit closed forms and are central to their study: $n$1 with $n$2 (Monks et al., 2014).

For the total number of concave compositions $n$3: $n$4 where $n$5 and $n$6 is a false theta series (Banerjee et al., 7 Jan 2026).

3. Congruences, Parity, and Recurrences

Concave composition counts exhibit deep congruential properties:

• $n$7 is even for all $n$8 due to combinatorial involutions (mirror and double-zero pairings).
• For $n$9, at least two residue classes modulo $$a_1 \geq a_2 \geq \cdots \geq a_r > \underline{c} < b_s \leq \cdots \leq b_2 \leq b_1,$$0 are attained by $$a_1 \geq a_2 \geq \cdots \geq a_r > \underline{c} < b_s \leq \cdots \leq b_2 \leq b_1,$$1 with $$a_1 \geq a_2 \geq \cdots \geq a_r > \underline{c} < b_s \leq \cdots \leq b_2 \leq b_1,$$2 for some $$a_1 \geq a_2 \geq \cdots \geq a_r > \underline{c} < b_s \leq \cdots \leq b_2 \leq b_1,$$3 (Monks et al., 2014).
• Recurrences of pentagonal-type derive from generating function relations; for instance: $$a_1 \geq a_2 \geq \cdots \geq a_r > \underline{c} < b_s \leq \cdots \leq b_2 \leq b_1,$$4 with arguments $$a_1 \geq a_2 \geq \cdots \geq a_r > \underline{c} < b_s \leq \cdots \leq b_2 \leq b_1,$$5.

A refinement modulo 4 shows $$a_1 \geq a_2 \geq \cdots \geq a_r > \underline{c} < b_s \leq \cdots \leq b_2 \leq b_1,$$6.

4. Combinatorial Structure, Involutions, and Partition Bijectivity

The relationship between concave compositions and classical partitions emerges via explicit combinatorial bijections:

• The number of concave compositions of even length $$a_1 \geq a_2 \geq \cdots \geq a_r > \underline{c} < b_s \leq \cdots \leq b_2 \leq b_1,$$7 equals the number of improper partitions of $$a_1 \geq a_2 \geq \cdots \geq a_r > \underline{c} < b_s \leq \cdots \leq b_2 \leq b_1,$$8—those partitions whose Durfee symbol fails a certain equality of multiplicities—constructed via an involution-based proof (Liu, 2011).
• Involution techniques operate on triples involving partitions into distinct parts and ordinary partitions, producing sign-cancelling pairs except for combinatorially meaningful survivors.

Concave composition generating functions are thus closely linked to those for certain classes of partitions (flushed, proper, improper), clarifying their enumerative and structural status.

5. Modularity, Mock Forms, and Asymptotics

The generating functions for concave compositions possess modular or "mock modular" features:

• $$a_1 \geq a_2 \geq \cdots \geq a_r > \underline{c} < b_s \leq \cdots \leq b_2 \leq b_1,$$9 is the holomorphic part of a nonholomorphic Jacobi-type (mock Maass-theta) function of weight 1. Completion with a nonholomorphic kernel yields full modularity in the two-variable (Jacobi) setting (Banerjee et al., 7 Jan 2026).
• These generating functions bridge to false theta functions and classical partition GFs; the product $a_j,b_j>0$0 is a prototype of a "mixed false theta" function (Banerjee et al., 7 Jan 2026).
• Asymptotics for $a_j,b_j>0$1: $a_j,b_j>0$2 as established by Tauberian (Ingham) arguments using analytic properties of $a_j,b_j>0$3 at $a_j,b_j>0$4.

6. Statistical Structure and Limit Laws

The probabilistic analysis of typical concave compositions, via Fristedt's conditioning device, gives a precise statistical picture (Dalal et al., 2016):

• Under the uniform measure conditioned on size, the sequence of parts on either side of the central part behave like independent partitions of size $a_j,b_j>0$5.
• The lengths $a_j,b_j>0$6 and $a_j,b_j>0$7 (number of parts) satisfy independent Gumbel asymptotics: $a_j,b_j>0$8 for a suitable scaling function $a_j,b_j>0$9.
• The sum $\underline{c}>0$0 (half-perimeter) is asymptotically the sum of two independent Gumbels; the difference $\underline{c}>0$1 (tilt) converges to a logistic distribution.
• The expected total number of summands is

$\underline{c}>0$2

• Limit shapes of random concave compositions involve two-sided curves characterized by shifted exponential equations; the random graph converges (after scaling) to a deterministic limit-shape up to random Gumbel shifts.

7. Rank Statistics and Associated Generating Functions

Analogous to Dyson's rank in partition theory, a rank statistic for concave (especially strongly concave) compositions encodes the asymmetry of the sequence relative to the center: $\underline{c}>0$3 for a composition $\underline{c}>0$4 with central part at $\underline{c}>0$5 (Zhou, 2018). The two-variable generating function for the enumeration of strongly concave compositions with prescribed rank is

$\underline{c}>0$6

The rank distribution, after suitable normalization, converges to the standard normal, and pointwise estimates exhibit local Gaussian behavior for the rescaled statistic.

Generalizations to restricted concave compositions, and overpartitions with accompanying rank-statistics, show that their generating functions are directly expressible in terms of classical and mixed mock theta functions, and exhibit mock modular transformation properties (Banerjee et al., 7 Jan 2026).

---

For further technical detail, proofs, and more elaborate combinatorial interpretations, see (Monks et al., 2014, Liu, 2011, Dalal et al., 2016, Banerjee et al., 7 Jan 2026), and (Zhou, 2018). Each of these contributions addresses distinct facets: congruences and parity, partition bijections, probabilistic and asymptotic structure, modularity, and rank statistics, respectively.