permutation ↗ reference
4849 papers tagged with this keyword
A note on a bijection for Schröder permutations
There is a bijection from Schroder paths to {4132, 4231}-avoiding permutations due to Bandlow, Egge, and Killpatrick that sends "area" to "inversion number". Here we give a concise description of this bijection.
A complexity trichotomy for approximately counting list H-colourings
Published
• View Publication
• BIB
We examine the computational complexity of approximately counting the list H-colourings of a graph. We discover a natural graph-theoretic trichotomy based on the structure of the graph H. If H is an irreflexive bipartite graph or a reflexive complete graph then counting list H-colourings is trivially in polynomial time. Otherwise, if H is an irreflexive bipartite permutation graph or a reflexive proper interval graph then approximately counting list H-colourings is equivalent to #BIS, the problem of approximately counting independent sets in a bipartite graph. This is a well-studied problem which is believed to be of intermediate complexity -- it is believed that it does not have an FPRAS, but that it is not as difficult as approximating the most difficult counting problems in #P. For every other graph H, approximately counting list H-colourings is complete for #P with respect to approximation-preserving reductions (so there is no FPRAS unless NP=RP). Two pleasing features of the trichotomy are (i) it has a natural formulation in terms of hereditary graph classes, and (ii) the proof is largely self-contained and does not require any universal algebra (unlike similar dichotomies in the weighted case). We are able to extend the hardness results to the bounded-degree setting, showing that all hardness results apply to input graphs with maximum degree at most 6.
Metric Dimension of Bounded Tree-length Graphs
Published
• View Publication
• BIB
The notion of resolving sets in a graph was introduced by Slater (1975) and Harary and Melter (1976) as a way of uniquely identifying every vertex in a graph. A set of vertices in a graph is a resolving set if for any pair of vertices x and y there is a vertex in the set which has distinct distances to x and y. A smallest resolving set in a graph is called a metric basis and its size, the metric dimension of the graph. The problem of computing the metric dimension of a graph is a well-known NP-hard problem and while it was known to be polynomial time solvable on trees, it is only recently that efforts have been made to understand its computational complexity on various restricted graph classes. In recent work, Foucaud et al. (2015) showed that this problem is NP-complete even on interval graphs. They complemented this result by also showing that it is fixed-parameter tractable (FPT) parameterized by the metric dimension of the graph. In this work, we show that this FPT result can in fact be extended to all graphs of bounded tree-length. This includes well-known classes like chordal graphs, AT-free graphs and permutation graphs. We also show that this problem is FPT parameterized by the modular-width of the input graph.
On the number of equivalence classes of invertible Boolean functions under action of permutation of variables on domain and range
Published
• View Publication
• BIB
Let $V_n$ be the number of equivalence classes of invertible maps from $\{0,1\}^n$ to $\{0,1\}^n$, under action of permutation of variables on domain and range. So far, the values $V_n$ have been known for $n\le 6$. This paper describes the procedure by which the values of $V_n$ are calculated for $n\le 30$.
Monotone Subsequences in High-Dimensional Permutations
Published
• View Publication
• BIB
This paper is part of the ongoing effort to study high-dimensional permutations. We prove the analogue to the Erdős-Szekeres theorem: For every $k\ge1$, every order-$n$ $k$-dimensional permutation contains a monotone subsequence of length $Ω_{k}\left(\sqrt{n}\right)$, and this is tight. On the other hand, and unlike the classical case, the longest monotone subsequence in a random $k$-dimensional permutation of order $n$ is asymptotically almost surely $Θ_{k}\left(n^{\frac{k}{k+1}}\right)$.
Configurations of conjugate permutations
Published in Quasigroups and Related Systems vol. 18 (2010), pp. 17-24
• Search Publication
We describe some configurations of conjugate permutations which may be used as a mathematical model of some genetical processes and crystal growth.
On a lower bound for sorting signed permutations by reversals
Computing the reversal distances of signed permutations is an important topic in Bioinformatics. Recently, a new lower bound for the reversal distance was obtained via the plane permutation framework. This lower bound appears different from the existing lower bound obtained by Bafna and Pevzner through breakpoint graphs. In this paper, we prove that the two lower bounds are equal. Moreover, we confirm a related conjecture on skew-symmetric plane permutations, which can be restated as follows: let $p=(0,-1,-2,\ldots -n,n,n-1,\ldots 1)$ and let
$$
\tilde{s}=(0,a_1,a_2,\ldots a_n,-a_n,-a_{n-1},\ldots -a_1)
$$ be any long cycle on the set $\{-n,-n+1,\ldots 0,1,\ldots n\}$. Then, $n$ and $a_n$ are always in the same cycle of the product $p\tilde{s}$. Furthermore, we show the new lower bound via plane permutations can be interpreted as the topological genera of orientable surfaces associated to signed permutations.
Rationality for subclasses of 321-avoiding permutations
Published
• View Publication
• BIB
We prove that every proper subclass of the 321-avoiding permutations that is defined either by only finitely many additional restrictions or is well quasi-ordered has a rational generating function. To do so we show that any such class is in bijective correspondence with a regular language. The proof makes significant use of formal languages and of a host of encodings, including a new mapping called the panel encoding that maps languages over the infinite alphabet of positive integers avoiding certain subwords to languages over finite alphabets.
On the Sign-imbalance of Permutation Tableaux
Published
• View Publication
• BIB
Permutation tableaux were introduced by Steingrímsson and Williams. Corteel and Kim defined the sign of a permutation tableau in terms of the number of unrestricted columns. The sign-imbalance of permutation tableaux of length $n$ is the sum of signs over permutation tableaux of length $n$. They have btained a formula for the sign-imbalance of permutation tableaux of length $n$ by using generating functions and asked for a combinatorial proof. Moreover, they raised the question of finding a sign-imbalance formula for type $B$ permutation tableaux introduced by Lam and Williams. We define a statistic $\nwnm$ over permutations and show that the number of unrestricted columns over permutation tableaux of length $n$ is equally distributed with $\nwnm$ over permutations of length $n$. This leads to a combinatorial interpretation of the formula of Corteel and Kim. For type $B$ permutation tableaux, we define the sign of a type $B$ permutation tableau in term of the number of certain rows and columns. On the other hand, we construct a bijection between the type $B$ permutation tableaux of length $n$ and symmetric permutations of length $2n$ and we show that the statistic $\nwnm$ over symmetric permutations of length $2n$ is equally distributed with the number of certain rows and columns over type $B$ permutation tableaux of length $n$. Based on this correspondence and an involution on symmetric permutation of length $2n$, we obtain a sign-imbalance formula for type $B$ permutation tableaux.
Expansion of polynomial Lie group integrals in terms of certain maps on surfaces, and factorizations of permutations
Published in J. Phys. A: Math. Theor. 50 075201 (2017)
• View Publication
• BIB
Using the diagrammatic approach to integrals over Gaussian random matrices, we find a representation for polynomial Lie group integrals as infinite sums over certain maps on surfaces. The maps involved satisfy a specific condition: they have some marked vertices, and no closed walks that avoid these vertices. We also formulate our results in terms of permutations, arriving at new kinds of factorization problems.
Permutations that Destroy Arithmetic Progressions in Elementary $p$-Groups
Published
• View Publication
• BIB
Given an abelian group $G$, it is natural to ask whether there exists a permutation $π$ of $G$ that "destroys" all nontrivial 3-term arithmetic progressions (APs), in the sense that $π(b) - π(a) \neq π(c) - π(b)$ for every ordered triple $(a,b,c) \in G^3$ satisfying $b-a = c-b \neq 0$. This question was resolved for infinite groups $G$ by Hegarty, who showed that there exists an AP-destroying permutation of $G$ if and only if $G/Ω_2(G)$ has the same cardinality as $G$, where $Ω_2(G)$ denotes the subgroup of all elements in $G$ whose order divides $2$. In the case when $G$ is finite, however, only partial results have been obtained thus far. Hegarty has conjectured that an AP-destroying permutation of $G$ exists if $G = \mathbb{Z}/n\mathbb{Z}$ for all $n \neq 2,3,5,7$, and together with Martinsson, he has proven the conjecture for all $n > 1.4 \times 10^{14}$. In this paper, we show that if $p$ is a prime and $k$ is a positive integer, then there is an AP-destroying permutation of the elementary $p$-group $(\mathbb{Z}/p\mathbb{Z})^k$ if and only if $p$ is odd and $(p,k) \not\in \{(3,1),(5,1), (7,1)\}$.
On the Cycle Structure of Mallows Permutations
Published
• View Publication
• BIB
We study the length of cycles of random permutations drawn from the Mallows distribution. Under this distribution, the probability of a permutation $π\in \mathbb{S}_n$ is proportional to $q^{\textrm{inv}(π)}$ where $0<q\le 1$ and $\textrm{inv}(π)$ is the number of inversions in $π$.
We show that the expected length of the cycle containing a given point is of order $\min\{(1-q)^{-2}, n\}$. This marks the existence of two asymptotic regimes: with high probability, when $n$ tends to infinity with $(1-q)^{-2} \ll n$ then all cycles have size $o(n)$ whereas when $n$ tends to infinity with $(1-q)^{-2}\gg n$ then macroscopic cycles, of size proportional to $n$, emerge. In the second regime, we prove that the distribution of normalized cycle lengths follows the Poisson-Dirichlet law, as in a uniformly random permutation. The results bear formal similarity with a conjectured localization transition for random band matrices.
Further results are presented for the variance of the cycle lengths, the expected diameter of cycles and the expected number of cycles. The proofs rely on the exact sampling algorithm for the Mallows distribution and make use of a special diagonal exposure process for the graph of the permutation.
Permutation codes, source coding and a generalisation of Bollobás-Lubell-Yamamoto-Meshalkin and Kraft inequalities
We develop a general framework to prove Kraft-type inequalities for prefix-free permutation codes for source coding with various notions of permutation code and prefix. We also show that the McMillan-type converse theorem in most of these cases does not hold, and give a general form of a counterexample. Our approach is more general and works for other structures besides permutation codes. The classical Kraft inequality for prefix-free codes as well as results about permutation codes follow as corollaries of our main theorem and main counterexample.
The peak statistics on simsun permutations
Published
• View Publication
• BIB
In this paper, we study the relationship among left peaks, interior peaks and up-down runs of simsun permutations. Properties of the generating polynomials, including the recurrence relation, generating function and real-rootedness are studied. Moreover, we introduce and study simsun permutations of the second kind.
Unshuffling Permutations
Published in Latin American Theoretical Informatics Symposium, LNCS 9644, 509--521, 2016
• View Publication
• BIB
A permutation is said to be a square if it can be obtained by shuffling two order-isomorphic patterns. The definition is intended to be the natural counterpart to the ordinary shuffle of words and languages. In this paper, we tackle the problem of recognizing square permutations from both the point of view of algebra and algorithms. On the one hand, we present some algebraic and combinatorial properties of the shuffle product of permutations. We follow an unusual line consisting in defining the shuffle of permutations by means of an unshuffling operator, known as a coproduct. This strategy allows to obtain easy proofs for algebraic and combinatorial properties of our shuffle product. We besides exhibit a bijection between square $(213,231)$-avoiding permutations and square binary words. On the other hand, by using a pattern avoidance criterion on oriented perfect matchings, we prove that recognizing square permutations is $\mathbf{NP}$-complete.
Phases in Large Combinatorial Systems
Published
• View Publication
• BIB
This is a status report on a companion subject to extremal combinatorics, obtained by replacing extremality properties with emergent structure, `phases'. We discuss phases, and phase transitions, in large graphs and large permutations, motivating and using the asymptotic formalisms of graphons for graphs and permutons for permutations. Phase structure is shown to emerge using entropy and large deviation techniques.
On a permutation problem for finite abelian groups
Published in Electron. J. Combin. 24(2017), no. 1, P1.17, 1-6
• View Publication
• BIB
Let $G$ be a finite additive abelian group with exponent $n>1$, and let $a_1,\ldots,a_{n-1}\in G$. We show that there is a permutation $σ\in S_{n-1}$ such that all the elements $sa_{σ(s)}\ (s=1,\ldots,n-1)$ are nonzero if and only if $$\left|\left\{1\le s<n:\ \frac{n}{d}a_s\ne 0\right\}\right|\ge d-1\ \ \textrm{ for every positive divisor }\ d\ \textrm{ of }\ n.$$ When $G$ is the cyclic group $\mathbb Z/n\mathbb Z$, this confirms a conjecture of Z.-W. Sun.
The fibres of the Scott map on polygon tilings are the flip equivalence classes
We associate strand diagrams to tilings of surfaces with marked points, generalising Scott's method for triangulations of polygons. We thus obtain a map from tilings of surfaces to permutations of the marked points on boundary components, the {\em Scott map}. In the disk case (polygon tilings) we prove that the fibres of the Scott map are the flip equivalence classes.
The result allows us to consider the size of the image as a generalisation of a classical combinatorial problem, and hence to determine the size in low ranks.
Andre Permutation Calculus; a Twin Seidel Matrix Sequence
Entringer numbers occur in the André permutation combinatorial set-up under several forms. This leads to the construction of a matrix-analog refinement of the tangent (resp. secant) numbers. Furthermore, closed expressions for the three-variate exponential generating functions for pairs of so-called Entringerian statistics are derived.
Generating Sets of the Kernel Graph and the Inverse Problem in Synchronization Theory
This paper analyses the construction of the kernel graph of a non-synchronizing transformation semigroup and introduces the inverse synchronization problem. Given a transformation semigroup $S\leq T_n$, we construct the kernel graph $\text{Gr}(S)$ by saying $v$ and $w$ are adjacent, if there is no $f\in S$ with $vf=wf$. The kernel graph is trivial or complete if the semigroup is a synchronizing semigroup or a permutation group, respectively. The connection between graphs and synchronizing (semi-) groups was established by Cameron and Kazanidis, and it has led to many results regarding the classification of synchronizing permutation groups, and the description of singular endomorphims of graphs. This paper, firstly, emphasises the importance of this construction mainly by proving its superior structure, secondly, analyses the construction and discusses minimal generating sets and their combinatorial properties, and thirdly, introduces the inverse synchronization problem. The third part also includes an additional characterization of primitive groups.