Abstract:We investigate spt-crank-type functions arising from Bailey pairs. We recall four spt-type functions corresponding to the Bailey pairs $A1$, $A3$, $A5$, and $A7$ of Slater and given four new spt-type functions corresponding to Bailey pairs $C1$, $C5$, $E2$, and $E4$. Each of these functions can be thought of as a count on the number of appearances of the smallest part in certain integer partitions. We prove simple Ramanujan type congruences for these functions that are explained by a spt-crank-type function. The spt-crank-type functions are two variable $q$-series determined by a Bailey pair, that when $z=1$ reduce to the spt-type functions. We find the spt-crank-type functions to have interesting representations as either infinite products or as Hecke-Rogers-type double series. These series reduce nicely when $z$ is a certain root of unity and allow us to deduce the congruences. Additionally we find dissections when $z$ is a certain root of unity to give another proof of the congruences. Our double sum and product formulas require Bailey's Lemma and conjugate Bailey pairs. Our dissection formulas follow from Bailey's Lemma and dissections of known ranks and cranks.
What problem does this paper attempt to address?
This paper attempts to solve number - theory problems related to Bailey pairs and spt - functions (the smallest part function), especially to explore new spt - crank - type functions and prove the congruence properties of these functions. Specifically:
1. **Introducing new spt - type functions**: In the paper, spt - type functions corresponding to Bailey pairs A1, A3, A5, A7 given by Slater and new Bailey pairs C1, C5, E2, E4 are introduced. These functions can be regarded as counting the number of occurrences of the smallest part in specific integer partitions.
2. **Proving simple Ramanujan - type congruence relations**: The author proves that these newly introduced spt - type functions satisfy some simple Ramanujan - type congruence relations through spt - crank - type functions. For example, for certain linear combinations modulo p, the values of these spt - type functions are 0.
3. **Studying the representation forms of spt - crank - type functions**: These spt - crank - type functions are represented in the form of infinite products or Hecke - Rogers - type double sums. When z takes specific roots of unity, these expressions can be simplified and help to prove congruence relations.
4. **Using Bailey's lemma and conjugate Bailey pairs**: The author uses Bailey's lemma and conjugate Bailey pairs to derive single - series and product identities of spt - crank - type functions, as well as Hecke - Rogers - type double - sum formulas.
5. **Analyzing the values of spt - crank - type functions at roots of unity**: By evaluating the values of spt - crank - type functions at roots of unity, the author obtains identities about MX(r, t, n) and finally proves the congruence relations.
In general, the main purpose of this paper is to introduce new spt - type functions and spt - crank - type functions, study their properties, and prove the congruence relations of these functions under specific conditions. This not only expands the understanding of spt - functions but also provides new tools and methods for further research on the theory of integer partitions.
### Formula Summary
The formulas involved in the paper include, but are not limited to, the following:
- **Standard product symbol**:
\[
(z;q)_n=\prod_{j = 0}^{n-1}(1 - zq^j),\quad(z;q)_\infty=\prod_{j = 0}^{\infty}(1 - zq^j)
\]
\[
[z;q]_\infty=(z,q/z;q)_\infty
\]
- **Generating function**:
\[
S(q)=\sum_{n = 1}^{\infty}\frac{q^n}{(1 - q^n)^2}(q^{n+1};q)_\infty
\]
- **Two - variable generalized spt function**:
\[
S(z,q)=\sum_{n = 1}^{\infty}\sum_{m=-\infty}^{\infty}N_S(m,n)z^m q^n=\sum_{n = 1}^{\infty}\frac{q^n(zq^n,z^{-1}q^n;q)_\infty}{(q^{n+1};q)_\infty}
\]
- **Definition of spt - crank - type function**:
\[
P(q)=\frac{(z,z^{-1};q)_\infty}{(z,z^{-1};q)_\infty}\sum_{n = 1}^{\infty}\frac{\beta_n q^n}{(z,z^{-1};q)_n}
\]
These formulas and derivation processes are the keys to understanding the core content of the paper.