Related papers: Lifting Bailey Pairs to WP-Bailey Pairs

Classical Jacobi polynomials $P_{n}^{(\alpha,\beta)}$, with $\alpha, \beta>-1$, have a number of well-known properties, in particular the location of their zeros in the open interval $(-1,1)$. This property is no longer valid for other…

The present authors introduced a two-color partition series $S(q)$ and conjectured a Hecke-type formula for the even part of $(q^4;q^4)_\infty S(q)$. Banerjee and Bringmann proved the conjecture by using indefinite theta functions, modular…

The Ramanujan $_1\psi_1$ summation theorem in studied from the perspective of $q$-Jackson integrals, $q$-difference equations and connection formulas. This is an approach which has previously been shown to yield Bailey's very-well-poised…

We show how to obtain linear combinations of polynomials in an orthogonal sequence $\{P_n\}_{n\geq 0}$, such as $Q_{n,k}(x)=\sum\limits_{i=0}^k a_{n,i}P_{n-i}(x)$, $a_{n,0}a_{n,k}\neq0$, that characterize quasi-orthogonal polynomials of…

Let $S = K[x_1, ..., x_n]$ denote the polynomial ring in $n$ variables over a field $K$ with each $\deg x_i = 1$. Let $\Delta$ be a simplicial complex on $[n] = \{1, ..., n \}$ and $I_\Delta \subset S$ its Stanley--Reisner ideal. We write…

The valley Delta square conjecture states that the symmetric function $\frac{[n-k]_q}{[n]_q}\Delta_{e_{n-k}}\omega(p_n)$ can be expressed as the enumerator of a certain class of decorated square paths with respect to the bistatistic…

We develop an elementary method for proving the PBW theorem for associative algebras with an ascending filtration. The idea is roughly the following. At first, we deduce a proof of the PBW property for the {\it ascending} filtration (with…

We study the integral Bailey lemma associated with the $\mathrm{A_n}$-root system and identities for elliptic hypergeometric integrals generated thereby. Interpreting integrals as superconformal indices of four-dimensional $\mathcal{N}=1$…

Let $p$ and $q$ be polynomials with degree $2$ over an arbitrary field $\mathbb{F}$. In the first part of this article, we characterize the matrices that can be decomposed as $A+B$ for some pair $(A,B)$ of square matrices such that $p(A)=0$…

For fixed positive reals $t$ and $\alpha$, consider the sequence $S_t(\alpha) = (s_1, s_2, \ldots, )$ with $s_n = \left \lfloor t\alpha^n \right \rfloor$. In 1964, Graham managed to characterize those pairs $(t, \alpha)$ with $0 < t < 1$…

We study the divergent basic hypergeometric series which is a $q$-analog of divergent hypergeometric series. This series formally satisfies the linear $q$-difference equation. In this paper, for that equation, we give an actual solution…

Given $m, n, q\in \mathbb{N}$ such that $q$ is a prime power and $m\geq 3$, $a\in \mathbb{F}_q$, we establish a sufficient condition for the existence of primitive pair $(\alpha, f(\alpha))$ in $\mathbb{F}_{q^m}$ such that $\alpha$ is…

Several new $q$-supercongruences are obtained using transformation formulas for basic hypergeometric series, together with various techniques such as suitably combining terms, and creative microscoping, a method recently developed by the…

Let $\beta,\epsilon \in (0,1]$, and $k \geq \exp(122 \max\{1/\beta,1/\epsilon\})$. We prove that if $A,B$ are subsets of a prime field $\mathbb{Z}_{p}$, and $|B| \geq p^{\beta}$, then there exists a sum of the form $$S = a_{1}B \pm \ldots…

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…

Recently, Garvan obtained two-variable Hecke-Rogers identities for three universal mock theta functions $g_2(z;q),\,g_3(z;q),\,K(z;q)$ by using basic hypergeometric functions, and he proposed a problem of finding direct proofs of these…

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…

Let $q$ be an integer. A $D(q)$-$m$-tuple is a set of $m$ distinct positive integers ${a_1, a_2, . . . , a_m}$ such that $a_ia_j + q$ is a perfect square for all $1 \leq i < j \leq m$. By counting integer solutions $x \in [1, b]$ of…

A 2-step nilpotent Lie algebra n is said to be of type (p,q)if dim(n)=p+q and dim([n,n])=p. By considering a class of 2-step nilpotent Lie algebras naturally attached to graphs, we prove that there exist indecomposable, 2-step nilpotent Lie…

Standard applications of the Bailey chain preserve mixed mock modularity but not mock modularity. After illustrating this with some examples, we show how to use a change of base in Bailey pairs due to Bressoud, Ismail and Stanton to…