permutation ↗ reference
4849 papers tagged with this keyword
A counterexample regarding labelled well-quasi-ordering
Published
• View Publication
• BIB
Korpelainen, Lozin, and Razgon conjectured that a hereditary property of graphs which is well-quasi-ordered by the induced subgraph order and defined by only finitely many minimal forbidden induced subgraphs is labelled well-quasi-ordered, a notion stronger than that of $n$-well-quasi-order introduced by Pouzet in the 1970s. We present a counterexample to this conjecture. In fact, we exhibit a hereditary property of graphs which is well-quasi-ordered by the induced subgraph order and defined by finitely many minimal forbidden induced subgraphs yet is not $2$-well-quasi-ordered. This counterexample is based on the widdershins spiral, which has received some study in the area of permutation patterns.
Finding Small Weight Isomorphisms with Additional Constraints is Fixed-Parameter Tractable
Lubiw showed that several variants of Graph Isomorphism are NP-complete, where the solutions are required to satisfy certain additional constraints [SICOMP 10, 1981]. One of these, called Isomorphism With Restrictions, is to decide for two given graphs $X_1=(V,E_1)$ and $X_2=(V,E_2)$ and a subset $R\subseteq V\times V$ of forbidden pairs whether there is an isomorphism $π$ from $X_1$ to $X_2$ such that $π(i)\neq j$ for all $(i,j)\in R$. We prove that this problem and several of its generalizations are in fact in FPT:
- The problem of deciding whether there is an isomorphism between two graphs that moves k vertices and satisfies Lubiw-style constraints is in FPT, with k and the size of $R$ as parameters. The problem remains in FPT if a CNF of such constraints is allowed. It follows that the problem to decide whether there is an isomorphism that moves exactly k vertices is in FPT. This solves a question left open in our article on exact weight automorphisms [STACS 2017].
- When the weight and complexity are unrestricted, finding isomorphisms that satisfy a CNF of Lubiw-style constraints can be solved in FPT with access to a GI oracle.
- Checking if there is an isomorphism $π$ between two graphs with complexity t is also in FPT with t as parameter, where the complexity of a permutation is the Cayley measure defined as the minimum number t such that $π$ can be expressed as a product of t transpositions.
- We consider a more general problem in which the vertex set of a graph X is partitioned into Red and Blue, and we are interested in an automorphism that stabilizes Red and Blue and moves exactly k vertices in Blue, where k is the parameter. This problem was introduced by [Downey and Fellows 1999], and we showed [STACS 2017] that it is W[1]-hard even with color classes of size 4 inside Red. Now, for color classes of size at most 3 inside Red, we show the problem is in FPT.
Patterns in random permutations avoiding the pattern 321
Published
• View Publication
• BIB
We consider a random permutation drawn from the set of 321-avoiding permutations of length $n$ and show that the number of occurrences of another pattern $σ$ has a limit distribution, after scaling by $n^{m+\ell}$ where $m$ is the length of $σ$ and $\ell$ is the number of blocks in it. The limit is not normal, and can be expressed as a functional of a Brownian excursion.
Permutation Statistics and Pattern Avoidance in Involutions
Dokos et. al. studied the distribution of two statistics over permutations $\mathfrak{S}_n$ of $\{1,2,\dots, n\}$ that avoid one or more length three patterns. A permutation $σ\in\mathfrak{S}_n$ contains a pattern $π\in\mathfrak{S}_k$ if $σ$ has a subsequence of length $k$ whose letters are in the same relative order as $π$. This paper is a comprehensive study of the same two statistics, number of inversions and major index, over involutions $\mathcal{I}_n=\{σ\in\mathfrak{S}_n:σ^2=\text{id}\}$ that avoid one or more length three patterns. The equalities between the generating functions are consequently determined via symmetries and we conjecture this happens for longer patterns as well. We describe the generating functions for each set of patterns including the fixed-point-free case, $σ(i)\neq i$ for all $i.$ Notating $M\mathcal{I}_n(π)$ as the generating function for the major index over the avoidance class of involutions associated to $π$ we particularly present an independent determination that $M\mathcal{I}_n(321)$ is the $q$-analogue for the central binomial coefficient that first appeared in a paper by Barnebei, Bonetti, Elizalde and Silimbani. A shorter proof is presented that establishes a connection to core, a central topic in poset theory. We also prove that $M\mathcal{I}_n(132;q)=q^{\binom{n}{2}}M\mathcal{I}_n(213;q^{-1})$ and that the same symmetry holds for the larger class of permutations conjecturing that the same equality is true for involutions and permutations given any pair of patterns of the form $k(k-1)\dots 1(k+1)(k+2)\dots m$ and $12\dots (k-1) m(m-1)\dots k$, $k\leq m$.
On some actions of the 0-Hecke monoids of affine symmetric groups
Published in J. Combin. Theory Ser. A 161 (2019) 178-219
• View Publication
• BIB
There are left and right actions of the 0-Hecke monoid of the affine symmetric group $\tilde{S}_n$ on involutions whose cycles are labeled periodically by nonnegative integers. Using these actions we construct two bijections, which are length-preserving in an appropriate sense, from the set of involutions in $\tilde{S}_n$ to the set of $\mathbb{N}$-weighted matchings in the $n$-element cycle graph. As an application, we compute a formula for the bivariate generating function counting the involutions in $\tilde S_n$ by length and absolute length. The 0-Hecke monoid of $\tilde{S}_n$ also acts on involutions (without any cycle labelling) by Demazure conjugation. The atoms of an involution $z \in \tilde{S}_n$ are the minimal length permutations $w$ which transform the identity to $z$ under this action. We prove that the set of atoms for an involution in $\tilde{S}_n$ is naturally a bounded, graded poset, and give a formula for the set's minimum and maximum elements. Using these properties, we classify the covering relations in the Bruhat order restricted to involutions in $\tilde{S}_n$.
Characterization and enumeration of 3-regular permutation graphs
Published
• View Publication
• BIB
A permutation graph is a graph that can be derived from a permutation, where the vertices correspond to letters of the permutation, and the edges represent inversions. We provide a construction to show that there are infinitely many connected $r$-regular permutation graphs for $r \geq 3$. We prove that all $3$-regular permutation graphs arise from a similar construction. Finally, we enumerate all $3$-regular permutation graphs on $n$ vertices.
Partition Algebras and the Invariant Theory of the Symmetric Group
Published
• View Publication
• BIB
The symmetric group $\mathsf{S}_n$ and the partition algebra $\mathsf{P}_k(n)$ centralize one another in their actions on the $k$-fold tensor power $\mathsf{M}_n^{\otimes k}$ of the $n$-dimensional permutation module $\mathsf{M}_n$ of $\mathsf{S}_n$. The duality afforded by the commuting actions determines an algebra homomorphism $Φ_{k,n}: \mathsf{P}_k(n) \to \mathsf{End}_{\mathsf{S}_n}(\mathsf{M}_n^{\otimes k})$ from the partition algebra to the centralizer algebra $\mathsf{End}_{\mathsf{S}_n}(\mathsf{M}_n^{\otimes k})$, which is a surjection for all $k, n \in \mathbb{Z}_{\ge 1}$, and an isomorphism when $n \ge 2k$. We present results that can be derived from the duality between $\mathsf{S}_n$ and $\mathsf{P}_k(n)$; for example, (i) expressions for the multiplicities of the irreducible $\mathsf{S}_n$-summands of $\mathsf{M}_n^{\otimes k}$, (ii) formulas for the dimensions of the irreducible modules for the centralizer algebra $\mathsf{End}_{\mathsf{S}_n}(\mathsf{M}_n^{\otimes k})$, (iii) a bijection between vacillating tableaux and set-partition tableaux, (iv) identities relating Stirling numbers of the second kind and the number of fixed points of permutations, and (v) character values for the partition algebra $\mathsf{P}_k(n)$. When $2k >n$, the map $Φ_{k,n}$ has a nontrivial kernel which is generated as a two-sided ideal by a single idempotent. We describe the kernel and image of $Φ_{k,n}$ in terms of the orbit basis of $\mathsf{P}_k(n)$ and explain how the surjection $Φ_{k,n}$ can also be used to obtain the fundamental theorems of invariant theory for the symmetric group.
A Novel Quasigroup Substitution Scheme for Chaos Based Image Encryption
Published in Journal of Applied Nonlinear Dynamics 7(4), 393-412 (2018)
• View Publication
• BIB
A During last two decades, there has been a prolific growth in the chaos based image encryption algorithms. Up to an extent these algorithms have been able to provide an alternative to exchange large media files (images and videos) over the networks in a secure way. However, there have been some issues with the implementation of chaos based image ciphers in practice. One of them is reduced/small key space due to the fact that chaotic behavior is only observed for certain range of system parameters/initial conditions of the chaotic system used in such algorithms. To overcome this difficulty, we propose a simple, efficient and robust image encryption algorithm based on combined applications of quasigroups and chaotic standard map. The proposed image cipher is based on the popular substitution-diffusion architecture (Shanon) where a quasigroup of order 256 and chaotic standard map have been used for the substitution and permutation of image pixels respectively. Due to the introduction of quasigroup as part of the secret key along with the parameter and initial conditions of the chaotic standard map, the key space has been increased significantly. The proposed image cipher is very fast due to the fact that the substitution based on the quasigroup operations is very simple and can be executed easily through the lookup table operations on Latin squares (which are Cayley operation tables of quasigroups) and the permutation is performed row-by-row as well as column-by-column using the pseudo random number sequences gener-ated through the chaotic standard map. The security and performance have been analyzed through the histograms, correlation coefficients, information entropy, key sensitivity analysis, differential analysis, key space analysis etc. and the results prove the efficiency and robustness of the proposed image cipher against the possible security threats.
A propos de l'algèbre de Hopf des mots tassés WMat
Published
• View Publication
• BIB
In this article we study the packed words Hopf algebra WMat introduced by Duchamp, Hoang-Nghia et Tanasa. We start by explaining that WMat is not cofree, giving its antipode and describing its graded dual. We consider then a Hopf sub-algebra of permutations called $\mathfrak{S}\mathcal{H}$. Its graded dual $\mathfrak{S}\mathcal{H}^\circledast$ has a quadri-algebra structure, so it has a double dendriform algebra structure too. Thereafter, we introduce ISPW, a Hopf algebra of increasing strict packed words. It is graded, connected and cocommutative so is isomorphic to the enveloping algebra of its primitive elements. We describe some families of primitive elements. We prove that ISPW and non commutative symmetric functions are isomorphic. We define then an extended compositions Hopf algebra $\mathcal{C}_e$. It is not cocommutative but its primitive elements and those from ISPW are linked. We give an interpretation of $\mathcal{C}_e$ in terms of a semi-direct coproduct Hopf algebra. By using this, we can define two actions groups. We finish by giving an explicit isomorphism between ISPW$^\circledast$ and QSym and another one between ISPW and NSym.
A generalized major index statistic on tableaux
We extend the family of statistics maj_d, introduced for permutations by Kadell (1985), to standard Young tableaux. At one extreme, we have the traditional Major index statistic maj_1 for tableaux. At the other end, maj_n = inv, the inversion statistic introduced by Haglund and Stevens (2006). This is answers a question of Assaf (2008), who defined maj_2 and maj_3 for tableaux.
Enumeration of permutations avoiding a triple of 4-letter patterns is all done
Published
• View Publication
• BIB
This paper completes a project to enumerate permutations avoiding a triple T of 4-letter patterns, in the sense of classical pattern avoidance, for every T. There are 317 symmetry classes of such triples T and previous papers have enumerated avoiders for all but 14 of them. One of these 14 is conjectured not to have an algebraic generating function. Here, we find the generating function for each of the remaining 13, and it is algebraic in each case.
Generalized Permutohedra, Scattering Amplitudes, and a Cubic Three-Fold
In this note, we apply combinatorial techniques from our Ph.D. thesis to study how generalized permutohedra may be represented functionally on Parke-Tayor factors and related rational functions. In any functional representation of polyhedral cones, in general certain homological information may be lost. The combinatorial relations of the Parke-Taylor factors lift homologically to generalized permutohedra.
The 6-particle case contains several related layers of interesting geometric data: the Newton polytope for the polynomial numerator lifts the permutohedron in three variables, which is a hexagon, and the fraction itself provides a functional representation of certain neighborhoods of a vertex of a 5-dimensional weight permutohedron. The lift from fraction to generalized permutohedron was derived by comparing functional representations. We observe additionally that the numerator and its permutations satisfy a degree 3 polynomial relation which defines a classical projective variety known as the Segre cubic.
We include in an extended Appendix selected Mathematica code which can be used to verify our computations independently.
Coin-flipping, ball-dropping, and grass-hopping for generating random graphs from matrices of edge probabilities
Published
• View Publication
• BIB
Common models for random graphs, such as Erdős-Rényi and Kronecker graphs, correspond to generating random adjacency matrices where each entry is non-zero based on a large matrix of probabilities. Generating an instance of a random graph based on these models is easy, although inefficient, by flipping biased coins (i.e. sampling binomial random variables) for each possible edge. This process is inefficient because most large graph models correspond to sparse graphs where the vast majority of coin flips will result in no edges. We describe some not-entirely-well-known, but not-entirely-unknown, techniques that will enable us to sample a graph by finding only the coin flips that will produce edges. Our analogies for these procedures are ball-dropping, which is easier to implement, but may need extra work due to duplicate edges, and grass-hopping, which results in no duplicated work or extra edges.
Grass-hopping does this using geometric random variables. In order to use this idea on complex probability matrices such as those in Kronecker graphs, we decompose the problem into three steps, each of which are independently useful computational primitives: (i) enumerating non-decreasing sequences, (ii) unranking multiset permutations, and (iii) decoding and encoding z-curve and Morton codes and permutations. The third step is the result of a new connection between repeated Kronecker product operations and Morton codes. Throughout, we draw connections to ideas underlying applied math and computer science including coupon collector problems.
Enumerating kth Roots in the Symmetric Inverse Monoid
The symmetric inverse monoid, SIM(n), is the set of all partial one-to-one mappings from the set {1, 2, ... , n} to itself under the operation of composition. Earlier research on the symmetric inverse monoid delineated the process for determining whether an element of SIM(n) has a kth root. The problem of enumerating kth roots of a given element of SIM(n) has since been posed, which is solved in this work. In order to find the number of kth roots of an element, all that is needed is to know the cycle and path structure of the element. Conveniently, the cycle and cycle-free components may be considered separately in calculating the number of kth roots. Since the enumeration problem has been completed for the symmetric group, this paper only focuses on the cycle-free elements of SIM(n). The formulae derived for cycle-free elements of SIM(n) here utilize integer partitions, similar to their use in the expressions given for the number of kth roots of permutations.
Support Equalities Among Ribbon Schur Functions
Published
• View Publication
• BIB
In 2007, McNamara proved that two skew shapes can have the same Schur support only if they have the same number of $k\times \ell$ rectangles as subdiagrams. This implies that two ribbons can have the same Schur support only if one is obtained by permuting row lengths of the other. We present substantial progress towards classifying when a permutation $π\in S_m$ of row lengths of a ribbon $α$ produces a ribbon $α_π$ with the same Schur support as $α$; when this occurs for all $π\in S_m$, we say that $α$ has "full equivalence class." Our main results include a sufficient condition for a ribbon $α$ to have full equivalence class. Additionally, we prove a separate necessary condition, which we conjecture to be sufficient.
A Tight Lower Bound for Counting Hamiltonian Cycles via Matrix Rank
For even $k$, the matchings connectivity matrix $\mathbf{M}_k$ encodes which pairs of perfect matchings on $k$ vertices form a single cycle. Cygan et al. (STOC 2013) showed that the rank of $\mathbf{M}_k$ over $\mathbb{Z}_2$ is $Θ(\sqrt 2^k)$ and used this to give an $O^*((2+\sqrt{2})^{\mathsf{pw}})$ time algorithm for counting Hamiltonian cycles modulo $2$ on graphs of pathwidth $\mathsf{pw}$. The same authors complemented their algorithm by an essentially tight lower bound under the Strong Exponential Time Hypothesis (SETH). This bound crucially relied on a large permutation submatrix within $\mathbf{M}_k$, which enabled a "pattern propagation" commonly used in previous related lower bounds, as initiated by Lokshtanov et al. (SODA 2011).
We present a new technique for a similar pattern propagation when only a black-box lower bound on the asymptotic rank of $\mathbf{M}_k$ is given; no stronger structural insights such as the existence of large permutation submatrices in $\mathbf{M}_k$ are needed. Given appropriate rank bounds, our technique yields lower bounds for counting Hamiltonian cycles (also modulo fixed primes $p$) parameterized by pathwidth.
To apply this technique, we prove that the rank of $\mathbf{M}_k$ over the rationals is $4^k / \mathrm{poly}(k)$. We also show that the rank of $\mathbf{M}_k$ over $\mathbb{Z}_p$ is $Ω(1.97^k)$ for any prime $p\neq 2$ and even $Ω(2.15^k)$ for some primes.
As a consequence, we obtain that Hamiltonian cycles cannot be counted in time $O^*((6-ε)^{\mathsf{pw}})$ for any $ε>0$ unless SETH fails. This bound is tight due to a $O^*(6^{\mathsf{pw}})$ time algorithm by Bodlaender et al. (ICALP 2013). Under SETH, we also obtain that Hamiltonian cycles cannot be counted modulo primes $p\neq 2$ in time $O^*(3.97^\mathsf{pw})$, indicating that the modulus can affect the complexity in intricate ways.
1324-avoiding permutations revisited
Published
• View Publication
• BIB
We give an improved algorithm for counting the number of $1324$-avoiding permutations, resulting in $14$ further terms of the generating function, which is now known for all patterns of length $\le 50$. We re-analyse the generating function and find additional evidence for our earlier conclusion that unlike other classical length-$4$ pattern-avoiding permutations, the generating function does not have a simple power-law singularity, but rather, the number of $1324$-avoiding permutations of length $n$ behaves as \[ B\cdot μ^n \cdot μ_1^{\sqrt{n}} \cdot n^g. \] We estimate $μ=11.600 \pm 0.003$, $μ_1 = 0.0400 \pm 0.0005$, $g = -1.1 \pm 0.1$ while the estimate of $B$ depends sensitively on the precise value of $μ$, $μ_1$ and $g$. This reanalysis provides substantially more compelling arguments for the presence of the stretched exponential term $μ_1^{\sqrt{n}}$.
The rank function of a positroid and non-crossing partitions
Published
• View Publication
• BIB
A positroid is a special case of a realizable matroid, that arose from the study of totally nonnegative part of the Grassmannian by Postnikov. Postnikov demonstrated that positroids are in bijection with certain interesting classes of combinatorial objects, such as Grassmann necklaces and decorated permutations. The bases of a positroid can be described directly in terms of the Grassmann necklace and decorated permutation. In this paper, we show that the rank of an arbitrary set in a positroid can be computed directly from the associated decorated permutation using non-crossing partitions.
Inversions in split trees and conditional Galton--Watson trees
Published
• View Publication
• BIB
We study $I(T)$, the number of inversions in a tree $T$ with its vertices labeled uniformly at random, which is a generalization of inversions in permutations. We first show that the cumulants of $I(T)$ have explicit formulas involving the $k$-total common ancestors of $T$ (an extension of the total path length). Then we consider $X_n$, the normalized version of $I(T_n)$, for a sequence of trees $T_n$. For fixed $T_{n}$'s, we prove a sufficient condition for $X_n$ to converge in distribution. As an application, we identify the limit of $X_n$ for complete $b$-ary trees. For $T_n$ being split trees, we show that $X_n$ converges to the unique solution of a distributional equation. Finally, when $T_n$'s are conditional Galton--Watson trees, we show that $X_n$ converges to a random variable defined in terms of Brownian excursions. By exploiting the connection between inversions and the total path length, we are able to give results that are stronger and much broader compared to previous work by Panholzer and Seitz.
A directed graph generalization of chromatic quasisymmetric functions
Stanley defined the chromatic symmetric function of a graph, and Shareshian and Wachs introduced a refinement, namely the chromatic quasisymmetric function of a labeled graph. In this paper, we define the chromatic quasisymmetric function of a directed graph, which agrees with the Shareshian-Wachs definition in the acyclic case. We give an F-basis expansion for all digraphs in terms of a permutation statistic, which we call G-descents. We use this expansion to derive a p-positivity formula for all digraphs with symmetric chromatic quasisymmetric functions. We show that the chromatic quasisymmetric functions of a certain class of digraphs, called circular indifference digraphs, have symmetric coefficients. We present an e-positivity formula for the chromatic quasisymmetric function of the directed cycle, which is a t-analog of a result of Stanley. Lastly, we give a generalization of the Shareshian-Wachs e-positivity conjecture to a larger class of digraphs.