arXiv++ Combinatorics

For a hypergeometric series $\sum_k f(k,a, b, ...,c)$ with parameters $a, b, >...,c$, Paule has found a variation of Zeilberger's algorithm to establish recurrence relations involving shifts on the parameters. We consider a more general problem concerning several similar hypergeometric terms $f_1(k, a, b,..., c)$, $f_2(k, a,b, ..., c)$, $...$, $f_m(k, a, b, ..., c)$. We present an algorithm to derive a linear relation among the sums $\sum_k f_i(k,a,b,...,c)$ $(1\leq i \leq m)$. Furthermore, when the summand $f_i$ contains the parameter $x$, we can require that the coefficients be $x$-free. Such relations with $x$-free coefficients can be used to determine whether a polynomial sequence satisfies the three term recurrence and structure relations for orthogonal polynomials. The $q$-analogue of this approach is called the extended $q$-Zeilberger's algorithm, which can be employed to derive recurrence relations on the Askey-Wilson polynomials and the $q$-Racah polynomials.

In examining the relationship between the number of points over $\mathbb{F}_p$ on certain Calabi-Yau manifolds and hypergeometric series which correspond to a particular period of the manifold, Rodriguez-Villegas identified 22 possible supercongruences. We provide a framework of congruences covering all 22 cases. Using this framework we prove one of the outstanding supercongruence conjectures between a special value of a truncated ordinary hypergeometric series and the $p$-th Fourier coefficient of a modular form. In the course of this work we also establish two new binomial coefficient-harmonic sum identities.

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.

A one-parameter generalisation R_λ(X;b) of the symmetric Macdonald polynomials and interpolations Macdonald polynomials is studied from the point of view of branching rules. We establish a Pieri formula, evaluation symmetry, principal specialisation formula and q-difference equation for R_λ(X;b). We also prove a new multiple q-Gauss summation formula and several further results for sl_n basic hypergeometric series based on R_λ(X;b).

Andrews, Dyson, and Hickerson showed that 2 $q$-hypergeometric series, going back to Ramanujan, are related to real quadratic fields, which explains interesting properties of their Fourier coefficients. There is also an interesting relation of such series to automorphic forms. Here we construct more such examples arising from interesting combinatorial statistics.

We investigate a certain linear combination $K(\vec{x})=K(a;b,c,d;e,f,g)$ of two Saalschutzian hypergeometric series of type ${_4}F_3(1)$. We first show that $K(a;b,c,d;e,f,g)$ is invariant under the action of a certain matrix group $G_K$, isomorphic to the symmetric group $S_6$, acting on the affine hyperplane $V=\{(a,b,c,d,e,f,g)\in\Bbb C^7\colon e+f+g-a-b-c-d=1\}$. We further develop an algebra of three-term relations for $K(a;b,c,d;e,f,g)$. We show that, for any three elements $μ_1,μ_2,μ_3$ of a certain matrix group $M_K$, isomorphic to the Coxeter group $W(D_6)$ (of order 23040), and containing the above group $G_K$, there is a relation among $K(μ_1\vec{x})$, $K(μ_2\vec{x})$, and $K(μ_3\vec{x})$, provided no two of the $μ_j$'s are in the same right coset of $G_K$ in $M_K$. The coefficients in these three-term relations are seen to be rational combinations of gamma and sine functions in $a,b,c,d,e,f,g$. The set of $({|M_K|/|G_K|\atop 3})=({32\atop 3})=4960$ resulting three-term relations may further be partitioned into five subsets, according to the Hamming type of the triple $(μ_1,μ_2,μ_3) $ in question. This Hamming type is defined in terms of Hamming distance between the $μ_j$'s, which in turn is defined in terms of the expression of the $μ_j$'s as words in the Coxeter group generators. Each three-term relation of a given Hamming type may be transformed into any other of the same type by a change of variable. An explicit example of each of the five types of three-term relations is provided.

The Knop-Sahi interpolation Macdonald polynomials are inhomogeneous and nonsymmetric generalisations of the well-known Macdonald polynomials. In this paper we apply the interpolation Macdonald polynomials to study a new type of basic hypergeometric series of type g_n. Our main results include a new q-binomial theorem, new q-Gauss sum, and several transformation formulae for g_n series.

Motivated by the telescoping proofs of two identities of Andrews and Warnaar, we find that infinite q-shifted factorials can be incorporated into the implementation of the q-Zeilberger algorithm in the approach of Chen, Hou and Mu to prove nonterminating basic hypergeometric series identities. This observation enables us to extend the q-WZ method to identities on infinite series. As examples, we will give the q-WZ pairs for some classical identities such as the q-Gauss sum, the $_6φ_5$ sum, Ramanujan's $_1ψ_1$ sum and Bailey's $_6ψ_6$ sum.

