permutation ↗ reference
4994 papers tagged with this keyword
Partial permutation and alternating sign matrix polytopes
Published
• View Publication
• BIB
We define and study a new family of polytopes which are formed as convex hulls of partial alternating sign matrices. We determine the inequality descriptions, number of facets, and face lattices of these polytopes. We also study partial permutohedra that we show arise naturally as projections of these polytopes. We enumerate facets and also characterize the face lattices of partial permutohedra in terms of chains in the Boolean lattice. Finally, we have a result and a conjecture on the volume of partial permutohedra when one parameter is fixed to be two.
Flip Graphs
Flip graphs are graphs on combinatorial objects in which the adjacency relation reflects a local change in the underlying objects. In this thesis we introduce Yoke graphs, a family of flip graphs that generalizes previously studied families of flip graphs on colored triangle-free triangulations, arc permutations and geometric caterpillars. Our main results are the computation of the diameter of an arbitrary Yoke graph and a full characterization of the automorphism group of this family of graphs. We also show that Yoke graphs are Schreier graphs of the affine Weyl group of type $\tilde{C}_m$.
The approach we take in the computation of the diameter is different from the ones used for colored triangle-free triangulations and arc permutations. We show that the approach used for arc permutation graphs does not extend to Yoke graphs. At the heart of our proof lies the idea of transforming a diameter evaluation into an eccentricity problem. The characterization of the automorphism group is a new result for the above mentioned three special families of Yoke graphs.
Concerning Iterative Graph Normalization and Maximum Weight Independent Sets
We consider a very simple dynamical system on weighted graphs which we call Iterative Graph Normalization (IGN) and a variant in which we apply a non-linear activation function to the weights after each normalization. We show that the indicator vectors of the Maximal Independent Sets of the graph are the only binary fixed points of IGN, that they are attractive under simple conditions on the activation function and we characterize their basins of attraction. We enumerate a number of other fixed points and we prove repulsivity for some classes. Based on extensive experiments and different theoretical arguments we conjecture that IGN always converges and converges to a binary solution for non-linear activations. If our conjectures are correct, IGN would thus be a differentiable approximation algorithm for the Maximum Weight Independent Set problem (MWIS), a central NP-hard optimization problem with numerous applications. IGN is closely related to a greedy approximation algorithm of MWIS by Kako et al. which has a proven approximation ratio. Experimental results show that IGN provides solutions of very similar quality. In the context of the Assignment Problem, IGN corresponds to an iterative matrix normalization scheme which is closely related to the Sinkhorn-Knopp algorithm except that it projects to a permutation matrix instead of a doubly stochastic matrix. We relate our scheme to the Softassign algorithm and provide comparative results. As Graph Normalization is differentiable, its iterations can be embedded into a machine learning framework and used to train end-to-end any model which includes a graphical optimization step which can be cast as a maximum weight independent set problem. This includes problems such as graph and hypergraph matching, sequence alignment, clustering, ranking, etc. with applications in multiple domains.
Block number, descents and Schur positivity of fully commutative elements in $B_n$
Published
• View Publication
• BIB
The distribution of Coxeter descents and block number over the set of fully commutative elements in the hyperoctahedral group $B_n$, $\FC(B_n)$, is studied in this paper. We prove that the associated Chow quasi-symmetric generating function is equal to a non-negative sum of products of two Schur functions. The proof involves a decomposition of $\FC(B_n)$ into a disjoint union of two-sided Barbash-Vogan combinatorial cells, a type $B$ extension of Rubey's descent preserving involution on $321$-avoiding permutations and a detailed study of the intersection of $\FC(B_n)$ with $S_n$-cosets which yields a new decomposition of $\FC(B_n)$ into disjoint subsets called fibers. We also compare two different type $B$ Schur-positivity notions, arising from works of Chow and Poirier
Universality for random permutations and some other groups
Published
• View Publication
• BIB
We present some Markovian approaches to prove universality results for some functions on the symmetric group. Some of those statistics are already studied in [Kammoun, 2018, 2020] but not the general case. We prove, in particular, that the number of occurrences of a vincular patterns satisfies a CLT for conjugation invariant random permutations with few cycles and we improve the results already known for the longest increasing subsequence. The second approach is a suggestion of a generalization to other random permutations and other sets having a similar structure than the symmetric group.
How many pop-stacks does it take to sort a permutation?
Published
• View Publication
• BIB
Pop-stacks are variants of stacks that were introduced by Avis and Newborn in 1981. Coincidentally, a 1982 result of Unger implies that every permutation of length n can be sorted by n-1 passes through a deterministic pop-stack. We give a new proof of this result inspired by Knuth's zero-one principle.
Derangements and the $p$-adic incomplete gamma function
We introduce a $p$-adic analogue of the incomplete gamma function. We also introduce quantities ($m$-values) associated to a function on natural numbers and prove a new characterization of $p$-adic continuity for functions with $p$-integral $m$-values. Combinatorial interpretations for the integral values of the incomplete gamma function and functions with $m$-values zero or one are obtained, which show that these functions count derangements in generalized symmetric groups and permutations with restricted cycle lengths.
Highly Sorted Permutations and Bell Numbers
Published in Enumerative Combinatorics and Applications, 1 (2021)
• View Publication
• BIB
Let $s$ denote West's stack-sorting map. For all positive integers $m$ and all integers $n\geq 2m-2$, we give a simple characterization of the set $s^{n-m}(S_n)$; as a consequence, we find that $|s^{n-m}(S_n)|$ is the $m^\text{th}$ Bell number $B_m$. We also prove that the restriction $n\geq 2m-2$ is tight by showing that $|s^{m-3}(S_{2m-3})|=B_m+m-2$ for all $m\geq 3$.
Finite totally $k$-closed groups
Published
• View Publication
• BIB
For a positive integer $k$, a group $G$ is said to be totally $k$-closed if in each of its faithful permutation representations, say on a set $Ω$, $G$ is the largest subgroup of $\operatorname{Sym}(Ω)$ which leaves invariant each of the $G$-orbits in the induced action on $Ω\times\dots\times Ω=Ω^k$. We prove that every abelian group $G$ is totally $(n(G)+1)$-closed, but is not totally $n(G)$-closed, where $n(G)$ is the number of invariant factors in the invariant factor decomposition of $G$. In particular, we prove that for each $k\geq2$ and each prime $p$, there are infinitely many finite abelian $p$-groups which are totally $k$-closed but not totally $(k-1)$-closed. This result in the special case $k=2$ is due to Abdollahi and Arezoomand. We pose several open questions about total $k$-closure.
A domino tableau-based view on type B Schur-positivity
Published
• View Publication
• BIB
Over the past years, major attention has been drawn to the question of identifying Schur-positive sets, i.e. sets of permutations whose associated quasisymmetric function is symmetric and can be written as a non-negative sum of Schur symmetric functions. The set of arc permutations, i.e. the set of permutations $π$ in $S_n$ such that for any $1\leq j \leq n$, $\{π(1),π(2),\dots,π(j)\}$ is an interval in $\mathbb{Z}_n$ is one of the most noticeable examples. This paper introduces a new type B extension of Schur-positivity to signed permutations based on Chow's quasisymmetric functions and generating functions for domino tableaux. As an important characteristic, our development is compatible with the works of Solomon regarding the descent algebra of Coxeter groups. In particular, we design descent preserving bijections between signed arc permutations and sets of domino tableaux to show that they are indeed type B Schur-positive.
The Benson-Symonds Invariant for Permutation Modules
Published
• View Publication
• BIB
In a recent paper, Dave Benson and Peter Symonds defined a new invariant $γ_G(M)$ for a finite dimensional module $M$ of a finite group $G$ which attempts to quantify how close a module is to being projective. In this paper, we determine this invariant for permutation modules of the symmetric group corresponding to two-part partitions using tools from representation theory and combinatorics.
A Bijection Between Weighted Dyck Paths and 1234-avoiding Up-Down Permutations
Three-dimensional Catalan numbers are a variant of the classical (bidimensional) Catalan numbers, that count, among other interesting objects, the standard Young tableaux of shape (n,n,n). In this paper, we present a structural bijection between two three-dimensional Catalan objects: 1234-avoiding up-down permutations, and a class of weighted Dyck paths.
Asymptotics of descent functions
In 1916, MacMahon showed that permutations in $S_n$ with a fixed descent set $I$ are enumerated by a polynomial $d_I(n)$. Diaz-Lopez, Harris, Insko, Omar, and Sagan recently revived interest in this descent polynomial, and suggested the direction of studying such enumerative questions for other consecutive patterns (descents being the consecutive pattern $21$). Zhu studied this question for the consecutive pattern $321$. We continue this line of work by studying the case of any consecutive pattern of the form $k,k-1,\ldots,1$, which we call a $k$-descent. In this paper, we reduce the problem of determining the asymptotic number of permutations with a certain $k$-descent set to computing an explicit integral. We also prove an equidistribution theorem, showing that any two sparse $k$-descent sets are equally likely.
Counting the number of $k$-descent-avoiding permutations while conditioning on the length $n$ and first element $m$ simultaneously, one obtains a number triangle $f_k(m,n)$ with some useful properties. For $k=3$, the $m=1$ and $m=n$ diagonals are OEIS sequences A049774 and A080635. We prove a $k$th difference recurrence relation for entries of this number triangle. This also leads to an $O(n^2)$ algorithm for computing $k$-descent functions.
Along the way to these results, we prove an explicit formula for the distribution of first elements of $k$-descent-avoiding permutations, as well as for the joint distribution of first and last elements. We also develop an understanding of discrete order statistics. In our approach, we combine algebraic, analytic, and probabilistic tools. A number of open problems are stated at the end.
Structural Equivalence in Graphs and Complete Skeletons
Two vertices $u$ and $v$ of a graph $Γ$ are strucuturally equivalent if and only if the transposition $(u\,v)$ is in Aut($Γ$), the automorphism group of $Γ$. Some properties of structural equivalence and the group of vertex permutations generated by the transpositions in Aut($Γ$) are discussed, along with the prime graphs of these groups. The notion of structural equivalence is used to develop a way of reconfiguring graphs into what are called their complete skeletons, which is closely related to compression graphs. Finally, the complete skeleton of a graph $Γ$, denoted $Ω(Γ)$, is used to find a formula for rank$(I+A(Γ))$, which is helpful for determining the multiplicity of the -1 eigenvalue of $Γ$.
On $2$-closed abelian permutation groups
Published
• View Publication
• BIB
A permutation group $G\le\operatorname{Sym}(Ω)$ is said to be $2$-closed if no group $H$ such that $G<H\le\operatorname{Sym}(Ω)$ has the same orbits on $Ω\timesΩ$ as $G$. A simple and efficient inductive criterion for the $2$-closedness is established for abelian permutation groups with cyclic transitive constituents.
The Expected Number of Distinct Consecutive Patterns in a Random Permutation
Published
• View Publication
• BIB
Let $π_n$ be a uniformly chosen random permutation on $[n]$. Using an analysis of the probability that two overlapping consecutive $k$-permutations are order isomorphic, we show that the expected number of distinct consecutive patterns in $π_n$ is $\frac{n^2}{2}(1-o(1))$. This exhibits the fact that random permutations pack consecutive patterns near-perfectly.
A combinatorial bijection on di-sk trees
Published
• View Publication
• BIB
A di-sk tree is a rooted binary tree whose nodes are labeled by $\oplus$ or $\ominus$, and no node has the same label as its right child. The di-sk trees are in natural bijection with separable permutations. We construct a combinatorial bijection on di-sk trees proving the two quintuples $(\LMAX,\LMIN,\DESB,\iar,\comp)$ and $(\LMAX,\LMIN,\DESB,\comp,\iar)$ have the same distribution over separable permutations. Here for a permutation $π$, $\LMAX(π)/\LMIN(π)$ is the set of values of the left-to-right maxima/minima of $π$ and $\DESB(π)$ is the set of descent bottoms of $π$, while $\comp(π)$ and $\iar(π)$ are respectively the number of components of $π$ and the length of initial ascending run of $π$.
Interestingly, our bijection specializes to a bijection on $312$-avoiding permutations, which provides (up to the classical {\em Knuth--Richards bijection}) an alternative approach to a result of Rubey (2016) that asserts the two triples $(\LMAX,\iar,\comp)$ and $(\LMAX,\comp,\iar)$ are equidistributed on $321$-avoiding permutations. Rubey's result is a symmetric extension of an equidistribution due to Adin--Bagno--Roichman, which implies the class of $321$-avoiding permutations with a prescribed number of components is Schur positive.
Some equidistribution results for various statistics concerning tree traversal are presented in the end.
Asymptotic Behaviour of the Containment of Certain Mesh Patterns
Published
• View Publication
• BIB
We present some results on the proportion of permutations of length $n$ containing certain mesh patterns as $n$ grows large, and give exact enumeration results in some cases. In particular, we focus on mesh patterns where entire rows and columns are shaded. We prove some general results which apply to mesh patterns of any length, and then consider mesh patterns of length four. An important consequence of these results is to show that the proportion of permutations containing a mesh pattern can take a wide range of values between $0$ and $1$.
Quasi-projective posets, lattices, permutations, graphs, digraphs, hypergraphs, point-line geometries
A structure $\cal S$ is quasi-projective if for every structure $\cal T$, for every homomorphism $f : {\cal S} \rightarrow {\cal T}$ and every epimorphism $j: {\cal S}\rightarrow {\cal T}$ there is an endomorphism $φ$ of $\cal S$ such that $φ\circ j=f$. In this paper, we characterise the quasi-projective posets and lattices of arbitrary cardinalities, finite permutations, graphs and digraphs of arbitrary cardinalities with loops and without loops, finite hypergraphs, and finite point-line geometries.
Lie elements and the matrix-tree theorem
Published
• View Publication
• BIB
For a finite-dimensional representation V of a group G we introduce and study the notion of a Lie element in the group algebra k[G]. The set L(V) \subset k[G] of Lie elements is a Lie algebra and a G-module acting on the original representation V.
Lie elements often exhibit nice combinatorial properties. Thus, for G = S_n and V, a permutation representation, we prove a formula for the characteristic polynomial of a Lie element similar to the classical matrix-tree theorem.