permutation ↗ reference
4945 papers tagged with this keyword
The Benson -- Symonds Invariant for Ordinary and Signed Permutation Modules
Published
• View Publication
• BIB
The signed permutation modules are a simultaneous generalization of the ordinary permutation modules and the twisted permutation modules of the symmetric group. In a recent paper Dave Benson and Peter Symonds defined a new invariant $γ_G(M)$ for a finite dimensional module $M$ of a finite group $G$ which attempts to quantify how close a module is to being projective. In this paper, we determine this invariant for all the signed permutation modules of the symmetric group using tools from representation theory and combinatorics.
The $(l,r)$-Stirling numbers: a combinatorial approach
Published
• View Publication
• BIB
This work deals with a new generalization of $r$-Stirling numbers using $l$-tuple of permutations and partitions called $(l,r)$-Stirling numbers of both kinds. We study various properties of these numbers using combinatorial interpretations and symmetric functions. Also, we give a limit representation of the multiple zeta function using $(l,r)$-Stirling of the first kind.
Parity alternating permutations starting with an odd integer
Published
• View Publication
• BIB
A Parity Alternating Permutation of the set $[n] = \{1, 2,\ldots, n\}$ is a permutation with even and odd entries alternatively. We deal with parity alternating permutations having an odd entry in the first position, PAPs. We study the numbers that count the PAPs with even as well as odd parity. We also study a subclass of PAPs being derangements as well, Parity Alternating Derangements (PADs). Moreover, by considering the parity of these PADs we look into their statistical property of excedance.
Set Partitions and Other Bell Number Enumerated Objects
In this paper, we study classes of subexcedant functions enumerated by the Bell numbers and present bijections on set partitions. We present a set of permutations whose transposition arrays are the restricted growth functions, thus defining Bell permutations of the second kind. We describe a bijection between Bell permutations of the first kind (introduced by Ponti and Vajnovzski) and the second kind. We present two other Bell number enumerated classes of subexcedant functions. Further, we present bijections on set partitions, in particular, an involution that interchanges the set of merging blocks and the set of successions. We use the bijections to enumerate the distribution of these statistics over the set of set partitions, and also give some enumeration results.
Merging-Free Partitions and Run-Sorted Permutations
In this paper, we study merging-free partitions with their canonical forms and run-sorted permutations. We give a combinatorial proof of the conjecture made by Nabawanda et al. We describe the distribution of the statistics of runs and right-to-left minima over the set of run-sorted permutations and we give the exponential generating function for their joint distribution. We show the number of right-to-left minima is given by the shifted distribution of the Stirling number of the second kind. We also prove that the non-crossing merging-free partitions are enumerated by powers of 2. We use one of the constructive proofs given in the paper to implement an algorithm for the exhaustive generation of run-sorted permutations by number of runs.
Statistics on permutations with bounded drop size
Permutations with bounded drop size, which we also call bounded permutations, was introduced by Chung, Claesson, Dukes and Graham. Petersen introduced a new Mahonian statistic the sorting index, which is denoted by $\sor$. Meanwhile, Wilson introduced the statistic $\DIS$, which turns out to satisfy that
$\sor(σ)=\DIS(σ^{-1})$ for any permutation $σ$. In this paper, we maintain Petersen's method to deduce the generating functions of $(\inv, \lmax)$ and $(\DIS, \cyc)$ over bounded permutations to show their equidistribution. Moreover, the generating function of $\des$ over $213$-avoiding bounded permutations and some related equidistributions are given as well.
Improved Rank-Modulation Codes for DNA Storage with Shotgun Sequencing
Published
• View Publication
• BIB
We study permutations over the set of $\ell$-grams, that are feasible in the sense that there is a sequence whose $\ell$-gram frequency has the same ranking as the permutation. Codes, which are sets of feasible permutations, protect information stored in DNA molecules using the rank-modulation scheme, and read using the shotgun sequencing technique. We construct systematic codes with an efficient encoding algorithm, and show that they are optimal in size. The length of the DNA sequences that correspond to the codewords is shown to be polynomial in the code parameters. Non-systematic with larger size are also constructed.
Finite permutation groups containing a regular dihedral subgroup
We present a characterization of finite permutation groups which contain a transitive dihedral subgroup.
Dihedral and cyclic symmetric maps on surfaces
Published
• View Publication
• BIB
If the face\mbox{-}cycles at all the vertices in a map are of the same type, then the map is said to be a semi-equivelar map. Automorphism (symmetry) of a map can be thought of as a permutation of the vertices which preserves the vertex\mbox{-}edge\mbox{-}face incidences in the embedding. The set of all symmetries forms the symmetry group. In this article, we discuss the maps' symmetric groups on higher genus surfaces. In particular, we show that there are at least $39$ types of the semi-equivelar maps on the surface with Euler char. $-2m, m \ge 2$ and the symmetry groups of the maps are isomorphic to the dihedral group or cyclic group. Further, we prove that these $39$ types of semi-equivelar maps are the only types on the surface with Euler char. $-2$. Moreover, we know the complete list of semi-equivelar maps (up to isomorphism) for a few types. We extend this list to one more type and can classify others similarly. We skip this part in this article.
Convex $(0,1)$-Matrices and Their Epitopes
We investigate $(0,1)$-matrices that are {\em convex}, which means that the ones are consecutive in every row and column. These matrices occur in discrete tomography. The notion of ranked essential sets, known for permutation matrices, is extended to convex sets. We show a number of results for the class $\mc{C}(R,S)$ of convex matrices with given row and column sum vectors $R$ and $S$. Also, it is shown that the ranked essential set uniquely determines a matrix in $\mc{C}(R,S)$.
The set of ratios of derangements to permutations in digraphs is dense in $[0, 1/2]$
Published
• View Publication
• BIB
A permutation in a digraph $G=(V, E)$ is a bijection $f:V \rightarrow V$ such that for all $v \in V$ we either have that $f$ fixes $v$ or $(v, f(v)) \in E$. A derangement in $G$ is a permutation that does not fix any vertex. In [1] it is proved that in any digraph, the ratio of derangements to permutations is at most $1/2$. Answering a question posed in [1], we show that the set of possible ratios of derangements to permutations in digraphs is dense in the interval $[0, 1/2]$.
Toward permutation bases in the equivariant cohomology rings of regular semisimple Hessenberg varieties
Published in La Matematica, 2021
• View Publication
• BIB
Recent work of Shareshian and Wachs, Brosnan and Chow, and Guay-Paquet connects the well-known Stanley-Stembridge conjecture in combinatorics to the dot action of the symmetric group $S_n$ on the cohomology rings $H^*(Hess(S,h))$ of regular semisimple Hessenberg varieties. In particular, in order to prove the Stanley-Stembridge conjecture, it suffices to construct (for any Hessenberg function $h$) a permutation basis of $H^*(Hess(S,h))$ whose elements have stabilizers isomorphic to Young subgroups. In this manuscript we give several results which contribute toward this goal. Specifically, in some special cases, we give a new, purely combinatorial construction of classes in the $T$-equivariant cohomology ring $H^*_T(Hess(S,h))$ which form permutation bases for subrepresentations in $H^*_T(Hess(S,h))$. Moreover, from the definition of our classes it follows that the stabilizers are isomorphic to Young subgroups. Our constructions use a presentation of the $T$-equivariant cohomology rings $H^*_T(Hess(S,h))$ due to Goresky, Kottwitz, and MacPherson. The constructions presented in this manuscript generalize past work of Abe-Horiguchi-Masuda, Chow, and Cho-Hong-Lee.
The diagonal graph
According to the O'Nan--Scott Theorem, a finite primitive permutation group either preserves a structure of one of three types (affine space, Cartesian lattice, or diagonal semilattice), or is almost simple. However, diagonal groups are a much larger class than those occurring in this theorem. For any positive integer $m$ and group $G$ (finite or infinite), there is a diagonal semilattice, a sub-semilattice of the lattice of partitions of a set $Ω$, whose automorphism group is the corresponding diagonal group. Moreover, there is a graph (the diagonal graph), bearing much the same relation to the diagonal semilattice and group as the Hamming graph does to the Cartesian lattice and the wreath product of symmetric groups.
Our purpose here, after a brief introduction to this semilattice and graph, is to establish some properties of this graph. The diagonal graph $Γ_D(G,m)$ is a Cayley graph for the group~$G^m$, and so is vertex-transitive. We establish its clique number in general and its chromatic number in most cases, with a conjecture about the chromatic number in the remaining cases. We compute the spectrum of the adjacency matrix of the graph, using a calculation of the Möbius function of the diagonal semilattice. We also compute some other graph parameters and symmetry properties of the graph.
We believe that this family of graphs will play a significant role in algebraic graph theory.
Distance-regular graphs obtained from the Mathieu groups
In this paper we construct distance-regular graphs admitting a transitive action of the five sporadic simple groups discovered by E. Mathieu, the Mathieu groups $M_{11}$, $M_{12}$, $M_{22}$, $M_{23}$ and $M_{24}$. From the code spanned by the adjacency matrix of the strongly regular graph with parameters (176,70,18,34) we obtain block designs having the full automorphism groups isomorphic to the Higman-Sims finite simple group. Further, we discuss a possibility of permutation decoding of the codes spanned by the adjacency matrices of the graphs constructed and find small PD-sets for some of the codes.
Transformation à la Foata for special kinds of descents and excedances
Published
• View Publication
• BIB
A pure excedance in a permutation $π=π_1π_2\ldots π_n$ is a position $i<π_i$ such that there is no $j<i$ with $i\leq π_j<π_i$. We present a one-to-one correspondence on the symmetric group that transports pure excedances to descents of special kind. As a byproduct, we prove that the popularity of pure excedances equals those of pure descents on permutations, while their distributions are different.
Existence results for cyclotomic orthomorphisms
Published in J. Algebr. Comb. 46 (2017), 1-14
• View Publication
• BIB
An {\em orthomorphism} over a finite field $\mathbb{F}$ is a permutation $θ:\mathbb{F}\mapsto\mathbb{F}$ such that the map $x\mapstoθ(x)-x$ is also a permutation of $\mathbb{F}$. The orthomorphism $θ$ is {\em cyclotomic of index $k$} if $θ(0)=0$ and $θ(x)/x$ is constant on the cosets of a subgroup of index $k$ in the multiplicative group $\mathbb{F}^*$. We say that $θ$ has {\em least index} $k$ if it is cyclotomic of index $k$ and not of any smaller index. We answer an open problem due to Evans by establishing for which pairs $(q,k)$ there exists an orthomorphism over $\mathbb{F}_q$ that is cyclotomic of least index $k$.
Two orthomorphisms over $\mathbb{F}_q$ are orthogonal if their difference is a permutation of $\mathbb{F}_q$. For any list $[b_1,\dots,b_n]$ of indices we show that if $q$ is large enough then $\mathbb{F}_q$ has pairwise orthogonal orthomorphisms of least indices $b_1,\dots,b_n$. This provides a partial answer to another open problem due to Evans. For some pairs of small indices we establish exactly which fields have orthogonal orthomorphisms of those indices. We also find the number of linear orthomorphisms that are orthogonal to certain cyclotomic orthomorphisms of higher index.
Permutations with exactly one copy of a decreasing pattern of length k
We construct an injection from the set of permutations of length $n$ that contain exactly one copy of the decreasing pattern of length $k$ to the set of permutations of length $n+2$ that avoid that pattern. We then prove that the generating function counting the former is not rational, and in the case when $k$ is even and $k\geq 4$, it is not even algebraic. We extend our injection and our nonrationality result to a larger class of patterns.
From Hertzsprung's problem to pattern-rewriting systems
Published
• View Publication
• BIB
Drawing on a problem posed by Hertzsprung in 1887, we say that a given permutation $π\in\mathcal{S}_n$ contains the Hertzsprung pattern $σ\in\mathcal{S}_k$ if there is factor $π(d+1)π(d+2)\cdotsπ(d+k)$ of $π$ such that $π(d+1)-σ(1) =\cdots = π(d+k)-σ(k)$. Using a combination of the Goulden-Jackson cluster method and the transfer-matrix method we determine the joint distribution of occurrences of any set of (incomparable) Hertzsprung patterns, thus substantially generalizing earlier results by Jackson et al. on the distribution of ascending and descending runs in permutations. We apply our results to the problem of counting permutations up to pattern-replacement equivalences, and using pattern-rewriting systems -- a new formalism similar to the much studied string-rewriting systems -- we solve a couple of open problems raised by Linton et al. in 2012.
Maximal discrete sets
Published in Set Theory and Infinity, RIMS Kôkyûroku No.2164, 2019
• Search Publication
We survey results regarding the definability and size of maximal discrete sets in analytic hypergraphs. Our main examples include maximal almost disjoint (or mad) families, $\mathcal I$-mad families, maximal eventually different families, and maximal cofinitary groups. We discuss the non-increasing sequence of cardinal characteristics $\mathfrak a_ξ$, for $ξ<ω_1$ as well as the notions of spectra of characteristics and optimal projective witnesses. We give an account of Zhang's forcing to add generic cofinitary permutations, and of a version of this forcing with built-in coding.
Matrix patterns with bounded saturation function
A 0-1 matrix $M$ contains a 0-1 matrix pattern $P$ if we can obtain $P$ from $M$ by deleting rows and/or columns and turning arbitrary 1-entries into 0s. The saturation function $\mathrm{sat}(P,n)$ for a 0-1 matrix pattern $P$ indicates the minimum number of 1s in a $n \times n$ 0-1 matrix that does not contain $P$, but changing any 0-entry into a 1-entry creates an occurrence of $P$. Fulek and Keszegh recently showed that the saturation function is either bounded or in $Θ(n)$. Building on their results, we find a large class of patterns with bounded saturation function, including both infinitely many permutation matrices and infinitely many non-permutation matrices.