Table of Contents
Fetching ...

Global patterns in signed permutations

Owen John Levens, Joel Brewster Lewis, Bridget Eileen Tenner

TL;DR

This work studies global pattern avoidance in signed permutations $S^B_n$, showing that many structural properties of these objects can be characterized by the same global avoidance sets as in the symmetric group, a phenomenon termed persistence. Leveraging the rc-invariant inclusion map $ ext{iota}$ and the finite conversion set $ ext{gl}(P)$, the authors connect global patterns to classical patterns and employ the Garfinkle--Barbasch--Vogan (GBV) correspondence with domino tableaux to translate global avoidance into tableau constraints, enabling both characterization and enumerative results. They prove persistence for vexillarity, boolean, freeness, and, in a weak sense, smoothness and full commutativity, while identifying properties (e.g., Grassmannian, bigrassmannian, rank-symmetry) that do not persist. On the enumerative side, they extend Egge’s results, examining $| ext{GAV}_n(P)|$ for short patterns, and present two novel proofs for $| ext{GAV}_n(321)|=inom{2n}{n}$, tying global counts to central binomial coefficients via domino tableaux and bijections. The findings illuminate the deep connections between global pattern avoidance, rc-invariance, and classical type-A phenomena, with implications for Coxeter combinatorics and related algebraic geometry via Schubert varieties and the Erdős–Szekeres paradigm.

Abstract

Global permutation patterns have recently been shown to characterize important properties of a Coxeter group. Here we study global patterns in the context of signed permutations, with both characterizing and enumerative results. Surprisingly, many properties of signed permutations may be characterized by avoidance of the same set of patterns as the corresponding properties in the symmetric group. We also extend previous enumerative work of Egge, and our work has connections to the Garfinkle--Barbasch--Vogan correspondence, the Erdős--Szekeres theorem, and well-known integer sequences.

Global patterns in signed permutations

TL;DR

This work studies global pattern avoidance in signed permutations , showing that many structural properties of these objects can be characterized by the same global avoidance sets as in the symmetric group, a phenomenon termed persistence. Leveraging the rc-invariant inclusion map and the finite conversion set , the authors connect global patterns to classical patterns and employ the Garfinkle--Barbasch--Vogan (GBV) correspondence with domino tableaux to translate global avoidance into tableau constraints, enabling both characterization and enumerative results. They prove persistence for vexillarity, boolean, freeness, and, in a weak sense, smoothness and full commutativity, while identifying properties (e.g., Grassmannian, bigrassmannian, rank-symmetry) that do not persist. On the enumerative side, they extend Egge’s results, examining for short patterns, and present two novel proofs for , tying global counts to central binomial coefficients via domino tableaux and bijections. The findings illuminate the deep connections between global pattern avoidance, rc-invariance, and classical type-A phenomena, with implications for Coxeter combinatorics and related algebraic geometry via Schubert varieties and the Erdős–Szekeres paradigm.

Abstract

Global permutation patterns have recently been shown to characterize important properties of a Coxeter group. Here we study global patterns in the context of signed permutations, with both characterizing and enumerative results. Surprisingly, many properties of signed permutations may be characterized by avoidance of the same set of patterns as the corresponding properties in the symmetric group. We also extend previous enumerative work of Egge, and our work has connections to the Garfinkle--Barbasch--Vogan correspondence, the Erdős--Szekeres theorem, and well-known integer sequences.

Paper Structure

This paper contains 16 sections, 16 theorems, 23 equations, 1 figure.

Key Result

Proposition 3.2

The map $\iota$ gives a bijection from $S^B_n$ to the rc-invariant elements of $S_{2n}$.

Figures (1)

  • Figure :

Theorems & Definitions (35)

  • Definition 2.1
  • Definition 2.2
  • Definition 2.3
  • Definition 2.4
  • Example 2.5
  • Definition 3.1
  • Proposition 3.2
  • Corollary 3.3
  • Proposition 3.4: egge2007
  • Example 3.5
  • ...and 25 more