Related papers: An Operational Calculus Generalization of Ramanuja…
We prove a polynomial continued fraction identity for the constant $-\pi/4$, conjectured by the Ramanujan Machine project. The proof proceeds by explicitly solving the underlying second-order linear difference equation. We derive a…
In his notebooks, Ramanujan presented without proof many remarkable formulae for the solutions to generalized modular equations. Much later, proofs of the formulae were provided by making use of highly nontrivial identities for theta series…
In this paper, we present an extension of $\lambda\mu$-calculus called $\lambda\mu^{++}$-calculus which has the following properties: subject reduction, strong normalization, unicity of the representation of data and thus confluence only on…
Ramanujan stated an identity to the effect that if three sequences $\{a_n\}$, $\{b_n\}$ and $\{c_n\}$ are defined by $r_1(x)=:\sum_{n=0}^{\infty}a_nx^n$, $r_2(x)=:\sum_{n=0}^{\infty}b_nx^n$ and $r_3(x)=:\sum_{n=0}^{\infty}c_nx^n$ (here each…
In this paper we develop a method to calculate the overpartition function efficiently using a Hardy-Rademacher-Ramanujan type formula, and we use this method to find many new Ramanujan-style congruences, whose existence is predicted by…
The Functional Machine Calculus (FMC) was recently introduced as a generalization of the lambda-calculus to include higher-order global state, probabilistic and non-deterministic choice, and input and output, while retaining confluence. The…
In this paper we use the viewpoint of the formal calculus underlying vertex operator algebra theory to study certain aspects of the classical umbral calculus and we introduce and study certain operators generalizing the classical umbral…
By using the theory of vertex operator algebras, we gave a new proof of the famous Ramanujan's modulus 5 modular equation from his "Lost Notebook" (p.139 in \cite{R}). Furthermore, we obtained an infinite list of $q$-identities for all odd…
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…
In this paper, we derive a unified generalization of Ramanujan's transformation identities for the theta function $f(a,b)$, originally appearing in Ramanujan's Notebooks, Parts~III and IV. Using an approach based on residue-class…
Under the lack of variational structure and nondegeneracy, we investigate three notions of \textit{generalized principal eigenvalue} for a general infinity Laplacian operator with gradient and homogeneous term. A Harnack inequality and…
In this paper, we first give a simple combinatorial proof of Tepper's identity. Then, as a by product of this interesting identity we present another proof of the well-known Wilson's identity in number theory. Finally, we obtain a…
This paper is concerned with a class of partition functions $a(n)$ introduced by Radu and defined in terms of eta-quotients. By utilizing the transformation laws of Newman, Schoeneberg and Robins, and Radu's algorithms, we present an…
Expander graphs in general, and Ramanujan graphs in particular, have been of great interest in the last three decades with many applications in computer science, combinatorics and even pure mathematics. In these notes we describe various…
Functional methods can be applied to the quantum effective action to efficiently determine counterterms and matching conditions for effective field theories. We extend the toolbox to two-loop order and beyond and show how to evaluate the…
Given $1 \leq p < \infty$, let $W_n$ denote the finite-dimensional dyadic Hardy space $H_n^p$, its dual or $SL_n^\infty$. We prove the following quantitative result: The identity operator on $W_n$ factors through any operator $T : W_N\to…
The aim of our present work here is to present few results in the theory of Mellin transforms using the method that S. Ramanujan used in proving his Master Theorem. Further applications of our results for some number-theoretic functions…
Ramanujan's reciprocity theorem may be considered as a three-variable extension of Jacobi's triple product identity. Using the method of $q$-partial differential equations, we extend Ramanujan's reciprocity theorem to a seven-variable…
We derive an identity involving Horadam numbers. Numerous new identities as well as those found in the existing literature are subsumed in this single identity.
We present a general method which expresses a unitary operator by the product of operators allowed by the Hamiltonian of spin-1/2 systems. In this method, the generator of an operator is found first, and then the generator is expanded by…