arXiv++ Combinatorics

We use our extension of the symbolic method in enumerative combinatorics (we extend finite sums defining coefficients in generating functions to infinite series) to generalize Pólya's theorem. This theorem determines the limits of probabilities that walks in the grid graph $\mathbb{Z}^d$, starting at the origin, visit the given vertex. We replace the grid graph with weighted countable complete graphs $K_{\mathbb{N}}$ such that the edge weights with values in $\mathbb{C}$ satisfy a convergence condition. Thus general Pólya's theorems are results in enumerative combinatorics.

We develop a theory of formal multivariate polynomials over commutative rings by treating them as ring terms. Our main result is that two ring terms are s-equivalent (when expanded they yield the same standard polynomial) iff they are f-equivalent (one can be transformed in the other by a series of elementary transformations). We consider in a similar way Boolean terms (formulas) and prove a theorem that two events $a$ and $b$ in a probability space, which are built by two Boolean terms from respective tuples $A$ and $B$ of elementary events, are independent if the events in $A$ are independent of the events in $B$. This theorem rigorizes arguments in the Probabilistic Method in Combinatorics.

A simple permutation is one which maps no proper non-singleton interval onto an interval. We consider the enumeration of simple permutations from several aspects. Our results include a straightforward relationship between the ordinary generating function for simple permutations and that for all permutations, that the coefficients of this series are not P-recursive, an asymptotic expansion for these coefficients, and a number of congruence results.