arXiv++ Combinatorics

We prove that the `connective constant' for ternary square-free words is at least $2^{1/17} = 1.0416 ... $, improving on Brinkhuis and Brandenburg's lower bounds of $2^{1/24}=1.0293 ...$ and $2^{1/22}=1.032 ...$ respectively. This is the first improvement since 1983.

Rabbi Abraham Ben Meir Ibn Ezra's(1089-1164) computation of the seventh row of the so-called Pascal-Chu triangle is described.

David Brydges and Thomas Spencer's Lace Expansion is abstracted, and it is shown how it sometimes gives rise to sieves.

John Horton Conway's Cosmological Theorem, about Audioactive sequences, for which no extant proof existed, is given a computer-generated proof, hopefully for good.

A combinatorial problem that came up in Combinatorial Chemistry is solved.

The Rev. Dodgson's determinant condensation rule is given a bijective proof.

We initiate a general approach for the fast enumeration of permutations with a prescribed number of occurrences of `forbidden' patterns, that seems to indicate that the enumerating sequence is always P-recursive. We illustrate the method completely in terms of the patterns `abc',`cab' and `abcd'.

The celebrated Foata combinatorial model for Hermite polynomials, and his seminal and beautiful proof of the Mehler formula, are straightened to deal with two sexes rather than one, with the exclusion of same-sex relationships (both marital and non-marital).

The powerful (and so far under-utilized) Goulden-Jackson Cluster method for finding the generating function for the number of words avoiding, as factors, the members of a prescribed set of `dirty words', is tutorialized and extended in various directions. The authors' Maple implementations, contained in several Maple packages available from this paper's website (http://www.math.temple.edu/~zeilberg/gj.html), are described and explained.

We derive combinatorial proofs of the main two evaluations of the Ihara-Selberg Zeta function associated with a graph. We give three proofs of the first evaluation all based on the algebra of Lyndon words. In the third proof it is shown that the first evaluation is an immediate consequence of Amitsur's identity on the characteristic polynomial of a sum of matrices. The second evaluation of the Ihara-Selberg Zeta function is first derived by means of a sign-changing involution technique. Our second approach makes use of a short matrix-algebra argument.

George Andrews's recent challenge to automated identity-proving and the WZ method is dealt with. It is argued that the rivalry between the classical and automated approaches to hypergeometric sums is beneficial to both.

A combinatorial identity that was needed in Ahlgren and Ono's proof of a certain congruence conjecture of Frits Beukers is stated, and a pointer to its WZ proof is given.

Catalan's formula, for the portion of the inheritance that a legitimate child of a 19th-century deceased French gentleman should receive, is given a new proof (using Difference Operators), and generalized. Another, more computationally efficient, formula is also derived.

A determinant evaluation is proven, a special case of which establishes a conjecture of Bombieri, Hunt, and van der Poorten (Experimental Math\. {\bf 4} (1995), 87--96) that arose in the study of Thue's method of approximating algebraic numbers.

In this reverse archeological find, we see how mathematics will be written in fifty years.

It is remarked that Dave Robbins's Expression for the integral of an alternant over the unit simplex (math.CO/9805108) follows immediately from an excercise in Polya-Szego.

It is way too soon to teach our computers how to become full-fledged humans. It is even premature to teach them how to become mathematicians, it is even unwise, at present, to teach them how to become combinatorialists. But the time is ripe to teach them how to become experts in a suitably defined and narrowly focused subarea of combinatorics. In this article, I will describe my efforts to teach my beloved computer, Shalosh B. Ekhad, how to be an enumerator of Wilf classes.

By practicing the philosophy of our beloved late master, Marco Schutzenberger, to whose memory this article is dedicated, we give an insightful bijective proof of the three-term recurrence satisfied by the Hipparchus-Schroeder numbers 1,1,3,11,45,197,903, ...

Based on the WZ method, some series acceleration formulas are given. These formulas allow to write down an infinite family of parametrized identities from any given identity of WZ type. Further, this family, in the case of the Riemann Zeta function, gives rise to many accelerated expressions for $ζ(3)$. The present method produced a formula, given at the end of the paper, that was used recently Sebastian Wedeniwski to compute Apery's constant to more than 32 million digits, holding the present record!

Using WZ forms, Apery-style proofs of the irrationality of the q-analogues of the Harmonic seires and Ln(2) are given. For the q-analogue of Ln(2), this method of proof produces an improved irrationality measure.