arXiv++ Combinatorics

Kanade and Russell conjectured seventeen Rogers--Ramanujan type identities of modulus 12. Eleven of these identities involving triple sums were proved by Bringmann--Jennings-Shaffer--Mahlburg and by Rosengren. Motivated by these works and using similar methods, we settle all the six remaining conjectures including two triple sum identities labeled $I_{5a}$ and $I_{6a}$ originated from Russell's thesis and four quadruple sum identities labeled 7, 7a, 8 and 8a. Our proof of the triple sum identities combines linear recurrences, $q$-difference equations, and $q$-series summation formulas. For the quadruple sum identities, we represent the sums as contour integrals whose integrands are infinite products and evaluate them by residue calculus. The resulting residues reduce to single sum cubic basic hypergeometric series, and we are able to express them as infinite products.

In this paper, by using $q$-identities and differential operator techniques, we establish two $q$-supercongruences modulo the square of a cyclotomic polynomial, which are associated with truncated double basic hypergeometric $q$-series.

The theory of $q$-series and basic hypergeometric series plays a crucial role at the intersection of combinatorics, number theory, and representation theory. From the classical partition identities of Euler and Jacobi to modern developments in class field theory, vertex operator algebras, and the Monstrous Moonshine conjecture, $q$-series provide the analytic framework for a wide range of profound applications. In this paper, we discuss the formalization of this theory in the Lean proof assistant, a process that requires careful design of scalable and versatile structures to reconcile formal algebraic identities with analytic convergence properties. We address these foundational challenges by focusing on the construction of $q$-Pochhammer symbols, $q$-binomial coefficients, Bailey's Lemma and similar primitives. To demonstrate the utility of this work, we provide fully verified proofs of the Jacobi Triple Product formula and the celebrated Rogers-Ramanujan identities, which serve as both historical and technical benchmarks for the field. This work establishes a rigorous computational foundation for the future formalization of mock theta functions, modular forms, and the diverse algebraic structures that underpin their applications across mathematics and physics.

Slater's list of Rogers-Ramanujan type identities remains a central source of striking series-product formulas in the theory of partitions and basic hypergeometric series. Although many of these identities admit elegant analytic proofs through Bailey pairs, Bailey chains, or transformations of basic hypergeometric series, the partition-theoretic meaning of their series sides is often much less apparent. In this paper, which continues the program initiated in arXiv:2603.14179, we apply Andrews' theory of separable integer partition classes to further identities from Slater's list. We construct a strict overpartition class and two families of overpartitions with positional gap conditions, in which overlining is permitted only at alternating positions. Their multivariate generating functions give natural refinements of the series sides of Slater's identities (12), (28), (29), (47), (48), (50), and (51). We then use Heine-type transformations, a limiting form of Heine's transformations, Watson's $q$-analogue of Whipple's theorem, and classical theta-product identities to obtain alternative series representations and recover the associated products. In addition, we derive a new companion identity to a Slater identity and a signed companion formula. Our results further demonstrate that SIP classes provide a flexible framework for converting basic hypergeometric series into structured partition generating functions, while simultaneously producing refinements, transformations, and new Rogers-Ramanujan type identities.

We establish new transformation formulas involving theta functions for certain bilateral basic hypergeometric series. From these, we construct companion $q$-series for a class of $q$-series such that the asymptotic expansion of their quotient admits a simple closed form. This allows us to prove some conjectures of McIntosh on asymptotic transformations of $q$-series.

We prove a fermionic-bosonic duality relation for the Macdonald index in Argyres-Douglas theories of type $(A_1, D_{2k+1})$, thereby yielding a conjectural fermionic formula due to Andrews et al. Our duality is built upon a new conjugate Bailey pair to be established using techniques from orthogonal polynomials and basic hypergeometric series. In addition, this fermionic formula implies another sum-like expression for the Macdonald index conjectured by Kim, Kim, and Song.

We apply the EKHAD-normalization method given in our recent work to obtain, via the $q$-version of Zeilberger's algorithm, $q$-WZ pairs $(F, G)$ such that $\sum_{k = 0}^{\infty} F(0, k)$ may be expressed as a basic hypergeometric series of the form ${}_{3}φ_2$ with multiple free parameters, and in such a way so that $\sum_{k=0}^{\infty} F(0, k) = \sum_{n=0}^{\infty} G(n, 0)$. In contrast to how previous applications of EKHAD-normalization relied on $q$-analogues for specific WZ pairs introduced by Guillera, our multiparameter approach provides a broad framework in the construction of $q$-analogues for accelerated series for universal constants such as $π$. We apply this multiparameter version of EKHAD-normalization to obtain and prove new $q$-analogues for accelerated hypergeometric series attributed to many authors, including (alphabetically) Adamchik and Wagon, Apéry, Chu, Chu and Zhang, Fabry, Guillera, Ramanujan, and Zeilberger.

We use a new $q$-exponential operator based on the $q^{\pm1}$-derivative $\D_{q^{\pm1}}$ of order 1 to derive summation formulas for bilateral basic hypergeometric series ${}_{0}ψ_{1}$, ${}_{1}ψ_{1}$, ${}_{1}ψ_{2}$, and ${}_{2}ψ_{2}$. In addition, we provide summation formulas for bilateral series whose terms are basic hypergeometric functions.

We establish some new bilateral double-sum Rogers-Ramanujan identities involving parameters. As applications, these identities yield several new multi-sum Rogers-Ramanujan type identities. Our proofs utilize the theory of basic hypergeometric series in conjunction with the integral method.

The general problem of the factorization of a basic hypergeometric series is presented and discussed. The case of the general $_2ψ_2$ series is examined in detail. Connections are found with the theory of basic hypergeometric series on root systems. Alternative proofs of several well-known summation and transformation formulae, including Gustafson's generalization of Ramanujan's $_1ψ_1$ summation, are obtained incidentally.

