Pop Stacks with a Bypass

Lapo Cioni,Luca Ferrari,Rebecca Smith

DOI: https://doi.org/10.4204/EPTCS.403.17

2024-06-24

Abstract:We consider sorting procedures for permutations making use of pop stacks with a bypass operation, and explore the combinatorial properties of the associated algorithms.

Discrete Mathematics,Data Structures and Algorithms

What problem does this paper attempt to address?

A stack and a pop stack in series

Rebecca Smith,Vincent Vatter

DOI: https://doi.org/10.48550/arXiv.1303.1395

2013-03-07

Abstract:We study sorting machines consisting of a stack and a pop stack in series, with or without a queue between them. While there are, a priori, four such machines, only two are essentially different: a pop stack followed directly by a stack, and a pop stack followed by a queue and then by a stack. In the former case, we obtain complete answers for the basis and enumeration of the sortable permutations. In the latter case, we present several conjectures.

Combinatorics
Sorting with a popqueue

Lapo Cioni,Luca Ferrari

DOI: https://doi.org/10.1051/ita/2024010

2024-04-09

RAIRO - Theoretical Informatics and Applications

Abstract:We introduce a new sorting device for permutations, which we call popqueue. It consists of a special queue, having the property that any time one wants to extract elements from the queue, actually all the elements currently in the queue are poured into the output. We illustrate two distinct optimal algorithms, called Min and Cons, to sort a permutation using such a device, which allow us also to characterize sortable permutations in terms of pattern avoidance. We next investigate what happens by making two passes through a popqueue, showing that the set of sortable permutations is not a class for Min, whereas it is for Cons. In the latter case we also explicitly find the basis of the class of sortable permutations. Finally, we study preimages under Cons (by means of an equivalent version of the algorithm), and find a characterization of the set of preimages of a given permutation. We also give some enumerative results concerning the number of permutations having k preimages, for k = 1, 2, 3, and we conclude by observing that there exist permutations having k preimages for any value of k ≥ 0.

computer science, theory & methods,mathematics, applied
Counting Pop-Stacked Permutations in Polynomial Time

Anders Claesson,Bjarki Ágúst Guðmundsson,Jay Pantone

DOI: https://doi.org/10.1080/10586458.2021.1926001

2021-06-21

Experimental Mathematics

Abstract:Permutations that can be sorted greedily by one or more stacks having various constraints have been studied by a number of authors. A pop-stack is a greedy stack that must empty all entries whenever popped. Permutations in the image of the pop-stack operator are said to be pop-stacked. Asinowki, Banderier, Billey, Hackl, and Linusson recently investigated these permutations and calculated their number up to length 16. We give a polynomial-time algorithm to count pop-stacked permutations up to a fixed length and we use it to compute the first 1000 terms of the corresponding counting sequence. With the 1000 terms, we apply a pair of computational methods to prove some negative results concerning the nature of the generating function for pop-stacked permutations and to empirically predict the asymptotic behavior of the counting sequence using differential approximation.

mathematics
A new lower bound for deterministic pop-stack-sorting

Morgan Bauer,Keith Copenhaver

DOI: https://doi.org/10.1016/j.ejc.2024.104046

2024-08-24

Abstract:The pop-stack-sorting process is a variation of the stack-sort process. We consider a deterministic version of this process, and provide a new lower bound of $\frac{3}{5}n$ for the number of sorts to fully sort a uniformly randomly chosen permutation via a useful lemma.

Combinatorics,Probability
Stack-sorting with Stacks Avoiding Vincular Patterns

William Zhao

2024-10-19

