arXiv++ Combinatorics

When $m = 1$, the Dyson rank generating function is a classical bridge between partition theory, Ramanujan's mock theta functions, and the theory of harmonic Maass forms and nonholomorphic Jacobi forms. The rank is a statistic on partitions, and the higher Dyson systems, for $m \geq 2$, are a natural multivariable refinement of it, combining $m$ graded rank contributions. Unlike the classical case, these higher systems are not expected to fit the mock-modular framework, which raises the question of what analytic structure governs them. We show that their root-of-unity specializations carry a hidden elliptic structure. A finite $q$-difference recurrence produces an explicit polynomial obstruction to the expected index $m$ elliptic transformation law, and because the obstruction is finite, its partial fractions canonically determine finitely many Appell--Lerch correction terms that remove it. The corrected functions satisfy a twisted index $m$ elliptic law; a natural translation removes the twist, and their holomorphic finite parts admit finite theta decompositions. Thus, the natural analogue of Dyson's mock-modular phenomenon at higher $m$ is not mock modularity but a finite theta decomposition governed by an index $m$ elliptic transformation law. These results grew out of a human--AI collaboration, and the key new formulas were formalized and machine-verified in Lean/Mathlib by AxiomProver.

The theory of $q$-series and basic hypergeometric series plays a crucial role at the intersection of combinatorics, number theory, and representation theory. From the classical partition identities of Euler and Jacobi to modern developments in class field theory, vertex operator algebras, and the Monstrous Moonshine conjecture, $q$-series provide the analytic framework for a wide range of profound applications. In this paper, we discuss the formalization of this theory in the Lean proof assistant, a process that requires careful design of scalable and versatile structures to reconcile formal algebraic identities with analytic convergence properties. We address these foundational challenges by focusing on the construction of $q$-Pochhammer symbols, $q$-binomial coefficients, Bailey's Lemma and similar primitives. To demonstrate the utility of this work, we provide fully verified proofs of the Jacobi Triple Product formula and the celebrated Rogers-Ramanujan identities, which serve as both historical and technical benchmarks for the field. This work establishes a rigorous computational foundation for the future formalization of mock theta functions, modular forms, and the diverse algebraic structures that underpin their applications across mathematics and physics.

In this paper, we prove a conjecture of Andrews and Bachraoui relating a generating function arising from two-color partitions (with odd smallest part and restrictions on the even parts) to a Hecke-type double sum. Our proof is based on Zwegers' theory of indefinite theta functions together with modular transformation properties of mock theta functions.

Andrews and the third author recently studied congruences for certain restricted two-color partitions. They made two conjectures for Ramanujan-type congruences and a vanishing identity for the limiting sequence. In this paper, we settle these conjectures by relating the corresponding generating function to modular forms and mock theta functions.

Ramanujan introduced mock theta functions in his last letter to G.H.Hardy. He provided examples and various relations between them. G.N.Watson found transformations for the third order mock theta functions $f(q)$ and $ω$(q). Zwegers in 2000 built on Watson's techniques to complete these mock theta functions and connected them to real analytic modular forms. We show how to derive these transformations using Lerch sums. To show the equivalence of the results involves some new $q$-series identities thus resulting in a new proof of Zwegers' theorem.

In this paper, we investigate new relationships for bilateral series related to two-parameter mock theta functions, which lead to many identities concerning the bilateral mock theta functions. In addition, interesting relations between the classical mock theta functions and the bilateral series are also concluded.

We use Bailey pairs to prove $q$-series identities at roots of unity due to Cohen and Bryson-Ono-Pitman-Rhoades. The proofs use Bailey pairs with quadratic forms developed in the study of mock theta functions. In addition to the standard Bailey lemma, we require some changes-of-base established by Bressoud-Ismail-Stanton. We then embed the identities in infinite families using the Bailey chain.

