arXiv++ Combinatorics

Browse math.CO papers from arXiv

permutation ↗ reference

4849 papers tagged with this keyword
2025-05-08
Pattern avoidance in revised ascent sequences
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.
2025-05-08
Pattern avoidance in compositions and powers of permutations
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.$
2025-05-08
Characterizing avoidance in cycles via vincular patterns
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.
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 PublicationBIB
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.
2025-05-04
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.
2025-05-04
The inversion statistic in derangements and in other permutations with a prescribed number of fixed points
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
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.
2025-05-01 v2
Cluster deletion and clique partitioning in graphs with bounded clique number
The Cluster Deletion problem takes a graph $G$ as input and asks for a minimum size set of edges $X$ such that $G-X$ is the disjoint union of complete graphs. An equivalent formulation is the Clique Partition problem, which asks to find a partition of $V(G)$ into cliques such that the number of edges in the cliques is maximized. We begin by giving a much simpler proof of a theorem of Gao, Hare, and Nastos that Cluster Deletion is efficiently solvable on the class of cographs. We then investigate Cluster Deletion and Clique Partition on permutation graphs, which are a superclass of cographs. Our findings suggest that Cluster Deletion may be NP-hard on permutation graphs. Finally, we prove that for graphs with clique number at most $c$, there is a $\frac{2\binom{c}{2}}{\binom{c}{2}+1}$-approximation algorithm for Clique Partition. This is the first polynomial time algorithm which achieves an approximation ratio better than 2 for graphs with bounded clique number. More generally, our algorithm runs in polynomial time on any graph class for which Maximum Clique can be computed in polynomial time. We also provide a class of examples which shows that our approximation ratio is best possible.
2025-04-30 v2
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.
2025-04-29 v2
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.
2025-04-29 v3
On an alternating sum of factorials and Stirling numbers of the first kind: trees, lattices, and games
We study an alternating sum involving factorials and Stirling numbers of the first kind. We give an exponential generating function for these numbers and show they are nonnegative and enumerate the number of increasing trees on $n$ vertices that are won by the second of two players when interpreted as a game tree. We also give a simple description of the quotient from the weak order to the Tamari lattice in terms of plane trees, and give bijections between plane trees, 213-avoiding permutations, and 312-avoiding permutations. Finally, for a rooted tree, we give equivalent characterizations of when it describes a game won by the first or second player in terms of the rank-generating function of the lattice of prunings and the Euler characteristic of an associated real variety.
2025-04-29 v2
An $\mathcal{O}(n)$ Space Construction of Superpermutations
A superpermutation is a sequence that contains every permutation of $n$ distinct symbols as a contiguous substring. For instance, a valid example for three symbols is a sequence that contains all six permutations. This paper introduces a new algorithm that constructs such sequences more efficiently than existing recursive and graph-theoretic methods. Unlike traditional techniques that suffer from scalability and factorial memory demands, the proposed approach builds superpermutations directly and compactly. This improves memory usage, enabling the construction of larger sequences previously considered impractical.
2025-04-24
Two gluing methods for string C-group representations of the symmetric groups
The study of string C-group representations of rank at least $n/2$ for the symmetric group $S_n$ has gained a lot of attention in the last fifteen years. In a recent paper, Cameron et al. gave a list of permutation representation graphs of rank $r\geq n/2$ for $S_n$, having a fracture graph and a non-perfect split. They conjecture that these graphs are permutation representation graphs of string C-groups. In trying to prove this conjecture, we discovered two new techniques to glue two CPR graphs for symmetric groups together. We discuss the cases in which they yield new CPR graphs. By doing so, we invalidate the conjecture of Cameron et al. We believe our gluing techniques will be useful in the study of string C-group representations of high ranks for the symmetric groups.
2025-04-19
Noncrossing arc diagrams of type B
Noncrossing arc diagrams are combinatorial models for permutations that encode information about lattice congruences of the weak order and about the associated discrete geometry. In this paper, we consider two related, analogous models for signed permutations. One model features centrally symmetric noncrossing arc diagrams, while the other features their quotients modulo the central symmetry. We demonstrate the utility of the models by applying them to various questions about lattice quotients of the weak order.
2025-04-18
Fixers and stabilizers for Ree groups
Let $G$ be a finite permutation group on $Ω,$ a subgroup $K\leqslant G$ is called a fixer if each element in $K$ fixes some element in $Ω.$ In this paper, we characterize fixers $K$ with $|K|\geqslant |G_ω|$ for each primitive action of almost simple group $G$ with socle ${}^2G_2(q).$
Global patterns in signed permutations
Global permutation patterns have recently been shown to characterize important properties of a Coxeter group. Here we study global patterns in the context of signed permutations, with both characterizing and enumerative results. Surprisingly, many properties of signed permutations may be characterized by avoidance of the same set of patterns as the corresponding properties in the symmetric group. We also extend previous enumerative work of Egge, and our work has connections to the Garfinkle--Barbasch--Vogan correspondence, the Erdős--Szekeres theorem, and well-known integer sequences.
2025-04-13
A permutation based approach to the $q$-deformation of the Dynkin Operator
Introduced by Solomon, the descent algebra is a significant subalgebra of the group algebra of the symmetric group $\mathbf{k}S_n$ related to many important algebraic and combinatorial topics. It contains all the classical Lie idempotents of $\mathbf{k}S_n$, in particular the Dynkin operator, a fundamental tool for studying the free Lie algebra. We look at a $q$-deformation of the Dynkin operator and study its action over the descent algebra with classical combinatorial tools like Solomon's Mackey formula. This leads to elementary proofs that the operator is indeed an idempotent for $q=1$ as well as to interesting formulas and algebraic structures especially when $q$ is a root of unity.
$c$-Birkhoff polytopes
In a 2018 paper, Davis and Sagan studied several pattern-avoiding polytopes. They found that a particular pattern-avoiding Birkhoff polytope had the same normalized volume as the order polytope of a certain poset, leading them to ask if the two polytopes were unimodularly equivalent. Motivated by Davis and Sagan's question, in this paper we define a pattern-avoiding Birkhoff polytope called a $c$-Birkhoff polytope for each Coxeter element $c$ of the symmetric group. We then show that the $c$-Birkhoff polytope is unimodularly equivalent to the order polytope of the heap poset of the $c$-sorting word of the longest permutation. When $c=s_1s_2\dots s_{n}$, this result recovers an affirmative answer to Davis and Sagan's question. Another consequence of this result is that the normalized volume of the $c$-Birkhoff polytope is the number of the longest chains in the (type A) $c$-Cambrian lattice.
Shellability of the quotient order on lattice path matroids
The concept of a matroid quotient has connections to fundamental questions in the geometry of flag varieties. In previous work, Benedetti and Knauer characterized quotients in the class of lattice path matroids (LPMs) in terms of a simple combinatorial condition. As a consequence, they showed that the quotient order on LPMs yields a graded poset whose rank polynomial relates to a refinement of the Catalan numbers. In this work we show that this poset admits an EL-labeling, implying that the order complex is shellable and hence enjoys several combinatorial and topological properties. We use this to establish bounds on the Möbius function of the poset, interpreting falling chains in the EL-labeling in terms of properties of underlying permutations. Furthermore, we show that this EL-labeling is in fact a Whitney labeling, in the sense of the recent notion introduced by González D'León and Hallam.