Sweep maps: A continuous family of sorting algorithms

Drew Armstrong, Nicholas A. Loehr, Gregory S. Warrington

Research output: Contribution to journalArticle

14 Scopus citations

Abstract

We define a family of maps on lattice paths, called sweep maps, that assign levels to each step in the path and sort steps according to their level. Surprisingly, although sweep maps act by sorting, they appear to be bijective in general. The sweep maps give concise combinatorial formulas for the q, t-Catalan numbers, the higher q, t-Catalan numbers, the q, t-square numbers, and many more general polynomials connected to the nabla operator and rational Catalan combinatorics. We prove that many algorithms that have appeared in the literature (including maps studied by Andrews, Egge, Gorsky, Haglund, Hanusa, Jones, Killpatrick, Krattenthaler, Kremer, Orsina, Mazin, Papi, Vaillé, and the present authors) are all special cases of the sweep maps or their inverses. The sweep maps provide a very simple unifying framework for understanding all of these algorithms. We explain how inversion of the sweep map (which is an open problem in general) can be solved in known special cases by finding a "bounce path" for the lattice paths under consideration. We also define a generalized sweep map acting on words over arbitrary alphabets with arbitrary weights, which is also conjectured to be bijective.

Original languageEnglish (US)
Pages (from-to)159-185
Number of pages27
JournalAdvances in Mathematics
Volume284
DOIs
StatePublished - Oct 2 2015

Keywords

  • Diagonal harmonics
  • Dyck paths
  • Lattice paths
  • Q, t-Catalan numbers
  • Sorting algorithms

ASJC Scopus subject areas

  • Mathematics(all)

Fingerprint Dive into the research topics of 'Sweep maps: A continuous family of sorting algorithms'. Together they form a unique fingerprint.

Cite this