permutation ↗ reference
4847 papers tagged with this keyword
Intersecting families of permutations with a fixed number of cycles
Let $\mathrm{Sym(n,k)}$ denote the set of permutations on $\{1,2,\ldots,n\}$ with exactly $k$ cycles. A family $\mathcal{F}\subset\mathrm{Sym}(n,k)$ is said to be intersecting if $σ^{-1}τ$ has a fixed point for all $σ,τ\in\mathcal{F}$. In this paper, we investigate the size and structure of maximum-sized intersecting families of permutations in $\mathrm{Sym}(n,k)$. In the regime $k\leq n^{0.25}$, we show that every maximum-sized intersecting family is a star, meaning it consists of all permutations in $\mathrm{Sym}(n,k)$ that agree at a given point in $[n]$. We establish this result by proving a stronger stability result that bounds the maximum possible size of a non-centred intersecting family. Specifically, in the regime $k\leq n^{0.25}$, the size of any non-centred intersecting family is at most $\left(2/3+o(1)\right)$ times the maximum possible size of a star. In the tighter polylogarithmic regime $k\leq (\ln n)^{d}$, we improve this bound to $\left(1-1/e+o(1)\right)$ times the maximum possible size of a star; we show that this bound is asymptotically sharp. Thus, we establish both an Erdős--Ko--Rado theorem and its corresponding stability version for $\mathrm{Sym}(n,k)$.
Wilf Equivalence for Length-Three Patterns and Flat POPs, and a Conjecture of Qiu and Remmel
It is well known that, for each classical pattern $τ$ of length 3, the number of $τ$-avoiding permutations of length $n$ is the $n$th Catalan number, and numerous bijections between different length-three avoidance classes have been constructed and studied. In this paper, we refine this classical problem by studying Wilf equivalence among permutations that simultaneously avoid a classical pattern of length three and a flat partially ordered pattern.
Partially ordered patterns (POPs) provide a flexible framework for encoding families of classical permutation patterns. For $\ell\geq 3$ and $1\leq x\leq\ell$, let $P_{\ell,x}$ be the length-$\ell$ POP in which the entry at position $x$ is required to be smaller than all the other entries, while no relations are imposed among the remaining entries. Such POPs are called flat POPs. We classify the Wilf equivalences among all pairs $(τ,P_{\ell,x})$, where $τ$ is a classical pattern of length three. For every $\ell\geq4$, the resulting $6\ell$ pairs form exactly $2\ell-1$ Wilf equivalence classes, while the exceptional case $\ell=3$ gives four classes. Our proofs combine the derivation of explicit formulas and recurrence relations with the construction of bijections. Moreover, we introduce novel prime-divisor arguments to distinguish the remaining candidate classes, reducing the problem to showing that a certain Diophantine equation has no solutions for $\ell\ge 3{,}274$, where the bound $3{,}274$ is not claimed to be sharp. Finally, by extending our work on POPs, we resolve a conjecture of Qiu and Remmel concerning the distribution of quadrant marked mesh patterns on 132-avoiding permutations and correct an error in their paper that is crucial to the proof.
Characterization of Weak EKR Groups and Intersection Densities with Prescribed Point Stabilizers
A finite group has the weak Erdos-Ko-Rado property if all of its transitive permutation actions have the EKR property. We characterize this property in terms of normal subgroups and chief factors. More precisely, we introduce a local intersection density and establish a normal-extension criterion which reduces the weak EKR property to difference-set conditions on the elementary abelian chief factors and the linear groups induced on them. For chief factors of rank one the condition is automatically satisfied, and for chief factors of rank two, this condition is equivalent to the induced linear group being intransitive on the one-dimensional subspaces.
In the second part of the paper, we solve an open problem by determining the possible intersection densities of transitive permutation groups with a prescribed point stabilizer. We prove that, for every finite group $H$ of order $m\geq 4$ and every integer $n\geq m$, there exists a faithful transitive permutation group with point stabilizer isomorphic to $H$ and intersection density $n/m$.
Online Permutation Embedding: Optimal Stopping and Scaling Laws
We study optimal online algorithms for embedding a permutation $π$ of $[k]$ into an iid stream of uniform $[0,1]$ random variables. This problem is a broad generalization of the classical online monotone subsequence selection problem, recovered in the special case $π=\mathrm{Id}_k$. Our first contribution is an efficiently solvable dynamic program for the optimal embedding time of any $k$-permutation $π$. This dynamic program also yields an explicit optimal online embedding algorithm. We then investigate the asymptotic scaling of the optimal embedding time for uniformly random target permutations, as well as the extremal problem of identifying the permutations with largest expected online embedding time. Our second main result shows that, to first order, random permutations are strictly faster to embed than monotone permutations, which in turn are strictly faster to embed than the extremal permutations. This separation stands in sharp contrast to prevailing conjectures and heuristics in the offline theory of permutation embeddings.
An asymptotic solution to the Erdős four-edge intersection problem
For an $n$-vertex graph $G$ and a permutation $σ$ of its vertex set, let $σ(G)$ denote the corresponding relabelling of $G$, and put $I_G(σ)=|E(G)\cap E(σ(G))|$. Let $f(n,k)$ be the minimum number of edges in an $n$-vertex graph for which $I_G(σ)\geq k$ for every $σ$. In his 1977 formulation of the problem, Erdős discussed the small values of $k$ and left the cases $k=4$ and $k=5$ as the next natural open questions. For $k=4$ he asked whether $f(n,4)=2n-4$, with the upper bound witnessed by $K_{2,n-2}$; the neighbouring $k=5$ question was recently settled exactly by Fang and Hou. We prove that every graph $G$ of order $n$ and size at most $2n-10n^{2/3}-7$ has a relabelling with at most three common edges. Consequently, \[
2n-10n^{2/3}-7<f(n,4)\leq 2n-4, \] and hence \[
f(n,4)=2n-o(n). \] Thus we resolve Erdős's four-edge intersection problem asymptotically, confirming his proposed value up to a sublinear error term. For comparison, for all sufficiently large $n$, Fang and Hou's result guarantees at most four common edges for graphs with at most $2n-3$ edges, whereas reducing the edge bound by only $10n^{2/3}+4=o(n)$ already allows us to guarantee at most three common edges.
On two conjectures concerning special kinds of descents on permutations
In this paper, we prove the continued fraction conjecture posed by Han, Mao and Zeng for the generating function of permutations with respect to the number of descents of type $2$ and the number of cycles, thereby settling their reformulation of a conjecture originally due to Baril and Kirgizov. We further establish the symmetry of the bistatistic $(\des_2, \ear)$ over $\mathfrak{S}_n$ as conjectured by Han, Mao and Zeng and strengthen this result by exhibiting five equidistributed companions for $(\des_2, \ear)$. Here the statistic $\des_2$ denotes the number of descents of type $2$, and the statistic $\ear$ denotes the number of exclusive antirecord cycle peaks originally introduced by Sokal and Zeng.
Dual Weight and Monodromy of Dual Affine RS Correspondence
The dual affine Robinson--Schensted correspondence and the affine matrix-ball construction give two related parametrizations of extended affine permutations. From the stable-window data of the dual correspondence, we introduce a dual weight \(β\) and prove that it is consistent with the original pair \((λ,N_0)\). We prove that \(β\) and the AMBC weight \(ρ\) have identical monodromy along affine Knuth paths. We further give an explicit relation between \(β\) and \(ρ\), showing that their difference depends only on the associated tabloids.
Lascoux series, parking functions and noncrossing partitions
In the study of the generating series of Demazure characters, Lascoux used isobaric divided differences to define a family of polynomials $\mathcal{E}_σ(t)$ indexed by permutations $σ$, and asked for a satisfactory expression of these polynomials. In this paper we obtain a combinatorial interpretation of $\mathcal{E}_σ(t)$ for the permutation $σ=[2,3,\ldots,n,1]$ or its inverse in terms of the descent statistic of parking functions of length $n-1$. Based on this progress on Lascoux's open problem, we find that the polynomial $\mathcal{E}_σ(t)$ for this special case coincides with the $h$-polynomial $h(Δ(\mathrm{NC}_W),t)$ of the order complex of the noncrossing partition lattice associated to the irreducible Coxeter group $W$ of type $A_{n-1}$. We are inspired by this coincidence to give an operator approach to $h(Δ(\mathrm{NC}_W),t)$ for any finite Coxeter group $W$. As an application, we completely solve an open problem on $h(Δ(\mathrm{NC}_W),t)$ which was proposed by Athanasiadis, Douvropoulos and Kalampogia-Evangelinou. For any $k$-divisible noncrossing partition poset $\mathrm{NC}^{(k)}_W$, we also obtain the interlacing symmetric decomposition property of the $h$-polynomial $h(Δ(\mathrm{NC}^{(k)}_W),t)$.
Hamiltonian paths in the permutation digraphs $P(n,n-2)$
For $1\leq k<n$, let $P(n,k)$ be the directed overlap graph whose vertices are the $k$-permutations of $[n]$ and whose arcs are the $(k+1)$-permutations. Isaak proved that $P(n,n-2)$ has no directed Hamiltonian cycle for $n\geq4$ and asked whether it nevertheless has a directed Hamiltonian path. We answer this question affirmatively by showing that $P(n,n-2)$ has a Hamiltonian path.
On the Laplacian spectral gap of generalized pancake graphs
The generalized pancake graph $P(m,n)$ is the Cayley graph of the group of colored permutations $\mathbb{Z}_m\wr S_n=(\mathbb{Z}_m)^n\rtimes S_n$ generated by generalized prefix reversals. In this paper, we establish that, for all $m,n\geq2$, the spectral gap $γ(P(m,n))$ of the normalized Laplacian satisfies $α_m/n\leqγ(P(m,n))\leq1/n$, where $α_m$ is a positive constant that depends only on $m$. As a consequence, for every fixed $m\geq2$, $γ(P(m,n))$ is $Θ_m(1/n)$ as $n\to\infty$. The proof combines Cesi's semi-recursive spectral-gap inequality with a Fourier decomposition of the appropriate operators associated with a coset Schreier graph of color-position pairs. For fixed $n\geq2$, we also establish that $γ(P(m,n))$ is $Θ_n(m^{-2})$ as $m\to\infty$. This disproves a conjecture of Blanco and Buehrle asserting that, for fixed $n$, the corresponding undirected generalized pancake graphs form an expander family.
Cyclic permutations of large subsets with polynomial values in multiplicative subgroups of finite fields
Let $f(t)\in\mathbb{Z}[t]$ be a nonconstant polynomial with nonzero discriminant and let $k\ge2$ be an integer. For every
sufficiently large prime $p\equiv1\pmod{k}$, by applying mixed exponential sums over finite fields, discrete Fourier analysis and the spectral graph theory, we establish a threshold $c(p,k,f)$ such that any subset $A\subseteq\mathbb F_p$ with $\#A\ge c(p,k,f)$ admits a permutation $a_1, a_2,\cdots, a_{\#A}$ of $A$ satisfying $f(a_i+a_{i+1})\in\{x^k: x\in\mathbb{F}_p^*\}$ for any $1\le i \le \#A$, where $a_{\#A+1}=a_1$. Also, we give lower and upper bounds for the least possible threshold.
The Erdos-Mullin Five-Edge Intersection Problem
For an $n$-vertex graph $G$ and a permutation $π$ of its vertex set, let $I_G(π)=|E(G)\cap E(πG)|$, and let $μ(G)=\min_π I_G(π)$. Let $f(n,k)$ be the minimum number of edges in an $n$-vertex graph $G$ satisfying $μ(G)\ge k$. Erdős recorded a construction of Mullin showing $f(n,5)\le 2n-2$ and asked whether equality holds for sufficiently large $n$. We prove that it does: $f(n,5)=2n-2$ for all sufficiently large $n$. Equivalently, every sufficiently large $n$-vertex graph with at most $2n-3$ edges admits a relabelling with at most four common edges. The proof combines a quantitative exclusion of almost-universal vertices, a finite high-degree core with low-degree buffer vertices, list packing, and a sparse permutation version of the Lovász local lemma.
Cyclic Shuffle Groups: Universal Two-Transitivity and Complete Classification
Let \(k\geq 3\), \(n\geq 1\), and let \(H_{k,n}=\Sh(C_k,n)\) be the group generated by the standard \(k\) pile perfect shuffle and cyclic pile permutation on a deck of \(kn\) cards. We prove that \(H_{k,n}\) is \(2\)-transitive whenever \(n\) is not a power of \(k\). Residual commutators give translations supported on two pile labels, and a strongly connected digit digraph propagates these translations throughout the deck, a separate argument resolves the antipodal support case. We then combine this result with fixed point ratio bounds for primitive groups and explicit boundary calculations to determine \(H_{k,n}\) for all \(k\) and \(n\). If \(n=k^f\), then \(H_{k,n}\cong C_k\wr C_{f+1}\). If \(k=4\) and \(n=2\cdot4^j\), then \(H_{4,n}\cong\AGL(2j+3,2)\). In every other case, \(H_{k,n}\) is \(\Alt(kn)\) or \(\Sym(kn)\), according to the parity of its generators. This proves Conjecture~1.10 of Amarra, Morgan and Praeger and Conjecture~5.1 of Xia, Zhang, Zhang and Zhu. More generally, we classify \(\Sh(P,n)\) for every pile group \(P\) containing \(C_k\), and obtain the odd \(k\) part of their Conjecture~5.2.
Density bounds for permutations avoiding monotone arithmetic progressions
For $X\in\{\mathbb{N},\mathbb{Z}\}$, let $α_X(\ell)$ and $β_X(\ell)$ denote the supremal upper and lower densities of subsets of $X$ admitting $ω$-permutations without monotone $\ell$-term arithmetic progressions. We strengthen the published lower bounds for the three-term upper-density parameters by proving \[
α_{\mathbb{N}}(3)\geq\frac23,\qquad
α_{\mathbb{Z}}(3)\geq\frac23. \] We also prove $β_{\mathbb{Z}}(4)=1$ by constructing four-permutable subsets of the integers whose lower symmetric densities approach one.
Bijective proofs of several conjectures on Jacobi permutations
Jacobi permutations, invented by Viennot in the context of the Jacobi elliptic functions, are counted by the Euler numbers. Recently, Henke, Hoffman, Stephens, Yuan, and Zhuang studied refined enumerations of Jacobi permutations and proposed three conjectures concerning the distribution of several statistics on Jacobi permutations. In this paper, we prove these conjectures by establishing explicit bijections involving increasing even trees, increasing binary trees, alternating permutations, and André permutations. One highlight of our results is a bijection between Jacobi permutations and André I permutations that transforms the pair of statistics $(\Ascbot, \last)$ to the pair of statistics $(\Desbot, \first)$. Here the statistic $\Ascbot$ (resp., $\Desbot$) denotes the set of ascent bottoms (resp., descent bottoms) of permutations, and the statistic $\first$ (resp., $\last$) denotes the first (resp., $\last$) letter of permutations. Furthermore, we investigate pairs of statistics on André permutations and simsun permutations that are equidistributed with the pair $(\asc, \last)$ on Jacobi permutations, where $\asc$ denotes the number of ascents of permutations. Finally, we obtain a closed-form formula for the trivariate exponential generating function of Jacobi permutations with respect to the number of ascents and the numbers of letters smaller and larger than the last letter.
$m$-Bell and $m$-Stirling numbers: Iterated binomial transforms, hyper-Bessel functions, and moments of the Conway--Maxwell--Poisson distribution
We introduce a natural generalization of the Bell numbers: the $m$-Bell numbers $B^{(m)}_{n}$, characterized by the property that $m$ applications of the binomial transform reproduce the original sequence shifted $m$ places to the left. Their exponential generating functions satisfy $m$-th order ordinary differential equations whose solutions are hypergeometric (hyper-Bessel) functions, specializing to the exponential function when $m=1$ (classical Bell numbers) and to modified Bessel functions when $m=2$ (yielding "Bessel-Bell" numbers). Mirroring the Bell-Stirling correspondence, we construct $m$-Stirling triangular arrays from the two-term recurrence $S_m (n+1,k) = m \left\lfloor k/m \right\rfloor S_m(n,k)+S_m(n,k-1)$ and prove an elementary shift identity from which the central structure theorem follows: the row sums of the $m$-Stirling triangle reproduce $B^{(m)}_{n}$, and, more finely, the residue-class row sums are precisely the $m$ primitive $m$-Bell sequences. The $m$-Stirling numbers come in dual pairs (with first-kind partners, generalized falling factorials, and Lah-type companions), serve as conversion operators between polynomial bases, admit Dobiński-like formulas, and count congruence-constrained partitions in an urn model as well as restricted permutation insertion histories. Finally, we show that the $m$-Bell numbers govern the moments of the Conway-Maxwell-Poisson distribution with integer dispersion parameter $ν=m$: the scaled moments are combinations of fixed hyper-Bessel carrier ratios whose integer coefficients are precisely the primitive $m$-Bell sequences, recovering for $m=1$ the classical fact that the moments of the Poisson distribution are the Bell numbers.
Bijections between pattern-avoiding derangements and desarrangements
Derangements are permutations without fixed points, and are in bijection with desarrangements: permutations whose first non-descent is even, or equivalently, permutations without ``pixed points''. Bsila, Cox, Hugo, Styron, and Zhuang recently proved a theorem characterizing all $Π\subseteq\mathfrak{S}_{3}$, such that $1\leq\left|Π\right|\leq3$, for which the number of derangements avoiding all patterns in $Π$ is equal to the number of desarrangements avoiding all patterns in $Π$. They left finding a bijective proof of this theorem as an open problem, and posed a related conjecture concerning the distributions of fixed points and pixed points over pattern avoidance classes. In this paper, we give bijective proofs of this theorem and conjecture.
$q$-Difference Equations for two classes of Pattern Avoiding Permutations
We study the nested permutation classes $Av(4123,4231,4312)\subset Av(4123,4312)$. We relate the corresponding generating functions $D^{(2)}(z)$, $D^{(3)}(z)$ to $q$-difference equations. Solving these equations allows to show that the generation functions are not D-finite, and that $[z^n]D^{(3)}(z)\sim 0.0189672325071988\ldots\, (4.46840899160393\ldots)^n$, $[z^n]D^{(2)}(z)\sim0.0849833632890843\ldots\, (3+2\sqrt2)^n n^{-3/2}$.
Decreasing Runs in Quasi-Stirling Permutations of Multisets
As a natural extension of Stirling permutations, quasi-Stirling permutations are multipermutations $π$ with the property that for any subsequence $π_{j_1}π_{j_2}π_{j_3}π_{j_4}$ satisfying $π_{j_1}=π_{j_3}$ and $π_{j_2}=π_{j_4}$, we have $π_{j_1}=π_{j_2}$. Using a bijective construction, Yan, Yang, Huang and Zhu showed that the joint distribution of ascents, descents and plateaux over quasi-Stirling permutations of a multiset $M=\{1^{k_1},2^{k_2},\ldots,n^{k_n}\}$ coincides with that over the multiset $M'=\{1^{k_1+\cdots+k_n-n+1},2,\ldots,n\}$. In this paper, we prove that the same invariance of distribution holds for decreasing runs, and consequently for all decreasing consecutive patterns. To this end, following the Yan-Yang-Huang-Zhu approach, we construct a multiplicity-redistribution bijection that preserves decreasing runs, thereby reducing the computation of joint distribution of decreasing consecutive patterns over quasi-Stirling permutations from $M$ to $M'$. Together with the classical run theorem, our bijection leads to explicit recurrence relations and generating functions for the distribution functions of these statistics over quasi-Stirling permutations.
A proof of a conjecture on permutation polynomials
In this paper, we use finite fields and linear algebra methods to resolve a conjecture by T. Zhang, L. Zheng, H. Wang, J. Peng and Y. Li (Finite Fields Appl. 110 (2026) 102743) concerning permutation pentanomials.