We prove several infinite families of $q$-series identities for false theta functions and related series. These identities are motivated by considerations of characters of modules of vertex operator superalgebras and of quantum dilogarithms. We also obtain closely related modular identities of the Göllnitz-Gordon-Andrews type. As a byproduct of our identities, we establish several identities for the Rogers dilogarithm function coming from multi $q$-hypergeometric series with "double poles".
In this short note, a companion of [20], we discuss several families of $q$-series identities in connection to false and mock theta functions, characters of modules of vertex algebras, and "sum of tails".
We find two combinatorial identities on the theta series of the root lattices of the finite-dimensional simple Lie algebras of type $D_{4n}$ and the cosets in their integral duals, in terms of the well-known Essenstein series $E_4(z)$ and Ramanujan series $\Dlt_{24}(z)$. Using these two identities, we determine the theta series of certain infinite families of postive definite even unimodular lattices obtained by gluing finite copies of the root lattices of the finite-dimensional simple Lie algebras of type $D_{2n}$. It turns out that these theta series are weighted symmetric polynomials of two…
Eigenvectors of the discrete Fourier transform can be expressed using Ramanujan theta functions. New theta function identities, Ramanujan theta function identities, and generating functions for the quadratic numbers are a consequence.
We prove a seesaw identity for theta functions with polynomials, and establish a formula for the corresponding theta contractions. We then use it to determine the restrictions of theta lifts to sub-Grassmannians, with some applications.
We introduce three-variable analogues of the theta series of Borwein and Borwein. We prove various identities involving these theta series including a generalization of the cubic identity of Borwein and Borwein.
In this paper, we prove that there is a natural correspondence between product identities for theta functions and integer matrix exact covering systems. We show that since $\mathbb{Z}^n$ can be taken as the disjoint union of a lattice generated by $n$ linearly independent vectors in $\mathbb{Z}^n$ and a finite number of its translates, certain products of theta functions can be written as linear combinations of other products of theta functions. We firstly give a general theorem to write a product of $n$ theta functions as a linear combination of other products of theta functions. Many known i…
This is a tutorial for using two new MAPLE packages, thetaids and ramarobinsids. The thetaids package is designed for proving generalized eta-product identities using the valence formula for modular functions. We show how this package can be used to find theta-function identities as well as prove them. As an application, we show how to find and prove Ramanujan's 40 identities for his so called Rogers-Ramanujan functions G(q) and H(q). In his thesis Robins found similar identities for higher level generalized eta-products. Our ramarobinsids package is for finding and proving identities for gene…
We present q-series proofs of four identities involving sixth order mock theta functions from Ramanujan's lost notebook. We also show how Ramanujan's identities can be used to give a quick proof of four sixth order identities of Berndt and Chan.
Liu established an addition formula for the Jacobian theta function by using the theory of elliptic functions. From this addition formula he obtained the Ramanujan cubic theta function identity, Winquist's identity, a theta function identities with five parameters, and many other interesting theta function identities. In this paper we will give an addition formula for the Jacobian theta function which is equivalent to Liu's addition formula. Based on this formula we deduce some known theta function identities as well as new identities. From these identities we shall establish certain new serie…
We find two involutions on partitions that lead to partition identities for Ramanujan's third order mock theta functions $ϕ(-q)$ and $ψ(-q)$. We also give an involution for Fine's partition identity on the mock theta function f(q). The two classical identities of Ramanujan on third order mock theta functions are consequences of these partition identities. Our combinatorial constructions also apply to Andrews' generalizations of Ramanujan's identities.
We discover new analytic properties of classical partial and false theta functions and their potential applications to representation theory of W-algebras and vertex algebras in general. More precisely, motivated by clues from conformal field theory, first, we are able to determine modular-like transformation properties of regularized partial and false theta functions. Then, after suitable identification of regularized partial/false theta functions with the characters of atypical modules for the singlet vertex algebra W(2,2p-1), we formulate and prove a Verlinde-type formula for the fusion rul…
In this paper, we study a family of rank two false theta series associated to the root lattice of type $A_2$. We show that these functions appear as Fourier coefficients of a meromorphic Jacobi form of negative definite matrix index. Hypergeometric $q$-series identities are also obtained.
We develop a setting in which one can evaluate certain Hecke-Rogers series in terms of false theta functions. We apply our setting to recent false theta function identities of Chan and Kim as well as Andrews and Warnaar.
We introduce and study higher depth quantum modular forms. We construct two families of examples coming from rank two false theta functions, whose "companions" in the lower half-plane can be also realized both as double Eichler integrals and as non-holomorphic theta series having values of "double error" functions as coefficients. In particular, we prove that the false theta of $\frak{sl}_3$, appearing in the character of the vertex algebra $W^0(p)_{A_2}$, can be written as the sum of two depth two quantum modular forms of positive integral weight.
We give simple proofs of Hecke-Rogers indefinite binary theta series identities for the two Ramanujan fifth order mock theta functions $χ_0(q)$ and $χ_1(q)$ and all three of Ramanujan's seventh order mock theta functions. We find that the coefficients of the three mock theta functions of order 7 are surprisingly related.
We prove some Lambert series which were stated by Gosper without proof or reference. As an application, we shall evaluate integrals involving Ramanujan theta function $ψ(q)$. Furthermore, motivated by Ramanujan's identities for $qψ^4(q^2)$ and $\fr{ψ^3(q)}{ψ(q^3)}$, we shall evaluate the squares of $qψ^4(q^2)$ and $\fr{ψ^3(q)}{ψ(q^3)}$ in terms of Lambert series.
Capparelli conjectured two modular identities for partitions whose parts satisfy certain gap conditions, where were motivated by the calculation of characters for the standard modules of certain affine Lie algebras and by vertex operator theory. These identities were subsequently proved and refined by Andrews, who related them to Jacobi theta functions, and also by Alladi-Andrews-Gordon, Capparelli, and Tamba-Xie. In this paper we prove two new companions to Capparelli's identities, where the evaluations are expressed in terms of Jacobi theta functions and false theta functions.
We obtain two-variable Hecke-Rogers identities for three universal mock theta functions. This implies that many of Ramanujan's mock theta functions, including all the third order functions, have a Hecke-Rogers-type double sum representation. We find new generating function identities for the Dyson rank function, the overpartition rank function, the M2-rank function and related spt-crank functions. Results are proved using the theory of basic hypergeometric functions.
Recently, Andrews, Dixit and Yee defined two partition functions $p_ω(n)$ and $p_ν(n)$ that are related with Ramanujan's mock theta functions $ω(q)$ and $ν(q)$, respectively. In this paper, we present two variable generalizations of their results. As an application, we reprove their results on $p_ω(n)$ and $p_ν(n)$ that are analogous to Euler's pentagonal number theorem.
We provide new proofs to five of Ramanujan's intriguing identities on false theta functions without using the Rogers-Fine identity and Bailey transforms.
We study higher rank Jacobi partial and false theta functions (generalizations of the classical partial and false theta functions) associated to positive definite rational lattices. In particular, we focus our attention on certain Kostant's partial theta functions coming from ADE root lattices, which are then linked to representation theory of W-algebras. We derive modular transformation properties of regularized Kostant's partial and certain higher rank false theta functions. Modulo conjectures in representation theory, as an application, we compute regularized quantum dimensions of atypical …
Recently, Garvan obtained two-variable Hecke-Rogers identities for three universal mock theta functions $g_2(z;q),\,g_3(z;q),\,K(z;q)$ by using basic hypergeometric functions, and he proposed a problem of finding direct proofs of these identities by using Bailey pair technology. In this paper, we give proofs of Garvan's identities by applying Bailey's transform with the conjugate Bailey pair of Warnaar and three Bailey pairs deduced from two special cases of $_6ψ_6$ given by Slater. In particular, we obtain a compact form of two-variable Hecke-Rogers identity related to $g_3(z;q)$, which imply…
The Kronecker theta function is a quotient of the Jacobi theta functions, which is also a special case of Ramanujan's $_1ψ_1$ summation. Using the Kronecker theta function as building blocks, we prove a decomposition theorem for theta functions. This decomposition theorem is the common source of a large number of theta function identities. Many striking theta function identities, both classical and new, are derived from this decomposition theorem with ease. A new addition formula for theta functions is established. Several known results in the theory of elliptic theta functions due to Ramanuja…
False theta functions closely resemble ordinary theta functions, however they do not have the modular transformation properties that theta functions have. In this paper, we find modular completions for false theta functions, which among other things gives an efficient way to compute their obstruction to modularity. This has potential applications for a variety of contexts where false and partial theta series appear. To exemplify the utility of this derivation, we discuss the details of its use on two cases. First, we derive a convergent Rademacher-type exact formula for the number of unimodal …
The bilateral series corresponding to many of the third-, fifth-, sixth- and eighth order mock theta functions may be derived as special cases of $_2ψ_2$ series \[ \sum_{n=-\infty}^{\infty}\frac{(a,c;q)_n}{(b,d;q)_n}z^n. \] Three transformation formulae for this series due to Bailey are used to derive various transformation and summation formulae for both these mock theta functions and the corresponding bilateral series. \\ New and existing summation formulae for these bilateral series are also used to make explicit in a number of cases the fact that for a mock theta function, say $χ(q)$, and …
For positive integers $m$ we consider the theta functions $f_m(z):=\sum_{mk+1\text{ square }}q^k$. Due to classical identities of Jacobi, it is known that $$f_4\equiv f_6f_{12}\pmod 2.$$ Here we prove that the only triples $(a,b,c)$ for which $f_a\equiv f_bf_c\pmod 2$ are of the form $(2q,4q,4q)$ or $(4q,4q,8q)$, where $q$ is any positive odd number, or belong to the following finite list $$\{(4,6,12),(6,8,24),(8,12,24),(10,12,60),(15,24,40),(16,24,48),(20,24,120),(21,24,168)\}.$$ The result is inspired by the Ballantine-Merca Conjecture on recurrence relations for the parity of the partition …
In recent work, Hickerson and the author demonstrated that it is useful to think of Appell--Lerch sums as partial theta functions. This notion can be used to relate identities involving partial theta functions with identities involving Appell--Lerch sums. In this sense, Appell--Lerch sums and partial theta functions appear to be dual to each other. This duality theory is not unlike that found by Andrews between various sets of identities of Rogers-Ramanujan type with respect to Baxter's solution to the hard hexagon model of statistical mechanics. As an application we construct bilateral $q$-se…
George Andrews and Ae Ja Yee recently established beautiful results involving bivariate generalizations of the third order mock theta functions $ω(q)$ and $ν(q)$, thereby extending their earlier results with the second author. Generalizing the Andrews-Yee identities for trivariate generalizations of these mock theta functions remained a mystery, as pointed out by Li and Yang in their recent work. We partially solve this problem and generalize these identities. Several new as well as well-known results are derived. For example, one of our two main theorems gives, as a corollary, a special case …
In his lost notebook, Ramanujan listed 5 identities related to the false theta function $$f(q)=\sum_{n=0}^\infty (-1)^nq^{n(n+1)/2}.$$ A new combinatorial interpretation and proof of one of these identities is given. The methods of the proof allow for new multivariate generalizations of this identity. Additionally, the same technique can be used to obtained a combinatorial interpretation of another one of the identities.
False theta functions form a family of functions with intriguing modular properties and connections to mock modular forms. In this paper, we take the first step towards investigating modular transformations of higher rank false theta functions, following the example of higher depth mock modular forms. In particular, we prove that under quite general conditions, a rank two false theta function is determined in terms of iterated, holomorphic, Eichler-type integrals. This provides a new method for examining their modular properties and we apply it in a variety of situations where rank two false t…
The mock theta conjectures are ten identities involving Ramanujan's fifth-order mock theta functions. The conjectures were proven by Hickerson in 1988 using q-series methods. Using methods from the theory of harmonic Maass forms, specifically work of Zwegers and Bringmann-Ono, Folsom reduced the proof of the mock theta conjectures to a finite computation. Both of these approaches involve proving the identities individually, relying on work of Andrews-Garvan. Here we give a unified proof of the mock theta conjectures by realizing them as an equality between two nonholomorphic vector-valued modu…
We prove several asymptotic results for partial and false theta functions arising from Jacobi forms, as the modular variable $τ$ tends to $0$ along the imaginary axis, and the elliptic variable $z$ is unrestricted in the complex plane. We observe that these functions exhibit Stokes' phenomenon - the asymptotic behavior of these functions sharply differs depending on where the elliptic variable $z$ is located within the complex plane. We apply our results to study the asymptotic expansions of regularized characters and quantum dimensions of the $(1,p)$-singlet vertex operator algebra coming fro…
Previously, we proved an identity for theta functions of degree eight, and several applications of it were also discussed. This identity is a natural extension of the addition formula for the Weierstrass sigma-function. In this paper we will use this identity to reexamine our work in theta function identities in the past two decades. Hundreds of results about elliptic modular functions, both classical and new, are derived from this identity with ease. Essentially, this general theta function identity is a theta identities generating machine. Our investigation shows that many well-known results…
By developing a connection between partial theta functions and Appell-Lerch sums, we find and prove a formula which expresses Hecke-type double sums in terms of Appell-Lerch sums and theta functions. Not only does our formula prove classical Hecke-type double sum identities such as those found in work Kac and Peterson on affine Lie Algebras and Hecke modular forms, but once we have the Hecke-type forms for Ramanujan's mock theta functions our formula gives straightforward proofs of many of the classical mock theta function identities. In particular, we obtain a new proof of the mock theta conj…
