permutation ↗ reference
4849 papers tagged with this keyword
Degree Sequence of Random Permutation Graphs
Published in Annals of Applied Probability, Vol. 27 (1), 439-484, 2017
• View Publication
• BIB
In this paper we study the degree sequence of the permutation graph $G_{π_n}$ associated with a sequence $π_n\in S_n$ of random permutations. Joint limiting distributions of the degrees are established using results from graph and permutation limit theories. In particular, for the uniform random permutation, the joint distribution of the degrees of the vertices labelled $\lceil nr_1 \rceil, \lceil nr_2 \rceil, \ldots, \lceil nr_s \rceil$ converges (after scaling by $n$) to independent random variables $D_1, D_2, \ldots, D_s$, where $D_i\sim \text{Unif}(r_i, 1-r_i)$, for $r_i\in [0,1]$ and $i\in \{1, 2, \ldots, s\}$. Moreover, the degree of the mid-vertex (the vertex labelled $n/2$) has a central limit theorem, and the minimum degree converges to a Rayleigh distribution after appropriate scalings. Finally, the limiting degree distribution of the permutation graph associated with a Mallows random permutation is determined, and interesting phase transitions are observed. Our results extend to other exponential measures on permutations.
The LP Relaxation Orthogonal Array Polytope and its Permutation Symmetries
Published in Journal of Combinatorial Mathematics and Combinatorial Computing, Vol. 91, November 2014, pp. 165-176
• Search Publication
Symmetry plays a fundamental role in design of experiments. In particular, symmetries of factorial designs that preserve their statistical properties are exploited to find designs with the best statistical properties. By using a result proved by Rosenberg [6], the concept of the LP relaxation orthogonal array polytope is developed and studied. A complete characterization of the permutation symmetry group of this polytope is made. Also, this characterization is verified computationally for many cases. Finally, a proof is provided.
Minimal classes of graphs of unbounded clique-width defined by finitely many forbidden induced subgraphs
Published
• View Publication
• BIB
We discover new hereditary classes of graphs that are minimal (with respect to set inclusion) of unbounded clique-width. The new examples include split permutation graphs and bichain graphs. Each of these classes is characterised by a finite list of minimal forbidden induced subgraphs. These, therefore, disprove a conjecture due to Daligault, Rao and Thomasse from 2010 claiming that all such minimal classes must be defined by infinitely many forbidden induced subgraphs.
In the same paper, Daligault, Rao and Thomasse make another conjecture that every hereditary class of unbounded clique-width must contain a labelled infinite antichain. We show that the two example classes we consider here satisfy this conjecture. Indeed, they each contain a canonical labelled infinite antichain, which leads us to propose a stronger conjecture: that every hereditary class of graphs that is minimal of unbounded clique-width contains a canonical labelled infinite antichain.
On a surface formed by randomly gluing together polygonal discs
Published
• View Publication
• BIB
Starting with a collection of $n$ oriented polygonal discs, with an even number $N$ of sides in total, we generate a random oriented surface by randomly matching the sides of discs and properly gluing them together. Encoding the surface in a random permutation $γ$ of $[N]$, we use the Fourier transform on $S_N$ to show that $γ$ is asymptotic to the permutation distributed uniformly on the alternating group $A_N$ ($A_N^c$ resp.) if $N-n$ and $N/2$ are of the same (opposite resp.) parity. We use this to prove a local central limit theorem for the number of vertices on the surface, whence for its Euler characteristic $χ$. We also show that with high probability the random surface consists of a single component, and thus has a well-defined genus $g=1-χ/2$, which is asymptotic to a Gaussian random variable, with mean $(N/2-n-\log N)/2$ and variance $(\log N)/2$.
p-Ascent Sequences
Published
• View Publication
• BIB
A sequence $(a_1, \ldots, a_n)$ of nonnegative integers is an {\em ascent sequence} if $a_0 =0$ and for all $i \geq 2$, $a_i$ is at most 1 plus the number of ascents in $(a_1, \ldots, a_{i-1})$. Ascent sequences were introduced by Bousquet-Mélou, Claesson, Dukes, and Kitaev, who showed that these sequences of length $n$ are in 1-to-1 correspondence with \tpt-free posets of size $n$, which, in turn, are in 1-to-1 correspondence with interval orders of size $n$. Ascent sequences are also in bijection with several other classes of combinatorial objects including the set of upper triangular matrices with nonnegative integer entries such that no row or column contains all zeros, permutations that avoid a certain mesh pattern, and the set of Stoimenow matchings.
In this paper, we introduce a generalization of ascent sequences, which we call {\em $p$-ascent sequences}, where $p \geq 1$. A sequence $(a_1, \ldots, a_n)$ of nonnegative integers is a $p$-ascent sequence if $a_0 =0$ and for all $i \geq 2$, $a_i$ is at most $p$ plus the number of ascents in $(a_1, \ldots, a_{i-1})$. Thus, in our terminology, ascent sequences are 1-ascent sequences. We generalize a result of the authors by enumerating $p$-ascent sequences with respect to the number of $0$s. We also generalize a result of Dukes, Kitaev, Remmel, and Steingrímsson by finding the generating function for the number of $p$-ascent sequences which have no consecutive repeated elements. Finally, we initiate the study of pattern-avoiding $p$-ascent sequences.
Face-subgroups of permutation polytopes
In [Baumeister, H., Nill, Paffenholz, On permutation polytopes, Adv. Math. 222 (2009), 431-452 / arXiv:0709.1615] we conjectured a characterization of subgroups H of a permutation group G so that, on the level of permutation polytopes, P(H) is a face of P(G). Here we present the embarrassingly simple proof of this conjecture.
Largest minimal inversion-complete and pair-complete sets of permutations
Published
• View Publication
• BIB
We solve two related extremal problems in the theory of permutations. A set $Q$ of permutations of the integers 1 to $n$ is inversion-complete (resp., pair-complete) if for every inversion $(j,i)$, where $1 \le i \textless{} j \le n$, (resp., for every pair $(i,j)$, where $i\not= j$) there exists a permutation in~$Q$ where $j$ is before~$i$. It is minimally inversion-complete if in addition no proper subset of~$Q$ is inversion-complete; and similarly for pair-completeness. The problems we consider are to determine the maximum cardinality of a minimal inversion-complete set of permutations, and that of a minimal pair-complete set of permutations. The latter problem arises in the determination of the Carathéodory numbers for certain abstract convexity structures on the $(n-1)$-dimensional real and integer vector spaces. Using Mantel's Theorem on the maximum number of edges in a triangle-free graph, we determine these two maximum cardinalities and we present a complete description of the optimal sets of permutations for each problem. Perhaps surprisingly (since there are twice as many pairs to cover as inversions), these two maximum cardinalities coincide whenever $n \ge 4$.
Lattice points and simultaneous core partitions
Published
• View Publication
• BIB
We observe that for a and b relatively prime, the "abacus construction" identifies the set of simultaneous (a,b)-core partitions with lattice points in a rational simplex. Furthermore, many statistics on (a,b)-cores are piecewise polynomial functions on this simplex. We apply these results to rational Catalan combinatorics.
Using Ehrhart theory, we reprove Anderson's theorem that there are (a+b-1)!/a!b! simultaneous (a,b)-cores, and using Euler-Maclaurin theory we prove Armstrong's conjecture that the average size of an (a,b)-core is (a+b+1)(a-1)(b-1)/24. Our methods also give new derivations of analogous formulas for the number and average size of self-conjugate (a,b)-cores.
We conjecture a unimodality result for q rational Catalan numbers, and make preliminary investigations in applying these methods to the (q,t)-symmetry and specialization conjectures. We prove these conjectures for low degree terms and when a=3, connecting them to the Catalan hyperplane arrangement and quadratic permutation statistics.
A simple framework on sorting permutations
In this paper we present a simple framework to study various distance problems of permutations, including the transposition and block-interchange distance of permutations as well as the reversal distance of signed permutations. These problems are very important in the study of the evolution of genomes. We give a general formulation for lower bounds of the transposition and block-interchange distance from which the existing lower bounds obtained by Bafna and Pevzner, and Christie can be easily derived. As to the reversal distance of signed permutations, we translate it into a block-interchange distance problem of permutations so that we obtain a new lower bound. Furthermore, studying distance problems via our framework motivates several interesting combinatorial problems related to product of permutations, some of which are studied in this paper as well.
Successful Pressing Sequences for a Bicolored Graph and Binary Matrices
Published
• View Publication
• BIB
We apply matrix theory over $\mathbb{F}_2$ to understand the nature of so-called "successful pressing sequences" of black-and-white vertex-colored graphs. These sequences arise in computational phylogenetics, where, by a celebrated result of Hannenhalli and Pevzner, the space of sortings-by-reversal of a signed permutation can be described by pressing sequences. In particular, we offer several alternative linear-algebraic and graph-theoretic characterizations of successful pressing sequences, describe the relation between such sequences, and provide bounds on the number of them. We also offer several open problems that arose as a result of the present work.
Plane permutations and applications to a result of Zagier-Stanley and distances of permutations
Published in SIAM J. Discrete Math. 30-3 (2016), pp. 1660-1684
• View Publication
• BIB
In this paper, we introduce plane permutations, i.e. pairs $\mathfrak{p}=(s,π)$ where $s$ is an $n$-cycle and $π$ is an arbitrary permutation, represented as a two-row array. Accordingly a plane permutation gives rise to three distinct permutations: the permutation induced by the upper horizontal ($s$), the vertical $π$) and the diagonal ($D_{\mathfrak{p}}$) of the array. The latter can also be viewed as the three permutations of a hypermap. In particular, a map corresponds to a plane permutation, in which the diagonal is a fixed point-free involution. We study the transposition action on plane permutations obtained by permuting their diagonal-blocks. We establish basic properties of plane permutations and study transpositions and exceedances and derive various enumerative results. In particular, we prove a recurrence for the number of plane permutations having a fixed diagonal and $k$ cycles in the vertical, generalizing Chapuy's recursion for maps filtered by the genus. As applications of this framework, we present a combinatorial proof of a result of Zagier and Stanley, on the number of $n$-cycles $ω$, for which the product $ω(1~2~\cdots ~n)$ has exactly $k$ cycles. Furthermore, we integrate studies on the transposition and block-interchange distance of permutations as well as the reversal distance of signed permutations. Plane permutations allow us to generalize and recover various lower bounds for transposition and block-interchange distances and to connect reversals with block-interchanges.
Ménage Numbers and Ménage Permutations
In this paper, we study the combinatorial structures of straight and ordinary ménage permutations. Based on these structures, we prove four formulas. The first two formulas define a relationship between the ménage numbers and the Catalan numbers. The other two formulas count the ménage permutations by number of cycles.
Log-concavity, the Ulam distance and involutions
We prove that in a large collection of naturally defined sets of permutations of fixed length, the numbers of permutations at Ulam distance k from the identity form a log-concave sequence in k.
Pipe dream complexes and triangulations of root polytopes belong together
In this paper we show that the pipe dream complex associated to the permutation 1n(n-1)...2 can be geometrically realized as a triangulation of the vertex figure of a root polytope. Leading up to this result we show that the Grothendieck polynomial specializes to the h-polynomial of the corresponding pipe dream complex, which in certain cases equals the h-polynomial of canonical triangulations of root (and flow) polytopes, which in turn equals a specialization of the reduced form of a monomial in the subdivision algebra of root (and flow) polytopes. Thus, we connect Grothendieck polynomials to reduced forms in subdivision algebras and root (and flow) polytopes. We also show that root polytopes can be seen as projections of flow polytopes, explaining that these families of polytopes possess the same subdivision algebra.
Sequences of formation width $4$ and alternation length $5$
Sequence pattern avoidance is a central topic in combinatorics. A sequence $s$ contains a sequence $u$ if some subsequence of $s$ can be changed into $u$ by a one-to-one renaming of its letters. If $s$ does not contain $u$, then $s$ avoids $u$. A widely studied extremal function related to pattern avoidance is $Ex(u, n)$, the maximum length of an $n$-letter sequence that avoids $u$ and has every $r$ consecutive letters pairwise distinct, where $r$ is the number of distinct letters in $u$.
We bound $Ex(u, n)$ using the formation width function, $fw(u)$, which is the minimum $s$ for which there exists $r$ such that any concatenation of $s$ permutations, each on the same $r$ letters, contains $u$. In particular, we identify every sequence $u$ such that $fw(u)=4$ and $u$ contains $ababa$. The significance of this result lies in its implication that, for every such sequence $u$, we have $Ex(u, n) = Θ(n α(n))$, where $α(n)$ denotes the incredibly slow-growing inverse Ackermann function. We have thus identified the extremal function of many infinite classes of previously unidentified sequences.
Quotient graphs for power graphs
Published
• View Publication
• BIB
In a previous paper of the first author a procedure was developed for counting the components of a graph through the knowledge of the components of its quotient graphs. We apply here that procedure to the proper power graph $\mathcal{P}_0(G)$ of a finite group $G$, finding a formula for the number $c(\mathcal{P}_0(G))$ of its components which is particularly illuminative when $G\leq S_n$ is a fusion controlled permutation group. We make use of the proper quotient power graph $\widetilde{\mathcal{P}}_0(G)$, the proper order graph $\mathcal{O}_0(G)$ and the proper type graph $\mathcal{T}_0(G)$. We show that all those graphs are quotient of $\mathcal{P}_0(G)$ and demonstrate a strong link between them dealing with $G=S_n$. We find simultaneously $c(\mathcal{P}_0(S_n))$ as well as the number of components of $\widetilde{\mathcal{P}}_0(S_n)$, $\mathcal{O}_0(S_n)$ and $\mathcal{T}_0(S_n)$.
Subword counting and the incidence algebra
The Pascal matrix, $P$, is an upper diagonal matrix whose entries are the binomial coefficients. In 1993 Call and Velleman demonstrated that it satisfies the beautiful relation $P=\exp(H)$ in which $H$ has the numbers 1, 2, 3, etc. on its superdiagonal and zeros elsewhere. We generalize this identity to the incidence algebras $I(A^*)$ and $I(\mathcal{S})$ of functions on words and permutations, respectively. In $I(A^*)$ the entries of $P$ and $H$ count subwords; in $I(\mathcal{S})$ they count permutation patterns. Inspired by vincular permutation patterns we define what it means for a subword to be restricted by an auxiliary index set $R$; this definition subsumes both factors and (scattered) subwords. We derive a theorem for words corresponding to the Reciprocity Theorem for patterns in permutations: Up to sign, the coefficients in the Mahler expansion of a function counting subwords restricted by the set $R$ is given by a function counting subwords restricted by the complementary set $R^c$.
Partition into heapable sequences, heap tableaux and a multiset extension of Hammersley's process
Published
• View Publication
• BIB
We investigate partitioning of integer sequences into heapable subsequences (previously defined and established by Mitzenmacher et al). We show that an extension of patience sorting computes the decomposition into a minimal number of heapable subsequences (MHS). We connect this parameter to an interactive particle system, a multiset extension of Hammersley's process, and investigate its expected value on a random permutation. In contrast with the (well studied) case of the longest increasing subsequence, we bring experimental evidence that the correct asymptotic scaling is $\frac{1+\sqrt{5}}{2}\cdot \ln(n)$. Finally we give a heap-based extension of Young tableaux, prove a hook inequality and an extension of the Robinson-Schensted correspondence.
Average length of the longest $k$-alternating subsequence
Published
• View Publication
• BIB
We prove a conjecture of Drew Armstrong on the average maximal length of $k$-alternating subsequence of permutations. The $k=1$ case is a well-known result of Richard Stanley.
Catalan matroid decompositions of certain positroids
A positroid is the matroid of a matrix whose maximal minors are all nonnegative. Given a permutation $w$ in $S_n$, the matroid of a generic $n \times n$ matrix whose non-zero entries in row $i$ lie in columns $w(i)$ through $n+i$ is an example of a positroid. We enumerate the bases of such a positroid as a sum of certain products of Catalan numbers, each term indexed by the $123$-avoiding permutations above $w$ in Bruhat order. We also give a similar sum formula for their Tutte polynomials. These are both avatars of a structural result writing such a positroid as a disjoint union of matroids, each isomorphic to a direct sum of Catalan matroids and a matroid with one basis.