arXiv++ Combinatorics

Motivated by earlier work of P.~A.~MacMahon and recent contributions of T.~Amdeberhan, G.~E.~Andrews, K.~Ono, A.~Singh, and R.~Tauraso on higher-order partition enumerants, we study a class of $q$-series arising from nested divisor structures. In particular, we consider the $q$-series \[ V_k(q) = \sum_{1 \le n_1 \le n_2 \le \cdots \le n_k} \frac{q^{\,n_1+n_2+\cdots+n_k}} {(1-q^{n_1})^2(1-q^{n_2})^2\cdots(1-q^{n_k})^2}, \] introduced recently as MacMahon-type generating functions. We further define a new MacMahon-type series \[ W_k(q) = \sum_{1 \le n_1 \le n_2 \le \cdots \le n_k} \frac{q^{\,2(n_1+n_2+\cdots+n_k)-k}} {(1-q^{2n_1-1})^2(1-q^{2n_2-1})^2\cdots(1-q^{2n_k-1})^2}, \] and establish families of identities, generating function relations, and hypergeometric representations for the truncated forms of $V_k(q)$ and $W_k(q)$. Connections with overpartition pairs and bipartitions with distinct odd parts arise naturally in this context.

In 2013 Zhi-Wei Sun conjectured that $p(n)$ is never a power of an integer when $n>1.$ We confirm this claim in many cases. We also observe that integral powers appear to repel the partition numbers. If $k>1$ and $Δ_k(n)$ is the distance between $p(n)$ and the nearest $k$th power, then for every $d\geq 0$ we conjecture that there are at most finitely many $n$ for which $Δ_k(n)\leq d.$ More precisely, for every $\varepsilon>0,$ we conjecture that $$M_k(d):=\max\{n \ : \ Δ_k(n)\leq d\}=o( d^{\varepsilon}).$$ In $k$-power aspect with $d$ fixed, we also conjecture that if $k$ is sufficiently large, then $$ M_k(d)=\max \left\{ n \ : \ p(n)-1\leq d\right\}. $$ In other words, $1$ generally appears to be the closest $k$th power among the partition numbers.

Let e_k(x_1,...,x_l) be an elementary symmetric polynomial and let mu = (mu_1,...,mu_l) be an integer partition. Define pre_k(mu) to be the partition whose parts are the summands in the evaluation e_k(mu_1,...,mu_l). The study of such partitions was initiated by Ballantine, Beck, and Merca who showed (among other things) that pre_2 is injective as a map on binary partitions of n. In the present work we derive a host of identities involving the sequences which count the number of parts of a given value in the image of pre_2. These include generating functions, explicit expressions, and formulas for forward differences. We generalize some of these to d-ary partitions and explore connections with color partitions. Our techniques include the use of generating functions and bijections on rooted partitions. We end with a list of conjectures and a direction for future research.

Given a partition $λ$, we write $e_j(λ)$ for the $j^{\textrm{th}}$ elementary symmetric polynomial $e_j$ evaluated at the parts of $λ$ and $e_jp_A(n)$ for the sum of $e_j(λ)$ as $λ$ ranges over the set of partitions of $n$ with parts in $A$. For $e_jp_A(n)$, we prove analogs of the classical formula for the partition function, $p(n)=1/n \sum_{k=0}^{n-1}σ_1(n-k)p(k)$, where $σ_1$ is the sum of divisors function. We prove several congruences for $e_2p_4(n)$, the sum of $e_2$ over the set of partitions of $n$ into four parts. Define the function $\textrm{pre}_j(λ)$ to be the multiset of monomials in $e_j(λ)$, which is itself a partition. If $\mathcal A$ is a set of partitions, we define $\textrm{pre}_j(\mathcal A)$ to be the set of partitions $\textrm{pre}_j(λ)$ as $λ$ ranges over $\mathcal A$. If $\mathcal P(n)$ is the set of all partitions of $n$, we conjecture that the number of odd partitions in $\textrm{pre}_2(\mathcal P(n))$ is at least the number of distinct partitions. We prove some results about $\textrm{pre}_2(\mathcal B(n))$, where $\mathcal B(n)$ is the set of binary partitions of $n$. We conclude with conjectures on the log-concavity of functions related to $e_jp(n)$, the sum of $e_j(λ)$ for all $λ\in \mathcal P(n)$.

