A Very Short (Bijective!) Proof of Touchard's Catalan Identity
A very short, bijective proof, of Touchard's Catalan identity is given, using Dyck paths.
Source author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
A very short, bijective proof, of Touchard's Catalan identity is given, using Dyck paths.
We use the Robinson-Schensted correspondence, followed by symbol-crunching, in order to derive explicit expressions for the quantities mentioned in the title. We follow it by number crunching, in order to compute the first terms of these sequences. As an encore, we cleverly implement Ira Gessel's celebrated determinant formula for the generating functions of these sequences, to crank out many terms. This modest tribute is dedicated to one of the greatest enumerators alive today (and definitely the most modest one!), Ira Martin Gessel, who is turning 64 years-old today
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
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.