permutation ↗ reference
4847 papers tagged with this keyword
Structure of the Malvenuto-Reutenauer Hopf algebra of permutations
Published in Adv. Math., 191 (2005), no. 2, 225--275
• View Publication
• BIB
We analyze the structure of the Malvenuto-Reutenauer Hopf algebra of permutations in detail. We give explicit formulas for its antipode, prove that it is a cofree coalgebra, determine its primitive elements and its coradical filtration, and show that it decomposes as a crossed product over the Hopf algebra of quasi-symmetric functions. In addition, we describe the structure constants of the multiplication as a certain number of facets of the permutahedron. As a consequence we obtain a new interpretation of the product of monomial quasi-symmetric functions in terms of the facial structure of the cube. The Hopf algebra of Malvenuto and Reutenauer has a linear basis indexed by permutations. Our results are obtained from a combinatorial description of the Hopf algebraic structure with respect to a new basis for this algebra, related to the original one via Möbius inversion on the weak order on the symmetric groups. This is in analogy with the relationship between the monomial and fundamental bases of the algebra of quasi-symmetric functions. Our results reveal a close relationship between the structure of the Malvenuto-Reutenauer Hopf algebra and the weak order on the symmetric groups.
Restricted Permutations, Fibonacci Numbers, and k-generalized Fibonacci Numbers
A permutation $π\in S_n$ is said to {\it avoid} a permutation $σ\in S_k$ whenever $π$ contains no subsequence with all of the same pairwise comparisons as $σ$. For any set $R$ of permutations, we write $S_n(R)$ to denote the set of permutations in $S_n$ which avoid every permutation in $R$. In 1985 Simion and Schmidt showed that $|S_n(132, 213, 123)|$ is equal to the Fibonacci number $F_{n+1}$. In this paper we generalize this result in several ways. We first use a result of Mansour to show that for any permutation $τ$ in a certain infinite family of permutations, $|S_n(132, 213, τ)|$ is given in terms of Fibonacci numbers or $k$-generalized Fibonacci numbers. In many cases we give explicit enumerations, which we prove bijectively. We then use generating function techniques to show that for any permutation $γ$ in a second infinite family of permutations, $|S_n(123, 132, γ)|$ is also given in terms of Fibonacci numbers or $k$-generalized Fibonacci numbers. In many cases we give explicit enumerations, some of which we prove bijectively. We go on to use generating function techniques to show that for any permutation $ω$ in a third infinite family of permutations, $|S_n(132, 2341, ω)|$ is given in terms of Fibonacci numbers, and for any permutation $μ$ in a fourth infinite family of permutations, $|S_n(132, 3241, μ)|$ is given in terms of Fibonacci numbers and $k$-generalized Fibonacci numbers. In several cases we give explicit enumerations. We conclude by giving an infinite class of examples of a set $R$ of permutations for which $|S_n(R)|$ satisfies a linear homogeneous recurrence relation with constant coefficients.
Structure of the Malvenuto-Reutenauer Hopf algebra of permutations (Extended Abstract)
We analyze the structure of the Malvenuto-Reutenauer Hopf algebra of permutations in detail. We give explicit formulas for its antipode, prove that it is a cofree coalgebra, determine its primitive elements and its coradical filtration and show that it decomposes as a crossed product over the Hopf algebra of quasi-symmetric functions. We also describe the structure constants of the multiplication as a certain number of facets of the permutahedron. Our results reveal a close relationship between the structure of this Hopf algebra and the weak order on the symmetric groups.
Refined Restricted Permutations
Published
• View Publication
• BIB
Define $S_n^k(α)$ to be the set of permutations of $\{1,2,...,n\}$ with exactly $k$ fixed points which avoid the pattern $α\in S_m$. Let $s_n^k(α)$ be the size of $S_n^k(α)$. We investigate $S_n^0(α)$ for all $α\in S_3$ as well as show that $s_n^k(132)=s_n^k(213)=s_n^k(321)$ and $s_n^k(231)=s_n^k(312)$ for all $0 \leq k \leq n$.
Lower bounds for Kazhdan-Lusztig polynomials from patterns
Published
• View Publication
• BIB
We give a lower bound for the value at q=1 of a Kazhdan-Lustig polynomial in a Weyl group W in terms of "patterns''. This is expressed by a "pattern map" from W to W' for any parabloic subgroup W'. This notion generalizes the concept of patterns and pattern avoidance for permutations to all Weyl groups. The main tool of the proof is a "hyperbolic localization" on intersection cohomology; see the related paper http://front.math.ucdavis.edu/math.AG/0202251
The centralizer of two numbers under the natural action of $S_k$ on [k], the maximal parabolic subgroup of $S_k$, and generalized patterns
A natural generalization of single pattern avoidance is subset avoidance. A complete study of subset avoidance for the case k=3 is carried out in [SS]. For k>3 situation becomes more complicated, as the number of possible cases grows rapidly. Recently, several authors have considered the case of general k when T has some nice algebraic properties. Barcucci, Del Lungo, Pergola, and Pinzani in [BDPP) treated the case when $T=T_1$ is the centralizer of k-1 and k under the natural action of $S_k$ on [k]. Mansour and Vainshtein in [MVp] treated the case when $T=T_2$ is maximal parabolic group of $S_k$.
Recently, Babson and Steingrimsson (see [BS]) introduced generalized permutations patterns that allow the requirement that two adjacent letters in a pattern must be adjacent in the permutation.
In this paper we present an analogue with generalization for the case $T_1$ and for the case $T_2$ by using generalized patterns instead of classical patterns.
Restricted permutations by patterns of type $(2,1)$
Recently, Babson and Steingrimsson (see \cite{BS}) introduced generalized permutations patterns that allow the requirement that two adjacent letters in a pattern must be adjacent in the permutation.
In this paper we study the generating functions for the number of permutations on $n$ letters avoiding a generalized pattern $ab\mn c$ where $(a,b,c)\in S_3$, and containing a prescribed number of occurrences of generalized pattern $cd\mn e$ where $(c,d,e)\in S_3$. As a consequence, we derive all the previously known results for this kind of problems, as well as many new results.
Permutations containing a pattern exactly once and avoiding at least two patterns of three letters
In this paper, we find an explicit formulas, or recurrences, in terms of generating functions for the cardinalities of the sets $S_n(T;τ)$ of all permutations in $S_n$ that contain $τ\in S_k$ exactly once and avoid a subset $T\subseteq S_3$, $|T|\geq2$. The main body of the paper is divided into three sections corresponding to the cases $|T|=2,3$ and $|T|\geq4$.
Restricted 132-Involutions and Chebyshev Polynomials
We study generating functions for the number of involutions in $S_n$ avoiding (or containing once) 132, and avoiding (or containing once) an arbitrary permutation $τ$ on $k$ letters. In several interesting cases the generating function depends only on $k$ and is expressed via Chebyshev polynomials of the second kind. In particular, we establish that involutions avoiding both 132 and $12... k$ have the same enumerative formula according to the length than involutions avoiding both 132 and any {\em double-wedge pattern} possibly followed by fixed points of total length $k$. Many results are also shown with a combinatorial point of view.
Permutation group algebras
Published in J. Alg. Combinatorics, 19 (2004), pp. 25--45
• Search Publication
We consider the permutation group algebra defined by Cameron and show that if the permutation group has no finite orbits, then no homogeneous element of degree one is a zero-divisor of the algebra. We proceed to make a conjecture which would show that the algebra is an integral domain if, in addition, the group is oligomorphic. We go on to show that this conjecture is true in certain special cases, including those of the form H Wr S and H Wr A, and show that in the oligormorphic case, the algebras corresponding to these special groups are polynomial algebras. In the H Wr A case, the algebra is related to the shuffle algebra of free Lie algebra theory. We finish by considering some integer sequences which arise from certain of these groups.
On 321-avoiding permutations in affine Weyl groups
Published
• View Publication
• BIB
We introduce the notion of 321-avoiding permutations in the affine Weyl group $W$ of type $A_{n-1}$ by considering the group as a George group (in the sense of Eriksson and Eriksson). This enables us to generalize a result of Billey, Jockusch and Stanley to show that the 321-avoiding permutations in $W$ coincide with the set of fully commutative elements; in other words, any two reduced expressions for a 321-avoiding element of $W$ (considered as a Coxeter group) may be obtained from each other by repeated applications of short braid relations.
Using Shi's characterization of the Kazhdan--Lusztig cells in the group $W$, we use our main result to show that the fully commutative elements of $W$ form a union of Kazhdan--Lusztig cells. This phenomenon has been studied by the author and J. Losonczy for finite Coxeter groups, and is interesting partly because it allows certain structure constants for the Kazhdan--Lusztig basis of the associated Hecke algebra to be computed combinatorially.
We also show how some of our results can be generalized to a larger group of permutations, the extended affine Weyl group associated to $GL_n({\Bbb C})$.
A derivation of the Catalan numbers from a bijection between permutations and labeled trees
We present an algorithmic mapping from permutations of length dn to labeled n-node d-ary trees and back again. Given such a bijection, one can interpret each of the factorials in the formula for the Catalan numbers as a count of permutations.
Enumeration of permutations containing a prescribed number of occurrences of a pattern of length 3
Published
• View Publication
• BIB
We consider the problem of enumerating the permutations containing exactly $k$ occurrences of a pattern of length 3. This enumeration has received a lot of interest recently, and there are a lot of known results. This paper presents an alternative approach to the problem, which yields a proof for a formula which so far only was conjectured (by Noonan and Zeilberger). This approach is based on bijections from permutations to certain lattice paths with ``jumps'', which were first considered by Krattenthaler.
The Floyd-Warshall Algorithm, the AP and the TSP, Part II
In math.CO/0111309, we used admissible permutations and a variant of the Floyd-Warshall Algorithm to obtain an optimal solution to the Assignment Problem and an approximate solution to the Traveling Salesman Problem. Here we give a large, detailed illustration of how the algorithms are applied.
Coloured permutations containing and avoiding certain patterns
Published
• View Publication
• BIB
Following Mansour, let $S_n^{(r)}$ be the set of all coloured permutations on the symbols $1,2,...,n$ with colours $1,2,...,r$, which is the analogous of the symmetric group when r=1, and the hyperoctahedral group when r=2. Let $I\subseteq\{1,2,...,r\}$ be subset of d colours; we define $T_{k,r}^m(I)$ be the set of all coloured permutations $φ\in S_k^{(r)}$ such that $φ_1=m^{(c)}$ where $c\in I$. We prove that, the number $T_{k,r}^m(I)$-avoiding coloured permutations in $S_n^{(r)}$ equals $(k-1)!r^{k-1}\prod_{j=k}^n h_j$ for $n\geq k$ where $h_j=(r-d)j+(k-1)d$. We then prove that for any $φ\in T_{k,r}^1(I)$ (or any $φ\in T_{k,r}^k(I)$), the number of coloured permutations in $S_n^{(r)}$ which avoid all patterns in $T_{k,r}^1(I)$ (or in $T_{k,r}^k(I)$) except for $φ$ and contain $φ$ exactly once equals $\prod_{j=k}^n h_j\cdot \sum_{j=k}^n \frac{1}{h_j}$ for $n\geq k$. Finally, for any $φ\in T_{k,r}^m(I)$, $2\leq m\leq k-1$, this number equals $\prod_{j=k+1}^n h_j$ for $n\geq k+1$. These results generalize recent results due to Mansour, and due to Simion.
The Floyd-Warshall Algorithm, the AP and the TSP
We use admissible permutations and a variant of the Floyd-Warshall algorithm to obtain an optimal solution to the Assignment Problem. Using another variant of the F-W algorithm, we obtain an approximate solution to the Traveling Salesman Problem. We also give a sufficient condition for the approximate solution to be an optimal solution.
EL-labelings, Supersolvability and 0-Hecke Algebra Actions on Posets
Published in Journal of Combinatorial Theory (Series A) 101 (2003), 69-89
• View Publication
• BIB
We show that a finite graded lattice of rank n is supersolvable if and only if it has an EL-labeling where the labels along any maximal chain form a permutation. We call such a labeling an S_n EL-labeling and we consider finite graded posets of rank n with unique top and bottom elements that have an S_n EL-labeling. We describe a type A 0-Hecke algebra action on the maximal chains of such posets. This action is local and gives a representation of these Hecke algebras whose character has characteristic that is closely related to Ehrenborg's flag quasi-symmetric function. We ask what other classes of posets have such an action and in particular we show that finite graded lattices of rank n have such an action if and only if they have an S_n EL-labeling.
Nouvelles statistiques de partitions pour les q-nombres de Stirling de seconde espece
Published
• View Publication
• BIB
Steingrimsson has recently introduced a partition analogue of Foata-Zeilberger's mak statistic for permutations and conjectured that its generating function is equal to the classical q-Stirling numbers of second kind. In this paper we prove a generalization of Steingrimsson's conjecture.
Integrals over Grassmannians and Random permutations
Published
• View Publication
• BIB
In testing the independence of two Gaussian populations, one computes the distribution of the sample canonical correlation coefficients, given that the actual correlation is zero. The "Laplace transform" of this distribution is not only an integral over the Grassmannian of p-dimensional planes in complex n-space, but is also related to a generalized hypergeometric function. Such integrals are solutions of Painlevé-like equations. They also have expansions, related to random words of length l formed with an alphabet of p letters. Given that each letter appears in the word, the maximal length of the disjoint union of p increasing subsequences of the word clearly equals l. But the maximal length of the disjoint union of p-1 increasing subsequences leads to a non-trivial distribution. It is precisely this probability which appears in the expansion above.
Gröbner geometry of Schubert polynomials
Published in Annals of Mathematics 161 (May 2005), 1245-1318
• View Publication
• BIB
Our main theorems provide a single geometric setting in which polynomial representatives for Schubert classes in the integral cohomology ring of the flag manifold are determined uniquely, and have positive coefficients for geometric reasons. This results in a geometric explanation for the naturality of Schubert polynomials and their associated combinatorics.
Given a permutation w in S_n, we consider a determinantal ideal I_w whose generators are certain minors in the generic n x n matrix (filled with independent variables). Using `multidegrees' as simple algebraic substitutes for torus-equivariant cohomology classes on vector spaces, our main theorems describe, for each ideal I_w:
- variously graded multidegrees and Hilbert series in terms of ordinary and double Schubert and Grothendieck polynomials;
- a Gröbner basis consisting of minors in the generic n x n matrix;
- the Stanley-Reisner complex of the initial ideal in terms of known combinatorial diagrams associated to permutations in S_n; and
- a procedure inductive on weak Bruhat order for listing the facets of this complex, thereby generating the coefficients of Schubert polynomials by a positive recursion on combinatorial diagrams.
We show that the initial ideal is Cohen-Macaulay, by identifying the Stanley-Reisner complex as a special kind of ``subword complex in S_n'', which we define generally for arbitrary Coxeter groups, and prove to be shellable by giving an explicit vertex decomposition. We also prove geometrically a general positivity statement for multidegrees of subschemes.