permutation ↗ reference
4849 papers tagged with this keyword
A Gray Code for the Shelling Types of the Boundary of a Hypercube
Published in Discrete Math. 313 (2013), no. 3, 258-268
• View Publication
• BIB
We consider two shellings of the boundary of the hypercube equivalent if one can be transformed into the other by an isometry of the cube. We observe that a class of indecomposable permutations, bijectively equivalent to standard double occurrence words, may be used to encode one representative from each equivalence class of the shellings of the boundary of the hypercube. These permutations thus encode the shelling types of the boundary of the hypercube. We construct an adjacent transposition Gray code for this class of permutations. Our result is a signed variant of King's result showing that there is a transposition Gray code for indecomposable permutations.
A Simple Optimal Binary Representation of Mosaic Floorplans and Baxter Permutations
Published
• View Publication
• BIB
A "floorplan" is a rectangle subdivided into smaller rectangular sections by horizontal and vertical line segments. Each section in the floorplan is called a "block". Two floorplans are considered equivalent if and only if there is a one-to-one correspondence between the blocks in the two floorplans such that the relative position relationship of the blocks in one floorplan is the same as the relative position relationship of the corresponding blocks in another floorplan. The objects of "Mosaic floorplans" are the same as floorplans, but an alternative definition of equivalence is used. Two mosaic floorplans are considered equivalent if and only if they can be converted to each other by sliding the line segments that divide the blocks.
Mosaic floorplans are widely used in VLSI circuit design. An important problem in this area is to find short binary string representations of the set of n-block mosaic floorplans. The best known representation is the "Quarter-State Sequence" which uses 4n bits. This paper introduces a simple binary representation of n-block mosaic floorplan using 3n-3 bits. It has been shown that any binary representation of n-block mosaic floorplans must use at least (3n-o(n)) bits. Therefore, the representation presented in this paper is optimal (up to an additive lower order term).
"Baxter permutations" are a set of permutations defined by prohibited subsequences. Baxter permutations have been shown to have one-to-one correspondences to many interesting objects in the so-called "Baxter combinatorial family". In particular, there exists a simple one-to-one correspondence between mosaic floorplans and Baxter permutations. As a result, the methods introduced in this paper also lead to an optimal binary representation of Baxter permutations and all objects in the Baxter combinatorial family.
Traffic distributions and independence: permutation invariant random matrices and the three notions of independence
Published
• View Publication
• BIB
Voiculescu's notion of asymptotic free independence is known for a large class of random matrices including independent unitary invariant matrices. This notion is extended for independent random matrices invariant in law by conjugation by permutation matrices. This fact leads naturally to an extension of free probability, formalized under the notions of traffic probability. We first establish this construction for random matrices. We define the traffic distribution of random matrices, which is richer than the *-distribution of free probability. The knowledge of the individual traffic distributions of independent permutation invariant families of matrices is sufficient to compute the limiting distribution of the join family. Under a factorization assumption, we call traffic independence the asymptotic rule that plays the role of independence with respect to traffic distributions. Wigner matrices, Haar unitary matrices and uniform permutation matrices converge in traffic distributions, a fact which yields new results on the limiting *-distributions of several matrices we can construct from them. Then we define the abstract traffic spaces as non commutative probability spaces with more structure. We prove that at an algebraic level, traffic independence in some sense unifies the three canonical notions of tensor, free and Boolean independence. A central limiting theorem is stated in this context, interpolating between the tensor, free and Boolean central limit theorems.
Some Generalizations of the MacMahon Master Theorem
Published in Journal of Combinatorial Theory Series A 120 (2013) 92
• View Publication
• BIB
We consider a number of generalizations of the $β$-extended MacMahon Master Theorem for a matrix. The generalizations are based on replacing permutations on multisets formed from matrix indices by partial permutations or derangements over matrix or submatrix indices.
Equivalence Classes of Permutations under Various Relations Generated by Constrained Transpositions
Published
• View Publication
• BIB
We consider a large family of equivalence relations on permutations in Sn that generalise those discovered by Knuth in his study of the Robinson-Schensted correspondence. In our most general setting, two permutations are equivalent if one can be obtained from the other by a sequence of pattern-replacing moves of prescribed form; however, we limit our focus to patterns where two elements are transposed, subject to the constraint that a third element of a suitable type be in a suitable position. For various instances of the problem, we compute the number of equivalence classes, determine how many n-permutations are equivalent to the identity permutation, or characterise this equivalence class. Although our results feature familiar integer sequences (e.g., Catalan, Fibonacci, and Tribonacci numbers) and special classes of permutations (layered, connected, and 123-avoiding), some of the sequences that arise appear to be new.
Decomposing Sets of Inversions
Published in Elec. J. Comb. Vol 20 (1) (2013)
• Search Publication
In this note we consider the question how the set of inversions of a permutation $π\in S_n$ can be partitioned into two subset, such that those are itself inversion sets of permutations. This is archived by exploiting a connection to a graph theoretical result. For this we establish a correspondence between the substitution decomposition of $π$ and the modular decomposition of its inversion graph. We also consider the special case of multiplicative decompositions.
The number of bar{3}bar{1}542-avoiding permutations
We confirm a conjecture of Lara Pudwell and show that permutations of [n] that avoid the barred pattern bar{3}bar{1}542 are counted by OEIS sequence A047970. In fact, we show bijectively that the number of bar{3}bar{1}542 avoiders of length n with j+k left-to-right maxima, of which j initiate a descent in the permutation and k do not, is {n}-choose-{k} j! StirlingPartition{n-j-k}{j}, where StirlingPartition{n}{j} is the Stirling partition number.
A relation between the shape of a permutation and the shape of the base poset derived from the Lehmer codes
Published
• View Publication
• BIB
For a permutation $ω\in S_{n}$ Denoncourt constructed a poset $M_ω$ which is the set of join-irreducibles of the Lehmer codes of the permutations in $[e, ω]$ in the inversion order on $S_{n}$. In this paper we show that $M_ω$ is a $B_{2}$-free poset if and only if $ω$ is a 3412-3421-avoiding permutation.
Diameter of Cayley graphs of permutation groups generated by transposition trees
Published in Journal of Combinatorial Mathematics and Combinatorial Computing, vol. 84, pp. 29-40, February 2013
• Search Publication
Let $Γ$ be a Cayley graph of the permutation group generated by a transposition tree $T$ on $n$ vertices. In an oft-cited paper \cite{Akers:Krishnamurthy:1989} (see also \cite{Hahn:Sabidussi:1997}), it is shown that the diameter of the Cayley graph $Γ$ is bounded as $$\diam(Γ) \le \max_{π\in S_n}{c(π)-n+\sum_{i=1}^n \dist_T(i,π(i))},$$ where the maximization is over all permutations $π$, $c(π)$ denotes the number of cycles in $π$, and $\dist_T$ is the distance function in $T$. In this work, we first assess the performance (the sharpness and strictness) of this upper bound. We show that the upper bound is sharp for all trees of maximum diameter and also for all trees of minimum diameter, and we exhibit some families of trees for which the bound is strict. We then 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$.
Observe that evaluating this upper bound requires on the order of $n!$ (times a polynomial) computations. We provide an algorithm that obtains an estimate of the diameter, but which requires only on the order of (polynomial in) $n$ computations; furthermore, the value obtained by our algorithm is less than or equal to the previously known diameter upper bound. This result is possible because our algorithm works directly with the transposition tree on $n$ vertices and does not require examining any of the permutations (only the proof requires examining the permutations). For all families of trees examined so far, the value $β$ computed by our algorithm happens to also be an upper bound on the diameter, i.e.
$$\diam(Γ) \le β\le \max_{π\in S_n}{c(π)-n+\sum_{i=1}^n \dist_T(i,π(i))}.$$
Hultman numbers, polygon gluings and matrix integrals
The Hultman numbers enumerate permutations whose cycle graph has a given number of alternating cycles (they are relevant to the Bafna-Pevzner approach to genome comparison and genome rearrangements). We give two new interpretations of the Hultman numbers: in terms of polygon gluings and as integrals over the space of complex matrices, and derive some properties of their generating functions.
Maximum-Size Independent Sets and Automorphism Groups of Tensor Powers of the Even Derangement Graphs
Published
• View Publication
• BIB
Let $A_n$ be the alternating group of even permutations of $X:=\{1,2,...,n\}$ and ${\mathcal E}_n$ the set of even derangements on $X.$ Denote by $A\T_n^q$ the tensor product of $q$ copies of $A\T_n,$ where the Cayley graph $A\T_n:=\T(A_n,{\mathcal E}_n)$ is called the even derangement graph. In this paper, we intensively investigate the properties of $A\T_n^q$ including connectedness, diameter, independence number, clique number, chromatic number and the maximum-size independent sets of $A\T_n^q.$ By using the result on the maximum-size independent sets $A\T_n^q$, we completely determine the full automorphism groups of $A\T_n^q.$
Tight bounds on the threshold for permuted k-colorability
Published
• View Publication
• BIB
If each edge (u,v) of a graph G=(V,E) is decorated with a permutation pi_{u,v} of k objects, we say that it has a permuted k-coloring if there is a coloring sigma from V to {1,...,k} such that sigma(v) is different from pi_{u,v}(sigma(u)) for all (u,v) in E. Based on arguments from statistical physics, we conjecture that the threshold d_k for permuted k-colorability in random graphs G(n,m=dn/2), where the permutations on the edges are uniformly random, is equal to the threshold for standard graph k-colorability. The additional symmetry provided by random permutations makes it easier to prove bounds on d_k. By applying the second moment method with these additional symmetries, and applying the first moment method to a random variable that depends on the number of available colors at each vertex, we bound the threshold within an additive constant. Specifically, we show that for any constant epsilon > 0, for sufficiently large k we have
2 k ln k - ln k - 2 - epsilon < d_k < 2 k ln k - ln k - 1 + epsilon.
In contrast, the best known bounds on d_k for standard k-colorability leave an additive gap of about ln k between the upper and lower bounds.
Acyclic systems of permutations and fine mixed subdivisions of simplices
Published
• View Publication
• BIB
A fine mixed subdivision of a (d-1)-simplex T of size n gives rise to a system of ${d \choose 2}$ permutations of [n] on the edges of T, and to a collection of n unit (d-1)-simplices inside T. Which systems of permutations and which collections of simplices arise in this way? The Spread Out Simplices Conjecture of Ardila and Billey proposes an answer to the second question. We propose and give evidence for an answer to the first question, the Acyclic System Conjecture.
We prove that the system of permutations of T determines the collection of simplices of T. This establishes the Acyclic System Conjecture as a first step towards proving the Spread Out Simplices Conjecture. We use this approach to prove both conjectures for n=3 in arbitrary dimension.
Well-posedness of the permutation problem in sparse filter estimation with lp minimization
Published
• View Publication
• BIB
Convolutive source separation is often done in two stages: 1) estimation of the mixing filters and 2) estimation of the sources. Traditional approaches suffer from the ambiguities of arbitrary permutations and scaling in each frequency bin of the estimated filters and/or the sources, and they are usually corrected by taking into account some special properties of the filters/sources. This paper focusses on the filter permutation problem in the absence of scaling, investigating the possible use of the temporal sparsity of the filters as a property enabling permutation correction. Theoretical and experimental results highlight the potential as well as the limits of sparsity as an hypothesis to obtain a well-posed permutation problem.
Alternating permutations containing the pattern 123 or 321 exactly once
Inspired by a recent note of Zeilberger (arXiv:1110.4379), Alejandro Morales asked whether one can count alternating (i.e., up-down) permutations that contain the pattern 123 or 321 exactly once. In this note we answer the question in the affirmative; in particular, we show that for m > 1, a_(2m)(123) = 10 (2m)!/((m - 2)! (m + 3)!), a_(2m)(321) = 4(m - 2) (2m + 3)!/((m + 1)! (m + 4)!), and a_(2m + 1)(123) = a_(2m + 1)(321) = 3(3m + 4)(m - 1) (2m + 2)!/((m + 1)! (m + 4)!) where a_n(p) is the number of alternating permutations of length n containing the pattern p exactly once.
Probabilistic existence of rigid combinatorial structures
Published in Proceedings of the forty-fourth annual ACM symposium on Theory of computing, pp. 1091-1106. ACM, 2012
• View Publication
• BIB
We show the existence of rigid 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 such object has the required properties with positive yet tiny probability. The main technical ingredient is a special local central limit theorem for suitable lattice random walks with finitely many steps.
Limiting distribution of maximal crossing and nesting of Poissonized random matchings
Published in Annals of Probability 2013, Vol. 41, No. 6, 4359-4406
• View Publication
• BIB
The notion of $r$-crossing and $r$-nesting of a complete matching was introduced and a symmetry property was proved by Chen et al. [Trans. Amer. Math. Soc. 359 (2007) 1555-1575]. We consider random matchings of large size and study their maximal crossing and their maximal nesting. It is known that the marginal distribution of each of them converges to the GOE Tracy-Widom distribution. We show that the maximal crossing and the maximal nesting becomes independent asymptotically, and we evaluate the joint distribution for the Poissonized random matchings explicitly to the first correction term. This leads to an evaluation of the asymptotic of the covariance. Furthermore, we compute the explicit second correction term in the distribution function of two objects: (a) the length of the longest increasing subsequence of Poissonized random permutation and (b) the maximal crossing, and hence also the maximal nesting, of Poissonized random matching.
An explicit formula for the number of permutations with a given number of alternating runs
Published
• View Publication
• BIB
Let $R(n,k)$ denote the number of permutations of ${1,2,...,n}$ with $k$ alternating runs. In this note we present an explicit formula for the numbers $R(n,k)$.
The number of \bar{2}413\bar{5}-avoiding permutations
We answer a question of R. J. Mathar and confirm that the counting sequence for $\bar{2}413\bar{5}$-avoiding permutations is the Invert transform of the Bell numbers. The proof relies on a simple decomposition of these permutations and the known fact that $\bar{2}413$-avoiding permutations are counted by the Bell numbers.
Decomposing Inversion Sets of Permutations and Applications to Faces of the Littlewood-Richardson Cone
Published
• View Publication
• BIB
If $α\in S_n$ is a permutation of $\{1, 2, \ldots, n\}$, the inversion set of $α$ is $Φ(α) = \{(i, j) \, | \, 1 \leq i < j \leq n, α(i) > α(j)\}$. We describe all $r$-tuples $α_1, α_2, \ldots, α_r \in S_n$ such that $Δ_n^+ = \{(i, j) \, | \, 1 \leq i < j \leq n\}$ is the disjoint union of $Φ(α_1), Φ(α_2), \ldots, Φ(α_r)$. Using this description we prove that certain faces of the Littlewood-Richardson cone are simplicial and provide an algorithm for writing down their sets of generating rays. We also discuss analogous problems for the Weyl groups of root systems of types $B$, $C$ and $D$ providing solutions for types $B$ and $C$. Finally we provide some enumerative results and introduce a useful tool for visualizing inversion sets.