The Amazing $3^n$ Theorem and its even more Amazing Proof [Discovered by Xavier G. Viennot and his École Bordelaise gang]

Doron Zeilberger
DOI: https://doi.org/10.48550/arXiv.1208.2258
2012-08-11
Abstract:The most amazing (at least to me) result in Enumerative Combinatorics is Dominique Gouyou-Beauchamps and Xavier Viennot's theorem that states that the number of so-called directed animals with compact source (that are equivalent, via Viennot's beautiful concept of heaps, to towers of dominoes, that I take the liberty of renaming xaviers) with n+1 points equals 3^n. This amazing result received an even more amazing proof by Jean Bétrema and Jean-Guy Penaud. Both theorem and proof deserve to be better known! Hence this article, that is also accompanied by a comprehensive Maple package <a class="link-external link-http" href="http://www.math.rutgers.edu/~zeilberg/tokhniot/BORDELAISE" rel="external noopener nofollow">this http URL</a> that implements everything (and much more)
Combinatorics
What problem does this paper attempt to address?