General coefficient-vanishing results associated with theta series

Shane Chern,Dazhao Tang
DOI: https://doi.org/10.1016/j.aam.2024.102742
2024-07-20
Abstract:There are a number of sporadic coefficient-vanishing results associated with theta series, which suggest certain underlying patterns. By expanding theta powers as linear combinations of products of theta functions, we present two strategies that will provide a unified treatment. Our approaches rely on studying the behavior of products of two theta series under the action of the huffing operator. For this purpose, some explicit criteria are given. We may use the presented methods to not only verify experimentally discovered coefficient-vanishing results, but also to produce a series of general phenomena.
Number Theory
What problem does this paper attempt to address?
This paper attempts to solve problems related to the vanishing of theta - series coefficients. Specifically, the authors focus on how to uniformly handle the phenomenon that the coefficients of theta - series vanish in specific arithmetic progressions. By expanding the powers of theta functions into linear combinations of theta - function products and studying the behavior of these products under the action of the huffing operator, the authors propose two strategies to provide a unified treatment method. This not only verifies the coefficient - vanishing results found in experiments but also can generate a series of general phenomena. The following are the key points of the paper: 1. **Problem Background**: - Study whether the coefficients of the Laurent series \( G(q)=\sum_{n} g_{n} q^{n} \) vanish in certain arithmetic progressions \( M n + w \), that is, \( g_{Mn + w}=0 \). - In particular, for the quotient \( f(a, b):=\sum_{n \in \mathbb{Z}} a^{n(n + 1)/2} b^{n(n - 1)/2} \) composed of Ramanujan theta functions, the phenomenon of coefficient vanishing has been studied for a long history. 2. **Existing Results**: - Richmond and Szekeres used the circle method to prove that \( h(4n + 2)=0 \). - Andrews and Bressoud extended this result to an arbitrary modulus. - Hirschhorn showed that \( \gamma_{1,1,5}(5n + 2)=\gamma_{1,1,5}(5n + 4)=0 \). 3. **New Method**: - Introduce the huffing operator \( H_M(G(q)):=\sum_{n} g_{Mn} q^{Mn} \). - By studying the behavior of the product of two theta - series under the action of the huffing operator, two strategies are proposed to uniformly handle the coefficient - vanishing phenomenon. 4. **Main Results**: - Theorems 1.1 to 1.4 give specific coefficient - vanishing conditions, involving different moduli and parameter selections. - Corollary 1.5 transforms these results into explicit coefficient - vanishing expressions, covering five coefficient functions \( \alpha, \beta, \gamma, \delta, \epsilon \) and their variants \( \phi, \psi \). 5. **Technical Details**: - Use Schroeter's formula and McLaughlin's generalization result to expand the powers of theta functions into linear combinations of theta - function products. - Through the pairing process and known coefficient - vanishing results, prove the given coefficient - vanishing problem. 6. **Applications**: - Provide a systematic method to verify and generate the coefficient - vanishing phenomenon of theta - series, providing a theoretical basis for further research. In summary, the main contribution of this paper is to provide a set of systematic methods to handle the coefficient - vanishing phenomenon of theta - series, thereby revealing a broader mathematical structure and pattern.