The Pop-stack-sorting Operator on Tamari Lattices

Abstract

Motivated by the pop-stack-sorting map on the symmetric groups, Defant defined an operator ${\mathsf{Pop}}_M:M\to M$ for each complete meet-semilattice $M$ by $${\mathsf{Pop}}_M(x)=\bigwedge (\{y\in M:y⋖x\}\cup \{x\}).$$ This paper concerns the dynamics of ${\mathsf{Pop}}_{{\mathrm{Tam}}_n}$, where ${\mathrm{Tam}}_n$ is the $n$-th Tamari lattice. We say an element $x\in {\mathrm{Tam}}_n$ is $t$-$\mathsf{Pop}$-sortable if ${\mathsf{Pop}}_M^t(x)$ is the minimal element and we let $h_t(n)$ denote the number of $t$-$\mathsf{Pop}$-sortable elements in ${\mathrm{Tam}}_n$. We find an explicit formula for the generating function ${\sum }_{n\ge 1}{h}_t(n)z^n$ and verify Defant's conjecture that it is rational. We furthermore prove that the size of the image of ${\mathsf{Pop}}_{{\mathrm{Tam}}_n}$ is the Motzkin number $M_n$, settling a conjecture of Defant and Williams.

13 pages, 1 figure

References in corpus (1)

• Symmetry of Narayana numbers and rowvacuation of root posets

Cited by in corpus (2)

• Ungarian Markov Chains
• A new lower bound for deterministic pop-stack-sorting