Joint distributions of permutation statistics and the parabolic cylinder functions

In this paper, we introduce a context-free grammar $G\colon x \rightarrow xy,\, y \rightarrow zu,\, z \rightarrow zw,\, w \rightarrow xv,\, u \rightarrow xyz^{-1}v,\, v \rightarrow x^{-1}zwu$ over the variable set $V=\{x,y,z,w,u,v\}$. We use this grammar to study joint distributions of several permutation statistics related to descents, rises, peaks and valleys. By considering the pattern of an exterior peak, we introduce the exterior peaks of pattern 132 and of pattern 231. Similarly, peaks can also be classified according to their patterns. Let $D$ be the formal derivative operator with respect to the grammar $G$. By using a grammatical labeling, we show that $D^n(z)$ is the generating function of the number of permutations on $[n]=\{1,2,\ldots,n\}$ with given numbers of exterior peaks of pattern 132 and of pattern 231, and proper double descents. By solving a cylinder differential equation, we obtain an explicit formula of the generating function of $D^n(z)$, which can be viewed as a unification of the results of Elizalde-Noy, Barry, Basset, Fu and Gessel. Specializations lead to the joint distributions of certain consecutive patterns in permutations, as studied by Elizalde-Noy and Kitaev. By a different labeling with respect to the same grammar $G$, we derive the joint distribution of peaks of pattern 132 and of pattern 231, double descents and double rises, with the generating function also expressed by the parabolic cylinder functions. This formula serves as a refinement of the work of Carlitz-Scoville. Furthermore, we obtain the joint distribution of exterior peaks of pattern 132 and of pattern 231 over alternating permutations.

[1]  R. Stanley Enumerative Combinatorics: Volume 1 , 2011 .

[2]  G. Watson,et al.  A Theory of Asymptotic Series , 1912 .

[3]  D. Owen Handbook of Mathematical Functions with Formulas , 1965 .

[4]  Kathryn L. Nyman,et al.  The peak algebra and the descent algebras of types B and D , 2003, math/0302278.

[5]  Edmund Taylor Whittaker On the Functions associated with the Parabolic Cylinder in Harmonic Analysis , 1902 .

[6]  Paul Barry Constructing Exponential Riordan Arrays from Their A and Z Sequences , 2014, J. Integer Seq..

[7]  Edmund Taylor Whittaker,et al.  A Course of Modern Analysis , 2021 .

[8]  Milton Abramowitz,et al.  Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables , 1964 .

[9]  Nicolas Basset Counting and Generating Permutations Using Timed Languages , 2014, LATIN.

[10]  Charalambos A. Charalambides,et al.  Enumerative combinatorics , 2018, SIGA.

[11]  Amy M. Fu A context-free grammar for peaks and double descents of permutations , 2018, Adv. Appl. Math..

[12]  Amy M. Fu,et al.  Context-free grammars for permutations and increasing trees , 2017, Adv. Appl. Math..

[13]  I. Goulden,et al.  Combinatorial Enumeration , 2004 .

[14]  Song Y. Yan,et al.  Context Free Grammars , 2011 .

[15]  Sergey Kitaev Partially ordered generalized patterns , 2005, Discret. Math..

[16]  William Y. C. Chen,et al.  Context-Free Grammars, Differential Operators and Formal Power Series , 1993, Theor. Comput. Sci..

[17]  Shi-Mei Ma,et al.  Derivative polynomials and enumeration of permutations by number of interior and left peaks , 2012, Discret. Math..

[18]  Marc Noy,et al.  Consecutive patterns in permutations , 2003, Adv. Appl. Math..

[19]  L. Carlitz,et al.  Enumeration of permutations by rises, falls, rising maxima and falling maxima , 1974 .

[20]  S. Kitaev Generalized pattern avoidance with additional restrictions , 2002, math/0205215.