Abstract
What is the probability that the smallest part of a random integer partition of N is odd? What is the expected value of the smallest part of a random integer partition of N? It is straightforward to see that the answers to these questions are both 1, to leading order. This paper shows that the precise asymptotic expansion of each answer is dictated by special values of an arithmetic L-function. Alternatively, the asymptotics are dictated by the asymptotic expansions of quantum modular forms. A quantum modular form is a function on the rational numbers which has pseudo-modular properties and nice asymptotic expansions near each root of unity. This paper contains five examples involving some of the most famous quantum modular forms of Don Zagier. Additionally, this paper contains new generating function identities for the partition questions relevant to this work and three general circle method asymptotics which may be of independent interest.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Background
Let \({{\mathcal {P}}}(N)\) denote the set of all integer partitions of N and write \(p(N) = \left| {{\mathcal {P}}}(N)\right| \) for the number of integer partitions of N. The study of the analytic approximation of partition statistics started with Hardy–Ramanujan asymptotic formula [49], further strengthened by Rademacher’s exact formula [72]. These formulas give for any positive integer R the asymptotic
where \(K = \frac{2\pi }{\sqrt{6}}\) and
for \(\nu \in {{\mathbb {C}}},m\in {{\mathbb {Z}}}_{\ge 0}\). For instance, \(p_0=1\) and \(p_1 = -\frac{1}{K} + \frac{K}{48}\).
For future reference, set
It is natural to pose questions about asymptotics of the number of partitions with prescribed properties. An interesting one is:
What is the probability that the smallest part of an integer partition is odd?
The paper establishes a precise asymptotic answer to this question and a collection of similar ones.
Theorem 1.1
(probability that the smallest part of an unrestricted partition is odd) Let \(\mathrm{sm}(\lambda )\) be the smallest part of the partition \(\lambda \) and set
For any positive integer R, one has
as \(N\rightarrow \infty \), where
where \(\sigma _n\) is given by (1.2). So
where \(\mathbf P _N\) is the uniform measure on \({{\mathcal {P}}}(N)\).
The numbers \(\sigma _n\) appearing in the above theorem are special values of a Hecke L-function. In particular, they arise from the asymptotic expansion of a quantum modular form. Moreover, we show that the asymptotic expansions of many of the most famous quantum modular forms are intimately related to the asymptotics of interesting partition functions. Precisely, two of Zagier’s original four examples [83] and an example of Bettin and Conrey [13] arise in the six main theorems of the present work.
Section 1.2 introduces the quantum modular forms which arise in the present work. In the same spirit as Theorem 1.1, Sect. 1.3 contains four theorems, answering the questions:
-
(1)
What is the expected value of the smallest part of an integer partition of N?
-
(2)
What is the expected value of the smallest part of an integer partition of N with distinct part sizes?
-
(3)
What is the expected value of the largest part of an integer partition of N?
-
(4)
What is the expected value of the largest part of an integer partition of N with distinct part sizes?
Section 1.4 contains identities for the generating functions of the relevant counting functions. These identities involve the quantum modular forms introduced in Sect. 1.2. Section 1.5 contains three general circle method propositions which are used to derive the asymptotic expansions used to answer these questions. These are generalizations of Wright’s classic circle method [81] and may be of independent interest.
1.1 A history of partition statistics
There is a long history of the study of partition statistics and questions like those considered in this paper. Perhaps the first systematic study of statistical questions on integer partitions goes back to Erdős and his coauthors, especially Lehner [34] and Turán [35,36,37,38,39,40,41]. Additional results on the limiting distribution of partition statistics were found by Fristedt [44] and Pittel [70, 71]. While those results, and the results of the present paper, deal with the uniform measure on partitions of n, there has also been substantial interest in random partitions with respect to the Plancherel measure. See the works of Vershik and Kerov [76, 77], as well as the work of Oukonkov [68] and the references therein. The work of Erdős, Lehner, Pittel, Turán, Vershik, Kerov, and Oukonkov is largely motivated by the connection between representations of the symmetric groups and integer partitions, see, for instance, the book of MacDonald [63].
There have been many recent works concerned with the rank and crank statistics of integer partitions. These statistics were found by Dyson [32] and Andrews and Garvan [9, 45, 46] and are motivated by Ramanujan’s congruences for the partition function p(N). Similar to the present work, these statistics have gained a lot of attention because of their connections to exotic modular objects, such as quasimodular forms and mock modular forms [23, 24, 67, 73]. Significant results about the distribution of these statistics appear notably in the works of Bringmann and Mahlburg and their coauthors [15, 21, 30, 31, 69].
There remain many more works dealing with statistics of integer partitions and other probabilistic questions about integer partitions. Notable in those are the works dealing with runs and gaps in parts making up a partition [17, 18, 20, 22, 48, 51, 57, 78, 79].
This paper demonstrates how quantum modular forms and their asymptotic expansions, which involve values of modular L-functions, arise in the resolution of natural integer partition probability problems.
1.2 Quantum modular forms
Zagier [83] introduced the notion of a quantum modular form based on examples from number theory, combinatorics, and quantum invariants of 3-manifolds. Let \(k \in \frac{1}{2} {{\mathbb {Z}}}, \Gamma \) be a finite index subgroup of \(\mathrm SL_2({{\mathbb {Z}}})\), and \(\chi :\Gamma \rightarrow {{\mathbb {C}}}^\times \) be a finite-order character. A quantum modular form of weight k for \(\Gamma \) is a function \(f:{{\mathbb {P}}}^1({{\mathbb {Q}}})\setminus S \rightarrow {{\mathbb {C}}}\), where S is a finite subset of \({{\mathbb {P}}}^1({{\mathbb {Q}}})\), such that, for every \(\gamma = \left( \begin{array}{cc}a &{} b \\ c &{} d \end{array}\right) \in \Gamma ,\) the period function
extends to a function which is \(C^\infty \) or real analytic at all but a finite set of points on \({{\mathbb {P}}}^1({{\mathbb {R}}})\). Furthermore, one usually finds an analytic function \(f_{{\mathbb {C}}}(z)\) on \({{\mathbb {C}}}\setminus {{\mathbb {R}}}\) whose limit as z approaches \(x\in {{\mathbb {Q}}}\setminus S\) coincides with f.
Many of the examples of quantum modular forms have representations as q-hypergeometric series. Two such series are
With \(q=\mathrm{e}^{2\pi i z}=\mathrm{e}^{-t}\), define
Using the results of Andrews et al. [7], Cohen [29], and Lewis and Zagier [60], Zagier [83] showed that
is a function which is holomorphic on all of \({{\mathbb {C}}}\setminus {{\mathbb {R}}}_{\le 0}\). Moreover, the function \(t\mapsto f\left( \frac{it}{2\pi }\right) \) has an asymptotic expansion near every value \(t\in {{\mathbb {Q}}}\). For instance, near \(t=0\)
where the \(\sigma _n\) are integers given in terms of a Hecke L-function. To describe \(\sigma _n\), let T(n) be the number of inequivalent solutions to
such that \(u+3v \equiv \pm 1\pmod {12}\) minus the number of such solutions with \(u+3v \equiv \pm 5 \pmod {12}\). Here two solutions (u, v) and \((u',v')\) to (1.1) are equivalent if \((u'+v'\sqrt{6}) = \pm (5 + 2\sqrt{6})^r (u+v\sqrt{6})\) for some integer r; otherwise they are said to be inequivalent. Define the Dirichlet series
Then D(s) is a Hecke L-function and hence has analytic continuation to the complex s-plane. Set
See [16] for more on the values \(D(-n)\) including their asymptotic properties.
Thus Theorem 1.1 shows the asymptotic expansion of this quantum modular form arises in the probability theory of partitions.
Our work requires two more quantum modular forms. Zagier [82, 83] showed that the Kontsevich’s “strange” function
fits into the framework of a quantum modular form. This q-series is defined only at roots of unity q. Combining the results of [82] with the results of Bryson, Ono, Pitman, and the second author [26] it is possible to construct a function on \(\left( {{\mathbb {C}}}\setminus {{\mathbb {R}}}\right) \cup {{\mathbb {Q}}}\) analogous to f above. Zagier [82] proved
The \(T_n\), called Glaisher’s numbers, are special values of the Dirichlet L-series \(L( \chi _{12}, s)\) where \(\chi _{12} = \left( \frac{12}{\cdot }\right) \) is a quadratic character of conductor 12. More precisely
Finally, the third quantum modular form that plays a role in our work is
Bettin and Conrey [13] showed that
where \(\psi _0\) is the period function of an Eisenstein series. Moreover, they established the asymptotic
where \(\gamma =0.5772156\ldots \) is Euler’s constant [58], \(B_n\) is the nth Bernoulli number, and
where \(\zeta (s)\) is the Riemann zeta function. See Sect. 4.2 for further discussion on \(S_0(z)\). In the remainder we abuse notation and write \(S_0(q) = S_0(z)\). For future reference we define the coefficients \(b_n \) by
For instance, \(b_0 = \gamma , b_1 = \frac{\gamma }{24} - \frac{1}{4}\), and \(b_2 = \frac{\gamma }{1152} - \frac{1}{288}\).
1.3 Asymptotic theorems
This section contains five theorems, each of which relates the asymptotic expansion of a particular partition probability function to the asymptotic expansion of a quantum modular form.
Let \({{\mathcal {D}}}(N)\) denote the set of all integer partitions of N into distinct parts; set \(q(N) = \left| {{\mathcal {D}}}(N)\right| \). It follows from [49] or [50] (see also Proposition 1.8) that for any \(R\ge 0\)
where \(K' = \frac{\pi }{{3}^\frac{1}{2}}\) and
In particular, \(q_0=1\) and \(q_1 = - \frac{3}{8K'} - \frac{K'}{48}\). For future reference, define
Theorem 1.2
(Expected value of the smallest part in a distinct part partition) If R is a positive integer, then
as \(N\rightarrow \infty \), where
Consequentially, the expected value of the smallest part of a partition with respect to the uniform measure on the distinct part partitions of N is
Remark
Fristedt [44, Section 9] proved that the probability that j is the smallest part of a random distinct part partition is \(2^{-j}\). Consequentially, the expected value is \(\sum _j j 2^{-j} = 2\). Note in our asymptotic that \(B_0 = 2\).
The following theorem is offered for contrast to the previous theorem. Let \(\ell (\lambda )\) be the number of parts in \(\lambda \).
Theorem 1.3
One has
Consequentially, as \(N\rightarrow \infty \)
Remark
It is a classical fact that \(\sum _{d\mid N } 1 = o\left( N^{\epsilon }\right) \) for any \(\epsilon >0\) (see for instance [64, page 56]).
Theorem 1.4
(Expected value of the smallest part of an unrestricted partition) If R is a positive integer, then
as \(N\rightarrow \infty \), where
and \(T_s\) is given by (1.3).
Consequentially, the expected value of the largest part of an unrestricted partition of N, with respect to the uniform measure, is
Remark
Again, by [44] a random partition of N almost surely has a part of size 1 and so \(E_N(\mathrm{sm}(\lambda )) \sim 1\).
The above theorems concern the smallest part of a partition. We now turn our attention to the largest part of a partition.
Theorem 1.5
(Expected value of the largest part of an unrestricted partition) As \(N\rightarrow \infty \)
where \(\gamma =0.5772156\ldots \) is Euler’s constant.
Consequentially, the expected value with respect to the uniform measure on the unrestricted partitions of N is
Remark
Erdős and Lehner showed in [34] that
From this it is straightforward to deduce
Curiously, in the above the \(\gamma \) occurs from the asymptotic expansion of the Riemann zeta function \(\zeta (s)\) near \(s=1\). It might be interesting to compare with the integral \(\int _{-\infty }^\infty v \mathrm{e}^{-\mathrm{e}^{-v}-v} \mathrm{d}v\) which occurs in the limiting distribution of Erdős and Lehner.
Remark
Theorem 1.5, as stated, was previously established by Kessler and Livingston [53] with a slightly worse error term and also by Grabner et al. [48]. The present method makes the structure of the full asymptotic expansion apparent and demonstrates the role of the quantum modular form \(S_0(z)\) in determining the expansion. The next theorem has the full asymptotic expansion for the case of partitions with distinct parts.
Theorem 1.6
(Expected value of the largest part of a distinct part partition) For any \(R\ge 0\) as \(N\rightarrow \infty \)
where
where \(b_s\) is defined in (1.4) in terms of Bernoulli numbers and \(a_s^*\) is defined in Proposition 1.9 in terms of values of the Gamma function.
1.4 Generating function identities
This section discusses the generating functions for the partition problems above. Euler [6] was the first to show the generating function identities
where \((a;q)_n := \prod _{j=0}^{n-1} (1-aq^j)\) and \((a;q)_\infty = \prod _{j=0}^\infty (1-aq^j)\).
The following theorem gives results for the generating functions studied in our main theorems.
Theorem 1.7
In the notation of Theorems 1.1, 1.2, 1.4, 1.5, and 1.6
where
Remark
At all roots of unity, to infinite order,
and
Thus, these forms behave as quantum modular forms near roots of unity. These identities are discussed in more detail in the proof of Theorem 1.1 and Sect. 4.4.
Remark
The identities of Theorem 1.7 are all of the shape
In the above cases, the sieving functions are quantum modular forms. For example in the first equality the “sieving function” is
Consequentially,
This is a typical behavior. See the book of Stanley [75] for discussion of sieving in enumerative combinatorics. See the papers of Andrews [4, 5], Bringmann and Mahlburg [22], Kim and Lovejoy [54], Kim and Jo [52], Kim et al. [55, 56], and Grabner et al. [48] for more examples of this phenomenon. Most commonly, the “sieving function” is a partial theta function, which is known to be a quantum modular form. See [43, 59] and [14] for details about the quantum modularity of partial theta functions. In some other cases, the sieving function may be a mock modular form, which may have exponential singularities at some roots of unity, see [4, 12, 74] for examples of this sort.
We have chosen the above examples because they have simple partition interpretations and because the quantum modular forms arising are among the most exotic.
Remark
Define for a natural number k the q-series \(M_k(q) = \sum _{n=1}^\infty \frac{n^k q^n}{(q;q)_n}\); here \((q;q)_n := \prod _{j=1}^{n} (1-q^j)\). Then the coefficient of \(q^n\) in \(M_k(q)\) is, up to normalizing by 1 / p(n), the kth-moment of the largest part of a partition of n, namely \(\sum _{\lambda } \mathrm{lg}(\lambda )^k\) where the sum runs over all partitions \(\lambda \) of n. Now define \(S_k(q) = \sum _{n=1}^\infty \frac{n^k q^n}{1-q^n}.\) One may show that \(S_k\) and \(M_k\) are related via the recursion
If k is an odd integer, then \(S_k\) is (essentially) an Eisenstein series. If k is an even integer, then \(S_k\) is not an Eisenstein series, but it still has pseudo-modularity (see Bettin and Conrey [13]). Thus, the method of this paper can be applied to compute an asymptotic expansion for each of the moments of the largest parts of partitions.
1.5 Wright’s asymptotic expansion and analogues
In this subsection we state generalizations of Wright’s asymptotic expansion using the circle method. This section contains three propositions in a quite general form with the hope that it might be useful for other researchers. All of the propositions concern the asymptotics for the q-coefficients of functions of the form \(L(q) \, \xi (q)\) where \(\xi (q)\) has its “main” exponential singularity as \(q\rightarrow 1\) and L(q) has polynomial or logarithmic behavior as \(q\rightarrow 1\).
Throughout this section let q denote a complex variable with \(|q|<1\) and \(q\notin {{\mathbb {R}}}_{\le 0}\). Put \(q = \mathrm{e}^{-t}\), so \(t\in {{\mathbb {C}}}\) satisfies \(\mathrm{Re}\, t>0\) and \(|\mathrm{Im}\, t| < \pi \).
The setup is as follows. Let L(q) and \(\xi (q)\) be two functions analytic for \(|q|<1\) and \(q\notin {{\mathbb {R}}}_{\le 0}\) so that \(L(q)\xi (q)\) is analytic for \(|q|<1\) and \(q\notin {{\mathbb {R}}}_{\le 0}\). We are interested in the asymptotic expansion of
where \({{\mathcal {C}}}\) is a circle centered at the origin with radius smaller than one and where q describes \({{\mathcal {C}}}\) counter-clockwise. Integral (1.10) will arise from the combinatorial problems described in Sect. 1.
Let \(0<\delta <\frac{\pi }{2}\) and \(c>0\) be fixed constants. Set \(\eta = \frac{c}{\sqrt{N}}\). Let \({{\mathcal {C}}}\) be the circle on the q-plane which is centered at 0 and of radius \(\mathrm{e}^{-\eta }\). Let \({{\mathcal {C}}}_1\) be the arc of \({{\mathcal {C}}}\) such that \(q\in {{\mathcal {C}}}_1\) precisely when \(\left| \arg t\right| < \frac{\pi }{2} - \delta \); set \({{\mathcal {C}}}_2={{\mathcal {C}}}-{{\mathcal {C}}}_1\). We make available four running assumptions:
- :
-
for every positive integer k, as \(\left| t\right| \rightarrow 0\) in the bounded cone \(\left| \arg t\right| < \frac{\pi }{2} - \delta \), either
$$\begin{aligned} L(\mathrm{e}^{-t}) = \frac{1}{t^B} \left( \sum _{s = 0}^{k-1} \alpha _s t^s + O_\delta ({t}^k)\right) , \end{aligned}$$(1.11)where \(\alpha _s\in {{\mathbb {C}}}\) and B is a real constant, in which case we say \(L(\mathrm{e}^{-t})\) has polynomial type near 1, or
$$\begin{aligned} L(\mathrm{e}^{-t}) = \frac{\log t}{t^B} \left( \sum _{s = 0}^{k-1} \alpha _s t^s + O_\delta ({t}^k) \right) , \end{aligned}$$(1.12)where \(\alpha _s\in {{\mathbb {C}}}\) and B is a real constant, in which case we say \(L(\mathrm{e}^{-t})\) has logarithmic type near 1;
- :
-
as \(\left| t\right| \rightarrow 0\) in the bounded cone \(\left| \arg t\right| < \frac{\pi }{2} - \delta \)
$$\begin{aligned} \xi (\mathrm{e}^{-t}) = t^{\beta } \mathrm{e}^{c^2/t} \left( 1+ O_\delta \left( \mathrm{e}^{-\gamma /t}\right) \right) , \end{aligned}$$(1.13)where \(\beta \) and \(\gamma \) are real constants such that \(\beta \ge 0\) and \(\gamma >c^2\);
- :
-
as \(\left| t\right| \rightarrow 0\) in the bounded cone \(\frac{\pi }{2} - \delta \le \left| \arg t\right| < \frac{\pi }{2}\)
$$\begin{aligned} L(\mathrm{e}^{-t}) \ll _\delta t^{-C}, \end{aligned}$$(1.14)where \(C=C(\delta )\) is a positive real constant;
- :
-
as \(\left| t\right| \rightarrow 0\) in the bounded cone \(\frac{\pi }{2} - \delta \le \left| \arg t\right| < \frac{\pi }{2}\)
$$\begin{aligned} \left| \xi (\mathrm{e}^{-t}) \right| \ll _\delta \xi (|\mathrm{e}^{-t}|) \mathrm{e}^{ \frac{-\delta '}{t} }, \end{aligned}$$(1.15)where \(\delta '=\delta '(\delta )\) is a positive real constant.
Remark
The assumptions HYPO 1 and HYPO 2 put asymptotics on L and \(\xi \) on the “major arc” \({{\mathcal {C}}}_1\) near 1, whereas the assumptions HYPO 3 and HYPO 4 require that L and \(\xi \) are small on the “minor arc” \({{\mathcal {C}}}_2\) away from 1.
The following result is due to Wright [81, Section 6]:
Proposition 1.8
(Asymptotic expansion in the polynomial-type case) Suppose that the four running assumptions are satisfied. Suppose further that L(q) has polynomial type near 1. Then
where
with the \(\alpha _s\) given by HYPO 1 (1.11) and the \(w_{s,r}\) given by
The following is an analogue of Proposition 1.8, now for the case of logarithmic type:
Proposition 1.9
(Asymptotic expansion in the logarithmic type with integer-order case) Suppose that the four running assumptions are satisfied. Suppose further that L(q) has logarithmic type near 1 and that \(B-\beta =1\) where B is the constant in HYPO 1 (1.12) and \(\beta \) is the constant in HYPO 2 (1.13). Set
One has
where
with the \(\alpha _s\) given by HYPO 1 (1.12).
Remark
We will see later from our proof that one can extend Proposition 1.9 to the case \(B-\beta \in {{\mathbb {Z}}}\) (of course with more involved asymptotic formulas). Hence the nature of Proposition 1.9 is of logarithmic type with integer order.
The following is another analogue of Proposition 1.8, also for the case of logarithmic type:
Proposition 1.10
(Asymptotic expansion in the logarithmic type with half-integer-order case) Suppose that the four running assumptions are satisfied. Suppose further that L(q) has logarithmic type near 1 and that \(B-\beta =\frac{1}{2}\) where B is the constant in HYPO 1 (1.12) and \(\beta \) is the constant in HYPO 2 (1.13). Then
Remark
One can write down a full asymptotic expansion for V(N) in Proposition 1.10 and can extend to the case \(B-\beta \in \frac{1}{2}+{{\mathbb {Z}}}\) (of course with more involved asymptotic formulas). Hence the nature of Proposition 1.10 is of logarithmic type with half-integer order.
The main idea of the proofs of Propositions 1.8, 1.9, and 1.10 is the circle method. The main technical ingredients are various asymptotic expansions of Bessel functions. The reader who is willing to trust Propositions 1.8, 1.9, and 1.10 can skip Sect. 3.
2 Proof of generating function identities
This section contains the proof of the generating function identities of Theorem 1.7. The proof uses the following theorems of Andrews and Freistas.
Theorem 2.1
(Theorem 4.1 of [8]) Let g be a function defined by the series \(g(x) = \sum _{n=0}^\infty g_n x^n\). Then
Theorem 2.2
(Theorem 4.4 of [8]) One has
Proof of Theorem 1.7
(1) Recall that \(p_{\mathrm{lo}}(N)\) is the number of partitions of N for which \(\mathrm{sm}(\lambda ) \equiv 1 \,\,(\mathrm{mod}\,\, {2})\). We begin by establishing
Indeed, the first equality is the definition of \(p_{\mathrm{lo}}(N)\). Let \(p_{\mathrm{lo}}'(N)\) denote the number of partitions of N in which the largest part, indexed by n say, occurs an odd number of times. Then the third member of (2.1) is precisely \(\sum _{N=1}^\infty p_{\mathrm{lo}}'(N)q^N\).
Recall that we can express a partition \(\lambda \) of N as a decreasing sequence \((\lambda _1,\ldots ,\lambda _r)\) with \(\sum _{i=1}^r\lambda _i=N\) by a Young diagram, which by definition is a rectangular array of N boxes, with r rows where the ith-row is of length \(\lambda _i\). The conjugate partition \(\lambda '\) of \(\lambda \) is the partition whose Young diagram is obtained by reflecting the Young diagram of \(\lambda \) about the diagonal so that rows become columns and columns become rows. For example, the conjugate partition of the partition (4, 3, 2, 2, 1) is the partition (5, 4, 2, 1).
Taking the conjugate partitions gives a bijection between the partitions of N in which the largest part occurs an odd number of times with the partitions of N with the smallest part being odd. In particular we have \(p_{\mathrm{lo}}(N)=p_{\mathrm{lo}}'(N)\); this shows the second equality of (2.1). The desired identity is an immediate consequence of the theorem of Andrews and Freistas, Theorem 2.1 (taking \(g_n=(-1)^n, a=0, t=q\)).
(2) Recall that \(e_{\mathrm{sd}}(N)\) is the sum of the smallest parts of the partitions of N with distinct parts. By definition it is clear that
The desired identity follows from previous work of the authors and Li [62, Section 6.3].
(3) Recall that \(e_{\mathrm{sm}}(N)\) is the sum of the smallest parts of the partitions of N. We show that
The first equality is the definition of \(e_{\mathrm{sm}}(N)\). Let \(c_{\mathrm{lg}}(\lambda )\) denote the number of occurrences of the largest part of the partition \(\lambda \). Then the third member of (2.2) is equal to \( \sum _{N=1}^\infty \left( \sum _{\lambda \in {{\mathcal {P}}}(N)}c_{\mathrm{lg}}(\lambda ) \right) q^N. \) On the other hand, by looking at Young diagrams of partitions and the conjugate transformation described above, it is easy to see that \( e_{\mathrm{sm}}(N) = \sum _{\lambda \in {{\mathcal {P}}}(N)}c_{\mathrm{lg}}(\lambda ) . \) Thus we deduce the second equality of (2.2). In Theorem 2.2, we put \(a=b=q\) and \(c=0\) to deduce
which is precisely (1.7).
(4) Recall that \(e_{\mathrm{lg}}(N)\) is the sum of the largest parts of the partitions of N. By standard arguments
In previous work [62, Section 6.3] the authors and Li established
Equation (1.8) follows.
(5) Recall that \(e_{\mathrm{ld}}(N)\) is the sum of the largest parts of the partitions of N with distinct parts. It is clear, by definition, that
Equation (1.9) follows from an identity established in previous work of the authors and Li [62, Section 6.4]
\(\square \)
3 Circle method
This section contains the proofs of Propositions 1.8–1.10 of Sect. 1.5.
3.1 Preliminaries: a recollection on Bessel functions
We recall some standard facts about Bessel functions. For references, see [80, Chapters 6 and 7], [66, Section 10], [25, 65].
The I-Bessel function is defined by the Schläfli’s integral
In (3.1), the contour runs from \(-\infty \) below the negative real axis to 0 and circles around 0 counter-clockwise and comes back to \(-\infty \) above the negative real axis, and \(\arg z\) is taken to be \(-\pi \) below the negative real axis and \(\pi \) above the negative real axis (see [80, Section 6.22]). The K-Bessel function is defined by
For any \(\nu \in {{\mathbb {C}}}\), the pair \(\{I_\nu (z),K_\nu (z)\}\) forms a basis of linearly independent solutions of the Bessel’s differential equation
Theorem 3.1
([80, Section 7.23], [66, Section 10.40]) Suppose that \(\nu \in {{\mathbb {C}}}\) and that p is a positive integer which satisfies \(p\ge \mathrm{Re}\, \nu - \frac{1}{2}\). Then
For brevity, we rewrite (3.2) and (3.3) as follows:
Theorem 3.2
If \(0<\delta <\frac{1}{2}\pi \) and \(\nu \in {{\mathbb {C}}}\), then
where
Proof
Indeed, (3.5) follows from (3.3) and the fact that \((\nu ,r)\) is an even function of \(\nu \), whereas (3.4) follows from (3.2), the same fact on \((\nu ,r)\), and the assumption \(|\arg \, z|< \frac{\pi }{2}-\delta \) which forces the sum \(\frac{\mathrm{e}^{-z+\left( \nu +\frac{1}{2}\right) \pi i} }{(2\pi z)^{\frac{1}{2}}} \sum _{m=0}^{p-1} \frac{(\nu ,m)}{(2z)^m}\) in (3.2) to go to 0 as \(|z|\rightarrow \infty \). \(\square \)
The derivative with respect to order of the I-Bessel function is \(I_{\nu _0}^*(z):=\frac{\partial I_\nu (z)}{\partial \nu } |_{\nu =\nu _0}\). One is allowed to differentiate under the integral sign Schläfli’s integral (3.1). Then
When the order \(\nu \) is an integer, we have (see [25, 66, Section 10.38])
As a consequence, we derive an asymptotic expansion of \(I_\nu ^*(z)\) for integer order \(\nu \):
Theorem 3.3
For every \(0<\delta <\frac{\pi }{2}\) one has
If \(n\in {{\mathbb {Z}}}_{>0}\), for every \(0<\delta <\frac{\pi }{2}\) one has
where
Proof
Combining (3.8) with (3.4) and (3.5), we deduce both (3.9) and (3.10) immediately. \(\square \)
Let us define (this is a nonstandard notation)
so that \(D_\nu (z) = I_\nu (z)\,\,\log \left( \frac{1}{2}z\right) - I_\nu ^*(z)\).
Theorem 3.4
If \(0<\delta <\frac{\pi }{2}\) and n is a positive integer, then
where \(a_r(0)\) is computed by (3.6) and \(a_r^*(n)\) is given by (3.11).
Proof
Plugging (3.4) and (3.9) into (3.7), we deduce (3.13). Plugging (3.4) and (3.10) into (3.7), we deduce (3.14). \(\square \)
There are analogues for half-integer order of (3.8) , Theorem 3.3, and Theorem 3.4. By the results in [25], we deduce the following asymptotic expansion of \(I_{\nu }^*(z)\) for half-integer order \(\nu \):
Theorem 3.5
-
(1)
If R is a positive integer, then
$$\begin{aligned} I_{-\frac{1}{2}}^*(x)= \frac{\mathrm{e}^{x}}{x^{\frac{3}{2}}}\left( \sum _{r=0}^{R-1} x^{-r} \frac{r!}{2^{r+\frac{3}{2}}\pi ^{\frac{1}{2}}} + O(x^{-R}) \right) \quad \, \, \left( x\in {{\mathbb {R}}}_{>0} , x\rightarrow \infty \right) . \end{aligned}$$(3.15) -
(2)
If n is a positive integer, then
$$\begin{aligned} I_{-n-\frac{1}{2}}^*(x)= O\left( \frac{\mathrm{e}^{x}}{x^{\frac{1}{2}}}\right) \quad \, \, \left( x\in {{\mathbb {R}}}_{>0} , x\rightarrow \infty \right) . \end{aligned}$$(3.16)
3.2 Polynomial-type case
We are in a position to prove Proposition 1.8. In this subsection we make available all the hypotheses stated therein. Set
where q describes the arc \({{\mathcal {C}}}_1\) counter-clockwise.
The proof of Proposition 1.8 rests on the following two estimates:
Lemma 3.6
Let k be a positive integer. One has
Lemma 3.7
Let \(s\ge 0\) and \(R\ge 1\) be integers. One has
where \(w_{s,r}\) is given by (1.16).
Remark
An acute reader will observe that the rth-main term of \(V_s(N)\), i.e., the term in which \(w_{s,r}\) occurs, dominates the error term of V(N) when \(s+r < k\).
Lemmas 3.6 and 3.7 are established by Wright [81, Lemmas 2 and 3]. We sketch Wright’s proofs of these estimates below not only for the sake of completeness but also to recycle his approach in proving Propositions 1.9 and 1.10.
Proof of Lemma 3.6
As in [81], we have \(V-\sum _{s=0}^{k-1} \alpha _s V_s=E_1+E_2+E_3\), where
here the contours are described counter-clockwise.
Recall that \(\eta =\frac{c}{\sqrt{N}}\) and that \(q=\mathrm{e}^{-t}\) is on the circle \(\left( {{\mathcal {C}}}:|q|=\mathrm{e}^{-\eta }\right) \). Therefore \(\mathrm{Re}\, t=\eta \). If q is on the arc \({{\mathcal {C}}}_1\), we further have \(\mathrm{Im}(t)\ll _\delta \eta \).
To prove Lemma 3.6, it suffices to show the following upper bounds:
First, for \(E_3\) observe that \(L(\mathrm{e}^{-t})-\sum _{s=0}^{k-1} \alpha _s t^{s-B}\ll t^{k-B}\asymp \eta ^{k-B}\) by HYPO 1 and that \( \left| \exp \left( \frac{c^2}{t}+Nt \right) \right| \le \exp \left( 2c\sqrt{N} \right) . \) Since the length of \({{\mathcal {C}}}_1\) is \(\asymp \eta \), we have
Second, for \(E_2\) we note that \(L(\mathrm{e}^{-t})\ll t^{-B}\asymp \eta ^{-B}\) by HYPO 1 and that \( \xi (\mathrm{e}^{-t}) - t^\beta \exp \left( \frac{c^2}{t}\right) \ll \eta ^\beta \exp \left( \frac{c^2-\gamma }{t} \right) \ll \eta ^\beta \) by HYPO 2, whence
Finally, we use the assumptions on the “minor arc” \({{\mathcal {C}}}_2\) to establish the bound for \(E_1\). By HYPO 3, for \(q\in {{\mathcal {C}}}_2\) we have \(L(q)\ll N^C\). By HYPO 4, for \(q\in {{\mathcal {C}}}_2\) we have \(|\xi (q)| \ll \xi (|q|)\exp (-\delta '\sqrt{N})\). Since \(|q|\in {{\mathcal {C}}}_1\), we have
Thus \( E_1\ll N^{C-\frac{\beta }{2}} \exp \left( (2c-\delta ')\sqrt{N} \right) . \)
On combining the three bounds for \(E_1,E_2,E_3\) we conclude that
\(\square \)
Proof of Lemma 3.7
As in [81], we let \({{\mathcal {D}}}_2\) denote the line on the t-plane such that \(q=\mathrm{e}^{-t}\in {{\mathcal {C}}}_1\): this means \(\mathrm{Re}\, t=\eta \) and \(\left| \mathrm{Im}\,t\right| \le A\eta \) where \(A=A(\delta )\) is a positive constant. Let \({{\mathcal {D}}}_1\) (resp. \({{\mathcal {D}}}_3\)) denote the line on which \(\mathrm{Re}\,t\le \eta \) and \(\mathrm{Im}\,t=-A\eta \) (resp. \(\mathrm{Im}\,t=A\eta \)). Write \({{\mathcal {D}}}={{\mathcal {D}}}_1+{{\mathcal {D}}}_2+{{\mathcal {D}}}_3\) for the contour with counter-clockwise orientation. By (3.17), we have
Set
We claim that \(W_s\) is a good approximation for \(V_s\), namely:
Indeed, if t lies on \({{\mathcal {D}}}_3\), then \( \mathrm{Re}\left( \frac{c^2}{t} \right) = c^2 \frac{\mathrm{Re}\,t}{|t|^2} \le \frac{c\sqrt{N}}{2} \) and, on putting \(t=(\eta -i\cdot A\eta )-u\),
The same bound holds when t lies on \({{\mathcal {D}}}_1\). Thus
so our claim (3.20) is proven.
On the other hand, by (3.1) we have
By appealing to asymptotic expansion (3.4) of the I-Bessel function, we see that
where
Finally, on combining (3.20) and (3.22), we conclude the lemma. \(\square \)
Proof of Proposition 1.8
As in [81], on taking \(k=R+1\) in asymptotic (3.18) of Lemma 3.6 and taking \(s=R\) in asymptotic (3.19) of Lemma 3.7, we see that
By Lemma 3.7, each \(V_s\) admits the asymptotic expansion
On plugging (3.24) into (3.23), we conclude Proposition 1.8. \(\square \)
3.3 Logarithmic-type case
We are in a position to prove Propositions 1.9 and 1.10. In this subsection we make available all the hypotheses stated therein, except for the condition \(B-\beta =1\) or \(B-\beta =\frac{1}{2}\). Set
The proof of Proposition 1.9 rests on the following two estimates:
Lemma 3.8
Let k be a positive integer. The condition on \(B-\beta \) can be omitted. One has
Lemma 3.9
Let \(s\ge 0\) and \(R\ge 1\) be integers. Suppose \(B-\beta =1\). One has
where \(l_{s,r},l'_{s,r}\) are given in Proposition 1.9.
We will establish Lemmas 3.8 and 3.9 similarly to Lemmas 3.6 and 3.7.
Proof of Lemma 3.8
Similar to Lemma 3.6, we have \(V-\sum _{s=0}^{k-1}V_s^*=E_1+E_2+E_3\), where
here the contours are described counter-clockwise.
Recall that \(\eta =\frac{c}{\sqrt{N}}\) and that \(q=\mathrm{e}^{-t}\) is on the circle \(\left( {{\mathcal {C}}}:|q|=\mathrm{e}^{-\eta }\right) \). Therefore \(\mathrm{Re}\, t=\eta \). If q is on the arc \({{\mathcal {C}}}_1\), we further have \(\mathrm{Im}(t)\ll _\delta \eta \).
To prove Lemma 3.8, it suffices to show the following upper bounds:
First, for \(E_3\) observe that \(L(\mathrm{e}^{-t})-\frac{\log t}{t^B}(\sum _{s=0}^{k-1} \alpha _s t^s)\ll t^{k-B}|\log t|\asymp \eta ^{k-B}\log N\) by HYPO 1 and that \( \left| \exp \left( \frac{c^2}{t}+Nt \right) \right| \le \exp \left( 2c\sqrt{N} \right) . \) Since the length of \({{\mathcal {C}}}_1\) is \(\asymp \eta \), we see that
Second, for \(E_2\) we note that \(L(\mathrm{e}^{-t})\ll \frac{\log \eta }{\eta ^B} \asymp \eta ^{-B}\log N\) by HYPO 1 and that \( \xi - t^\beta \exp \left( \frac{c^2}{t}\right) \ll t^\beta \exp \left( \frac{c^2-\gamma }{t} \right) \ll \eta ^\beta \) by HYPO 2. Therefore
Finally, on using the assumptions on the growth of L and \(\xi \) on the “minor arc” \({{\mathcal {C}}}_2\), we establish the bound for \(E_1\). By HYPO 3, for \(q\in {{\mathcal {C}}}_2\) we have \(L(q)\ll N^C\). By HYPO 4, for \(q\in {{\mathcal {C}}}_2\) we have \(\xi (q) \ll \xi (|q|)\exp (-\delta '\sqrt{N})\). Since \(|q|\in {{\mathcal {C}}}_1\) we have
Thus \( E_1\ll N^{C} \exp \left( (2c-\delta ')\sqrt{N} \right) . \)
On combining the three bounds for \(E_1,E_2,E_3\) we arrive at
\(\square \)
Proof of Lemma 3.9
As in Lemma 3.7, let \({{\mathcal {D}}}_2\) denote the line on the t-plane on which \(\mathrm{Re}\,t=\eta \) and \(\left| \mathrm{Im}\,t\right| \le A\eta \). Let \({{\mathcal {D}}}_1\) (resp. \({{\mathcal {D}}}_3\)) denote the line on which \(\mathrm{Re}\,t\le \eta \) and \(\mathrm{Im}\,t=-A\eta \) (resp. \(\mathrm{Im}\,t=A\eta \)). Write \({{\mathcal {D}}}={{\mathcal {D}}}_1+{{\mathcal {D}}}_2+{{\mathcal {D}}}_3\) for the contour with counter-clockwise orientation. By (3.25) we have
Set
We claim that \(W_s^*\) is a good approximation for \(V_s^*\), namely:
Indeed, if t lies on \({{\mathcal {D}}}_3\), then \( \mathrm{Re}\left( \frac{c^2}{t} \right) \le \frac{c^2}{2\eta } = \frac{c\sqrt{N}}{2} \) and, on putting \(t=(\eta -i\cdot A\eta )-u\),
The same bound holds when t lies on \({{\mathcal {D}}}_1\). Thus
so our claim is proven.
On the other hand, by (3.1) and (3.12) we have
It now follows from (3.29), (3.4), and Theorem 3.4 that
Here we combine (3.4), (3.13), and (3.29) to get the formulas for the coefficients \(l'_{s,r}\) and \(l_{s,r}\):
Finally, on combining (3.28) and (3.30) we conclude the lemma. \(\square \)
Proof of Proposition 1.9
As in the proof of Proposition 1.8, on taking \(k=R+1\) in Lemma 3.8 and taking \(s=R\) in Lemma 3.9 we deduce that
Then we use Lemma 3.9 to plug in the asymptotic expansion of each \(V_s^*\), namely
On plugging (3.32) into (3.31), we conclude Proposition 1.9. \(\square \)
Proof of Proposition 1.10
By appealing to Theorems 3.2 and 3.5, one deduces the following estimate:
Lemma 3.10
Let \(s\ge 1\) and \(R\ge 1\) be integers. If \(B-\beta =\frac{1}{2}\), then
The proof of Proposition 1.10 then rests on Lemmas 3.8 and 3.10. By the same token as the proof of Proposition 1.9, one shows Proposition 1.10 in a straightforward manner. \(\square \)
4 Asymptotic expansion
In this section we compute various asymptotic expansions of holomorphic modular forms and quantum modular forms. These functions are the building blocks of the generating functions of Theorems 1.1–1.7.
4.1 The partition function and the Dedekind eta function
A pivoting character in the theory of combinatorial analysis of partition functions is the Dedekind’s eta function
It is a half-integral weight modular form. Its relation to the partition function stems from the identity
The modularity of the Dedekind eta function is a key ingredient in the circle method which provides asymptotic expansion for the partition function p(N). According to Hardy–Ramanujan and Wright, among others (see [49, Section 1.4, p. 280] and [81, pp. 112–113]):
Theorem 4.1
Let \(0<\delta <\frac{\pi }{2}\) be a constant.
-
(1)
As \(\left| t\right| \rightarrow 0\) in the bounded cone \(\left| \arg t\right| < \frac{\pi }{2} - \delta \)
$$\begin{aligned} \xi _\infty (\mathrm{e}^{-t})&= \left( \frac{t}{2\pi }\right) ^{\frac{1}{2}} \mathrm{e}^{ \frac{\pi ^2}{6t} - \frac{t}{24}} \left( 1+O_\delta \left( \mathrm{e}^{-\frac{4\pi ^2}{t} }\right) \right) , \\ \frac{1}{\eta (\mathrm{e}^{-t})}&= \left( \frac{t}{2\pi }\right) ^{\frac{1}{2}}\mathrm{e}^{ \frac{\pi ^2}{6t} } \left( 1+O_\delta \left( \mathrm{e}^{ -\frac{4\pi ^2}{t} }\right) \right) . \end{aligned}$$ -
(2)
There exists a positive constant \(\delta '=\delta '(\delta )\) such that, as \(\left| t\right| \rightarrow 0\) in the bounded cone \(\frac{\pi }{2} - \delta \le \left| \arg t\right| < \frac{\pi }{2}\),
$$\begin{aligned} \xi _\infty (\mathrm{e}^{-t}) \ll _\delta \xi _\infty (|\mathrm{e}^{-t}|)\exp \left( \frac{-\delta '}{t} \right) , \\ \frac{1}{ \eta (\mathrm{e}^{-t}) } \ll _\delta \frac{1}{ \eta (|\mathrm{e}^{-t}|) }\exp \left( \frac{-\delta '}{t} \right) . \end{aligned}$$
4.2 The divisor function and a period function
In their recent work [13], Bettin and Conrey studied the divisor generating function
where d(n) denotes the number of positive divisors of n and \({{\mathbb {H}}}\) denotes the Poincaré upper half-plane. Bettin and Conrey discovered that \(S_0(z)\) is associated with the period function \(\psi _0(z)\) given by
and showed the following
Theorem 4.2
(Bettin–Conrey) [13, Theorem 1] The period function \(\psi _0(z)\), originally defined for \(z\in {{\mathbb {H}}}\), extends to an analytic function on \({{\mathbb {C}}}':={{\mathbb {C}}}-{{\mathbb {R}}}_{\le 0}\) via the representation
where \(\gamma =0.5772156\ldots \) is Euler’s constant and
for any nonnegative integer M.
Our main goal in this paragraph is to show that the function \(L(\mathrm{e}^{-t}):=\psi _0\left( \frac{it}{2\pi }\right) \) is a linear combination of a function of polynomial type and a function of logarithmic type (see HYPO 1 in Sect. 1.5). We first start with the term \(g_0(z)=g_0\left( \frac{it}{2\pi }\right) \). It is clear from (4.3) that
Set
Lemma 4.3
Let M be a positive integer. As \(|t|\rightarrow 0\) in the right half-plane \(\mathrm{Re}\,t>0\), one has \(A_M(t)\ll _M t^{2M+\frac{1}{2}}\).
Proof
Using the functional equation of the Riemann zeta function \(\zeta (s)\) together with the identities \(\Gamma (s)\Gamma (s+\frac{1}{2})=\pi ^{\frac{1}{2}}2^{1-2s}\Gamma (2s)\) and \(\Gamma (s)\Gamma (1-s)=\frac{\pi }{\sin (\pi s)}\), we see that
Therefore
Write \(s=\frac{1}{2}+2M+it_0\). We break the integral \(\int _{(\frac{1}{2}+2M)} \mathrm{d}s = i\int _{-\infty }^\infty dt_0\) into three parts: (a) \(|t_0|\ge 220M\), (b) \(1\le |t_0|< 220M\), and (c) \(|t_0|<1\) and hence write \(A=A_a+A_b+A_c\) accordingly.
On part (a), i.e., \(|t_0|\ge 220M\) and \(\sigma =\frac{1}{2}+2M\), we have the following estimates
here all estimates except for the second line are apparent, whereas for the second line we note
Hence \(A_a\ll _M t^{\frac{1}{2}+2M} \int _M^\infty t_0^{1+2M} \mathrm{e}^{-\frac{3}{2}\pi t_0} dt_0 \ll _M t^{\frac{1}{2}+2M}.\) Similar arguments show that \(A_b\ll _M t^{\frac{1}{2}+2M}\) and that \(A_c\ll _M t^{\frac{1}{2}+2M}\). This concludes the lemma. \(\square \)
Corollary 4.4
Let M be a positive integer. One has
From the relation between the divisor generating function \(S_0(z)\) and the associated period function \(\psi _0(z)\), namely
we are now ready to see that the function \(S_0\left( \frac{it}{2\pi } \right) \) satisfies HYPO 1 and HYPO 3.
Corollary 4.5
-
(1)
Let M be a positive integer. As \(\left| t\right| \rightarrow 0\) in the bounded cone \(\left| \arg t\right| < \frac{\pi }{2} - \delta \), one has
$$\begin{aligned} S_0\left( \frac{it}{2\pi } \right) = -\frac{\log t}{t} + \frac{\gamma }{t} + \frac{1}{4} + \sum _{n = 1}^{M} \frac{B_{2n}^2}{(2n)!\,(2n)}t^{2n-1} + O({t}^{2M+\frac{1}{2}}) . \end{aligned}$$(4.4) -
(2)
As \(\left| t\right| \rightarrow 0\) in the bounded cone \(\frac{\pi }{2} - \delta \le \left| \arg t\right| < \frac{\pi }{2}\), one has
$$\begin{aligned} S_0\left( \frac{it}{2\pi } \right) \ll _\delta t^{-\frac{3}{2}}. \end{aligned}$$(4.5)
The corollary shows that the function \(S_0\left( \frac{it}{2\pi } \right) \) is a sum of a series of polynomial type and a series of logarithmic type in the sense of HYPO 1, and that \(S_0\left( \frac{it}{2\pi } \right) \) satisfies HYPO 3.
Proof
-
(1)
This is an immediate consequence of Corollary 4.4 and the observation that in the given bounded cone, the function \(S_0\left( -\frac{1}{z}\right) = S_0\left( \frac{2\pi i}{t}\right) \) decays exponentially with respect to \(\frac{1}{|t|}\).
-
(2)
We have
$$\begin{aligned} S_0\left( -\frac{1}{z}\right)&= S_0\left( \frac{2\pi i}{t}\right) = \sum _{n=1}^\infty d(n)\mathrm{e}^{-\frac{4\pi ^2n}{t}} \\&\ll \sum _{n=1}^\infty n^\epsilon \mathrm{e}^{-\frac{4\pi ^2n\mathrm{Re}\,t}{|t|^2}} \le \sum _{n=1}^\infty \mathrm{e}^{\epsilon \log n-\frac{2\pi ^2n}{N^{1/2}}}. \end{aligned}$$We then break this latter sum as \(\sum _{n=1}^\infty = \sum _{ n< N^{2/3}} + \sum _{n\ge N^{2/3}}\) . For \(n< N^{2/3}\), we have \(\sum _{n<N^{2/3}} \mathrm{e}^{\epsilon \log n-\frac{2\pi ^2n}{N^{1/2}}} \le \sum _{n<N^{2/3}} \mathrm{e}^{\frac{2}{3}\epsilon \log n}\le N^{\frac{2}{3}+\frac{2\epsilon }{3}} \ll N^{\frac{3}{4}}\). For \(n\ge N^{2/3}\), we have \(\epsilon \log n<\frac{n}{N^{1/2}}\) and hence
$$\begin{aligned} \sum _{n\ge N^{2/3}} \mathrm{e}^{\epsilon \log n-\frac{2\pi ^2n}{N^{1/2}}} \le \sum _{n\ge N^{2/3}} \mathrm{e}^{\frac{n}{N^{1/2}}(1-2\pi ^2)} \ \le \sum _{n\ge N^{2/3}} \mathrm{e}^{-\frac{n}{N^{1/2}}} \ll N^{1/2}. \end{aligned}$$This concludes the second statement of the corollary. \(\square \)
4.3 The Ramanujan–Andrews–Dyson–Hickerson–Cohen pair \((\sigma ,\sigma ^*)\)
The pair \((\sigma ,\sigma ^*)\) given by
is one of the very first examples in the theory of quantum modular form [83]. Set
Put \(R_+ := R+R^* \) and \(R_- := R-R^*\).
In this paragraph, let \({\epsilon }\in \{+,-\}\) and let \(A>1\) be any (fixed) constant. Our goal is to work out an integral representation for \(R_{\epsilon }(z)\) which is analogous to (4.2) and which implies useful asymptotic expansions. Our starting observation is that \(R_{\epsilon }(z)\) is an inverse Mellin transform of a certain Hecke L-function. We will look at the period function of type \(\psi _{\epsilon }(z)=R_{\epsilon }(z)-\frac{1}{cz}R_{\epsilon }\left( -\frac{1}{cz} \right) \) where \(c>0\) is a normalizing constant.
Define
We collect the relevant results from [7, 16, 29] in the following theorem.
Theorem 4.6
-
(1)
\(T({\epsilon }n)=O(\log n)\) for \({\epsilon }\in \{+,-\}\) and \(n\in {{\mathbb {Z}}}_{>0}\);
-
(2)
\(L_{\epsilon }(s)\) converges absolutely for \(\mathrm{Re}\,s>1\);
-
(3)
\(\Lambda _{\epsilon }(s)\) extends to an entire function of order 1 and satisfies \(\Lambda _{\epsilon }(s)=\Lambda _{\epsilon }(1-s)\);
-
(4)
Outside the critical strip \(0<\mathrm{Re}\,s<1, L_+(s)\) has trivial zeros (of order 2) at \(s\in 2{{\mathbb {Z}}}_{\le 0}=\{0,-2,-4,-6,\ldots \}\). Outside the critical strip \(0<\mathrm{Re}\,s<1, L_-(s)\) has trivial zeros (of order 2) at \(s\in -1+2{{\mathbb {Z}}}_{\le 0}=\{-1,-3,-5,-7,\ldots \}\).
The following is an analogue of Theorem 4.2.
Theorem 4.7
For \(z\in {{\mathbb {H}}}\) one has
where the \(r_{{\epsilon },n}\) are given by \(r_{+,0}=0\) and
Proof
We have
Now let \({\epsilon }=+\) and move the line of integration to the left, say to the line \(\left( -\frac{1}{2}-2M\right) \) for any positive integer M. The poles of the integrand in (4.14), namely \(\mathrm{e}^{\frac{1}{2}i\pi s} (2\pi z)^{-s} \,\Gamma (s) \,L_\mathrm{+}(s)\), are simple poles at \(s\in -1+2{{\mathbb {Z}}}_{\le 0}\). For \(n\in {{\mathbb {Z}}}_{>0}\) we have
One can use the functional equation of \(L_+\) to rewrite this expression of \(r_{+,n}\). The same thing can be said for \({\epsilon }=-\). In this case, the poles of the integrand in (4.14), namely \(\mathrm{e}^{\frac{1}{2}i\pi s} (2\pi z)^{-s} \,\Gamma (s) \,L_\mathrm{-}(s)\), are simple poles at \(s\in 2{{\mathbb {Z}}}_{\le 0}\). For \(n\in {{\mathbb {Z}}}_{\ge 0}\) we have
One can use the functional equation of \(L_-\) to rewrite this expression of \(r_{-,n}\). Since \(r_{+,0}=0\), we see that
Hence
Now let us look at \(\frac{1}{z}R_{\epsilon }\left( -\frac{1}{z} \right) \) for \({\epsilon }\in \{\mathrm{+},\mathrm{-}\}\). We have
One applies the functional equation of \(\Lambda _{\epsilon }(s)\) (Theorem 4.6) to see that
Since the current integrands do not have poles when \(\mathrm{Re}\, s\le 0\), we are free to move the line of integration to the left and deduce that
We now note two identities:
We add (4.15) and (4.16) (with z replaced by 1152z) and use (4.18) to conclude (4.10). We add (4.15) and (4.17) (with z replaced by 1152z) and use (4.19) to conclude (4.11). \(\square \)
Proceeding in the same fashion as Corollaries 4.4 and 4.5, with the aid of Theorem 4.6 we arrive at:
Corollary 4.8
Let M be a positive integer. One has
We are now ready to see that each of the functions \(q^{\frac{1}{24}}\sigma (q)=R\left( \frac{it}{48\pi } \right) \) and \(q^{-\frac{1}{24}}\sigma ^*(q)=R^*\left( \frac{it}{48\pi } \right) \) satisfies HYPO 1 and HYPO 3. Recall \(R=\frac{1}{2}(R_++R_-)\) and \(R^*=\frac{1}{2}(R_+-R_-)\).
Corollary 4.9
-
(1)
Let M be a positive integer. Let \(q=\mathrm{e}^{2\pi iz}=\mathrm{e}^{-t}\). As \(\left| t\right| \rightarrow 0\) in the bounded cone \(\left| \arg t\right| < \frac{\pi }{2} - \delta \) and \(|\mathrm{Im}\,t|\le \pi \), one has
$$\begin{aligned} \mathrm{e}^{-\frac{t}{24}}\sigma (\mathrm{e}^{-t}) =&\, \frac{1}{2}L_-(0) + \sum _{n=1}^{M} \left( -\frac{L_\mathrm{+}(1-2n)}{(2n-1)!\,2}\left( \frac{t}{24}\right) ^{2n-1} + \frac{L_\mathrm{-}(-2n)}{(2n)!\,2}\left( \frac{t}{24}\right) ^{2n} \right) \\&+ O(t^{2M+\frac{1}{2}}) , \\ \mathrm{e}^{\frac{t}{24}}\sigma ^*(\mathrm{e}^{-t}) =&-\frac{1}{2}L_-(0) + \sum _{n=1}^{M} \left( -\frac{L_\mathrm{+}(1-2n)}{(2n-1)!\,2}\left( \frac{t}{24}\right) ^{2n-1} - \frac{L_\mathrm{-}(-2n)}{(2n)!\,2}\left( \frac{t}{24}\right) ^{2n} \right) \nonumber \\&+ O(t^{2M+\frac{1}{2}}). \end{aligned}$$ -
(2)
As \(\left| t\right| \rightarrow 0\) in the bounded cone \(\frac{\pi }{2} - \delta \le \left| \arg t\right| < \frac{\pi }{2}\) and \(|\mathrm{Im}\,t|\le \pi \), there is a positive real constant C (independent of t) for which
$$\begin{aligned} \mathrm{e}^{-\frac{t}{24}}\sigma (\mathrm{e}^{-t}) \ll _\delta t^{-C} \quad \text {and} \quad \mathrm{e}^{\frac{t}{24}}\sigma ^*(\mathrm{e}^{-t}) \ll _\delta t^{-C}. \end{aligned}$$
Let us simplify the notation of Corollary 4.9 by the following
Definition 4.10
Let the coefficients \(\sigma _n\) and \(\sigma ^*_n\) be given by
4.4 The Kontsevich–Zagier function F(q)
Kontsevich defined the series
This series does not converge in any open subset of \({{\mathbb {C}}}\), but it makes sense when q is a root of unity. Zagier [82] investigated this series in great details. An interesting aspect of his work is a “strange identity”
To quote Zagier: “The meaning of the equality is that the function on the left agrees at roots of unity with the radial limit of the function on the right, and similarly for the derivatives of all orders. Equation (4.20), of which
is a consequence, is related to the Dedekind \(\eta \)-function and the theory of periods of modular forms.”
To be precise, Zagier defined for \(|q|<1\) the following functions
Theorem 4.11
(Zagier [82])
-
(1)
One has \(F_1(q) = F_2(q) = -\frac{1}{2}H(q) + \left( \frac{1}{2}-E(q) \right) (q)_\infty \) as an identity in \({{\mathbb {Z}}}\left[ \frac{1}{2} \right] [[q]]\). Note however that \(F_1=F_2\in {{\mathbb {Z}}}[[q]]\).
-
(2)
As \(t\in {{\mathbb {R}}}_{+},t\rightarrow 0\) one has
$$\begin{aligned} \mathrm{e}^{-\frac{t}{24}}H\left( \mathrm{e}^{-t}\right) =\sum _{n=1}^\infty n\left( \frac{12}{n}\right) \mathrm{e}^{-\frac{n^2t}{24}} \sim \sum _{n=0}^\infty \gamma _nt^n \end{aligned}$$where \(\gamma _n=\frac{(-1)^n}{24^nn!}L\left( -2n-1,\left( \frac{12}{\cdot } \right) \right) \).
One can then use the same arguments as Sect. 4.3 to deduce the following:
Corollary 4.12
-
(1)
Let M be a positive integer. As \(\left| t\right| \rightarrow 0\) in the bounded cone \(\left| \arg t\right| < \frac{\pi }{2} - \delta \) one has
$$\begin{aligned} \mathrm{e}^{-\frac{t}{24}}F_1(\mathrm{e}^{-t}) = \mathrm{e}^{-\frac{t}{24}}F_2(\mathrm{e}^{-t}) = -2 \sum _{n=1}^{M} \gamma _nt^n + O(t^{M+1}) \end{aligned}$$where \(\gamma _n=\frac{(-1)^n}{24^nn!}L\left( -2n-1,\left( \frac{12}{\cdot } \right) \right) \) and \(-2\gamma _n = \frac{T_n}{24^n \ n!}\).
-
(2)
As \(\left| t\right| \rightarrow 0\) in the bounded cone \(\frac{\pi }{2} - \delta \le \left| \arg t\right| < \frac{\pi }{2}\) there is a positive real constant C (independent of t) for which
$$\begin{aligned} \mathrm{e}^{-\frac{t}{24}}F_1(\mathrm{e}^{-t}) = \mathrm{e}^{-\frac{t}{24}}F_2(\mathrm{e}^{-t}) \ll _\delta t^{-C} . \end{aligned}$$
5 Proofs of combinatorial probability theorems
In this section we prove the main theorems stated in Sect. 1.
Proof of Theorem 1.1
Recall that \(p_{\mathrm{lo}}(N)\) is the number of partitions of N for which \(\mathrm{sm}(\lambda ) \equiv 1\,\,(\mathrm{mod}\,\, {2})\). The first identity of Theorem 1.7 expresses the generating function \(\sum _{N\ge 0} p_{\mathrm{lo}}(N)q^N\) as the product of a modular form and a function with quantum modular behavior.
We show the additional q-identity
Consider the basic hypergeometric q-series
When \(\left| t\right| = 1\), but \(t\ne 1\) and \(\left| q\right| <1\) the series converges via the recurrence
which appears as (2.4) in [42]. Applying (5.2) with \(t=-1,a=1,b=0\), we obtain (5.1).
Using the notation of Sects. 1.5 and 3, it follows from (1.5) that
where \(L(q)= \frac{1}{(2\pi )^{\frac{1}{2}}}q^{\frac{1}{24}}\sum _{n=0}^\infty (-1)^n ((q)_n - (q)_\infty )\) and \(\xi (q)=\frac{(2\pi )^{\frac{1}{2}}}{\eta (q)}\). Corollary 4.9 shows that \(L(\mathrm{e}^{-t})\) verifies HYPO 1 and HYPO 3, whereas Theorem 4.1 shows that \(\xi (\mathrm{e}^{-t})\) verifies HYPO 2 and HYPO 4. In the notation of Sect. 1.5, we have
Proposition 1.8 then yields
where \(A_r=\sum _{s=0}^r \alpha _{s}w_{s,r-s}\) and
This concludes Theorem 1.1. \(\square \)
Proof of Theorem 1.2
It follows from (1.6) that
where \(L(q)= \frac{1}{(2\pi )^{\frac{1}{2}}}q^{\frac{1}{24}}F(q)\) and \(\xi (q)=\frac{(2\pi )^{\frac{1}{2}}}{\eta (q)}\). Corollary 4.9 shows that \(L(\mathrm{e}^{-t})\) verifies HYPO 1 and HYPO 3, whereas Theorem 4.1 shows that \(\xi (\mathrm{e}^{-t})\) verifies HYPO 2 and HYPO 4. In the notation of Sect. 1.5, we have
Proposition 1.8 then yields
where \(B_r=\sum _{s=0}^r \alpha _{s}w_{s,r-s}\) and
This concludes Theorem 1.2. \(\square \)
Proof of Theorem 1.3
By definition we have
Theorem 1.3 is now an immediate consequence of (5.3) and an identity which was proved in [62, Section 6.3]:
See also (1.8) and its proof in Sect. 2. \(\square \)
Proof of Theorem 1.4
Using the notation of Sect. 3, it follows from (1.7) that
where \(L(q)= \frac{1}{(2\pi )^{\frac{1}{2}}}q^{\frac{1}{24}}F(q)\) and \(\xi (q)=\frac{(2\pi )^{\frac{1}{2}}}{n(q)}\). Corollary 4.12 shows that \(L(\mathrm{e}^{-t})\) verifies HYPO 1 and HYPO 3, whereas Theorem 4.1 shows that \(\xi (\mathrm{e}^{-t})\) verifies HYPO 2 and HYPO 4. In the notation of Sect. 1.5, we have
Proposition 1.8 then yields
where \(D_r=\sum _{s=0}^r \alpha _{s}w_{s,r-s}\) and
This concludes Theorem 1.4. \(\square \)
Proof of Theorem 1.5
Using the notation of Sect. 3, it follows from (1.8) that
where \(L(q)= \frac{1}{(2\pi )^{\frac{1}{2}}}q^{\frac{1}{24}} \sum _{n=1}^\infty \frac{q^n}{1-q^n}\) and \(\xi (q)=\frac{(2\pi )^{\frac{1}{2}}}{\eta (q)}\). Corollary 4.5 shows that \(L(\mathrm{e}^{-t})\) verifies HYPO 1 and HYPO 3, whereas Theorem 4.1 shows that \(\xi (\mathrm{e}^{-t})\) verifies HYPO 2 and HYPO 4. Moreover, we write
and splits into two parts: (a) \(-\frac{\log t}{t}\), (b) \(\frac{\gamma }{t}-\frac{1}{4} + \sum _{n=1}^\infty \frac{B_{2n}^2}{(2n)!(2n)}t^{2n-1}\). In the notation of Sect. 1.5, we now have a combination of the logarithmic-type case with half-integer order [part (a)] and of the polynomial-type case [part (b)]. Proposition 1.10 applies to part (a), whereas Proposition 1.8 applies to part (b). For example, the parameters in the logarithmic-type case are
Applying Propositions 1.8 and 1.10, we conclude Theorem 1.5. \(\square \)
Proof of Theorem 1.6
Using the notation of Sect. 3, it follows from (1.8) that
where \(L(q)= 2^{-\frac{1}{2}}q^{-\frac{1}{24}} \left( -\frac{1}{2}+\sum _{n=1}^\infty \frac{q^n}{1-q^n}\right) \) and \(\xi (q)=2^{\frac{1}{2}}q^{\frac{1}{24}}(-q)_\infty \). Corollary 4.5 shows that \(L(\mathrm{e}^{-t})\) verifies HYPO 1 and HYPO 3, whereas Theorem 4.1 shows that \(\xi (\mathrm{e}^{-t})\) verifies HYPO 2 and HYPO 4. Moreover, we write
and splits into two parts: (a) \(-\frac{\log t}{t}\), (b) \(\frac{\gamma }{t}-\frac{1}{4} + \sum _{n=1}^\infty \frac{B_{2n}^2}{(2n)!(2n)}t^{2n-1}\). In the notation of Sect. 1.5, we now have a combination of the logarithmic-type case with integer order [part (a)] and of the polynomial-type case [part (b)]. Proposition 1.9 applies to part (a), whereas Proposition 1.8 applies to part (b). For example, the parameters in the logarithmic-type case are
Applying Propositions 1.8 and 1.9, we conclude Theorem 1.6. \(\square \)
Acknowledgements
This work was a sequence of previous work [61, 62], which started from a project group led by Ken Ono in the Arizona Winter School 2013. Without the excellent working environment provided by the group leader and the Winter School organizers, this work would not have been realized. The authors are grateful to Jeffrey C. Lagarias for his support and encouragement. We would like to thank Yingkun Li for discussions about early aspects of this work. We would like to thank H. M. Bui for his literature help.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
References
Andrews, G.E.: Ramanujan’s “lost” notebook V: Euler’s partition identity. Adv. Math. 61, 156–164 (1986)
Andrews, G.E.: The Theory of Partitions. Cambridge University Press, Cambridge (1998)
Andrews, G.E.: The number of smallest parts in the partitions of \(n\). J. Reine Angew. Math. 624, 133–142 (2008)
Andrews, G.E.: Concave compositions. Electron. J. Comb. 18(2) (2011)
Andrews, G.E.: Concave and convex compositions. Ramanujan J. 31, 67–82 (2013)
Andrews, G.E.: Partitions. In: Watkins, J.J., Wilson, R. (eds.) Combinatorics, Ancient and Modern, pp. 205–229. Oxford University Press, Oxford (2013)
Andrews, G.E., Dyson, F.J., Hickerson, D.: Partitions and indefinite quadratic forms. Invent. Math. 91, 391–407 (1988)
Andrews, G.E., Freitas, P.: Extension of Abel’s Lemma with \(q\)-series implications. Ramanujan J. 10, 137–152 (2005)
Andrews, G.E., Garvan, F.: Dyson’s crank of a partition. Bull. Am. Math. Soc. 18, 167–171 (1988)
Andrews, G.E., Garvan, F.G., Liang, J.L.: Self-conjugate vector partitions and the parity of the spt-function. Acta Arith. 158, 199–218 (2013)
Andrews, G.E., Jiménez-Urroz, J., Ono, K.: \(q\)-series identities and values of certain \(L\)-functions. Duke Math. J. 108(3), 395–419 (2001)
Andrews, G.E., Rhoades, R.C., Zwegers, S.: Modularity of the concave composition generating function. Algebra & Number Theory 7, 2103–2139 (2013)
Bettin, S., Conrey, B.: Period functions and cotangent sums. Algebra Number Theory 7, 215–242 (2013)
Bringmann, K., Creutzig, T., Rolen, L.: Negative index Jacobi forms and quantum modular forms. Research in the Mathematical Sciences 1, 1–32 (2014)
Bringmann, K., Dousse, J.: On Dyson’s crank conjecture and the uniform asymptotic behavior of certain inverse theta functions. Trans. AMS 368, 3141–3155 (2016)
Bringmann, K., Li, Y., Rhoades, R.C.: Asymptotics for the number of row-Fishburn matrices. Eur. J. Comb. 41, 183–196 (2014)
Bringmann, K., Holroyd, A., Mahlburg, K., Vlasenko, M.: \(k\)-run overpartitions and mock theta functions. Q. J. Math. 64, 1009–1021 (2013)
Bringmann, K., Mahlburg, K.: An extension of the Hardy–Ramanujan circle method and applications to partitions without sequences. Am. J. Math. 133, 1151–1178 (2011)
Bringmann, K., Mahlburg, K.: Improved bounds on metastability thresholds and probabilities for generalized bootstrap percolation. Trans. AMS 364, 3829–3859 (2012)
Bringmann, K., Mahlburg, K., Mellit, A.: Convolution bootstrap percolation models, Markov-Type stochastic processes, and mock theta functions. Int. Math. Res. Not. 2013, 971–1013 (2013)
Bringmann, K., Mahlburg, K., Rhoades, R.C.: Taylor coefficients of Mock–Jacobi forms and moments of partition statistics. Math. Proc. Camb. Philos. Soc. 157, 231–251 (2014)
Bringmann, K., Mahlburg, K.: Asymptotic inequalities for positive crank and rank moments. Trans. AMS 366, 1073–1094 (2014)
Bringmann, K., Ono, K.: The \(f(q)\) mock theta function conjecture and partition ranks. Invent. Math. 165, 243–266 (2006)
Bringmann, K., Ono, K.: Dyson’s ranks and Maass forms. Ann. Math. 171, 419–449 (2010)
Brychkov, Y.A., Geddes, K.O.: On the derivatives of the Bessel and Struve functions with respect to the order. Integr. Transforms Special Funct. 16, 187–198 (2005)
Bryson, J., Ono, K., Pitman, S., Rhoades, R.C.: Unimodal sequences and quantum and mock modular forms. Proc. Natl. Acad. Sci. USA 109, 16063–16067 (2012)
Chapman, R.: Combinatorial proofs of \(q\)-series identities. J. Comb. Theory Ser. A 99(1), 1–16 (2002)
Chen, W.Y., Ji, K.Q.: Weighted forms of Euler’s theorem. J. Combin. Theory Ser. A 114(2), 360–372 (2007)
Cohen, H.: \(q\)-identities for Maass waveforms. Invent. Math. 91, 409–422 (1988)
Dousse, J., Mertens, M.: Asymptotic formulas for partition ranks. Acta Arith. 168, 83–100 (2015)
Diaconis, P., Janson, S., Rhoades, R.C.: Note on a partition limit theorem for rank and crank. Bull. Lond. Math. Soc. 45(3), 551–553 (2013)
Dyson, F.J.: Some guesses in the theory of partitions. Eureka 8, 10–15 (1944)
Dyson, F.J.: A walk through Ramanujan’s garden. In: Andrews, G.E., Askey, R.A., Berndt, B.C., Ramanathan, K.G., Rankin, R.A. (eds.) Ramanujan Revisited, pp. 7–28. Academic Press, Boston (1988)
Erdős, P., Lehner, J.: The distribution of the number of summands in the partitions of a positive integer. Duke Math. J. 8(2), 335–345 (1941)
Erdős, P., Turán, P.: On some problems of statistical group theory I. Z. Whhr. Verw. Gebiete 4, 151–163 (1965)
Erdős, P., Turán, P.: On some problems of statistical group theory II. Acta Math. Acad. Sci. Hung. 18, 151–163 (1967)
Erdős, P., Turán, P.: On some problems of statistical group theory III. Acta Math. Acad. Sci. Hung. 18, 309–320 (1967)
Erdős, P., Turán, P.: On some problems of statistical group theory IV. Acta Math. Acad. Sci. Hung. 19, 413–435 (1968)
Erdős, P., Turán, P.: On some problems of statistical group theory V. Period. Math. Hung. 1, 5–13 (1971)
Erdős, P., Turán, P.: On some problems of statistical group theory VI. J. Ind. Math. Soc. 34, 175–192 (1970)
Erdős, P., Turán, P.: On some problems of statistical group theory VII. Period. Math. Hung. 2, 149–163 (1972)
Fine, N.J.: Basic hypergeometric series and applications. Mathematical Surveys and Monographs, no. 27. American Mathematical Society, Providence (1988)
Folsom, A., Ono, K., Rhoades, R.C.: \(q\)-series and quantum modular forms. Forum Math Pi 1, 1–27 (2013)
Fristedt, B.: The structure of random partitions of large integers. Trans. Am. Math. Soc. 337, 703–735 (1993)
Garvan, F.G.: New combinatorial interpretations of Ramanujan’s partition congruences mod \(5, 7\) and \(11\). Trans. Am. Math. Soc. 305, 47–77 (1988)
Garvan, F.G.: Combinatorial interpretations of Ramanujan’s partition congruences. Ramanujan revisited (Urbana-Champaign, Ill., 1987). Academic Press, Boston (1988)
Grabner, P.J., Knopfmacher, A.: Analysis of some new partition statistics. Ramanujan J. 12(3), 439–454 (2006)
Grabner, P.J., Knopfmacher, A., Wagner, S.: A general asymptotic scheme for moments of partition statistics. Comb. Probab. Comput. 23, 1–30 (2014)
Hardy, G.H., Ramanujan, S.: Asymptotic formulae in combinatorial analysis. Proc. LMS 17, 75–115 (1918)
Hua, L.-K.: On the number of partitions of a number into unequal parts. Trans. AMS 51, 194–201 (1942)
Kane, D., Rhoades, R.C.: A proof of Andrews’ conjecture on partitions with no short sequences arXiv:1204.4738
Kim, B., Jo, S.: On asymptotic formulas for certain \(q\)-series involving partial theta functions. Proc. AMS 143, 3253–3263 (2015)
Kessler, I., Livingston, M.: The expected number of parts in a partition of n. Monatsh. Math. 81(3), 203–212 (1976)
Kim, B., Lovejoy, J.: The rank of a unimodal sequence and a partial theta identity of Ramanujan. Int. J. Number Theory 10, 1081–1098 (2014)
Kim, B., Kim, E., Seo, J.: On the number of even and odd strings along the overpartitions of \(n\). Arch. Math. (Basel) 102, 357–368 (2014)
Kim, B., Kim, E., Seo, J.: Asymptotics for q-expansions involving partial theta functions. Discrete Math. 338, 180–189 (2015)
Knopfmacher, A., Munagi, A.O.: Successions in integer partitions. Ramanujan J. 18, 239–255 (2009)
Lagarias, J.C.: Euler’s constant: Euler’s work and modern developments. Bull. Am. Math. Soc. 50(4), 527–628 (2013)
Lawrence, R., Zagier, D.: Modular forms and quantum invariants of 3-manifolds. Asian J. Math. 3, 93–108 (1999)
Lewis, D., Zagier, D.: Period functions for Maass wave forms I. Ann. Math. 153, 191–258 (2001)
Li, Y., Ngo, T.H., Rhoades, R.C.: Renormalization and quantum modular forms, part I: Maass wave forms arXiv:1311.3043
Li, Y., Ngo, T.H., Rhoades, R.C.: Renormalization and quantum modular forms, part II: Mock theta functions arXiv:1311.3044
Macdonald, I.G.: Symmetric Functions and Hall Polynomials, 2nd edn. Oxford University Press, London (1995)
Montgomery, H.L., Vaughan, R.C.: Multiplicative number theory. I. Classical theory, Cambridge Studies in Advanced Mathematics 97. Cambridge University Press, Cambridge (2007)
Olver, F.W.J., Lozier, D.W., Boisvert, R.F., Clark, C.W.: NIST Handbook of Mathematical Functions. Cambridge University Press, New York (2010)
Olver, F.W.J., Lozier, D.W., Boisvert, R.F., Clark, C.W. (Eds.): NIST Digital Library of Mathematical Functions, Online companion to [65]. http://dlmf.nist.gov/
Ono, K.: Unearthing the visions of a master: harmonic Maass forms and number theory. Current Developments in Mathematics, 2008, pp 347–454. International Press, Somerville (2009).
Oukonkov, A.: Random partitions and instanton counting. ICM 3, 687–711 (2006)
Parry, D., Rhoades, R.C.: Dyson’s crank distribution conjecture Proc. AMS 145, 101–108 (2017)
Pittel, B.: On a likely shape of the random Ferrers diagram. Adv. Appl. Math. 18, 432–488 (1997)
Pittel, B.: Confirming two conjectures about the integer partitions. J. Comb. Theory Ser. A 88(1), 123–135 (1999)
Rademacher, H.: A convergent series for the partition function \(p(n)\). Proc. Nat. Acad. Sci. USA 23(2), 78–84 (1937)
Rhoades, R.C.: Families of quasimodular forms and Jacobi forms: the crank statistic for partitions. Proc. Am. Math. Soc. 141, 29–39 (2013)
Rhoades, R.C.: Asymptotics for the number of strongly unimodal sequences. Int. Math. Res. Not. 3, 700–719 (2014)
Stanley, R.P.: Enumerative combinatorics. Vol. 1, Cambridge Studies in Advanced Mathematics 49. Cambridge University Press, Cambridge (1997)
Vershik, A., Kerov, S.: Asymptotics of the Plancherel measure of the symmetric group and the limit form of Young tableaux. Soviet Math. Dokl. 18, 527–531 (1977)
Vershik, A., Kerov, S.: Asymptotics of the maximal and typical dimension of irreducible representations of the symmetric group. Func. Anal. Appl. 19(1), 25–36 (1985)
Wagner, S.: On the distribution of the longest run in number partitions. Ramanujan J. 20(2), 189–206 (2009)
Wagner, S.: Limit distributions of smallest gap and largest repeated part in integer partitions. Ramanujan J. 25(2), 229–246 (2011)
Watson, G.N.: A Treatise on the Theory of Bessel Functions, 2nd edn. Cambridge University Press, Cambridge (1944)
Wright, E.M.: Stacks II. Q. J. Math. Oxford Ser. 22(2), 107–116 (1971)
Zagier, D.: Vassiliev invariants and a strange identity related to the Dedekind eta-function. Topology 40(5), 945–960 (2001)
Zagier, D.: Quantum modular forms, Quanta of maths. Clay Math. Proc. 11, 659–675 (2010)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Ngo, H.T., Rhoades, R.C. Integer partitions, probabilities and quantum modular forms. Res Math Sci 4, 17 (2017). https://doi.org/10.1186/s40687-017-0102-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s40687-017-0102-4