Stack-sorting for Coxeter groups

C Defant - arxiv preprint arxiv:2104.03215, 2021 - arxiv.org
Given an essential semilattice congruence $\equiv $ on the left weak order of a Coxeter
group $ W $, we define the Coxeter stack-sorting operator ${\bf S} _\equiv: W\to W $ by ${\bf …

[HTML][HTML] Two first-order logics of permutations

M Albert, M Bouvel, V Féray - Journal of Combinatorial Theory, Series A, 2020 - Elsevier
We consider two orthogonal points of view on finite permutations, seen as pairs of linear
orders (corresponding to the usual one line representation of permutations as words) or …

Describing West-3-stack-sortable permutations with permutation patterns

H Úlfarsson - arxiv preprint arxiv:1110.1219, 2011 - arxiv.org
We describe a new method for finding patterns in permutations that produce a given pattern
after the permutation has been passed once through a stack. We use this method to …

Stack-sorting and beyond

C Defant - 2022 - search.proquest.com
In 1990, West initiated an extensive investigation of the stack-sorting map, a deterministic
version of Knuth's stack-sorting machine that acts on permutations. At first sight, this map …

Enumeration of stack-sorting preimages via a decomposition lemma

C Defant - Discrete Mathematics & Theoretical Computer …, 2021 - dmtcs.episciences.org
We give three applications of a recently-proven" Decomposition Lemma," which allows one
to count preimages of certain sets of permutations under West's stack-sorting map s. We first …

Refined Enumeration of Permutations Sorted with Two Stacks and a D 8-Symmetry

M Bouvel, O Guibert - Annals of Combinatorics, 2014 - Springer
We study permutations that are sorted by operators of the form S° α° S, where S is the usual
stack sorting operator introduced by Knuth and α is any D 8-symmetry obtained by …

Sorting and preimages of pattern classes

A Claesson, H Ulfarsson - Discrete Mathematics & …, 2012 - dmtcs.episciences.org
We introduce an algorithm to determine when a sorting operation, such as stack-sort or
bubble-sort, outputs a given pattern. The algorithm provides a new proof of the description of …

Preimages under the bubblesort operator

M Bouvel, L Cioni, L Ferrari - arxiv preprint arxiv:2204.12936, 2022 - arxiv.org
We study preimages of permutations under the bubblesort operator $\mathbf {B} $. We
achieve a description of these preimages much more complete than what is known for the …

Sorting operators and their preimages

H Magnússon - 2013 - skemman.is
This thesis extends previous work of Claesson and Úlfarsson (2012) on algorithms for
computing the preimage of a pattern class under the stack-sort operator. We consider …

Algorithms for discovering and proving theorems about permutation patterns

H Magnusson, H Ulfarsson - arxiv preprint arxiv:1211.7110, 2012 - arxiv.org
We present an algorithm, called BiSC, that describes the patterns avoided by a given set of
permutations. It automatically conjectures the statements of known theorems such as the …