permutation ↗ reference
4945 papers tagged with this keyword
Homotopy Type of Intersections of Real Bruhat Cells in Dimension 6
In this work, we investigate the arbitrary intersection of real Bruhat cells. Such objects have attracted interest from various authors, particularly due to their appearance in different contexts: such as in Kazhdan-Lusztig theory and in the study of locally convex curves. We study the homotopy type of the intersection of two real Bruhat cells. This homotopy type is the same as that of an explicit submanifold of the group of real lower triangular matrices with diagonal entries equal to 1. For $(n+1)\times(n+1)$ matrices with $n\leq4$, these submanifolds are the disjoint union of contractible connected components. Our focus is on such intersections for $6\times6$ real matrices. For this, we study the connected components of Bruhat cells for permutations $σ\in\Sn_6$ with at most 12 inversions. We make use of the structure of the dual CW complexes associated with these components. We show that for permutations with at most 12 inversions, with the exception of $σ=[563412]$ , all connected components are contractible. Furthermore, for $σ=[563412]$, we identify new non-contractible connected components with the homotopy type of the circle.
Stack-sorting preimages and 0-1-trees
Published
• View Publication
• BIB
We define a class of partially labeled trees and use them to find simple proofs for two recent enumeration results of Colin Defant concerning stack-sorting preimages of permutation classes.
Permutons from Demazure Products
We construct and analyze several new families of permutons arising from random processes involving the Demazure product on the symmetric group. First, we consider Demazure products associated to random pipe dreams, generalizing the Grothendieck permutons introduced by Morales, Panova, Petrov, and Yeliussizov by replacing staircase shapes with arbitrary order-convex shapes. Using the totally asymmetric simple exclusion process (TASEP) with geometric jumps, we prove precise scaling limit and fluctuation results for the associated height functions, showing that these models belong to the Kardar--Parisi--Zhang (KPZ) universality class. We then consider permutons obtained by applying deterministic sequences of bubble-sort operators to random initial permutations. We again provide precise descriptions of the limiting permutons. In a special case, we deduce the exact forms of the standard bubble-sort permutons, the supports of which were computed by DiFranco.
A crucial tool in our analysis is a formulation, due to Chan and Pflueger, of the Demazure product as matrix multiplication in the min-plus tropical semiring. This allows us to define a Demazure product on the set of permutons. We discuss further applications of this product. For instance, we show that the number of inversions of the Demazure product of two independent uniformly random permutations of size $n$ is $\binom{n}{2}(1-o(1))$.
The Saxl hypergraph of a permutation group
Published
• View Publication
• BIB
Given a permutation group $G \le \mathrm{Sym}(Ω)$, a subset $B$ of $Ω$ is said to be a base if its pointwise stabiliser in $G$ is trivial, and the base size $b(G)$ is the minimum size of a base. In the notable case $b(G) = 2$, Burness and Giudici define the Saxl graph of $G$ to be the graph on $Ω$ with bases of size 2 as edges. Later work of Freedman et al. extends this notion to any group for which $b(G) \ge 2$, taking the pairs of points contained in bases of size $b(G)$ for edges. We study an alternative generalisation, the Saxl hypergraph, where bases of size $b(G)$ are themselves the edges. In particular, we consider groups with complete Saxl hypergraphs, primitive groups whose Saxl hypergraphs have flag-spanning tours, and appropriate generalisations of Burness and Giudici's Common Neighbour Conjecture.
Elementary symmetric polynomials under the fixed point measure
We identify a surprising inequality satisfied by elementary symmetric polynomials under the action of the fixed point measure of a random permutation. Concretely, for any collection of $n$ non-negative real numbers $a_1, \dots, a_n \in \mathbb{R}_{\geq 0}$, we prove that
\[
\frac{1}{n!} \sum_{π\in S_n} \left[\prod_{\{i:i=π(i)\}} a_i\right] \ge \frac{1}{\binom{n}{2}} \sum_{S \in\binom{[n]}{2}} \left[ \left(\prod_{\{i \in S\}} a_i \right)^{1/2}\right],
\]
and this bound is sharp. To prove this elementary inequality, we construct a collection of differential operators to set up a monotone flow that then allows us to establish the inequality.
A central limit theorem for a generalization of the Ewens measure to random tuples of commuting permutations
Published
• View Publication
• BIB
We prove a central limit theorem (CLT) for the number of joint orbits of random tuples of commuting permutations. In the uniform sampling case this generalizes the classic CLT of Goncharov for the number of cycles of a single random permutation. We also consider the case where tuples are weighted by a factor other than one, per joint orbit. We view this as an analogue of the Ewens measure, for tuples of commuting permutations, where our CLT generalizes the CLT by Hansen. Our proof uses saddle point analysis, in a context related to the Hardy-Ramanujan asymptotics and the theorem of Meinardus, but concerns a multiple pole situation. The proof is written in a self-contained manner, and hopefully in a manner accessible to a wider audience. We also indicate several open directions of further study related to probability, combinatorics, number theory, an elusive theory of random commuting matrices, and perhaps also geometric group theory.
Splicing braid varieties
Published
• View Publication
• BIB
For a positive braid $β\in \mathrm{Br}^{+}_{k}$, we consider the braid variety $X(β)$. We define a family of open sets $\mathcal{U}_{r, w}$ in $X(β)$, where $w \in S_k$ is a permutation and $r$ is a positive integer no greater than the length of $β$. For fixed $r$, the sets $\mathcal{U}_{r, w}$ form an open cover of $X(β)$. We conjecture that $\mathcal{U}_{r,w}$ is given by the nonvanishing of some cluster variables in a single cluster for the cluster structure on $\mathbb{C}[X(β)]$ and that $\mathcal{U}_{r,w}$ admits a cluster structure given by freezing these variables. Moreover, we show that $\mathcal{U}_{r, w}$ is always isomorphic to the product of two braid varieties, and we conjecture that this isomorphism is quasi-cluster. In some important special cases, we are able to prove our conjectures.
The insertion encoding of Cayley permutations
Published
• View Publication
• BIB
We introduce the vertical and horizontal insertion encodings for Cayley permutations which naturally generalise the insertion encoding for permutations. In both cases, we fully classify the Cayley permutation classes for which these languages are regular, and provide an algorithm for computing the rational generating functions. We use our algorithm to solve an open problem of Cerbai by enumerating the hare pop-stack sortable Cayley permutations.
Analytic properties arising from the Baxter numbers
Published
• View Publication
• BIB
Baxter numbers are known as the enumeration of Baxter permutations and numerous other discrete structures, playing a significant role across combinatorics, algebra, and analysis. In this paper, we focus on the analytic properties related to Baxter numbers. We prove that the descent polynomials of Baxter permutations have interlacing zeros, which is a property stronger than real-rootedness. Our approach is based on Dilks' framework of $(q,t)$-Hoggatt sums, which is a $q$-analog for Baxter permutations. Within this framework, we show that the family of $(1,t)$-Hoggatt sums satisfies the interlacing property using fundamental results on Hadamard products of polynomials. For Baxter numbers, we prove their asymptotic $r$-log-convexity via asymptotic expansions of $P$-recursive sequences. In particular, we confirm their $2$-log-convexity using symbolic computation techniques.
Pattern avoidance in revised ascent sequences
Published
• View Publication
• BIB
Inspired by the definition of modified ascent sequences, we introduce a new class of integer sequences called revised ascent sequences. These sequences are defined as Cayley permutations where each entry is a leftmost occurrence if and only if it serves as an ascent bottom. We construct a bijection between ascent sequences and revised ascent sequences by adapting the classic hat map, which transforms ascent sequences into modified ascent sequences. Additionally, we investigate revised ascent sequences that avoid a single pattern, leading to a wealth of enumerative results. Our main techniques include the use of bijections, generating trees, generating functions, and the kernel method.
Pattern avoidance in compositions and powers of permutations
Published
• View Publication
• BIB
A permutation $π$ is said to avoid a chain $(σ:τ)$ of patterns if $π$ avoids $σ$ and $π^2$ avoids $τ.$ In this paper, we define a notion of pattern avoidance for compositions of positive integers and use that idea to enumerate permutations of length $n$ that avoid the chain $(312,321:σ)$ for any pattern $σ\in \bigcup_{m\geq 1} \mathcal{S}_m$. We also enumerate those permutations that avoid the chain $(312,4321:σ)$ for any $σ\in\mathcal{S}_3.$
Characterizing avoidance in cycles via vincular patterns
Published
• View Publication
• BIB
We show that cyclic permutations avoiding $321$ are precisely those permutations whose image under the fundamental bijection avoid a set of vincular patterns. We do this by using pattern functions and arrow patterns, in combination with the characterization of $321$ avoidance in terms of equality of the upper bound of the Daiconis-Graham inequalities. We then explore some consequences of this result, including upper and lower bound results on the growth rate of $321$ avoiding cycles.
Encoding and Enumerating Acyclic Orientations of Graphs
Published in Utilitas Mathematica, 125 (2025), 21-41
• View Publication
• BIB
In this work we study the acyclic orientations of graphs. We obtain an encoding of the acyclic orientations of the complete $p$-partite graph with size of its parts $n_1,n_2,\ldots,n_p$ via a vector with $p$ symbols and length $n=n_1+n_2+\ldots+n_p$ when the parts are fixed but not the vertices in each part. We also give a recursive way to construct all acyclic orientations of a complete multipartite graph, this construction can be done by computer easily in order $\mathcal{O}(n)$. Furthermore, we obtain a closed formula for non-isomorphic acyclic orientations of both the complete multipartite graphs and the complete multipartite graphs with a directed spanning tree. Moreover, we obtain a closed formula for the number of acyclic orientations of a complete multipartite graph $K_{n_1,\ldots,n_p}$ with labelled vertices. Finally, we obtain a way encode all acyclic orientations of an arbitrary graph as a permutation code. Using the codification mentioned above we obtain sharp upper and lower bounds of the number of acyclic orientations of a graph.
Binary operations on pattern-avoiding cycles
Suppose $c_n(σ)$ denotes the number of cyclic permutations in $\mathcal{S}_n$ that avoid a pattern $σ$. In this paper, we define partial groupoid structures on cyclic pattern-avoiding permutations that allow us to build larger cyclic pattern-avoiding permutations from smaller ones. We use this structure to find recursive lower bounds on $c_n(σ)$. These bounds imply that $c_n(σ)$ has a growth rate of at least 3 for $σ\in\{231,312,321\}$ and a growth rate of at least 2.6 for $σ\in\{123,132,213\}$. In the process, we prove (and sometimes improve) a conjecture of Bóna and Cory that $c_n(σ)\geq 2 c_{n-1}(σ)$ for all $σ\in\mathcal{S}_3\setminus\{123\}$ and $n\geq 2.$
Total trades, intersection matrices and Specht modules
Published
• View Publication
• BIB
Trades are important objects in combinatorial design theory that may be realized as certain elements of kernels of inclusion matrices. Total trades were introduced recently by Ghorbani, Kamali and Khosravshahi, who showed that over a field of characteristic zero the vector space of trades decomposes into a direct sum of spaces of total trades. In this paper, we show that the vector space spanned by the permutations of a total trade is an irreducible representation of the symmetric group. As a corollary, the previous decomposition theorem is recovered. Also, a basis is obtained for the module of total trades in the spirit of Specht polynomials. More generally, in the second part of the paper we consider intersection matrices and determine the irreducible decompositions of their images. This generalizes previously known results concerning ranks of special cases.
On two conjectures about pattern avoidance of cyclic permutations
Let $π$ be a cyclic permutation that can be expressed in its one-line form as $π= π_1π_2 \cdot\cdot\cdot π_n$ and in its standard cycle form as $π= (c_1,c_2, ..., c_n)$ where $c_1=1$. Archer et al. introduced the notion of pattern avoidance of one-line and the standard cycle form for a cyclic permutation $π$, defined as both $π_1π_2 \cdot\cdot\cdot π_n$ and its standard cycle form $c_1c_2\cdot\cdot\cdot c_{n}$ avoiding a given pattern. Let $\mathcal{A}_n(σ_1,...,σ_k; τ)$ denote the set of cyclic permutations in the symmetric group $S_n$ that avoid each pattern of $\{σ_1,...,σ_k\}$ in their one-line forms and avoid $τ$ in their standard cycle forms. In this paper, we obtain some results about the cyclic permutations avoiding patterns in both one-line and cycle forms. In particular, we resolve two conjectures of Archer et al.
The inversion statistic in derangements and in other permutations with a prescribed number of fixed points
Published
• View Publication
• BIB
We study how the inversion statistic is influenced by fixed points in a permutation. %The expected number of inversions in a uniformly random permutation in $S_n$ is $\frac{n(n-1)}4$. For each $n\in\mathbb{N}$, and each $k\in\{0,1,\cdots, n\}$, let $P_n^{(k)}$ denote the uniform probability measure on the set of permutations in $S_n$ with exactly $k$ fixed points. We obtain an exact formula for the expected number of inversions under the measure $P_n^{(k)}$ as well as for $P_n^{(k)}(σ^{-1}_i<σ^{-1}_j)$, for $1\le i<j\le n$, the $P_n^{(k)}$-probability that the number $i$ precedes the number $j$. In particular,
up to a super-exponentially small correction as $n\to\infty$, the expected number of inversions in a random derangement $(k=0)$ is $\frac16n+\frac1{12}$ more than
the value $\frac{n(n-1)}4$ that one obtains for a uniformly random
general permutation in $S_n$. On the other hand, up to a super-exponentially small correction, for $k\ge2$, the expected number of inversions in a random permutation with $k$ fixed points is $\frac{k-1}6n+\frac{k^2-k-1}{12}$ less than $\frac{n(n-1)}4$. In the borderline case, $k=1$, up to a super-exponentially small correction, the expected number of inversions in a random permutation with one fixed point is $\frac1{12}$ more than $\frac{n(n-1)}4$. The proofs make strategic and perhaps novel use of the Chinese restaurant construction for a uniformly random permutation.
Inversions in Colored Permutations, Derangements, and Involutions
Published
• View Publication
• BIB
Arslan, Altoum, and Zaarour introduced an inversion statistic for generalized symmetric groups. In this work, we study the distribution of this statistic over colored permutations, including derangements and involutions. By establishing a bijective correspondence between colored permutations and colored Lehmer codes, we develop a unified framework for enumerating colored Mahonian numbers and analyzing their combinatorial properties. We derive explicit formulas, recurrence relations, and generating functions for the number of inversions in these families, extending classical results to the colored setting. We conclude with explicit expressions for inversions in colored derangements and involutions.
Bounded displacement permutations on tree-like spaces
It is shown that if a metric space exhibits certain finiteness and tree-like properties, then elements of its group of bounded displacement which are infinitely divisible are also torsion. This extends a result of N. M. Suchkov, A. A. Shlepkin, and D. A. Taysnyov.
Permutation ensembles and acyclicity on product of simplices
We propose the study of $S_n$-ensembles: $n \times n$ arrays of permutations of $[n]$ that encode the boundary data of $nΔ_{n-1}$. We characterize precisely when an $S_4$-ensemble contains a permutation appearing exactly four times, leading to a complete description of the types of boundary of $4Δ_3$ that can be extended to fine mixed subdivisions.