In this paper, we will obtain a variety of interesting $q$-series containing central $q$-binomial coefficients. Our approach is based on manipulating deformed basic hypergeometric series.

In this paper, we use the effect of the $q$-differential and deformed $q$-exponential operators on basic hypergeometric series to find new $q$-identities from the $q$-Gauss sum, the $q$-Chu-Vandermonde's sum, and Jackson's transformation formula.

Using Bailey's very-well-poised $_6ψ_6$ summation, we show that a specific sequence of well-poised bilateral basic hypergeometric $_3ψ_3$ series form a family of orthogonal functions on the unit circle. We further extract a bilateral matrix inverse from Dougall's ${}_2H_2$ summation which we use, in combination with the Pfaff--Saalschütz summation, to derive a summation for a particular bilateral hypergeometric $_3H_3$ series. We finally provide multivariate extensions of the bilateral matrix inverse and the $_3H_3$ summation in the setting of hypergeometric series associated to the root system $A_r$.

In this paper, we introduce the Rogers-Szegö deformed $q$-differential operators g$_{n}(bD_{q}|u)$ based on $q$-differential operator $D_{q}$. The motivation for introducing the operators g$_{n}(bD_{q})$ is that their limit turns out to be the $q$-exponential operator T$(bD_{q})$ given by Chen. The deformed homogeneous Al-Salam-Carlitz polynomials $Ψ_{m}^{(q^{-n})}(ub,x|uq^{-1})$ can easily be represented by using the operators g$_{n}(bD_{q}|u)$. Identities relating the new general Al-Salam-Carlitz polynomial, defined by Cao et al., the generalized, and homogeneous Al-Salam-Carlitz polynomials $Φ_{m}^{(q^n)}(b,x|q)$ and basic hypergeometric series are given.

Recently Andrews and Bachraoui proved identities relating certain restricted partitions into distinct even parts with restricted 4-regular partitions by the theory of basic hypergeometric series. They also posed a question regarding combinatorial proofs for these results. In this paper, we establish bijections to provide combinatorial proofs for these results.

In this paper, we introduce the deformed homogeneous polynomials $\mathrm{R}_{n}(x,y;u|q)$. These polynomials generalize some classical polynomials: the Rogers-Szegö polynomials $\mathrm{h}_{n}(x|q)$, the generalized Rogers-Szegö polynomials $\mathrm{r}_{n}(x,y)$, the Stieltjes-Wigert polynomials $\mathrm{S}_{n}(x;q)$, among others. Basic properties of the polynomial $\mathrm{R}_{n}$ are given, along with recurrence relations, its $q$-difference equation, and representations. Generating functions for the polynomials $\mathrm{R}_{n}(x,y;u|q)$ are given. These functions include generalizations of the Mehler and Rogers formulas. In addition, generalizations of the $q$-binomial formula and the Heine transformation formula are obtained. These results are obtained via the $u$-deformed $q$-exponential operator $\mathrm{E}(yD_{q}|u)$, defined here. From this operator, we obtain for free the operators T$(yD_{q})$ the Chen, $\mathrm{R}(yD_{q})$ of Saad, $\mathcal{E}(yD_{q})$ of Exton, and $\mathcal{R}(yD_{q})$ of Rogers-Ramanujan when $u=1,q,\sqrt{q},q^2$, respectively. We introduce the deformed basic hypergeometric series ${}_{r}Φ_{s}$, a generalization of the classical basic hypergeometric series. New transformation formulas for basic hypergeometric series are obtained.

This paper introduces the $u$-deformed homogeneous functions $\mathrm{R}_α(x,y;u|q)$, for all $α\in\mathbb{C}$. Basic properties of the functions $\mathrm{R}_α(x,y;u|q)$ are given, along with recurrence relations, their $q$-difference equation, and representations. Generating functions for the functions $\mathrm{R}_{-n}(x,y;u|q)$ via the $u$-deformed $q$-exponential operator E$(qD_{q}|u)$, when $u=q^b,q^{b+1/2}$, $b\geq1$, are obtained. This allows us to obtain some $q^b$-series and $q^{b+1/2}$-series. Additionally, transformation formulas for basic hypergeometric series $_{1}φ_{1}$ and $_{1}φ_{2}$ are derived.

In terms of several summation and transformation formulas for basic hypergeometric series, two forms of the Chinese remainder theorem for coprime polynomials, the creative microscoping method introduced by Guo and Zudilin, Guo and Li's lemma, and El Bachraoui's lemma, we establish some $q$-supercongruences for multiple basic hypergeometric series modulo the fifth and sixth powers of a cyclotomic polynomial. In detail, we generalize Guo and Li's two $q$-supercongruences for double basic hypergeometric series, which are related to $q$-analogues of Van Hamme's (C.2) supercongruence and Long's supercongruence, respectively. In addition, we also present two conclusions for double and triple hypergeometric series associated with Van Hamme's (D.2) supercongruence.

We give a closed form for $quotients$ of truncated basic hypergeometric series where the base $q$ is evaluated at roots of unity.

Motivated by recent work of George Andrews and Mircea Merca on the expansion of the quotient of the truncation of Euler's pentagonal number series by the complete series, we provide similar expansion results for averages involving truncations of selected, more general, basic hypergeometric series. In particular, our expansions include new results for averaged truncations of the series appearing in the Jacobi triple product identity, the $q$-Gauß summation, and the very-well-poised ${}_5φ_5$ summation. We show how special cases of our expansions can be used to recover various existing results. In addition, we establish new inequalities, such as one for a refinement of the number of partitions into three different colors.