permutation ↗ reference
4981 papers tagged with this keyword
Two refined Wilf-equivalences for patterns of length 4 and a conjecture on Dumont permutations of the first kind
We construct a bijection between $2143$-avoiding and $3421$-avoiding permutations that preserves the descent top set and the ascent top set and reverses the left-to-right order of the peaks. This bijection allows us to establish a bijection between $1243$-avoiding and $3412$-avoiding permutations with the same properties. These results refine two cases of a conjecture posed by Burstein and prove a conjecture posed by Burstein and Jones.
Embeddability of hieroglyphs in the torus and the intersection form
We characterize the hieroglyphs that embed in the torus, where a hieroglyph is a one-vertex graph with a rotation system. We prove equivalent criteria in terms of four forbidden hieroglyphs, the structure of the loop graph, reductions to three terminal forms, and the rank of the interlacement matrix. The proof uses the intersection form on the first homology of a disc with bands over $\mathbb{F}_2$ and the equality between its rank and twice the genus. We describe the effect of reductions and the role of boundary components. Counting the cycles of the boundary permutation yields a linear-time recognition algorithm for an indexed representation of the input.
Finiteness theorems for Cayley permutation classes
We prove that every hereditary Cayley permutation class with finitely many simple members has a finite basis and an algebraic generating function. We first show that every simple Cayley permutation of length at least two contains a simple pattern obtained by deleting one or two letters, and that the only exceptional Cayley permutations are the simple parallel alternations and their symmetries. We then characterize substitution-closed classes by the simplicity of their basis elements and show that classes with finitely many simple members are partially well ordered. Given the simple members and the basis of such a class, we construct a finite system of functional equations and compute an annihilating polynomial.
The longest increasing subsequences of Luce permutations and permutons
We investigate the longest increasing subsequences (LIS) of random permutations distributed under the Luce model with weights $θ_1^{(n)} \ge \ldots \ge θ_n^{(n)}$. Our first main result provides a general formula for the growth rate of the LIS. For example, we get that the LIS of Luce permutations with Sukhatme weights $θ_k^{(n)} = n-k+1$ grows like $\sqrt{n}$. We also give simple conditions for the LIS to be of order $n^β$, for any given $β\in[1/2,1)$. Our second main result states that, if the weights are of the form $θ_k^{(n)} = f\big( (k-1)/n \big)$ for a sufficiently regular function $f$, then the LIS divided by $2\sqrt{n}$ converges in probability to a constant $K(f)$ described by a variational problem. Throughout, we make extensive use of coupling techniques; in particular, to prove our second main result, we argue that Luce random permutations behave similarly to random permutations sampled from the ``Luce permuton''.
Permutation classes need not have proper growth rates
By the Marcus-Tardos Theorem (formerly the Stanley-Wilf Conjecture), every permutation class other than the class of all permutations has a finite upper growth rate, meaning that the $n$th root of the number of permutations of length $n$ in the class has a finite limit superior. It has long been conjectured that this limit superior is in fact always a proper limit. We disprove this by constructing a permutation class whose upper and lower growth rates differ. The construction uses grid classes with cubic row-column graphs of increasing girth, obtained from Haar graphs of finite 2-groups. The corresponding hereditary property of ordered graphs also disproves an analogous 2006 conjecture of Balogh, Bollobás, and Morris. Along the way, we show that every proper permutation class with a D-finite generating function has a proper growth rate. We also establish refined enumerative bounds for grid classes, which lead to a short proof of Albert and Vatter's generalization of Bevan's Theorem on the growth rates of grid classes.
Kelly's conjectures on Condorcet winner probabilities for odd electorates
Let $C(m,n)$ denote the probability that, among $n$ independent uniformly random permutations of $m$ labels, there exists a label that precedes every other label in a strict majority of the permutations. We prove that $C(m,n)>C(m,n+2)$ for $m \ge 3$ and odd $n \ge 1$, and that $C(m,n)>C(m+1,n)$ for $m \ge 2$ and odd $n \ge 3$. These results establish Kelly's two monotonicity conjectures for odd electorates. The proofs use integral representations involving probabilities associated with sums of independent Bernoulli random variables.
Permutations, Pattern Covers, Posets and Positivity: Part I: Patterns and Posets
We study permutations covered by overlapping occurrences of a consecutive pattern. Special cases of this have been studied for consecutive patterns and via the cluster method. We study enumeration sequences obtained by repeating a fixed overlap. We elicit many structural properties of such pattern covers, mainly in terms of posets whose linear extensions are in bijection with the permutations in question. The enumeration of these permutations for different patterns gives rise to a great variety of sequences, many classical, but most of them not found in the OEIS. We conjecture that, essentially, all these sequences are moments of probability measures on the real line.
We develop an enumerative and order-theoretic framework for this. For overlap 1 we give a generating function whose coefficients enumerate permutations covered by any fixed pattern with any fixed number of occurrences. For overlap at most half the pattern length we derive a polynomial-time enumeration formula. We associate to each pattern, overlap, and number of occurrences a poset whose linear extensions are the corresponding permutations.
The regularity of this poset construction makes possible a structural analysis that in many cases leads to enumerative formulas for large classes of patterns. We prove uniform restrictions on the local structure of the Hasse diagrams, describe their branches (pendant chains) in terms of the corresponding patterns, and characterize when the poset is a tree or chain or subdivisions of a grid. Some of these constructions yield explicit families of formulas and explain unexpected equinumerations.
In a forthcoming paper we investigate the sequences arising here from a probabilistic perspective, viewing them both as point processes and as moment sequences. We also obtain integral and matrix representations for important overlap 1 and 2 classes of pattern-covering sequences.
On a conjecture concerning two-stack sortable permutations
The two-stack sortable permutations of length $n$ are known to be equinumerous with permutations of length $n$ avoiding the dashed patterns $3\text{-}1\text{-}4\text{-}2$ and $2\text{-}41\text{-}3$. In this paper, we confirm an intriguing conjecture posed by Claesson, Kitaev, and Steingrímsson, which asserts that the quadruple $(\comp,\asc,\ldr,\rmax)$ is equidistributed on these two permutation classes. Here $\comp$ and $\asc$ count the number of components and ascents, respectively, $\ldr$ denotes the length of the initial decreasing run, and $\rmax$ denotes the number of right-to-left maxima. This is accomplished by constructing bijections between two-stack sortable permutations and $β(1,0)$-trees.
Simple Cayley permutations
We propose a notion of simplicity for Cayley permutations that is compatible with inflation and agrees, under a natural relational encoding, with indecomposability in the sense of Schmerl and Trotter. We establish a substitution decomposition analogous to that of permutations, in which the components are modules of the associated relational structure. We use it to enumerate simple Cayley permutations as well as simple restricted growth functions.
An Erdős-Szekeres-Type Result on Permutation Patterns
We construct an infinite set of patterns $(p,q)$ where $p$ is an almost increasing permutation and $q$ is an almost decreasing permutation, such that the exponential growth rate of permutations avoiding $(p,q)$ is 2. This extends a classical result of Erdős and Szekeres.
A Complete Dichotomy for $L_\infty$ Permutation Removal
We study the removal problem for permutation patterns under the normalized $L_\infty$ earth mover's distance. We prove a complete dichotomy. Let \[ \mathcal E
=\{(12),(21),(132),(213),(231),(312)\}. \] If $σ\in\mathcal E$, then every permutation of length $n$ that is $\varepsilon$-far from being $σ$-free contains at least $\varepsilon(n-1)$ copies of $σ$; for $0<\varepsilon\le 1/16$, this is sharp up to a constant factor for all sufficiently large $n$. If $σ\in S_k\setminus\mathcal E$, then for every sufficiently large $n$ there is a permutation of length $n$ that is $1/(8k)$-far from being $σ$-free and contains exactly one copy of $σ$.
Thus the usual positive-density removal conclusion fails for every nontrivial permutation pattern, but the sparse behavior is completely characterized: the minimum number of copies is linear for exactly six patterns and is one for all others. Consequently, no canonical one-sided tester that rejects only after finding a forbidden copy can have query complexity independent of the permutation length.
The distinguishing number of complete bipartite and crown graphs
The distinguishing number of a permutation group $G\leqslant\Sym(Ω)$ is the minimum number of colours needed to colour $Ω$ in such a way that the only colour preserving element of $G$ is the identity. The distinguishing number of a graph is the distinguishing number of its automorphism group (as a permutation group on vertices). We determine the distinguishing number of the complete bipartite graphs $K_{n,n}$ and the crown graphs $K_{n,n}-nK_2$, as well as the distinguishing number of some `large' subgroups of their automorphism groups, that is, the subgroups that are vertex- and edge-transitive and such that the induced action on each bipart is $\Alt(n)$ or $\Sym(n)$. We show that, if $G$ is a `large' group of automorphisms of $K_{n,n}$, then $n-1\leqslant D(G) \leqslant n+1$. Similarly, if $G$ is a `large' group of automorphisms of a crown graph, then $\lceil \sqrt{n-1}\rceil \leqslant D(G)\leqslant \lfloor \sqrt{n}\rfloor+1$.
\smallskip
\textit{Keywords:} complete bipartite graph; crown graph; distinguishing number; symmetric group; alternating group
Geodesics in the continuous Hecke monoid
A permuton is a probability measure on the unit square with uniform marginals, the limit shape of a sequence of permutations. The sticky product of permutons is a continuous analogue of the Demazure product in the $0$-Hecke monoid; on copulas, the distribution functions of permutons, it is given by the tropical $(\min,+)$ product $\odot$. We show that every absolutely continuous rotation-invariant probability measure $ρ$ on the plane, which we call the profile, generates a one-parameter family of copulas $C^ρ=\{C^ρ_β\}_{β\in[0,π]}$. A copula in this family is defined by a pair of projections of a $ρ$-distributed random vector onto directions at angle $π-β$. Along this family, the sticky product adds angles: $$C^ρ_{β_1}\odot C^ρ_{β_2}=C^ρ_{\min(β_1+β_2,π)}.$$ Hence every non-identity element of such a family is a sticky product of two others and has roots of every natural degree. The normalized inversion number of the copula $C^ρ_β$ equals $β/π$. For the Archimedean measure $\mathfrak{Arch}$ the family $C^{\mathfrak{Arch}}$ consists of the limit shapes of the permutations of the uniformly random sorting network, found by Angel et al. and Dauvergne. For the Gaussian measure $\mathcal{N}$ the family $C^{\mathcal{N}}$ consists of Gaussian copulas and contains $\mathit{Unif}$, the uniform measure on the square (the limit shape of the uniformly random permutation); its square root within this family is the Gaussian copula with correlation $-1/\sqrt2$. By the Herschel-Maxwell theorem the Gaussian measure is the only profile whose family contains $\mathit{Unif}$; nevertheless, $\mathit{Unif}$ has another, singular, sticky square root. A discrete analogue of the Gaussian family is the geometric sorting network generated by rotating independent Gaussian points: after rotation by $π/2$ its permutation is exactly uniform.
Logical isomorphism and logical limit laws for small permutation classes and regular languages
In this paper we show that for each small permutation class $\mathcal{F}$ there exists a regular language $L_\mathcal{F}$ such that the monadic second-order TOTO logic on $\mathcal{F}$ is isomorphic to classical monadic second-order logic on $L_\mathcal{F}$.
Thanks to the fact that regular languages are closed under monadic second-order restrictions this shows that many subsets of $\mathcal{F}$ have a well-behaved structure. In particular, this allows us to show that random permutations from any small permutation class satisfies convergence laws for both first-order logic and monadic second-order logic. In the latter case, the law is modular.
Our proofs introduce a way of using the automaton description of regular languages to prove properties of generating functions which may be of independent interest. Potential applications include first-order limit laws for random words in some regular languages.
A Hopf Algebraic Theory of the Quantum Magnusian
We develop a Hopf-algebraic theory of graph coefficients arising in the quantum Magnus expansion. At the classical level, the expansion is governed by directed trees, whereas its quantum counterpart involves loop graphs, multiple edges, and several types of edge data. We introduce a contraction Hopf algebra of mixed quivers containing these diagrams and closed under contraction.
On this algebra we define a character $e$ from normalized linear-extension data, directed-tadpole factors, and a prescription for undirected edges, and let $ω$ be its convolution inverse. Our main result is a universal closed formula for the connected function $ω_c$ on every finite mixed quiver, expressed as a finite sum over ordered set partitions of the vertices. We also construct a weighted vertex-splitting Hopf structure on the unlocalized mixed-quiver algebra, with convolution $\star_V$ and canonical edge-weight character $ζ_V$, such that $ω_c=\log_{\star_V}ζ_V$. Compatibility of the two coproducts and an explicit identity between their characters explain this equality. We further prove that the two-vertex contraction identity, tadpole factorization, vanishing on disconnected graphs, and boundary data uniquely determine $ω_c$.
For acyclic quivers, the formula reduces to a permutation formula with coefficients depending only on descent numbers. We derive this formula independently from the quantum Magnus expansion using operator products and Wick contractions, showing that the physical graph coefficients are governed by the convolution structure of the contraction Hopf algebra. Further consequences include a refined quantum Murua formula and orientation-sum identities related to Tutte and chromatic polynomials.
An infinite family of counterexamples to the Polycirculant Conjecture
We disprove the Polycirculant Conjecture, which states that every transitive 2-closed permutation group is non-elusive, i.e. contains a derangement of prime order. In fact, we prove a stronger result, answering a long-standing question of Marušič and Jordan: there exists a vertex-transitive graph admitting no semiregular automorphism. To do so, we employ recently developed methods of Chen et al. for constructing elusive groups via non-split extensions, allowing us to construct an elusive group $7^6.\mathrm{PSU}_3(3)$ of degree 16,464. We show that this group is the full automorphism group of seven of its orbital graphs and hence is 2-closed. Our example extends to infinitely many counterexamples of the Polycirculant Conjecture, and infinitely many vertex-transitive graphs admitting no semiregular automorphism.
The Closure of LCD-to-GI Reductions via Generalized Inner Products
The Permutation Equivalence Problem (PEP) for linear complementary dual (LCD) codes reduces to Graph Isomorphism (GI) through the orthogonal projector onto the code, but this requires a trivial hull. We ask whether the reduction extends when the standard inner product is replaced by a nondegenerate symmetric bilinear form \(M\). We make precise what it means for \(M\) to yield a valid reduction to GI and prove that, for length \(n \geq 3\) and every field size, this holds if and only if \(M\) is permutation-invariant. The reduction then reaches, beyond LCD codes, a class of codes with one-dimensional hull: exactly those whose hull is spanned by a vector with nonzero coordinate sum. We count these codes exactly; for odd \(q\), asymptotically the method covers a fraction \(\prod_{i \geq 2}(1+q^{-i})^{-1}\) of all codes, \(1 + q^{-1}\) times the fraction of LCD codes. A polynomial-time reduction algorithm is given.
Interpretations of the $\textbf{cd}$-index
We extend the recent work of Caster--Guyer--Samper (2026+) to establish a combinatorial interpretation of the $\textbf{cd}$-index for all $S$-partitionable posets, which includes all polytopes and $S$-shellable spheres. This interpretation is inductive on rank, but does not require passing to the order complex of the poset. We also provide topological interpretations of each $\textbf{cd}$-monomial. Furthermore, we establish a recurrence on the $\textbf{cd}$-indices of shelling components of the $d$-simplex that does not require the use of André permutations, a unimodality result for $\textbf{cd}$-words ending in $\textbf{d}$ for shelling components of the $d$-simplex and the $d$-cube, and provide two families of subdivisions of the boundary of the $d$-simplex whose sequence of $\textbf{cd}$-indices is unbounded on all but the monomial $\textbf{c}^{d+1}$ and all but the two monomials $\textbf{c}^{d+1}$ and $\textbf{d}\textbf{c}^{d-1}$.
The locally quaternion group is a countable $B$-group
A group $G$ is a $B$-group if every primitive permutation group containing a regular subgroup isomorphic to $G$ is doubly transitive. We prove that the locally quaternion group $\mathrm{Dic}(C_{2^\infty},c)$, the extension of the Prüfer $2$-group by an element squaring to its involution and inverting it, is a $B$-group. This gives an example of a countably infinite $B$-group. This answers Problem 13.30 of the Kourovka Notebook. The proof analyses the automorphism group of an orbital Cayley graph through the central involution. In the main case two half-flip automorphisms generate, with their conjugates, an elementary abelian normal subgroup whose orbits form a nontrivial block system; in the remaining case, where the pointwise stabilizers of the two cosets of the Prüfer group have order two, the conjugates of the central translation generate an elementary abelian normal subgroup, which would be regular if the automorphism group were primitive; an affine lemma for the Prüfer group excludes this. The proof does not depend on computer verification: its two finite case analyses are written out in full, and programs that re-check them are provided as ancillary files.
Erdős-Gyárfás Balanced Five-Colorings
A coloring of the edges of a complete graph with $r$ colors is balanced if the edges among any $r+1$ vertices use all $r$ colors. Erdős and Gyárfás (1999) conjectured that for all $r\ge3$ the complete graph $K_{r^2+1}$ has no balanced $r$-coloring. They proved the conjecture for $r=3$ and $r=4$. We prove the conjecture for $r=5$, the first new case settled in over two decades. There is no balanced $5$-coloring of $K_{26}$, and since $K_{25}$ has one, $K_{25}$ is the largest complete graph admitting a balanced $5$-coloring. We design a reduce--dispatch--enumerate workflow, where every machine step produces an artifact that can be independently checked. First, we use a machine-checked (Lean 4) proof to reduce the conjecture to a single extremal statement about the color class with the fewest edges: no graph on $26$ vertices has between $55$ and $65$ edges while every $6$ of its vertices span between $1$ and $11$ edges. We then search on the sparse class instead of its dense complement, which makes enumeration up to isomorphism feasible. With classical stability theorems for $K_6$-free graphs, we dispatch the five near-extremal edge counts analytically. For the exhaustive enumeration on the remaining six edge counts, we design efficient encodings with SAT modulo symmetries and parallel cube-and-conquer. We also certify all eleven edge counts: each of the $12{,}296$ subproblems carries a clausal refutation checked by the independent verifier drat-trim, and all $273{,}503{,}938$ symmetry-breaking clauses are also validated against the vertex permutations that justify them.