Proof of Almkvist's conjecture on the unimodality of partition polynomials

Jianxi Mao; Wenle Shi; Bao-xuan Zhu

In the authors' words

For integers $r \geq 2$ and $n \geq 1$ , let $F_{r, n} (q) = \prod_{k = 1}^{n} \frac{1 - q ^{r k}}{1 - q ^{k}} .$ The coefficient of $q^{j}$ in $F_{r,n}(q)$ counts partitions of $j$ into parts at most $n$ , each occurring at most $r - 1$ times. Hughes proved that $F_{2, n} (q) = \prod_{k = 1}^{n} (1 + q^{k})$ is unimodal for every $n \geq 1$ . This result was reproved by Stanley using an algebraic approach and Odlyzko and Richmond using an analytic approach. Almkvist conjectured that $F_{r, n} (q)$ is unimodal in the following two cases: every even $r$ and every $n \geq 1$ ; every odd $r$ and every $n \geq 11$ . He proved that this conjecture is true for $3 \leq r \leq 20$ and $r = 100, 101$ . In this paper, we completely settle the conjecture.

Main resultThe abstract does not state a limitation.

Proof of Almkvist's conjecture on the unimodality of partition polynomials

In the authors' words

More on Combinatorics & discrete math that day

Circular s-choice parking functions: an exact closed formula via rotational symmetry

Single-Fragment Forensic Coding via Multidimensional Cyclically Permutable Codes

The Deterministic Broadcast Channel Revisited: A Bipartite Graph Approach

On infinite families of [Pn​]-irregular graphs

The Last Seven Open Radii for Perfect Codes in the Johnson Scheme

On infinite families of $[P_{n}]$ -irregular graphs