Abstract
A power series is called lacunary if “almost all” of its coefficients are zero. Integer partitions have motivated the classification of lacunary specializations of Han’s extension of the Nekrasov–Okounkov formula. More precisely, we consider the modular forms
defined in terms of the Dedekind \(\eta \)function, for integers \(a,c \ge 1\), where \(b \ge 1\) is odd throughout. Serre (Publications Mathématiques de l’IHÉS 123–201:2959–2968, 1981) determined the lacunarity of the series when \(a = c = 1\). Later, Clader et al. (Am Math Soc 137(9):2959–2968, 2009) extended this result by allowing a to be general and completely classified the \(F_{a,b,1}(z)\) which are lacunary. Here, we consider all c and show that for \({a \in \{1,2,3\}}\), there are infinite families of lacunary series. However, for \(a \ge 4\), we show that there are finitely many triples (a, b, c) such that \(F_{a,b,c}(z)\) is lacunary. In particular, if \(a \ge 4\), \(b \ge 7\), and \(c \ge 2\), then \(F_{a,b,c}(z)\) is not lacunary. Underlying this result is the proof the tcore partition conjecture proved by Granville and Ono (Trans Am Math Soc 348(1):331–347, 1996).
Introduction and Statement of Results
A series \({\sum \nolimits _{n=0}^{\infty } a(n)q^n}\) is said to be lacunary if “almost all” of its coefficients are zero; that is, if we have
Two examples of generating functions which are lacunary come from identities due to Euler and Jacobi:
These combinatorial identities all have partitiontheoretic interpretations. For example, Euler’s identity (1.1) gives a recurrence for calculating p(n), the number of partitions of n. Further, they are all related to modular forms by the Dedekind \(\eta \)function,
where \(q=e^{2\pi i z}\) and \(\text {Im}(z)>0\). It is wellknown that \(\eta (24z)\) is a weight \(\frac{1}{2}\) modular cusp form on \(\Gamma _{0}(576)\) with Nebentypus character \(\left( \frac{12}{n} \right) \). For background on modular forms, see [8].
In light of (1.1) and (1.2), it is natural to investigate the lacunarity of
The series \(f_{r}(z)\) is closely related to modular forms via the Dedekind \(\eta \)function. Indeed, \(\eta (24z)^{r}=q^{r}f_{r}(24z)\) is a modular cusp form of weight \(\frac{r}{2}\) on \(\Gamma _{0}(576)\). Via the connection of \(f_{r}(z)\) to modular forms, Serre [10] investigated the lacunarity of \(\eta (24z)^{r}\) and thus \(f_{r}(z)\): he proved that, if r is even, then \(f_{r}(z)\) is lacunary if and only if \(r \in \{ 2,4,6,8,10,14,26 \}\).
Remark
If r is odd, the lacunarity of \(f_{r}(z)\) is not as wellunderstood since, in this case, \(\eta (24z)^r\) has halfintegral weight, and so the methods developed by Serre are not applicable. Of course, it is evident from (1.1) and (1.2) that both \(f_1(z)\) and \(f_3(z)\) are lacunary.
At first glance, it is not obvious that the series \(f_{r}(z)\) is always a relative of the partition generating function
However, work by Nekrasov and Okounkov [7] provides the key connection via an extension of this generating function. Let \({\mathcal {P}}\) be the set of partitions of an integer \(n \ge 1\). Recall that for a partition \(\lambda \) of n, we can label each box u of its Ferrers diagram with a positive integer called the hook length, the number of boxes v such that \(v = u\), v lies in the same column and below u, or v lies in the same row and to the right of u. For example, when \(n = 11\), we have the following Ferrers diagram for the partition \(\lambda '=6+4+1\) (Fig. 1):
We define the multiset of all hook lengths of \(\lambda \) to be \({\mathcal {H}}(\lambda )\). For \(\lambda '\), we have \({\mathcal {H}}(\lambda ') = \{1, 1, 1, 2, 2, 3, 4, 5, 5, 6, 8\}\). Nekrasov and Okounkov [7] generalized a result of Macdonald [6] to create a partitiontheoretic generating function. They showed that, for any \(b \in {\mathbb {C}}\), one has
Given an integer \(a \ge 1\), we consider the subset \({\mathcal {H}}_{a}(\lambda ) \subseteq {\mathcal {H}}(\lambda )\) defined by
A partition \(\lambda \) is said to be an acore if \({\mathcal {H}}_{a}(\lambda )= \emptyset \). For \(\lambda '\), we have that \({\mathcal {H}}_{2}(\lambda ')= \{ 2,2,4,6,8 \}\) and that \(\lambda '\) is an acore for \(a=7\) and all \(a \ge 9\). Han [5] generalized Nekrasov and Okounkov’s formula to incorporate this set \({\mathcal {H}}_{a}(\lambda )\):
where \(b,y \in {\mathbb {C}}\). When \(y = a = 1\), one recovers the identity of Nekrasov and Okounkov. We are interested in the case where \(y = q^{a(c  1)}\) for \(c \ge 1\). Hence, for \(a,b,c \ge 1\) we define
where \(r :=abc+a^{2}a^{2}c1\).
Remark
In Lemma 2.1, we show that \(F_{a,b,c}(z)\) is a weakly holomorphic modular form of weight \(\frac{b1}{2}\) whenever b is odd. From now on, we assume \(a,b,c \ge 1\) are all integers and b is odd.
Note that this is a generalization of Clader et al.’s [2] work for which they took \(c = 1\), corresponding to \(y = 1\). In view of Serre’s work and Han’s partitiontheoretic interpretation, they investigated the lacunarity of \(F_{a,b,1}(z)\) and showed that there are finitely many pairs (a, b) for which \(F_{a,b,1}(z)\) is lacunary. The complete list they gave is replicated in the table below:
a  b such that \(F_{a,b,1}\) is lacunary 

1  \(\{ 3,5,7,9,11,15,27 \}\) 
2  \(\{ 3,5,7 \}\) 
4  \( \{ 5,7 \}\) 
5  \( \{ 7,11 \}\) 
6  \( \emptyset \) 
7  \( \{9,15 \}\) 
We now focus our attention to the case where \(c \ge 1\). It turns out that when we allow c to vary, there are infinitely many lacunary \(F_{a,b,c}(z)\). In fact, our first theorem shows that for \(a \in \{1,2,3\}\), there exist infinite families of triples (a, b, c) such that \(F_{a,b,c}(z)\) is lacunary.
Theorem 1.1
For \(F_{a,b,c}(z)\) as defined above, the following are true:

(1)
If \(b = 3\) and \(a \in \{1,2,3\}\), then \(F_{a,b,c}(z)\) is lacunary for all c.

(2)
If \(b = 5\) and \(a \in \{1,2\}\), then \(F_{a,b,c}(z)\) is lacunary for all c.
Remark
Note that this is not a complete classification of lacunary \(F_{a,b,c}(z)\) for \(a \in \{ 1,2,3\}\).
However, if \(a \ge 4\), then we obtain a different phenomenon. Namely, there are only finitely many triples (a, b, c) such that \(F_{a,b,c}(z)\) is lacunary.
Theorem 1.2
If \(a \ge 4\), \(b \ge 1\) is odd, and \(c \ge 2\), then \(F_{a,b,c}(z)\) is not lacunary apart from three possible exceptions where \((a,b,c) \in \{(4,5,3), (4,5,5), (4,5,11)\}\).
To obtain this result, we make use of the theory of modular forms with complex multiplication, Granville and Ono’s [4] proof of the tcore partition conjecture, and the Pólya–Vinogradov Inequality.
We begin by recalling some preliminaries in Sect. 2. In Sect. 3, we prove Theorem 1.1 and Theorem 1.2. Finally, in Sect. 4 we conjecture that \(F_{4,5,3}(z)\), \(F_{4,5,5}(z)\), and \(F_{4,5,11}(z)\) are lacunary and discuss a method by which one can show this.
Preliminaries
In this section, we recall the modularity properties of \(\eta \)quotients as well as various conditions on modular forms for lacunarity.
\(\eta \)Quotients
Let \(M_k(\Gamma _0(N), \chi )\) (resp. \(S_k(\Gamma _0(N), \chi ))\) denote the complex vector space of holomorphic (resp. cuspidal) modular forms of weight k with Nebentypus character \(\chi \) on \(\Gamma _0(N)\). An important example of a cuspidal modular form is the Dedekind \(\eta \)function, defined in (1.3). Products of powers of the Dedekind \(\eta \)function, \(\eta \)quotients, are central to this paper. Formally, an \(\eta \)quotient is any function f that can be written as
for some N and each \(r_{\delta } \in {\mathbb {Z}}\). Theorem 1.64 of [8] gives conditions for when certain \(\eta \)quotients are weakly holomorphic, which means that the poles are supported at cusps. In particular, if there is N such that
and
then f(z) is a weakly holomorphic modular form of weight k on \(\Gamma _0(N)\) with Nebentypus character \(\chi (d) :=\left( \frac{(1)^k s}{d}\right) \), where \(\displaystyle s :=\prod \nolimits _{\delta \mid N} \delta ^{r_\delta }\). We can also compute the order of vanishing of f(z) at a cusp \(\frac{x}{y}\), for \(y \mid N\) and \(\gcd (x,y) = 1\) using the formula from Theorem 1.65 of [8]:
By considering the order of vanishing for all possible \(y \mid N\), one can determine whether f(z) is holomorphic or cuspidal. Applying this theory to our series \(F_{a,b,c}(z)\), we have the following:
Lemma 2.1
Let \(F_{a,b,c}(z)\) be as in (1.6). Then \(F_{a,b,c}(z)\) is a weakly holomorphic modular form of weight \(k=\frac{b1}{2}\) on \(\Gamma _{0}(576ac)\) with Nebentypus character
Furthermore, \(F_{a,b,c}(z)\) is holomorphic if and only if \(b \ge a\) and cuspidal if and only if \(b>a\).
Remark
We choose to include a factor of 24 in the definition of \(F_{a,b,c}(z)\) to guarantee that the conditions mentioned above are satisfied for all triples (a, b, c). This implies that \(F_{a,b,c}(z)\) is a weakly holomorphic modular form on \(\Gamma _0(N)\), where \(N = 576ac\). In general, this N is not necessarily optimal. The optimal N may require altering the factor of 24 in the definition of \(F_{a,b,c}(z)\) to some smaller m satisfying \(mr \equiv 0 \pmod {24}\) for r defined in (1.6). The optimal level of this new modular form is then \(N_{opt} :={{\,\mathrm{lcm}\,}}(a,c)nm\), where the integer \(n \ge 1\) is chosen minimally to satisfy \(\frac{{{\,\mathrm{lcm}\,}}(a,c)}{ac} \cdot n(ba) \equiv 0 \pmod {24}\).
Conditions on Modular Forms for Lacunarity
The lacunarity of certain modular forms is already known. Suppose first that f(z) is a weightone holomorphic modular form on a congruence subgroup. Deligne and Serre (Proposition 9.7 in [3]) showed that f(z) must be lacunary by expressing the coefficients in terms of the Artin Lfunction. Next, suppose that f(z) is a weakly holomorphic modular form of integral weight \(k \ge 2\). If f(z) has a pole at one of its cusps, then it cannot be lacunary. This can be shown using the Hardy–Littlewood circle method, which gives estimates for the magnitude of the Fourier coefficients of f(z) as in Chapter 5 of [1]. Additionally, if f(z) is holomorphic but not cuspidal, then it cannot be lacunary since f(z) can be expressed as a linear combination of Eisenstein series together with a cusp form. Known bounds on the coefficients of such forms preclude them from being lacunary.
In light of these remarks, we may restrict our study of the lacunarity of \(F_{a,b,c}(z)\) to the space of cusp forms of level N and integral weight \(k \ge 2\). Central to this study are modular forms with complex multiplication. Serre [10] proved that an element of \(S_{k}(\Gamma _{0}(N),\chi )\) is lacunary if and only if it is expressible as a linear combination of forms with complex multiplication. We denote the space of cusp forms of weight k with complex multiplication and Nebentypus character \(\chi \) on \(\Gamma _{0}(N)\) by \(S^{CM}_k(\Gamma _{0}(N), \chi )\) and will sometimes call forms with complex multiplication CM forms.
Recall that given any modular form \(f(z) \in M_{k}(\Gamma _{0}(N), \chi )\), the action of the Hecke operator \(T_{s}\) on f(z) is defined by
where \(\chi (m)=0\) if \(\gcd (N,m) \ne 1\). When \(s=p\) is prime, this definition reduces to
where we define \(a(m/p) :=0\) whenever \(p \not \mid m\). We now state an extension of a wellknown lemma by Serre [10], which can be seen in Ref. [2]. It says that given a cusp form with complex multiplication, the action of certain Hecke operators is zero.
Lemma 2.2
Let \(g \in S^{CM}_k(\Gamma _{0}(N),\chi )\). If s is an integer such that \(\gcd (N,s)=1\) and there is no ideal of norm s in the ring of integers of \({\mathbb {Q}}(\sqrt{d})\) for any \(d > 0\) with \(d \mid N\), then \(g  T_{s} =0\).
Remark
Note that for a given N, there always exists an s satisfying the hypotheses of the previous lemma. This follows since a positive proportion of all integers are relatively prime to N and, for a fixed d, \(0 \% \) of integers are norms of ideals in the ring of integers of \({\mathbb {Q}}(\sqrt{d})\).
Proofs of Theorems
Proof of Lemma 2.1
For \(F_{a,b,c}(z)\), take \(N = 576ac\) and \(\delta _1 = 24a\), \(\delta _2 = 24ac\), \(\delta _3 = 24\) as seen in Sect. 2.1. So \(r_{\delta _1} = a\), \(r_{\delta _2} = b  a\), and \(r_{\delta _3} = 1\). Then \(F_{a,b,c}(z)\) satisfies the appropriate conditions to be a weakly holomorphic modular form with Nebentypus character \(\chi _F(d) = \left( \frac{(1)^k 24^{b  1}a^b c^{b  a}}{d}\right) \). Properties of the Kronecker symbol give the desired \(\chi _F\) for a even and odd.
The order of vanishing of a cusp \(\frac{x}{y}\) obtained using (2.2) is given by the expression
As the numerator is nonnegative when \(b \ge a\), \(F_{a,b,c}(z)\) is holomorphic under this condition. To show the conditions of Lemma 2.1 precisely, we take \(y = 24\), for which the numerator is nonnegative for \(b \ge a\) and strictly positive for \(b > a\). Therefore, \(F_{a,b,c}(z)\) is only holomorphic for \(b \ge a\) and cuspidal for \(b > a\). \(\square \)
Proof of Theorem 1.1
For (1), it suffices to recall from Sect. 2.2 that weightone holomorphic modular forms are lacunary. For (2), if \(a = 1\), then \(F_{1,5,c}(z) = \eta (24cz)^4\), which is lacunary due to Serre’s [10] classification of even r’s for which \(\eta (z)^r\) is lacunary. If \(a = 2\), we use (1.2) and an identity given in Ref. [8] to express \(F_{2,5,c}(z)\) as follows:
As can be seen in Ref. [9], binary quadratic forms represent 0% of the positive integers, so \(F_{2,5,c}(z)\) is lacunary for all c. \(\square \)
Proof of Theorem 1.2
To prove this theorem, we first show that for a fixed pair (a, c) with \(a \ge 4\) and \(c \ge 1\), there are only finitely many b such that \(F_{a,b,c}(z)\) is lacunary. Next, we show that there are finitely many such pairs (a, c) such that \(F_{a,b,c}\) is lacunary by bounding the product ac. This implies that there are finitely many triples (a, b, c) with \(a \ge 4\) and \(c \ge 1\) such that \(F_{a,b,c}(z)\) is lacunary. Finally, we use an algorithm to show that, of the remaining triples, the only possible lacunary triples (a, b, c) are (4, 5, 3), (4, 5, 5), and (4, 5, 11). In Sect. 4, we discuss a method that one could use to complete this classification.
Lemma 3.1
Fix \(a \ge 4\) and \(c \ge 1\). Then there exist finitely many odd \(b \ge 1\) such that \(F_{a,b,c}(z)\) is lacunary.
Proof
We only consider \(b \ge 5\) since \(F_{a,b,c}(z)\) is weakly holomorphic otherwise. Choose s satisfying the conditions of Lemma 2.2 where \(N=576ac\) is the level of \(F_{a,b,c}\). Note that, since \(2,3 \mid 576\), \(2,3 \not \mid s\). As seen in Sect. 2, a result of Serre [10] states that \(F_{a,b,c}(z)\) lacunary if and only if it is expressible as a linear combination of CM forms. By Lemma 2.2, \(F_{a,b,c}(z)\) is not lacunary unless \(F_{a,b,c}(z)  T_s = 0\). We show only finitely many odd b satisfy this condition. Suppose for simplicity that \(s = p\) is prime. This is possible since s is squarefree and \(T_{\alpha }T_{\beta }=T_{\alpha \beta }\) whenever \(\gcd (\alpha ,\beta )=1\). Define the coefficients \(A_{a,b,c}(m)\) by the expansion
for r as defined in (1.6). Therefore, acting on \(F_{a,b,c}(z)\) with \(T_p\), we obtain^{Footnote 1}
Choose \(m_0 \ge 0\) minimal such that \(p \mid 24 m_{0} + r\). Note that we must have \(0 \le m_{0} \le p1\). Indeed, suppose that \(24m_{0}+r \equiv 0 \pmod {p}\). Because \(2,3 \not \mid s\), \(p \ne 2,3\). So 24 is invertible \(\pmod {p}\). Hence \(m_{0} \equiv r \cdot 24^{1} \pmod {p}\). Thus, if \(m_{0} \ge 0\) is minimal satisfying \(p \mid 24m_{0}+r\), then we must have \( 0 \le m_{0} \le p1\). We show that this term cannot appear in the second sum, so \(A_{a,b,c}(m_0)\) is the coefficient of \(q^{\frac{24 m_0 + r}{p}}\) in the Fourier expansion of \(F_{a,b,c}(z)  T_p\).^{Footnote 2} First note that for \(m \ge 1\),
by the inequality \(m_0 \le p 1\). Next, looking at the first term of the second sum, we show that \(\frac{24 m_0 + r}{p} \ne pr\). If \(\frac{24m_{0}+r}{p}=pr\), then using the inequality \(0 \le m_0 \le p  1\) again, one obtains:
which gives
This inequality can only hold if \(p \le 23\). Each prime \(p \le 23\) yields a finite set of triples (a, b, c) for which the inequality holds. We reach a contradiction for each triple by calculating \(m_0\) and checking equality of the first exponents of each of the two sums.
Therefore, because \(A_{a,b,c}(m_{0})\) is the coefficient of \(q^{\frac{24 m_0 + r}{p}}\) it suffices to show \(A_{a,b,c}(m_{0}) = 0\) for finitely many b. These will be the only possible b for which \(F_{a,b,c}(z)\) is lacunary. Notice from (3.1) that
Since a and c are fixed, the coefficient \(A_{a,b,c}(m)\) is a polynomial in b with degree at most \(\left\lfloor \frac{m}{ac} \right\rfloor \). Let’s observe this phenomenon for \(a = 4\) and \(c = 1\):
By considering the possible ways that terms in this product could multiply to \(q^{96 + r}\), we deduce that
Hence \(A_{4,b,1}(4)\) is a polynomial in b of degree at most \(\left\lfloor \frac{4}{4 \cdot 1} \right\rfloor = 1\).
We now show that for \(a \ge 4\), \(A_{a,b,c}(m)\) is a nonzero polynomial in b for all m. Therefore \(A_{a,b,c}(m_0) = 0\) for finitely many b. Note that, because \(A_{a,b,c}(m)\) is a polynomial in variable b, we may plug in any value for b (we are viewing b as a formal variable). Plugging \(b=a\) into (3.1), we have:
We show \(A_{a,a,c}(m) \ne 0\) for \(m \ge 0\). Note that from Corollary 1.9 in Ref. [5] we have the following:
It then follows from Granville and Ono’s [4] proof of the tcore partition conjecture that \(\# \{ \lambda : \lambda  =m \text { and } \lambda \text { is an }a\text {core } \} \ge 1\), since we are assuming \(a \ge 4\). Thus, \(A_{a,b,c}(m)\) is a nonzero polynomial in b for all \(m \ge 0\). \(\square \)
The following lemma is a direct generalization of Theorem 1.1 in [2]. In order to prove this lemma, we recall the Pólya–Vinogradov Inequality which states that given a nontrivial Dirichlet character \(\chi \) with modulus m, the following holds for any integer h:
Lemma 3.2
If \(a \ge 4\) there exist finitely many triples (a, b, c) so that \(F_{a,b,c}(z)\) is lacunary.
Proof
For each pair (a, c), there exists an s satisfying the conditions of Lemma 2.2. We show that for all but finitely many pairs, there is an \(s<ac\). Then, by (3.1), the set of odd b for which \(F_{a,b,c}(z)\) is lacunary is a subset of the roots of the nonzero polynomials \(A_{a,b,c}(0), \ldots , A_{a,b,c}(s1)\). All of these polynomials have degree less than or equal to \(\big \lfloor \frac{s}{ac} \big \rfloor \), so no b can exist for all but finitely many pairs (a, c).
Fix \(a \ge 4\) and \(c \ge 1\). Let \(a'\) be the squarefree part of 576ac, the level of \(F_{a,b,c}(z)\). Note that if a positive integer s satisfies \( \left( \frac{1}{s} \right) = 1\) and \(\left( \frac{p}{s} \right) = 1\) for all primes \(p \mid a'\), then s satisfies the conditions of Lemma 2.2. Indeed, these conditions imply that \(\left( \frac{d}{s} \right) = 1\) for all positive integers d dividing the level of \(F_{a,b,c}(z)\) by properties of the Kronecker symbol. Recall that a prime q is inert in the ring of integers of \({\mathbb {Q}}(\sqrt{d})\) if \(\left( \frac{d}{q} \right) = 1\). By considering the prime factorization of s and the multiplicativity of the Kronecker symbol, there does not exist any ideal of norm s in the ring of integers of \({\mathbb {Q}}(\sqrt{d})\) if \(\left( \frac{d}{s} \right) = 1\).
We first assume that \(a'=6ac\). We show that there is a \(\kappa \) such that whenever \(a' = 6ac \ge \kappa \) there exists an \(s < ac\) satisfying the desired conditions. It suffices to find an \(s \equiv 23 \pmod {24}\) such that \(\left( \frac{p}{s} \right) =1\) for all primes \(p \mid ac\) \(( \text {note that if }s \equiv 23 \pmod {24}, ( \frac{2}{s} ) = ( \frac{3}{s}) =1 )\). Write \(ac=p_{1}p_{2} \cdots p_{m}\), where the \(p_{i}\) are distinct primes not equal to 2 or 3. Consider the following linear combination of Dirichlet characters:
where \(\psi _{d}(s) :={\prod \nolimits _{p \mid d}} \left( \frac{p}{s}\right) \) and by convention \(\psi _1(s) = 1\). By inducting on the number of prime divisors of ac and noticing that if q is a prime not dividing ac then \(g_{ac \cdot q}(s) = \frac{\left( 1 \left( \frac{q}{s} \right) \right) g_{ac}(s)}{2}\), one can show that
Thus, it is sufficient to find an s satisfying \(g_{ac}(s)=1\) and \(s \equiv 23 \pmod {24}\). We will do this by using the Pólya–Vinogradov Inequality to show that, if ac is sufficiently large, then
Let D be the set of Dirichlet characters modulo 24. Since \({\sum \nolimits _{\chi \in D} \chi (t)= {\left\{ \begin{array}{ll} 8 &{} \text { if } t \equiv 1 \pmod {24 }\\ 0 &{} \text { otherwise} \\ \end{array}\right. } }\), we have:
Note that \(\psi _d \circ \chi \) is a nontrivial Dirichlet character modulo 24d. So, by applying the Pólya–Vinogradov Inequality to the innermost sum:
If \(m \ge 12\), then \(\frac{ac}{24} 1 2^{m+1} \sqrt{24ac} \log (24ac) >0\). Hence, there exists an integer \(s <ac\) satisfying the conditions of Lemma 2.2. So in this case, the set of b for which \(F_{a,b,c}(z)\) is lacunary is empty. For each \(m <12\), the inequality (3.5) can only fail if \(ac < \kappa \), where \(\kappa = 5 \cdot 7 \cdot \cdots \cdot 43 \approx 2.18 \times 10^{15}\). So if 6ac is squarefree, there are only finitely many pairs (a, c) for which there could exist odd b, where \(F_{a,b,c}(z)\) is lacunary.
Now we turn to the case where 6ac is not squarefree. If \(\frac{a'}{6}\) has a corresponding \(s \le \frac{a'}{6} < ac,\) then \(F_{a,b,c}(z)\) is not lacunary for any choice of b. If \(\frac{a'}{6}\) does not have an \(s \le \frac{a'}{6},\) then \(F_{a,b,c}(z)\) can only be lacunary for pairs (a, c) such that \(s \le ac\), where s is chosen minimally. By the above, there are only finitely many possible \(a',\) each of which yields finitely many pairs (a, c) for which there could exist odd b such that \(F_{a,b,c}(z)\) is lacunary. It follows from Lemma 3.1 that there can be only finitely many pairs (a, b, c) for which \(F_{a,b,c}(z)\) is lacunary. \(\square \)
We now prove Theorem 1.2.
Proof
We demonstrate the process of showing that the only possible triples (a, b, c) for which \(F_{a,b,c}(z)\) could be lacunary are (4, 5, 3), (4, 5, 5), and (4, 5, 11). We have the following algorithm:
(1) From Lemma 3.2 we know that there are finitely many triples (a, b, c) such that \(F_{a,b,c}(z)\) is lacunary. Further, all such triples have the property that \(a' \le 6\kappa \), where \(a'\) and \(\kappa \) are defined above. For each \(a' \le 6\kappa \), we check whether there exists an \(s \equiv 23 \pmod {24}\) with \(s < \frac{a'}{6}\) and \(g_{a'/6}(s) = 1\). For all \(a'\) with such an s, the possible pairs (a, c) corresponding to \(a'\) yield no odd b for which \(F_{a,b,c}(z)\) is lacunary. For all \(a'\) without such an s, there are finitely many pairs (a, c) such that \(F_{a,b,c}(z)\) could be lacunary. Let \(S_{ac}\) be the set of all such pairs.
(2) For all \((a,c) \in S_{ac}\), choose s minimally and use Lagrange interpolation to construct the polynomials \(A_{a,b,c}(ac), \ldots ,A_{a,b,c}(s1)\).^{Footnote 3} Now find all of the odd positive integer roots of these polynomials. By repeating this processes for all (a, c) with corresponding s, we have a set of all possible (a, b, c). Denote this set by \(S_{abc}\).
(3) For all \((a,b,c) \in S_{abc}\), choose a prime p minimally satisfying \(p \equiv 23 \pmod {24}\) and \(g_{a'/6}(p)=1\). Recall the definition of \(m_{0}\) in Lemma 3.1. Find \(m_{0} \in {\mathbb {Z}}/p{\mathbb {Z}}\) such that \(24m_{0} \equiv r \pmod {p}\). If \(A_{a,b,c}(m_{0}) \ne 0\) then \(F_{a,b,c}(z)\) cannot be lacunary. Denote the set of remaining triples \(S_{abc}'\).
(4) For all \((a,b,c) \in S_{abc}',\) find \(p' > p\) satisfying \(p' = 23 \pmod {24}\) and \(g_{a'/6}(p') = 1\) and repeat step 3. This should be repeated multiple times to eliminate further candidates.
Following steps (1)–(4), the only remaining triples (a, b, c) such that \(F_{a,b,c}(z)\) could be lacunary are (4, 5, 3), (4, 5, 5), and (4, 5, 11). \(\square \)
Discussion of Theorem 1.2
Due to our results in Sect. 3, we conjecture that the series \(F_{4,5,3}(z), F_{4,5,5}(z)\), and \(F_{4,5,11}(z)\) are lacunary. In theory, it is not difficult to prove this conjecture. Namely, one has to systematically compute all of the weight 2 modular forms with complex multiplication on a suitable level. Our calculations reveal that if this conjecture is true, then these \(F_{a,b,c}(z)\) will be linear combinations of CM forms corresponding to fields in the table given below.^{Footnote 4} We have been unable to resolve this issue due to limits on our computational power.
Optimal level of \(F_{a,b,c}(z)\)  CM fields of \(F_{a,b,c}(z)\)  

\(F_{4,5,3}(z)\)  2304  \({\mathbb {Q}}(\sqrt{1})\), \({\mathbb {Q}}(\sqrt{2})\), and \({\mathbb {Q}}(\sqrt{3})\) 
\(F_{4,5,5}(z)\)  \(576 \cdot 4 \cdot 5\)  \({\mathbb {Q}}(\sqrt{1})\), \({\mathbb {Q}}(\sqrt{2})\), \({\mathbb {Q}}(\sqrt{3})\), and \({\mathbb {Q}}(\sqrt{5})\) 
\(F_{4,5,11}(z)\)  \(576 \cdot 4 \cdot 11\)  \({\mathbb {Q}}(\sqrt{1})\), \({\mathbb {Q}}(\sqrt{2})\), \({\mathbb {Q}}(\sqrt{3})\), and \({\mathbb {Q}}(\sqrt{11})\) 
Notes
 1.
Note that the Hecke operator acts on all powers of q in the summand.
 2.
Note that when s is not prime, there is \(m_0 \le s  1\) such that \(A_{a,b,c}(m_0)\) is a coefficient in the expansion of \(F_{a,b,c}(z) \mid T_s\). However, this \(m_0\) is not necessarily the minimal m such that \(s \mid 24 m + r.\)
 3.
Note that we do not need to consider the polynomials \(A_{a,b,c}(0), \ldots , A_{a,b,c}(ac1) \) since these polynomials are nonzero constant polynomials and hence have no roots.
 4.
There are fewer modular forms on lower level; hence, one should consider the optimal level as discussed in the remark in Sect. 2.1.
References
 1.
T. M. Apostol. Modular functions and Dirichlet series in number theory, volume 41 of Graduate Texts in Mathematics. SpringerVerlag, New York, second edition, 1990.
 2.
E. Clader, Y. Kemper, and M. Wage. Lacunarity of certain partitiontheoretic generating functions. American Mathematical Society, 137(9):2959–2968, 2009.
 3.
P. Deligne and J.P. Serre. Formes modulaires de poids \(1\). Ann. Sci. École Norm. Sup. (4), 7:507–530 (1975), 1974.
 4.
A. Granville and K. Ono. Defect zero \(p\)  blocks for finite simple groups. Trans. Amer. Math. Soc., 348(1):331–347, 1996.
 5.
G.N. Han. The NekrasovOkounkov hook length formula: refinement, elementary proof, extension and applications. Ann. Inst. Fourier (Grenoble), 60(1):1–29, 2010.
 6.
G. MacDonald. Affine root systems and dedekind’s etafunction. Matematika, 16(4):3–49, 1972.
 7.
N. A. Nekrasov and A. Okounkov. SeibergWitten theory and random partitions. In The unity of mathematics, volume 244 of Progr. Math., pages 525–596. Birkhäuser Boston, Boston, MA, 2006.
 8.
K. Ono. The Web of Modularity: Arithmetic of the Coefficients of Modular Forms and qseries, volume 102. CBMS Regional Conference Series in Mathematics, Amer. Math. Soc., Providence, RI, 2004.
 9.
J.P. Serre. Divisibilité de certaines fonctions arithmétiques. Enseignement Math. (2), 22(34):227–260, 1976.
 10.
J.P. Serre. Quelques applications du théoreme de densité de chebatorev. Publications Mathématiques de l’IHÉS, 123  201:2959–2968, 1981.
Acknowledgements
The authors wish to thank Professor Ken Ono and Professor Larry Rolen for their invaluable guidance and suggestions. They would also like to thank Emory University, the Asa Griggs Candler Fund, and NSF Grant DMS1557960.
Author information
Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Gallagher, K., Li, L. & Vassilev, K. Lacunarity of Han–Nekrasov–Okounkov qSeries. Ann. Comb. 24, 623–636 (2020). https://doi.org/10.1007/s00026020005054
Received:
Accepted:
Published:
Issue Date:
Keywords
 Lacunary
 Modular forms
 Complex multiplication
 Partitions
Mathematics Subject Classification
 Primary 11F30
 11P82
 11F11
 Secondary 11F20