permutation ↗ reference
4945 papers tagged with this keyword
On k-neighbor separated permutations
Two permutations of $[n]=\{1,2 \ldots n\}$ are \textit{$k$-neighbor separated} if there are two elements that are neighbors in one of the permutations and that are separated by exactly $k-2$ other elements in the other permutation. Let the maximal number of pairwise $k$-neighbor separated permutations of $[n]$ be denoted by $P(n,k)$. In a previous paper, the authors have determined $P(n,3)$ for every $n$, answering a question of Körner, Messuti and Simonyi affirmatively. In this paper we prove that for every fixed positive integer $\ell $, $$P(n,2^\ell+1) = 2^{n-o(n)}. $$ We conjecture that for every fixed even $k$, $P(n,k)=2^{n-o(n)}$. We also show that this conjecture is asymptotically true in the following sense $$\lim_{k \rightarrow \infty} \lim_{n \rightarrow \infty} \sqrt[n]{P(n,k)}=2.$$ Finally, we show that for even $n$, $P(n,n)= 3n/2$.
On two-sided gamma-positivity for simple permutations
Published
• View Publication
• BIB
Gessel conjectured that the two-sided Eulerian polynomial, recording the common distribution of the descent number of a permutation and that of its inverse, has non-negative integer coefficients when expanded in terms of the gamma basis. This conjecture has been proved recently by Lin.
We conjecture that an analogous statement holds for simple permutations, and use the substitution decomposition tree of a permutation (by repeated inflation) to show that this would imply the Gessel-Lin result. We provide supporting evidence for this stronger conjecture.
Permutations sorted by a finite and an infinite stack in series
Published
• View Publication
• BIB
We prove that the set of permutations sorted by a stack of depth $t \geq 3$ and an infinite stack in series has infinite basis, by constructing an infinite antichain. This answers an open question on identifying the point at which, in a sorting process with two stacks in series, the basis changes from finite to infinite.
Fighting fish and two-stack sortable permutations
Published in Séminaire Lotharingien de Combinatoire, 80B.7, 2018
• Search Publication
In 2017, Duchi, Guerrini, Rinaldi and Schaeffer proposed a new family of combinatorial objects called "fighting fish", which are counted by the same formula as more classical objects, such as two-stack sortable permutations and non-separable planar maps. In this article, we explore the bijective aspect of fighting fish by establishing a bijection to two-stack sortable permutations, using a new recursive decomposition of these permutations. With our bijection, we give combinatorial explanations of several results on fighting fish proved previously with generating functions. Using the decomposition of two-stack sortable permutations, we also prove the algebraicity of their generating function, extending a result of Bousquet-Mélou (1998).
Characterizations and Enumerations of Patterns of Signed Shifts
Published
• View Publication
• BIB
Signed shifts are generalizations of the shift map in which, interpreted as a map from the unit interval to itself sending x to the fractional part of Nx, some slopes are allowed to be negative. Permutations realized by the relative order of the elements in the orbits of these maps have been studied recently by Amigo, Archer and Elizalde. In this paper, we give a complete characterization of the permutations (also called patterns) realized by signed shifts. In the case of the negative shift, which is the signed shift having only negative slopes, we use the characterization to give an exact enumeration of these patterns. Finally, we improve the best known bounds for the number of patterns realized by the tent map, and calculate the topological entropy of signed shifts using these combinatorial methods.
A Short Combinatorial Proof of Derangement Identity
Published
• View Publication
• BIB
The $n$-th rencontres number with the parameter $r$ is the number of permutations having exactly $r$ fixed points. In particular, a derangement is a permutation without any fixed point. We presents a short combinatorial proof for a weighted sum derangement identities.
Folding Phenomenon of Major-balance Identities on Restricted Involutions
Published
• View Publication
• BIB
In this paper we prove a refined major-balance identity on the $321$-avoiding involutions of length $n$, respecting the leading element of permutations. The proof is based on a sign-reversing involution on the lattice paths within a $\lfloor\frac{n}{2}\rfloor\times\lceil\frac{n}{2}\rceil$ rectangle. Moreover, we prove affirmatively a question about refined major-balance identity on the $123$-avoiding involutions, respecting the number of descents.
Reverse plane partitions of skew staircase shapes and $q$-Euler numbers
Published
• View Publication
• BIB
Recently, Naruse discovered a hook length formula for the number of standard Young tableaux of a skew shape. Morales, Pak and Panova found two $q$-analogs of Naruse's hook length formula over semistandard Young tableaux (SSYTs) and reverse plane partitions (RPPs). As an application of their formula, they expressed certain $q$-Euler numbers, which are generating functions for SSYTs and RPPs of a zigzag border strip, in terms of weighted Dyck paths. They found a determinantal formula for the generating function for SSYTs of a skew staircase shape and proposed two conjectures related to RPPs of the same shape. One conjecture is a determinantal formula for the number of \emph{pleasant diagrams} in terms of Schröder paths and the other conjecture is a determinantal formula for the generating function for RPPs of a skew staircase shape in terms of $q$-Euler numbers.
In this paper, we show that the results of Morales, Pak and Panova on the $q$-Euler numbers can be derived from previously known results due to Prodinger by manipulating continued fractions. These $q$-Euler numbers are naturally expressed as generating functions for alternating permutations with certain statistics involving \emph{maj}. It has been proved by Huber and Yee that these $q$-Euler numbers are generating functions for alternating permutations with certain statistics involving \emph{inv}. By modifying Foata's bijection we construct a bijection on alternating permutations which sends the statistics involving \emph{maj} to the statistic involving \emph{inv}. We also prove the aforementioned two conjectures of Morales, Pak and Panova.
The covering radii of the $2$-transitive unitary, Suzuki, and Ree groups
Published
• View Publication
• BIB
We study the covering radii of $2$-transitive permutation groups of Lie rank one, giving bounds and links to finite geometry.
EW-tableaux, Le-tableaux, tree-like tableaux and the Abelian sandpile model
Published
• View Publication
• BIB
A EW-tableau is a certain 0/1-filling of a Ferrers diagram, corresponding uniquely to an acyclic orientation, with a unique sink, of a certain bipartite graph called a Ferrers graph. We give a bijective proof of a result of Ehrenborg and van Willigenburg showing that EW-tableaux of a given shape are equinumerous with permutations with a given set of excedances. This leads to an explicit bijection between EW-tableaux and the much studied Le-tableaux, as well as the tree-like tableaux introduced by Aval, Boussicault and Nadeau.
We show that the set of EW-tableaux on a given Ferrers diagram are in 1-1 correspondence with the minimal recurrent configurations of the Abelian sandpile model on the corresponding Ferrers graph.
Another bijection between EW-tableaux and tree-like tableaux, via spanning trees on the corresponding Ferrers graphs, connects the tree-like tableaux to the minimal recurrent configurations of the Abelian sandpile model on these graphs. We introduce a variation on the EW-tableaux, which we call NEW-tableaux, and present bijections from these to Le-tableaux and tree-like tableaux. We also present results on various properties of and statistics on EW-tableaux and NEW-tableaux, as well as some open problems on these.
A tableau formula of double Grothendieck polynomials for $321$-avoiding permutations
Published
• View Publication
• BIB
In this article, we prove a tableau formula for the double Grothendieck polynomials associated to $321$-avoiding permutations. The proof is based on the compatibility of the formula with the $K$-theoretic divided difference operators.
Descent polynomials
Published
• View Publication
• BIB
Let $n$ be a nonnegative integer and $I$ be a finite set of positive integers. In 1915, MacMahon proved that the number of permutations in the symmetric group $\mathfrak{S}_n$ with descent set $I$ is a polynomial in $n$. We call this the descent polynomial. However, basic properties of these polynomials such as a description of their coefficients and roots do not seem to have been studied in the literature. Much more recently, in 2013, Billey, Burdzy, and Sagan showed that the number of elements of $\mathfrak{S}_n$ with peak set $I$ is a polynomial in $n$ times a certain power of two. Since then, there have been a flurry of papers investigating properties of this peak polynomial. The purpose of the present paper is to study the descent polynomial. We will see that it displays some interesting parallels with its peak relative. Conjectures and questions for future research are scattered throughout.
Improved Bounds for Testing Forbidden Order Patterns
Published
• View Publication
• BIB
A sequence $f\colon\{1,\dots,n\}\to\mathbb{R}$ contains a permutation $π$ of length $k$ if there exist $i_1<\dots<i_k$ such that, for all $x,y$, $f(i_x)<f(i_y)$ if and only if $π(x)<π(y)$; otherwise, $f$ is said to be $π$-free. In this work, we consider the problem of testing for $π$-freeness with one-sided error, continuing the investigation of [Newman et al., SODA'17].
We demonstrate a surprising behavior for non-adaptive tests with one-sided error: While a trivial sampling-based approach yields an $\varepsilon$-test for $π$-freeness making $Θ(\varepsilon^{-1/k} n^{1-1/k})$ queries, our lower bounds imply that this is almost optimal for most permutations! Specifically, for most permutations $π$ of length $k$, any non-adaptive one-sided $\varepsilon$-test requires $\varepsilon^{-1/(k-Θ(1))}n^{1-1/(k-Θ(1))}$ queries; furthermore, the permutations that are hardest to test require $Θ(\varepsilon^{-1/(k-1)}n^{1-1/(k-1)})$ queries, which is tight in $n$ and $\varepsilon$.
Additionally, we show two hierarchical behaviors here. First, for any $k$ and $l\leq k-1$, there exists some $π$ of length $k$ that requires $\tildeΘ_{\varepsilon}(n^{1-1/l})$ non-adaptive queries. Second, we show an adaptivity hierarchy for $π=(1,3,2)$ by proving upper and lower bounds for (one- and two-sided) testing of $π$-freeness with $r$ rounds of adaptivity. The results answer open questions of Newman et al. and [Canonne and Gur, CCC'17].
On Graph Isomorphism Problem
Let $G$ and $H$ be two simple graphs. A bijection $φ:V(G)\rightarrow V(H)$ is called an isomorphism between $G$ and $H$ if $(φv_i)(φv_j)\in E(H)$ $\Leftrightarrow$ $v_i v_j\in E(G)$, $\forall v_i,v_j \in V(G)$. In the case that $G = H$, we say $φ$ an automorphism of $G$ and denote the group consisting of all automorphisms of $G$ by $\mathrm{Aut}~G$. As well-known, the problem of determining whether or not two given graphs are isomorphic is called Graph Isomorphism Problem (GI). One of key steps in resolving GI is to work out the partition $Π^*_G$ of $V(G)$ composed of orbits of $\mathrm{Aut}~G$. By means of geometric features of $Π^*_G$ and combinatorial constructions such as the multipartite graph $[Π^*_{t_1},\cdots,Π^*_{t_s}]$, we can reduce the problem of determining $Π_G^*$ to that of working out a series of partitions of $V(G)$ each of which consists of orbits of a stabilizer that fixes a sequence of vertices of $G$, and thus the determination of the partition $Π^*_v$ is a critical transition.
On the other hand, we have for a given subspace $U \subseteq \mathbb{R}^n$ a permutation group $\mathrm{Aut}~U := \{ σ\in S_n : σ~ U = U \}$. As a matter of fact, $\mathrm{Aut}~G = \cap_{λ\in \mathrm{spec} \mathbf{A}(G) } \mathrm{Aut}~V_λ$, and moreover we can obtain a good approximation $Π[ \oplus V_λ ; v ]$ to $Π_v^*$ by analyzing a decomposition of $V_λ$ resulted from the division of $V_λ$ by subspaces $\{ \mathrm{proj}[ V_λ ]( \pmb{e}_v )^{\perp} : v \in V(G) \}$. In fact, there is a close relation among subspaces spanned by cells of $Π[ \oplus V_λ ; v ]$ of $G$, which enables us to determine $Π_v^*$ more efficiently. In virtue of that, we devise a deterministic algorithm solving GI in time $n^{ O( \log n ) }$.
Permutation complexity of images of Sturmian words by marked morphisms
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 20 no. 1, Combinatorics (June 4, 2018) dmtcs:4042
• View Publication
• BIB
We show that the permutation complexity of the image of a Sturmian word by a binary marked morphism is $n+k$ for some constant $k$ and all lengths $n$ sufficiently large.
Differential posets and restriction in critical groups
Published in Algebraic Combinatorics, Volume 2 (2019) no. 6, p. 1311-1327
• View Publication
• BIB
In recent work, Benkart, Klivans, and Reiner defined the critical group of a faithful representation of a finite group $G$, which is analogous to the critical group of a graph. In this paper we study maps between critical groups induced by injective group homomorphisms and in particular the map induced by restriction of the representation to a subgroup. We show that in the abelian group case the critical groups are isomorphic to the critical groups of a certain Cayley graph and that the restriction map corresponds to a graph covering map. We also show that when $G$ is an element in a differential tower of groups, critical groups of certain representations are closely related to words of up-down maps in the associated differential poset. We use this to generalize an explicit formula for the critical group of the permutation representation of the symmetric group given by the second author, and to enumerate the factors in such critical groups.
The generalized Sierpiński Arrowhead Curve
We define special Hamiltonian-paths and special permutations of the up-facing dark tiles on a checked triangular grid related to the generalized Sierpiński Gasket. Our definitions and observations make possible the generalization of the Sierpiński Arrowhead Curve for all orders. We produce these symmetric recursive curves in many ways by two kinds of asymmetric paths which are in a bijective relation and unambiguously transformable into each other in any order. These node-rewriting and edge-rewriting recursive curves keep their self-avoiding and simple properties after the transformation and their cardinality specifies a new integer sequence. We show a transformation table to change the curves into each other and we give another table to change them into Lindenmayer-system strings both by the absolute direction codes of their edges.
The Number of $k$-Cycles In a Family of Restricted Permutations
In this paper we study different restrictions imposed over the set of permutations of size $n$, $S_n$, and for specific classes of restrictions study the cycle structure of corresponding permutations. More specifically, we prove that for any fixed positive integer $k$, the number of $k$-cycles of a uniformly chosen permutation $π\in S_n$ with the restriction "$π(i) \geq i-1$" for $i \in \{2, \ldots, n\}$ has a Normal asymptotic distribution. We further prove that this result translates into CLTs regarding multiplicities of fixed-size parts of a uniformly selected composition of $n$.
Quarter-Turn Baxter Permutations
Baxter permutations are known to be in bijection with a wide number of combinatorial objects. Previously, it was shown that each of these objects had a natural involution which was carried equivariantly by the known bijections, and the number of objects fixed under involution was given by Stembridge's $q=-1$ phenomenon. In this paper, we consider the order 4 action of a quarter-turn rotation of a Baxter permutation matrix, refining the half-turn rotation previously studied. Using the method of generating trees, we show that the number of Baxter permutations fixed under quarter-turn rotation has a very nice enumeration, which suggests the existence of a combinatorial bijection.
On cyclic descents for tableaux
Published
• View Publication
• BIB
The notion of descent set, for permutations as well as for standard Young tableaux (SYT), is classical. Cellini introduced a natural notion of {\em cyclic descent set} for permutations, and Rhoades introduced such a notion for SYT --- but only for rectangular shapes. In this work we define {\em cyclic extensions} of descent sets in a general context, and prove existence and essential uniqueness for SYT of almost all shapes. The proof applies nonnegativity properties of Postnikov's toric Schur polynomials, providing a new interpretation of certain Gromov-Witten invariants.