arXiv++ Combinatorics

We prove a conjecture that arose in the context of a subspace enumeration problem over finite fields. We prove, more generally, a bibasic, double-sum identity, which extends a $q$-analogue of the (terminating) binomial theorem.

We present a proof of Ramanujan's congruences $$p(5n+4) \equiv 0 \pmod 5 \text{ and } τ(5n+5) \equiv 0 \pmod 5.$$ The proof only requires a limiting case of Jacobi's triple product, a result that Ramanujan knew well, and a technique which Ramanujan used himself to compute values of $τ(n)$.

We provide elliptic extensions of elementary identities such as the sum of the first $n$ odd or even numbers, the geometric sum and the sum of the first $n$ cubes. Many such identities, and their $q$-analogues, are indefinite sums, and can be obtained from telescoping. So we used telescoping in our study to find elliptic extensions of these identities. In the course of our study, we obtained an identity with many parameters, which appears to be new even in the $q$-case. In addition, we recover some $q$-identities due to Warnaar.

We extend Fibonacci numbers with arbitrary weights and generalize a dozen Fibonacci identities. As a special case, we propose an elliptic extension which extends the $q$-Fibonacci polynomials appearing in Schur's work. The proofs of most of the identities are combinatorial, extending the proofs given by Benjamin and Quinn, and in the $q$ case, by Garrett. Some identities are proved by telescoping.

We give an infinite number of proofs of Pythagoras theorem.Some can be classified as `self-similar proofs'.

We develop a calculus that gives an elementary approach to enumerate partition-like objects using an infinite upper-triangular number-theoretic matrix. We call this matrix the Partition-Frequency Enumeration (PFE) matrix. This matrix unifies a large number of results connecting number-theoretic functions to partition-type functions. The calculus is extended to arbitrary generating functions, and functions with Weierstrass products. As a by-product, we recover (and extend) some well-known recurrence relations for many number-theoretic functions, including the sum of divisors function, Ramanujan's $τ$ function, sums of squares and triangular numbers, and for $ζ(2n)$, where $n$ is a positive integer. These include classical results due to Euler, Ewell, Ramanujan, Lehmer and others. As one application, we embed Ramanujan's famous congruences $p(5n+4)\equiv 0$ (mod $5)$ and $τ(5n+5)\equiv 0$ (mod $5)$ into an infinite family of such congruences.

We give a new proof of a partition theorem popularly known as Elder's theorem, but which is also credited to Stanley and Fine. We extend the theorem to the context of colored partitions (or prefabs). More specifically, we give analogous results for $b$-colored partitions, where each part occurs in $b$ colors; for $b$-colored partitions with odd parts (or distinct parts); for partitions where the part $k$ comes in $k$ colors; and, overpartitions.

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 evaluate determinants of "spiral" matrices, which are matrices in which entries are spiralling from the centre of the matrices towards the outside, with prescribed increments from one entry to the next depending on whether one moves right, up, left, or down along the spiral.

We study Andrews and Berndt's organization of Ramanujan's transformation formulas in Chapter 1 of their book Ramanujan's Lost Notebook, Part II. In the process, we rediscover a bibasic Heine's transformation, which follows from a Fundamental Lemma given by Andrews in 1966, and obtain identities proximal to Ramanujan's entries. We also provide a multibasic generalization of Andrews' 1972 theorem concerning a $q$-analogue of the Lauricella function. Our results only require the $q$-binomial theorem, and are an application of what Andrews and Berndt call 'Heine's Method'.

Sury's 2014 proof of an identity for Fibonacci and Lucas numbers (Identity 236 of Benjamin and Quinn's 2003 book: {\em Proofs that count: The art of combinatorial proof}) has excited a lot of comment. We give an alternate, telescoping, proof of this---and associated---identities and generalize them. We also give analogous identities for other sequences that satisfy a three-term recurrence relation.

We survey the applications of an elementary identity used by Euler in one of his proofs of the Pentagonal Number Theorem. Using a suitably reformulated version of this identity that we call Euler's Telescoping Lemma, we give alternate proofs of all the key summation theorems for terminating Hypergeometric Series and Basic Hypergeometric Series, including the terminating Binomial Theorem, the Chu--Vandermonde sum, the Pfaff--Saalch\" utz sum, and their $q$-analogues. We also give a proof of Jackson's $q$-analog of Dougall's sum, the sum of a terminating, balanced, very-well-poised $_8φ_7$ sum. Our proofs are conceptually the same as those obtained by the WZ method, but done without using a computer. We survey identities for Generalized Hypergeometric Series given by Macdonald, and prove several identities for $q$-analogs of Fibonacci numbers and polynomials and Pell numbers that have appeared in combinatorial contexts. Some of these identities appear to be new.