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
:
where
.
The function
is related to a
mock modular form. Let
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
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
, the function
:
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 ...
with multiplier system
, where
is the multiplier system for
.
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
:
:
:
References
Combinatorics
Integer sequences
{{combin-stub