permutation ↗ reference
4849 papers tagged with this keyword
Subgraph counts for dense random graphs with specified degrees
Published in Combinator. Probab. Comp. 30 (2021) 460-497
• View Publication
• BIB
We prove two estimates for the expectation of the exponential of a complex function of a random permutation or subset. Using this theory, we find asymptotic expressions for the expected number of copies and induced copies of a given graph in a uniformly random graph with degree sequence $(d_1,\ldots,d_n)$ as $n \rightarrow \infty$. We also determine the expected number of spanning trees in this model. The range of degrees covered includes $d_j = λn + O(n^{1/2+\varepsilon})$ for some $λ$ bounded away from $0$ and $1$.
Wilf equivalence relations for consecutive patterns
Published
• View Publication
• BIB
Two permutations $π$ and $τ$ are c-Wilf equivalent if, for each $n$, the number of permutations in $S_n$ avoiding $π$ as a consecutive pattern (i.e., in adjacent positions) is the same as the number of those avoiding $τ$. In addition, $π$ and $τ$ are strongly c-Wilf equivalent if, for each $n$ and $k$, the number of permutations in $S_n$ containing $k$ occurrences of $π$ as a consecutive pattern is the same as for $τ$. In this paper we introduce a third, more restrictive equivalence relation, defining $π$ and $τ$ to be super-strongly c-Wilf equivalent if the above condition holds for any set of prescribed positions for the $k$ occurrences. We show that, when restricted to non-overlapping permutations, these three equivalence relations coincide.
We also give a necessary condition for two permutations to be strongly c-Wilf equivalent. Specifically, we show that if $π,τ$ in $S_m$ are strongly c-Wilf equivalent, then $|π_m-π_1|=|τ_m-τ_1|$. In the special case of non-overlapping permutations $π$ and $τ$, this proves a weaker version of a conjecture of the second author stating that $π$ and $τ$ are c-Wilf equivalent if and only if $π_1=τ_1$ and $π_m=τ_m$, up to trivial symmetries. Finally, we strengthen a recent result of Nakamura and Khoroshkin-Shapiro giving sufficient conditions for strong c-Wilf equivalence.
The ascent-plateau statistics on Stirling permutations
Published
• View Publication
• BIB
In this paper, several variants of the ascent-plateau statistic are introduced, including flag ascent-plateau, double ascent and descent-plateau. We first study the flag ascent-plateau statistic on Stirling permutations by using context-free grammars. We then present a unified refinement of the ascent polynomials and the ascent-plateau polynomials. In particular, by using Foata and Strehl's group action, we prove two bistatistics over the set of Stirling permutations of order n are equidistributed.
The Eulerian distribution on the involutions of the hyperoctahedral group is unimodal
Published
• View Publication
• BIB
The Eulerian distribution on the involutions of the symmetric group is unimodal, as shown by Guo and Zeng. In this paper we prove that the Eulerian distribution on the involutions of the hyperoctahedral group, when viewed as a colored permutation group, is unimodal in a similar way and we compute its generating function, using signed quasisymmetric functions.
Quasimonotone graphs
Published
• View Publication
• BIB
For any class $\mathcal{C}$ of bipartite graphs, we define quasi-$\cal C$ to be the class of all graphs $G$ such that every bipartition of $G$ belongs to $\cal C$. This definition is motivated by a generalisation of the switch Markov chain on perfect matchings from bipartite graphs to nonbipartite graphs. The monotone graphs, also known as bipartite permutation graphs and proper interval bigraphs, are such a class of bipartite graphs. We investigate the structure of quasi-monotone graphs and hence construct a polynomial time recognition algorithm for graphs in this class.
On the cycle index and the weight enumerator
Published
• View Publication
• BIB
In this paper, we introduce the concept of the complete cycle index and discuss a relation with the complete weight enumerator in coding theory. This work was motivated by Cameron's lecture note "Polynomial aspects of codes, matroids and permutation groups."
A combinatorial approach to Rauzy-type dynamics II: the labelling method and a second proof of the KZB classification theorem
Rauzy-type dynamics are group actions on a collection of combinatorial objects. The first and best known example (the Rauzy dynamics) concerns an action on permutations, associated to interval exchange transformations (IET) for the Poincaré map on compact orientable translation surfaces. The equivalence classes on the objects induced by the group action have been classified by Kontsevich and Zorich, and by Boissy through methods involving both combinatorics algebraic geometry, topology and dynamical systems. Our first paper proposed an ad hoc combinatorial proof of this classification. In this paper we define a general method, called the labelling method, which allows one to classify Rauzy-type dynamics in a much more systematic way. We apply the method to the Rauzy dynamics and obtain a second combinatorial proof of the classification.
Combinatorics of patience sorting monoids
Published
• View Publication
• BIB
This paper makes a combinatorial study of the two monoids and the two types of tableaux that arise from the two possible generalizations of the Patience Sorting algorithm from permutations (or standard words) to words. For both types of tableaux, we present Robinson--Schensted--Knuth-type correspondences (that is, bijective correspondences between word arrays and certain pairs of semistandard tableaux of the same shape), generalizing two known correspondences: a bijective correspondence between standard words and certain pairs of standard tableaux, and an injective correspondence between words and pairs of tableaux.
We also exhibit formulas to count both the number of each type of tableaux with given evaluations (that is, containing a given number of each symbol). Observing that for any natural number $n$, the $n$-th Bell number is given by the number of standard tableaux containing $n$ symbols, we restrict the previous formulas to standard words and extract a formula for the Bell numbers. Finally, we present a `hook length formula' that gives the number of standard tableaux of a given shape and deduce some consequences.
Embedding a $θ$-invariant code into a complete one
Published in Theoretical Computer Science, Elsevier
• View Publication
• BIB
Let A be a finite or countable alphabet and let $θ$ be a literal (anti-)automorphism onto A * (by definition, such a correspondence is determinated by a permutation of the alphabet). This paper deals with sets which are invariant under $θ$ ($θ$-invariant for short) that is, languages L such that $θ$ (L) is a subset of L.We establish an extension of the famous defect theorem. With regards to the so-called notion of completeness, we provide a series of examples of finite complete $θ$-invariant codes. Moreover, we establish a formula which allows to embed any non-complete $θ$-invariant code into a complete one. As a consequence, in the family of the so-called thin $θ$--invariant codes, maximality and completeness are two equivalent notions.
Partial geodesics on symmetric groups endowed with breakpoint distance
The notion of partial geodesic was introduced by Jamshidpey et al. in "Sets of medians in the non-geodesic pseudometric space of unsigned genomes with breakpoints", 2014. In this paper, we study the density of points on non-trivial partial geodesics between two permutations $ξ_1^{(n)}$ and $ξ_2^{(n)}$ chosen uniformly and independently at random from the symmetric group $S_n$, where $S_n$ is endowed with the breakpoint distance. For a permutation $π:= π_1 \ ... \ π_n$, any unordered pair $\{π_i , π_{i+1}\}$, for $i=1, ..., n-1$, is called an adjacency of $π$. The set of all adjacencies of $π$ is denoted by $\mathcal{A}_π$. Denote by $id^{(n)}$ the identity permutation, and let $I_n$ be an arbitrary subset of $\mathcal A_{id^{(n)}}$. We classify the set of all adjacencies of a permutation $π\in S_n$ into four types, with respect to $I_n$. Then for a permutation $ξ^{(n)}$ chosen uniformly at random from $S_n$, we derive a convergence theorem for the normalized number (after dividing by $n$) of adjacencies of each type in $ξ^{(n)}$ with respect to $I_n$ (for some random or deterministic choices of $I_n$), as $n\rightarrow \infty$. We also see an application of this convergence theorem to find the appropriate choices of $I_n$. A geodesic point of $u$ and $v$ in a pseudometric space $(S,ρ)$ is a point $w$ of the space that $ρ(u,w)+ρ(w,v)=ρ(u,v)$. We find an upper bound for the number of permutations $x\in S_n$ for which there exists at least one non-trivial geodesic point between $id^{(n)}$ and $x$, far from both. This partially verifies the conjecture of Haghighi and Sankoff stated in "Medians seek the corners, and other conjectures", 2012, namely we prove that, with high probability, there is no breakpoint median of two permutations $ξ_1^{(n)}$ and $ξ_2^{(n)}$ chosen uniformly and independently at random from $S_n$, far from both of them.
Two-stack-sorting with pop stacks
Published in Australasian Journal of Combinatorics 74.1 (2019), 179-195
• Search Publication
We consider the set of permutations that are sorted after two passes through a pop stack. We characterize these permutations in terms of forbidden patterns (classical and barred) and enumerate them according to the ascent statistic. Then we show these permutations to be in bijection with a special family of polyominoes. As a consequence, the permutations sortable by this machine are shown to have the same enumeration as three classical permutation classes.
Some remarks on biased recursive trees
The purpose of this paper is to analyze certain statistics of a recently introduced non-uniform random tree model, biased recursive trees. This model is based on constructing a random tree by establishing a correspondence with non-uniform permutations, biased riffle shuffles. The statistics that are treated include the number of nodes with a given number of descendants, the depth of the tree, and the number of branches. The model yields the uniform recursive trees as a certain limit, some new results for the uniform case are obtained as well.
A Context-free Grammar for Peaks and Double Descents of Permutations
Published
• View Publication
• BIB
This paper is concerned with the joint distribution of the number of exterior peaks and the number of proper double descents over permutations on $[n] =\{1,2,\ldots,n\}$. The notion of exterior peaks of a permutation was introduced by Aguiar, Bergeron and Nyman in their study of the peak algebra. Gessel obtained the generating function of the number of permutations on $[n]$ with a given number of exterior peaks. On the other hand, by establishing differential equations, Elizalde and Noy derived the generating function for the number of permutations on $[n]$ with a given number of proper double descents. Barry and Basset independently deduced the generating function of the number of permutations on $[n]$ with no proper double descents. We find a context-free grammar which can be used to compute the number of permutations on $[n]$ with a given number of exterior peaks and a given number of proper double descents. Based on the grammar, the recurrence relation of the number of permutations on $[n]$ with a given number of exterior peaks can be easily obtained. Moreover, we use the grammatical calculus to derive the generating function without solving differential equations. Our formula reduces to the formulas of Gessel, Elizalde-Noy, Barry, and Basset. Finally, from the grammar we establish a relationship between our generating function and the generating function of the joint distribution of the number of peaks and the number of double descent derived by Carlitz and Scoville.
Symmetric road interchanges
A road interchange where $n$ roads meet and in which the drivers are not allowed to change lanes can be modelled as an embedding of a 2-coloured (hence bipartite) multigraph $G$ with equal-sized colour classes into an orientable surface such that there is a face bounded by a Hamiltonian cycle (Kurauskas, 2017). The case of $G$ a complete bipartite graph $K_{n,n}$ corresponds to a complete $n$-way interchange where drivers approaching from each of $n$ directions can exit to any other direction. The genus of the underlying surface can be interpreted as the number of bridges in the interchange.
In this paper we study the minimum genus, or the minimum number of bridges, of a complete interchange with a restriction that it is symmetric under the cyclic permutation of its roads. We consider both (a) abstract combinatorial/topological symmetry, and (b) symmetry in the 3-dimensional Euclidean space $\mathbb{R}^3$. The proof of (a) is based on the classic voltage and transition graph constructions. For (b) we use, among other techniques, a simple new combinatorial lower bound.
Hopf algebras on decorated noncrossing arc diagrams
Published in J. Combin. Theory Ser. A, 161:486-507, 2019
• View Publication
• BIB
Noncrossing arc diagrams are combinatorial models for the equivalence classes of the lattice congruences of the weak order on permutations. In this paper, we provide a general method to endow these objects with Hopf algebra structures. Specific instances of this method produce relevant Hopf algebras that appeared earlier in the literature.
Schurity and separability of quasiregular coherent configurations
Published
• View Publication
• BIB
A permutation group is said to be quasiregular if every its transitive constituent is regular, and a quasiregular coherent configuration can be thought as a combinatorial analog of such a group: the transitive constituents are replaced by the homogeneous components. In this paper, we are interested in the question when the configuration is schurian, i.e., formed by the orbitals of a permutation group, or/and separable, i.e., uniquely determined by the intersection numbers. In these terms, an old result of Hanna Neumann is, in a sense, dual to the statement that the quasiregular coherent configurations with cyclic homogeneous components are schurian. In the present paper, we (a) establish the duality in a precise form and (b) generalize the latter result by proving that a quasiregular coherent configuration is schurian and separable if the groups associated with homogeneous components have distributive lattices of normal subgroups.
Eigenvalues of random lifts and polynomials of random permutation matrices
Published in Annals of Mathematics 190 (2019), no. 3, 811-75
• View Publication
• BIB
Consider a finite sequence of independent random permutations, chosen uniformly either among all permutations or among all matchings on n points. We show that, in probability, as n goes to infinity, these permutations viewed as operators on the (n-1) dimensional vector space orthogonal to the vector with all coordinates equal to 1, are asymptotically strongly free. Our proof relies on the development of a matrix version of the non-backtracking operator theory and a refined trace method.
As a byproduct, we show that the non-trivial eigenvalues of random n-lifts of a fixed based graphs approximately achieve the Alon-Boppana bound with high probability in the large n limit. This result generalizes Friedman's Theorem stating that with high probability, the Schreier graph generated by a finite number of independent random permutations is close to Ramanujan.
Finally, we extend our results to tensor products of random permutation matrices. This extension is especially relevant in the context of quantum expanders.
Permutations with small maximal $k$-consecutive sums
Let $n$ and $k$ be positive integers with $n>k$. Given a permutation $(π_1,\ldots,π_n)$ of integers $1,\ldots,n$, we consider $k$-consecutive sums of $π$, i.e., $s_i:=\sum_{j=0}^{k-1}π_{i+j}$ for $i=1,\ldots,n$, where we let $π_{n+j}=π_j$. What we want to do in this paper is to know the exact value of $$\mathrm{msum}(n,k):=\min\left\{\max\{s_i : i=1,\ldots,n\} -\frac{k(n+1)}{2}: π\in S_n\right\},$$ where $S_n$ denotes the set of all permutations of $1,\ldots,n$. In this paper, we determine the exact values of $\mathrm{msum}(n,k)$ for some particular cases of $n$ and $k$. As a corollary of the results, we obtain $\mathrm{msum}(n,3)$, $\mathrm{msum}(n,4)$ and $\mathrm{msum}(n,6)$ for any $n$.
Coefficients of Gaussian Polynomials Modulo $N$
Published
• View Publication
• BIB
The $q$-analogue of the binomial coefficient, known as a $q$-binomial coefficient, is typically denoted $\left[{n \atop k}\right]_q$. These polynomials are important combinatorial objects, often appearing in generating functions related to permutations and in representation theory. Stanley conjectured that the function $f_{k,R}(n) = \#\left\{i : [q^{i}] \left[{n \atop k}\right]_q \equiv R \pmod{N}\right\}$ is quasipolynomial for $N=2$. We generalize, showing that this is in fact true for any integer $N\in \mathbb{N}$ and determine a quasi-period $π'_N(k)$ derived from the minimal period $π_N(k)$ of partitions with at most $k$ parts modulo $N$.
The number of inversions of permutations with fixed shape
Published in Journal of Enumerative Combinatorics, Vol. 2 no. 4, (2022) S4PP1, 14pp
• View Publication
• BIB
The Robinson-Schensted correspondence can be viewed as a map from permutations to partitions. In this work, we study the number of inversions of permutations corresponding to a fixed partition $λ$ under this map. Hohlweg characterized permutations having shape $λ$ with the minimum number of inversions. Here, we give the first results in this direction for higher numbers of inversions. We give explicit conjectures for both the structure and the number of permutations associated to $λ$ where the extra number of inversions is less than the length of the smallest column of $λ$. We prove the result when $λ$ has two columns.