In this paper, we investigate decompositions of the partition function $p(n)$ from the additive theory of partitions considering the famous Möbius function $μ(n)$ from multiplicative number theory. Some combinatorial interpretations are given in this context. Our work extends several analogous identities proved recently relating $p(n)$ and Euler's totient function $\varphi(n)$. Keywords: Lambert series; Möbius function; $q$-series; partition function

In this paper, we use the Lambert series generating function for Euler's totient function to introduce a new identity for the number of $1$'s in the partitions of $n$. A new expansion for Euler's partition function $p(n)$ is derived in this context. These surprising new results connect the famous classical totient function from multiplicative number theory to the additive theory of partitions.

We consider the number of the $6$-regular partitions of $n$, $b_6(n)$, and give infinite families of congruences modulo $3$ (in arithmetic progression) for $b_6(n)$. We also consider the number of the partitions of $n$ into distinct parts not congruent to $\pm 2$ modulo $6$, $Q_2(n)$, and investigate connections between $b_6(n)$ and $Q_2(n)$ providing new combinatorial interpretations for these partition functions. In this context, we discover new infinite families of linear inequalities involving Euler's partition function $p(n)$. Infinite families of linear inequalities involving the $6$-regular partition function $b_6(n)$ and the distinct partition function $Q_2(n)$ are proposed as open problems.

The crank is a partition statistic requested by Dyson in 1944 in order to combinatorially prove a Ramanujan congruence of Euler's partition function $p(n)$. In this paper, we provide connections between Dyson's crank and unimodal compositions. Somewhat unrelated, we give a combinatorial proof of a new truncated Euler pentagonal number theorem due to Xia and Zhao.

The study of Ramanujan-type congruences for functions specific to additive number theory has a long and rich history. Motivated by recent connections between divisor sums and overpartitions via congruences in arithmetic progressions, we investigate the existence and classification of Ramanujan-type congruences for functions in multiplicative number theory.

The partition function $pod(n)$ enumerates the partitions of $n$ wherein odd parts are distinct and even parts are unrestricted. Recently, a number of properties for $pod(n)$ have been established. In this paper, for $k\in\{0,2\}$ we consider the partitions of $n$ into distinct parts not congruent to $k$ modulo $4$ and the $4$-regular partitions of $n$ in order to obtain new properties for $pod(n)$. In this context, we derive two new infinite families of linear inequalities involving the function $pod(n)$ and obtain new identities of Watson type.

Let $α$ and $β$ be two nonnegative integers such that $β< α$. For an arbitrary sequence $\{a_n\}_{n\geqslant 1}$ of complex numbers, we consider the generalized Lambert series in order to investigate linear combinations of the form $\sum_{k\geqslant 1} S(αk-β,n) a_k$, where $S(k,n)$ is the total number of non-overlined parts equal to $k$ in all the overpartitions of $n$. The general nature of the numbers $a_n$ allows us to provide connections between overpartitions and functions from multiplicative number theory.

Linear inequalities involving Euler's partition function $p(n)$ have been the subject of recent studies. In this article, we consider the partition function $Q(n)$ counting the partitions of $n$ into distinct parts. Using truncated theta series, we provide four infinite families of linear inequalities for $Q(n)$ and partition theoretic interpretations for these results.

In $1944$, Freeman Dyson defined the concept of rank of an integer partition and introduced without definition the term of crank of an integer partition. A definition for the crank satisfying the properties hypothesized for it by Dyson was discovered in 1988 by G. E. Andrews and F. G. Garvan. In this paper, we introduce truncated forms for two theta identities involving the generating functions for partitions with non-negative rank and non-negative crank. As corollaries we derive new infinite families of linear inequalities for the partition function $p(n)$. The number of Garden of Eden partitions are also considered in this context in order to provide other infinite families of linear inequalities for $p(n)$.

