permutation ↗ reference
4849 papers tagged with this keyword
Intervals and factors in the Bruhat order
Published
• View Publication
• BIB
In this paper we study those generic intervals in the Bruhat order of the symmetric group that are isomorphic to the principal order ideal of a permutation w, and consider when the minimum and maximum elements of those intervals are related by a certain property of their reduced words. We show that the property does not hold when w is a decomposable permutation, and that the property always holds when w is the longest permutation.
The number of {1243, 2134}-avoiding permutations
Published in Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 2, Permutation Patterns 2019 (March 16, 2023) dmtcs:5287
• View Publication
• BIB
We show that the counting sequence for permutations avoiding both of the (classical) patterns 1243 and 2134 has the algebraic generating function supplied by Vaclav Kotesovec for sequence A164651 in The On-Line Encyclopedia of Integer Sequences.
A basis for the diagonally signed-symmetric polynomials
Let n>0 be an integer and let B_{n} denote the hyperoctahedral group of rank n. The group B_{n} acts on the polynomial ring Q[x_{1},...,x_{n},y_{1},...,y_{n}] by signed permutations simultaneously on both of the sets of variables x_{1},...,x_{n} and y_{1},...,y_{n}. The invariant ring M^{B_{n}}:=Q[x_{1},...,x_{n},y_{1},...,y_{n}]^{B_{n}} is the ring of diagonally signed-symmetric polynomials. In this article we provide an explicit free basis of M^{B_{n}} as a module over the ring of symmetric polynomials on both of the sets of variables x_{1}^{2},..., x^{2}_{n} and y_{1}^{2},..., y^{2}_{n} using signed descent monomials.
Descent-Inversion Statistics in Riffle Shuffles
This paper studies statistics of riffle shuffles by relating them to random word statistics with the use of inverse shuffles. Asymptotic normality of the number of descents and inversions in riffle shuffles with convergence rates of order $1/\sqrt{n}$ in the Kolmogorov distance are proven. Results are also given about the lengths of the longest alternating subsequences of random permutations resulting from riffle shuffles. A sketch of how the theory of multisets can be useful for statistics of a variation of top $m$ to random shuffles is presented.
Symmetry groups of Boolean Functions
Published
• View Publication
• BIB
We prove that every abelian permutation group, but known exceptions, is the symmetry group of a boolean function. This solves the problem posed in the book by Clote and Kranakis. In fact, our result is proved for a larger class of groups, namely, for all groups contained in direct sums of regular groups.
A stack and a pop stack in series
We study sorting machines consisting of a stack and a pop stack in series, with or without a queue between them. While there are, a priori, four such machines, only two are essentially different: a pop stack followed directly by a stack, and a pop stack followed by a queue and then by a stack. In the former case, we obtain complete answers for the basis and enumeration of the sortable permutations. In the latter case, we present several conjectures.
Quadrant marked mesh patterns in 132-avoiding permutations III
Given a permutation $\sg = \sg_1 \ldots \sg_n$ in the symmetric group $S_n$, we say that $\sg_i$ matches the marked mesh pattern $MMP(a,b,c,d)$ in $\sg$ if there are at least $a$ points to the right of $\sg_i$ in $\sg$ which are greater than $\sg_i$, at least $b$ points to the left of $\sg_i$ in $\sg$ which are greater than $\sg_i$, at least $c$ points to the left of $\sg_i$ in $\sg$ which are smaller than $\sg_i$, and at least $d$ points to the right of $\sg_i$ in $\sg$ which are smaller than $\sg_i$.
This paper is continuation of the systematic study of the distribution of quadrant marked mesh patterns in 132-avoiding permutations started in \cite{kitremtie} and \cite{kitremtieII} where we studied the distribution of the number of matches of $MMP(a,b,c,d)$ in 132-avoiding permutations where at most two elements of of $a,b,c,d$ are greater than zero and the remaining elements are zero. In this paper, we study the distribution of the number of matches of $MMP(a,b,c,d)$ in 132-avoiding permutations where at least three of $a,b,c,d$ are greater than zero. We provide explicit recurrence relations to enumerate our objects which can be used to give closed forms for the generating functions associated with such distributions. In many cases, we provide combinatorial explanations of the coefficients that appear in our generating functions.
The solution of the complete nontrivial cycle intersection problem for permutations
Published
• View Publication
• BIB
We prove the Complete nontrivial cycle-intersection theorem for systems of permutations.
Growth in groups: ideas and perspectives
Published
• View Publication
• BIB
This is a survey of methods developed in the last few years to prove results on growth in non-commutative groups. These techniques have their roots in both additive combinatorics and group theory, as well as other fields. We discuss linear algebraic groups, with SL_2(Z/pZ) as the basic example, as well as permutation groups. The emphasis lies on the ideas behind the methods.
A new proof for the Erdős-Ko-Rado Theorem for the alternating group
Published
• View Publication
• BIB
A subset $S$ of the alternating group on $n$ points is {\it intersecting} if for any pair of permutations $π,σ$ in $S$, there is an element $i\in \{1,\dots,n\}$ such that $π(i)=σ(i)$. We prove that if $S$ is intersecting, then $|S|\leq \frac{(n-1)!}{2}$. Also, we prove that if $n \geq 5$, then the only sets $S$ that meet this bound are the cosets of the stabilizer of a point of $\{1,\dots,n\}$.
Constructions of transitive latin hypercubes
Published in Eur. J. Comb. 54, 2016, 51-64
• View Publication
• BIB
A function $f:\{0,...,q-1\}^n\to\{0,...,q-1\}$ invertible in each argument is called a latin hypercube. A collection $(π_0,π_1,...,π_n)$ of permutations of $\{0,...,q-1\}$ is called an autotopism of a latin hypercube $f$ if $π_0f(x_1,...,x_n)=f(π_1x_1,...,π_n x_n)$ for all $x_1$, ..., $x_n$. We call a latin hypercube isotopically transitive (topolinear) if its group of autotopisms acts transitively (regularly) on all $q^n$ collections of argument values. We prove that the number of nonequivalent topolinear latin hypercubes grows exponentially with respect to $\sqrt{n}$ if $q$ is even and exponentially with respect to $n^2$ if $q$ is divisible by a square. We show a connection of the class of isotopically transitive latin squares with the class of G-loops, known in noncommutative algebra, and establish the existence of a topolinear latin square that is not a group isotope. We characterize the class of isotopically transitive latin hypercubes of orders $q=4$ and $q=5$. Keywords: transitive code, propelinear code, latin square, latin hypercube, autotopism, G-loop.
Cardinality of Balls in Permutation Spaces
For a right invariant distance on a permutation space $S_n$ we give a sufficient condition for the cardinality of a ball of radius $R$ to grow polynomially in $n$ for fixed $R$. For the distance $\ell_1$ we show that for an integer $k$ the cardinality of a sphere of radius $2k$ in $S_n$ (for $n \geqslant k$) is a polynomial of degree $k$ in $n$ and determine the high degree terms of this polynomial.
Rotational circulant graphs
Published in Discrete Applied Mathematics 162 (2014) 296-305
• View Publication
• BIB
A Frobenius group is a transitive permutation group which is not regular but only the identity element can fix two points. Such a group can be expressed as the semi-direct product $G = K \rtimes H$ of a nilpotent normal subgroup $K$ and another group $H$ fixing a point. A first-kind $G$-Frobenius graph is a connected Cayley graph on $K$ with connection set an $H$-orbit $a^H$ on $K$ that generates $K$, where $H$ has an even order or $a$ is an involution. It is known that the first-kind Frobenius graphs admit attractive routing and gossiping algorithms. A complete rotation in a Cayley graph on a group $G$ with connection set $S$ is an automorphism of $G$ fixing $S$ setwise and permuting the elements of $S$ cyclically. It is known that if the fixed-point set of such a complete rotation is an independent set and not a vertex-cut, then the gossiping time of the Cayley graph (under a certain model) attains the smallest possible value. In this paper we classify all first-kind Frobenius circulant graphs that admit complete rotations, and describe a means to construct them. This result can be stated as a necessary and sufficient condition for a first-kind Frobenius circulant to be 2-cell embeddable on a closed orientable surface as a balanced regular Cayley map. We construct a family of non-Frobenius circulants admitting complete rotations such that the corresponding fixed-point sets are independent and not vertex-cuts. We also give an infinite family of counterexamples to the conjecture that the fixed-point set of every complete rotation of a Cayley graph is not a vertex-cut.
The inversion number and the major index are asymptotically jointly normally distributed on words
Published in Combinator. Probab. Comp. 25 (2016) 470-483
• View Publication
• BIB
In a recent paper, Baxter and Zeilberger show that the two most important Mahonian statistics, the inversion number and the major index, are asymptotically independently normally distributed on permutations. In another recent paper, Canfield, Janson and Zeilberger prove the result, already known to statisticians, that the Mahonian distribution is asymptotically normal on words. This leaves one question unanswered: What, asymptotically, is the joint distribution of the inversion number and the major index on words? We answer this question by establishing convergence to a bivariate normal distribution.
Generating permutations with a given major index
Published
• View Publication
• BIB
In [S. Effler, F. Ruskey, A CAT algorithm for listing permutations with a given number of inversions, {\it I.P.L.}, 86/2 (2003)] the authors give an algorithm, which appears to be CAT, for generating permutations with a given major index. In the present paper we give a new algorithm for generating a Gray code for subexcedant sequences. We show that this algorithm is CAT and derive it into a CAT generating algorithm for permutations with a given major index.
Dually weighted Stirling-type sequences
Published in European J. Combin. 43 (2015) 55-67
• View Publication
• BIB
We introduce a generalization of the Stirling numbers via symmetric functions involving two weight functions. The resulting extension unifies previously known Stirling-type sequences with known symmetric function forms, as well as other sequences such as the $p,q$-binomial coefficients. Recurrence relations, generating functions, orthogonality relations, convolution formulas, and determinants of certain matrices involving the obtained sequences are derived. We also give combinatorial interpretations of certain cases in terms of colored partitions and permutations.
Probabilistic existence of regular combinatorial structures
Published in Geom. Funct. Anal. 27 (2017), 919-972
• View Publication
• BIB
We show the existence of regular combinatorial objects which previously were not known to exist. Specifically, for a wide range of the underlying parameters, we show the existence of non-trivial orthogonal arrays, t-designs, and t-wise permutations. In all cases, the sizes of the objects are optimal up to polynomial overhead. The proof of existence is probabilistic. We show that a randomly chosen structure has the required properties with positive yet tiny probability. Our method allows also to give rather precise estimates on the number of objects of a given size and this is applied to count the number of orthogonal arrays, t-designs and regular hypergraphs. The main technical ingredient is a special local central limit theorem for suitable lattice random walks with finitely many steps.
Bounding the distinguishing number of infinite graphs
Published
• View Publication
• BIB
A group of permutations G of a set V is k-distinguishable if there exists a partition of V into k parts such that only the identity permutation in G fixes setwise all of the cells of the partition. The least cardinal number k such that (G,V) is k-distinguishable is its distinguishing number. In particular, a graph X is k-distinguishable if its automorphism group Aut(X) has distinguishing number at most k in its action on the vertices of X.
Various results in the literature demonstrate that when an infinite graph fails to have some property, then often some finite subgraph is similarly deficient. In this paper we show that whenever an infinite connected graph X is not k-distinguishable (for a given cardinal k), then it contains a ball B of finite radius whose distinguishing number is at least k. Moreover, this lower bound cannot be sharpened, since for any integer k greater than 3 there exists an infinite, locally finite, connected graph X that is not k-distinguishable but in which every ball of finite radius is k-distinguishable.
In the second half of this paper we show that a large distinguishing number for an imprimitive graph X is traceable to a high distinguishing number either of a block of imprimitivity or of the induced action of Aut(X) on the corresponding system of imprimitivity. The distinguishing numbers of infinite primitive graphs have been examined in detail in a previous paper by the authors together with Tom W. Tucker.
Pattern Count on Multiply Restricted Permutations
Previous work has studied the pattern count on singly restricted permutations. In this work, we focus on patterns of length 3 in multiply restricted permutations, especially for double and triple pattern-avoiding permutations. We derive explicit formulae or generating functions for various occurrences of length 3 patterns on multiply restricted permutations, as well as some combinatorial interpretations for non-trivial pattern relationships.
Conjugacy of Coxeter elements
Published in Electr. J. Combinatorics 16(2), 9p, 2009
• Search Publication
For a Coxeter group (W,S), a permutation of the set S is called a Coxeter word and the group element represented by the product is called a Coxeter element. Moving the first letter to the end of the word is called a rotation and two Coxeter elements are rotation equivalent if their words can be transformed into each other through a sequence of rotations and legal commutations.
We prove that Coxeter elements are conjugate if and only if they are rotation equivalent. This was known for some special cases but not for Coxeter groups in general.