A new sums-of-tails identity involving two parameters $b$ and $d$ is obtained and is used to derive more results of similar type. One of Ramanujan's sums-of-tails identities from the Lost Notebook is shown to be a special case of our result. In the course of deriving Ramanujan's identity, we obtain a new result of combinatorial significance. Two new representations for an infinite series associated to a mock theta function are derived. Also, we give an application of an identity of Andrews and Onofri.

In this paper, we establish that the number of partitions of a natural number with positive odd rank is equal to the number of two-color partitions (red and blue), where the smallest part is even (say $2n$) and all red parts are even and lie within the interval $(2n,4n]$. This led us to derive a new representation for the third order mock theta function $f_3(q)$ and an analogue of the fundamental identity for the smallest part partition function Spt$(n)$, both of which are of significant interest in their own right. We also consider the odd smallest part version of the above two-color partition, whose generating function involves another third order mock theta function $φ_3(q)$.

Page 27 of Ramanujan's Lost Notebook contains a beautiful identity which not only gives, as a special case, a famous modular relation between the Rogers-Ramanujan functions $G(q)$ and $H(q)$ but also a relation between two fifth order mock theta functions and $G(q)$ and $H(q)$. We generalize Ramanujan's relation with the help of a parameter $s$ to get an infinite family of such identities. Our result shows that a theta function can always be ``dissected'' as a finite sum of products of generalized Rogers-Ramanujan functions. Several well-known results are shown to be consequences of our theorem, for example, a generalization of the Jacobi triple product identity and Andrews' relation between two of his generalized third order mock theta functions. We give enough evidence, through asymptotic analysis as well as by other means, to show that the identities we get from our main result for $s>2$ transcend the modular world and hence look difficult to be written in the form of a modular relation. Using asymptotic analysis, we also offer a clinching evidence that explains how Ramanujan may have arrived at his generalized modular relation.

The Fourier coefficients $c_1(n)$ of the elliptic modular $j$-function are always even for $n \not\equiv 7 \pmod{8}$. In contrast, for $n \equiv 7 \pmod{8}$, it is conjectured that ``half" of the coefficients take odd values. In this article, we first observe in detail when $c_1(8n-1)$ is odd and show that the coefficients share the same parity as the coefficients $c_{μ_2}(n)$ of the 2nd order mock theta function $μ_2(q)$. Furthermore, we prove that this phenomenon also holds among several hauptmoduln and between hauptmoduln and even-order mock theta functions.

Andrews-Dyson-Hickerson, Cohen build a striking relation between q-hypergeometric series, real quadratic fields, and Maass forms. Thanks to the works of Lewis-Zagier and Zwegers we have a complete understanding on the part of these relations pertaining to Maass forms and false-indefinite theta functions. In particular, we can systematically distinguish and study the class of false-indefinite theta functions related to Maass forms. A crucial component here is the framework of mock Maass theta functions built by Zwegers in analogy with his earlier work on indefinite theta functions and their application to Ramanujan's mock theta functions. Given this understanding, a natural question is to what extent one can utilize modular properties to investigate the asymptotic behavior of the associated Fourier coefficients, especially in view of their relevance to combinatorial objects. In this paper, we develop the relevant methods to study such a question and show that quite detailed results can be obtained on the asymptotic development, which also enable Hardy-Ramanujan-Rademacher type exact formulas under the right conditions. We develop these techniques by concentrating on a concrete example involving partitions with parts separated by parity and derive an asymptotic expansion that includes all the exponentially growing terms.

It is well known that Ramanujan conjectured congruences modulo powers of $5$, $7$ and and $11$ for the partition function. These were subsequently proved by Watson (1938) and Atkin (1967). In 2009 Choi, Kang, and Lovejoy proved congruences modulo powers of $5$ for the crank parity function. The generating function for the analogous rank parity function is $f(q)$, the first example of a mock theta function that Ramanujan mentioned in his last letter to Hardy. Recently we proved congruences modulo powers of $5$ for the rank parity function, and here we extend these congruences for powers of $7$. We also show how these congruences imply congruences modulo powers of $5$ and $7$ for the coefficients of the related third order mock theta function $ω(q)$, using Atkin-Lehner involutions and transformation results of Zwegers. Finally we a prove a family of congruences modulo powers of $7$ for the crank parity function.