For each $s\in\{2,4\}$, the generating function of $R_s(n)$, the number of partitions of $n$ into odd parts or congruent to $0$, $\pm s\pmod {10}$, arises naturally in regime III of Rodney Baxter's solution of the hard-hexagon model of statistical mechanics. For each $s\in\{1,3\}$, the generating function of $R^*_s(n)$, the number of partitions of $n$ into parts not congruent to $0$, $\pm s\pmod {10}$ and $10-2s \pmod {20}$, arises naturally in regime IV of Rodney Baxter's solution of the hard-hexagon model of statistical mechanics. In this paper, we investigate the parity of $R_s(n)$ and $R^*_s(n)$, providing new parity results involving sums of partition numbers $p(n)$ and squares in arithmetic progressions.

The restricted partitions in which the largest part is less than or equal to $N$ and the number of parts is less than or equal to $k$ were investigated by Andrews in \cite{Andrews76}. These partitions were extended recently by the author to the partitions into parts of two kinds. In this paper, we use a new class of restricted partitions into parts of two kinds to provide new combinatorial interpretations for two identities of Guo and Yang.

In this paper, we show that the difference between the number of parts in the odd partitions of $n$ and the number of parts in the distinct partitions of $n$ satisfies Euler's recurrence relation for the partition function $p(n)$ when $n$ is odd. A decomposition of this difference in terms of the total number of parts in all the partitions of $n$ is also derived. In this context, we conjecture that for $k>0$, the series $$ (q^2;q^2)_\infty \sum_{n=k}^\infty \frac{q^{{k\choose 2}+(k+1)n}}{(q;q)_n} \begin{bmatrix} n-1\\k-1 \end{bmatrix} $$ has non-negative coefficients.

In this paper, we consider the generating functions of the complete and elementary symmetric functions and provide a new generalization of these classical symmetric functions. Some classical relationships involving the complete and elementary symmetric functions are reformulated in a more general context. Combinatorial interpretations of these generalized symmetric functions are also introduced.

We state and prove product formulae for several generating functions for sequences $(a_n)_{n\ge0}$ that are defined by the property that $Pa_n+b^2$ is a square, where $P$ and $b$ are given integers. In particular, we prove corresponding conjectures of the second author. We show that, by means of the Jacobi triple product identity, all these generating functions can be reduced to a linear combination of theta function products. The proof of our formulae then consists in simplifying these linear combinations of theta products into single products. We do this in two ways: (1) by using modular function theory, and (2) by applying the Weierstraßaddition formula for theta products.

The minimal excludant of a partition $λ$, $\rm{mex}(λ)$, is the smallest positive integer that is not a part of $λ$. For a positive integer $n$, $ σ\, \rm{mex}(n)$ denotes the sum of the minimal excludants of all partitions of $n$. Recently, Andrews and Newman obtained a new combinatorial interpretations for $σ\, \rm{mex}(n)$. They showed, using generating functions, that $σ\, \rm{mex}(n)$ equals the number of partitions of $n$ into distinct parts using two colors. In this paper, we provide a purely combinatorial proof of this result and new properties of the function $σ\, \rm{mex}(n)$. We generalize this combinatorial interpretation to $σ_r\, \rm{mex}(n)$, the sum of least $r$-gaps in all partitions of $n$. The least $r$-gap of a partition $λ$ is the smallest positive integer that does not appear at least $r$ times as a part of $λ$.

In this paper we give a fast algorithm to generate all partitions of a positive integer $n$. Integer partitions may be encoded as either ascending or descending compositions for the purposes of systematic generation. It is known that the ascending composition generation algorithm is substantially more efficient than its descending composition counterpart. Using tree structures for storing the partitions of integers, we develop a new ascending composition generation algorithm which is substantially more efficient than the algorithms from the literature.