A Context-free Grammar for Peaks and Double Descents of Permutations

TL;DR

This paper introduces a context-free grammar approach to analyze the joint distribution of exterior peaks and proper double descents in permutations, simplifying derivations and unifying previous formulas.

Contribution

It presents a novel grammar-based method to compute and relate permutation statistics, avoiding differential equations and connecting to existing generating functions.

Findings

Derived a recurrence relation for exterior peaks.

Established a grammar-based formula for joint distribution.

Connected the new generating function with prior results.

Abstract

This paper is concerned with the joint distribution of the number of exterior peaks and the number of proper double descents over permutations on $[n] =\{1,2,\ldots,n\}$. The notion of exterior peaks of a permutation was introduced by Aguiar, Bergeron and Nyman in their study of the peak algebra. Gessel obtained the generating function of the number of permutations on $[n]$ with a given number of exterior peaks. On the other hand, by establishing differential equations, Elizalde and Noy derived the generating function for the number of permutations on $[n]$ with a given number of proper double descents. Barry and Basset independently deduced the generating function of the number of permutations on $[n]$ with no proper double descents. We find a context-free grammar which can be used to compute the number of permutations on $[n]$ with a given number of exterior peaks and a given number of proper double descents. Based on the grammar, the recurrence relation of the number of permutations on $[n]$ with a given number of exterior peaks can be easily obtained. Moreover, we use the grammatical calculus to derive the generating function without solving differential equations. Our formula reduces to the formulas of Gessel, Elizalde-Noy, Barry, and Basset. Finally, from the grammar we establish a relationship between our generating function and the generating function of the joint distribution of the number of peaks and the number of double descent derived by Carlitz and Scoville.