permutation ↗ reference
4849 papers tagged with this keyword
Irreducible representations of the symmetric groups from slash homologies of p-complexes
Published
• View Publication
• BIB
In the 40s, Mayer introduced a construction of (simplicial) $p$-complex by using the unsigned boundary map and taking coefficients of chains modulo $p$. We look at such a $p$-complex associated to an $(n-1)$-simplex; in which case, this is also a $p$-complex of representations of the symmetric group of rank $n$ - specifically, of permutation modules associated to two-row compositions. In this article, we calculate the so-called slash homology - a homology theory introduced by Khovanov and Qi - of such a $p$-complex. We show that every non-trivial slash homology group appears as an irreducible representation associated to two-row partitions, and how this calculation leads to a basis of these irreducible representations given by the so-called $p$-standard tableaux.
A family of permutation trinomials in $\mathbb{F}_{q^2}$
Let $p>3$ and consider a prime power $q=p^h$. We completely characterize permutation polynomials of $\mathbb{F}_{q^2}$ of the type $f_{a,b}(X) = X(1 + aX^{q(q-1)} + bX^{2(q-1)}) \in \mathbb{F}_{q^2}[X]$. In particular, using connections with algebraic curves over finite fields, we show that the already known sufficient conditions are also necessary.
Graph Universal Cycles of Combinatorial Objects
Published
• View Publication
• BIB
A connected digraph in which the in-degree of any vertex equals its out-degree is Eulerian; this baseline result is used as the basis of existence proofs for universal cycles (also known as ucycles or generalized deBruijn cycles or U-cycles) of several combinatorial objects. The existence of ucycles is often dependent on the specific representation that we use for the combinatorial objects. For example, should we represent the subset $\{2,5\}$ of $\{1,2,3,4,5\}$ as "25" in a linear string? Is the representation "52" acceptable? Or it it tactically advantageous (and acceptable) to go with $\{0,1,0,0,1\}$? In this paper, we represent combinatorial objects as graphs, as in \cite{bks}, and exhibit the flexibility and power of this representation to produce {\it graph universal cycles}, or {\it Gucycles}, for $k$-subsets of an $n$-set; permutations (and classes of permutations) of $[n]=\{1,2,\ldots,n\}$, and partitions of an $n$-set, thus revisiting the classes first studied in \cite{cdg}. Under this graphical scheme, we will represent $\{2,5\}$ as the subgraph $A$ of $C_5$ with edge set consisting of $\{2,3\}$ and $\{5,1\}$, namely the "second" and "fifth" edges in $C_5$. Permutations are represented via their permutation graphs, and set partitions through disjoint unions of complete graphs.
Colourings of star systems
Published
• View Publication
• BIB
An $e$-star is a complete bipartite graph $K_{1,e}$. An $e$-star system of order $n>1$, $S_e(n)$, is a partition of the edges of the complete graph $K_n$ into $e$-stars. An $e$-star system is said to be $k$-colourable if its vertex set can be partitioned into $k$ sets (called colour classes) such that no $e$-star is monochromatic. The system $S_e(n)$ is $k$-chromatic if $S_e(n)$ is $k$-colourable but is not $(k-1)$-colourable. If every $k$-colouring of an $e$-star system can be obtained from some $k$-colouring $φ$ by a permutation of the colours, we say that the system is uniquely $k$-colourable. In this paper, we first show that for any integer $k\geq 2$, there exists a $k$-chromatic 3-star system of order $n$ for all sufficiently large admissible $n$. Next, we generalize this result for $e$-star systems for any $e\geq 3$. We show that for all $k\geq 2$ and $e\geq 3$, there exists a $k$-chromatic $e$-star system of order $n$ for all sufficiently large $n$ such that $n\equiv 0,1$ (mod $2e$). Finally, we prove that for all $k\geq 2$ and $e\geq 3$, there exists a uniquely $k$-chromatic $e$-star system of order $n$ for all sufficiently large $n$ such that $n\equiv 0,1$ (mod $2e$).
The Infinite Limit of Separable Permutations
Published
• View Publication
• BIB
Let $P_n^{\text{sep}}$ denote the uniform probability measure on the set of separable permutations in $S_n$. Let $\mathbb{N}^*=\mathbb{N}\cup\{\infty\}$ with an appropriate metric and denote by
$S(\mathbb{N},\mathbb{N}^*)$ the compact metric space consisting of functions $σ=\{σ_i\}_{ i=1}^\infty$ from $\mathbb{N}$ to $\mathbb{N}^*$ which are injections when restricted to $σ^{-1}(\mathbb{N})$\rm; that is, if $σ_i=σ_j$, $i\neq j$, then $σ_i=\infty$. Extending permutations $σ\in S_n$ by defining $σ_j=j$, for $j>n$, we have $S_n\subset S(\mathbb{N},\mathbb{N}^*)$. We show that $\{P_n^{\text{sep}}\}_{n=1}^\infty$ converges weakly on $S(\mathbb{N},\mathbb{N}^*)$ to a limiting distribution of regenerative type, which we calculate explicitly.
A study on the fixed points of the $γ$ function
Recently a permutation on Dyck paths, related to the chip firing game, was introduced and studied by Barnabei et al.. It is called $γ$-operator, and uses symmetries and reflections to relate Dyck paths having the same length. A relevant research topic concerns the study of the fixed points of $γ$ and a characterization of these objects was provided by Barnabei et al, leaving the problem of their enumeration open. In this paper, using tools from combinatorics of words, we determine new combinatorial properties of the fixed points of $γ$. Then we present an algorithm, denoted by \textbf{GenGammaPath}($t$), which receives as input an array $t=(t_0, \ldots ,t_{k})$ of positive integers and generates all the elements of $F_γ$ with degree $k$.
Further equidistribution of set-valued statistics on permutations
Published
• View Publication
• BIB
We construct bijections to show that two pairs of sextuple set-valued statistics of permutations are equidistributed on symmetric groups. This extends a recent result of Sokal and the second author valid for integer-valued statistics as well as a previous result of Foata and Han for bivariable set-valued statistics.
Permutations in two dimensions that maximally separate neighbors
Published in Electronic Journal of Combinatorics 26 (2019), no. 2, article P2.1, 20 pages
• View Publication
• BIB
We characterize all permutations on even-by-even grids that maximally separate neighboring vertices. More precisely, let $n_1$, $n_2$ be positive even integers, let $I(n_1,n_2)=\{1,\dots,n_1\}\times\{1,\dots,n_2\}$ be the $n_1\times n_2$ grid, let $d$ be the $L_1$ metric on $I(n_1,n_2)$, and let $N=\{\{x,y\}\in I(n_1,n_2)\times I(n_1,n_2):d(x,y)=1\}$ be the set of neighbors in $I(n_1,n_2)$. We characterize all permutations $π$ of $I(n_1,n_2)$ that maximize $\sum_{\{x,y\}\in N} d(π(x),π(y))$.
Popularity of patterns over $d$-equivalence classes of words and permutations
Published
• View Publication
• BIB
Two same length words are $d$-equivalent if they have same descent set and same underlying alphabet. In particular, two same length permutations are $d$-equivalent if they have same descent set. The popularity of a pattern in a set of words is the overall number of copies of the pattern within the words of the set. We show the far-from-trivial fact that two patterns are $d$-equivalent if and only if they are equipopular over any $d$-equivalence class, and this equipopularity does not follow obviously from a trivial equidistribution.
$k$-pop stack sortable permutations and $2$-avoidance
Published
• View Publication
• BIB
We consider permutations sortable by $k$ passes through a deterministic pop stack. We show that for any $k\in\mathbb N$ the set is characterised by finitely many patterns, answering a question of Claesson and Guðmundsson.
Our characterisation demands a more precise definition than in previous literature of what it means for a permutation to avoid a set of barred and unbarred patterns. We propose a new notion called \emph{$2$-avoidance}.
Real Morse polynomials of degrees 5 and 6
Published
• View Publication
• BIB
A real polynomial $p$ of degree $n$ is called a Morse polynomial if its derivative has $n-1$ pairwise differentreal roots and values of $p$ in these roots (critical values) are also pairwise different. The plot of such polynomial is called a "snake". By enumerating critical points and critical values in the increasing order we construct a permutation $a_1,\ldots,a_{n-1}$, where $a_i$ is the number of polynomial's value in $i$-th critical point. This permutation is called the \emph{passport} of the snake (polynomial). In this work for Morse polynomials of degrees 5 and 6 we describe the partition of the coefficient space into domains of constant passport.
Counting Small Permutation Patterns
Published in Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA), 2288-2302, 2021
• View Publication
• BIB
A sample of n generic points in the xy-plane defines a permutation that relates their ranks along the two axes. Every subset of k points similarly defines a pattern, which occurs in that permutation. The number of occurrences of small patterns in a large permutation arises in many areas, including nonparametric statistics. It is therefore desirable to count them more efficiently than the straightforward ~O(n^k) time algorithm.
This work proposes new algorithms for counting patterns. We show that all patterns of order 2 and 3, as well as eight patterns of order 4, can be counted in nearly linear time. To that end, we develop an algebraic framework that we call corner tree formulas. Our approach generalizes the existing methods and allows a systematic study of their scope.
Using the machinery of corner trees, we find twenty-three independent linear combinations of order-4 patterns, that can be computed in time ~O(n). We also describe an algorithm that counts one of the remaining 4-patterns, and hence all 4-patterns, in time ~O(n^(3/2)).
As a practical application, we provide a nearly linear time computation of a statistic by Yanagimoto (1970), Bergsma and Dassios (2010). This statistic yields a natural and strongly consistent variant of Hoeffding's test for independence of X and Y, given a random sample as above. This improves upon the so far most efficient ~O(n^2) algorithm.
On the 12-representability of induced subgraphs of a grid graph
Published
• View Publication
• BIB
The notion of a 12-representable graph was introduced by Jones et al.. This notion generalizes the notions of the much studied permutation graphs and co-interval graphs. It is known that any 12-representable graph is a comparability graph, and also that a tree is 12-representable if and only if it is a double caterpillar. Moreover, Jones et al.\ initiated the study of 12-representability of induced subgraphs of a grid graph, and asked whether it is possible to characterize such graphs. This question in is meant to be about induced subgraphs of a grid graph that consist of squares, which we call square grid graphs. However, an induced subgraph in a grid graph does not have to contain entire squares, and we call such graphs line grid graphs.
In this paper we answer the question of Jones et al.\ by providing a complete characterization of $12$-representable square grid graphs in terms of forbidden induced subgraphs. Moreover, we conjecture such a characterization for the line grid graphs and give a number of results towards solving this challenging conjecture. Our results are a major step in the direction of characterization of all 12-representable graphs since beyond our characterization, we also discuss relations between graph labelings and 12-representability, one of the key open questions in the area.
Crossings over permutations avoiding some pairs of patterns of length three
Published in Journal of Integer Sequences, Vol. 23 (2020), Article 20.6.3
• Search Publication
In this paper, we compute the distributions of the statistic number of crossings over permutations avoiding one of the pairs $\{321,231\}$, $\{123,132\}$ and $\{123,213\}$. The obtained results are new combinatorial interpretations of two known triangles in terms of restricted permutations statistic. For other pairs of patterns of length three, we find relationships between the polynomial distributions of the crossings over permutations that avoid the pairs containing the pattern 231 on the first hand and the pattern 312 on the other hand.
Permutations encoding the local shape of level curves of real polynomials via generic projections
Published in Annales de l'Institut Fourier 2022
• View Publication
• BIB
The non-convexity of a smooth and compact connected component of a real algebraic plane curve can be measured by a combinatorial object called the Poincare-Reeb tree associated to the curve and to a direction of projection. In this paper we show that if the chosen projection avoids the bitangents and the inflectional tangencies to the small enough level curves of a real bivariate polynomial function near a strict local minimum at the origin, then the asymptotic Poincare-Reeb tree becomes a complete binary tree and its vertices become endowed with a total order relation. Such a projection direction is called generic. We prove that for any such asymptotic family of level curves, there are finitely many intervals on the real projective line outside of which all the directions are generic with respect to all the curves in the family. If the choice of the direction of projection is generic, then the local shape of the curves can be encoded in terms of alternating permutations, that we call snakes. The snakes offer an effective description of the local geometry and topology, well-suited for further computations.
Enumerating Permutations and Rim Hooks Characterized by Double Descent Sets
Let $dd(I;n)$ denote the number of permutations of $[n]$ with double descent set $I$. For singleton sets $I$, we present a recursive formula for $dd(I;n)$ and a method to estimate $dd(I;n)$. We also discuss the enumeration of certain classes of rim hooks. Let $\mathcal{R}_I(n)$ denote the set of all rim hooks of length $n$ with double descent set $I$, so that any tableau of one of these rim hooks corresponds to a permutation with double descent set $I$. We present a formula for the size of $\mathcal{R}_I(n)$ when $I$ is a singleton set, and we also present a formula for the size of $\mathcal{R}_I(n)$ when $I$ is the empty set. We additionally present several conjectures about the asymptotics of certain ratios of $dd(I;n)$.
Symmetry groups of boolean functions: simple groups
We consider the problem of characterizing the class of those permutation groups that are the symmetry groups of Boolean functions. These are exactly the automorphism groups of hypergraphs. They are also called the relation groups. In this paper we describe those of them that are simple as abstract groups. This is done by combining results based on the classification of finite simple groups with the description of intransitive actions of simple groups. We also obtain a complete characterization of those simple permutation groups that have regular sets, and prove that (with one exception) if a simple permutation group G is a relation group, then every subgroup of G is a relation group.
Wreath product in automorphism groups of graphs
Published
• View Publication
• BIB
The automorphism group of the composition of graphs $G \circ H$ contains the wreath product $Aut(H) \wr Aut(G)$ of the automorphism groups of the corresponding graphs. The classical problem considered by Sabidussi and Hemminger was under what conditions $G \circ H$ has no other automorphisms. In this paper we deal with the converse. If the automorphism group of a graph (or a colored graph or digraph) is the wreath product $A \wr B$ of permutation groups, then the graph must be the result of the corresponding construction. The question we consider is whether $A$ and $B$ must be the automorphism groups of graphs involved in the construction. We solve this problem, generally in positive, for the wreath product in its natural imprimitive action (which refers to the results by Sabidussi and Hemminger). Yet, we consider also the same problems for the wreath product in its product action, which turns out to be more complicated and leads to interesting open questions involving other combinatorial structures.
Abelian permutation groups with graphical representations
Published
• View Publication
• BIB
In this paper we characterize permutation groups that are automorphism groups of coloured graphs and digraphs and are abelian as abstract groups. This is done in terms of basic permutation group properties. Using Schur's classical terminology, what we provide is characterizations of the classes of 2-closed and $2*$-closed abelian permutation groups. This is the first characterization concerning these classes since they were defined.
Principal specializations of Schubert polynomials and pattern containment
Published
• View Publication
• BIB
We show that the principal specialization of the Schubert polynomial at $w$ is bounded below by $1+p_{132}(w)+p_{1432}(w)$ where $p_u(w)$ is the number of occurrences of the pattern $u$ in $w$, strengthening a previous result by A. Weigandt. We then make a conjecture relating the principal specialization of Schubert polynomials to pattern containment. Finally, we characterize permutations $w$ whose RC-graphs are connected by simple ladder moves via pattern avoidance.