permutation ↗ reference
4945 papers tagged with this keyword
Equivariant Ehrhart Theory of Hypersimplices
Published in Forum of Mathematics, Sigma 13 (2025) e178
• View Publication
• BIB
We study the hypersimplex under the action of the symmetric group $S_n$ by coordinate permutation. We prove that the evaluation of its equivariant $H^*$-polynomial at $1$ is the permutation character of decorated ordered set partitions under the natural action of $S_n$. This verifies a conjecture of Stapledon for the hypersimplex. To prove this result, we give a formula for the coefficients of the $H^*$-polynomial. Additionally, for the $(2,n)$-hypersimplex, we use this formula to show that trivial character need not appear as a direct summand of a coefficient of the $H^*$-polynomial, which gives a family of counterexamples to a different conjecture of Stapledon.
When do Schubert polynomial products stabilize?
The "back-stabilization number" for products of Schubert polynomials is the distance the corresponding permutations must be shifted before the structure constants stabilize. We give an explicit formula for this number and thereby prove a conjecture of N. Li in a strengthened form. This leads to an additional result: a formula for the smallest $n$ such that a given Schubert product expands completely over $S_n$.
Our method is to explore back-stable fundamental slide polynomials and their products combinatorially, in the context of their associated words. We use three main tools: (i) an algebra consisting of "colored words", with a modified shuffle product, and which contains the rings of back (quasi)symmetric functions as subquotients; (ii) the combinatorics of increasing suffixes of reduced words; and (iii) the lift of differential operators to the space of colored words.
Permutation clones that preserve relations
Permutation clones generalise permutation groups and clone theory. We investigate permutation clones defined by relations, or equivalently, the automorphism groups of powers of relations. We find many structural results on the lattice of all relationally defined permutation clones on a finite set. We find all relationally defined permutation clones on two element set.
We show that all maximal borrow closed permutation clones are either relationally defined or cancellatively defined.
Permutation clones generalise clones to permutations of $A^n$. Emil Jeřábek found the dual structure to be weight mappings $A^k\rightarrow M$ to a commutative monoid, generalising relations. We investigate the case when the dual object is precisely a relation, equivalently, that $M={\mathbb B}$, calling these relationally defined permutation clones.
We determine the number of relationally defined permutation clones on two elements (13).
We note that many infinite classes of clones collapse when looked at as permutation clones.
Robust Contraction Decomposition for Minor-Free Graphs and its Applications
We prove a robust contraction decomposition theorem for $H$-minor-free graphs, which states that given an $H$-minor-free graph $G$ and an integer $p$, one can partition in polynomial time the vertices of $G$ into $p$ sets $Z_1,\dots,Z_p$ such that $\operatorname{tw}(G/(Z_i \setminus Z')) = O(p + |Z'|)$ for all $i \in [p]$ and $Z' \subseteq Z_i$. Here, $\operatorname{tw}(\cdot)$ denotes the treewidth of a graph and $G/(Z_i \setminus Z')$ denotes the graph obtained from $G$ by contracting all edges with both endpoints in $Z_i \setminus Z'$.
Our result generalizes earlier results by Klein [SICOMP 2008] and Demaine et al. [STOC 2011] based on partitioning $E(G)$, and some recent theorems for planar graphs by Marx et al. [SODA 2022], for bounded-genus graphs (more generally, almost-embeddable graphs) by Bandyapadhyay et al. [SODA 2022], and for unit-disk graphs by Bandyapadhyay et al. [SoCG 2022].
The robust contraction decomposition theorem directly results in parameterized algorithms with running time $2^{\widetilde{O}(\sqrt{k})} \cdot n^{O(1)}$ or $n^{O(\sqrt{k})}$ for every vertex/edge deletion problems on $H$-minor-free graphs that can be formulated as Permutation CSP Deletion or 2-Conn Permutation CSP Deletion. Consequently, we obtain the first subexponential-time parameterized algorithms for Subset Feedback Vertex Set, Subset Odd Cycle Transversal, Subset Group Feedback Vertex Set, 2-Conn Component Order Connectivity on $H$-minor-free graphs. For other problems which already have subexponential-time parameterized algorithms on $H$-minor-free graphs (e.g., Odd Cycle Transversal, Vertex Multiway Cut, Vertex Multicut, etc.), our theorem gives much simpler algorithms of the same running time.
Schubert polynomials and patterns in permutations
Published
• View Publication
• BIB
This paper investigates the number of supports of the Schubert polynomial $\mathfrak{S}_w(x)$ indexed by a permutation $w$. This number also equals the number of lattice points in the Newton polytope of $\mathfrak{S}_w(x)$. We establish a lower bound for this number in terms of the occurrences of patterns in $w$. The analysis is carried out in the general framework of dual characters of flagged Weyl modules. Our result considerably improves the bounds for principal specializations of Schubert polynomials or dual flagged Weyl characters previously obtained by Weigandt, Gao, and M{é}sz{á}ros--St. Dizier--Tanjaya. Some problems and conjectures are discussed.
Hertzsprung patterns on involutions
Published
• View Publication
• BIB
Hertzsprung patterns, recently introduced by Anders Claesson, are subsequences of a permutation contiguous in both positions and values, and can be seen as a subclass of bivincular patterns.
This paper investigates Hertzsprung patterns within involutions, where additional structural constraints introduce new challenges. We present a general formula for enumerating occurrences of these patterns in involutions.
We also analyze specific cases to derive the distribution of all Hertzsprung patterns of lengths two and three.
Pin classes II: Small pin classes
Published
• View Publication
• BIB
Pin permutations play an important role in the structural study of permutation classes, most notably in relation to simple permutations and well-quasi-ordering, and in enumerative consequences arising from these. In this paper, we continue our study of pin classes, which are permutation classes that comprise all the finite subpermutations contained in an infinite pin permutation. We show that there is a phase transition at $μ\approx 3.28277$: there are uncountably many different pin classes whose growth rate is equal to $μ$, yet only countably many below $μ$. Furthermore, by showing that all pin classes with growth rate less than $μ$ are essentially defined by pin permutations that possess a periodic structure, we classify the set of growth rates of pin classes up to $μ$.
Pattern avoidance in nonnesting permutations
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:1, Permutation Patterns 2024, Special issues (October 17, 2025) dmtcs:14885
• View Publication
• BIB
Nonnesting permutations are permutations of the multiset $\{1,1,2,2,\dots,n,n\}$ that avoid subsequences of the form $abba$ for any $a\neq b$. These permutations have recently been studied in connection to noncrossing (also called quasi-Stirling) permutations, which are those that avoid subsequences of the form $abab$, and in turn generalize the well-known Stirling permutations. Inspired by the work by Archer et al. on pattern avoidance in noncrossing permutations, we consider the analogous problem in the nonnesting case. We enumerate nonnesting permutations that avoid each set of two or more patterns of length 3, as well as those that avoid some sets of patterns of length 4. We obtain closed formulas and generating functions, some of which involve unexpected appearances of the Catalan and Fibonacci numbers. Our proofs rely on decompositions, recurrences, and bijections.
Improvements for lower bounds of mutually orthogonal Latin squares of sizes $54$, $96$ and $108$
Published
• View Publication
• BIB
We will show that there are at least 8, 10 and 9 mutually orthogonal Latin squares (MOLS) of orders $n=54$, $96$ and $108$. The cases $n=54$ and $96$ are obtained by constructing separable permutation codes consisting of $8 \times 54$ and $10 \times 96$ codeword respectively; in addition, these codes respectively have lengths $54$, $96$ and minimum distances $53$, $95$. Here we will follow exactly the procedure given in \cite{JS2019}. The case $n=108$ is obtained by constructing a $(108,10,1)$ difference matrix. Also, an error in \cite{ACD} for $n=45$ will be corrected.
Bounds On Schubert Coefficients in the Two-Row Case
Weprovide an upper bound for generalized Littlewood-Richardson coefficients $c^w_{uv}$, where $u$ is a two-row Young diagram corresponding to a Grassmannian permutation. We end with a conjecture on the upper bounds for all such structure constants.
Complexity of graph evolutions
A permutation of the elements of a graph is a {\it construction sequence} if no edge is listed before either of its endpoints. The complexity of such a sequence is investigated by finding the delay in placing the edges, an {\it opportunity cost} for the construction sequence. Maximum and minimum cost c-sequences are provided for a variety of graphs and are used to measure the complexity of graph-building programs.
Connections between certain numbers related to derangements and $r$-permutations
For non-negative integer parameters $r,u,m,n$ define \begin{align*}
\cal{D}(r,u,m,n) := \big\{\ σ\in \cal{S}_{r+n}\ \big|\ σ(x)=y \textrm{ for exactly } u \textrm{ pairs } (x,y) \textrm{ such that } 1\leq x,y\leq r \textrm{ and } σ(t)=t \textrm{ for exactly } m \textrm{ elements } r+1\leq t\leq r+n\ \big\} \end{align*} and \begin{align*}
\cal{D}_{r,u,m}(n) := \big\{\ σ\in \cal{S}_{r+n}\ \big|\ \forall_{1\leq x<y\leq r} \ x \textrm{ and } y \textrm{ are in disjoint cycles of } σ\textrm{ and } σ(z)=z \textrm{ for exactly } u \textrm{ elements } 1\leq z\leq r, \textrm{ and } σ(t)=t \textrm{ for exactly } m \textrm{ elements } r+1\leq t\leq r+n\ \big\}, \end{align*} where $\mathcal{S}_{n}$ denotes the set of all the permutations of $\{1,\ldots ,n\}$.
In this paper we study connections between the sets $\mathcal{D}(r,u,m,n)$, $\mathcal{D}_{r,u,m}(n)$, and the sets of (some classes of) $r$-derangements. We rely mostly on counting arguments.
Distributions of mesh patterns of short lengths on king permutations
Published
• View Publication
• BIB
Brändén and Claesson introduced the concept of mesh patterns in 2011, and since then, these patterns have attracted significant attention in the literature. Subsequently, in 2015, Hilmarsson \emph{et al.} initiated the first systematic study of avoidance of mesh patterns, while Kitaev and Zhang conducted the first systematic study of the distribution of mesh patterns in 2019. A permutation $σ= σ_1 σ_2 \cdots σ_n$ in the symmetric group $S_n$ is called a king permutation if $\left| σ_{i+1}-σ_i \right| > 1$ for each $1 \leq i \leq n-1$. Riordan derived a recurrence relation for the number of such permutations in 1965. The generating function for king permutations was obtained by Flajolet and Sedgewick in 2009. In this paper, we initiate a systematic study of the distribution of mesh patterns on king permutations by finding distributions for 22 mesh patterns of short length.
On stabilizers in finite permutation groups
Published
• View Publication
• BIB
Let $G$ be a permutation group on the finite set $Ω$. We prove various results about partitions of $Ω$ whose stabilizers have good properties. In particular, in every solvable permutation group there is a set-stabilizer whose orbits have length at most $6$, which is best possible and answers two questions of Babai. Every solvable maximal subgroup of any almost simple group has derived length at most $10$, which is best possible. In every primitive group with solvable stabilizer, there are two points whose stabilizer has derived length bounded by an absolute constant.
Demazure product and hopping in type D
The Demazure product, also called the 0-Hecke product, is an associative operation on Coxeter groups with interesting properties and applications. In (Li et al 2024) it was shown that the Demazure product of two permutations can be described purely combinatorially: using only their one-line notation and not relying on reduced words. In this paper, we extend this to type D Coxeter groups.
Excess Coverage Arrays and Levenshtein's Conjecture
Published
• View Publication
• BIB
A sequence covering array, denoted \textsf{SCA}$(N;t,v)$, is a set of $N$ permutations of $\{0, \dots, v-1 \}$ such that each sequence of $t$ distinct elements of $\{0, \dots, v-1\}$ reads left to right in at least one permutation. The minimum number of permutations such a sequence covering array can have is $t!$ and Levenshtein conjectured that if a sequence covering array with $t!$ permutations exists, then $v \in \{t,t+1\}$. In this paper, we prove that if an \textsf{SCA}$(7!;7,v)$ exists, then $v \leq 9$. We do this by analysing connections between sequence covering arrays and a special kind of covering array called an excess coverage array. A strength 2 excess coverage array, denoted \textsf{CA}$_{X}(N;2,k,v)$, is an $N \times k$ array with entries from $\{0, \dots, v - 1\}$ such that every ordered pair of distinct symbols appear at least once in each pair of columns and all other pairs appear at least twice. We demonstrate computationally that there is a unique \textsf{CA}$_{X}(42;2,5,6)$, and we prove that this array alone does not satisfy necessary conditions we establish for the existence of an \textsf{SCA}$(7!;7,10)$. Furthermore, we find the maximum possible number of columns for strength 2 excess coverage arrays with symbol sets of sizes between 2 and 6, and more broadly investigate binary excess coverage arrays.
S-invariant and S-multinvariant functions and some symmetry groups of algebraic sieves
In this article we introduced algebraic sieves, i.e. selection procedures on a given finite set to extract a particular subset. Such procedures are performed by finite groups acting on the set. They are called sieves because there are certain sets of numbers which, with appropriate groups, can select, for example, a set of primes, think of the famous Eratosthenes sieve. In this article we have given a general definition of algebraic sieves. And we also introduced the notion of invariant and multi-invariant functions, certain permutations on the sieve set which, in the invariant case, commute with the action of a given sieve-selecting group and the automorphism of that group, and multi-invariants which commute with all groups and their respective automorphisms. By means of such functions we have given symmetries on such sieves. In particular, we studied certain groups of symmetries of invariant functions. Then, using such notions, we studied a particular example, the Goldbach sieve, where the selector groups are dihedral groups and the selected set consists of the primes and, in some cases, the numbers $1$ and $N-1=p$, with $N$ being even and p prime, which satisfies the Goldbach conjecture for $N$. We have shown that one of these symmetry groups is isomorphic to a subgroup or affinity group of the ring of integers modulo N with N an integer even $\mathbb{Z}_{N}$.
BiSC: An algorithm for discovering generalized permutation patterns
Theorems relating permutations with objects in other fields of mathematics are often stated in terms of avoided patterns. Examples include various classes of Schubert varieties from algebraic geometry (Billey and Abe 2013), commuting functions in analysis (Baxter 1964), beta-shifts in dynamical systems (Elizalde 2011) and homology of representations (Sundaram 1994). We present a new algorithm, BiSC, that, given any set of permutations, outputs a conjecture for describing the set in terms of avoided patterns. The algorithm automatically conjectures the statements of known theorems such as the descriptions of smooth (Lakshmibai and Sandhya 1990) and forest-like permutations (Bousquet-M{é}lou and Butler 2007), Baxter permutations (Chung et al. 1978), stack-sortable (Knuth 1975) and West-2-stack-sortable permutations (West 1990). The algorithm has also been used to discover new theorems and conjectures related to the dihedral and alternating subgroups of the symmetric group, Young tableaux, Wilf-equivalences, and sorting devices.
Characterizing graphs with high inducibility
For a positive integer $k$ and a graph $H$ on $k$ vertices, we are interested in the inducibility of $H$, denoted $\mathrm{ind}(H)$, which is defined as the maximum possible probability that choosing $k$ vertices uniformly at random from a large graph $G$, they induce a copy of $H$. It follows from the resolved Edge-statistics conjecture that if $H \not \in \{K_k, \bar K_k\}$, then $\mathrm{ind}(H) \leq 1 / e + o_k(1)$. Equality holds for the star graph $K_{1, k-1}$, the graph with a single edge on $k$ vertices and their complements. We prove that for all other graphs $H$, we have $\mathrm{ind}(H) \leq c + o_k(1)$ for an absolute constant $c < 1 / e$. Moreover, we explicitly characterize all graphs with inducibility bounded away from zero. Namely, we show that this is the class of graphs $H$ for which there is a set $V_0 \subseteq V(H)$ of bounded size with the property that all permutations of $V(H) \backslash V_0$ extend to an automorphism of $H$.
On an Erdős-Szekeres Game
Published
• View Publication
• BIB
We consider a 2-player permutation game inspired by the celebrated Erdős-Szekeres Theorem. The game depends on two positive integer parameters $a$ and $b$ and we determine the winner and give a winning strategy when $a \geq b$ and $b \in \left\{2,3,4,5\right\}$.