We show that some $q$-series such as universal mock theta functions are linear sums of theta quotients and mock Jacobi forms of weight 1/2, which become holomorphic parts of real analytic modular forms when they are restricted to torsion points and multiplied by suitable powers of $q$. And we prove that certain linear sums of $q$-series are weakly holomorphic modular forms of weight 1/2 due to annihilation of mock Jacobi forms or completion by mock Jacobi forms. As an application, we obtain a relation between the rank and crank of a partition.

In this paper, we give an integral representation for the boundary values of derivatives of functions of the de Branges--Rovnyak spaces $\HH(b)$, where $b$ is in the unit ball of $H^\infty(\CC_+)$. In particular, we generalize a result of Ahern--Clark obtained for functions of the model spaces $K_b$, where $b$ is an inner function. Using hypergeometric series, we obtain a nontrivial formula of combinatorics for sums of binomial coefficients. Then we apply this formula to show the norm convergence of reproducing kernel $k_{ω,n}^b$ of the evaluation of $n$-th derivative of elements of $\HH(b)$ at the point $ω$ as it tends radially to a point of the real axis.

We show that certain hypergeometric series used to formulate mirror symmetry for Calabi-Yau hypersurfaces, in string theory and algebraic geometry, satisfy a number of interesting properties. Many of these properties are used in separate papers to verify the BCOV prediction for the genus one Gromov-Witten invariants of a quintic threefold and more generally to compute the genus one Gromov-Witten invariants of any Calabi-Yau projective hypersurface.

We give a complete classification of a certain family of step functions related to the Nyman--Beurling approach to the Riemann hypothesis and previously studied by V. I. Vasyunin. Equivalently, we completely describe when certain sequences of ratios of factorial products are always integral. Essentially, once certain observations are made, this comes down to an application of Beukers and Heckman's classification of the monodromy of the hypergeometric function nF_{n-1}. We also note applications to the classification of cyclic quotient singularities.

We study the combinatorics of two classes of basic hypergeometric series. We first show that these series are the generating functions for certain overpartition pairs defined by frequency conditions on the parts. We then show that when specialized these series are also the generating functions for overpartition pairs with bounded successive ranks, overpartition pairs with conditions on their Durfee dissection, as well as certain lattice paths. When further specialized, the series become infinite products, leading to numerous identities for partitions, overpartitions, and overpartition pairs.

During his lifetime, Ramanujan provided many formulae relating binomial sums to special values of the Gamma function. Based on numerical computations, Van Hamme recently conjectured $p$-adic analogues to such formulae. Using a combination of ordinary and Gaussian hypergeometric series, we prove one of these conjectures.

We study linear series on a general curve of genus $g$, whose images are exceptional with regard to their secant planes. Working in the framework of an extension of Brill-Noether theory to pairs of linear series, we prove that a general curve has no linear series with exceptional secant planes, in a very precise sense, whenever the total number of series is finite. Next, we partially solve the problem of computing the number of linear series with exceptional secant planes in a one-parameter family in terms of tautological classes associated with the family, by evaluating our hypothetical formula along judiciously-chosen test families. As an application, we compute the number of linear series with exceptional secant planes on a general curve equipped with a one-dimensional family of linear series. We pay special attention to the extremal case of $d$-secant $(d-2)$-planes to $(2d-1)$-dimensional series, which appears in the study of Hilbert schemes of points on surfaces. In that case, our formula may be rewritten in terms of hypergeometric series, which allows us both to prove that it is nonzero and to deduce its asymptotics in $d$.

We introduce the Cauchy augmentation operator for basic hypergeometric series. Heine's ${}_2φ_1$ transformation formula and Sears' ${}_3φ_2$ transformation formula can be easily obtained by the symmetric property of some parameters in operator identities. The Cauchy operator involves two parameters, and it can be considered as a generalization of the operator $T(bD_q)$. Using this operator, we obtain extensions of the Askey-Wilson integral, the Askey-Roy integral, Sears' two-term summation formula, as well as the $q$-analogues of Barnes' lemmas. Finally, we find that the Cauchy operator is also suitable for the study of the bivariate Rogers-Szegö polynomials, or the continuous big $q$-Hermite polynomials.

In this paper we study properties of a certain bilinear form on finite dimensional $\mathfrak{sl}_2(\mathbb{R})$-modules, and how these properties behave with respect to tensor products of modules. An attempt to determine the signature of this form leads to an interesting identity for the hypergeometric series ${}_3F_2$, which is known as the Karlsson-Minton identity.

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.

In this we paper we prove several new identities of the Rogers-Ramanujan-Slater type. These identities were found as the result of computer searches. The proofs involve a variety of techniques, including series-series identities, Bailey pairs, a theorem of Watson on basic hypergeometric series, generating functions and miscellaneous methods.