Related papers: Automatic Proof of Theta-Function Identities

In this paper, we show that the classical Cassini and Catalan identities for Fibonacci numbers arise naturally from a single quadratic theta-function identity of Ramanujan. Expanding the identity…

Ramanujan listed several q-series identities in his lost notebook. The most well known q-series identities are the Rogers-Ramanujan type identities which are first discovered by Rogers and then rediscovered by Ramanujan. In this paper, we…

This is a survey covering aspects of varied work of the authors with Mohammed Abouzaid, Paul Hacking, and Sean Keel. While theta functions are traditionally canonical sections of ample line bundles on abelian varieties, we motivate, using…

Inspired by the work of S. Ramanujan, many people have studied generalized modular equations and the numerous identities found by Ramanujan. These identities known as modular equations can be transformed into polynomial equations. There is…

We prove a pair of (mod 10) partition identities. The sum sides involve three-colored partitions into distinct parts, while the product sides are the generating functions for distinct partitions times the Rogers-Ramanujan products. Our…

We consider expansions of products of theta-functions associated with arbitrary root systems in terms of nonsymmetric Macdonald polynomials at $t=\infty$ divided by their norms. The latter are identified with the graded characters of…

Identities compactly describe properties of a mathematical expression and can be leveraged into faster and more accurate function implementations. However, identities must currently be discovered manually, which requires a lot of expertise.…

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…

The main goal of this article is to present an elementary proof of Ramanujan's identity for odd zeta values. Our proof solely relies on a Mittag-Leffler type expansion for hyperbolic cotangent function and Euler's identity for even zeta…

We examine an identity originally stated in Ramanujan's ``lost notebook'' and first proven algebraically by Andrews and combinatorially by Kim. We give two independent combinatorial proofs and interpretations of this identity, which also…

Eisenstein series play an important role in the theory of modular forms and have profound connections with $q$-series identities, partition theory, and special functions. Likewise, Ramanujan's mock theta functions, originally introduced in…

We present proofs of two new families of sum-product identities arising from the cylindric partitions paradigm. Most of the presented expressions, the related sum-product identities, and the ingredients for the proofs were first conjectured…

In this we paper we prove several new identities of the Rogers-Ramanujan-Slater type. These identities were found as the result of computer searches. The proofs involve a variety of techniques, including series-series identities, Bailey…

Using Appell function properties we give short proofs of Ramanujan-like identities for the eighth order mock theta function $V_0(q)$ after work of Chan and Mao; Mao; and Brietzke, da Silva, and Sellars. We also present a generalization of…

In this paper, we establish simple $k$-fold summation expressions for the Quot and motivic Cohen--Lenstra zeta functions associated with the $(2,2k)$ torus links. Such expressions lead us to some multiple Rogers--Ramanujan type identities…

We give a formal extension of Ramanujan's master theorem using operational methods. The resulting identity transforms the computation of a product of integrals on the half-line to the computation of a Laplace transform. Since the identity…

Recently, Simon Plouffe has discovered a number of identities for the Riemann zeta function at odd integer values. These identities are obtained numerically and are inspired by a prototypical series for Apery's constant given by Ramanujan:…

We consider two sequences $a(n)$ and $b(n)$, $1\leq n<\infty$, generated by Dirichlet series of the forms $$\sum_{n=1}^{\infty}\frac{a(n)}{\lambda_n^{s}}\qquad\text{and}\qquad \sum_{n=1}^{\infty}\frac{b(n)}{\mu_n^{s}},$$ satisfying a…

We give an algebraic analog of the functional equation of Riemann's theta function. More precisely, we define a `theta multiplier' line bundle over the moduli stack of principally polarized abelian schemes with theta characteristic and…

The Rogers-Ramanujan identities have been studied from the viewpoints of combinatorics, number theory, affine Lie algebras, statistical mechanics, and quantum field theory. This note connects the Rogers-Ramanujan identities with the finite…