permutation ↗ reference
4849 papers tagged with this keyword
Bumpless Pipedreams, Reduced Word Tableaux and Stanley Symmetric Functions
Lam, Lee and Shimozono introduced the structure of bumpless pipedreams in their study of back stable Schubert calculus. They found that a specific family of bumpless pipedreams, called EG-pipedreams, can be used to interpret the Edelman-Greene coefficients appearing in the expansion of a Stanley symmetric function in the basis of Schur functions. It is well known that the Edelman-Greene coefficients can also be interpreted in terms of reduced word tableaux for permutations. Lam, Lee and Shimozono proposed the problem of finding a shape preserving bijection between reduced word tableaux for a permutation $w$ and EG-pipedreams of $w$. In this paper, we construct such a bijection. The key ingredients are two new developed isomorphic tree structures associated to $w$: the modified Lascoux-Schützenberger tree of $w$ and the Edelman-Greene tree of $w$. Using the Little map, we show that the leaves in the modified Lascoux-Schützenberger of $w$ are in bijection with the reduced word tableaux for $w$. On the other hand, applying the droop operation on bumpless pipedreams also introduced by Lam, Lee and Shimozono, we show that the leaves in the Edelman-Greene tree of $w$ are in bijection with the EG-pipedreams of $w$. This allows us to establish a shape preserving one-to-one correspondence between reduced word tableaux for $w$ and EG-pipedreams of $w$.
$\mathbf{2}$-Closure of $\mathbf{\frac{3}{2}}$-transitive group in polynomial time
Published in Siberian Math. J., vol. 60, no. 2, pp. 360-375 (2019)
• View Publication
• BIB
Let $G$ be a permutation group on a finite set $Ω$. The $k$-closure $G^{(k)}$ of the group $G$ is the largest subgroup of $\operatorname{Sym}(Ω)$ having the same orbits as $G$ on the $k$-th Cartesian power $Ω^k$ of $Ω$. A group $G$ is called $\frac{3}{2}$-transitive if its transitive and the orbits of a point stabilizer $G_α$ on the set $Ω\setminus\{α\}$ are of the same size greater than one. We prove that the $2$-closure $G^{(2)}$ of a $\frac{3}{2}$-transitive permutation group $G$ can be found in polynomial time in size of $Ω$. In addition, if the group $G$ is not $2$-transitive, then for every positive integer $k$ its $k$-closure can be found within the same time. Applying the result, we prove the existence of a polynomial-time algorithm for solving the isomorphism problem for schurian $\frac{3}{2}$-homogeneous coherent configurations, that is the configurations naturally associated with $\frac{3}{2}$-transitive groups.
Pattern avoidance and quasisymmetric functions
Published
• View Publication
• BIB
Given a set of permutations Pi, let S_n(Pi) denote the set of permutations in the symmetric group S_n that avoid every element of Pi in the sense of pattern avoidance. Given a subset S of {1,...,n-1}, let F_S be the fundamental quasisymmetric function indexed by S. Our object of study is the generating function Q_n(Pi) = sum F_{Des sigma} where the sum is over all sigma in S_n(Pi) and Des sigma is the descent set of sigma. We characterize those Pi contained in S_3 such that Q_n(Pi) is symmetric or Schur nonnegative for all n. In the process, we show how each of the resulting Pi can be obtained from a theorem or conjecture involving more general sets of patterns. In particular, we prove results concerning symmetries, shuffles, and Knuth classes, as well as pointing out a relationship with the arc permutations of Elizalde and Roichman. Various conjectures and questions are mentioned throughout.
Positional strategies in games of best choice
Published in Involve 12 (2019) 647-658
• View Publication
• BIB
We study a variation of the game of best choice (also known as the secretary problem or game of googol) under an additional assumption that the ranks of interview candidates are restricted using permutation pattern-avoidance. We describe the optimal positional strategies and develop formulas for the probability of winning.
Classical pattern distributions in $\mathcal{S}_{n}(132)$ and $\mathcal{S}_{n}(123)$
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 21 no. 2, Permutation Patters 2018, Permutation Patterns (November 4, 2019) dmtcs:5088
• View Publication
• BIB
Classical pattern avoidance and occurrence are well studied in the symmetric group $\mathcal{S}_{n}$. In this paper, we provide explicit recurrence relations to the generating functions counting the number of classical pattern occurrence in the set of 132-avoiding permutations and the set of 123-avoiding permutations.
On simultaneous conjugation of permutations
Published in Journal of Pure and Applied Algebra Volume 226, Issue 1, January 2022, 106804 Journal of Pure and Applied Algebra
• View Publication
• BIB
In this paper we give an affirmative answer to a conjecture proposed by Danny Neftin, that is, if the commutator of two permutations has at least n-4 fixed points where two permutations are in degree n symmetric group, then there exists a permutation in this symmetric inverting both of them.
Some properties of a class of refined Eulerian polynomials
In recent, H. Sun defined a new kind of refined Eulerian polynomials, namely, \begin{eqnarray*} A_n(p,q)=\sum_{π\in \mathfrak{S}_n}p^{{\rm odes}(π)}q^{{\rm edes}(π)} \end{eqnarray*} for $n\geq 1$, where ${odes}(π)$ and ${edes}(π)$ enumerate the number of descents of permutation $π$ in odd and even positions, respectively. In this paper, we build an exponential generating function for $A_{n}(p,q)$ and establish an explicit formula for $A_{n}(p,q)$ in terms of Eulerian polynomials $A_{n}(q)$ and $C(q)$, the generating function for Catalan numbers. In certain special case, we set up a connection between $A_{n}(p,q)$ and $A_{n}(p,0)$ or $A_{n}(0,q)$, and express the coefficients of $A_{n}(0,q)$ by Eulerian numbers. Specially, this connection creates a new relation between Euler numbers and Eulerian numbers.
Containing all permutations
Published in Amer. Math. Monthly 128 (2021), 4-24
• View Publication
• BIB
Numerous versions of the question "what is the shortest object containing all permutations of a given length?" have been asked over the past fifty years: by Karp (via Knuth) in 1972; by Chung, Diaconis, and Graham in 1992; by Ashlock and Tillotson in 1993; and by Arratia in 1999. The large variety of questions of this form, which have previously been considered in isolation, stands in stark contrast to the dearth of answers. We survey and synthesize these questions and their partial answers, introduce infinitely more related questions, and then establish an improved upper bound for one of these questions.
From $q$-Stirling numbers to the Delta Conjecture: a viewpoint from vincular patterns
Published
• View Publication
• BIB
The distribution of certain Mahonian statistic (called $\mathrm{BAST}$) introduced by Babson and Steingrímsson over the set of permutations that avoid vincular pattern $1\underline{32}$, is shown bijectively to match the distribution of major index over the same set. This new layer of equidistribution is then applied to give alternative interpretations of two related $q$-Stirling numbers of the second kind, studied by Carlitz and Gould. Moreover, extensions to an Euler-Mahonian statistic over ordered set partitions, and to statistics over ordered multiset partitions present themselves naturally. The latter of which is shown to be related to the recently proven Delta Conjecture. During the course, a refined relation between $\mathrm{BAST}$ and its reverse complement $\mathrm{STAT}$ is derived as well.
Zeros of the Möbius function of permutations
Published in Mathematika 65 (2019) 1074-1092
• View Publication
• BIB
We show that if a permutation $π$ contains two intervals of length 2, where one interval is an ascent and the other a descent, then the Möbius function $μ[π]$ of the interval $[1,π]$ is zero. As a consequence, we show that the proportion of permutations of length $n$ with principal Möbius function equal to zero is asymptotically bounded below by $(1-1/e)^2\ge 0.3995$. This is the first result determining the value of $μ[1,π]$ for an asymptotically positive proportion of permutations $π$.
We also show that if a permutation $φ$ can be expressed as a direct sum of the form $α\oplus 1 \oplus β$, then any permutation $π$ containing an interval order-isomorphic to $φ$ has $μ[1, π]=0$; we deduce this from a more general result showing that $μ[σ, π]=0$ whenever $π$ contains an interval of a certain form. Finally, we show that if a permutation $π$ contains intervals isomorphic to certain pairs of permutations, or to certain permutations of length six, then $μ[1, π] = 0$.
On the Domination Number of Permutation Graphs and an Application to Strong Fixed Points
Published in Discrete Applied Mathematics, 2020
• View Publication
• BIB
A permutation graph $G_π$ is a simple graph with vertices corresponding to the elements of $π$ and an edge between $i$ and $j$ when $i$ and $j$ are inverted in $π$. A set of vertices $D$ is said to dominate a graph $G$ when every vertex in $G$ is either an element of $D$, or adjacent to an element of $D$. The domination number $γ(G)$ is defined as the cardinality of a minimum dominating set of $G$. A strong fixed point of a permutation $π$ of order $n$ is an element $k$ such that $π^{-1}(j)<π^{-1}(k)$ for all $j<k$, and $π^{-1}(i)>π^{-1}(k)$ for all $i>k$. In this article, we count the number of connected permutation graphs on $n$ vertices with domination number $1$ and domination number $\frac{n}{2}$. We further show that for a natural number $k\leq \frac{n}{2}$, there exists a connected permutation graph on $n$ vertices with domination number $k$. We find a closed expression for the number of permutation graphs dominated by a set with two elements, and we find a closed expression for the number of permutation graphs efficiently dominated by any set of vertices. We conclude by providing an application of these results to strong fixed points, proving some conjectures posed on the OEIS.
The Four Point Permutation Test for Latent Block Structure in Incidence Matrices
Transactional data may be represented as a bipartite graph $G:=(L \cup R, E)$, where $L$ denotes agents, $R$ denotes objects visible to many agents, and an edge in $E$ denotes an interaction between an agent and an object. Unsupervised learning seeks to detect block structures in the adjacency matrix $Z$ between $L$ and $R$, thus grouping together sets of agents with similar object interactions. New results on quasirandom permutations suggest a non-parametric \textbf{four point test} to measure the amount of block structure in $G$, with respect to vertex orderings on $L$ and $R$. Take disjoint 4-edge random samples, order these four edges by left endpoint, and count the relative frequencies of the $4!$ possible orderings of the right endpoint. When these orderings are equiprobable, the edge set $E$ corresponds to a quasirandom permutation $π$ of $|E|$ symbols. Total variation distance of the relative frequency vector away from the uniform distribution on 24 permutations measures the amount of block structure. Such a test statistic, based on $\lfloor |E|/4 \rfloor$ samples, is computable in $O(|E|/p)$ time on $p$ processors. Possibly block structure may be enhanced by precomputing \textbf{natural orders} on $L$ and $R$, related to the second eigenvector of graph Laplacians. In practice this takes $O(d |E|)$ time, where $d$ is the graph diameter. Five open problems are described.
Permutation graphs and the Abelian sandpile model, tiered trees and non-ambiguous binary trees
Published
• View Publication
• BIB
A permutation graph is a graph whose edges are given by inversions of a permutation. We study the Abelian sandpile model (ASM) on such graphs. We exhibit a bijection between recurrent configurations of the ASM on permutation graphs and the tiered trees introduced by Dugan et al. [10]. This bijection allows certain parameters of the recurrent configurations to be read on the corresponding tree. In particular, we show that the level of a recurrent configuration can be interpreted as the external activity of the corresponding tree, so that the bijection exhibited provides a new proof of a famous result linking the level polynomial of the ASM to the ubiquitous Tutte polynomial. We show that the set of minimal recurrent configurations is in bijection with the set of complete non-ambiguous binary trees introduced by Aval et al. [2], and introduce a multi-rooted generalization of these that we show to correspond to all recurrent configurations. In the case of permutations with a single descent, we recover some results from the case of Ferrers graphs presented in [11], while we also recover results of Perkinson et al. [16] in the case of threshold graphs.
Ballot Permutations and Odd Order Permutations
Published
• View Publication
• BIB
A permutation $π$ is ballot if, for all $k$, the word $π_1\cdots π_k$ has at least as many ascents as it has descents. Let $b(n)$ denote the number of ballot permutations of order $n$, and let $p(n)$ denote the number of permutations which have odd order in the symmetric group $S_n$. Callan conjectured that $b(n)=p(n)$ for all $n$, which was proved by Bernardi, Duplantier, and Nadeau.
We propose a refinement of Callan's original conjecture. Let $b(n,d)$ denote the number of ballot permutations with $d$ descents. Let $p(n,d)$ denote the number of odd order permutations with $M(π)=d$, where $M(π)$ is a certain statistic related to the cyclic descents of $π$. We conjecture that $b(n,d)=p(n,d)$ for all $n$ and $d$. We prove this stronger conjecture for the cases $d=1,\ 2,\ 3$, and $d=\lfloor(n-1)/2\rfloor$, and in each of these cases we establish formulas for $b(n,d)$ involving Eulerian numbers and Eulerian-Catalan numbers.
Permutations With Equal Orders
Published in Combinator. Probab. Comp. 30 (2021) 800-810
• View Publication
• BIB
Let $P(n)$ be the probability that two independent, uniformly random permutations of $[n]$ have the same order, and let $K(n)$ be the probability that they are in the same conjugacy class. Answering a question of Thibault Godin, we prove that $ P(n)=n^{-2+o(1)}$ and that $\lim\sup \frac{ P(n) }{ K(n) }=\infty.$
Weak order and descents for monotone triangles
Published
• View Publication
• BIB
Monotone triangles are a rich extension of permutations that biject with alternating sign matrices. The notions of weak order and descent sets for permutations are generalized here to monotone triangles, and shown to enjoy many analogous properties. It is shown that any linear extension of the weak order gives rise to a shelling order on a poset, recently introduced by Terwilliger, whose maximal chains biject with monotone triangles; among these shellings are a family of EL-shellings.
The weak order turns out to encode an action of the 0-Hecke monoid of type A on the monotone triangles, generalizing the usual bubble-sorting action on permutations. It also leads to a notion of descent set for monotone triangles, having another natural property: the surjective algebra map from the Malvenuto- Reutenauer Hopf algebra of permutations into quasisymmetric functions extends in a natural way to an algebra map out of the recently-defined Cheballah-Giraudo-Maurice algebra of alternating sign matrices.
Bialgebras for Stanley symmetric functions
Published in Discrete Math., 343 (2020), no. 4, 111778
• View Publication
• BIB
We construct a non-commutative, non-cocommutative, graded bialgebra $\mathbfΠ$ with a basis indexed by the permutations in all finite symmetric groups. Unlike the formally similar Malvenuto-Poirier-Reutenauer Hopf algebra, this bialgebra does not have finite graded dimension. After giving formulas for the product and coproduct, we show that there is a natural morphism from $\mathbfΠ$ to the algebra of quasi-symmetric functions, under which the image of a permutation is its associated Stanley symmetric function. As an application, we use this morphism to derive some new enumerative identities. We also describe analogues of $\mathbfΠ$ for the other classical types. In these cases, the relevant objects are module coalgebras rather than bialgebras, but there are again natural morphisms to the quasi-symmetric functions, under which the image of a signed permutation is the corresponding Stanley symmetric function of type B, C, or D.
Stack-sorting for Words
We introduce operators $\mathsf{hare}$ and $\mathsf{tortoise}$, which act on words as natural generalizations of West's stack-sorting map. We show that the heuristically slower algorithm $\mathsf{tortoise}$ can sort words arbitrarily faster than its counterpart $\mathsf{hare}$. We then generalize the combinatorial objects known as valid hook configurations in order to find a method for computing the number of preimages of any word under these two operators. We relate the question of determining which words are sortable by $\mathsf{hare}$ and $\mathsf{tortoise}$ to more classical problems in pattern avoidance, and we derive a recurrence for the number of words with a fixed number of copies of each letter (permutations of a multiset) that are sortable by each map. In particular, we use generating trees to prove that the $\ell$-uniform words on the alphabet $[n]$ that avoid the patterns $231$ and $221$ are counted by the $(\ell+1)$-Catalan number $\frac{1}{\ell n+1}{(\ell+1)n\choose n}$. We conclude with several open problems and conjectures.
Limit Densities of Patterns in Permutation Inflations
Published
• View Publication
• BIB
Call a permutation $k$-inflatable if the sequence of its tensor products with uniform random permutations of increasing lengths has uniform $k$-point pattern densities. Previous work has shown that nontrivial $k$-inflatable permutations do not exist for $k \geq 4$. In this paper, we derive a general formula for the limit densities of patterns in the sequence of tensor products of a fixed permutation with each permutation from a convergent sequence. By applying this result, we completely characterize $3$-inflatable permutations and find explicit examples of $3$-inflatable permutations with various lengths, including the shortest examples with length $17$.
Universal gates with wires in a row
Published
• View Publication
• BIB
We give some optimal size generating sets for the group generated by shifts and local permutations on the binary full shift. We show that a single generator, namely the fully asynchronous application of the elementary cellular automaton 57 (or, by symmetry, ECA 99), suffices in addition to the shift. In the terminology of logical gates, we have a single reversible gate whose shifts generate all (finitary) reversible gates on infinitely many binary-valued wires that lie in a row and cannot (a priori) be rearranged. We classify pairs of words $u, v$ such that the gate swapping these two words, together with the shift and the bit flip, generates all local permutations. As a corollary, we obtain analogous results in the case where the wires are arranged on a cycle, confirming a conjecture of Macauley-McCammond-Mortveit and Vielhaber.