Abstract:We introduce the stack-sorting map $\text{SC}_\sigma$ that sorts, in a right-greedy manner, an input permutation through a stack that avoids some vincular pattern $\sigma$. The stack-sorting maps of Cerbai et al. in which the stack avoids a pattern classically and Defant and Zheng in which the stack avoids a pattern consecutively follow as special cases. We first characterize and enumerate the sorting class $\text{Sort}(\text{SC}_\sigma)$, the set of permutations sorted by $s\circ\text{SC}_\sigma$, for seven length $3$ patterns $\sigma$. We also decide when $\text{Sort}(\text{SC}_\sigma)$ is a permutation class. Next, we compute $\max_{\pi\in \mathfrak S_n}|\text{SC}_\sigma^{-1}(\pi)|$ and characterize the periodic points of $\text{SC}_\sigma$ for several length $3$ patterns $\sigma$. We end with several conjectures and open problems.

Combinatorics
Periodic Points of Consecutive-Pattern-Avoiding Stack-Sorting Maps

Ilaria Seidel,Nathan Sun

2023-08-11

Abstract:West's stack-sorting map involves a stack which avoids the permutation $21$ consecutively. Defant and Zheng extended this to a consecutive-pattern-avoiding stack-sorting map $SC_\sigma$, where the stack must always avoid a given permutation $\sigma$ consecutively. We address one of the main conjectures raised by Defant and Zheng in their dynamical approach to $SC_\sigma$. Specifically, we show that the periodic points of $SC_\sigma$ are precisely the permutations that consecutively avoid $\sigma$ and its reverse.

Combinatorics,Dynamical Systems
A Decreasing Stack and an Increasing Stack in Series

Rebecca Smith

DOI: https://doi.org/10.48550/arXiv.1301.6801

2013-01-29

Abstract:We study a sorting machine consisting of two stacks in series where the first stack has the added restriction such that entries in the stack must be in decreasing order from top to bottom. We give the basis of the class of permutations that are sortable by this machine which shows that it is enumerated by the Schröder numbers.

Combinatorics
The Order of the (123, 132)-Avoiding Stack Sort

Owen Zhang

2024-05-03

Abstract:Let $s$ be West's deterministic stack-sorting map. A well-known result (West) is that any length $n$ permutation can be sorted with $n-1$ iterations of $s.$ In 2020, Defant introduced the notion of highly-sorted permutations -- permutations in $s^t(S_n)$ for $t \lessapprox n-1.$ In 2023, Choi and Choi extended this notion to generalized stack-sorting maps $s_{\sigma},$ where we relax the condition of becoming sorted to the analogous condition of becoming periodic with respect to $s_{\sigma}.$ In this work, we introduce the notion of minimally-sorted permutations $\mathfrak{M}_n$ as an antithesis to Defant's highly-sorted permutations, and show that $\text{ord}_{s_{123, 132}}(S_n) = 2 \lfloor \frac{n-1}{2} \rfloor,$ strengthening Berlow's 2021 classification of periodic points.

Combinatorics
Sorting inversion sequences

Toufik Mansour,Howard Skogman,Rebecca Smith

2024-07-30

Abstract:We consider the avoidance of patterns in inversion sequences that relate sorting via sorting machines including data structures such as pop stacks and stacks. Such machines have been studied under a variety of additional constraints and generalizations, some of which we apply here. We give the classification of several classes of sortable inversion sequences in terms of pattern avoidance. We are able to provide an exact enumeration of some of the sortable classes in question using both classical approaches and a more recent strategy utilizing generating trees.

Combinatorics
BiSC: An algorithm for discovering generalized permutation patterns

Henning Ulfarsson

2024-11-26

Abstract:Theorems relating permutations with objects in other fields of mathematics are often stated in terms of avoided patterns. Examples include various classes of Schubert varieties from algebraic geometry (Billey and Abe 2013), commuting functions in analysis (Baxter 1964), beta-shifts in dynamical systems (Elizalde 2011) and homology of representations (Sundaram 1994). We present a new algorithm, BiSC, that, given any set of permutations, outputs a conjecture for describing the set in terms of avoided patterns. The algorithm automatically conjectures the statements of known theorems such as the descriptions of smooth (Lakshmibai and Sandhya 1990) and forest-like permutations (Bousquet-M{é}lou and Butler 2007), Baxter permutations (Chung et al. 1978), stack-sortable (Knuth 1975) and West-2-stack-sortable permutations (West 1990). The algorithm has also been used to discover new theorems and conjectures related to the dihedral and alternating subgroups of the symmetric group, Young tableaux, Wilf-equivalences, and sorting devices.

