arXiv++ Combinatorics

Snakes are analogues of alternating permutations defined for any Coxeter group. We study these objects from the point of view of combinatorial Hopf algebras, such as noncommutative symmetric functions and their generalizations. The main purpose is to show that several properties of the generating functions of snakes, such as differential equations or closed form as trigonometric functions, can be lifted at the level of noncommutative symmetric functions or free quasi-symmetric functions. The results take the form of algebraic identities for type B noncommutative symmetric functions, noncommutative supersymmetric functions and colored free quasi-symmetric functions.

We prove Stanley's conjecture that, if delta_n is the staircase shape, then the skew Schur functions s_{delta_n / mu} are non-negative sums of Schur P-functions. We prove that the coefficients in this sum count certain fillings of shifted shapes. In particular, for the skew Schur function s_{delta_n / delta_{n-2}}, we discuss connections with Eulerian numbers and alternating permutations.

Any permutation statistic $f:\sym\to\CC$ may be represented uniquely as a, possibly infinite, linear combination of (classical) permutation patterns: $f= Σ_τλ_f(τ)τ$. To provide explicit expansions for certain statistics, we introduce a new type of permutation patterns that we call mesh patterns. Intuitively, an occurrence of the mesh pattern $p=(π,R)$ is an occurrence of the permutation pattern $π$ with additional restrictions specified by $R$ on the relative position of the entries of the occurrence. We show that, for any mesh pattern $p=(π,R)$, we have $λ_p(τ) = (-1)^{|τ|-|π|}p^{\star}(τ)$ where $p^{\star}=(π,R^c)$ is the mesh pattern with the same underlying permutation as $p$ but with complementary restrictions. We use this result to expand some well known permutation statistics, such as the number of left-to-right maxima, descents, excedances, fixed points, strong fixed points, and the major index. We also show that alternating permutations, André permutations of the first kind and simsun permutations occur naturally as permutations avoiding certain mesh patterns. Finally, we provide new natural Mahonian statistics.

Springer numbers are an analog of Euler numbers for the group of signed permutations. Arnol'd showed that they count some objects called snakes, that generalize alternating permutations. Hoffman established a link between Springer numbers, snakes, and some polynomials related with the successive derivatives of trigonometric functions. The goal of this article is to give further combinatorial properties of derivative polynomials, in terms of snakes and other objects: cycle-alternating permutations, weighted Dyck or Motzkin paths, increasing trees and forests. We obtain the generating functions, in terms of trigonometric functions for exponential ones and in terms of J-fractions for ordinary ones. We also define natural q-analogs, make a link with normal ordering problems and combinatorial theory of differential equations.

The Springer numbers are defined in connection with the irreducible root systems of type $B_n$, which also arise as the generalized Euler and class numbers introduced by Shanks. Combinatorial interpretations of the Springer numbers have been found by Purtill in terms of Andre signed permutations, and by Arnol'd in terms of snakes of type $B_n$. We introduce the inversion code of a snake of type $B_n$ and establish a bijection between labeled ballot paths of length n and snakes of type $B_n$. Moreover, we obtain the bivariate generating function for the number B(n,k) of labeled ballot paths starting at (0,0) and ending at (n,k). Using our bijection, we find a statistic $α$ such that the number of snakes $π$ of type $B_n$ with $α(π)=k$ equals B(n,k). We also show that our bijection specializes to a bijection between labeled Dyck paths of length 2n and alternating permutations on [2n].

We extend earlier work of the same author to enumerate alternating permutations avoiding the permutation pattern 2143. We use a generating tree approach to construct a recursive bijection between the set A_{2n}(2143) of alternating permutations of length 2n avoiding 2143 and standard Young tableaux of shape (n, n, n) and between the set A_{2n + 1}(2143) of alternating permutations of length 2n + 1 avoiding 2143 and shifted standard Young tableaux of shape (n + 2, n + 1, n). We also give a number of conjectures and open questions on pattern avoidance in alternating permutations and generalizations thereof.

André proved that the number of alternating permutations on $\{1, 2, \dots, n\}$ is equal to the Euler number $E_n$. A refinement of André's result was given by Entringer, who proved that counting alternating permutations according to the first element gives rise to Seidel's triangle $(E_{n,k})$ for computing the Euler numbers. In a series of papers, using generating function method and induction, Poupard gave several further combinatorial interpretations for $E_{n,k}$ both in alternating permutations and increasing trees. Kuznetsov, Pak, and Postnikov have given more combinatorial interpretations of $E_{n,k}$ in the model of trees. The aim of this paper is to provide bijections between the different models for $E_{n,k}$ as well as some new interpretations. In particular, we give the first explicit one-to-one correspondence between Entringer's alternating permutation model and Poupard's increasing tree model.

We construct a refined bijection $φ$ between alternating permutations and 0-1-2 increasing trees with degree at most 2. It satisfies that the first element of alternating permutation $π$ is equal to the first vertex in $φ(π)$ in the postorder.

This survey of alternating permutations and Euler numbers includes refinements of Euler numbers, other occurrences of Euler numbers, longest alternating subsequences, umbral enumeration of classes of alternating permutations, and the cd-index of the symmetric group.