We give combinatorial interpretations of two residual cranks of overpartitions defined by Bringmann, Lovejoy and Osburn in 2009 analogous to the crank of partitions given by Andrews and the first author in 1988. As a consequence, we give new versions of their definitions without adjusted weights. Furthermore, we investigate the combinatorial interpretation of an $M_2$-crank of partitions without repeated odd parts and explore connections of these statistics with their companion rank counterparts and the tenth order mock theta functions of Ramanujan.

The study of partitions with parts separated by parity was initiated by Andrews in connection with Ramanujan's mock theta functions, and his variations on this theme have produced generating functions with a large variety of different modular properties. In this paper, we use Ingham's Tauberian theorem to compute the asymptotic main term for each of the eight functions studied by Andrews.

We prove new bijections between different variants of Dyck paths and integer compositions, which give combinatorial explanations of their simple counting formula $4^{n-1}$. These give relations between different statistics, such as the number of crossings of the $x$-axis in classes of Dyck bridges or the distribution of peaks in classes of Dyck paths, and furthermore relate them with $k$- and $g$-compositions. These allow us to find and prove congruence results for Dyck paths and parity results for compositions. Our investigation uncovers unexpected connections to mock theta functions, Hardinian arrays, little Schröder paths, Fibonacci numbers, and irreducible pairs of compositions, offering new insights into the structures of paths, partitions and compositions.

Noting a curious link between Andrews' even-odd crank and the Stanley rank, we adopt a combinatorial approach building on the map of conjugation and continue the study of integer partitions with parts separated by parity. Our motivation is twofold. First off, we derive results for certain restricted partitions with even parts below odd parts. These include a Franklin-type involution proving a parametrized identity that generalizes Andrews' bivariate generating function, and two families of Andrews--Beck type congruences. Secondly, we introduce several new subsets of partitions that are stable (i.e., invariant under conjugation) and explore their connections with three third order mock theta functions $ω(q)$, $ν(q)$, and $ψ^{(3)}(q)$, introduced by Ramanujan and Watson.

In this paper we prove an exact formula for the number of partitions without sequences. By work of Andrews, the corresponding generating function is a product of a modular form and a mock theta function, giving an overall weight of 0. The proof requires evaluating and bounding Kloosterman sums and the Circle Method

In this paper we add to the literature on the combinatorial nature of the mock theta functions, a collection of curious $q$-hypergeometric series introduced by Ramanujan in his last letter to Hardy in 1920, which we now know to be important examples of mock modular forms. Our work is inspired by Beck's conjecture, now a theorem of Andrews, related to Euler's identity: the excess of the number of parts in all partitions of $n$ into odd parts over the number of partitions of $n$ into distinct parts is equal to the number of partitions with only one (possibly repeated) even part and all other parts odd. We establish Beck-type identities associated to partition identities due to Andrews, Dixit, and Yee for the third order mock theta functions $ω(q), ν(q)$, and $φ(q)$. Our proofs are both analytic and combinatorial in nature, and involve mock theta generating functions and combinatorial bijections.

It is known that $q$-orthogonal polynomials play an important role in the field of $q$-series and special functions. During studying Dyson's "favorite" identity of Rogers--Ramanujan type, Andrews pointed out that the classical orthogonal polynomials also have surprising applications in the world of $q$. By inserting Chebyshev polynomials of the third and the fourth kinds into Bailey pairs, Andrews derived a family of Rogers--Ramanujan type identities and also results related to mock theta functions and Hecke--type series. In this paper, by constructing a new Bailey pair involving Chebyshev polynomials of the third kind, we further extend Andrews' way in the studying of Rogers--Ramanujan type identities. By fitting this Bailey pair into different weak forms of Bailey's lemma, we obtain a companion identity to Dyson's favorite one and also many other Rogers--Ramanujan type identities. Furthermore, as immediate consequences, we also obtain some results related to Appell--Lerch series and the generalized Hecke--type series.