Combinatorics
Permutations avoiding bipartite partially ordered patterns have a regular insertion encoding

Christian Bean,Émile Nadeau,Jay Pantone,Henning Ulfarsson

2023-12-13

Abstract:We prove that any class of permutations defined by avoiding a partially ordered pattern (POP) with height at most two has a regular insertion encoding and thus has a rational generating function. Then, we use Combinatorial Exploration to find combinatorial specifications and generating functions for hundreds of other permutation classes defined by avoiding a size 5 POP, allowing us to resolve several conjectures of Gao and Kitaev and of Chen and Lin.

Combinatorics
Preimages under the bubblesort operator

Mathilde Bouvel,Lapo Cioni,Luca Ferrari

DOI: https://doi.org/10.48550/arXiv.2204.12936

2022-04-27

Abstract: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 more complicated sorting operators $\mathbf{S}$ (stacksort) and $\mathbf{Q}$ (queuesort). We describe explicitly the set of preimages under $\mathbf{B}$ of any permutation $\pi$ from the left-to-right maxima of $\pi$, showing that there are $2^{k-1}$ such preimages if $k$ is the number of these left-to-right maxima. We further consider, for each $n$, the tree $T_n$ recording all permutations of size $n$ in its nodes, in which an edge from child to parent corresponds to an application of $\mathbf{B}$ (the root being the identity permutation), and we present several properties of these trees. In particular, for each permutation $\pi$, we show how the subtree of $T_n$ rooted at $\pi$ is determined by the number of left-to-right maxima of $\pi$ and the length of the longest suffix of left-to-right maxima of $\pi$. Building on this result, we determine the number of nodes and leaves at every height in such trees, and we recover (resp. obtain) the average height of nodes (resp. leaves) in $T_n$.

Combinatorics
Pop-Stack Operators for Torsion Classes and Cambrian Lattices

Emily Barnard,Colin Defant,Eric J. Hanson

2023-12-07

Abstract:The pop-stack operator of a finite lattice $L$ is the map $\mathrm{pop}^{\downarrow}_L\colon L\to L$ that sends each element $x\in L$ to the meet of $\{x\}\cup\text{cov}_L(x)$, where $\text{cov}_L(x)$ is the set of elements covered by $x$ in $L$. We study several properties of the pop-stack operator of $\mathrm{tors}\Lambda$, the lattice of torsion classes of a $\tau$-tilting finite algebra $\Lambda$ over a field $K$. We describe the pop-stack operator in terms of certain mutations of 2-term simple-minded collections. This allows us to describe preimages of a given torsion class under the pop-stack operator. We then specialize our attention to Cambrian lattices of a finite irreducible Coxeter group $W$. Using tools from representation theory, we provide simple Coxeter-theoretic and lattice-theoretic descriptions of the image of the pop-stack operator of a Cambrian lattice (which can be stated without representation theory). When specialized to a bipartite Cambrian lattice of type A, this result settles a conjecture of Choi and Sun. We also settle a related enumerative conjecture of Defant and Williams. When $L$ is an arbitrary lattice quotient of the weak order on $W$, we prove that the maximum size of a forward orbit under the pop-stack operator of $L$ is at most the Coxeter number of $W$; when $L$ is a Cambrian lattice, we provide an explicit construction to show that this maximum forward orbit size is actually equal to the Coxeter number.

Combinatorics,Representation Theory
Sorting Permutations: Games, Genomes, and Cycles

K.L.M. Adamyk,E. Holmes,G.R. Mayfield,D.J. Moritz,M. Scheepers,B.E. Tenner,H.C. Wauck

DOI: https://doi.org/10.48550/arXiv.1410.2353

2017-08-21

