permutation ↗ reference
4849 papers tagged with this keyword
On extendability of permutations
Let $V$ be a left vector space over a division ring and let ${\mathcal P}(V)$ be the associated projective space. We describe all finite subsets $X\subset V$ such that every permutation on $X$ can be extended to a linear automorphism of $V$ and all finite subsets ${\mathcal X}\subset {\mathcal P}(V)$ such that every permutation on ${\mathcal X}$ can be extended to an element of ${\rm PGL}(V)$. Also, we reformulate the results in terms of linear and projective representations of symmetric groups.
Comply subtraction games avoiding arithmetic progressions
Impartial subtraction games on the nonnegative integers have been studied by many and discussed in detail in for example the remarkable work Winning Ways by Conway, Berlekamp and Guy. We describe how comply variations of these games, similar to those introduced by Holshouser, Reiter, Smith, Stănică, can be defined as having its sets of winning positions identical to well-known sets avoiding arithmetic progressions such as $x+z=2y$, studied by Szerkeres, Erd\H os and Turán, and many others, thus exploring a new territory combining ideas from combinatorial games and combinatorial number theory. The sets we have in mind are greedy, that is, for our example: recursively a new nonnegative integer is included to the set if and only if it does not form a three term arithmetic progression with the smaller entries. It is known that the set thus obtained is equivalent to the following log-linear time closed expression: each winning position contains exclusively the digits 0 and 1 in base 3 expansion. In fact this set is impossible as a set of winning positions for a classical subtraction game, in a sense introduced recently by Duchêne and Rigo. Therefore our comply-rule generalization of the subtraction games can be seen to resolve new classes of sets as winning positions for heap games. In this context the $\star$-operator for invariant subtraction games was introduced by Larsson, Hegarty and Fraenkel. We define a similar operator for our game. Our comply games generalize into several dimensions. In two dimensions the winning positions can be represented by certain greedy permutations avoiding arithmetic progressions, one of which was recently introduced by Hegarty; while others generalize classical combinatorial games such as Nim and Wythoff Nim.
Markov Chains on Orbits of Permutation Groups
We present a novel approach to detecting and utilizing symmetries in probabilistic graphical models with two main contributions. First, we present a scalable approach to computing generating sets of permutation groups representing the symmetries of graphical models. Second, we introduce orbital Markov chains, a novel family of Markov chains leveraging model symmetries to reduce mixing times. We establish an insightful connection between model symmetries and rapid mixing of orbital Markov chains. Thus, we present the first lifted MCMC algorithm for probabilistic graphical models. Both analytical and empirical results demonstrate the effectiveness and efficiency of the approach.
On the combinatorics of suffix arrays
Published
• View Publication
• BIB
We prove several combinatorial properties of suffix arrays, including a characterization of suffix arrays through a bijection with a certain well-defined class of permutations. Our approach is based on the characterization of Burrows-Wheeler arrays given in [1], that we apply by reducing suffix sorting to cyclic shift sorting through the use of an additional sentinel symbol. We show that the characterization of suffix arrays for a special case of binary alphabet given in [2] easily follows from our characterization. Based on our results, we also provide simple proofs for the enumeration results for suffix arrays, obtained in [3]. Our approach to characterizing suffix arrays is the first that exploits their relationship with Burrows-Wheeler permutations.
Invariant measures concentrated on countable structures
Published in Forum of Mathematics Sigma 4 (2016), e17, 59 pp
• View Publication
• BIB
Let L be a countable language. We say that a countable infinite L-structure M admits an invariant measure when there is a probability measure on the space of L-structures with the same underlying set as M that is invariant under permutations of that set, and that assigns measure one to the isomorphism class of M. We show that M admits an invariant measure if and only if it has trivial definable closure, i.e., the pointwise stabilizer in Aut(M) of an arbitrary finite tuple of M fixes no additional points. When M is a Fraisse limit in a relational language, this amounts to requiring that the age of M have strong amalgamation. Our results give rise to new instances of structures that admit invariant measures and structures that do not.
The enumeration of three pattern classes
Published
• View Publication
• BIB
The structure of three pattern classes Av(2143, 4321), Av(2143, 4312) and Av(1324, 4312) is determined using the machinery of monotone grid classes. This allows the permutations in these classes to be described in terms of simple diagrams and regular languages and, using this, the rational generating functions which enumerate these classes are determined.
On 021-Avoiding Ascent Sequences
Published
• View Publication
• BIB
Ascent sequences were introduced by Bousquet-Mélou, Claesson, Dukes and Kitaev in their study of $(\bf{2+2})$-free posets. An ascent sequence of length $n$ is a nonnegative integer sequence $x=x_{1}x_{2}... x_{n}$ such that $x_{1}=0$ and $x_{i}\leq \asc(x_{1}x_{2}...x_{i-1})+1$ for all $1<i\leq n$, where $\asc(x_{1}x_{2}...x_{i-1})$ is the number of ascents in the sequence $x_{1}x_{2}... x_{i-1}$. We let $\cA_n$ stand for the set of such sequences and use $\cA_n(p)$ for the subset of sequences avoiding a pattern $p$. Similarly, we let $S_{n}(τ)$ be the set of $τ$-avoiding permutations in the symmetric group $S_{n}$. Duncan and Steingrímsson have shown that the ascent statistic has the same distribution over $\cA_n(021)$ as over $S_n(132)$. Furthermore, they conjectured that the pair $(\asc, \rlm)$ is equidistributed over $\cA_n(021)$ and $S_n(132)$ where $\rlm$ is the right-to-left minima statistic. We prove this conjecture by constructing a bistatistic-preserving bijection.
Lattice Point Generating Functions and Symmetric Cones
Published in Journal of Algebraic Combinatorics 38, no. 3 (2013), 543-566
• View Publication
• BIB
We show that a recent identity of Beck-Gessel-Lee-Savage on the generating function of symmetrically contrained compositions of integers generalizes naturally to a family of convex polyhedral cones that are invariant under the action of a finite reflection group. We obtain general expressions for the multivariate generating functions of such cones, and work out the specific cases of a symmetry group of type A (previously known) and types B and D (new). We obtain several applications of the special cases in type B, including identities involving permutation statistics and lecture hall partitions.
Cycles and sorting index for matchings and restricted permutations
We prove that the Mahonian-Stirling pairs of permutation statistics $(\sor, \cyc)$ and $(\inv, \mathrm{rlmin})$ are equidistributed on the set of permutations that correspond to arrangements of $n$ non-atacking rooks on a Ferrers board with $n$ rows and $n$ columns. The proofs are combinatorial and use bijections between matchings and Dyck paths and a new statistic, sorting index for matchings, that we define. We also prove a refinement of this equidistribution result which describes the minimal elements in the permutation cycles and the right-to-left minimum letters. Moreover, we define a sorting index for bicolored matchings and use it to show analogous equidistribution results for restricted permutations of type $B_n$ and $D_n$.
Counting Dyck paths by area and rank
Published
• View Publication
• BIB
The set of Dyck paths of length $2n$ inherits a lattice structure from a bijection with the set of noncrossing partitions with the usual partial order. In this paper, we study the joint distribution of two statistics for Dyck paths: \emph{area} (the area under the path) and \emph{rank} (the rank in the lattice).
While area for Dyck paths has been studied, pairing it with this rank function seems new, and we get an interesting $(q,t)$-refinement of the Catalan numbers. We present two decompositions of the corresponding generating function: one refines an identity of Carlitz and Riordan; the other refines the notion of $γ$-nonnegativity, and is based on a decomposition of the lattice of noncrossing partitions due to Simion and Ullman.
Further, Biane's correspondence and a result of Stump allow us to conclude that the joint distribution of area and rank for Dyck paths equals the joint distribution of length and reflection length for the permutations lying below the $n$-cycle $(12...n)$ in the absolute order on the symmetric group.
Permutations all of whose patterns of a given length are distinct
Published
• View Publication
• BIB
For each integer k >= 2, let F(k) denote the largest n for which there exists a permutation σ\in S_n, all of whose patterns of length k are distinct. We prove that F(k) = k + \lfloor \sqrt{2k-3} \rfloor + e_k, where e_k \in {-1,0} for every k. Suggestions for further investigations along these lines are discussed.
The Sorting Index and Permutation Codes
Published
• View Publication
• BIB
In the combinatorial study of the coefficients of a bivariate polynomial that generalizes both the length and the reflection length generating functions for finite Coxeter groups, Petersen introduced a new Mahonian statistic $sor$, called the sorting index. Petersen proved that the pairs of statistics $(sor,cyc)$ and $(inv,rl\textrm{-}min)$ have the same joint distribution over the symmetric group, and asked for a combinatorial proof of this fact. In answer to the question of Petersen, we observe a connection between the sorting index and the B-code of a permutation defined by Foata and Han, and we show that the bijection of Foata and Han serves the purpose of mapping $(inv,rl\textrm{-}min)$ to $(sor,cyc)$. We also give a type $B$ analogue of the Foata-Han bijection, and we derive the quidistribution of $(inv_B,{\rm Lmap_B},{\rm Rmil_B})$ and $(sor_B,{\rm Lmap_B},{\rm Cyc_B})$ over signed permutations. So we get a combinatorial interpretation of Petersen's equidistribution of $(inv_B,nmin_B)$ and $(sor_B,l_B')$. Moreover, we show that the six pairs of set-valued statistics $\rm (Cyc_B,Rmil_B)$, $\rm(Cyc_B,Lmap_B)$, $\rm(Rmil_B,Lmap_B)$, $\rm(Lmap_B,Rmil_B)$, $\rm(Lmap_B,Cyc_B)$ and $\rm(Rmil_B,Cyc_B)$ are equidistributed over signed permutations. For Coxeter groups of type $D$, Petersen showed that the two statistics $inv_D$ and $sor_D$ are equidistributed. We introduce two statistics $nmin_D$ and $\tilde{l}_D'$ for elements of $D_n$ and we prove that the two pairs of statistics $(inv_D,nmin_D)$ and $(sor_D,\tilde{l}_D')$ are equidistributed.
Expected Patterns in Permutation Classes
Published in Electronic Journal of Combinatorics, 19(3) (2012), P43
• View Publication
• BIB
In the set of all patterns in $S_n$, it is clear that each k-pattern occurs equally often. If we instead restrict to the class of permutations avoiding a specific pattern, the situation quickly becomes more interesting. Miklós Bóna recently proved that, surprisingly, if we consider the class of permutations avoiding the pattern 132, all other non-monotone patterns of length 3 are equally common. In this paper we examine the class $\Av (123)$, and give exact formula for the occurrences of each length 3 pattern. While this class does not break down as nicely as $\Av (132)$, we find some interesting similarities between the two and prove that the number of 231 patterns is the same in each.
The probability of generating the symmetric group with a commutator condition
Let B(n) be the set of pairs of permutations from the symmetric group of degree n with a 3-cycle commutator, and let A(n) be the set of those pairs which generate the symmetric or the alternating group of degree n. We find effective formulas for calculating the cardinalities of both sets. More precisely, we show that #B(n)/n! is a discrete convolution of the partition function and a linear combination of divisor functions, while #A(n)/n! is the product of a polynomial and Jordan's totient function. In particular, it follows that the probability that a pair of random permutations with a 3-cycle commutator generates the symmetric or the alternating group of degree n tends to zero as n tends to infinity, which makes a contrast with Dixon's classical result.
Key elements of our proofs are Jordan's theorem from the 19th century, a formula by Ramanujan from the 20th century and a technique of square-tiled surfaces developed by French mathematicians Lelievre and Royer in the beginning of the 21st century. This paper uses and highlights elegant connections between algebra, geometry, and number theory.
Frobenius circulant graphs of valency six, Eisenstein-Jacobi networks, and hexagonal meshes
Published
• View Publication
• BIB
A Frobenius group is a transitive but not regular permutation group such that only the identity element can fix two points. A finite Frobenius group can be expressed as $G = K \rtimes H$ with $K$ a nilpotent normal subgroup. A first-kind $G$-Frobenius graph is a Cayley graph on $K$ with connection set $S$ an $H$-orbit on $K$ generating $K$, where $H$ is of even order or $S$ consists of involutions. We classify all 6-valent first-kind Frobenius circulant graphs such that the underlying kernel $K$ is cyclic. We give optimal gossiping and routing algorithms for such a circulant and compute its forwarding indices, Wiener indices and minimum gossip time. We also prove that its broadcasting time is equal to its diameter plus two or three. We prove that all 6-valent first-kind Frobenius circulants with cyclic kernels are Eisenstein-Jacobi graphs, the latter being Cayley graphs on quotient rings of the ring of Eisenstein-Jacobi integers. We also prove that larger Eisenstein-Jacobi graphs can be constructed from smaller ones as topological covers, and a similar result holds for 6-valent first-kind Frobenius circulants. As a corollary any Eisenstein-Jacobi graph with order congruent to 1 modulo 6 and underlying Eisenstein-Jacobi integer not an associate of a real integer, is a cover of a 6-valent first-kind Frobenius circulant. A distributed real-time computing architecture known as HARTS or hexagonal mesh is a special 6-valent first-kind Frobenius circulant.
On the number of permutations with bounded run lengths
In this work we obtain recurrent formulae for the number of permutations with either increasing or monotonic (i.e., both increasing and decreasing) runs of bounded length. Our formulae allow one to efficiently compute the number of such permutations. In particular, we use the formulae to find and correct a few miscalculations in the classic 1966 book by David, Kendall, and Barton.
We further use our formulae to derive differential equations for the corresponding exponential generating functions. In the case of increasing runs, we solve these equations and obtain closed-form expressions for the generating functions.
Combinatorics of generalized Bethe equations
Published in Letters in Mathematical Physics 103:10 (2013) 1047-1077
• View Publication
• BIB
A generalization of the Bethe ansatz equations is studied, where a scalar two-particle S-matrix has several zeroes and poles in the complex plane, as opposed to the ordinary single pole/zero case. For the repulsive case (no complex roots), the main result is the enumeration of all distinct solutions to the Bethe equations in terms of the Fuss-Catalan numbers. Two new combinatorial interpretations of the Fuss-Catalan and related numbers are obtained. On the one hand, they count regular orbits of the permutation group in certain factor modules over Z^M, and on the other hand, they count integer points in certain M-dimensional polytopes.
Quasirandom permutations are characterized by 4-point densities
For permutations P and T of lengths |P|\le|T|, let t(P,T) be the probability that the restriction of T to a random |P|-point set is (order) isomorphic to P. We show that every sequence \{T_j\} of permutations such that |T_j|\to\infty and t(P,T_j)\to 1/4! for every 4-point permutation P is quasirandom (that is, t(P,T_j)\to 1/|P|! for every P). This answers a question posed by Graham.
Bounds on the diameter of Cayley graphs of the symmetric group
Published
• View Publication
• BIB
In this paper we are concerned with the conjecture that, for any set of generators S of the symmetric group of degree n, the word length in terms of S of every permutation is bounded above by a polynomial of n. We prove this conjecture for sets of generators containing a permutation fixing at least 37% of the points.
The Commuting Graph of the Symmetric Inverse Semigroup
The commuting graph of a finite non-commutative semigroup $S$, denoted $\cg(S)$, is a simple graph whose vertices are the non-central elements of $S$ and two distinct vertices $x,y$ are adjacent if $xy=yx$. Let $\mi(X)$ be the symmetric inverse semigroup of partial injective transformations on a finite set $X$. The semigroup $\mi(X)$ has the symmetric group $\sym(X)$ of permutations on $X$ as its group of units. In 1989, Burns and Goldsmith determined the clique number of the commuting graph of $\sym(X)$. In 2008, Iranmanesh and Jafarzadeh found an upper bound of the diameter of $\cg(\sym(X))$, and in 2011, Doluzan and Oblak claimed (but their proof has a GAP) that this upper bound is in fact the exact value.
The goal of this paper is to begin the study of the commuting graph of the symmetric inverse semigroup $\mi(X)$. We calculate the clique number of $\cg(\mi(X))$, the diameters of the commuting graphs of the proper ideals of $\mi(X)$, and the diameter of $\cg(\mi(X))$ when $|X|$ is even or a power of an odd prime. We show that when $|X|$ is odd and divisible by at least two primes, then the diameter of $\cg(\mi(X))$ is either 4 or 5. In the process, we obtain several results about semigroups, such as a description of all commutative subsemigroups of $\mi(X)$ of maximum order, and analogous results for commutative inverse and commutative nilpotent subsemigroups of $\mi(X)$. The paper closes with a number of problems for experts in combinatorics and in group or semigroup theory.