arXiv++ Combinatorics

We provide an involution proof of a Catalan-tangent number identity arising from the study of peak algebra that was found by Aliniaeifard and Li. In the course, we find a new combinatorial identity for the tangent numbers $T_{2n+1}$: $$ \sum_{k=0}^{n}(-1)^{k}{2n+1\choose 2k}2^{2n-2k}T_{2k+1}=(-1)^nT_{2n+1}. $$ Moreover, we derive two different $q$-analogs of the above identity from the combinatorial perspective.

For any integer $k\geq2$, we prove combinatorially the following Euler (binomial) transformation identity $$ \NC_{n+1}^{(k)}(t)=t\sum_{i=0}^n{n\choose i}\NW_{i}^{(k)}(t), $$ where $\NC_{m}^{(k)}(t)$ (resp.~$\NW_{m}^{(k)}(t)$) is the sum of weights, $t^\text{number of blocks}$, of partitions of $\{1,\ldots,m\}$ without $k$-crossings (resp.~enhanced $k$-crossings). The special $k=2$ and $t=1$ case, asserting the Euler transformation of Motzkin numbers are Catalan numbers, was discovered by Donaghey 1977. The result for $k=3$ and $t=1$, arising naturally in a recent study of pattern avoidance in ascent sequences and inversion sequences, was proved only analytically.

Recently, the study of patterns in inversion sequences was initiated by Corteel-Martinez-Savage-Weselcouch and Mansour-Shattuck independently. Motivated by their works and a double Eulerian equidistribution due to Foata (1977), we investigate several classical statistics on restricted inversion sequences that are either known or conjectured to be enumerated by {\em Catalan}, {\em Large Schröder}, {\em Baxter} and {\em Euler} numbers. One of the two highlights of our results is a fascinating bijection between $000$-avoiding inversion sequences and Simsun permutations, which together with Foata's V- and S-codes, provide a proof of a restriced double Eulerian equdistribution. The other one is a refinement of a conjecture due to Martinez and Savage that the cardinality of $\I_n(\geq,\geq,>)$ is the $n$-th Baxter number, which is proved via the so-called {\em obstinate kernel method} developed by Bousquet-Mélou.

We construct an intriguing bijection between $021$-avoiding inversion sequences and $(2413,4213)$-avoiding permutations, which proves a sextuple equidistribution involving double Eulerian statistics. Two interesting applications of this result are also presented. Moreover, this result inspires us to characterize all permutation classes that avoid two patterns of length $4$ whose descent polynomial equals that of separable permutations.

We provide a combinatorial approach to the largest power of $p$ in the number of permutations $π$ with $π^p=1$, for a fixed prime number $p$. With this approach, we find the largest power of $2$ in the number of involutions, in the signed sum of involutions and in the numbers of even or odd involutions.