arXiv++ Combinatorics

We present an infinite family of Borwein type $+ - - $ conjectures. The expressions in the conjecture are related to multiple basic hypergeometric series with Macdonald polynomial argument.

We provide several new $q$-congruences for truncated basic hypergeometric series, mostly of arbitrary order. Our results include congruences modulo the square or the cube of a cyclotomic polynomial, and in some instances, parametric generalizations thereof. These are established by a variety of techniques including polynomial argument, creative microscoping (a method recently introduced by the first author in collaboration with Zudilin), Andrews' multiseries generalization of the Watson transformation, and induction. We also give a number of related conjectures including congruences modulo the fourth power of a cyclotomic polynomial.

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 first author in collaboration with Wadim Zudilin. More concretely, the results in this paper include $q$-analogues of supercongruences (referring to $p$-adic identities remaining valid for some higher power of $p$) established by Long, by Long and Ramakrishna, and several other $q$-supercongruences. The six basic hypergeometric transformation formulas which are made use of are Watson's transformation, a quadratic transformation of Rahman, a cubic transformation of Gasper and Rahman, a quartic transformation of Gasper and Rahman, a double series transformation of Ismail, Rahman and Suslov, and a new transformation formula for a nonterminating very-well-poised ${}_{12}φ_{11}$ series. Also, the nonterminating $q$-Dixon summation formula is used. A special case of the new ${}_{12}φ_{11}$ transformation formula is further utilized to obtain a generalization of Rogers' linearization formula for the continuous $q$-ultraspherical polynomials.

We derive by analytic means a number of bilateral identities of the Rogers--Ramanujan type. Our results include bilateral extensions of the Rogers--Ramanujan and the Göllnitz-Gordon identities, and of related identities by Ramanujan, Jackson, and Slater. We give corresponding results for multiseries including multilateral extensions of the Andrews--Gordon identities, of the Andrews--Bressoud generalization of the Göllnitz--Gordon identities, of Bressoud's even modulus identities, and other identities. Our closed form bilateral and multilateral summations appear to be the very first of their kind.

We give an overview of some of the main results from the theories of hypergeometric and basic hypergeometric series and integrals associated with root systems. In particular, we list a number of summations, transformations and explicit evaluations for such multiple series and integrals. We concentrate on such results which do not directly extend to the elliptic level. This text is a provisional version of a chapter on hypergeometric and basic hypergeometric series and integrals associated with root systems for volume 2 of the new Askey--Bateman project which deals with "Multivariable special functions".

We derive combinatorial identities for variables satisfying specific systems of commutation relations, in particular elliptic commutation relations. The identities thus obtained extend corresponding ones for $q$-commuting variables $x$ and $y$ satisfying $yx=qxy$. In particular, we obtain weight-dependent binomial theorems, functional equations for generalized exponential functions, we derive results for an elliptic derivative of elliptic commuting variables, and finally study weight-dependent extensions of the Weyl algebra which we connect to rook theory.

We use a q-series identity by Ramanujan to give a combinatorial interpretation of Ramanujan's tau function which involves t-cores and a new class of partitions which we call (m,k)-capsids. The same method can be applied in conjunction with other related identities yielding alternative combinatorial interpretations of the tau function.

We employ a one-variable extension of q-rook theory to give combinatorial proofs of some basic hypergeometric summations, including the q-Pfaff-Saalschütz summation and a 4phi3 summation by Jain.

We construct elliptic extensions of the alpha-parameter rook model introduced by Goldman and Haglund and of the rook model for matchings of Haglund and Remmel. In particular, we extend the product formulas of these models to the elliptic setting. By specializing the parameter alpha in our elliptic extension of the alpha-parameter model and the shape of the Ferrers board in different ways, we obtain elliptic analogues of the Stirling numbers of the first kind and of the Abel polynomials, and obtain an a,q-analogue of the matching numbers. We further generalize the rook theory model for matchings by introducing l-lazy graphs which correspond to l-shifted boards, where l is a finite vector of positive integers. The corresponding elliptic product formula generalizes Haglund and Remmel's product formula for matchings already in the non-elliptic basic case.

We use elliptic Taylor series expansions and interpolation to deduce a number of summations for elliptic hypergeometric series. We extend to the well-poised elliptic case results that in the $q$-case have previously been obtained by Cooper and by Ismail and Stanton. We also provide identities involving S. Bhargava's cubic theta functions.