We define a class L_{n, k} of permutations that generalizes alternating (up-down) permutations and give bijective proofs of certain pattern-avoidance results for this class. As a special case of our results, we give two bijections between the set A_{2n}(1234) of alternating permutations of length 2n with no four-term increasing subsequence and standard Young tableaux of shape (3^n), and between the set A_{2n + 1}(1234) and standard Young tableaux of shape (3^{n - 1}, 2, 1). This represents the first enumeration of alternating permutations avoiding a pattern of length four. We also extend previous work on doubly-alternating permutations (alternating permutations whose inverses are alternating) to our more general context. The set L_{n, k} may be viewed as the set of reading words of the standard Young tableaux of a certain skew shape. In the last section of the paper, we expand our study to consider pattern avoidance in the reading words of standard Young tableaux of any skew shape. We show bijectively that the number of standard Young tableaux of shape lambda/mu whose reading words avoid 213 is a natural mu-analogue of the Catalan numbers (and in particular does not depend on lambda, up to a simple technical condition), and that there are similar results for the patterns 132, 231 and 312.

This thesis deals with three different aspects of the combinatorics of permutations. In the first two papers, two flavours of pattern avoiding permutations are examined; and in the third paper Young tableaux, which are closely related to permutations via representation theory, are studied. In the first paper we give solutations to several interesting problems regarding pattern avoiding doubly alternating permutations, such as finding a bijection between 1234-avoiding permutations and 1234-avoiding doubly alternating permutations of twice the size. In the second paper partial permutations which can be extended to pattern avoiding permutations are examined. A general algorithm is presented which is subsequently used to solve many different problems. The third paper deals with involutions on Young tableaux. There is a surprisingly large collection of relations among these involutions and in the paper we make the effort to study them systematically in order to create a coherent theory. The most interesting result is that for Littlewood-Richardson tableaux, $a^3=1$, wher5e $a$ is the composition of three different involutions: the fundamental symmetry map, the reversal and rotation involutions.

A classical result of Euler states that the tangent numbers are an alternating sum of Eulerian numbers. A dual result of Roselle states that the secant numbers can be obtained by a signed enumeration of derangements. We show that both identities can be refined with the following statistics: the number of crossings in permutations and derangements, and the number of patterns 31-2 in alternating permutations. Using previous results of Corteel, Rubey, Prellberg, and the author, we derive closed formulas for both q-tangent and q-secant numbers. There are two different methods to obtain these formulas: one with permutation tableaux and one with weighted Motzkin paths (Laguerre histories).

The combinatorial theory for the set of parity alternating permutations is expounded. In view of the numbers of ascents and inversions, several enumerative aspects of the set are investigated. In particular, it is shown that signed Eulerian numbers have intimate relationships to the set.

We consider the inversion enumerator I_n(q), which counts labeled trees or, equivalently, parking functions. This polynomial has a natural extension to generalized parking functions. Substituting q = -1 into this generalized polynomial produces the number of permutations with a certain descent set. In the classical case, this result implies the formula I_n(-1) = E_n, the number of alternating permutations. We give a combinatorial proof of these formulas based on the involution principle. We also give a geometric interpretation of these identities in terms of volumes of generalized chain polytopes of ribbon posets. The volume of such a polytope is given by a sum over generalized parking functions, which is similar to an expression for the volume of the parking function polytope of Pitman and Stanley.

We study the problem of counting alternating permutations avoiding collections of permutation patterns including 132. We construct a bijection between the set S_n(132) of 132-avoiding permutations and the set A_{2n + 1}(132) of alternating, 132-avoiding permutations. For every set p_1, ..., p_k of patterns and certain related patterns q_1, ..., q_k, our bijection restricts to a bijection between S_n(132, p_1, ..., p_k), the set of permutations avoiding 132 and the p_i, and A_{2n + 1}(132, q_1, ..., q_k), the set of alternating permutations avoiding 132 and the q_i. This reduces the enumeration of the latter set to that of the former.

We extend Stanley's work on alternating permutations with extremal number of fixed points in two directions: first, alternating permutations are replaced by permutations with a prescribed descent set; second, instead of simply counting permutations we study their generating polynomials by number of excedances. Several techniques are used: Desarmenien's desarrangement combinatorics, Gessel's hook-factorization and the analytical properties of two new permutation statistics "DEZ" and "lec". Explicit formulas for the maximal case are derived by using symmetric function tools.

We give two simple proofs of a conjecture of Richard Stanley concerning the equidistribution of derangements and alternating permutations with the maximal number of fixed points.

We use the theory of symmetric functions to enumerate various classes of alternating permutations w of {1,2,...,n}. These classes include the following: (1) both w and w^{-1} are alternating, (2) w has certain special shapes, such as (m-1,m-2,...,1), under the RSK algorithm, (3) w has a specified cycle type, and (4) w has a specified number of fixed points. We also enumerate alternating permutations of a multiset. Most of our formulas are umbral expressions where after expanding the expression in powers of a variable E, E^k is interpreted as the Euler number E_k. As a small corollary, we obtain a combinatorial interpretation of the coefficients of an asymptotic expansion appearing in Ramanujan's Lost Notebook.

A new $q$-analog of Genocchi numbers is introduced through a q-analog of Seidel's triangle associated to Genocchi numbers. It is then shown that these $q$-Genocchi numbers have interesting combinatorial interpretations in the classical models for Genocchi numbers such as alternating pistols, alternating permutations, non intersecting lattice paths and skew Young tableaux.

A permutation is said to be \emph{alternating} if it starts with rise and then descents and rises come in turn. In this paper we study the generating function for the number of alternating permutations on $n$ letters that avoid or contain exactly once 132 and also avoid or contain exactly once an arbitrary pattern on $k$ letters. In several interesting cases the generating function depends only on $k$ and is expressed via Chebyshev polynomials of the second kind.