TOPICS
Search

Partition Function b_k


The partition function b_k(n) counts the partitions of a nonnegative integer n in which no parts are multiples of the positive integer k (Gordon and Ono 1997). It also counts the partitions of n into at most k-1 copies of each part, with b_k(0)=1.

There is a special case

 b_2(n)=Q(n),
(1)

where Q(n) is the partition function Q, and b_p(n) is the number of p-modular irreducible representations of the symmetric group S_n when p is a prime number. The generating function for b_k(n) is given by

sum_(n=0)^(infty)b_k(n)x^n=product_(n=1)^(infty)(1-x^(kn))/(1-x^n)
(2)
=((x^k)_infty)/((x)_infty),
(3)

where (q)_infty=(q;q)_infty is a q-Pochhammer symbol and |x|<1.

The following table gives the first few values of b_k(n) for n=1, 2, ... and small k.

kOEISb_k(n)
2A0000091, 1, 2, 2, 3, 4, 5, 6, 8, 10, 12, 15, 18, 22, ...
3A0007261, 2, 2, 4, 5, 7, 9, 13, 16, 22, 27, 36, 44, 57, ...
4A0019351, 2, 3, 4, 6, 9, 12, 16, 22, 29, 38, 50, 64, 82, ...
5A0359591, 2, 3, 5, 6, 10, 13, 19, 25, 34, 44, 60, 76, 100, ...

For every nonnegative integer n, Gordon and Ono (1997) show that

b_5(5n+4)=0 (mod 5)
(4)
b_7(7n+5)=0 (mod 7)
(5)
b_(11)(11n+6)=0 (mod 11).
(6)

For positive integers N and M, define S_k(N;M) as the number of positive integers n<=N for which b_k(n)=0 (mod M). Let k>=2 have prime factorization k=p_1^(a_1)p_2^(a_2)...p_m^(a_m). Gordon and Ono (1997) proved that if p_i^(a_i)>=sqrt(k), then

 lim_(N->infty)(S_k(N;p_i^j))/N=1
(7)

for every positive integer j.


Explore with Wolfram|Alpha

References

Andrews, G. E. The Theory of Partitions. Cambridge, England: Cambridge University Press, p. 109, 1998.Carlitz, L. "Generating Functions and Partition Problems." In Theory of Numbers (Ed. A. L. Whiteman). Providence, RI: Amer. Math. Soc., pp. 144-169, 1965.Cayley, A. "A Memoir on the Transformation of Elliptic Functions." Collected Mathematical Papers, Vol. 9. London, England: Cambridge University Press, p. 128, 1889-1897.Gordon, B. and Ono, K. "Divisibility of Certain Partition Functions by Powers of Primes." Ramanujan J. 1, 25-34, 1997. https://doi.org/10.1023/A:1009711020492.Honsberger, R. Mathematical Gems III. Washington, DC: Math. Assoc. Amer., p. 241, 1985.Sloane, N. J. A. Sequences A000009/M0281, A000726/M0316, A001935/M0566, and A035959 in "The On-Line Encyclopedia of Integer Sequences."

Referenced on Wolfram|Alpha

Partition Function b_k

Cite this as:

Weisstein, Eric W. "Partition Function b_k." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/PartitionFunctionb.html

Subject classifications