2014/11/18 by Nathaniel Shar, Doron Zeilberger, Shar, Nathaniel +1
Computer Science · Mathematics · #Advanced Combinatorial Mathematics #Coding theory and cryptography #math.CO #semigroups and automata theory
paper · pdf · doi:10.48550/arxiv.1411.5052
10 pages
arxiv created 2014/11/18 · arxiv updated 2014/11/20
Recently, Bill Chen, together with his disciples Alvin Dai and Robin Zhou, discovered, and very elegantly proved, an algebraic equation satisfied by the generating function enumerating 123-avoiding words with two occurrences of each of 1, ..., n. Inspired by this result, we present an algorithm for finding such an algebraic equation for the ordinary generating function enumerating 123-avoiding words with exactly r occurrences of each of 1, ... n for any positive integer r, thereby proving that they are algebraic and not merely D-finite (a fact that is promised by WZ theory). Our algorithm consists of presenting an algebraic enumeration scheme, combined with the Buchberger algorithm