Related papers: A new four parameter q-series identity and its par…
Reynolds' theory of relational parametricity formalizes parametric polymorphism for System F, thus capturing the idea that polymorphically typed System F programs always map related inputs to related results. This paper shows that Reynolds'…
In this paper, we introduce and study the quadratic-phase Dunkl transform, a novel integral transform on the real line parameterized by five real numbers $(a, b, c, d, e)$ and a multiplicity parameter $\mu\geq -1/2$. We define the transform…
We present a constructive proof of Jacobi's identity for the sum of two squares. We present a combinatorial proof of the Jacobi Triple Product and combine with a proof of Hirschhorn to define an algorithm. The input is a factorization…
We study the identity problem for matrices, i.e., whether the identity matrix is in a semigroup generated by a given set of generators. In particular we consider the identity problem for the special linear group following recent…
We investigate the moment problem and Jacobi matrix associated -- by the operator theoretic framework of the semilocal trace formula -- to each finite set $S$ of places of $\mathbb Q$ containing the archimedean place. The measure is given…
We deduce new q-series identities by applying inverse relations to certain identities for basic hypergeometric series. The identities obtained themselves do not belong to the hierarchy of basic hypergeometric series. We extend two of our…
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…
In this paper, we present a new method for finding identities for hypergeoemtric series, such as the (Gauss) hypergeometric series, the generalized hypergeometric series and the Appell-Lauricella hypergeometric series. Furthermore, using…
We consider an identity relating Fibonacci numbers to Pascal's triangle discovered by G. E. Andrews. Several authors provided proofs of this identity, most of them rather involved or else relying on sophisticated number theoretical…
Hou, Krattenthaler, and Sun have introduced two $q$-analogues of a remarkable series for $\pi^2$ due to Guillera, and these $q$-identities were, respectively, proved with the use of a $q$-analogue of a Wilf-Zeilberger pair provided by…
In this paper, we show that the classical Cassini and Catalan identities for Fibonacci numbers arise naturally from a single quadratic theta-function identity of Ramanujan. Expanding the identity…
We give a proof of a recent combinatorial conjecture due to the first author, which was discovered in the framework of commutative algebra. This result gives rise to new companions to the famous Andrews-Gordon identities. Our tools involve…
Product identities in two variables $x, q$ expand infinite products as infinite sums, which are linear combinations of theta functions; famous examples include Jacobi's triple product identity, Watson's quintuple identity, and Hirschhorn's…
We prove hypergeometric type identities for a function defined in terms of quotients of the $p$-adic gamma function. We use these identities to prove a supercongruence conjecture of Rodriguez-Villegas between a truncated $_4F_3$…
We define the concept of an affinized projective variety and show how one can, in principle, obtain q-identities by different ways of computing the Hilbert series of such a variety. We carry out this program for projective varieties…
Via the contour integral method, we establish a reduction formula from a double series to a single series with parameters, which not only implies Uncu and Zudilin's two results and Cao and Wang's two results, but also is related to…
In two widely circulated manuscripts from the 1980s, I. G. Macdonald introduced certain multivariate hypergeometric series ${}_pF_q(x;\alpha)$ and ${}_pF_q(x,y;\alpha)$ and their $q$-analogs ${}_r\Phi_s(x;q,t)$ and ${}_r\Phi_s(x,y;q,t)$.…
We present a novel framework for studying combinatorial identities through the geometric lens of subset distributions in q-valued cubes. By analyzing how elements of arbitrary subsets are distributed among the faces of the cube E_q^n, we…
Identifiability of parameters is an essential property for a statistical model to be useful in most settings. However, establishing parameter identifiability for Bayesian networks with hidden variables remains challenging. In the context of…
The fundamental identity of quadratic Jordan algebras $Q_{Q_a b} = Q_aQ_bQ_a$ is commonly proven as a consequence of MacDonalds theorem or using more analytic methods. In this short note we give a self-contained purely algebraic proof using…