permutation ↗ reference
4849 papers tagged with this keyword
Mind Switches in Futurama and Stargate
Published in Math. Magazine 87 (2014) 252--262
• View Publication
• BIB
Let P be a permutation expressed as a product of nontrivial disjoint cycles. When writing P as a product of distinct transpositions none equal to a factor of P, what is the smallest number of transpositions that can be used? We answer this question and give applications to mind-switching problems that have arisen in connection with the popular sci-fi television series Futurama and Stargate SG-1.
On the Spectra of Simplicial Rook Graphs
Published
• View Publication
• BIB
The \emph{simplicial rook graph} SR(d,n) is the graph whose vertices are the lattice points in the $n$th dilate of the standard simplex in $\mathbb{R}^d$, with two vertices adjacent if they differ in exactly two coordinates. We prove that the adjacency and Laplacian matrices of SR(3,n) have integral spectrum for every $n$. The proof proceeds by calculating an explicit eigenbasis. We conjecture that SR(d,n) is integral for all $d$ and $n$, and present evidence in support of this conjecture. For $n<\binom{d}{2}$, the evidence indicates that the smallest eigenvalue of the adjacency matrix is $-n$, and that the corresponding eigenspace has dimension given by the Mahonian numbers, which enumerate permutations by number of inversions.
A Bijection for Crossings and Nestings
For a subclass of matchings, set partitions, and permutations, we describe a direct bijection involving only arc annotated diagrams that not only interchanges maximum nesting and crossing numbers, but also all refinements of crossing and nesting numbers. Furthermore, we show that the bijection cannot be applied to a similar class of coloured arc annotated diagrams.
Using Noonan-Zeilberger Functional Equations to enumerate (in Polynomial Time!) Generalized Wilf classes
Published
• View Publication
• BIB
One of the most challenging problems in enumerative combinatorics is to count Wilf classes, where you are given a pattern, or set of patterns, and you are asked to find a "formula", or at least an efficient algorithm, that inputs a positive integer n and outputs the number of permutations avoiding that pattern.
In 1996, John Noonan and Doron Zeilberger initiated the counting of permutations that have a prescribed, r, say, occurrences of a given pattern. They gave an ingenious method to generate Functional Equations, alas, with an unbounded number of "catalytic variables", but then described a clever way, using multivariable calculus, how to get enumeration schemes. Alas, their method becomes very complicated for r larger than 1. In the present article we describe a far simpler way to squeeze the necessary information, in polynomial time, for increasing patterns of any length, and for any number of occurrences, r.
On the Best Upper Bound for Permutations Avoiding A Pattern of a Given Length
Numerical evidence suggests that certain permutation patterns of length k are easier to avoid than any other patterns of that same length. We prove that these patterns are avoided by no more than (2.25k^2)^n permutations of length n. In light of this, we conjecture that no pattern of length k is avoided by more than that many permutations of length n.
Tower Tableaux
We introduce a new combinatorial object called tower diagrams and prove fundamental properties of these objects. We also introduce an algorithm that allows us to slide words to tower diagrams. We show that the algorithm is well-defined only for reduced words which makes the algorithm a test for reducibility. Using the algorithm, a bijection between tower diagrams and finite permutations is obtained and it is shown that this bijection specializes to a bijection between certain labellings of a given tower diagram and reduced expressions of the corresponding permutation.
Collineation group as a subgroup of the symmetric group
Published in Cent. Eur. J. Math. 11(1), 2013, 17-26
• View Publication
• BIB
Let $Ψ$ be the projectivization (i.e., the set of one-dimensional vector subspaces) of a vector space of dimension $\ge 3$ over a field. Let $H$ be a closed (in the pointwise convergence topology) subgroup of the permutation group $\mathfrak{S}_Ψ$ of the set $Ψ$. Suppose that $H$ contains the projective group and an arbitrary self-bijection of $Ψ$ transforming a triple of collinear points to a non-collinear triple. It is well-known from \cite{KantorMcDonough} that if $Ψ$ is finite then $H$ contains the alternating subgroup $\mathfrak{A}_Ψ$ of $\mathfrak{S}_Ψ$.
We show in Theorem \ref{density} below that $H=\mathfrak{S}_Ψ$, if $Ψ$ is infinite.
Permutations with given peak set
Let Sym_n denote the symmetric group of all permutations pi = a_1...a_n of {1,...,n}. An index i is a peak of pi if a_{i-1} < a_i > a_{i+1} and we let P(pi) be the set of peaks of pi. Given any set S of positive integers we define P(S;n) to be the set pi in Sym_n with P(pi)=S. Our main result is that for all fixed subsets of positive integers S and all sufficiently large n we have #P(S;n)= p(n) 2^{n-#S-1} for some polynomial p(n) depending on S. We explicitly compute p(n) for various S of probabilistic interest, including certain cases where S depends on n. We also discuss two conjectures, one about positivity of the coefficients of the expansion of p(n) in a binomial coefficient basis, and the other about sets S maximizing #P(S;n) when #S is fixed.
Schubert calculus of Richardson varieties stable under spherical Levi subgroups
Published
• View Publication
• BIB
We observe that the expansion in the basis of Schubert cycles for $H^*(G/B)$ of the class of a Richardson variety stable under a spherical Levi subgroup is described by a theorem of Brion. Using this observation, along with a combinatorial model of the poset of certain symmetric subgroup orbit closures, we give positive combinatorial descriptions of certain Schubert structure constants on the full flag variety in type $A$. Namely, we describe $c_{u,v}^w$ when $u$ and $v$ are inverse to Grassmannian permutations with unique descents at $p$ and $q$, respectively. We offer some conjectures for similar rules in types $B$ and $D$, associated to Richardson varieties stable under spherical Levi subgroups of $SO(2n+1,\C)$ and $SO(2n,\C)$, respectively.
Inflations of Geometric Grid Classes: Three Case Studies
We enumerate three specific permutation classes defined by two forbidden patterns of length four. The techniques involve inflations of geometric grid classes.
The number of harmonic frames of prime order
Published in Linear Algebra and its Applications, Volume 432, Issue 5, 15 February 2010, Pages 1105-1125
• Search Publication
Harmonic frames of prime order are investigated. The primary focus is the enumeration of inequivalent harmonic frames, with the exact number given by a recursive formula. The key to this result is a one-to-one correspondence developed between inequivalent harmonic frames and the orbits of a particular set. Secondarily, the symmetry group of prime order harmonic frames is shown to contain a subgroup consisting of a diagonal matrix as well as a permutation matrix, each of which is dependent on the particular harmonic frame in question.
Pattern Avoidance in Poset Permutations
Published in Order, 33(2), 2016
• View Publication
• BIB
We extend the concept of pattern avoidance in permutations on a totally ordered set to pattern avoidance in permutations on partially ordered sets. The number of permutations on $P$ that avoid the pattern $π$ is denoted $Av_P(π)$. We extend a proof of Simion and Schmidt to show that $Av_P(132) \leq Av_P(123)$ for any poset $P$, and we exactly classify the posets for which equality holds.
A probabilistic approach to consecutive pattern avoiding in permutations
Published
• View Publication
• BIB
We present a new approach to the problem of enumerating permutations of length n that avoid a fixed consecutive pattern of length m. We use this idea to give explicit upper and lower bounds on the number of permutations avoiding a pattern of length m. As a corollary, we obtain a simple proof of the CMP conjecture, regarding the most avoided pattern, recently shown by Elizalde. Finally, we also show that most of the patterns behave similar to the least avoided one.
On the vertices of the d-dimensional Birkhoff polytope
Published
• View Publication
• BIB
Consider the Birkhoff polytope of n by n doubly-stochastic matrices. As the Birkhoff-von Neumann theorem famously states, its vertex set coincides with the set of all n by n permutation matrices. Here we seek a higher-dimensional analog of this basic fact. Namely, consider the polytope which consists of all tristochastic arrays of order n. These are n by n by n arrays with nonnegative entries in which every line sums to 1. What can be said about its vertex set?
It is well-known that an order-n Latin square may be viewed as a tristochastic array where every line contains n-1 zeros and a single 1 entry. Indeed, every Latin square of order n is a vertex, but as we show, such vertices constitute only a vanishingly small part of the total number of vertices.
More concretely, we show that the number of vertices is at least (L_n)^{3/2-o(1)}, where L_n is the number of order-n Latin squares. We also briefly consider similar problems concerning the polytope of n by n by n arrays where the entries in every coordinate hyperplane sum to 1. Several open questions are presented as well.
The $\s$-Eulerian polynomials have only real roots
Published in Trans. Amer. Math. Soc. 367 (2015), 1441-1466
• View Publication
• BIB
We study the roots of generalized Eulerian polynomials via a novel approach. We interpret Eulerian polynomials as the generating polynomials of a statistic over inversion sequences. Inversion sequences (also known as Lehmer codes or subexcedant functions) were recently generalized by Savage and Schuster, to arbitrary sequences $\s$ of positive integers, which they called $\s$-inversion sequences.
Our object of study is the generating polynomial of the {\em ascent} statistic over the set of $\s$-inversion sequences of length $n$. Since this ascent statistic over inversion sequences is equidistributed with the descent statistic over permutations we call this generalized polynomial the \emph{$\s$-Eulerian polynomial}. The main result of this paper is that, for any sequence $\s$ of positive integers, the $\s$-Eulerian polynomial has only real roots.
This result is first shown to generalize many existing results about the real-rootedness of various Eulerian polynomials. We then show that it can be used to settle a conjecture of Brenti, that Eulerian polynomials for all finite Coxeter groups have only real roots. It is then extended to several $q$-analogs. We also show that the MacMahon--Carlitz $q$-Eulerian polynomial has only real roots whenever $q$ is a positive real number confirming a conjecture of Chow and Gessel. The same holds true for the $(\des,\finv)$-generating polynomials and also for the $(\des,\fmaj)$-generating polynomials for the hyperoctahedral group and the wreath product groups, confirming further conjectures of Chow and Gessel, and Chow and Mansour, respectively.
An equivalence relation on the symmetric group and multiplicity-free flag h-vectors
Published
• View Publication
• BIB
We consider the equivalence relation ~ on the symmetric group S_n generated by the interchange of two adjacent elements a_i and a_{i+1} of w=a_1 ... a_n in S_n such that |a_i - a_{i+1}|=1. We count the number of equivalence classes and the sizes of equivalence classes. The results are generalized to permutations of multisets using umbral techniques. In the original problem, the equivalence class containing the identity permutation is the set of linear extensions of a certain poset. Further investigation yields a characterization of all finite graded posets whose flag h-vector takes on only the values -1, 0, 1.
The exact bound for the Erdős-Ko-Rado theorem for $t$-cycle-intersecting permutations
In this paper we adapt techniques used by Ahlswede and Khachatrian in their proof of the Complete Erdős-Ko-Rado Theorem to show that if $n \geq 2t+1$, then any pairwise $t$-cycle-intersecting family of permutations has cardinality less than or equal to $(n-t)!$. Furthermore, the only families attaining this size are the stabilizers of $t$ points, that is, families consisting of all permutations having $t$ 1-cycles in common. This is a strengthening of a previous result of Ku and Renshaw and supports a recent conjecture by Ellis, Friedgut and Pilpel concerning the corresponding bound for $t$-intersecting families of permutations.
A new operation on partially ordered sets
Published
• View Publication
• BIB
Recently it has been shown that all non-trivial closed permutation groups containing the automorphism group of the random poset are generated by two types of permutations: the first type are permutations turning the order upside down, and the second type are permutations induced by so-called rotations. In this paper we introduce rotations for finite posets, which can be seen as the poset counterpart of Seidel-switch for finite graphs. We analyze some of their combinatorial properties, and investigate in particular the question of when two finite posets are rotation-equivalent. We moreover give an explicit combinatorial construction of a rotation of the random poset whose image is again isomorphic to the random poset. As an corollary of our results on rotations of finite posets, we obtain that the group of rotating permutations of the random poset is the automorphism group of a homogeneous structure in a finite language.
An Eulerian permutation statistic and generalizations
Recently, the second author studied an Eulerian statistic (called cover) in the context of convex polytopes, and proved an equal joint distribution of (cover,des) with (des,exc). In this paper, we present several direct bijective proofs that cover is Eulerian, and examine its generalizations and their Mahonian partners. We also present a quasi-symmetric function proof (suggested by Michelle Wachs) of the above equal joint distribution.
Construction of Permutation Snarks
A permutation snark is a snark which has a 2-factor $F_2$ consisting of two chordless circuits; $F_2$ is called the permutation 2-factor of $G$. We construct an infinite family $\mathcal H$ of cyclically 5-edge connected permutation snarks. Moreover, we prove for every member $G \in \mathcal H$ that the permutation 2-factor given by the construction of $G$ is not contained in any circuit double cover of $G$.