permutation ↗ reference
4994 papers tagged with this keyword
Linear-sized independent sets in random cographs and increasing subsequences in separable permutations
Published
• View Publication
• BIB
This paper is interested in independent sets (or equivalently, cliques) in uniform random cographs. We also study their permutation analogs, namely, increasing subsequences in uniform random separable permutations.
First, we prove that, with high probability as $n$ gets large, the largest independent set in a uniform random cograph with $n$ vertices has size $o(n)$. This answers a question of Kang, McDiarmid, Reed and Scott. Using the connection between graphs and permutations via inversion graphs, we also give a similar result for the longest increasing subsequence in separable permutations. These results are proved using the self-similarity of the Brownian limits of random cographs and random separable permutations, and actually apply more generally to all families of graphs and permutations with the same limit.
Second, and unexpectedly given the above results, we show that for $β>0$ sufficiently small, the expected number of independent sets of size $βn$ in a uniform random cograph with $n$ vertices grows exponentially fast with $n$. We also prove a permutation analog of this result. This time the proofs rely on singularity analysis of the associated bivariate generating functions.
Geometric Combinatorics of Polynomials I: The Case of a Single Polynomial
Published
• View Publication
• BIB
There are many different algebraic, geometric and combinatorial objects that one can attach to a complex polynomial with distinct roots. In this article we introduce a new object that encodes many of the existing objects that have previously appeared in the literature. Concretely, for every complex polynomial $p$ with $d$ distinct roots and degree at least 2, we produce a canonical compact planar 2-complex that is a compact metric version of a tiled phase diagram. It has a locally CAT(0) metric that is locally Euclidean away from a finite set of interior points indexed by the critical points of $p$, and each of its 2-cells is a metric rectangle. From this planar rectangular 2-complex one can use metric graphs known as metric cacti and metric banyans to read off several pieces of combinatorial data: a chain in the partition lattice, a cyclic factorization of a d-cycle, a real noncrossing partition (also known as a primitive d-major), and the monodromy permutations for the polynomial. This article is the first in a series.
Positroid Catalan numbers
Published
• View Publication
• BIB
Given a permutation $f$, we study the positroid Catalan number $C_f$ defined to be the torus-equivariant Euler characteristic of the associated open positroid variety. We introduce a class of repetition-free permutations and show that the corresponding positroid Catalan numbers count Dyck paths avoiding a convex subset of the rectangle. We show that any convex subset appears in this way. Conjecturally, the associated $q,t$-polynomials coincide with the generalized $q,t$-Catalan numbers that recently appeared in relation to the shuffle conjecture, flag Hilbert schemes, and Khovanov-Rozansky homology of Coxeter links.
Intersection density of transitive groups of certain degrees
Published in Algebraic Combinatorics, Volume 5 (2022) no. 2, pp. 289-297
• View Publication
• BIB
Two elements $g$ and $h$ of a permutation group $G$ acting on a set $V$ are said to be intersecting if $g(v) = h(v)$ for some $v \in V$. More generally, a subset ${\cal F}$ of $G$ is an intersecting set if every pair of elements of ${\cal F}$ is intersecting. The intersection density $ρ(G)$ of a transitive permutation group $G$ is the maximum value of the quotient $|{\cal F}|/|G_v|$ where ${\cal F}$ runs over all intersecting sets in $G$ and $G_v$ is a stabilizer of $v\in V$. In this paper the intersection density of transitive groups of degree twice a prime is determined, and proved to be either $1$ or $2$. In addition, it is proved that the intersection density of transitive groups of prime power degree is $1$.
Peaks are preserved under run-sorting
Published in ECA 2:1 (2022) Article S2R2, http://ecajournal.haifa.ac.il/Volume2022/ECA2022_S2A2.pdf
• View Publication
• BIB
We study a sorting procedure (run-sorting) on permutations, where runs are rearranged in lexicographic order. We describe a rather surprising bijection on permutations on length $n$, with the property that it sends the set of peak-values to the set of peak-values after run-sorting. We also prove that the expected number of descents in a permutation $σ\in S_{n}$ after run-sorting is equal to $(n-2)/3$. Moreover, we provide a closed form of the exponential generating function introduced by Nabawanda, Rakotondrajao and Bamunoba in 2020, for the number of run-sorted permutations of $[n]$, ($RSP(n)$) having $k$ runs, which gives a new interpretation to the sequence A124324 in the Online Encyclopedia of Integer Sequences. We show that the descent generating polynomials, $A_{n}(t)$ for $RSP(n)$ are real rooted, and satisfy an interlacing property similar to that satisfied by the Eulerian polynomials.
Finally, we study run-sorted binary words and compute the expected number of descents after run-sorting a binary word of length $n$.
The Green polynomials via vertex operators
Published in J. Pure Appl. Algebra 226 (2022), 107032, 17pp
• View Publication
• BIB
An iterative formula for the Green polynomial is given using the vertex operator realization of the Hall-Littlewood function. Based on this, (1) a general combinatorial formula of the Green polynomial is given; (2) several compact formulas are given for Green's polynomials associated with upper partitions of length $\leq 3$ and the diagonal lengths $\leq 3$; (3) a Murnaghan-Nakayama type formula for the Green polynomial is obtained; and (4) an iterative formula is derived for the bitrace of the finite general linear group $G$ and the Iwahori-Hecke algebra of type $A$ on the permutation module of $G$ by its Borel subgroup.
Combinatorics and algorithms for quasi-chain graphs
Published
• View Publication
• BIB
The class of quasi-chain graphs is an extension of the well-studied class of chain graphs. This latter class enjoys many nice and important properties, such as bounded clique-width, implicit representation, well-quasi-ordering by induced subgraphs, etc. The class of quasi-chain graphs is substantially more complex. In particular, this class is not well-quasi-ordered by induced subgraphs, and the clique-width is not bounded in it. In the present paper, we show that the universe of quasi-chain graphs is at least as complex as the universe of permutations by establishing a bijection between the class of all permutations and a subclass of quasi-chain graphs. This implies, in particular, that the induced subgraph isomorphism problem is NP-complete for quasi-chain graphs. On the other hand, we propose a decomposition theorem for quasi-chain graphs that implies an implicit representation for graphs in this class and efficient solutions for some algorithmic problems that are generally intractable.
On a conjecture of Lin and Kim concerning a refinement of Schröder numbers
Published
• View Publication
• BIB
In this paper, we compute the distribution of the first letter statistic on nine avoidance classes of permutations corresponding to two pairs of patterns of length four. In particular, we show that the distribution is the same for each class and is given by the entries of a new Schröder number triangle. This answers in the affirmative a recent conjecture of Lin and Kim. We employ a variety of techniques to prove our results, including generating trees, direct bijections and the kernel method. For the latter, we make use of in a creative way what we are trying to show in three cases to aid in solving a system of functional equations satisfied by the associated generating functions.
Determinantal Formulas for SEM Expansions of Schubert Polynomials
Published
• View Publication
• BIB
We show that for any permutation $w$ that avoids a certain set of 13 patterns of lengths 5 and 6, the Schubert polynomial $\mathfrak S_w$ can be expressed as the determinant of a matrix of elementary symmetric polynomials in a manner similar to the Jacobi-Trudi identity. For such $w$, this determinantal formula is equivalent to a (signed) subtraction-free expansion of $\mathfrak S_w$ in the basis of standard elementary monomials.
Power-conjugate equations in symmetric groups
Published
• View Publication
• BIB
We investigate the solutions of the conjugate equation aya^(-1)=y^e in the symmetric group S_{n}. Here a is a fixed (constant), e is an integer exponent and y is a single unknown permutation (in S_{n}). It turns out that the existence of a non-trivial solution y heavily depends on e and the type of a.
Intersection models and forbidden pattern characterizations for 2-thin and proper 2-thin graphs
Published in Discrete Applied Mathematics 339 (2023), 53-77
• View Publication
• BIB
The \emph{thinness} of a graph is a width parameter that generalizes some properties of interval graphs, which are exactly the graphs of thinness one. Graphs with thinness at most two include, for example, bipartite convex graphs. Many NP-complete problems can be solved in polynomial time for graphs with bounded thinness, given a suitable representation of the graph. \emph{Proper thinness} is defined analogously, generalizing proper interval graphs, and a larger family of NP-complete problems are known to be polynomially solvable for graphs with bounded proper thinness.
The complexity of recognizing 2-thin and proper 2-thin graphs is still open. In this work, we present characterizations of 2-thin and proper 2-thin graphs as intersection graphs of rectangles in the plane, as vertex intersection graphs of paths on a grid (VPG graphs), and by forbidden ordered patterns. We also prove that independent 2-thin graphs are exactly the interval bigraphs, and that proper independent 2-thin graphs are exactly the bipartite permutation graphs.
Finally, we take a step towards placing the thinness and its variations in the landscape of width parameters, by upper bounding the proper thinness in terms of the bandwidth.
Circulant association schemes on triples
Published
• View Publication
• BIB
Association Schemes and coherent configurations (and the related Bose-Mesner algebra and coherent algebras) are well known in combinatorics with many applications. In the 1990s, Mesner and Bhattacharya introduced a three-dimensional generalisation of association schemes which they called an association scheme on triples (AST) and constructed examples of several families of ASTs. Many of their examples used 2-transitive permutation groups: the non-trivial ternary relations of the ASTs were sets of ordered triples of pairwise distinct points of the underlying set left invariant by the group; and the given permutation group was a subgroup of automorphisms of the AST. In this paper, we consider ASTs that do not necessarily admit 2-transitive groups as automorphism groups but instead a transitive cyclic subgroup of the symmetric group acts as automorphisms. Such ASTs are called circulant ASTs and the corresponding ternary relations are called circulant relations. We give a complete characterisation of circulant ASTs in terms of AST-regular partitions of the underlying set. We also show that a special type of circulant, that we call a thin circulant, plays a key role in describing the structure of circulant ASTs. We outline several open questions.
Rational Dyck tilings
We introduce rational Dyck tilings, or $(a,b)$-Dyck tilings, and study them by the decomposition into $(1,1)$-Dyck tilings. This decomposition allows us to make use of combinatorial models for $(1,1)$-Dyck tilings such as the Hermite history and the Dyck tiling strip bijection. Together with $b$-Stirling permutations associated to the rational Dyck tilings, we obtain a correspondence between an $(a,b)$-Dyck tiling and a tuple of $ab$ $(1,1)$-Dyck tilings.
Stack-Sorting for Coxeter Groups
Published
• View Publication
• BIB
Given an essential semilattice congruence $\equiv$ on the left weak order of a Coxeter group $W$, we define the Coxeter stack-sorting operator ${\bf S}_\equiv:W\to W$ by ${\bf S}_\equiv(w)=w\left(π_\downarrow^\equiv(w)\right)^{-1}$, where $π_\downarrow^\equiv(w)$ is the unique minimal element of the congruence class of $\equiv$ containing $w$. When $\equiv$ is the sylvester congruence on the symmetric group $S_n$, the operator ${\bf S}_\equiv$ is West's stack-sorting map. When $\equiv$ is the descent congruence on $S_n$, the operator ${\bf S}_\equiv$ is the pop-stack-sorting map. We establish several general results about Coxeter stack-sorting operators, especially those acting on symmetric groups. For example, we prove that if $\equiv$ is an essential lattice congruence on $S_n$, then every permutation in the image of ${\bf S}_\equiv$ has at most $\left\lfloor\frac{2(n-1)}{3}\right\rfloor$ right descents; we also show that this bound is tight.
We then introduce analogues of permutree congruences in types $B$ and $\widetilde A$ and use them to isolate Coxeter stack-sorting operators $\mathtt{s}_B$ and $\widetilde{\hspace{.05cm}\mathtt{s}}$ that serve as canonical type-$B$ and type-$\widetilde A$ counterparts of West's stack-sorting map. We prove analogues of many known results about West's stack-sorting map for the new operators $\mathtt{s}_B$ and $\widetilde{\hspace{.05cm}\mathtt{s}}$. For example, in type $\widetilde A$, we obtain an analogue of Zeilberger's classical formula for the number of $2$-stack-sortable permutations in $S_n$.
Spherical Schubert varieties and pattern avoidance
Published in Selecta Mathematica, Volume 28 (2022)
• View Publication
• BIB
A normal variety $X$ is called $H$-spherical for the action of the complex reductive group $H$ if it contains a dense orbit of some Borel subgroup of $H$. We resolve a conjecture of Hodges--Yong by showing that their spherical permutations are characterized by permutation pattern avoidance. Together with results of Gao--Hodges--Yong this implies that the sphericality of a Schubert variety $X_w$ with respect to the largest possible Levi subgroup is characterized by this same pattern avoidance condition.
The combinatorics of a tree-like functional equation for connected chord diagrams
Published
• View Publication
• BIB
We build on recent work of Yeats, Courtiel, and others involving connected chord diagrams. We first derive from a Hopf-algebraic foundation a class of tree-like functional equations and prove that they are solved by weighted generating functions of two different subsets of weighted connected chord diagrams: arbitrary diagrams and diagrams forbidding so-called top cycle subdiagrams. These equations generalize the classic specification for increasing ordered trees and their solution uses a novel decomposition, simplifying and generalizing previous results. The resulting tree perspective on chord diagrams leads to new enumerative insights through the study of novel diagram classes. We present a recursive bijection between connected top-cycle-free diagrams with $n$ chords and triangulations of a disk with $n+1$ vertices, thereby counting the former. This connects to combinatorial maps, Catalan intervals, and uniquely sorted permutations, leading to new conjectured bijective relationships between diagram classes defined by forbidding graphical subdiagrams and imposing connectedness properties and a variety of other rich combinatorial objects. We conclude by exhibiting and studying a direct bijection between diagrams of size $n$ with a single terminal chord and diagrams of size $n-1$.
Generalized Dellac configurations
We study combinatorics of two generalizations of Dellac configurations. First, we establish a correspondence between a generalized Dellac configuration with three parameters and a generalized Dumont permutations. Secondly, by relaxing conditions on Dellac configurations, we introduce a generalization which we call Dellac configurations with boundaries. We show several recurrence relations for the Poincaré polynomials of Dellac configurations with boundaries.
Pop-Stack-Sorting for Coxeter Groups
Published
• View Publication
• BIB
Let $W$ be an irreducible Coxeter group. We define the Coxeter pop-stack-sorting operator $\mathsf{Pop}:W\to W$ to be the map that fixes the identity element and sends each nonidentity element $w$ to the meet of the elements covered by $w$ in the right weak order. When $W$ is the symmetric group $S_n$, $\mathsf{Pop}$ coincides with the pop-stack-sorting map. Generalizing a theorem about the pop-stack-sorting map due to Ungar, we prove that \[\sup\limits_{w\in W}\left|O_{\mathsf{Pop}}(w)\right|=h,\] where $h$ is the Coxeter number of $W$ (with $h=\infty$ if $W$ is infinite) and $O_f(w)$ denotes the forward orbit of $w$ under a map $f$. When $W$ is finite, this result is equivalent to the statement that the maximum number of terms appearing in the Brieskorn normal form of an element of $W$ is $h-1$. More generally, we define a map $f:W\to W$ to be compulsive if for every $w\in W$, $f(w)$ is less than or equal to $\mathsf{Pop}(w)$ in the right weak order. We prove that if $f$ is compulsive, then $\sup\limits_{w\in W}|O_f(w)|\leq h$. This result is new even for symmetric groups.
We prove that $2$-pop-stack-sortable elements in type $B$ are in bijection with $2$-pop-stack-sortable permutations in type $A$, which were enumerated by Pudwell and Smith. Claesson and Gudmundsson proved that for each fixed nonnegative integer $t$, the generating function that counts $t$-pop-stack-sortable permutations in type $A$ is rational; we establish analogous results in types $B$ and $\widetilde A$.
Rational Dyck paths and decompositions
We study combinatorial properties of a rational Dyck path by decomposing it into a tuple of Dyck paths. The combinatorial models such as $b$-Stirling permutations, $(b+1)$-ary trees, parenthesis presentations, and binary trees play central roles to establish a correspondence between the rational Dyck path and the tuple of Dyck paths. We reinterpret two orders, the Young and the rotation orders, on rational Dyck paths in terms of the tuple of Dyck paths by use of the decomposition. As an application, we show a duality between $(a,b)$-Dyck paths and $(b,a)$-Dyck paths in terms of binary trees.
Packed Words and Quotient Rings
Published
• View Publication
• BIB
The coinvariant algebra is a quotient of the polynomial ring $\mathbb{Q}[x_1,\ldots,x_n]$ whose algebraic properties are governed by the combinatorics of permutations of length $n$. A word $w = w_1 \dots w_n$ over the positive integers is packed if whenever $i > 2$ appears as a letter of $w$, so does $i-1$. We introduce a quotient $S_n$ of $\mathbb{Q}[x_1,\ldots,x_n]$ which is governed by the combinatorics of packed words. We relate our quotient $S_n$ to the generalized coinvariant rings of Haglund, Rhoades, and Shimozono as well as the superspace coinvariant ring.