Related papers: Automatic Proof of Theta-Function Identities
We state and prove product formulae for several generating functions for sequences $(a_n)_{n\ge0}$ that are defined by the property that $Pa_n+b^2$ is a square, where $P$ and $b$ are given integers. In particular, we prove corresponding…
In this survey article, we present an expanded version of Lucy Slater's famous list of identities of the Rogers-Ramanujan type, including identities of similar type, which were discovered after the publication of Slater's papers, and older…
This paper is a continuation of our papers \cite{EK1, EK2}. In \cite{EK2} we showed that for the root system $A_{n-1}$ one can obtain Macdonald's polynomials as weighted traces of intertwining operators between certain finite-dimensional…
In this report a new software module for the reconstruction of the moments of multiplicity distributions of identified particles, the TIdentity module, is presented. The module exploits the Identity Method, which allows to circumvent the…
For a given prime $p$, we study the properties of the $p$-dissection identities of Ramanujan's theta functions $\psi(q)$ and $f(-q)$, respectively. Then as applications, we find many infinite family of congruences modulo 2 for some…
Inspired by the original definition of mock theta functions by Ramanujan, a number of authors have considered the question of explicitly determining their behavior at the cusps. Moreover, these examples have been connected to important…
In his deathbed letter to Hardy, Ramanujan gave a vague definition of a mock modular function: at each root of unity its asymptotics matches the one of a modular form, though a choice of the modular function depends on the root of unity.…
We use a q-series identity by Ramanujan to give a combinatorial interpretation of Ramanujan's tau function which involves t-cores and a new class of partitions which we call (m,k)-capsids. The same method can be applied in conjunction with…
A decomposition of identity is given as a complex integral over the coherent states associated with a class of shape-invariant self-similar potentials. There is a remarkable connection between these coherent states and Ramanujan's integral…
An identity by Ramanujan is expressed using polar coordinates, so that its proof reduces to the verification of an elementary trigonometric identity. This approach produces a few variations on Ramanujan's original identity.
In this series of seven papers, predominantly by means of elementary analysis, we establish a number of identities related to the Riemann zeta function. Whilst this paper is mainly expository, some of the formulae reported in it are…
In this paper we explore how machine learning techniques can be applied to the discovery of efficient mathematical identities. We introduce an attribute grammar framework for representing symbolic expressions. Given a set of grammar rules…
We establish some new bilateral double-sum Rogers-Ramanujan identities involving parameters. As applications, these identities yield several new multi-sum Rogers-Ramanujan type identities. Our proofs utilize the theory of basic…
This paper is a continuation of our papers [EK1, EK2]. In [EK2] we showed that for the root system A_n-1 one can obtain Macdonald's polynomials - a new interesting class of symmetric functions recently defined by I. Macdonald {M1] - as…
One of the celebrated formulas of Ramanujan is about odd zeta values, which has been studied by many mathematicians over the years. A notable extension was given by Grosswald in 1972. Following Ramanujan's idea, we rediscovered a…
In this article, a finite analogue of the generalized sum-of-tails identity of Andrews and Freitas is obtained. We derive several interesting results as special cases of this analogue, in particular, a recent identity of Dixit, Eyyyunni,…
The modular forms are revisited from a geometric and an algebraic point of view leading to a geometric interpretation of the weak Maass forms connecting them to the Ramanujan Mock Theta functions and to the cusp forms generated from the…
Recently, Nath and Das investigated congruence properties for the second order mock theta function $B(q)$. In their paper, they asked for analytic proofs of three identities on the second order mock theta functions $A(q)$, $B(q)$ and…
In this note we present a method for obtaining a wide class of combinatorial identities. We give several examples, in particular, based on the Gamma and Beta functions. Some of them have already been considered by previously, and other are…
We present a new proof of the Rogers-Ramanujan identities. Surprisingly, all its ingredients are available already in Rogers seminal paper from 1894, where he gave a considerably more complicated proof.