permutation ↗ reference
4945 papers tagged with this keyword
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.
The algebraic combinatorics of snakes
Published in J. Combinatorial Theory A 119 (2012), 1613-1638
• View Publication
• BIB
Snakes are analogues of alternating permutations defined for any Coxeter group. We study these objects from the point of view of combinatorial Hopf algebras, such as noncommutative symmetric functions and their generalizations. The main purpose is to show that several properties of the generating functions of snakes, such as differential equations or closed form as trigonometric functions, can be lifted at the level of noncommutative symmetric functions or free quasi-symmetric functions. The results take the form of algebraic identities for type B noncommutative symmetric functions, noncommutative supersymmetric functions and colored free quasi-symmetric functions.
Enumeration of permutations by 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. We find a grammatical description of the numbers R(n,k) and then present several convolution formulas involving the generating function for the numbers R(n,k). Moreover, we establish a connection between alternating runs and Andre permutations.
Incidence Homology of Finite Projective Spaces
Let F* be the finite field of q elements and let P(n,q) be the projective space of dimension n-1 over F*. We construct a family H^{n}_{k,i} of combinatorial homology modules associated to P(n,q) over a coefficient field F field of characteristic p_{0}>0 co-prime to q. As FGL(n,q)-representations the modules are obtained from the permutation action of GL(n,q) on the subspaces of F*^n. We prove a branching rule for H^{n}_{k,i} and use this rule to determine these homology representations completely. The main results are a duality theorem and the complete characterisation of H^{n}_{k,i} in terms of the standard irreducibles of GL(n,q) over F and applications.
Strings from Feynman Graph counting : without large N
Published
• View Publication
• BIB
A well-known connection between n strings winding around a circle and permutations of n objects plays a fundamental role in the string theory of large N two dimensional Yang Mills theory and elsewhere in topological and physical string theories. Basic questions in the enumeration of Feynman graphs can be expressed elegantly in terms of permutation groups. We show that these permutation techniques for Feynman graph enumeration, along with the Burnside counting lemma, lead to equalities between counting problems of Feynman graphs in scalar field theories and Quantum Electrodynamics with the counting of amplitudes in a string theory with torus or cylinder target space. This string theory arises in the large N expansion of two dimensional Yang Mills and is closely related to lattice gauge theory with S_n gauge group. We collect and extend results on generating functions for Feynman graph counting, which connect directly with the string picture. We propose that the connection between string combinatorics and permutations has implications for QFT-string dualities, beyond the framework of large N gauge theory.