We prove certain Nahm-type sum representations for the (odd modulus) Andrews-Gordon identities, the (even modulus) Andrews-Bressoud identities, and Rogers' false theta functions. These identities are motivated on one hand by a recent work of C. Jennings-Shaffer and one of us on double pole series, and, on the other hand, by Córdova, Gaiotto and Shao's work on defect Schur's indices.
We prove Rogers-Ramanujan type identities for the Nahm sums associated with the tadpole Cartan matrix of rank $3$. These identities reveal the modularity of these sums, and thereby we confirm a conjecture of Penn, Calinescu and the first author in this case. We show that these Nahm sums together with some shifted sums can be combined into a vector-valued modular function on the full modular group. We also present some conjectures for a general rank.
Zagier provided eleven conjectural rank two examples for Nahm's problem. All of them have been proved in the literature except for the fifth example, and there is no $q$-series proof for the tenth example. We prove that the fifth and the tenth examples are in fact equivalent. Then we give a $q$-series proof for the fifth example, which confirms a recent conjecture of Wang. This also serves as the first $q$-series proof for the tenth example, whose explicit form was conjectured by Vlasenko and Zwegers in 2011.
In this note, we report on the results of a computer search performed to find possible modular companions to certain $q$-series identities and conjectures. For the search, we use conditions arising from the asymptotics of Nahm sums. We focus on two sets of identities: Capparelli's identities, and certain partition conjectures made by the author jointly with Matthew C. Russell.
In this paper, we obtain formulas for the number of representations of positive integers as sums of arbitrarily many squares (and other polygonal numbers) with a certain natural weighting. The resulting weighted sums give Fourier coefficients of weight two quasimodular forms.
Sums of the form $\sum_{q \leq N_1 < \cdots < N_m \leq n}{a_{(m);N_m}\cdots a_{(2);N_2}a_{(1);N_1}}$ date back to the sixteen century when Viète illustrated that the relation linking the roots and coefficients of a polynomial had this form. In more recent years, such sums have become increasingly used with a diversity of applications. In this paper, we develop formulae to help with manipulating such sums (which we will refer to as multiple sums). We develop variation formulae that express the variation of multiple sums in terms of lower order multiple sums. Additionally, we derive a set of par…
In this article we extend a theorem of Andrews, Crippa, and Simon on the asymptotic behavior of polynomials defined by a general class of recursive equations. Here the polynomials are in the variable $q$, and the recursive definition at step $n$ introduces a polynomial in $n$. Our extension replaces the polynomial in $n$ with either an exponential or periodic function of $n$.
Sums of the form $\sum_{N_m=q}^{n}{\cdots \sum_{N_1=q}^{N_2}{a_{(m);N_m}\cdots a_{(1);N_1}}}$ where the $a_{(k);N_k}$'s are same or distinct sequences appear quite often in mathematics. We will refer to them as recurrent sums. In this paper, we introduce a variety of formulas to help manipulate and work with this type of sums. We begin by developing variation formulas that allow the variation of a recurrent sum of order $m$ to be expressed in terms of lower order recurrent sums. We then proceed to derive theorems (which we will call inversion formulas) which show how to interchange the order o…
We consider the reflection identities for harmonic sums at weight four. We decompose a product of two harmonic sums with mixed pole structure into a linear combination of terms each having a pole at either negative or positive values of the argument. The pole decomposition demonstrates how the product of two simpler harmonic sums can build more complicated harmonic sums at higher weight. We list a minimal irreducible bilinear set of reflection identities at weight four which present the main result of the paper. We also discuss how other trilinear and quartic reflection identities can be easil…
We establish Ohno-type identities for multiple harmonic ($q$-)sums which generalize Hoffman's identity and Bradley's identity. Our result leads to a new proof of the Ohno-type relation for $\mathcal{A}$-finite multiple zeta values recently proved by Hirose, Imatomi, Murahara and Saito. As a further application, we give certain sum formulas for $\mathcal{A}_2$- or $\mathcal{A}_3$-finite multiple zeta values.
Dedekind sums occur in the transformation behaviour of the logarithm of the Dedekind eta-function under substitutions from the modular group. In 1892, Dedekind showed a reciprocity relation for the Dedekind sums. Apostol generalized Dedekind sums by replacing the first Bernoulli function appearing in them by any Bernoulli functions and derived a reciprocity relation for the generalized Dedekind sums. In this paper, we consider poly-Dedekind sums which are obtained from the Dedekind sums by replacing the first Bernoulli function by any type 2 poly-Bernoulli functions of arbitrary indices and pr…
In a one-page fragment published with his lost notebook, Ramanujan stated two double series identities associated, respectively, with the famous Gauss Circle and Dirichlet Divisor problems. The identities contain an "extra" parameter, and it is possible that Ramanujan derived these identities with the intent of attacking these famous problems. Similar famous unsolved problems are connected with $f_K(n)$, the number of integral ideals of norm $n$ in an algebraic number field $K$. In this paper we establish Riesz sum identities containing an "extra" parameter and involving $f_K(n)$, or divisor f…
The class of Lambert series generating functions (LGFs) denoted by $L_α(q)$ formally enumerate the generalized sum-of-divisors functions, $σ_α(n) = \sum_{d|n} d^α$, for all integers $n \geq 1$ and fixed real-valued parameters $α\geq 0$. We prove new formulas expanding the higher-order derivatives of these LGFs. The results we obtain are combined to express new identities expanding the generalized sum-of-divisors functions. These new identities are expanded in the form of sums of polynomially scaled multiples of a related class of divisor sums depending on $n$ and $α$.
We show that identities involving trigonometric sums recently proved by Harshitha, Vasuki and Yathirajsharma, using Ramanujan's theory of theta functions, were either already in the literature or can be proved easily by adapting results that can be found in the literature. Also we prove two conjectures given in that paper. After mentioning many other works dealing with identities for various trigonometric sums, we end this paper by describing an automated approach for proving such trigonometric identities.