ArticlePublisher preview available

Quantum Jacobi forms and sums of tails identities

Authors:
To read the full-text of this research, you can request a copy directly from the authors.

Abstract

Our results are on the interconnected topics of quantum Jacobi sums of tails identities, quantum Jacobi and mock Jacobi properties of two-variable q-hypergeometric series and partial theta functions, and two-variable q-hypergeometric generating functions for certain L-values by way of related asymptotic expansions. More specifically, we establish five two-variable quantum Jacobi sums of tails identities. As corollaries, we recover known one-variable quantum sum of tails identities due to Zagier, Andrews-Jiménez-Urroz-Ono, and more. Further, justifying the “quantum Jacobi” description of our two-variable sums of tails identities, we establish the quantum Jacobi and mock Jacobi properties of a number of two-variable q-hypergeometric series and partial Jacobi theta functions which appear in our two-variable sums of tails identities, inspired by related results of Zagier and Rolen-Schneider in the one-variable quantum modular setting. Finally, by establishing related asymptotic expansions, we realize generating functions for certain L-values in terms of two-variable q-hypergeometric series and Jacobi partial theta functions, inspired by earlier work in this direction by Andrews–Jiménez-Urroz–Ono for the Riemann ζ\zeta -function and Dirichlet and Hecke L-functions.
A. Folsom et al. Res. Number Theory (2022) 8:8
https://doi.org/10.1007/s40993-021-00304-7
RESEARCH
Quantum Jacobi forms and sums of tails
identities
Amanda Folsom1* , Elizabeth Pratt1, Noah Solomon1and Andrew R. Tawfeek2
*Correspondence:
afolsom@amherst.edu
1Department of Mathematics
and Statistics, Seeley Mudd
Building, 31 Quadrangle Dr,
Amherst, MA 01002, USA
Full list of author information is
available at the end of the article
The authors are grateful for
support from National Science
Foundation Grant DMS-190179
(PI = first author).
Abstract
Our results are on the interconnected topics of quantum Jacobi sums of tails identities,
quantum Jacobi and mock Jacobi properties of two-variable q-hypergeometric series
and partial theta functions, and two-variable q-hypergeometric generating functions
for certain L-values by way of related asymptotic expansions. More specifically, we
establish five two-variable quantum Jacobi sums of tails identities. As corollaries, we
recover known one-variable quantum sum of tails identities due to Zagier,
Andrews-Jiménez-Urroz-Ono, and more. Further, justifying the “quantum Jacobi”
description of our two-variable sums of tails identities, we establish the quantum Jacobi
and mock Jacobi properties of a number of two-variable q-hypergeometric series and
partial Jacobi theta functions which appear in our two-variable sums of tails identities,
inspired by related results of Zagier and Rolen-Schneider in the one-variable quantum
modular setting. Finally, by establishing related asymptotic expansions, we realize
generating functions for certain L-values in terms of two-variable q-hypergeometric
series and Jacobi partial theta functions, inspired by earlier work in this direction by
Andrews–Jiménez-Urroz–Ono for the Riemann ζ-function and Dirichlet and Hecke
L-functions.
1 Introduction and statement of results
Early sums of tails identities include the following, found in Ramanujan’s “Lost” Notebook
[24, p14]:
n=0
((q;q)(q;q)n)=(q;q)1
2+
n=1
qn
1qn+1
2
n=0
qn(n+1)
2
(q;q)n
,
n=01
(q;q2)1
(q;q2)n+1=1
(q;q2)1
2+
n=1
q2n
1q2n+1
2
n=0
qn(n+1)
2
(q;q)n
,
where here and throughout, the q-Pochhammer symbol is defined for nN0∪∞by
(a;q)n:=n1
j=0(1 aqj).These are referred to as “sums of tails” identities, as their left-
hand sides are sums of differences between infinite products and their nth partial products.
The q-hypergeometric series
123 ©The Author(s), under exclusive licence to Springer Nature Switzerland AG 2022.
0123456789().,–: volV
Content courtesy of Springer Nature, terms of use apply. Rights reserved.
... which was studied in the context of quantum modular forms in [16,23] and [34]; see also the relevant quantum modular results in [8], noting that as a q-series (|q| < 1) [14], ...
Article
Full-text available
Our results investigate mock theta functions and quantum modular forms via quantum q-series identities. After Lovejoy, quantum q-series identities are such that they do not hold as an equality between power series inside the unit disc in the classical sense, but do hold at dense sets of roots of unity on the boundary. We establish several general (multivariable) quantum q-series identities and apply them to various settings involving (universal) mock theta functions. As a consequence, we surprisingly show that limiting, finite, universal mock theta functions at roots of unity for which their infinite counterparts do not converge are quantum modular. Moreover, we show that these finite limiting universal mock theta functions play key roles in (generalized) Ramanujan radial limits. A further corollary of our work reveals that the finite Kontsevich–Zagier series is a kind of “universal quantum mock theta function,” in that it may be used to evaluate odd-order Ramanujan mock theta functions at roots of unity. (We also offer a similar result for even-order mock theta functions.) Finally, to complement the notion of a quantum q-series identity and the results of this paper, we also define what we call an “antiquantum q-series identity’ and offer motivating general results with applications to third-order mock theta functions.
Article
Full-text available
We establish three infinite families of quantum Jacobi forms, arising in the diverse areas of number theory, topology, and mathematical physics, and unified by partial Jacobi theta functions.
Article
Full-text available
Quantum Jacobi forms were defined in 2016, naturally combining Zagier’s definition of a quantum modular form with that of a Jacobi form. To date, just three examples of such functions exist in the literature. Here, we prove that the universal mock theta function g2, as well as the universal mock theta functions K,K1,K2, and κ, gives rise to an infinite family of quantum Jacobi forms Ga,b(z;τ) of weight 1 / 2 in dense subsets Qa,b⊆Q×Q. We then use these quantum Jacobi transformation properties to establish polynomial expressions for Ga,b at pairs of rational numbers, as well as simple closed-form expressions for sums of Mordell integrals.
Article
In 1920, Ramanujan studied the asymptotic differences between his mock theta functions and modular theta functions, as [Formula: see text] tends towards roots of unity singularities radially from within the unit disk. In 2013, the bounded asymptotic differences predicted by Ramanujan with respect to his mock theta function [Formula: see text] were established by Ono, Rhoades, and the author, as a special case of a more general result, in which they were realized as special values of a quantum modular form. Our results here are threefold: we realize these radial limit differences as special values of a partial theta function, provide full asymptotic expansions for the partial theta function as [Formula: see text] tends towards roots of unity radially, and explicitly evaluate the partial theta function at roots of unity as simple finite sums of roots of unity.
Article
Let \unicode[STIX]{x1D707}(m,n) (respectively, \unicode[STIX]{x1D702}(m,n) ) denote the number of odd-balanced unimodal sequences of size 2n and rank m with even parts congruent to 2 ⁣ ⁣mod42\!\!\hspace{0.6em}{\rm mod}\hspace{0.2em}4 (respectively, 0 ⁣ ⁣mod40\!\!\hspace{0.6em}{\rm mod}\hspace{0.2em}4 ) and odd parts at most half the peak. We prove that two-variable generating functions for \unicode[STIX]{x1D707}(m,n) and \unicode[STIX]{x1D702}(m,n) are simultaneously quantum Jacobi forms and mock Jacobi forms. These odd-balanced unimodal rank generating functions are also duals to partial theta functions originally studied by Ramanujan. Our results also show that there is a single CC^{\infty } function in R×R\mathbb{R}\times \mathbb{R} to which the errors to modularity of these two different functions extend. We also exploit the quantum Jacobi properties of these generating functions to show, when viewed as functions of the two variables w and q , how they can be expressed as the same simple Laurent polynomial when evaluated at pairs of roots of unity. Finally, we make a conjecture which fully characterizes the parity of the number of odd-balanced unimodal sequences of size 2n with even parts congruent to 0 ⁣ ⁣mod40\!\!\hspace{0.6em}{\rm mod}\hspace{0.2em}4 and odd parts at most half the peak.
Article
The notion of a quantum Jacobi form was defined in 2016 by Bringmann and the second author in , marrying Zagier's notion of a quantum modular form with that of a Jacobi form. Only one example of such a function has been given to-date (see ). Here, we prove that two combinatorial rank generating functions for certain balanced unimodal sequences, studied previously by Kim, Lim and Lovejoy , are also natural examples of quantum Jacobi forms. These two combinatorial functions are also duals to partial theta functions studied by Ramanujan. Additionally, we prove that these two functions have the stronger property that they exhibit mock Jacobi transformations in C×H as well as quantum Jacobi transformations in Q×Q. As corollaries to these results, we use quantum Jacobi properties to establish new, simpler expressions for these functions as simple Laurent polynomials when evaluated at pairs of rational numbers.
Article
In this paper, we introduce the notion of a quantum Jacobi form, and offer the two-variable combinatorial generating function for ranks of strongly unimodal sequences as an example. We then use its quantum Jacobi properties to establish a new, simpler expression for this function as a two-variable Laurent polynomial when evaluated at pairs of rational numbers. Our results also yield a new expression for radial limits associated to the partition rank and crank functions previously studied by Ono, Rhoades, and Folsom.
Article
Motivated by the problem of finding explicit q-hypergeometric series which give rise to quantum modular forms, we define a natural generalization of Kontsevich's “strange” function. We prove that our generalized strange function can be used to produce infinite families of quantum modular forms. We do not use the theory of mock modular forms to do so. Moreover, we show how our generalized strange function relates to the generating function for ranks of strongly unimodal sequences both polynomially, and when specialized on certain open sets in . As corollaries, we reinterpret a theorem due to Folsom-Ono-Rhoades on Ramanujan's radial limits of mock theta functions in terms of our generalized strange function, and establish a related Hecke-type identity.
Article
The theory of integer partitions is a subject of enduring interest. A major research area in its own right, it has found numerous applications, and celebrated results such as the Rogers-Ramanujan identities make it a topic filled with the true romance of mathematics. The aim in this introductory textbook is to provide an accessible and wide ranging introduction to partitions, without requiring anything more of the reader than some familiarity with polynomials and infinite series. Many exercises are included, together with some solutions and helpful hints. The book has a short introduction followed by an initial chapter introducing Euler's famous theorem on partitions with odd parts and partitions with distinct parts. This is followed by chapters titled: Ferrers Graphs, The Rogers-Ramanujan Identities, Generating Functions, Formulas for Partition Functions, Gaussian Polynomials, Durfee Squares, Euler Refined, Plane Partitions, Growing Ferrers Boards, and Musings.