permutation ↗ reference
4945 papers tagged with this keyword
On mesh patterns of short length: Equidistribution and enumeration
The classification and enumeration of short mesh patterns have emerged as two central directions in the area. We make substantial progress on both fronts. We construct an involution and a bijection that establish distributional equivalences for two classes of length-$2$ mesh patterns, thereby resolving a conjecture from 2019 and a recent conjecture. As a consequence, the best known upper bounds for the numbers of distribution-equivalence and Wilf-equivalence classes drop to $106$ and $47$, respectively. Combined with the known lower bounds of 105 and 46, conjectured to be exact, these results leave both classifications hinging on a single distribution-equivalence question conjectured in 2019, whose resolution would at once settle the remaining Wilf-equivalence case. We further conjecture that this unresolved equidistribution also holds for involutions, a subclass of all permutations.
We also determine the distributions of three additional classes of length-$2$ mesh patterns through a detailed structural analysis. Our work combines bijective techniques with generating-function methods, yielding new insights into the structure and enumeration of short mesh patterns.
A bijection on balanced words reversing both $\text{des}$ and $\text{maj}$
Balanced words on a finite alphabet are those words in which every letter of the alphabet occurs the same number of times. The notion of descents and major index extends in a natural way to words. It is known that the bivariate generating polynomials for descents and major index over balanced words on the alphabet $[k]$ with $n$ occurrences each is palindromic, but a bijective proof has been missing even for balanced binary words. We give an explicit bijection proving this result. For permutations (which are also balanced), our bijection is different from the complementation map. We also show that for balanced binary words, this bijection simultaneously flips the ascent and comajor index as well.
Computing Joins in the Weak Order of Type B Coxeter Groups: an Algorithmic Approach
Published in EPTCS 445, 2026, pp. 21-28
• View Publication
• BIB
We present an algorithm for computing the join of two elements in the weak order of the Coxeter group of type B. This extends Markowsky's algorithm for computing joins of standard permutations to signed permutations, and allows us to confirm a conjecture of Dyer concerning a geometric interpretation of these joins.
Permanental Inequalities and Unit Interval Orders
Published in EPTCS 445, 2026, pp. 139-147
• View Publication
• BIB
Given a square matrix, the permanent is a determinant-like function without signs. In this paper, we study inequalities involving permanents of certain submatrices. We first focus on a family of zero-one totally nonnegative matrices that arise as anti-adjacency matrices of unit interval orders. For these matrices, we prove a collection of inequalities comparing products of permanents of consecutive principal submatrices with products of permanents of parity-selected principal submatrices.
We also study a related combinatorial problem involving two families of permutations: a Young subgroup and a set of parity alternating permutations. We construct a bijective map from the first family to the second family, and verify computationally for n at most 13 that each permutation is below its image in Bruhat order. We conjecture that this property holds for all n. If true, this would imply one of the main permanent inequalities for all totally nonnegative matrices in the balanced case. More broadly, we conjecture that the full family of inequalities holds for all totally nonnegative matrices.
Middle orders: all distributive lattices between weak and Bruhat
For a given Coxeter group, we study distributive lattices called middle orders refining the weak order and refined by the Bruhat order. In type $A$, we construct such lattices indexed by binary trees using a direct bijection between permutations and lower sets of a certain partition of the root poset into rectangles. When the binary tree is a left-comb tree, we recover the middle order defined by Bouvel, Ferrari, and Tenner (2025). We study combinatorial properties of these lattices, and show they are the only distributive lattices between the weak and Bruhat orders in type $A$. For general Coxeter groups, we study middle orders on parabolic quotients and use these to generalize our construction in type $A$ to other Weyl groups, obtaining so-called ``minuscule middle orders''. We show that they are a subset of sorting orders defined by Armstrong (2009), and we give conjectural descriptions of all middle orders that are not minuscule.
Resolving the Schwartz Quadratic Meander Number Conjecture
A cyclic meander is an embedded oriented loop in the plane intersecting a fixed infinite line, or circle, transversely in a linearly ordered set of $2n$ points. By keeping track of the order in which the loop visits these points, the cyclic meander induces a cyclic permutation on these marked points. Correspondingly, given a permutation on $n$ letters, one can ask whether or not a cyclic meander induces the permutation in this manner, and if not, what is the most efficient way of doing so if we allow more points of intersection? This process gives a way of associating to a permutation on $n$ letters a measurement of complexity of the permutation in question. The principal result of this work shows that the maximum of this quantity, the \emph{meander number}, over all cyclic permutations on $n$ letters, is bounded above and below quadratically in $n$. This result resolves a conjecture of Schwartz~\cite{richtpss} in relation to his work on the topological salesman problem. We conclude this work by constructing families of cyclic permutations on $n$ letters whose meander numbers realize a continuum of growth rates between linear and quadratic.
Arrangements of Consecutive Numbers in Mallows Permutations
We study the random variable that counts the number of specific arrangements of clustered consecutive numbers in permutations under the Mallows distribution. We provide an asymptotic expression for the expected value of this random variable. This result extends and tightens the previously known result by Pinsky (2022) concerning clustered consecutive numbers in Mallows permutations. Moreover, we identify a range of parameters for which the distribution of the number of arrangements of clustered consecutive numbers in Mallows permutations is close to a Poisson distribution.
The two-sided peak polynomial
We derive a generating function identity for the joint distribution of the numbers of peaks of a permutation and its inverse, via enriched $P$-partitions. The coefficients of the corresponding peak polynomial $W_n(s,t)$ satisfy a second-order recurrence. A martingale formulation of this recurrence yields a bivariate central limit theorem, showing that the two statistics are asymptotically independent. We also give an exact closed form for their covariance, which is of order $n^{-1}$.
A Characterization of the $2m-4$ Case of Highly Sorted Permutations
Let $s$ denote West's stack-sorting map. In 2020, Defant characterized and enumerated the set $s^{n-m}(S_n)$ for $n \geq 2m-3$. While $|s^{n-m}(S_n)| = B_m$ when $n \geq 2m-2$, where $B_m$ denotes the $m$th Bell number, there are additional permutations when $n = 2m-3$. In this paper, we explore the more complex $n = 2m-4$ case, with several forms of additional permutations. We characterize $s^{m-4}(S_{2m-4})$ and find that its size is \[B_m + \frac{m^2 + 7m - 28}{2}\] for $m \geq 5$. This answers Defant's question about the $2m-4$ case. Furthermore, we find some differences in the behavior of the $2m-5$ case compared to the $2m-3$ and $2m-4$ cases.
A complete characterization of a family of permutation trinomials over $\mathbb F_{p^2}$
Let $p>3$ be a prime and let $$f_{λ_1,λ_2}(x)=x^{p^2-p+1}+λ_1x^{p^2}+λ_2x^{2p-1}\in\mathbb F_{p^2}[x].$$ We determine all pairs $(λ_1,λ_2)\in(\mathbb F_{p^2})^2$ for which $f_{λ_1,λ_2}$ is a permutation polynomial of $\mathbb F_{p^2}$. The final classification consists of three explicit families. The first one is the binomial case $λ_1=0$. The other two are obtained from the condition $λ_2=cλ_1^3$, with $c\in \mathbb F_{p}^{*}$, and are defined by two simple equations involving the norm $λ_1^{p+1}$. The proof is based on the AGW criterion and on the study of a quartic curve naturally associated with the rational function induced on the unit circle $μ_{p+1}$.
On the distributions of the statistics (des, maj, inv) over several classes of permutations
We investigate the joint distribution of the trivariate statistics (des, maj, inv) on classical permutations, Andre permutations of the first and second kinds, and Simsun permutations. By decomposing permutations according to the position of the smallest element, we obtain explicit recurrence relations for the generating functions of these statistics. In the classical permutation setting, our recurrence relation yields the generating function for the trivariate statistics (des, maj, inv) due to Gessel, which is typically proved using MacMahon's technique.
C4-face-magic labeling on a 4x4 Klein bottle grid graph
For a graph G = (V, E) embedded in the Klein bottle, let F(G) denote the set of faces of G. A C_4-face-magic Klein bottle labeling on G is a bijection f: V(G) to {1, 2,..., |V(G)|} such that for any F in F(G) with F isomorphic C_4, the sum of all the vertex labelings along C_4 is a constant. We say that a C_4-face-magic labeling X={x_{i,j} : 0< i,j< 5} on the 4x4 Klein bottle grid graph is horizontally (or vertically) pairwise balanced if x_{2i-1,j} + x_{2i,j}=17 for 0< i <3 and 0< j \le <5 (or x_{i,2j-1} + x_{i2,j}=17 for 0< i <5 and 0< j <3). We show that the 4x4 Klein bottle grid graph has 192 C_4-face-magic labelings up to symmetries on a Klein bottle. We classify these labelings into two categories depending on whether a C_4-face-magic label preserving permutation of the labeling is either horizontally pairwise balanced or vertically pairwise balanced. These results extend known results on C_4-face-magic labelings on an mxn Klein bottle grid graph.
The sorting-Denert statistic
Denert's statistic is a classical Mahonian statistic on permutations. Together with the excedance number, it forms an Euler--Mahonian pair, a result first conjectured by Denert and later proved by Foata and Zeilberger. Motivated by this classical result, we introduce the sorting-Denert statistic, a sorting-index analogue of Denert's statistic. It is obtained by replacing, in Denert's statistic, the inversion number of the non-excedance-letter subsequence with its sorting index. We prove that the sorting-Denert statistic, together with the excedance number, forms a new Euler--Mahonian pair.
A conjecture of Glasby, Praeger, and Unger on permutations of $S_n$
We prove a conjecture of Glasby, Praeger, and Unger concerning the symmetric group $S_{n}$. Let $π_{n}$ denote the proportion of elements of $S_{n}$ that are pre-$p$-cycles for some prime $p\in[2, n-3]$. We prove that $π_{n} > 1/3$ for all $n\geq 8$.
Classification of independent sets in signed Johnson graphs and applications to kissing arrangements
Johnson graph are a family of graphs that play an important role in the theory of constant-weight codes, extremal combinatorics, and combinatorial geometry. We study signed analogues of classical Johnson graphs, denoted by $J_\pm(n,k)$, whose vertices are vectors of the form $\pm e_{i_1}\pm\cdots\pm e_{i_k}$, where two vertices are adjacent whenever their dot product equals $k-1$. We are particularly interested in maximum independent sets in the case $k=4$. An example of such an independent set in $J_\pm(n,4)$, which we call \emph{classical}, is obtained by lifting an arbitrary optimal $(n,4,4)$-code. Such independent sets naturally define kissing arrangements in ${\mathbb R}^n$.
We develop an algorithm that is practical for computing all maximum independent sets in $J_\pm(n,4)$ up to signed permutations for $n\le 12$, $n\ne 11$. In addition to obtaining complete lists, we provide structural characterizations of all types of maximum independent sets in these dimensions, excluding $n=5$ and $n=11$. Our most striking results concern the case $n=12$. We identify $1579$ non-isomorphic maximum independent sets in $J_\pm(12,4)$, all corresponding to non-isometric kissing arrangements of size $840$ in ${\mathbb R}^{12}$. Structurally, $1575$ of these independent sets arise from three different constructions, the rest are liftings of one of four $(12,4,4)$-codes. To our knowledge, this is the first dimension in which such a large diversity of potentially optimal kissing arrangements has been observed.
Beyond this finite range, we prove that for $n\equiv 2$ or $4 \pmod 6$, every maximum independent set arises from a Steiner quadruple system. We also obtain a characterization of the so-called \emph{nontrivially self-compatible} codes, namely optimal $(n,4,4)$-codes from which non-classical maximum independent sets can be constructed.
Coxeter Condorcet domains
Condorcet domains are subsets of permutations that ensure pairwise majority voting yields acyclic outcomes, and they form an active area of research at the intersection of social choice theory and combinatorics. In this paper, we extend the theory of Condorcet domains to the broader setting of arbitrary finite Coxeter groups. The core contribution of our approach is the introduction of Condorcet root posets, defined on the chosen root systems. Notably, we establish a natural bijection between closed Condorcet domains and Condorcet root posets, which facilitates the study of Condorcet domains. Using this correspondence, we extend the median graph representation of closed Condorcet domains to arbitrary finite Coxeter groups, demonstrating that these domains can be characterized by the skeletons of their associated Condorcet root posets. These results are novel even in type $A$. Furthermore, these posets give a unified language that efficiently captures a wide range of desirable properties of Condorcet domains, such as being maximal, connected, peak-pit, and of tiling type. Using this framework, we strengthen and generalize several classical results: we establish that a maximal Condorcet domain is connected if and only if it is peak-pit; we prove that the tiling-type property is equivalent to the combination of being maximal and connected, and having maximal width; and we show that strictly positive voting profiles on connected Condorcet domains yield outcomes with only simple ties.
Counterexamples to Robichaux's conjecture for Grothendieck polynomials
Ross and Yong conjectured a $K$-theoretic Kohnert rule for Grothendieck polynomials. Robichaux exhibited a counterexample to the Ross--Yong rule and proposed a revised ghost $K$-Kohnert rule, proving both rules hold for 321-avoiding permutations. We provide counterexamples to Robichaux's rule and give an explicit bijection showing that both the Ross--Yong and Robichaux rules hold for 1432-avoiding permutations. As an application, we provide a Kohnert-theoretic characterization of 1432-avoidance.
Exact Sampling of Permutations with a Fixed Longest Increasing Subsequence
We study exact uniform sampling of permutations of length $n$ whose longest increasing subsequence (LIS) has prescribed length $k$. For $k \in Θ(n)$, we give a direct rejection sampler whose expected running time is $O(n\log\log n)$ in the word-RAM model. The sampler uses an expanded proposal space consisting of permutations together with a specified increasing subsequence, and accepts exactly those proposals whose specified subsequence is the leftmost LIS. For arbitrary $1\le k\le n$, we give an exact sampler based on the Robinson--Schensted correspondence. The algorithm samples the corresponding Plancherel-conditioned shape by computing exact completion counts via determinant identities, and then samples two uniform tableaux of that shape. The direct implementation runs in $\tilde O(n^4k^5)$ expected time. We then show that the same sampler can be implemented in expected $\tilde O(n^3k^4)$ time by evaluating a determinant oracle through Hankel moment matrices.
The conflated expression graph for an arbitrary permutation
We show that the conflated expression graph for an arbitrary permutation has a unique minimal element and a unique maximal element, and every reduced expression sits on a maximal chain from the source to the sink. This generalizes the work of Manin-Schechtman regarding higher Bruhat orders, and gives an independent and self-contained proof of certain results in Hothem. In addition, we give explicit algorithms for elements in the top and bottom commutation classes. Given any reduced expression $ρ$, we give an explicit method for producing a maximal chain containing $ρ$.
A Refinement of the Fixed--Pixed Points Equidistribution on restricted Permutations
Motivated by a recent conjecture of Bsila, Cox, Hugo, Styron and Zhuang concerning fixed points and pixed points on pattern-avoiding permutations, we prove a bivariate refinement involving descent statistics. Given a set of permutations $Π$, let $\mathfrak{S}_n(Π)$ denote the set of permutations in the symmetric group $\mathfrak{S}_n$ that avoid every element of $Π$ in the sense of pattern avoidance. For each set $Π$ appearing in their conjecture, we show that the pairs of statistics $(\mathrm{des},\mathrm{fix})$ and $(\mathrm{ides},\mathrm{pix})$ are equidistributed over $\mathfrak{S}_n(Π)$. Our proof is based on explicit ordinary generating functions for the corresponding pattern-avoiding classes.