Abstract:Permutation sorting, one of the fundamental steps in pre-processing data for the efficient application of other algorithms, has a long history in mathematical research literature and has numerous applications. Two special-purpose sorting operations are considered in this paper: context directed swap, abbreviated cds, and context directed reversal, abbreviated cdr. These are special cases of sorting operations that were studied in prior work on permutation sorting. Moreover, cds and cdr have been postulated to model molecular sorting events that occur in the genome maintenance program of certain species of single-celled organisms called ciliates. This paper investigates mathematical aspects of these two sorting operations. The main result of this paper is a generalization of previously discovered characterizations of cds-sortability of a permutation. The combinatorial structure underlying this generalization suggests natural combinatorial two-player games. These games are the main mathematical innovation of this paper.

Combinatorics
Canon Permutation Posets

Matthias Beck,Danai Deligeorgaki

2024-10-04

Abstract:A permutation of the multiset $\{1^m,2^m,\dots,n^m\}$ is a canon permutation if the subsequence formed by the $j$th copy of each element of $[n]:=\{1,2,\dots,n\}$ is identical for all $j\in[m]$. Canon permutations were introduced by Elizalde and are motivated by pattern-avoiding concepts such as (quasi-)Stirling permutations. He proved that the descent polynomial of canon permutations exhibits a surprising product structure; as a further consequence, it is palindromic. Our goal is to understand canon permutations from the viewpoint of Stanley's $(P,w)$-partitions, along the way generalizing Elizalde's definition and results. We start with a labeled poset $P$ and extend it in a natural way to a canon labeling of the product poset $P \times [n]$. The resulting descent polynomial has a product structure which arises naturally from the theory of $(P,w)$-partitions. When $P$ is graded, this theory also implies palindromicity. We include results on weak descent polynomials, an amphibian construction between canon permutations and multiset permutations as well as $\gamma$-positivity and interpretations of descent polynomials of canon permutations.

Combinatorics
Distribution of maxima and minima statistics on alternating permutations, Springer numbers, and avoidance of flat POPs

Tian Han,Sergey Kitaev,Philip B. Zhang

2024-08-23

Abstract:In this paper, we find distributions of the left-to-right maxima, right-to-left maxima, left-to-right minima and right-to-left-minima statistics on up-down and down-up permutations of even and odd lengths. For instance, we show that the distribution of right-to-left maxima on up-down permutations of even length is given by $(\sec (t))^{q}$. We also derive the joint distribution of the maxima (resp., minima) statistics. To accomplish this, we generalize a result of Kitaev and Remmel by deriving joint distributions involving non-maxima (resp., non-minima) statistics. Consequently, we refine classic enumeration results of André by introducing new $q$-analogues and $(p,q)$-analogues for the number of alternating permutations. Additionally, we verify Callan's conjecture (2012) that the number of up-down permutations of even length fixed by reverse and complement equals the Springer numbers, thereby offering another combinatorial interpretation of these numbers. Furthermore, we propose two $q$-analogues and a $(p,q)$-analogue of the Springer numbers. Lastly, we enumerate alternating permutations that avoid certain flat partially ordered patterns (POPs), where the only minimum or maximum elements are labeled by the largest or smallest numbers.

Combinatorics
Stacks similar to the stack of perverse sheaves

David Treumann

DOI: https://doi.org/10.48550/arXiv.0801.3016

2008-01-19

Abstract:We introduce, on a topological space X, a class of stacks of abelian categories we call "stacks of type P." This class of stacks includes the stack of perverse sheaves (of any perversity, constructible with respect to a fixed stratification), and is singled out by fairly innocuous axioms. We show that some basic structure theory for perverse sheaves holds for a general stack of type P: such a stack is locally equivalent to a MacPherson-Vilonen construction, and under certain connectedness conditions its category of global objects is equivalent to the category of modules over a finite-dimensional algebra. To prove these results we develop a rudimentary tilting formalism for stacks of type P -- another sense in which these stacks are "similar to stacks of perverse sheaves."

