permutation ↗ reference
4849 papers tagged with this keyword
An efficient algorithm for the diameter of Cayley graphs generated by transposition trees
Published in IAENG International Journal of Applied Mathematics, vol. 42, no. 4, pp. 214-223, November 2012
• Search Publication
A problem of practical and theoretical interest is to determine or estimate the diameter of various families of Cayley networks. The previously known estimate for the diameter of Cayley graphs generated by transposition trees is an upper bound given in the oft-cited paper of Akers and Krishnamurthy (1989). In this work, we first assess the performance of their upper bound. We show that for every $n$, there exists a tree on $n$ vertices, such that the difference between the upper bound and the true diameter value is at least $n-4$.
Evaluating their upper bound takes time $Ω(n!)$. In this paper, we provide an algorithm that obtains an estimate of the diameter, but which requires only time $O(n^2)$; furthermore, the value obtained by our algorithm is less than or equal to the previously known diameter upper bound. Such an improvement to polynomial time, while still performing at least as well as the previous bound, is possible because our algorithm works directly with the transposition tree on $n$ vertices and does not require examining any of the permutations. We also provide a tree for which the value computed by our algorithm is not necessarily unique, which is an important result because such examples are quite rare. For all families of trees we have investigated so far, each of the possible values computed by our algorithm happens to also be an upper bound on the diameter.
The representation of the symmetric group on m-Tamari intervals
Published in Advances in Mathematics 247 (2013) 309-342
• View Publication
• BIB
An m-ballot path of size n is a path on the square grid consisting of north and east unit steps, starting at (0,0), ending at (mn,n), and never going below the line {x=my}. The set of these paths can be equipped with a lattice structure, called the m-Tamari lattice and denoted by T_n^{m}, which generalizes the usual Tamari lattice T_n obtained when m=1. This lattice was introduced by F. Bergeron in connection with the study of diagonal coinvariant spaces in three sets of n variables. The representation of the symmetric group S_n on these spaces is conjectured to be closely related to the natural representation of S_n on (labelled) intervals of the m-Tamari lattice, which we study in this paper. An interval [P,Q] of T_n^{m} is labelled if the north steps of Q are labelled from 1 to n in such a way the labels increase along any sequence of consecutive north steps. The symmetric group S_n acts on labelled intervals of T_n^{m} by permutation of the labels. We prove an explicit formula, conjectured by F. Bergeron and the third author, for the character of the associated representation of S_n. In particular, the dimension of the representation, that is, the number of labelled m-Tamari intervals of size n, is found to be (m+1)^n(mn+1)^{n-2}. These results are new, even when m=1. The form of these numbers suggests a connection with parking functions, but our proof is not bijective. The starting point is a recursive description of m-Tamari intervals. It yields an equation for an associated generating function, which is a refined version of the Frobenius series of the representation. This equation involves two additional variables x and y, a derivative with respect to y and iterated divided differences with respect to x. The hardest part of the proof consists in solving it, and we develop original techniques to do so, partly inspired by previous work on polynomial equations with "catalytic" variables.
How to write a permutation as a product of involutions (and why you might care)
Published
• View Publication
• BIB
It is well-known that any permutation can be written as a product of two involutions. We provide an explicit formula for the number of ways to do so, depending only on the cycle type of the permutation.
In many cases, these numbers are sums of absolute values of irreducible characters of the symmetric group evaluated at the same permutation, although apart from the case where all cycles are the same size, we have no good explanation for why this should be so.
The depth of a permutation
Published
• View Publication
• BIB
For the elements of a Coxeter group, we present a statistic called depth, defined in terms of factorizations of the elements into products of reflections. Depth is bounded above by length and below by the average of length and reflection length. In this article, we focus on the case of the symmetric group, where we show that depth is equal to sum_i max{w(i)-i, 0}. We characterize those permutations for which depth equals length: these are the 321-avoiding permutations (and hence are enumerated by the Catalan numbers). We also characterize those permutations for which depth equals reflection length: these are permutations avoiding both 321 and 3412 (also known as boolean permutations, which we can hence also enumerate). In this case, it also happens that length equals reflection length, leading to a new perspective on a result of Edelman.
Record-dependent measures on the symmetric groups
Published
• View Publication
• BIB
A probability measure $P_n$ on the symmetric group ${\mathfrak S}_n$ is said to be record-dependent if $P_n(σ)$ depends only on the set of records of a permutation $σ\in{\mathfrak S}_n$. A sequence $P=(P_n)_{n\in{\mathbb N}}$ of consistent record-dependent measures determines a random order on $\mathbb N$. In this paper we describe the extreme elements of the convex set of such $P$. This problem turns out to be related to the study of asymptotic behavior of permutation-valued growth processes, to random extensions of partial orders, and to the measures on the Young-Fibonacci lattice.
Unlabeled equivalence for matroids representable over finite fields
Published in S. R. Kingan (2012). Unlabeled Inequivalence in representable matroids, 2013 Proceedings of the Tenth Workshop on Analytic Algorithmics and Combinatorics (ANALCO), 99 - 106
• View Publication
• BIB
We present a new type of equivalence for representable matroids that uses the automorphisms of the underlying matroid. Two $r\times n$ matrices $A$ and $A'$ representing the same matroid $M$ over a field $F$ are {\it geometrically equivalent representations} of $M$ if one can be obtained from the other by elementary row operations, column scaling, and column permutations. Using geometric equivalence, we give a method for exhaustively generating non-isomorphic matroids representable over a finite field $GF(q)$, where $q$ is a power of a prime.
Surprising symmetries in 132-avoiding permutations
We prove that the total number $S_{n,132}(q)$ of copies of the pattern $q$ in all 132-avoiding permutations of length $n$ is the same for $q=231$, $q=312$, or $q=213$. We provide a combinatorial proof for this unexpected threefold symmetry. We then significantly generalize this result to show an exponential number of different pairs of patterns $q$ and $q'$ of length $k$ for which $S_{n,132}(q)=S_{n,132}(q')$ and the equality is non-trivial.
Restricted non-separable planar maps and some pattern avoiding permutations
Published
• View Publication
• BIB
Tutte founded the theory of enumeration of planar maps in a series of papers in the 1960s. Rooted non-separable planar maps are in bijection with West-2-stack-sortable permutations, beta(1,0)-trees introduced by Cori, Jacquard and Schaeffer in 1997, as well as a family of permutations defined by the avoidance of two four letter patterns. In this paper we give upper and lower bounds on the number of multiple-edge-free rooted non-separable planar maps. We also use the bijection between rooted non-separable planar maps and a certain class of permutations, found by Claesson, Kitaev and Steingrimsson in 2009, to show that the number of 2-faces (excluding the root-face) in a map equals the number of occurrences of a certain mesh pattern in the permutations. We further show that this number is also the number of nodes in the corresponding beta(1,0)-tree that are single children with maximum label. Finally, we give asymptotics for some of our enumerative results.
Inflations of geometric grid classes of permutations
Published
• View Publication
• BIB
Geometric grid classes and the substitution decomposition have both been shown to be fundamental in the understanding of the structure of permutation classes. In particular, these are the two main tools in the recent classification of permutation classes of growth rate less than $κ\approx2.20557$ (a specific algebraic integer at which infinite antichains begin to appear). Using language- and order-theoretic methods, we prove that the substitution closures of geometric grid classes are partially well-ordered, finitely based, and that all their subclasses have algebraic generating functions. We go on to show that the inflation of a geometric grid class by a strongly rational class is partially well-ordered, and that all its subclasses have rational generating functions. This latter fact allows us to conclude that every permutation class with growth rate less than $κ$ has a rational generating function. This bound is tight as there are permutation classes with growth rate $κ$ which have nonrational generating functions.
Pattern classes and priority queues
When a set of permutations comprising a pattern class C is submitted as input to a priority queue the resulting output is again a pattern class C'. The basis of C' is determined for pattern classes C whose basis elements have length 3, and is finite in these cases. An example is given of a class C with basis 2431 for which C is not finitely based.
Andre' permutations, right-to-left and left-to-right minima
We provide enumerative results concerning right-to-left minima and left- to-right minima in Andre' permutations of the first and second kind. For both the two kinds, the distribution of right-to-left and left-to-right minima is the same. We provide generating functions and associated asymptotics results. Our approach is based on the tree-structure of Andre' permutations.
On ML-Certificate Linear Constraints for Rank Modulation with Linear Programming Decoding and its Application to Compact Graphs
Published
• View Publication
• BIB
Linear constraints for a matrix polytope with no fractional vertex are investigated as intersecting research among permutation codes, rank modulations, and linear programming methods. By focusing the discussion to the block structure of matrices, new classes of such polytopes are obtained from known small polytopes. This concept, called "consolidation", is applied to find a new compact graph which is known as an approach for the graph isomorphism problem. Encoding and decoding algorithms for our new permutation codes are obtained from existing algorithms for small polytopes. The minimum distances associated with Kendall-tau distance and the minimum Euclidean distance of a code obtained by changing the basis of a permutation code may be larger than the original one.
Computing growth functions of braid monoids and counting vertex-labelled bipartite graphs
Published in Journal of Combinatorial Theory, Series A 120 (2013) 232-244
• View Publication
• BIB
We derive a recurrence relation for the number of simple vertex-labelled bipartite graphs with given degrees of the vertices and use this result to obtain a new method for computing the growth function of the Artin monoid of type $A_{n-1}$ with respect to the simple elements (permutation braids) as generators. Instead of matrices of size $2^{n-1}\times 2^{n-1}$, we use matrices of size $p(n)\times p(n)$, where $p(n)$ is the number of partitions of $n$.
Stackable and queueable permutations
There is a natural bijection between permutations obtainable using a stack (those avoiding the pattern 312) and permutations obtainable using a queue (those avoiding 321). This bijection is equivalent to one described by Simion and Schmidt in 1985. We argue that this bijection might well have been found back in 1968 by readers of volume 1 of Knuth's *The Art of Computer Programming*, if Knuth had not assigned difficulty ratings to his exercises.
Quadrant marked mesh patterns in 132-avoiding permutations I
Published in Pure Mathematics and Applications (Pu.M.A.) Vol. 23 (2012), No. 3, pp 219-256
• Search Publication
This paper is a continuation of the systematic study of the distributions of quadrant marked mesh patterns initiated in [6]. Given a permutation $\sg = \sg_1 ... \sg_n$ in the symmetric group $S_n$, we say that $\sg_i$ matches the quadrant marked mesh pattern $MMP(a,b,c,d)$ if there are at least $a$ elements to the right of $\sg_i$ in $\sg$ that are greater than $\sg_i$, at least $b$ elements to left of $\sg_i$ in $\sg$ that are greater than $\sg_i$, at least $c$ elements to left of $\sg_i$ in $\sg$ that are less than $\sg_i$, and at least $d$ elements to the right of $\sg_i$ in $\sg$ that are less than $\sg_i$. We study the distribution of $MMP(a,b,c,d)$ in 132-avoiding permutations. In particular, we study the distribution of $MMP(a,b,c,d)$, where only one of the parameters $a,b,c,d$ are non-zero. In a subsequent paper [7], we will study the the distribution of $MMP(a,b,c,d)$ in 132-avoiding permutations where at least two of the parameters $a,b,c,d$ are non-zero.
Annular noncrossing permutations and minimal transitive factorizations
Published in Journal of Combinatorial Theory, Series A, 124, 251-262, 2014
• View Publication
• BIB
We give two combinatorial proofs of Goulden and Jackson's formula for the number of minimal transitive factorizations of a permutation when the permutation has two cycles. We use the recent result of Goulden, Nica, and Oancea on the number of maximal chains of annular noncrossing partitions of type $B$.
A recursive construction of t-wise uniform permutations
Published in Random Structures & Algorithms 46, no. 3 (2015): 531-540
• View Publication
• BIB
We present a recursive construction of a (2t + 1)-wise uniform set of permutations on 2n objects using a (2t + 1) - (2n, n, \cdot) combinatorial design, a t-wise uniform set of permutations on n objects and a (2t+1)-wise uniform set of permutations on n objects. Using the complete design in this procedure gives a t-wise uniform set of permutations on n objects whose size is at most t^2n, the first non-trivial construction of an infinite family of t-wise uniform sets for t \geq 4. If a non-trivial design with suitable parameters is found, it will imply a corresponding improvement in the construction.
A generalization of Erdős--Ko--Rado theorem to $t$-designs in certain semilattices
Published
• View Publication
• BIB
The Erdős--Ko--Rado theorem is extended to designs in semilattices with certain conditions. As an application, we show the intersection theorems for the Hamming schemes, the Johnson schemes, bilinear forms schemes, Grassmann schemes, signed sets, partial permutations and restricted signed sets.
New Wilf-equivalence results for dashed patterns
Published
• View Publication
• BIB
We give a sufficient condition for the two dashed patterns $τ^{(1)}-τ^{(2)}-\cdots-τ^{(\ell)}$ and $τ^{(\ell)}-τ^{(\ell-1)}-\cdots-τ^{(1)}$ to be (strongly) Wilf-equivalent. This permits to solve in a unified way several problems of Heubach and Mansour on Wilf-equivalences on words and compositions, as well as a conjecture of Baxter and Pudwell on Wilf-equivalences on permutations. We also give a better explanation of the equidistribution of the parameters $\MAK+\bMAJ$ and $\MAK'+\bMAJ$ on ordered set partitions. These results can be viewed as consequences of a simple proposition which states that the set valued statistics "descent set'' and "rise set'' are equidistributed over each equivalence class of the partially commutative monoid generated by a poset $(X,\leq)$.
GA based robust blind digital watermarking
A genetic algorithm based robust blind digital watermarking scheme is presented. Starting from a binary image (the original watermark), a genetic algorithm is performed searching for a permutation of this image which is as uncorrelated as possible to the original watermark. The output of the GA is used as our final watermark, so that both security and robustness in the watermarking process is improved. Now, the original cover image is partitioned into non-overlapped square blocks (depending on the size of the watermark image). Then a (possibly extended) Hadamard transform is applied to these blocks, so that one bit information from the watermark image is embedded in each block by modifying the relationship of two coefficients in the transformed matrices. The watermarked image is finally obtained by simply performing the inverse (extended) Hadamard transform on the modified matrices. The experimental results show that our scheme keeps invisibility, security and robustness more likely than other proposals in the literature, thanks to the GA pretreatment.