arXiv++ Combinatorics

We study the $\{1234, 3412\}$ pattern-replacement equivalence relation on the set $S_n$ of permutations of length $n$, which is conceptually similar to the Knuth relation. In particular, we enumerate and characterize the nontrivial equivalence classes, or equivalence classes with size greater than 1, in $S_n$ for $n \geq 7$ under the $\{1234, 3412\}$-equivalence. This proves a conjecture by Ma, who found three equivalence relations of interest in studying the number of nontrivial equivalence classes of $S_n$ under pattern-replacement equivalence relations with patterns of length $4$, enumerated the nontrivial classes under two of these relations, and left the aforementioned conjecture regarding enumeration under the third as an open problem.

We extend past results on a family of formal power series $K_{n, Λ}$, parameterized by $n$ and $Λ\subseteq [n]$, that largely resemble quasisymmetric functions. This family of functions was conjectured to have the property that the product $K_{n, Λ}K_{m, Ω}$ of any two functions $K_{n, Λ}$ and $K_{m, Ω}$ from the family can be expressed as a linear combination of other functions from the family. In this paper, we show that this is indeed the case and that the span of the $K_{n, Λ}$'s forms an algebra. We also provide techniques for examining similar families of functions and a formula for the product $K_{n, Λ}K_{m, Ω}$ when $n=1$.