permutation ↗ reference
4849 papers tagged with this keyword
Generating tuples of integers modulo the action of a permutation group and applications
Published
• View Publication
• BIB
Originally motivated by algebraic invariant theory, we present an algorithm to enumerate integer vectors modulo the action of a permutation group. This problem generalizes the generation of unlabeled graph up to an isomorphism. In this paper, we present the full development of a generation engine by describing the related theory, establishing a mathematical and practical complexity, and exposing some benchmarks. We next show two applications to effective invariant theory and effective Galois theory.
Permutation polynomials of finite fields
Let $\mathbb{F}_q$ be the finite field of $q$ elements. Then a \emph{permutation polynomial} (PP) of $\mathbb{F}_q$ is a polynomial $f \in \mathbb{F}_q[x]$ such that the associated function $c \mapsto f(c)$ is a permutation of the elements of $\mathbb{F}_q$. In 1897 Dickson gave what he claimed to be a complete list of PPs of degree at most 6, however there have been suggestions recently that this classification might be incomplete. Unfortunately, Dickson's claim of a full characterisation is not easily verified because his published proof is difficult to follow. This is mainly due to antiquated terminology. In this project we present a full reconstruction of the classification of degree 6 PPs, which combined with a recent paper by Li \emph{et al.} finally puts to rest the characterisation problem of PPs of degree up to 6.
In addition, we give a survey of the major results on PPs since Dickson's 1897 paper. Particular emphasis is placed on the proof of the so-called \emph{Carlitz Conjecture}, which states that if $q$ is odd and `large' and $n$ is even then there are no PPs of degree $n$. This important result was resolved in the affirmative by research spanning three decades. A generalisation of Carlitz's conjecture due to Mullen proposes that if $q$ is odd and `large' and $n$ is even then no polynomial of degree $n$ is `close' to being a PP. This has remained an unresolved problem in published literature. We provide a counterexample to Mullen's conjecture, and also point out how recent results imply a more general version of this statement (provided one increases what is meant by $q$ being `large').
Crossings and Nestings for Arc-Coloured Permutations
Published in DMTCS Proceedings, 0(01):743-754, 2013
• View Publication
• BIB
The equidistribution of many crossing and nesting statistics exists in several combinatorial objects like matchings, set partitions, permutations, and embedded labelled graphs. The involutions switching nesting and crossing numbers for set partitions given by Krattenthaler, also by Chen, Deng, Du, Stanley, and Yan, and for permutations given by Burrill, Mishna, and Post involved passing through tableau-like objects. Recently, Chen and Guo for matchings, and Marberg for set partitions extended the result to coloured arc annotated diagrams. We prove that symmetric joint distribution continues to hold for arc-coloured permutations. As in Marberg's recent work, but through a different interpretation, we also conclude that the ordinary generating functions for all $j$-noncrossing, $k$-nonnesting, $r$-coloured permutations according to size $n$ are rational functions. We use the interpretation to automate the generation of these rational series for both noncrossing and nonnesting coloured set partitions and permutations.
On intransitive graph-restrictive permutation groups
Published
• View Publication
• BIB
Let $Γ$ be a finite connected $G$-vertex-transitive graph and let $v$ be a vertex of $Γ$. If the permutation group induced by the action of the vertex-stabiliser $G_v$ on the neighbourhood $Γ(v)$ is permutation isomorphic to $L$, then $(Γ,G)$ is said to be locally-$L$. A permutation group $L$ is graph-restrictive if there exists a constant $c(L)$ such that, for every locally-$L$ pair $(Γ,G)$ and a vertex $v$ of $Γ$, the inequality $|G_v|\leq c(L)$ holds. We show that an intransitive group is graph-restrictive if and only if it is semiregular.
0-Hecke algebra actions on coinvariants and flags
Published
• View Publication
• BIB
The 0-Hecke algebra $H_n(0)$ is a deformation of the group algebra of the symmetric group $\SS_n$. We show that its coinvariant algebra naturally carries the regular representation of $H_n(0)$, giving an analogue of the well-known result for $\SS_n$ by Chevalley-Shephard-Todd. By investigating the action of $H_n(0)$ on coinvariants and flag varieties, we interpret the generating functions counting the permutations with fixed inverse descent set by their inversion number and major index. We also study the action of $H_n(0)$ on the cohomology rings of the Springer fibers, and similarly interpret the (noncommutative) Hall-Littlewood symmetric functions indexed by hook shapes.
Pattern avoidance in matchings and partitions
Published
• View Publication
• BIB
Extending the notion of pattern avoidance in permutations, we study matchings and set partitions whose arc diagram representation avoids a given configuration of three arcs. These configurations, which generalize 3-crossings and 3-nestings, have an interpretation, in the case of matchings, in terms of patterns in full rook placements on Ferrers boards.
We enumerate 312-avoiding matchings and partitions, obtaining algebraic generating functions, in contrast with the known D-finite generating functions for the 321-avoiding (i.e., 3-noncrossing) case. Our approach also provides a more direct proof of a formula of Bóna for the number of 1342-avoiding permutations. Additionally, we give a bijection proving the shape-Wilf-equivalence of the patterns 321 and 213 which greatly simplifies existing proofs by Backelin--West--Xin and Jelínek, and provides an extension of work of Gouyou-Beauchamps for matchings with fixed points. Finally, we classify pairs of patterns of length 3 according to shape-Wilf-equivalence, and enumerate matchings and partitions avoiding a pair in most of the resulting equivalence classes.
(2^n,2^n,2^n,1)-relative difference sets and their representations
Published
• View Publication
• BIB
We show that every $(2^n,2^n,2^n,1)$-relative difference set $D$ in $\Z_4^n$ relative to $\Z_2^n$ can be represented by a polynomial $f(x)\in \F_{2^n}[x]$, where $f(x+a)+f(x)+xa$ is a permutation for each nonzero $a$. We call such an $f$ a planar function on $\F_{2^n}$. The projective plane $Π$ obtained from $D$ in the way of Ganley and Spence \cite{ganley_relative_1975} is coordinatized, and we obtain necessary and sufficient conditions of $Π$ to be a presemifield plane. We also prove that a function $f$ on $\F_{2^n}$ with exactly two elements in its image set and $f(0)=0$ is planar, if and only if, $f(x+y)=f(x)+f(y)$ for any $x,y\in\F_{2^n}$.
On the connected components of a random permutation graph with a given number of edges
Published in Journal of Combinatorial Theory, Series A 120 (2013), 1947-1975
• View Publication
• BIB
A permutation of [n] induces a graph on [n] such that the edges of the graph correspond to inversion pairs of the permutation. This graph is connected if and only if the corresponding permutation is indecomposable. Let s(n,m) denote a permutation chosen uniformly at random among all permutations of [n] with exactly m inversions. Let p(n,m) be the common value for the probabilities that s(n,m) is indecomposable or the corresponding graph is connected. We prove that p(n,m) is non-decreasing with m by constructing a Markov process in which s(n,m+1) is obtained from s(n,m) by increasing one of the components of the inversion sequence of s(n,m) by one. We show that, with probability approaching 1, the graph corresponding to s(n,m) becomes connected for m asymptotic to (6/(π^2))nln(n). More precisely, for m=(6n/(π^2)) [ln(n)+ lnln(n)/2+ ln(12)- ln(π)- 12/(π^2)+x_n], where |x_n|=o(lnlnln(n)), the number of components of the random graph is shown to be asymptotically 1+Poisson(e^{-x_n}). When x_n goes to negative infinity, the sizes of the largest and the smallest components, scaled by n, are asymptotic to the lengths of the largest and the smallest subintervals in a partition of [0,1] by [e^{-x_n}] randomly, and independently, scattered points.
On the Existence of Retransmission Permutation Arrays
Published in Discrete Appl. Math. 161 (2013), 2772-2777
• View Publication
• BIB
We investigate retransmission permutation arrays (RPAs) that are motivated by applications in overlapping channel transmissions. An RPA is an $n\times n$ array in which each row is a permutation of ${1, ..., n}$, and for $1\leq i\leq n$, all $n$ symbols occur in each $i\times\lceil\frac{n}{i}\rceil$ rectangle in specified corners of the array. The array has types 1, 2, 3 and 4 if the stated property holds in the top left, top right, bottom left and bottom right corners, respectively. It is called latin if it is a latin square. We show that for all positive integers $n$, there exists a type-$1,2,3,4$ $\RPA(n)$ and a type-1,2 latin $\RPA(n)$.
Algebraic properties of generalized Rijndael-like ciphers
Published
• View Publication
• BIB
We provide conditions under which the set of Rijndael functions considered as permutations of the state space and based on operations of the finite field $\GF (p^k)$ ($p\geq 2$ a prime number) is not closed under functional composition. These conditions justify using a sequential multiple encryption to strengthen the AES (Rijndael block cipher with specific block sizes) in case AES became practically insecure. In Sparr and Wernsdorf (2008), R. Sparr and R. Wernsdorf provided conditions under which the group generated by the Rijndael-like round functions based on operations of the finite field $\GF (2^k)$ is equal to the alternating group on the state space. In this paper we provide conditions under which the group generated by the Rijndael-like round functions based on operations of the finite field $\GF (p^k)$ ($p\geq 2$) is equal to the symmetric group or the alternating group on the state space.
Some open problems on permutation patterns
This is a brief survey of some open problems on permutation patterns, with an emphasis on subjects not covered in the recent book by Kitaev, \emph{Patterns in Permutations and words}. I first survey recent developments on the enumeration and asymptotics of the pattern 1324, the last pattern of length 4 whose asymptotic growth is unknown, and related issues such as upper bounds for the number of avoiders of any pattern of length $k$ for any given $k$. Other subjects treated are the Möbius function, topological properties and other algebraic aspects of the poset of permutations, ordered by containment, and also the study of growth rates of permutation classes, which are containment closed subsets of this poset.
Cyclic sieving phenomenon on annular noncrossing permutations
We show an instance of the cyclic sieving phenomenon on annular noncrossing permutations with given cycle types. We define annular $q$-Kreweras numbers, annular $q$-Narayana numbers, and annular $q$-Catalan number, all of which are polynomials in $q$. We then show that these polynomials exhibit the cyclic sieving phenomenon on annular noncrossing permutations. We also show that a sum of annular $q$-Kreweras numbers becomes an annular $q$-Narayana number and a sum of $q$-Narayana numbers becomes an annular $q$-Catalan number.
Graphical Cyclic Permutation Groups
Published
• View Publication
• BIB
We establish conditions for a permutation group generated by a single permutation of a prime power order to be an automorphism group of a graph or an edge-colored graph. This corrects and generalizes the results of the two papers on cyclic permutation groups published in 1978 and 1981 by S. P. Mohanty, M. R. Sridharan, and S. K. Shukla.
Transitive oriented 3-Hypergraphs of cyclic orders
Published
• View Publication
• BIB
In this paper we introduce the definition of transitivity for oriented 3-hypergraphs in order to study partial and complete cyclic orders. This definition allow us to give sufficient conditions on a partial cyclic order to be totally extendable. Furthermore, we introduce the 3-hypergraph associated to a cyclic permutation and characterize it in terms of cyclic comparability 3-hypergraphs.
On the sub-permutations of pattern avoiding permutations
Published
• View Publication
• BIB
There is a deep connection between permutations and trees. Certain sub-structures of permutations, called sub-permutations, bijectively map to sub-trees of binary increasing trees. This opens a powerful tool set to study enumerative and probabilistic properties of sub-permutations and to investigate the relationships between 'local' and 'global' features using the concept of pattern avoidance. First, given a pattern μ, we study how the avoidance of μ in a permutation π affects the presence of other patterns in the sub-permutations of π. More precisely, considering patterns of length 3, we solve instances of the following problem: given a class of permutations K and a pattern μ, we ask for the number of permutations $π\in Av_n(μ)$ whose sub-permutations in K satisfy certain additional constraints on their size. Second, we study the probability for a generic pattern to be contained in a random permutation π of size n without being present in the sub-permutations of π generated by the entry $1 \leq k \leq n$. These theoretical results can be useful to define efficient randomized pattern-search procedures based on classical algorithms of pattern-recognition, while the general problem of pattern-search is NP-complete.
Cardy-Frobenius extension of algebra of cut-and-join operators
Published in Journal of Geometry and Physics, 73 (2013) 243-251
• View Publication
• BIB
Motivated by the algebraic open-closed string models, we introduce and discuss an infinite-dimensional counterpart of the open-closed Hurwitz theory describing branching coverings generated both by the compact oriented surfaces and by the foam surfaces. We manifestly construct the corresponding infinite-dimensional equipped Cardy-Frobenius algebra, with the closed and open sectors are represented by conjugation classes of permutations and the pairs of permutations, i.e. by the algebra of Young diagrams and bipartite graphes respectively.
An application of a bijection of Mansour, Deng, and Du
The large Schroder numbers are known to count several classes of permutations avoiding two 4-letter patterns. Here we show they count another family of permutations, those whose left to right minima decomposition, when reversed, is 321-avoiding. The main tool is the Mansour-Deng-Du bijection from 321-avoiding permutations to Dyck paths.
Posets, Tensor Products and Schur positivity
Published in Algebra Number Theory 8 (2014) 933-961
• View Publication
• BIB
Let g be a complex finite-dimensional simple Lie algebra. Given a positive integer k and a dominant weight λ, we define a preorder on the set $P(λ, k)$ of k-tuples of dominant weights which add up to λ. Let $P(λ, k)/\sim$ be the corresponding poset of equivalence classes defined by the preorder. We show that if λis a multiple of a fundamental weight (and k is general) or if k=2 (and λis general), then $P(λ, k)/\sim$ coincides with the set of S_k-orbits in $P(λ,k)$, where S_k acts on $P(λ, k)$ as the permutations of components. If g is of type A_n and k=2, we show that the S_2-orbit of the row shuffle defined by Fomin et al is the unique maximal element in the poset.
Given an element of $P(λ, k)$, consider the tensor product of the corresponding simple finite-dimensional g-modules. We show that (for general g, λ, and k) the dimension of this tensor product increases along with the partial order.
We also show that in the case when λis a multiple of a fundamental minuscule weight (g and k are general) or if g is of type A_2 and k=2 (λis general), there exists an inclusion of tensor products of g-modules along with the partial order. In particular, if g is of type A_n, this means that the difference of the characters is Schur positive.
The most frequent peak set of a random permutation
Given a subset $S\subseteq\mathbb{P}$, let $\Pa(S;n)$ be the number of permutations in the symmetric group of ${1,2,...,n}$ that have peak set $S$. We prove a recent conjecture due to Billey, Burdzy and Sagan, which determines the sets that maximize $\Pa(S;n)$, where $S$ ranges over all subsets of ${1,2,...,n}$.
Refined enumeration of permutations sorted with two stacks and a D_8-symmetry
Published
• View Publication
• BIB
We study permutations that are sorted by operators of the form $\mathbf{S} \circ α\circ \mathbf{S}$, where $\mathbf{S}$ is the usual stack sorting operator introduced by D. Knuth and $α$ is any $D_8$-symmetry obtained combining the classical reverse, complement and inverse operations. Such permutations can be characterized by excluded (generalized) patterns. Some conjectures about the enumeration of these permutations, refined with numerous classical statistics, have been proposed by A. Claesson, M. Dukes and E. Steingrímsson. We prove these conjectures, and enrich one of them with a few more statistics. The proofs mostly rely on generating trees techniques, and on a recent bijection of S. Giraudo between Baxter and twisted Baxter permutations.