permutation ↗ reference
4945 papers tagged with this keyword
Cycle structure of autotopisms of quasigroups and Latin squares
Published in Journal of Combinatorial Designs 20 (2012), no. 5, 227-263
• View Publication
• BIB
An autotopism of a Latin square is a triple $(α,β,γ)$ of permutations such that the Latin square is mapped to itself by permuting its rows by $α$, columns by $β$, and symbols by $γ$. Let $\mathrm{Atp}(n)$ be the set of all autotopisms of Latin squares of order $n$. Whether a triple $(α,β,γ)$ of permutations belongs to $\mathrm{Atp}(n)$ depends only on the cycle structures of $α$, $β$ and $γ$. We establish a number of necessary conditions for $(α,β,γ)$ to be in $\mathrm{Atp}(n)$, and use them to determine $\mathrm{Atp}(n)$ for $n\le17$. For general $n$ we determine if $(α,α,α)\in\mathrm{Atp}(n)$ (that is, if $α$ is an automorphism of some quasigroup of order $n$), provided that either $α$ has at most three cycles other than fixed points or that the non-fixed points of $α$ are in cycles of the same length.
An application of the Local C(G,T) Theorem to a conjecture of Weiss
Published
• View Publication
• BIB
Let $Γ$ be a connected $G$-vertex-transitive graph, let $v$ be a vertex of $Γ$ and let $G_v^{Γ(v)}$ be the permutation group induced by the action of the vertex-stabiliser $G_v$ on the neighbourhood $Γ(v)$. The graph $Γ$ is said to be $G$-\emph{locally primitive} if $G_v^{Γ(v)}$ is primitive.
Richard Weiss conjectured in $1978$ that, there exists a function $f:\mathbb{N}\to \mathbb{N}$ such that, if $Γ$ is a connected $G$-vertex-transitive locally primitive graph of valency $d$ and $v$ is a vertex of $Γ$ with $|G_v|$ finite, then $|G_v|\leq f(d)$. As an application of the Local $C(G,T)$ Theorem, we prove this conjecture when $G_v^{Γ(v)}$ contains an abelian regular subgroup. In fact, we show that the point-wise stabiliser in $G$ of a ball of $Γ$ of radius $4$ is the identity subgroup.
On uniquely 3-colorable plane graphs without prescribed adjacent faces
Published
• View Publication
• BIB
A graph $G$ is \emph{uniquely k-colorable} if the chromatic number of $G$ is $k$ and $G$ has only one $k$-coloring up to permutation of the colors. For a plane graph $G$, two faces $f_1$ and $f_2$ of $G$ are \emph{adjacent $(i,j)$-faces} if $d(f_1)=i$, $d(f_2)=j$ and $f_1$ and $f_2$ have a common edge, where $d(f)$ is the degree of a face $f$. In this paper, we prove that every uniquely 3-colorable plane graph has adjacent $(3,k)$-faces, where $k\leq 5$. The bound 5 for $k$ is best possible. Furthermore, we prove that there exist a class of uniquely 3-colorable plane graphs having neither adjacent $(3,i)$-faces nor adjacent $(3,j)$-faces, where $i,j\in \{3,4,5\}$ and $i \neq j$. One of our constructions implies that there exist an infinite family of edge-critical uniquely 3-colorable plane graphs with $n$ vertices and $\frac{7}{3}n-\frac{14}{3}$ edges, where $n(\geq 11)$ is odd and $n\equiv 2\pmod{3}$.
An extension of the classification of high rank regular polytopes
Published
• View Publication
• BIB
Up to isomorphism and duality, there are exactly two non-degenerate abstract regular polytopes of rank greater than $n-3$, one of rank $n-1$ and one of rank $n-2$, with automorphism groups that are transitive permutation groups of degree $n\geq 7$. In this paper we extend this classification of high rank regular polytopes to include the ranks $n-3$ and $n-4$. The result is, up to a isomorphism and duality, seven abstract regular polytopes of rank $n-3$ for each $n\geq 9$, and nine abstract regular polytopes of rank $n-4$ for each $n \geq 11$. Moreover we show that if a transitive permutation group $Γ$ of degree $n \geq 11$ is the automorphism group of an abstract regular polytope of rank at least $n-4$, then $Γ\cong S_n$.
A Secretary Problem with a Sliding Window for Recalling Applicants
The Sliding Window Secretary Problem allows a window of choices to the Classical Secretary Problem, in which there is the option to choose the previous $K$ choices immediately prior to the current choice. We consider a case of this sequential choice problem in which the interviewer has a finite, known number of choices and can only discern the relative ranks of choices, and in which every permutation of ranks is equally likely. We examine three cases of the problem: (i) the interviewer has one choice to choose the best applicant; (ii) the interviewer has one choice to choose one of the top two applicants; and (iii) the interviewer has two choices to choose the best applicant. The form of the optimal strategy is shown, the probability of winning as a function of the window size is derived, and the limiting behavior is discussed for all three cases.
Schur-positive sets of permutations via products of grid classes
Published
• View Publication
• BIB
Characterizing sets of permutations whose associated quasisymmetric function is symmetric and Schur-positive is a long-standing problem in algebraic combinatorics. In this paper we present a general method to construct Schur-positive sets and multisets, based on geometric grid classes and the product operation. Our approach produces many new instances of Schur-positive sets, and provides a broad framework that explains the existence of known such sets that until now were sporadic cases.
Two descent statistics over 321-avoiding centrosymmetric involutions
Published
• View Publication
• BIB
Centrosymmetric involutions in the symmetric group S_{2n} are permutations πsuch that π=π^{-1} and π(i)+π(2n+1-i)=2n+1 for all i, and they are in bijection with involutions of the hyperoctahedral group. We describe the distribution of some natural descent statistics on 321-avoiding centrosymmetric involutions, including the number of descents in the first half of the involution, and the sum of the positions of these descents. Our results are based on two new bijections, one between centrosymmetric involutions in S_{2n} and subsets of {1,...,n}, and another one showing that certain statistics on Young diagrams that fit inside a rectangle are equidistributed. We also use the latter bijection to refine a known result stating that the distribution of the major index on 321-avoiding involutions is given by the q-analogue of the central binomial coefficients.
Dual braid monoids, Mikado braids and positivity in Hecke algebras
Published in Math. Z. 285 (2017) 215--238
• View Publication
• BIB
We study the rational permutation braids, that is the elements of an Artin-Tits group of spherical type which can be written $x^{-1} y$ where $x$ and $y$ are prefixes of the Garside element of the braid monoid. We give a geometric characterization of these braids in type $A_n$ and $B_n$ and then show that in spherical types different from $D_n$ the simple elements of the dual braid monoid (for arbitrary choice of Coxeter element) embedded in the braid group are rational permutation braids (we conjecture this to hold also in type $D_n$).This property implies positivity properties of the polynomials arising in the linear expansion of their images in the Iwahori-Hecke algebra when expressed in the Kazhdan-Lusztig basis. In type $A_n$, it implies positivity properties of their images in the Temperley-Lieb algebra when expressed in the diagram basis.
On the Existence of Generalized Parking Spaces for Complex Reflection Groups
Let $W$ be an irreducible finite complex reflection group acting on a complex vector space $V$. For a positive integer $k$, we consider a class function $\varphi_k$ given by $\varphi_k(w) = k^{\dim V^w}$ for $w \in W$, where $V^w$ is the fixed-point subspace of $w$. If $W$ is the symmetric group of $n$ letters and $k=n+1$, then $\varphi_{n+1}$ is the permutation character on (classical) parking functions. In this paper, we give a complete answer to the question when $\varphi_k$ (resp. its $q$-analogue) is the character of a representation (resp. the graded character of a graded representation) of $W$. As a key to the proof in the symmetric group case, we find the greatest common divisors of specialized Schur functions. And we propose a unimodality conjecture of the coefficients of certain quotients of principally specialized Schur functions.
Lattice Paths, Young Tableaux, and Weight Multiplicities
Published
• View Publication
• BIB
For $\ell \geq 1$ and $k \geq 2$, we consider certain admissible sequences of $k-1$ lattice paths in a colored $\ell \times \ell$ square. We show that the number of such admissible sequences of lattice paths is given by the sum of squares of the number of standard Young tableaux of partitions of $\ell$ with height $\leq k$, which is also the number of $(k+1)k\cdots21$-avoiding permutations of $\{1, 2, \ldots, \ell\}$. Finally, we apply this result to the representation theory of the affine Lie algebra $\widehat{sl}(n)$ and show that this quantity gives the multiplicity of certain maximal dominant weights in the irreducible module $V(kΛ_0)$.
An extension of MacMahon's Equidistribution Theorem to ordered multiset partitions
Published
• View Publication
• BIB
A classical result of MacMahon states that inversion number and major index have the same distribution over permutations of a given multiset. In this work we prove a strengthening of this theorem originally conjectured by Haglund. Our result can be seen as an equidistribution theorem over the ordered partitions of a multiset into sets, which we call ordered multiset partitions. Our proof is bijective and involves a new generalization of Carlitz's insertion method. This generalization leads to a new extension of Macdonald polynomials for hook shapes. We use our main theorem to show that these polynomials are symmetric and we give their Schur expansion.
The structure of the consecutive pattern poset
Published in International Mathematics Research Notices, 2018 (7), 2099-2034
• View Publication
• BIB
The consecutive pattern poset is the infinite partially ordered set of all permutations where $σ\leτ$ if $τ$ has a subsequence of adjacent entries in the same relative order as the entries of $σ$. We study the structure of the intervals in this poset from topological, poset-theoretic, and enumerative perspectives. In particular, we prove that all intervals are rank-unimodal and strongly Sperner, and we characterize disconnected and shellable intervals. We also show that most intervals are not shellable and have Möbius function equal to zero.
Sorting Index and Mahonian-Stirling Pairs for Labeled Forests
Published
• View Publication
• BIB
Björner and Wachs defined a major index for labeled plane forests and showed that it has the same distribution as the number of inversions. We define and study the distributions of a few other natural statistics on labeled forests. Specifically, we introduce the notions of bottom-to-top maxima, cyclic bottom-to-top maxima, sorting index, and cycle minima. Then we show that the pairs (inv, Bt-max), (sor, Cyc), and (maj, Cbt-max) are equidistributed. Our results extend the result of Björner and Wachs and generalize results for permutations. We also introduce analogous statistics for signed labeled forests and show equidistribution results which generalize results for signed permutations.
Snow Leopard Permutations and Their Even and Odd Threads
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 2, Permutation Patterns 2015, Permutation Patterns (June 1, 2016) dmtcs:1279
• View Publication
• BIB
Caffrey, Egge, Michel, Rubin and Ver Steegh recently introduced snow leopard permutations, which are the anti-Baxter permutations that are compatible with the doubly alternating Baxter permutations. Among other things, they showed that these permutations preserve parity, and that the number of snow leopard permutations of length $2n-1$ is the Catalan number $C_n$. In this paper we investigate the permutations that the snow leopard permutations induce on their even and odd entries; we call these the even threads and the odd threads, respectively. We give recursive bijections between these permutations and certain families of Catalan paths. We characterize the odd (resp. even) threads which form the other half of a snow leopard permutation whose even (resp. odd) thread is layered in terms of pattern avoidance, and we give a constructive bijection between the set of permutations of length $n$ which are both even threads and odd threads and the set of peakless Motzkin paths of length $n+1$.
Max Point-Tolerance Graphs
Published
• View Publication
• BIB
A graph $G$ is a \emph{max point-tolerance (MPT)} graph if each vertex $v$ of $G$ can be mapped to a \emph{pointed-interval} $(I_v, p_v)$ where $I_v$ is an interval of $\mathbb{R}$ and $p_v \in I_v$ such that $uv$ is an edge of $G$ iff $I_u \cap I_v \supseteq \{p_u, p_v\}$. MPT graphs model relationships among DNA fragments in genome-wide association studies as well as basic transmission problems in telecommunications. We formally introduce this graph class, characterize it, study combinatorial optimization problems on it, and relate it to several well known graph classes. We characterize MPT graphs as a special case of several 2D geometric intersection graphs; namely, triangle, rectangle, L-shape, and line segment intersection graphs. We further characterize MPT as having certain linear orders on their vertex set. Our last characterization is that MPT graphs are precisely obtained by intersecting special pairs of interval graphs. We also show that, on MPT graphs, the maximum weight independent set problem can be solved in polynomial time, the coloring problem is NP-complete, and the clique cover problem has a 2-approximation. Finally, we demonstrate several connections to known graph classes; e.g., MPT graphs strictly contain interval graphs and outerplanar graphs, but are incomparable to permutation, chordal, and planar graphs.
Representing Permutations with Few Moves
Published
• View Publication
• BIB
Consider a finite sequence of permutations of the elements 1,...,n, with the property that each element changes its position by at most 1 from any permutation to the next. We call such a sequence a tangle, and we define a move of element i to be a maximal subsequence of at least two consecutive permutations during which its positions form an arithmetic progression of common difference +1 or -1. We prove that for any initial and final permutations, there is a tangle connecting them in which each element makes at most 5 moves, and another in which the total number of moves is at most 4n. On the other hand, there exist permutations that require at least 3 moves for some element, and at least 2n-2 moves in total. If we further require that every pair of elements exchange positions at most once, then any two permutations can be connected by a tangle with at most O(log n) moves per element, but we do not know whether this can be reduced to O(1) per element, or to O(n) in total. A key tool is the introduction of certain restricted classes of tangle that perform pattern-avoiding permutations.
Permutations $r_j$ such that $\sum_{i=1}^n \prod_{j=1}^k r_j(i)$ is maximized or minimized
We consider the problem of finding the set of permutations $r_j$ of $\{1,\cdots , n\}$ such that $\sum_{i=1}^n \prod_{j=1}^k r_j(i)$ is maximized or minimized. While the set of permutations maximizing this value are easily determined, finding the set of permutations minimizing this value appears to be an open problem. We show values of $k$ and $n$ for which an explicit solution exists and comment on computational issues in determining the general problem. We also look at the dual problem of finding the permutations such that $\prod_{i=1}^n \sum_{j=1}^k r_j(i)$ is maximized or minimized. As part of this study we also look at a variant of a rearrangement inequality.
Permutation totally symmetric self-complementary plane partitions
Published in Ann. Comb. 22 (2018), no. 3, 641-671
• View Publication
• BIB
Alternating sign matrices and totally symmetric self-complementary plane partitions are equinumerous sets of objects for which no explicit bijection is known. In this paper, we identify a subset of totally symmetric self-complementary plane partitions corresponding to permutations by giving a statistic-preserving bijection to permutation matrices, which are a subset of alternating sign matrices. We use this bijection to define a new partial order on permutations, and prove this new poset contains both the Tamari lattice and the Catalan distributive lattice as subposets. We also study a new partial order on totally symmetric self-complementary plane partitions arising from this perspective and show that this is a distributive lattice related to Bruhat order when restricted to permutations.
Accessible Proof of Standard Monomial Basis for Coordinatization of Schubert Sets of Flags
Published
• View Publication
• BIB
The main results of this paper are accessible with only basic linear algebra. Given an increasing sequence of dimensions, a flag in a vector space is an increasing sequence of subspaces with those dimensions. The set of all such flags (the flag manifold) can be projectively coordinatized using products of minors of a matrix. These products are indexed by tableaux on a Young diagram. A basis of "standard monomials" for the vector space generated by such projective coordinates over the entire flag manifold has long been known. A Schubert variety is a subset of flags specified by a permutation. Lakshmibai, Musili, and Seshadri gave a standard monomial basis for the smaller vector space generated by the projective coordinates restricted to a Schubert variety. Reiner and Shimozono made this theory more explicit by giving a straightening algorithm for the products of the minors in terms of the right key of a Young tableau. Since then, Willis introduced scanning tableaux as a more direct way to obtain right keys. This paper uses scanning tableaux to give more-direct proofs of the spanning and the linear independence of the standard monomials. In the appendix it is noted that this basis is a weight basis for the dual of a Demazure module for a Borel subgroup of GL(n). This paper contains a complete proof that the characters of these modules (the key polynomials) can be expressed as the sums of the weights for the tableaux used to index the standard monomial bases.
A note on the product of two permutations of prescribed orders
Published in J.Europ.Combin. (2016), p.50-56
• Search Publication
We prove a conjecture by Stefan Kohl on the existence of triples of permutations of bounded degree with prescribed orders and product 1. This result leads to an existence result for covers of the complex projective line with bounded degree and prescribed ramification indices.