Related papers: The Abel Lemma and the q-Gosper Algorithm
We prove a pair of transformation formulas for multivariate elliptic hypergeometric sum/integrals associated to the $A_n$ and $BC_n$ root systems, generalising the formulas previously obtained by Rains. The sum/integrals are expressed in…
In a previous publication, we showed how group actions can be used to generate Bell inequalities. The group action yields a set of measurement probabilities whose sum is the basic element in the inequality. The sum has an upper bound if the…
We compute the sum and the alternating sum of the reciprocals of triangular numbers using two standard methods from calculus: a telescoping series approach and a power series approach. We then extend these results to generalized…
We present finitary formulations of two well known results concerning infinite series, namely Abel's theorem, which establishes that if a series converges to some limit then its Abel sum converges to the same limit, and Tauber's theorem,…
An elliptic Bailey lemma is formulated on the basis of the univariate rarefied elliptic beta integral. It leads to a generalized operator star-triangle relation and a new solution of the Yang-Baxter equation written as an integral operator…
The statistics of meanders is studied in connection with the Temperley-Lieb algebra. Each (multi-component) meander corresponds to a pair of reduced elements of the algebra. The assignment of a weight $q$ per connected component of meander…
Recently, the second author [Ramanujan J. 2026] introduced and proved a $q$-series identity that appears to provide the first known $q$-analogue of an evaluation for a ${}_{2}F_{1}$-series known as \emph{Gosper's strange series}.…
Goldbach conjecture is one of the most famous open mathematical problems. It states that every even number, bigger than two, can be presented as a sum of 2 prime numbers. % In this work we present a deep learning based model that predicts…
In this article, we derive some identities for multilateral basic hypergeometric series associated to the root system A_n. First, we apply Ismail's argument to an A_n q-binomial theorem of Milne and derive a new A_n generalization of…
We extend the generic Bell inequalities suggested by Son, Lee, and Kim [Phys. Rev. Lett. 96, 060406 (2006)] to incorporate multiple observables for tripartite systems and introduce a geometric methodology for calculating classical upper…
In this paper, we use Abel's summation formula to evaluate several quadratic and cubic sums of the form: \[{F_N}\left( {A,B;x} \right) := \sum\limits_{n = 1}^N {\left( {A - {A_n}} \right)\left( {B - {B_n}} \right){x^n}} ,\;x \in [ - 1,1]\]…
A new type of algorithms is presented that combine the advantages of quantum and classical ones. Those combined advantages along with aspects of Geometric Algebra that open possibilities unavailable to both of these computations are…
For a hypergeometric series $\sum_k f(k,a, b, ...,c)$ with parameters $a, b, >...,c$, Paule has found a variation of Zeilberger's algorithm to establish recurrence relations involving shifts on the parameters. We consider a more general…
Using Abel's five-term relation, we derive a new two-parameter series identity for the Rogers dilogarithm. By specializing this identity, we obtain dilogarithm series involving Lucas sequences. These results generalize certain series…
We show that finding the classical bound of broad families of Bell inequalities can be naturally framed as the contraction of an associated tensor network, but in tropical algebra, where the sum is replaced by the minimum and the product is…
Motivated by the work on hypergeometric summation theorems (recorded in the table III of Prudnikov et al. pp. 541-546), we have established some new summation theorems for Clausen's hypergeometric functions with unit argument in terms of…
We obtain some Bailey pairs associated with indefinite quadratic forms with the $\beta_n$ connected to a finite sum. A new general identity is given, which provides identities for $q$-hypergeometric series, including mock theta functions.
Usually creative telescoping is used to derive recurrences for sums. In this article we show that the non-existence of a creative telescoping solution, and more generally, of a parameterized telescoping solution, proves algebraic…
Certain quantum topological invariants of three manifolds can be written in the form of the Gaussian sum. It is shown that such topological invariants can be approximated efficiently by a quantum computer. The invariants discussed here are…
Given two polynomials, we find a convergence property of the GCD of the rising factorial and the falling factorial. Based on this property, we present a unified approach to computing the universal denominators as given by Gosper's algorithm…