Representation Theory
Parity statistics on restricted permutations and the Catalan--Schett polynomials

Zhicong Lin,Jing Liu,Sherry H.F. Yan

2024-09-03

Abstract:Motivated by Kitaev and Zhang's recent work on non-overlapping ascents in stack-sortable permutations and Dumont's permutation interpretation of the Jacobi elliptic functions, we investigate some parity statistics on restricted permutations. Some new related bijections are constructed and two refinements of the generating function for descents over $321$-avoiding permutations due to Barnabei, Bonetti and Silimbanian are obtained. In particular, an open problem of Kitaev and Zhang about non-overlapping ascents on $321$-avoiding permutations is solved and several combinatorial interpretations for the Catalan--Schett polynomials are found. The stack-sortable permutations are at the heart of our approaches.

Combinatorics
More results on stack-sorting for set partitions

Samanyu Ganesh,Lanxuan Xia,Bole Ying

2024-08-10

Abstract:Let a sock be an element of an ordered finite alphabet A and a sequence of these elements be a sock sequence. In 2023, Xia introduced a deterministic version of Defant and Kravitz's stack-sorting map by defining the $\phi_{\sigma}$ and $\phi_{\overline{\sigma}}$ pattern-avoidance stack-sorting maps for sock sequences. Xia showed that the $\phi_{aba}$ map is the only one that eventually sorts all set partitions; in this paper, we prove deeper results regarding $\phi_{aba}$ and $\phi_{\overline{aba}}$ as a natural next step. We newly define two algorithms with time complexity $O(n^3)$ that determine if any given sock sequence is in the image of $\phi_{aba}$ or $\phi_{\overline{aba}}$ respectively. We also show that the maximum number of preimages that a sock sequence of length $n$ has grows at least exponentially under both the $\phi_{aba}$ and $\phi_{\overline{aba}}$ maps. Additionally, we prove results regarding fertility numbers (introduced by Defant) in the context of set partitions and multiple-pattern-avoiding stacks.

Combinatorics
Sorting With Fixed-Length Reversals

T Chen,Ss Skiena

DOI: https://doi.org/10.1016/S0166-218X(96)00069-8

IF: 1.254

1996-01-01

Discrete Applied Mathematics

Abstract:A popular puzzle TOP-SPIN consists of a permutation of 20 numbered disks on an oval track, with a tumstile capable of reversing a string of 4 consecutive disks. The goal is to sort the disks into identity permutation using reversals. We consider the more general case of sorting n element permutations with a tumstile of size k.The problem of computing the reversal distances is of considerable importance in reconstructing the evolutionary history of the genome. The minimum reversal sequence sorting the one genome to another corresponds to the most likely evolutionary path between them.We give a complete solution for all n and k, of the number of equivalence classes of n-permutations under k-reversal, for both permutations and circular permutations. We also prove the upper and lower bounds on the reversal distances between two permutations.

Pop Stacks with a Bypass

A stack and a pop stack in series

Sorting with a popqueue

Counting Pop-Stacked Permutations in Polynomial Time

A new lower bound for deterministic pop-stack-sorting

Stack-sorting with Stacks Avoiding Vincular Patterns

Periodic Points of Consecutive-Pattern-Avoiding Stack-Sorting Maps

A Decreasing Stack and an Increasing Stack in Series

The Order of the (123, 132)-Avoiding Stack Sort

Sorting inversion sequences

BiSC: An algorithm for discovering generalized permutation patterns

Permutations avoiding bipartite partially ordered patterns have a regular insertion encoding

Preimages under the bubblesort operator

Pop-Stack Operators for Torsion Classes and Cambrian Lattices

Sorting Permutations: Games, Genomes, and Cycles

Canon Permutation Posets

Distribution of maxima and minima statistics on alternating permutations, Springer numbers, and avoidance of flat POPs

Stacks similar to the stack of perverse sheaves

Parity statistics on restricted permutations and the Catalan--Schett polynomials

More results on stack-sorting for set partitions

Sorting With Fixed-Length Reversals