Related papers: The Abel Lemma and the q-Gosper Algorithm
A method is presented for performing joint analyses of cosmological datasets, in which the weight assigned to each dataset is determined directly by it own statistical properties. The weights are considered in a Bayesian context as a set of…
We present a systematic method for proving nonterminating basic hypergeometric identities. Assume that $k$ is the summation index. By setting a parameter $x$ to $xq^n$, we may find a recurrence relation of the summation by using the…
Leveraging a general framework adapted from symbolic integration, a unified reduction-based algorithm for computing telescopers of minimal order for hypergeometric and q-hypergeometric terms has been recently developed. In this paper, we…
We introduce the notion of reflexivity for combinatory algebras. Reflexivity can be thought of as an equational counterpart of the Meyer-Scott axiom of combinatory models, which indeed allows us to characterise an equationally definable…
We study an $\ell$-adic Galois analogue of the distribution formulas for polylogarithms with special emphasis on path dependency and arithmetic behaviors. As a goal, we obtain a notion of certain universal Kummer-Heisenberg measures that…
We present recent computer algebra methods that support the calculations of (multivariate) series solutions for (certain coupled systems of partial) linear differential equations. The summand of the series solutions may be built by…
A sum rule has been derived for the static pair correlation function. This rule is the extension of the well-known equation that relates density fluctuation to compressibility. The obtained sum rule is applied to the Bose and Fermi ideal…
In this note, we give the explicit formula for the number of multisubsets of a finite abelian group $G$ with any given size such that the sum is equal to a given element $g\in G$. This also gives the number of partitions of $g$ into a given…
By using the generalized Abel-Plana formula, we derive a summation formula for the series over the zeros of a combination of the associated Legendre functions with respect to the degree. The summation formula for the series over the zeros…
Creative telescoping is an algorithmic method initiated by Zeilberger to compute definite sums by synthesizing summands that telescope, called certificates. We describe a creative telescoping algorithm that computes telescopers for definite…
The ability to obtain reliable point estimates of model parameters is of crucial importance in many fields of physics. This is often a difficult task given that the observed data can have a very high number of dimensions. In order to…
The elementary and systematic binary Bell polynomial approach is applied to the good Boussinesq equation. The bilinear representation, $n$-soliton solutions, bilinear B\"acklund transformation, Lax pair and infinite conservation laws of the…
Alignment algorithms usually rely on simplified models of gaps for computational efficiency. Based on an isomorphism between alignments and physical helix-coil models, we show in statistical mechanics that alignments with realistic laws for…
We extend Gleason's theorem to the two-dimensional Hilbert space of a qubit by invoking the standard axiom that describes composite quantum systems. The tensor-product structure allows us to derive density matrices and Born's rule for $d=2$…
In 2021, the first author and Kalita obtained two general hypergeometric formulas for sums involving certain rising factorials to prove some supercongruence conjectures of Guo related to (B.2) and (C.2). In this paper, we further generalize…
Euler--Maclaurin and Poisson analogues of the summations $\sum_{a < n \leq b} \chi(n) f(n)$, $\sum_{a < n \leq b} d(n) f(n)$, $\sum_{a < n \leq b} d(n) \chi (n) f(n)$ have been obtained in a unified manner, where $(\chi (n))$ is a periodic…
In a former paper it has been shown that the elliptic Gau{\ss} sums, whose use has been proposed in the context of counting points on elliptic curves and primality tests, can be computed by using modular functions. In this work we give…
A pair of sequences $(\alpha_{n}(a,k,q),\beta_{n}(a,k,q))$ such that $\alpha_0(a,k,q)=1$ and \[ \beta_{n}(a,k,q) = \sum_{j=0}^{n} \frac{(k/a; q)_{n-j}(k; q)_{n+j}}{(q;q)_{n-j}(aq;q)_{n+j}}\alpha_{j}(a,k,q) \] is termed a \emph{WP-Bailey…
We compare previously found finite-dimensional matrix and integral operator realizations of the Bailey lemma employing univariate elliptic hypergeometric functions. With the help of residue calculus we explicitly show how the integral…
In a recent paper (Appl. Math. Comput. 215, 1622--1645, 2009), the authors proposed a method of summation of some slowly convergent series. The purpose of this note is to give more theoretical analysis for this transformation, including the…