permutation ↗ reference
4849 papers tagged with this keyword
Distributions of order patterns of interval maps
Published
• View Publication
• BIB
A permutation $σ$ describing the relative orders of the first $n$ iterates of a point $x$ under a self-map $f$ of the interval $I=[0,1]$ is called an \emph{order pattern}. For fixed $f$ and $n$, measuring the points $x\in I$ (according to Lebesgue measure) that generate the order pattern $σ$ gives a probability distribution $μ_n(f)$ on the set of length $n$ permutations. We study the distributions that arise this way for various classes of functions $f$.
Our main results treat the class of measure preserving functions. We obtain an exact description of the set of realizable distributions in this case: for each $n$ this set is a union of open faces of the polytope of flows on a certain digraph, and a simple combinatorial criterion determines which faces are included. We also show that for general $f$, apart from an obvious compatibility condition, there is no restriction on the sequence $\{μ_n(f)\}$ for $n=1,2,...$.
In addition, we give a necessary condition for $f$ to have \emph{finite exclusion type}, i.e., for there to be finitely many order patterns that generate all order patterns not realized by $f$. Using entropy we show that if $f$ is piecewise continuous, piecewise monotone, and either ergodic or with points of arbitrarily high period, then $f$ cannot have finite exclusion type. This generalizes results of S. Elizalde.
A refined bijection between alternating permutations and 0-1-2 increasing trees
We construct a refined bijection $φ$ between alternating permutations and 0-1-2 increasing trees with degree at most 2. It satisfies that the first element of alternating permutation $π$ is equal to the first vertex in $φ(π)$ in the postorder.
n! matchings, n! posets
Published
• View Publication
• BIB
We show that there are $n!$ matchings on $2n$ points without, so called, left (neighbor) nestings. We also define a set of naturally labeled $(2+2)$-free posets, and show that there are $n!$ such posets on $n$ elements. Our work was inspired by Bousquet-Mélou, Claesson, Dukes and Kitaev [J. Combin. Theory Ser. A. 117 (2010) 884--909]. They gave bijections between four classes of combinatorial objects: matchings with no neighbor nestings (due to Stoimenow), unlabeled $(2+2)$-free posets, permutations avoiding a specific pattern, and so called ascent sequences. We believe that certain statistics on our matchings and posets could generalize the work of Bousquet-Mélou et al.\ and we make a conjecture to that effect. We also identify natural subsets of matchings and posets that are equinumerous to the class of unlabeled $(2+2)$-free posets.
We give bijections that show the equivalence of (neighbor) restrictions on nesting arcs with (neighbor) restrictions on crossing arcs. These bijections are thought to be of independent interest. One of the bijections maps via certain upper-triangular integer matrices that have recently been studied by Dukes and Parviainen [Electron. J. Combin. 17 (2010) \#R53]
Locally $s$-distance transitive graphs
Published
• View Publication
• BIB
We give a unified approach to analysing, for each positive integer $s$, a class of finite connected graphs that contains all the distance transitive graphs as well as the locally $s$-arc transitive graphs of diameter at least $s$. A graph is in the class if it is connected and if, for each vertex $v$, the subgroup of automorphisms fixing $v$ acts transitively on the set of vertices at distance $i$ from $v$, for each $i$ from 1 to $s$. We prove that this class is closed under forming normal quotients. Several graphs in the class are designated as degenerate, and a nondegenerate graph in the class is called basic if all its nontrivial normal quotients are degenerate. We prove that, for $s\geq 2$, a nondegenerate, nonbasic graph in the class is either a complete multipartite graph, or a normal cover of a basic graph. We prove further that, apart from the complete bipartite graphs, each basic graph admits a faithful quasiprimitive action on each of its (1 or 2) vertex orbits, or a biquasiprimitive action. These results invite detailed additional analysis of the basic graphs using the theory of quasiprimitive permutation groups.
On the existence of block-transitive combinatorial designs
Published
• View Publication
• BIB
Block-transitive Steiner $t$-designs form a central part of the study of highly symmetric combinatorial configurations at the interface of several disciplines, including group theory, geometry, combinatorics, coding and information theory, and cryptography. The main result of the paper settles an important open question: There exist no non-trivial examples with $t=7$ (or larger). The proof is based on the classification of the finite 3-homogeneous permutation groups, itself relying on the finite simple group classification.
Ranking patterns of unfolding models of codimension one
Published in Advances in Applied Mathematics 47 (2011) 379-400
• View Publication
• BIB
We consider the problem of counting the number of possible sets of rankings (called ranking patterns) generated by unfolding models of codimension one. We express the ranking patterns as slices of the braid arrangement and show that all braid slices, including those not associated with unfolding models, are in one-to-one correspondence with the chambers of an arrangement. By identifying those which are associated with unfolding models, we find the number of ranking patterns. We also give an upper bound for the number of ranking patterns when the difference by a permutation of objects is ignored.
A unification of permutation patterns related to Schubert varieties
We obtain new connections between permutation patterns and singularities of Schubert varieties, by giving a new characterization of Gorenstein varieties in terms of so called bivincular patterns. These are generalizations of classical patterns where conditions are placed on the location of an occurrence in a permutation, as well as on the values in the occurrence. This clarifies what happens when the requirement of smoothness is weakened to factoriality and further to Gorensteinness, extending work of Bousquet-Melou and Butler (2007), and Woo and Yong (2006). We also show how mesh patterns, introduced by Branden and Claesson (2011), subsume many other types of patterns and define an extension of them called marked mesh patterns. We use these new patterns to further simplify the description of Gorenstein Schubert varieties and give a new description of Schubert varieties that are defined by inclusions, introduced by Gasharov and Reiner (2002). We also give a description of 123-hexagon avoiding permutations, introduced by Billey and Warrington (2001), Dumont permutations and cycles in terms of marked mesh patterns.
Deciding the finiteness of the number of simple permutations contained in a wreath-closed class is polynomial
Published in Pure Mathematics and Applications 21, 2 (2010) 119-135
• Search Publication
We present an algorithm running in time O(n ln n) which decides if a wreath-closed permutation class Av(B) given by its finite basis B contains a finite number of simple permutations. The method we use is based on an article of Brignall, Ruskuc and Vatter which presents a decision procedure (of high complexity) for solving this question, without the assumption that Av(B) is wreath-closed. Using combinatorial, algorithmic and language theoretic arguments together with one of our previous results on pin-permutations, we are able to transform the problem into a co-finiteness problem in a complete deterministic automaton.
A direct bijection between descending plane partitions with no special parts and permutation matrices
Published in Discrete Math. 311 (2011), no. 21, 2581-2585
• View Publication
• BIB
We present a direct bijection between descending plane partitions with no special parts and permutation matrices. This bijection has the desirable property that the number of parts of the descending plane partition corresponds to the inversion number of the permutation. Additionally, the number of maximum parts in the descending plane partition corresponds to the position of the one in the last column of the permutation matrix. We also discuss the possible extension of this approach to finding a bijection between descending plane partitions and alternating sign matrices.
Cyclic derangements
Published in Electron. J. Combin. 17 (2010), no. 1, Research Paper 163, 14 pp
• View Publication
• BIB
A classic problem in enumerative combinatorics is to count the number of derangements, that is, permutations with no fixed point. Inspired by a recent generalization to facet derangements of the hypercube by Gordon and McMahon, we generalize this problem to enumerating derangements in the wreath product of any finite cyclic group with the symmetric group. We also give q- and (q, t)-analogs for cyclic derangements, generalizing results of Brenti and Gessel.
Anick-type resolutions and consecutive pattern avoidance
For permutations avoiding consecutive patterns from a given set, we present a combinatorial formula for the multiplicative inverse of the corresponding exponential generating function. The formula comes from homological algebra considerations in the same sense as the corresponding inversion formula for avoiding word patterns comes from the well known Anick's resolution.
Permutation Polynomials of Degree 6 or 7 over Finite Fields of Characteristic 2
Published
• View Publication
• BIB
In \cite{D1}, Dickson listed all permutation polynomials up to degree 5 over an arbitrary finite field, and all permutation polynomials of degree 6 over finite fields of odd characteristic. The classification of degree 6 permutation polynomials over finite fields of characteristic 2 was left incomplete. In this paper we complete the classification of permutation polynomials of degree 6 over finite fields of characteristic 2. In addition, all permutation polynomials of degree 7 over finite fields of characteristic 2 are classified.
Periodic lozenge tilings of the plane
This article addresses the problem of enumerating the tilings of a plane by lozenges, under the restriction that these tilings be doubly periodic. Kasteleyn's Pfaffian method is applied to compute the generating function of those permutations. The monomials of this function represent the different types of tilings, grouping them according to the number of lozenges in each orientation. We present an alternative approach to compute these types. Finally, two additional classes of tilings are proposed as open enumeration problems.
The number of permutations with k inversions
Let $n\geq 1$, $0\leq t\leq {n \choose 2}$ be arbitrary integers. Define the numbers $I_n(t)$ as the number of permutations of $[n]$ with $t$ inversions. Let $n,d\geq 1$ and $0\leq t\leq (d-1)n$ be arbitrary integers. Define {\em the polynomial coefficients} $H(n,d,t)$ as the numbers of compositions of $t$ with at most $n$ parts, no one of which is greater than $d-1$. In our article we give explicit formulas for the numbers $I_n(t)$ and $H(n,d,t)$ using the theory of Gröbner bases and free resolutions.
Enumerating pattern avoidance for affine permutations
Published in Electron. J. Combin., 17 (2010), pp. Research Paper 127, 13 pp. (electronic)
• View Publication
• BIB
In this paper we study pattern avoidance for affine permutations. In particular, we show that for a given pattern p, there are only finitely many affine permutations in $\widetilde{S}_n$ that avoid p if and only if p avoids the pattern 321. We then count the number of affine permutations that avoid a given pattern p for each p in S_3, as well as give some conjectures for the patterns in S_4.
Centrosymmetric Permutations and Involutions Avoiding 1243 and 2143
A centrosymmetric permutation is one which is invariant under the reverse-complement operation, or equivalently one whose associated standard Young tableaux under the Robinson-Schensted algorithm are both invariant under the Schutzenberger involution. In this paper, we characterize the set of permutations avoiding 1243 and 2143 whose images under the reverse-complement mapping also avoid these patterns. We also characterize in a simple manner the corresponding Schroder paths under a bijection of Egge and Mansour. We then use these results to enumerate centrosymmetric permutations avoiding the patterns 1243 and 2143. In a similar manner, centrosymmetric involutions avoiding these same patterns are shown to be enumerated by the Pell numbers.
Characterization of Balanced Coherent Configurations
Published in J. Algebra (2010), doi:10.1016/j.jalgebra.2010.05.015
• View Publication
• BIB
Let $G$ be a group acting on a finite set $Ω$. Then $G$ acts on $Ω\times Ω$ by its entry-wise action and its orbits form the basis relations of a coherent configuration (or shortly scheme). Our concern is to consider what follows from the assumption that the number of orbits of $G$ on $Ω_i\times Ω_j$ is constant whenever $Ω_i$ and $Ω_j$ are orbits of $G$ on $Ω$. One can conclude from the assumption that the actions of $G$ on ${Ω_i}$'s have the same permutation character and are not necessarily equivalent. From this viewpoint one may ask how many inequivalent actions of a given group with the same permutation character there exist. In this article we will approach to this question by a purely combinatorial method in terms of schemes and investigate the following topics:
(i) balanced schemes and their central primitive idempotents, (ii) characterization of reduced balanced schemes.
A Note on the Stanley Distribution
Richard Stanley proved that the centralized/normalized version of the random variable "length of largest up-down subsequence" in a random permutation of length n is asymptotically normal. We go beyond and present a more refined asymptotic formula for the moments.
Mixing times for random k-cycles and coalescence-fragmentation chains
Published in Annals of Probability 2011, Vol. 39, No. 5, 1815-1843
• View Publication
• BIB
Let $\mathcal{S}_n$ be the permutation group on $n$ elements, and consider a random walk on $\mathcal{S}_n$ whose step distribution is uniform on $k$-cycles. We prove a well-known conjecture that the mixing time of this process is $(1/k)n\log n$, with threshold of width linear in $n$. Our proofs are elementary and purely probabilistic, and do not appeal to the representation theory of $\mathcal{S}_n$.
Hyperbolic polynomials and the Dirichlet problem
This paper presents a simple, self-contained account of Garding's theory of hyperbolic polynomials, including a recent convexity result of Bauschke-Guler-Lewis-Sendov and an inequality of Gurvits. This account also contains new results, such as the existence of a real analytic arrangement of the eigenvalue functions.
In a second, independent part of the paper, the relationship of Garding's theory to the authors' recent work (arXiv:0710.3991) on the Dirichlet problem for fully nonlinear partial differential equations is investigated. Let p be a homogeneous polynomial of degree m on S^2(R^n) which is hyperbolic with respect to the all positive directions A \geq 0. Then p has an associated eigenvalue map lambda:S^2(R^n) \to R^m, defined modulo the permutation group acting on R^m. Consequently, each closed symmetric set E of R^m induces a second-order p.d.e. by requiring, for a C^2-function u in n-variables, that (D^2 u)(x) lie in the boundary of E for all x. Assume that E + (R_+)^m is contained in E. A main result is that for smooth domains in R^n whose boundary is suitably (p,E)-pseudo-convex, the Dirichlet problem has a unique continuous solution for all continuous boundary data. This applies to a vast collection of examples the most basic of which are the m distinct branches of the equation p(D^2 u) =0.
In the authors' recent extension of results from euclidean domains to domains in riemannian manifolds (arXiv:0907.1981), a new global ingredient, called a monotonicity subequation, was introduced. It is shown in this paper that for every polynomial $p$ as above, the associated Garding cone is a monotonicity cone for all branches of the the equation p(Hess u) = 0 where Hess u denotes the riemannian Hessian of u.