HOME

TheInfoList



OR:

The spt function (smallest parts function) is a function in
number theory Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and arithmetic function, integer-valued functions. German mathematician Carl Friedrich Gauss (1777â ...
that counts the sum of the number of smallest parts in each
partition Partition may refer to: Computing Hardware * Disk partitioning, the division of a hard disk drive * Memory partition, a subdivision of a computer's memory, usually for use by a single job Software * Partition (database), the division of a ...
of a positive integer. It is related to the partition function. The first few values of spt(''n'') are: :1, 3, 5, 10, 14, 26, 35, 57, 80, 119, 161, 238, 315, 440, 589 ...


Example

For example, there are five partitions of 4 (with smallest parts underlined): : :3 + : + :2 + + : + + + These partitions have 1, 1, 2, 2, and 4 smallest parts, respectively. So spt(4) = 1 + 1 + 2 + 2 + 4 = 10.


Properties

Like the partition function, spt(''n'') has a
generating function In mathematics, a generating function is a way of encoding an infinite sequence of numbers () by treating them as the coefficients of a formal power series. This series is called the generating function of the sequence. Unlike an ordinary seri ...
. It is given by :S(q)=\sum_^ \mathrm(n) q^n=\frac\sum_^ \frac where (q)_=\prod_^ (1-q^n). The function S(q) is related to a
mock modular form In mathematics, a mock modular form is the holomorphic part of a harmonic weak Maass form, and a mock theta function is essentially a mock modular form of weight . The first examples of mock theta functions were described by Srinivasa Ramanu ...
. Let E_2(z) denote the weight 2 quasi-modular
Eisenstein series Eisenstein series, named after German mathematician Gotthold Eisenstein, are particular modular forms with infinite series expansions that may be written down directly. Originally defined for the modular group, Eisenstein series can be generaliz ...
and let \eta(z) denote the
Dedekind eta function In mathematics, the Dedekind eta function, named after Richard Dedekind, is a modular form of weight 1/2 and is a function defined on the upper half-plane of complex numbers, where the imaginary part is positive. It also occurs in bosonic string t ...
. Then for q=e^, the function :\tilde(z):=q^S(q)-\frac\frac is a
mock modular form In mathematics, a mock modular form is the holomorphic part of a harmonic weak Maass form, and a mock theta function is essentially a mock modular form of weight . The first examples of mock theta functions were described by Srinivasa Ramanu ...
of weight 3/2 on the full
modular group In mathematics, the modular group is the projective special linear group of matrices with integer coefficients and determinant 1. The matrices and are identified. The modular group acts on the upper-half of the complex plane by fractional l ...
SL_2(\mathbb) with multiplier system \chi_^, where \chi_ is the multiplier system for \eta(z). While a closed formula is not known for spt(''n''), there are Ramanujan-like
congruences In abstract algebra, a congruence relation (or simply congruence) is an equivalence relation on an algebraic structure (such as a group, ring, or vector space) that is compatible with the structure in the sense that algebraic operations done wi ...
including :\mathrm(5n+4) \equiv 0 \mod(5) :\mathrm(7n+5) \equiv 0 \mod(7) :\mathrm(13n+6) \equiv 0 \mod(13)


References

Combinatorics Integer sequences {{Numtheory-stub