arXiv++ Combinatorics

One of the "deepest" theorems in mathematics is Endre Szemerédi's theorem about the inevitability of arithmetical progressions. Here we try to nibble at it, by doing "finite" analogs. This is already interesting for its own sake, but we believe that it has the potential to lead to extremely interesting sharpening of the currently rather weak bounds. Let's hope! Along with introducing the theory behind the finite analogs of Szemerédi's Theorem, full Maple, Mathematica, and Java code is provided. See paper for further details.

Building on work by Desjarlais, Molina, Faase, and others, a general method is obtained for counting the number of spanning trees of graphs that are a product of an arbitrary graph and either a path or a cycle, of which grid graphs are a subclass. Results are obtained pertaining to recurrences obtained in this manner, and numerous new integer sequences are found.