permutation ↗ reference
4849 papers tagged with this keyword
Functional limit theorems for random regular graphs
Published in Probab. Theory Related Fields, 156(3-4):921-975, 2013
• View Publication
• BIB
Consider d uniformly random permutation matrices on n labels. Consider the sum of these matrices along with their transposes. The total can be interpreted as the adjacency matrix of a random regular graph of degree 2d on n vertices. We consider limit theorems for various combinatorial and analytical properties of this graph (or the matrix) as n grows to infinity, either when d is kept fixed or grows slowly with n. In a suitable weak convergence framework, we prove that the (finite but growing in length) sequences of the number of short cycles and of cyclically non-backtracking walks converge to distributional limits. We estimate the total variation distance from the limit using Stein's method. As an application of these results we derive limits of linear functionals of the eigenvalues of the adjacency matrix. A key step in this latter derivation is an extension of the Kahn-Szemerédi argument for estimating the second largest eigenvalue for all values of d and n.
On the diameter of permutation groups
Published
• View Publication
• BIB
Given a finite group $G$ and a set $A$ of generators, the diameter diam$(Γ(G,A))$ of the Cayley graph $Γ(G,A)$ is the smallest $\ell$ such that every element of $G$ can be expressed as a word of length at most $\ell$ in $A \cup A^{-1}$. We are concerned with bounding diam(G):= $\max_A$ diam$(Γ(G,A))$.
It has long been conjectured that the diameter of the symmetric group of degree $n$ is polynomially bounded in $n$, but the best previously known upper bound was exponential in $\sqrt{n \log n}$. We give a quasipolynomial upper bound, namely, \[\text{diam}(G) = \exp(O((\log n)^4 \log\log n)) = \exp((\log \log |G|)^{O(1)})\] for G = Sym(n) or G = \Alt(n), where the implied constants are absolute. This addresses a key open case of Babai's conjecture on diameters of simple groups. By standard results, our bound also implies a quasipolynomial upper bound on the diameter of all transitive permutation groups of degree $n$.
Shuffle algebras, homology, and consecutive pattern avoidance
Published in Algebra & Number theory, Vol. 7 (2013), No. 3, 673-700
• View Publication
• BIB
Shuffle algebras are monoids for an unconvential monoidal category structure on graded vector spaces. We present two homological results on shuffle algebras with monomial relations, and use them to prove exact and asymptotic results on consecutive pattern avoidance in permutations.
A W[1]-Completeness Result for Generalized Permutation Pattern Matching
The NP-complete Permutation Pattern Matching problem asks whether a permutation P (the pattern) can be matched into a permutation T (the text). A matching is an order-preserving embedding of P into T. In the Generalized Permutation Pattern Matching problem one can additionally enforce that certain adjacent elements in the pattern must be mapped to adjacent elements in the text. This paper studies the parameterized complexity of this more general problem. We show W[1]-completeness with respect to the length of the pattern P. Under standard complexity theoretic assumptions this implies that no fixed-parameter tractable algorithm can be found for any parameter depending solely on P.
Diagonal Solutions to the 2-Toda Hierarchy
Published
• View Publication
• BIB
Using a combinatorial description of the Bernstein operator and its action on Schur functions, we describe the formal power series solutions to a family of partial differential equations known as the 2-Toda hierarchy. We also characterize diagonal solutions and use this to prove that a special family of formal power series, called content-type series, are solutions to the 2-Toda hierarchy. As examples, we prove that various generating series for permutation factorization problems (including the double Hurwitz problem), correlators for the Schur measure on partitions and the formal character expansion of the HCIZ integral are all solutions to the 2-Toda hierarchy.
Tree-like tableaux
Published in The Electronic Journal of Combinatorics 20 (2013) P34
• View Publication
• BIB
In this work we introduce and study tree-like tableaux, which are certain fillings of Ferrers diagrams in simple bijection with permutation tableaux and alternative tableaux. We exhibit an elementary insertion procedure on our tableaux which gives a clear proof that tree-like tableaux of size n are counted by n!, and which moreover respects most of the well-known statistics studied originally on alternative and permutation tableaux. Our insertion procedure allows to define in particular two simple new bijections between tree-like tableaux and permutations: the first one is conceived specifically to respect the generalized pattern 2-31, while the second one respects the underlying tree of a tree-like tableau.
Permutation Polytopes of Cyclic Groups
Published
• View Publication
• BIB
We investigate the combinatorics and geometry of permutation polytopes associated to cyclic permutation groups, i.e., the convex hulls of cyclic groups of permutation matrices. We give formulas for their dimension and vertex degree. In the situation that the generator of the group consists of at most two orbits, we can give a complete combinatorial description of the associated permutation polytope. In the case of three orbits the facet structure is already quite complex. For a large class of examples we show that there exist exponentially many facets.
Geometric grid classes of permutations
Published
• View Publication
• BIB
A geometric grid class consists of those permutations that can be drawn on a specified set of line segments of slope \pm1 arranged in a rectangular pattern governed by a matrix. Using a mixture of geometric and language theoretic methods, we prove that such classes are specified by finite sets of forbidden permutations, are partially well ordered, and have rational generating functions. Furthermore, we show that these properties are inherited by the subclasses (under permutation involvement) of such classes, and establish the basic lattice theoretic properties of the collection of all such subclasses.
A generating tree approach to k-nonnesting partitions and permutations
Published in DMTCS Proceedings, 0(01):409-420, 2012
• View Publication
• BIB
We describe a generating tree approach to the enumeration and exhaustive generation of k-nonnesting set partitions and permutations. Unlike previous work in the literature using the connections of these objects to Young tableaux and restricted lattice walks, our approach deals directly with partition and permutation diagrams. We provide explicit functional equations for the generating functions, with k as a parameter.
Bases of schurian antisymmetric coherent configurations and isomorphism test for schurian tournaments
Published in J. Math. Sci. (N. Y.) 192 (2013), no. 3, 316-338
• View Publication
• BIB
It is known that for any permutation group $G$ of odd order one can find a subset of the permuted set whose stabilizer in $G$ is trivial, and if $G$ is primitive, then also a base of size at most 3. Both of these results are generalized to the coherent configuration of $G$ (that is in this case a schurian antisymmetric coherent configuration). This enables us to construct a polynomial-time algorithm for recognizing and isomorphism testing of schurian tournaments (i.e. arc colored tournaments the coherent configurations of which are schurian).
Block characters of the symmetric groups
Published in Journal of Algebraic Combinatorics, 38, no. 1 (2013), 79-101
• View Publication
• BIB
Block character of a finite symmetric group S(n) is a positive definite function which depends only on the number of cycles in permutation. We describe the cone of block characters by identifying its extreme rays, and find relations of the characters to descent representations and the coinvariant algebra of S(n). The decomposition of extreme block characters into the sum of characters of irreducible representations gives rise to certain limit shape theorems for random Young diagrams. We also study counterparts of the block characters for the infinite symmetric group S(\infty) along with their connection to the Thoma characters of the infinite linear group GL(\infty,q) over a Galois field.
The Stabilizer Of Immanants
Published
• View Publication
• BIB
We describe immanants as trivial modules of the symmetric group and show that any homogeneous polynomial of degree n on the space of n by n matrices preserved up to scalar by left and right action by diagonal matrices and conjugation by permutation matrices is a linear combination of immanants. we prove that the identity component of the stabilizer of any immanant (except determinant, permanent) is the expected one. We also prove that for n>5 the stabilizer of the immanant of any non-symmetric partition (except determinant and permanent) is again the expected one.
Understanding 3-manifolds in the context of permutations
We demonstrate how a 3-manifold, a Heegaard diagram, and a group presentation can each be interpreted as a pair of signed permutations in the symmetric group $S_d.$ We demonstrate the power of permutation data in programming and discuss an algorithm we have developed that takes the permutation data as input and determines whether the data represents a closed 3-manifold. We therefore have an invariant of groups, that is given any group presentation, we can determine if that fixed presentation presents a closed 3-manifold.
(The proposed techniques begin with a pair of signed permutations and builds a finite group presentation. The finite group presentation results in a finite class of associated 3-manifolds. Notice that a negative answer only implies the fixed presentation does not result in a closed 3-manifold under this construction, but says nothing about an isomorphic form of the group presentation.)
Dixon's Theorem and random synchronization
Published
• View Publication
• BIB
A transformation monoid on a set Omega is called synchronizing if it contains an element of rank 1 (that is, mapping the whole of Omega to a single point). In this paper, I tackle the question: given n and k, what is the probability that the submonoid of the full transformation monoid T_n generated by k random transformations is synchronizing? This question is analogous to Dixon's Theorem that two random permutations generate the symmetric or alternating group with high probability.
Following the technique of Dixon's theorem, we need to analyse the maximal non-synchronizing submonoids of T_n. I develop a very close connection between transformation monoids and graphs, from which we obtain a description of non-synchronizing monoids as endomorphism monoids of graphs satisfying some very strong conditions. However, counting such graphs, and dealing with the intersections of their endomorphism monoids, seems difficult.
Near-central Permutation Factorization and Strahov's Generalized Murnaghan-Nakayama Rule
Published
• View Publication
• BIB
The $(p,q,n)$-dipole problem is a map enumeration problem, arising in perturbative Yang-Mills theory, in which the parameters $p$ and $q$, at each vertex, specify the number of edges separating of two distinguished edges. Combinatorially, it is notable for being a permutation factorization problem which does not lie in the centre of $\mathbb{C}[\mathfrak{S}_n]$, rendering the problem inaccessible through the character theoretic methods often employed to study such problems. This paper gives a solution to this problem on all orientable surfaces when $q=n-1$, which is a combinatorially significant special case: it is a \emph{near-central} problem. We give an encoding of the $(p,n-1,n)$-dipole problem as a product of standard basis elements in the centralizer $Z_1(n)$ of the group algebra $\mathbb{C}[\mathfrak{S}_n]$ with respect to the subgroup $\mathfrak{S}_{n-1}$. The generalized characters arising in the solution to the $(p,n-1,n)$-dipole problem are zonal spherical functions of the Gel'fand pair $(\mathfrak{S}_n\times \mathfrak{S}_{n-1}, \mathrm{diag}(\mathfrak{S}_{n-1}))$ and are evaluated explicitly. This solution is used to prove that, for a given surface, the numbers of $(p,n-1,n)$-dipoles and $(n+1-p,n-1,n)$-dipoles are equal, a fact for which we have no combinatorial explanation. These techniques also give a solution to a near-central analogue of the problem of decomposing a full cycle into two factors of specified cycle type.
A short note on the Stanley-Wilf Conjecture for permutations on multisets
The concept of pattern avoidance respectively containment in permutations can be extended to permutations on multisets in a straightforward way. In this note we present a direct proof of the already known fact that the well-known Stanley-Wilf Conjecture, stating that the number of permutations avoiding a given pattern does not grow faster than exponentially, also holds for permutations on multisets.
Enumeration schemes for vincular patterns
Published
• View Publication
• BIB
We extend the notion of an enumeration scheme developed by Zeilberger and Vatter to the case of vincular patterns (also called "generalized patterns" or "dashed patterns"). In particular we provide an algorithm which takes in as input a set $B$ of vincular patterns and search parameters and returns a recurrence (called a "scheme") to compute the number of permutations of length $n$ avoiding $B$ or confirmation that no such scheme exists within the search parameters. We also prove that if $B$ contains only consecutive patterns and patterns of the form $σ_1σ_2 ... σ_{t-1}-σ_t$, then such a scheme must exist and provide the relevant search parameters. The algorithms are implemented in Maple and we provide empirical data on the number of small pattern sets admitting schemes. We make several conjectures on Wilf-classification based on this data. We also outline how to refine schemes to compute the number of $B$-avoiding permutations of length $n$ with $k$ inversions.
A new short proof of the EKR theorem
Published
• View Publication
• BIB
A family F is intersecting if any two members have a nonempty intersection. Erdos, Ko, and Rado showed that |F|\leq {n-1\choose k-1} holds for an intersecting family of k-subsets of [n]:={1,2,3,...,n}, n\geq 2k. For n> 2k the only extremal family consists of all k-subsets containing a fixed element. Here a new proof is presented. It is even shorter than the classical proof of Katona using cyclic permutations, or the one found by Daykin applying the Kruskal-Katona theorem.
Staircase skew Schur functions are Schur P-positive
Published
• View Publication
• BIB
We prove Stanley's conjecture that, if delta_n is the staircase shape, then the skew Schur functions s_{delta_n / mu} are non-negative sums of Schur P-functions. We prove that the coefficients in this sum count certain fillings of shifted shapes. In particular, for the skew Schur function s_{delta_n / delta_{n-2}}, we discuss connections with Eulerian numbers and alternating permutations.
A lexicographic shellability characterization of geometric lattices
Published
• View Publication
• BIB
Geometric lattices are characterized in this paper as those finite, atomic lattices such that every atom ordering induces a lexicographic shelling given by an edge labeling known as a minimal labeling. Equivalently, geometric lattices are shown to be exactly those finite lattices such that every ordering on the join-irreducibles induces a lexicographic shelling. This new characterization fits into a similar paradigm as McNamara's characterization of supersolvable lattices as those lattices admitting a different type of lexicographic shelling, namely one in which each maximal chain is labeled with a permutation of {1,...,n}.