A Grammatical Calculus for Peaks and Runs of Permutations

TL;DR

This paper introduces a novel grammatical calculus approach to analyze polynomials related to peaks and runs in permutations, simplifying computations and establishing combinatorial and bijective connections.

Contribution

It develops a symbolic calculus using context-free grammars for peaks and runs, linking algebraic, combinatorial, and bijective methods in permutation analysis.

Findings

Derived differential equations for generating functions.

Established a bijection between permutations and increasing trees.

Unified combinatorial and grammatical approaches to permutation statistics.

Abstract

We develop a nonstandard approach to exploring polynomials associated with peaks and runs of permutations. With the aid of a context-free grammar, or a set of substitution rules, one can perform a symbolic calculus, and the computation often becomes rather simple. From a grammar it follows at once a system of ordinary differential equations for the generating functions. Utilizing a certain constant property, it is even possible to deduce a single equation for each generating function. To bring the grammar to a combinatorial setting, we find a labeling scheme for up-down runs of a permutation, which can be regarded as a refined property, or the differentiability in a certain sense, in contrast to the usual counting argument for the recurrence relation. The labeling scheme also exhibits how the substitution rules arise in the construction of the combinatorial structures. Consequently, polynomials on peaks and runs can be dealt with in two ways, combinatorially or grammatically. The grammar also serves as a guideline to build a bijection between permutations and increasing trees that maps the number of up-down runs to the number of nonroot vertices of even degree. This correspondence can be adapted to left peaks and exterior peaks, and the key step of the construction is called the reflection principle.