HOME

TheInfoList



OR:

The spt function (smallest parts function) is a function in
number theory Number theory is a branch of pure mathematics devoted primarily to the study of the integers and arithmetic functions. Number theorists study prime numbers as well as the properties of mathematical objects constructed from integers (for example ...
that counts the sum of the number of smallest parts in each
integer partition In number theory and combinatorics, a partition of a non-negative integer , also called an integer partition, is a way of writing as a summation, sum of positive integers. Two sums that differ only in the order of their summands are considered ...
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 representation of an infinite sequence of numbers as the coefficients of a formal power series. Generating functions are often expressed in closed form (rather than as a series), by some expression invo ...
. 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. 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 generalize ...
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 ...
. Then for q=e^, the function :\tilde(z):=q^S(q)-\frac\frac is a mock modular form of weight 3/2 on the full
modular group In mathematics, the modular group is the projective special linear group \operatorname(2,\mathbb Z) of 2\times 2 matrices with integer coefficients and determinant 1, such that the matrices A and -A are identified. The modular group acts on ...
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 (mathematics), group, ring (mathematics), ring, or vector space) that is compatible with the structure in the ...
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 {{combin-stub