Solid partition

Solid Partitions

Solid partitions are natural generalizations of partitions and plane partitions defined by Percy Alexander MacMahon. A solid partition of $n$ is a three-dimensional array, $n_{i,j,k}$, of non-negative integers (the indices $i,\ j,\ k\geq 1$) such that

$\sum _{i,j,k}n_{i,j,k}=n$

and

$n_{i+1,j,k}\leq n_{i,j,k}\quad ,\quad n_{i,j+1,k}\leq n_{i,j,k}\quad \mathrm {and} \quad n_{i,j,k+1}\leq n_{i,j,k}\quad ,\quad \forall \ i,\ j\ \mathrm {and} \ k\ .$

Let $p_{3}(n)$ denote the number of solid partitions of $n$.

Generating Function

Let $p_{3}(0)\equiv 1$. Define the generating function of solid partitions, $P_{3}(q)$, by

$P_{3}(q):=\sum _{n=0}^{\infty }p_{3}(n)\ q^{n}=1+q+4q^{2}+10q^{3}+26q^{4}+59q^{5}+140q^{6}+\cdots$

The generating functions of partitions and plane partitions have simple formulae due to Euler and MacMahon respectively. However, a guess of MacMahon fails to correctly reproduce the solid partitions of 6 as shown by Atkin et. al. It appears that there is no simple formula for the generating function of solid partitions.

Exact Enumeration using computers

Given the lack of an explicitly known generating function, the enumerations of the numbers of solid partitions for larger integers have been carried out numerically. There are two algorithms that are used to enumerate solid partitions and their higher-dimensional generalizations. The work of Atkin. et. al. used an algorithm due to Bratley and McKay. In 1970, Knuth proposed a different algorithm to enumerate topological sequences that he used to evaluate solid partitions for all integers $n\leq 28$. Mustonen and Rajesh extended the enumeration for all integers $n\leq 50$. In 2010, S. Balakrishnan proposed a parallel version of Knuth's algorithm that has been used to extend the enumeration to all integers $n\leq 72$. One finds

$p_{3}(72)=3464274974065172792\ ,$

which is a 19 digit number illustrating the difficulty in carrying out such exact enumerations.

Asymptotic behavior

It is known that from the work of Bhatia et. al. that

$\lim _{n\rightarrow \infty }n^{-3/4}\ln p_{3}(n)\rightarrow \mathrm {a\ constant} \ .$

The value of this constant was estimated using Monte-Carlo simulations by Mustonen and Rajesh to be $1.78\pm 0.01$.

External links

• OEIS entry for solid partitions
• The Solid Partitions Project of IIT Madras