permutation ↗ reference
4945 papers tagged with this keyword
Classifying Permutations under Context-Directed Swaps and the \textbf{cds} game
A special sorting operation called Context Directed Swap, and denoted \textbf{cds}, performs certain types of block interchanges on permutations. When a permutation is sortable by \textbf{cds}, then \textbf{cds} sorts it using the fewest possible block interchanges of any kind. This work introduces a classification of permutations based on their number of \textbf{cds}-eligible contexts. In prior work an object called the strategic pile of a permutation was discovered and shown to provide an efficient measure of the non-\textbf{cds}-sortability of a permutation. Focusing on the classification of permutations with maximal strategic pile, a complete characterization is given when the number of \textbf{cds}-eligible contexts is close to maximal as well as when the number of eligible contexts is minimal. A group action that preserves the number of \textbf{cds}-eligible contexts of a permutation provides, via the orbit-stabilizer theorem, enumerative results regarding the number of permutations with maximal strategic pile and a given number of \textbf{cds}-eligible contexts. Prior work introduced a natural two-person game on permutations that are not \textbf{cds}-sortable. The decision problem of which player has a winning strategy in a particular instance of the game appears to be of high computational complexity. Extending prior results, this work presents new conditions for player ONE to have a winning strategy in this combinatorial game.
Diameters of Graphs on Reduced Words of 12 and 21-Inflations
Published
• View Publication
• BIB
It is a classical result that any permutation in the symmetric group can be generated by a sequence of adjacent transpositions. The sequences of minimal length are called reduced words, and in this paper we study the graphs of these reduced words, with edges determined by relations in the underlying Coxeter group. Recently, the diameter has been calculated for the longest permutation $n\ldots 21$ by Reiner and Roichman as well as Assaf. In this paper we find inductive formulas for the diameter of the graphs of 12-inflations and many 21-inflations. These results extend to the associated graphs on commutation and long braid classes. Also, these results give a recursive formula for the diameter of the longest permutation, which matches that of Reiner, Roichman and Assaf. Lastly, We make progress on conjectured bounds of the diameter by Reiner and Roichman, which are based on the underlying hyperplane arrangement, and find families of permutations that achieve the upper bound and lower bound of the conjecture. In particular permutations that avoid 312 or 231 have graphs that achieve the upper bound.
Trees and cycles
Let $T$ be a tree on $n$ vertices. We can regard the edges of $T$ as transpositions of the vertex set; their product (in any order) is a cyclic permutation. All possible cyclic permutations arise (each exactly once) if and only if the tree is a star. In this paper we find the number of realised cycles, and obtain some results on the number of realisations of each cycle, for other trees. We also solve the inverse problem of the number of trees which give rise to a given cycle. On the way, we meet some familiar number sequences including the Euler and Fuss--Catalan numbers.
Efficient multisections of odd-dimensional tori
Published in Algebr. Geom. Topol. 23 (2023) 3997-4056
• View Publication
• BIB
Rubinstein--Tillmann generalized the notions of Heegaard splittings of 3-manifolds and trisections of 4-manifolds by defining {\it multisections} of PL $n$-manifolds, which are decompositions into $k=\lfloor n/2\rfloor+1$ $n$-dimensional 1-handlebodies with nice intersection properties. For each odd-dimensional torus $T^n$, we construct a multisection which is {\it efficient} in the sense that each 1-handlebody has genus $n$, which we prove is optimal; each multisection is {\it symmetric} with respect to both the permutation action of $S_n$ on the indices and the $\Z_k$ translation action along the main diagonal. We also construct such a trisection of $T^4$, lift all symmetric multisections of tori to certain cubulated manifolds, and obtain combinatorial identities as corollaries.
Critical properties of bipartite permutation graphs
Published
• View Publication
• BIB
The class of bipartite permutation graphs enjoys many nice and important properties. In particular, this class is critically important in the study of clique- and rank-width of graphs, because it is one of the minimal hereditary classes of graphs of unbounded clique- and rank-width. It also contains a number of important subclasses, which are critical with respect to other parameters, such as graph lettericity or shrub-depth, and with respect to other notions, such as well-quasi-ordering or complexity of algorithmic problems. In the present paper we identify critical subclasses of bipartite permutation graphs of various types.
A Robinson-Schensted Correspondence for Partial Permutations
We study the Steinberg variety associated to matrix Schubert varieties, and develop a Robinson-Schensted type correspondence, $τ\leftrightarrow(Λ,\mathsf Q,\mathsf P)$. Here $τ$ is a partial permutation of size $p\times q$, $Λ$ an admissible signed Young diagram of size $p+q$, and $\mathsf P$ (resp. $\mathsf Q$) a standard Young tableau of size $p$ (resp. $q$) whose shape is determined by $Λ$. By embedding the matrix Schubert variety into a Schubert variety, we find a close relationship between the combinatorics of the classical Robinson-Schensted-Knuth correspondence and our bijection. We also show that an involution $(Λ,\mathsf Q,\mathsf P)\mapsto(Λ^\vee,\mathsf P,\mathsf Q)$ corresponds to projective duality on matrix Schubert varieties.
Inverse problems of the Erdős-Ko-Rado type theorems for families of vector spaces and permutations
Published
• View Publication
• BIB
Ever since the famous Erdős-Ko-Rado theorem initiated the study of intersecting families of subsets, extremal problems regarding intersecting properties of families of various combinatorial objects have been extensively investigated. Among them, studies about families of subsets, vector spaces and permutations are of particular concerns.
Recently, the authors proposed a new quantitative intersection problem for families of subsets: For $\mathcal{F}\subseteq {[n]\choose k}$, define its \emph{total intersection number} as $\mathcal{I}(\mathcal{F})=\sum_{F_1,F_2\in \mathcal{F}}|F_1\cap F_2|$. Then, what is the structure of $\mathcal{F}$ when it has the maximal total intersection number among all families in ${[n]\choose k}$ with the same family size? In \cite{KG2020}, the authors studied this problem and characterized extremal structures of families maximizing the total intersection number of given sizes.
In this paper, we consider the analogues of this problem for families of vector spaces and permutations. For certain ranges of family size, we provide structural characterizations for both families of subspaces and families of permutations having maximal total intersection numbers. To some extent, these results determine the unique structure of the optimal family for some certain values of $|\mathcal{F}|$ and characterize the relation between having maximal total intersection number and being intersecting. Besides, we also show several upper bounds on the total intersection numbers for both families of subspaces and families of permutations of given sizes.
312-Avoiding Reduced Valid Hook Configurations and Duck Words
Published
• View Publication
• BIB
Valid hook configurations are combinatorial objects used to understand West's stack sorting map as well as cumulants in noncommutative probability theory. We show a bijection between reduced valid hook configurations on 312-avoiding permutations with the maximal allowed number of points and 3D-Dyck words, proving a conjecture of Sankar's. We extend to a bijection between all 312-avoiding reduced valid hook configurations and 3D-Dyck words with specified modifications. We show how these can be counted in terms of the number of 3D-Dyck words of length 3k in which exactly i Y's do not have an X immediately before them, the (k,i)-Duck words, and use this relationship to prove several properties about sums of 312-avoiding reduced valid hook configurations, including two more of Sankar's conjectures. We also show that the number of (k,1)-Duck words is given by a variant of the tennis ball numbers.
Toppleable Permutations, Excedances and Acyclic Orientations
Published
• View Publication
• BIB
Recall that an excedance of a permutation $π$ is any position $i$ such that $π_i > i$. Inspired by the work of Hopkins, McConville and Propp (Elec. J. Comb., 2017) on sorting using toppling, we say that a permutation is toppleable if it gets sorted by a certain sequence of toppling moves. One of our main results is that the number of toppleable permutations on $n$ letters is the same as those for which excedances happen exactly at $\{1,\dots, \lfloor (n-1)/2 \rfloor\}$. Additionally, we show that the above is also the number of acyclic orientations with unique sink (AUSOs) of the complete bipartite graph $K_{\lceil n/2 \rceil, \lfloor n/2 \rfloor + 1}$. We also give a formula for the number of AUSOs of complete multipartite graphs. We conclude with observations on an extremal question of Cameron et al. concerning maximizers of (the number of) acyclic orientations, given a prescribed number of vertices and edges for the graph.
Signed Alternating-runs enumeration in Classical Weyl Groups
Published
• View Publication
• BIB
The alternating-runs polynomial enumerates alternating runs in the symmetric group. There are three formulae for the number of permutations, $R_{n,k}$ in $\mathfrak{S}_n$ with $k$ alternating runs, but all of them are complicated. We show that when enumerated with sign taken into account, one gets a {\it neat formula}. As a consequence, we get a near refinement of a result of Wilf on the exponent of $(1+t)$ when it divides the alternating-runs polynomial in the alternating group $\mathcal{A}_n$. Other applications include a moment-type identity and enumeration of alternating permutations in $\mathcal{A}_n$. Similar results are obtained for the type B and type D Coxeter groups.
Eulerian pairs and Eulerian recurrence systems
Published
• View Publication
• BIB
In this paper, we characterize a duality relation between Eulerian recurrences and Eulerian recurrence systems, which generalizes and unifies Hermite-Biehler decompositions of several enumerative polynomials, including flag descent polynomials for hyperoctahedral group, flag ascent-plateau polynomials for Stirling permutations, up-down run polynomials for symmetric group and alternating run polynomials for hyperoctahedral group. As applications, we derive some properties of associated enumerative polynomials. In particular, we find that both the ascent-plateau polynomials and left ascent-plateau polynomials for Stirling permutations are alternatingly increasing, and so they are unimodal with modes in the middle.
Saturation problems about forbidden $0$-$1$ submatrices
Published
• View Publication
• BIB
A $0$-$1$ matrix $M$ is saturating for a $0$-$1$ matrix $P$ if $M$ does not contain a submatrix that can be turned into $P$ by changing some $1$ entries to $0$ entries, and changing an arbitrary $0$ to $1$ in $M$ introduces such a submatrix in $M$. In saturation problems for $0$-$1$ matrices we are interested in estimating the minimum number of $1$ entries in an $m \times n$ matrix that is saturating for $P$, in terms of $m$ and $n$.
In other words, we wish to give good estimates for the saturation function of $P$. Recently, Brualdi and Cao initiated the study of saturation problems in the context of $0$-$1$ matrices.
We extend their work in several directions. We prove that every $0$-$1$ forbidden matrix has its saturation function either in $Θ(1)$ or $Θ(n)$ in the case when we restrict ourselves to square saturating matrices. Then we give a partial answer to a question posed by Brualdi and Cao about the saturation function of $J_k$, which is obtained from the identity matrix $I_k$ by putting the first row after the last row. Furthermore, we exhibit a $5\times 5$ permutation matrix with the saturation function bounded from the above by a fixed constant. We complement this result by identifying large classes of $0$-$1$ matrices with linear saturation function. Finally, we completely resolve the related semisaturation problem as far as the constant vs. linear dichotomy is concerned.
Supercards, Sunshines and Caterpillar Graphs
Published
• View Publication
• BIB
The vertex-deleted subgraph G-v, obtained from the graph G by deleting the vertex v and all edges incident to v, is called a card of G. The deck of G is the multiset of its unlabelled cards. The number of common cards b(G,H) of G and H is the cardinality of the multiset intersection of the decks of G and H. A supercard G+ of G and H is a graph whose deck contains at least one card isomorphic to G and at least one card isomorphic to H. We show how maximum sets of common cards of G and H correspond to certain sets of permutations of the vertices of a supercard, which we call maximum saturating sets. We apply the theory of supercards and maximum saturating sets to the case when G is a sunshine graph and H is a caterpillar graph. We show that, for large enough n, there exists some maximum saturating set that contains at least b(G,H)-2 automorphisms of G+, and that this subset is always isomorphic to either a cyclic or dihedral group. We prove that b(G,H)<=2(n+1)/5 for large enough n, and that there exists a unique family of pairs of graphs that attain this bound. We further show that, in this case, the corresponding maximum saturating set is isomorphic to the dihedral group.
Limits of Latin squares
Published in Discrete Analysis 2023:8
• View Publication
• BIB
We develop a limit theory of Latin squares, paralleling the recent limit theories of dense graphs and permutations. We introduce a notion of density, an appropriate version of the cut distance, and a space of limit objects - so-called Latinons. Key results of our theory are the compactness of the limit space and the equivalence of the topologies induced by the cut distance and the left-convergence. Last, using Keevash's recent results on combinatorial designs, we prove that each Latinon can be approximated by a finite Latin square.
Pattern statistics in faro words and permutations
Published
• View Publication
• BIB
We study the distribution and the popularity of some patterns in $k$-ary faro words, i.e. words over the alphabet $\{1, 2, \ldots, k\}$ obtained by interlacing the letters of two nondecreasing words of lengths differing by at most one. We present a bijection between these words and dispersed Dyck paths (i.e. Motzkin paths with all level steps on the $x$-axis) with a given number of peaks. We show how the bijection maps statistics of consecutive patterns of faro words into linear combinations of other pattern statistics on paths. Then, we deduce enumerative results by providing multivariate generating functions for the distribution and the popularity of patterns of length at most three. Finally, we consider some interesting subclasses of faro words that are permutations, involutions, derangements, or subexcedent words.
The feasible regions for consecutive patterns of pattern-avoiding permutations
Published in Discrete Mathematics, Vol. 346, No. 2, 2023
• View Publication
• BIB
We study the feasible region for consecutive patterns of pattern-avoiding permutations. More precisely, given a family $\mathcal C$ of permutations avoiding a fixed set of patterns, we consider the limit of proportions of consecutive patterns on large permutations of $\mathcal C$. These limits form a region, which we call the consecutive patterns feasible region for $\mathcal C$.
We determine the dimension of the consecutive patterns feasible region for all families $\mathcal C$ closed either for the direct sum or the skew sum. These families include for instance the ones avoiding a single pattern and all substitution-closed classes. We further show that these regions are always convex and we conjecture that they are always polytopes. We prove this conjecture when $\mathcal C$ is the family of $τ$-avoiding permutations, with either $τ$ of size three or $τ$ a monotone pattern. Furthermore, in these cases we give a full description of the vertices of these polytopes via cycle polytopes.
Along the way, we discuss connections of this work with the problem of packing patterns in pattern-avoiding permutations and to the study of local limits for pattern-avoiding permutations.
An order on circular permutations
Published
• View Publication
• BIB
Motivation coming from the study of affine Weyl groups, a structure of ranked poset is defined on the set of circular permutations in $S_n$ (that is, $n$-cycles). It is isomorphic to the poset of so-called admitted vectors, and to an interval in the affine symmetric group $\tilde S_n$ with the weak order. The poset is a semidistributive lattice, and the rank function, whose range is cubic in $n$, is computed by some special formula involving inversions. We prove also some links with Eulerian numbers, triangulations of an $n$-gon, and Young's lattice.
Primitive Elements of the Hopf Algebras of Tableaux
Published
• View Publication
• BIB
The character theory of symmetric groups, and the theory of symmetric functions, both make use of the combinatorics of Young tableaux, such as the Robinson-Schensted algorithm, Schuetzenberger's "jeu de taquin", and evacuation. In 1995 Poirier and the second author introduced some algebraic structures, different from the plactic monoid, which induce some products and coproducts of tableaux, with homomorphisms. Their starting point are the two dual Hopf algebras of permutations, introduced by the authors in 1995. In 2006 Aguiar and Sottile studied in more detail the Hopf algebra of permutations: among other things, they introduce a new basis, by Moebius inversion in the poset of weak order, that allows them to describe the primitive elements of the Hopf algebra of permutations. In the present note, by a similar method, we determine the primitive elements of the Poirier-Reutenauer algebra of tableaux, using a partial order on tableaux defined by Taskin.
Quantum mechanics of bipartite ribbon graphs: Integrality, Lattices and Kronecker coefficients
Published in Algebraic Combinatorics, Volume 6 (2023) no. 2, pp. 547-594
• View Publication
• BIB
We define solvable quantum mechanical systems on a Hilbert space spanned by bipartite ribbon graphs with a fixed number of edges. The Hilbert space is also an associative algebra, where the product is derived from permutation group products. The existence and structure of this Hilbert space algebra has a number of consequences. The algebra product, which can be expressed in terms of integer ribbon graph reconnection coefficients, is used to define solvable Hamiltonians with eigenvalues expressed in terms of normalized characters of symmetric group elements and degeneracies given in terms of Kronecker coefficients, which are tensor product multiplicities of symmetric group representations. The square of the Kronecker coefficient for a triple of Young diagrams is shown to be equal to the dimension of a sub-lattice in the lattice of ribbon graphs. This leads to an answer to the long-standing question of a combinatoric interpretation of the Kronecker coefficients. As an avenue to explore quantum supremacy and its implications for computational complexity theory, we outline experiments to detect non-vanishing Kronecker coefficients for hypothetical quantum realizations/simulations of these quantum systems. The correspondence between ribbon graphs and Belyi maps leads to an interpretation of these quantum mechanical systems in terms of quantum membrane world-volumes interpolating between string geometries.
Proof of a bi-symmetric septuple equidistribution on ascent sequences
Published
• View Publication
• BIB
It is well known since the seminal work by Bousquet-Mélou, Claesson, Dukes and Kitaev (2010) that certain refinements of the ascent sequences with respect to several natural statistics are in bijection with corresponding refinements of $({\bf2+2})$-free posets and permutations that avoid a bivincular pattern. Different multiply-refined enumerations of ascent sequences and other bijectively equivalent structures have subsequently been extensively studied by various authors.
In this paper, our main contributions are
1. a bijective proof of a bi-symmetric septuple equidistribution of statistics on ascent sequences, involving the number of ascents (asc), the number of repeated entries (rep), the number of zeros (zero), the number of maximal entries (max), the number of right-to-left minima (rmin) and two auxiliary statistics;
2. a new transformation formula for non-terminating basic hypergeometric $_4φ_3$ series expanded as an analytic function in base $q$ around $q=1$, which is utilized to prove two (bi)-symmetric quadruple equidistributions on ascent sequences.
A by-product of our findings includes the affirmation of a conjecture about the bi-symmetric equidistribution between the quadruples of Euler--Stirling statistics (asc,rep,zero,max) and (rep,asc,max,zero) on ascent sequences, that was motivated by a double Eulerian equidistribution due to Foata (1977) and recently proposed by Fu, Lin, Yan, Zhou and the first author (2018).