On symmetric pattern avoidance sets

TL;DR

This paper classifies symmetric and Schur-positive permutation sets based on pattern avoidance, resolving conjectures and extending previous results for large n, with a focus on sets of size up to n-1.

Contribution

It provides a complete classification of symmetric permutation sets for n ≥ 52 and confirms that small symmetric sets are Schur-positive, addressing open questions in the field.

Findings

Classifies symmetric sets of permutations of size at most n-1 as Schur-positive.

Provides a complete classification of symmetric sets for n ≥ 52.

Shows that symmetrically avoided sets of size at most n-1 are Schur-positively avoided.

Abstract

For a set of permutations $S\subseteq S_n$, consider the quasisymmetric generating function $$Q(S): = \sum_{w\in S}F_{n, \mathrm{Des}(w)},$$ where $\mathrm{Des}(w) := \{i\mid w(i)> w(i+1)\}$ is the descent set of $w$ and $F_{n, \mathrm{Des}(w)}$ is Gessel's fundamental quasisymmetric function. A set of permutations is said to be symmetric (respectively, Schur-positive) if its quasisymmetric generating function is symmetric (respectively, Schur-positive). Given a set $\Pi$ of permutations, let $S_n(\Pi)$ denote the set of permutations in $S_n$ that avoid all patterns in $\Pi.$ A set $\Pi$ is said to be symmetrically avoided (respectively, Schur-positively avoided) if $S_n(\Pi)$ is symmetric (respectively, Schur-positive) for all $n.$ Marmor proved in 2025 that for $n\ge 5$, a symmetric set $S\subseteq S_n$ has size at least $n-1$ unless $S\subseteq \{12\cdots n, n\cdots 21\}$ and asked for a general classification of the possible sizes of symmetric sets not containing the monotone elements $12\cdots n $ and $n\cdots 21$. We give a complete answer to this question for $n\ge 52.$ We also give a classification of symmetric sets of size at most $n-1$, thereby showing that they are actually Schur-positive, resolving a conjecture of Marmor. Finally, we give a classification of symmetrically avoided sets of size at most $n-1$, thereby showing that they are actually Schur-positively avoided.