permutation ↗ reference
4849 papers tagged with this keyword
Maximal fillings of moon polyominoes, simplicial complexes, and Schubert polynomials
Published
• View Publication
• BIB
We exhibit a canonical connection between maximal (0,1)-fillings of a moon polyomino avoiding north-east chains of a given length and reduced pipe dreams of a certain permutation. Following this approach we show that the simplicial complex of such maximal fillings is a vertex-decomposable, and thus shellable, sphere. In particular, this implies a positivity result for Schubert polynomials. For Ferrers shapes, we moreover construct a bijection to maximal fillings avoiding south-east chains of the same length which specializes to a bijection between k-triangulations of the n-gon and k-fans of Dyck paths of length 2(n-2k). Using this, we translate a conjectured cyclic sieving phenomenon for k-triangulations with rotation to the language of k-flagged tableaux with promotion.
The Möbius function of partitions with restricted block size
Published in Advances in Applied Math. 39 (2007), 283--292
• Search Publication
We study filters in the partition lattice formed by restricting to partitions by type. The Möbius function is determined in terms of the easier-to-compute descent set statistics on permutations and the Möbius function of filters in the lattice of integer compositions. When the underlying integer partition is a knapsack partition, the Möbius function on integer compositions is determined by a topological argument. In this proof the permutahedron makes a cameo appearance.
Exponential Dowling structures
Published in European J Combinatorics, 30 (2009), 311--326
• View Publication
• BIB
The notion of exponential Dowling structures is introduced, generalizing Stanley's original theory of exponential structures. Enumerative theory is developed to determine the Möbius function of exponential Dowling structures, including a restriction of these structures to elements whose types satisfy a semigroup condition. Stanley's study of permutations associated with exponential structures leads to a similar vein of study for exponential Dowling structures. In particular, for the extended r-divisible partition lattice we show the Möbius function is, up to a sign, the number of permutations in the symmetric group on rn+k elements having descent set {r, 2r, ..., nr}. Using Wachs' original EL-labeling of the r-divisible partition lattice, the extended r-divisible partition lattice is shown to be EL-shellable.
Enumeration of $\C{H}$-strata in quantum matrices with respect to dimension
We present a combinatorial method to determine the dimension of $\C{H}$-strata in the algebra of $m\times n$ quantum matrices $\Oq$ as follows. To a given $\C{H}$-stratum we associate a certain permutation via the notion of pipe-dreams. We show that the dimension of the $\C{H}$-stratum is precisely the number of odd cycles in this permutation. Using this result, we are able to give closed formulas for the trivariate generating function that counts the $d$-dimensional $\C{H}$-strata in $\Oq$. Finally, we extract the coefficients of this generating function in order to settle conjectures proposed by the first and third named authors \cite{bldim,bll} regarding the asymptotic proportion of $d$-dimensional $\C{H}$-strata in $\Oq$.
Labeled Ballot Paths and the Springer Numbers
Published
• View Publication
• BIB
The Springer numbers are defined in connection with the irreducible root systems of type $B_n$, which also arise as the generalized Euler and class numbers introduced by Shanks. Combinatorial interpretations of the Springer numbers have been found by Purtill in terms of Andre signed permutations, and by Arnol'd in terms of snakes of type $B_n$. We introduce the inversion code of a snake of type $B_n$ and establish a bijection between labeled ballot paths of length n and snakes of type $B_n$. Moreover, we obtain the bivariate generating function for the number B(n,k) of labeled ballot paths starting at (0,0) and ending at (n,k). Using our bijection, we find a statistic $α$ such that the number of snakes $π$ of type $B_n$ with $α(π)=k$ equals B(n,k). We also show that our bijection specializes to a bijection between labeled Dyck paths of length 2n and alternating permutations on [2n].
A Spectral Approach to Consecutive Pattern-Avoiding Permutations
Published
• View Publication
• BIB
We consider the problem of enumerating permutations in the symmetric group on $n$ elements which avoid a given set of consecutive pattern $S$, and in particular computing asymptotics as $n$ tends to infinity. We develop a general method which solves this enumeration problem using the spectral theory of integral operators on $L^{2}([0,1]^{m})$, where the patterns in $S$ has length $m+1$. Kreĭn and Rutman's generalization of the Perron--Frobenius theory of non-negative matrices plays a central role. Our methods give detailed asymptotic expansions and allow for explicit computation of leading terms in many cases. As a corollary to our results, we settle a conjecture of Warlimont on asymptotics for the number of permutations avoiding a consecutive pattern.
Reduced decompositions and commutation classes
We study three aspects of commutation classes of reduced decompositions: the number of commutation classes, the structures of their corresponding graphs, and the enumeration of subnetworks, a concept recently introduced by Warrington [21]. Our bound for the number of commutation classes generalizes the works of Knuth[12], Green and Losonczy [7], and Tenner [19]. We analyze the structure of the graph G(w) using pattern avoidance, which provides an application of Tenner's characterization of vexillary permutations in [19]. We also discuss some connections between our work and recent developments in the strong Bruhat order and the higher Bruhat order.
The covering radius problem for sets of perfect matchings
Published in Discrete Mathematics 2015
• View Publication
• BIB
Consider the family of all perfect matchings of the complete graph $K_{2n}$ with $2n$ vertices. Given any collection $\mathcal M$ of perfect matchings of size $s$, there exists a maximum number $f(n,x)$ such that if $s\leq f(n,x)$, then there exists a perfect matching that agrees with each perfect matching in $\mathcal M$ in at most $x-1$ edges. We use probabilistic arguments to give several lower bounds for $f(n,x)$. We also apply the Lovász local lemma to find a function $g(n,x)$ such that if each edge appears at most $g(n, x)$ times then there exists a perfect matching that agrees with each perfect matching in $\mathcal M$ in at most $x-1$ edges. This is an analogue of an extremal result vis-á-vis the covering radius of sets of permutations, which was studied by Cameron and Wanless (cf. \cite{cameron}), and Keevash and Ku (cf. \cite{ku}). We also conclude with a conjecture of a more general problem in hypergraph matchings.
Pattern characterization of rationally smooth affine Schubert varieties of type A
Published
• View Publication
• BIB
Schubert varieties in finite dimensional flag manifolds G/P are a well-studied family of projective varieties indexed by elements of the corresponding Weyl group W. In particular, there are many tests for smoothness and rational smoothness of these varieties. One key result due to Lakshmibai-Sandhya is that in type A the smooth Schubert varieties are precisely those that are indexed by permutations that avoid the patterns 4231 and 3412. Recently, there has been a flurry of research related to the infinite dimensional analogs of flag manifolds corresponding with G being a Kac-Moody group and W being an affine Weyl group or parabolic quotient. In this paper we study the case when W is the affine Weyl group of type A or the affine permutations. We develop the notion of pattern avoidance for affine permutations. Our main result is a characterization of the rationally smooth Schubert varieties corresponding to affine permutations in terms of the patterns 4231 and 3412 and the twisted spiral permutations.
Partially 2-Colored Permutations and the Boros-Moll Polynomials
Published
• View Publication
• BIB
We find a combinatorial setting for the coefficients of the Boros-Moll polynomials $P_m(a)$ in terms of partially 2-colored permutations. Using this model, we give a combinatorial proof of a recurrence relation on the coefficients of $P_m(a)$. This approach enables us to give a combinatorial interpretation of the log-concavity of $P_m(a)$ which was conjectured by Moll and confirmed by Kauers and Paule.
On Two Bijections from S_n(321) to S_n(132)
Let S_n(321) (respectively, S_n(132)) denote the set of all permutations of {1,2,...,n} that avoid the pattern 321 (respectively, the pattern 132). Elizalde and Pak gave a bijection Theta from S_n(321) to S_n(132) that preserves the numbers of fixed points and excedances for each element of S_n(321), and commutes with the operation of taking inverses. Bloom and Saracino proved that another bijection Gamma from S_n(321) to S_n(132), introduced by Robertson, has the same properties, and they later gave a pictorial reformulation of Gamma that made these results more transparent. Here we give a pictorial reformulation of Theta, from which it follows that, although the original definitions of Theta and Gamma are very different, these two bijections are in fact related to each other in a very simple way, by using inversion, reversal, and complementation.
Young classes of permutations
We characterise those classes of permutations having the property that for every tableau shape either every permutation of that shape or no permutation of that shape belongs to the class. The characterisation is in terms of the dominance order for partitions (and their conjugates) and shows that for any such class there is a constant k such that no permutation in the class can contain both an increasing and a decreasing sequence of length k.
Enumeration of Restricted Partition Pairs and Permutation Pairs via 0-1 Tableaux
We use the 0-1 tableaux as a tool for enumerating permutations and partitions with restricted minima. The method used is extended for permutation pairs and partition pairs generated by a bipartite 0-1 tableaux.
Permutations and beta-shifts
Published
• View Publication
• BIB
Given a real number beta>1, a permutation pi of length n is realized by the beta-shift if there is some x in [0,1] such that the relative order of the sequence x,f(x),...,f^{n-1}(x), where f(x) is the factional part of beta*x, is the same as that of the entries of pi. Widely studied from such diverse fields as number theory and automata theory, beta-shifts are prototypical examples one-dimensional chaotic dynamical systems. When beta is an integer, permutations realized by shifts where studied in [SIAM J. Discrete Math. 23 (2009), 765-786]. In this paper we generalize some of the results to arbitrary beta-shifts. We describe a method to compute, for any given permutation pi, the smallest beta such that pi is realized by the beta-shift. We also give a way to determine the length of the shortest forbidden (i.e., not realized) pattern of an arbitrary beta-shift.
Crossings, Motzkin paths and Moments
Published in Discrete Mathematics 311(18-19) (2011), 2064--2078
• View Publication
• BIB
Kasraoui, Stanton and Zeng, and Kim, Stanton and Zeng introduced certain $q$-analogues of Laguerre and Charlier polynomials. The moments of these orthogonal polynomials have combinatorial models in terms of crossings in permutations and set partitions. The aim of this article is to prove simple formulas for the moments of the $q$-Laguerre and the $q$-Charlier polynomials, in the style of the Touchard-Riordan formula (which gives the moments of some $q$-Hermite polynomials, and also the distribution of crossings in matchings). Our method mainly consists in the enumeration of weighted Motzkin paths, which are naturally associated with the moments. Some steps are bijective, in particular we describe a decomposition of paths which generalises a previous construction of Penaud for the case of the Touchard-Riordan formula. There are also some non-bijective steps using basic hypergeometric series, and continued fractions or, alternatively, functional equations.
Minimal Diagrams of Free Knots
Published in Journal of Knot Theory and Its Ramifications Vol. 23, No. 06 (2014)
• View Publication
• BIB
Manturov recently introduced the idea of a free knot, i.e. an equivalence class of virtual knots where equivalence is generated by crossing change and virtualization moves. He showed that if a free knot diagram is associated to a graph that is irreducibly odd, then it is minimal with respect to the number of classical crossings. Not all minimal diagrams of free knots are associated to irreducibly odd graphs, however. We introduce a family of free knot diagrams that arise from certain permutations that are minimal but not irreducibly odd.
A bijection to count (1-23-4)-avoiding permutations
A permutation is (1-23-4)-avoiding if it contains no four entries, increasing left to right, with the middle two adjacent in the permutation. Here we give a 2-variable recurrence for the number of such permutations, improving on the previously known 4-variable recurrence. At the heart of the proof is a bijection from (1-23-4)-avoiding permutations to increasing ordered trees whose leaves, taken in preorder, are also increasing.
The Homomorphism Poset of K_{2,n}
Published in Australasian Journal of Combinatorics, Vol. 57, (2013): pp. 79 - 108
• Search Publication
A geometric graph is a simple graph G together with a straight line drawing of G in the plane with the vertices in general position. Two geometric realizations of a simple graph are geo-isomorphic if there is a vertex bijection between them that preserves vertex adjacencies and non-adjacencies, as well as edge crossings and non-crossings. A natural extension of graph homomorphisms, geo-homomorphisms, can be used to define a partial order on the set of geo-isomorphism classes of realizations of a given simple graph. In this paper, the homomorphism poset of the complete bipartite graph K_{2,n} is determined by establishing a correspondence between realizations of K_{2,n} and permutations of S_n, in which crossing edges correspond to inversions. Through this correspondence, geo-isomorphism defines an equivalence relation on S_n, which we call geo-equivalence. The number of geo-isomorphism classes is provided for all n <= 9. The modular decomposition tree of permutation graphs is used to prove some results on the size of geo-equivalence classes. A complete list of geo-equivalence classes and a Hasse diagrams of the poset structure are given for n <= 5.
Moments of an exponential functional of random walks and permutations with given descent sets
Published in Periodica Mathematica Hungarica, Volume 49, Number 1 (2004)
• View Publication
• BIB
The exponential functional of simple, symmetric random walks with negative drift is an infinite polynomial $Y = 1 + ξ_1 + ξ_1 ξ_2 + ξ_1 ξ_2 ξ_3 + ...$ of independent and identically distributed non-negative random variables. It has moments that are rational functions of the variables $μ_k = \ev(ξ^k) < 1$ with universal coefficients. It turns out that such a coefficient is equal to the number of permutations with descent set defined by the multiindex of the coefficient. A recursion enumerates all numbers of permutations with given descent sets in the form of a Pascal-type triangle.
Deformations of permutation representations of Coxeter groups
Published
• View Publication
• BIB
The permutation representation afforded by a Coxeter group W acting on the cosets of a standard parabolic subgroup inherits many nice properties from W such as a shellable Bruhat order and a flat deformation over Z[q] to a representation of the corresponding Hecke algebra. In this paper we define a larger class of ``quasiparabolic" subgroups (more generally, quasiparabolic W-sets), and show that they also inherit these properties. Our motivating example is the action of the symmetric group on fixed-point-free involutions by conjugation.