Rook theory has been investigated by many people since its introduction by Kaplansky and Riordan in 1946. Goldman, Joichi and White in 1975 showed that the sum over $k$ of the product of the $(n-k)$-th rook numbers multiplied by the $k$-th falling factorial polynomials factorize into a product. In the sequel, different types of generalizations and analogues of this product formula have been derived by various authors. In 2008, Miceli and Remmel constructed a rook theory model involving augmented rook boards in which they showed the validity of a general product formula which can be specialized to all other product formulas that so far have appeared in the literature on rook theory. In this work, we construct an elliptic extension of the $q$-analogue of Miceli and Remmel's result. Special cases yield elliptic extensions of various known rook theory models.

Utilizing elliptic weights, we construct an elliptic analogue of rook numbers for Ferrers boards. Our elliptic rook numbers generalize Garsia and Remmel's q-rook numbers by two additional independent parameters a and b, and a nome p. These are shown to satisfy an elliptic extension of a factorization theorem which in the classical case was established by Goldman, Joichi and White and later was extended to the q-case by Garsia and Remmel. We obtain similar results for our elliptic analogues of Garsia and Remmel's q-file numbers for skyline boards. We also provide an elliptic extension of the j-attacking model introduced by Remmel and Wachs. Various applications of our results include elliptic analogues of (generalized) Stirling numbers of the first and second kind, Lah numbers, Abel numbers, and r-restricted versions thereof.

A specialisation of a transformation formula for multi-dimensional elliptic hypergeometric series is used to provide compact, non-determinantal formulae for the generating function with respect to the major index of standard Young tableaux of skew shapes of the form "staircase minus rectangle".

A weight-dependent generalization of the binomial theorem for noncommuting variables is presented. This result extends the well-known binomial theorem for q-commuting variables by a generic weight function depending on two integers. For a special case of the weight function, restricting it to depend on only a single integer, the noncommutative binomial theorem involves an expansion of complete symmetric functions. Another special case concerns the weight function to be a suitably chosen elliptic (i.e., doubly-periodic meromorphic) function, in which case an elliptic generalization of the binomial theorem is obtained. The latter is utilized to quickly recover Frenkel and Turaev's elliptic hypergeometric 10V9 summation formula, an identity fundamental to the theory of elliptic hypergeometric series.

We give a new theta-function identity, a special case of which is utilised to prove Kawanaka's Macdonald polynomial conjecture. The theta-function identity further yields a transformation formula for multivariable elliptic hypergeometric series which appears to be new even in the one-variable, basic case.

We consider products of two Macdonald polynomials of type A, indexed by dominant weights which are respectively a multiple of the first fundamental weight and a weight having zero component on the k-th fundamental weight. We give the explicit decomposition of any Macdonald polynomial of type A in terms of this basis.

We establish Taylor series expansions in rational (and elliptic) function bases using E. Rains' elliptic extension of the Askey-Wilson divided difference operator. The expansion theorem we consider extends M.E.H. Ismail's expansion for the Askey-Wilson monomial basis. Three immediate applications (essentially already due to Rains) include simple proofs of Frenkel and Turaev's elliptic extensions of Jackson's 8-phi-7 summation and of Bailey's 10-phi-9 transformation, and the computation of the connection coefficients of Spiridonov's elliptic extension of Rahman's biorthogonal rational functions. We adumbrate other examples including the nonterminating extension of Jackson's 8-phi-7 summation and a quadratic expansion.

We study Macdonald polynomials from a basic hypergeometric series point of view. In particular, we show that the Pieri formula for Macdonald polynomials and its recently discovered inverse, a recursion formula for Macdonald polynomials, both represent multivariable extensions of the terminating very-well-poised 6-phi-5 summation formula. We derive several new related identities including multivariate extensions of Jackson's very-well-poised 8-phi-7 summation. Motivated by our basic hypergeometric analysis, we propose an extension of Macdonald polynomials to Macdonald symmetric functions indexed by partitions with complex parts. These appear to possess nice properties.

In [Electron. J. Combin. 10 (2003), #R10], the author presented a new basic hypergeometric matrix inverse with applications to bilateral basic hypergeometric series. This matrix inversion result was directly extracted from an instance of Bailey's very-well-poised 6-psi-6 summation theorem, and involves two infinite matrices which are not lower-triangular. The present paper features three different multivariable generalizations of the above result. These are extracted from Gustafson's A_r and C_r extensions and of the author's recent A_r extension of Bailey's 6-psi-6 summation formula. By combining these new multidimensional matrix inverses with A_r and D_r extensions of Jackson's 8-phi-7 summation theorem three balanced very-well-poised 8-psi-8 summation theorems associated with the root systems A_r and C_r are derived.

Using a simple classical method we derive bilateral series identities from terminating ones. In particular, we show how to deduce Ramanujan's 1-psi-1 summation from the q-Pfaff-Saalschuetz summation. Further, we apply the same method to our previous q-Abel-Rothe summation to obtain, for the first time, Abel-Rothe type generalizations of Jacobi's triple product identity. We also give some results for multiple series.