permutation ↗ reference
4849 papers tagged with this keyword
Modified Growth Diagrams, Permutation Pivots, and the BXW map $φ^*$
Published
• View Publication
• BIB
In their paper [1] on Wilf-equivalence for singleton classes, Backelin, Xin, and West introduce a transformation $φ^*$, defined by an iterative process and operating on (all) full rook placements on Ferrers boards. In [3], Bousquet-M$\acute{\textrm{e}}$lou and Steingr$\acute{\textrmı}$msson prove the analogue of the main result of [1] in the context of involutions, and in so doing they must prove that $φ^*$ commutes with the operation of taking inverses. The proof of this commutation result is long and difficult, and Bousquet-M$\acute{\textrm{e}}$lou and Steingr$\acute{\textrmı}$msson ask if $φ^*$ might be reformulated in such a way as to make this result obvious. In the present paper we provide such a reformulation of $φ^*$, by modifying the growth diagram algorithm of Fomin [4,5]. This also answers a question of Krattenthaler [6, problem 4], who notes that a bijection defined by the unmodified Fomin algorithm obviously commutes with inverses, and asks what the connection is between this bijection and $φ^*$.
The Möbius function of the consecutive pattern poset
Published
• View Publication
• BIB
An occurrence of a consecutive permutation pattern $p$ in a permutation $π$ is a segment of consecutive letters of $π$ whose values appear in the same order of size as the letters in $p$. The set of all permutations forms a poset with respect to such pattern containment. We compute the Möbius function of intervals in this poset, providing what may be called a complete solution to the problem. For most intervals our results give an immediate answer to the question. In the remaining cases, we give a polynomial time algorithm to compute the Möbius function. In particular, we show that the Möbius function only takes the values -1, 0 and 1.
Avoiding Colored Partitions of Lengths Two and Three
Pattern avoidance in the symmetric group $S_n$ has provided a number of useful connections between seemingly unrelated problems from stack-sorting to Schubert varieties. Recent work has generalized these results to $S_n\wr C_c$, the objects of which can be viewed as "colored permutations".
Another body of research that has grown from the study of pattern avoidance in permutations is pattern avoidance in $Π_n$, the set of set partitions of $[n]$. Pattern avoidance in set partitions is a generalization of the well-studied notion of noncrossing partitions.
Motivated by recent results in pattern avoidance in $S_n \wr C_c$ we provide a catalog of initial results for pattern avoidance in colored partitions, $Π_n \wr C_c$. We note that colored set partitions are not a completely new concept. \emph{Signed} (2-colored) set partitions appear in the work of Björner and Wachs involving the homology of partition lattices. However, we seek to study these objects in a new enumerative context.
Counting (3+1) - Avoiding permutations
A poset is {\it $(\3+\1)$-free} if it contains no induced subposet isomorphic to the disjoint union of a 3-element chain and a 1-element chain. These posets are of interest because of their connection with interval orders and their appearance in the $(\3+\1)$-free Conjecture of Stanley and Stembridge. The dimension 2 posets $P$ are exactly the ones which have an associated permutation $π$ where $i\prec j$ in $P$ if and only if $i<j$ as integers and $i$ comes before $j$ in the one-line notation of $π$. So we say that a permutation $π$ is {\it $(\3+\1)$-free} or {\it $(\3+\1)$-avoiding} if its poset is $(\3+\1)$-free. This is equivalent to $π$ avoiding the permutations 2341 and 4123 in the language of pattern avoidance. We give a complete structural characterization of such permutations. This permits us to find their generating function.
On Volumes of Permutation Polytopes
Published
• View Publication
• BIB
This paper focuses on determining the volumes of permutation polytopes associated to cyclic groups, dihedral groups, groups of automorphisms of tree graphs, and Frobenius groups. We do this through the use of triangulations and the calculation of Ehrhart polynomials. We also present results on the theta body hierarchy of various permutation polytopes.
Permutation Complexity and the Letter Doubling Map
Published
• View Publication
• BIB
Given a countable set X (usually taken to be N or Z), an infinite permutation $π$ of X is a linear ordering $<_π$ of X. This paper investigates the combinatorial complexity of infinite permutations on N associated with the image of uniformly recurrent aperiodic binary words under the letter doubling map. An upper bound for the complexity is found for general words, and a formula for the complexity is established for the Sturmian words and the Thue-Morse word.
Cycle structure of random permutations with cycle weights
Published in Random Structures & Algorithms 44, 109-133 (2014)
• View Publication
• BIB
We investigate the typical cycle lengths, the total number of cycles, and the number of finite cycles in random permutations whose probability involves cycle weights. Typical cycle lengths and total number of cycles depend strongly on the parameters, while the distributions of finite cycles are usually independent Poisson random variables.
Two local conditions on the vertex stabiliser of arc-transitive graphs and their effect on the Sylow subgroups
Published
• View Publication
• BIB
In this paper we study $G$-arc-transitive graphs $Δ$ where the permutation group $G_x^{Δ(x)}$ induced by the stabiliser $G_x$ of the vertex $x$ on the neighbourhood $Δ(x)$ satisfies the two conditions given in the introduction. We show that for such a $G$-arc-transitive graph $Δ$, if $(x,y)$ is an arc of $Δ$, then the subgroup $G_{x,y}^{[1]}$ of $G$ fixing pointwise $Δ(x)$ and $Δ(y)$ is a $p$-group for some prime $p$. Next we prove that every $G$-locally primitive (respectively quasiprimitive, semiprimitive) graph satisfies our two local hypotheses. Thus this provides a new Thompson-Wielandt-like theorem for a very large class of arc-transitive graphs.
Furthermore, we give various families of $G$-arc-transitive graphs where our two local conditions do not apply and where $G_{x,y}^{[1]}$ has arbitrarily large composition factors.
Mesh patterns and the expansion of permutation statistics as sums of permutation patterns
Published
• View Publication
• BIB
Any permutation statistic $f:\sym\to\CC$ may be represented uniquely as a, possibly infinite, linear combination of (classical) permutation patterns: $f= Σ_τλ_f(τ)τ$. To provide explicit expansions for certain statistics, we introduce a new type of permutation patterns that we call mesh patterns. Intuitively, an occurrence of the mesh pattern $p=(π,R)$ is an occurrence of the permutation pattern $π$ with additional restrictions specified by $R$ on the relative position of the entries of the occurrence. We show that, for any mesh pattern $p=(π,R)$, we have $λ_p(τ) = (-1)^{|τ|-|π|}p^{\star}(τ)$ where $p^{\star}=(π,R^c)$ is the mesh pattern with the same underlying permutation as $p$ but with complementary restrictions. We use this result to expand some well known permutation statistics, such as the number of left-to-right maxima, descents, excedances, fixed points, strong fixed points, and the major index. We also show that alternating permutations, André permutations of the first kind and simsun permutations occur naturally as permutations avoiding certain mesh patterns. Finally, we provide new natural Mahonian statistics.
Pattern Matching in the Cycle Structure of Permutations
In this paper, we study the occurrence of patterns in the cycle structures of permutations.
A refinement of weak order intervals into distributive lattices
Published
• View Publication
• BIB
In this paper we consider arbitrary intervals in the left weak order on the symmetric group $S_n$. We show that the Lehmer codes of permutations in an interval form a distributive lattice under the product order. Furthermore, the rank-generating function of this distributive lattice matches that of the weak order interval. We construct a poset such that its lattice of order ideals is isomorphic to the lattice of Lehmer codes of permutations in the given interval. We show that there are at least $\left(\lfloor\frac{n}{2}\rfloor\right)!$ permutations in $S_n$ that form a rank-symmetric interval in the weak order.
Computational Approaches to Consecutive Pattern Avoidance in Permutations
In recent years, there has been increasing interest in consecutive pattern avoidance in permutations. In this paper, we introduce two approaches to counting permutations that avoid a set of prescribed patterns consecutively. These algoritms have been implemented in the accompanying Maple package CAV, which can be downloaded from the author's website. As a byproduct of the first algorithm, we have a theorem giving a sufficient condition for when two pattern sets are strongly (consecutively) Wilf-Equivalent. For the implementation of the second algorithm, we define the cluster tail generating function and show that it always satisfies a certain functional equation. We also explain how the CAV package can be used to approximate asymptotic constants for single pattern avoidance.
Analogs of the van der Waerden and Tverberg conjectures for haffnians
We discuss here analogs of van der Waerden and Tverberg permanent conjectures for haffnians on the convex set of matrices whose extreme points are symmetric permutation matrices with zero diagonal.
1234-avoiding permutations and Dyck paths
Published
• View Publication
• BIB
We define a map $ν$ between the symmetric group $S_n$ and the set of pairs of Dyck paths of semilength $n$. We show that the map $ν$ is injective when restricted to the set of 1234-avoiding permutations and characterize the image of this map.
The Moebius function of separable and decomposable permutations
Published
• View Publication
• BIB
We give a recursive formula for the Moebius function of an interval $[σ,π]$ in the poset of permutations ordered by pattern containment in the case where $π$ is a decomposable permutation, that is, consists of two blocks where the first one contains all the letters 1, 2, ..., k for some k. This leads to many special cases of more explicit formulas. It also gives rise to a computationally efficient formula for the Moebius function in the case where $σ$ and $π$ are separable permutations. A permutation is separable if it can be generated from the permutation 1 by successive sums and skew sums or, equivalently, if it avoids the patterns 2413 and 3142. A consequence of the formula is that the Moebius function of such an interval $[σ,π]$ is bounded by the number of occurrences of $σ$ as a pattern in $π$. We also show that for any separable permutation $π$ the Moebius function of $(1,π)$ is either 0, 1 or -1.
Frobenius polytopes
A real representation of a finite group naturally determines a polytope, generalizing the well-known Birkhoff polytope. This paper determines the structure of the polytope corresponding to the natural permutation representation of a general Frobenius group.
On graph-restrictive permutation groups
Let $Γ$ be a connected $G$-vertex-transitive graph, let $v$ be a vertex of $Γ$ and let $L=G_v^{Γ(v)}$ be the permutation group induced by the action of the vertex-stabiliser $G_v$ on the neighbourhood $Γ(v)$. Then $(Γ,G)$ is said to be \emph{locally-$L$}. A transitive permutation group $L$ is \emph{graph-restrictive} if there exists a constant $c(L)$ such that, for every locally-$L$ pair $(Γ,G)$ and an arc $(u,v)$ of $Γ$, the inequality $|G_{uv}|\leq c(L)$ holds.
Using this terminology, the Weiss Conjecture says that primitive groups are graph-restrictive. We propose a very strong generalisation of this conjecture: a group is graph-restrictive if and only if it is semiprimitive. (A transitive permutation group is said to be \emph{semiprimitive} if each of its normal subgroups is either transitive or semiregular.) Our main result is a proof of one of the two implications of this conjecture, namely that graph-restrictive groups are semiprimitive. We also collect the known results and prove some new ones regarding the other implication.
Automatic Generation of Theorems and Proofs on Enumerating Consecutive-Wilf classes
Published
• View Publication
• BIB
This article, dedicated to Herbert Saul Wilf on the occaison of his forthcoming 80-th birthday, describes two complementary approaches to enumeration, the "positive" and the "negative", each with its advantages and disadvantages. Both approaches are amenable to automation, and when applied to the currently active subarea, initiated in 2003 by Sergi Elizalde and Marc Noy, of enumerating consecutive-Wilf classes (i.e. consecutive pattern-avoidance) in permutations, were successfully pursued by DZ's two current PhD students, Andrew Baxter and Brian Nakamura. The Maple packages SERGI and ELIZALDE, implementing the algorithms enable the computer to "do research" by deriving, "all by itself", functional equations for the generating functions that enable polynomial-time enumeration for any set of patterns. In the case of ELIZALDE (the "negative" approach), these functional equations can be sometimes (automatically!) simplified, and imply "explicit" formulas, that previously were derived by humans using ad-hoc methods. We also get lots of new "explicit" results, beyond the scope of humans, but we have to admit, that we still need humans to handle "infinite families" of patterns, but this too, no doubt, will soon be automatable, and we leave it as a challenge to the (human and/or computer) reader. The Maple packages, and lots of sample output, is available from the webpage of this article: http://www.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/auto.html
Direct bijective computation of the generating series for 2 and 3-connection coefficients of the symmetric group
Published
• View Publication
• BIB
We evaluate combinatorially certain connection coefficients of the symmetric group that count the number of factorizations of a long cycle as a product of three permutations. Such factorizations admit an important topological interpretation in terms of unicellular constellations on orientable surfaces. Algebraic computation of these coefficients was first done by Jackson using irreducible characters of the symmetric group. However, bijective computations of these coefficients are so far limited to very special cases. Thanks to a new bijection that refines the work of Schaeffer and Vassilieva, and Vassilieva, we give an explicit closed form evaluation of the generating series for these coefficients. The main ingredient in the bijection is a modified oriented tricolored tree tractable to enumerate. Finally, reducing this bijection to factorizations of a long cycle into two permutations, we get the analogue formula for the corresponding generating series.
Nontrivial independent sets of bipartite graphs and cross-intersecting families
Published
• View Publication
• BIB
Let $G(X,Y)$ be a connected, non-complete bipartite graph with $|X|\leq |Y|$. An independent set $A$ of $G(X,Y)$ is said to be trivial if $A\subseteq X$ or $A\subseteq Y$. Otherwise, $A$ is nontrivial. By $α(X,Y)$ we denote the size of maximal-sized nontrivial independent sets of $G(X,Y)$. We prove that if the automorphism group of $G(X,Y)$ is transitive on $X$ and $Y$, then $α(X,Y)=|Y|-d(X)+1$, where $d(X)$ is the common degree of vertices in $X$. We also give the structures of maximal-sized nontrivial independent sets of $G(X,Y)$. As applications of this result, we give the upper bound of sizes of two cross-$t$-intersecting families of finite sets, finite vector spaces and permutations.