permutation ↗ reference
4981 papers tagged with this keyword
Even-Intersecting Families of Permutations
A family of permutations in $S_n$ is called even-intersecting if every two distinct members agree in an even number of positions. Let $M(n)$ denote the maximum size of such a family. For even $n$, we prove that
$$n!!\leq M(n)\leq e^{\frac{n}{2}+o(n)}n!!,$$
improving the bound obtained from a theorem of Cameron, Deza and Frankl (1987) by an exponential factor.
This problem may be viewed as a permutation analogue of the classical Eventown problem for set systems. For odd $n$, we give a construction yielding $M(n)\geq n^2/4$. We further extend this construction to obtain
$$ M(n)\geq\bigl(n-\sqrt{n-1}\bigr)^2 ,$$
whenever $n=(q+1)^2+1$ and $q$ is an odd prime power. The latter bound asymptotically matches the upper bound $M(n)\leq(n-1)^2+1$ obtained by Cameron, Deza and Frankl.
A complete classification of permutation binomials of the form $X^r(X^{q-1}+a)$ over finite fields
We classify, for every prime power $q$ and every $e\geqslant2$, the permutation binomials $X^r(X^{q-1}+a)$ over $\mathbb F_{q^e}$. Writing $\ell_j(q)=(q^j-1)/(q-1)$, such a binomial is a permutation if and only if $\gcd(r,q-1)=1$, $(-a)^{\ell_e(q)}\ne1$, and $r\ell_h(q)\equiv1\pmod{\ell_e(q)}$ for some $1\leqslant h<e$ coprime to $e$. This proves a conjecture of Masuda, Rubio, and Santiago: every permutation binomial of this form arises from $(X^{q^h}+aX)\circ X^r$ for a suitable $h$. We also determine the exact number of distinct permutation functions represented by this family. As a further consequence, we completely classify the broader family $X^r(X^{d(q-1)}+a)$ in the coprime-index case $\gcd(d,\ell_e(q))=1$. The new ingredient in the main classification is the necessity argument: selected Hermite power sums are organized so that Lucas' theorem turns their coefficients into digit conditions; a Farey-guided local argument then forces successive base-$q$ digits, and cyclic rotations yield the inverse congruence. In characteristic $2$, a mod-$4$ lift to an auxiliary ring retains endpoint information lost modulo $2$.
Ordered matchings versus triangles via pseudorandom triangle-free graphs
For ordered graphs $H_1,\ldots,H_t$, let $\rt(H_1,\ldots,H_t)$ denote the least integer $N$ such that every $t$-coloring of the edges of the naturally ordered complete graph on $[N]$ contains an ordered copy of $H_i$ in color $i$ for some $i\in[t]$. We prove that a uniformly random ordered matching $M$ on $n$ vertices with interval chromatic number two asymptotically almost surely satisfies \[
\rt(K_3,M)
=Ω\left(\frac{n^{4/3}}{(\log n)^{1/3}}\right). \] This strengthens the lower bound $Ω((n/\log n)^{5/4})$ of Balko and Poljak for such random matchings and improves the general existential lower bound of Conlon, Fox, Lee and Sudakov by a factor of $\log n$. The proof combines pseudorandom triangle-free graphs, a coarse encoding of order-preserving embeddings, and a permutation avoidance estimate derived from Brègman's inequality.
Sharp stability for cross $t$-intersecting families of permutations in the linear range
Two families $\mathcal{F},\mathcal{G}\subseteq S_n$ are cross $t$-intersecting if every $σ\in\mathcal{F}$ and $τ\in\mathcal{G}$ agree on at least $t$ points. A $t$-coset is a coset of the stabilizer of $t$ points. A subset of $S_n$ is non-trivial if it is not contained in any $t$-coset. Let $d_m$ denote the $m$-th derangement number. We prove that, for all $t\geq1$ and $n\geq400t$, every pair of cross $t$-intersecting families $\mathcal{F},\mathcal{G}\subseteq S_n$ satisfies the following:
(i) $|\mathcal{F}||\mathcal{G}|\leq((n-t)!-d_{n-t}-d_{n-t-1})((n-t)!+t)$ if $\mathcal{F}\cup\mathcal{G}$ is non-trivial.
(ii) $|\mathcal{F}||\mathcal{G}|\leq((n-t)!-d_{n-t}-d_{n-t-1}+t)^2$ if both $\mathcal{F}$ and $\mathcal{G}$ are non-trivial.
(iii) $\min\{|\mathcal{F}\setminus\mathcal{C}|,|\mathcal{G}\setminus\mathcal{C}|\}\leq t((n-t-1)!-(n-t-2)!)$ for some $t$-coset $\mathcal{C}$ if $t\geq2$.
We also characterize all extremal configurations. The first result extends a theorem of Ellis (2011) to an exponentially wider range and sharpens the stability theorem of Keller, Lifshitz, Minzer and Sheinfeld (2024); the second gives a product version of the classical Hilton--Milner--Frankl theorem for permutations; and the third settles the remaining cases $t\geq2$ of a conjecture of Ellis (2011) in a stronger form. In all three results, the linear dependence on $t$ is essentially optimal. Our proofs are based on the spread approximation method introduced by Kupavskii and Zakharov and on an approach to cross $t$-intersection problems developed by the present authors, with several essential refinements. As an application of our approach, we prove a product version of the Hilton--Milner--Frankl theorem for the alternating group.
Relating Different Definitions of Linear Series on Tropical Curves
We investigate relationships among several recent notions of linear series on tropical curves, including tropical linear series, strongly recursive tropical linear series of Farkas, Jensen, and Payne, and combinatorial limit linear series of Amini and Gierczak. We introduce structured and locally weakly recursive tropical linear series, showing that every locally weakly recursive tropical linear series is a combinatorial limit linear series. Consequently, every strongly recursive tropical linear series is a combinatorial limit linear series. We also obtain an equivalent characterization of combinatorial limit linear series. We establish additional extensions of these results and construct counterexamples showing that the converse implications fail for strongly recursive tropical linear series. Finally, we investigate the extent to which permutation arrays can arise as local combinatorial data of tropical linear series.
Balanced Gray Codes for Permutations and Rainbow Cycles for Associahedra
We settle the problem of constructing a balanced transposition Gray code for permutations of $[n] := \{1, \dots, n\}$ with $n \in \mathbb{N}\setminus\{0\}$. More generally, we obtain a~$2(m-2)!$-rainbow cycle for the permutations of $[n]$ for $m \in [n]$, a notion recently introduced by Felsner, Kleist, Mütze, and Sering. Furthermore, we extend a result of theirs by presenting a $k$-rainbow cycle for the classical associahedron $\mathcal{A}_{n}$ for $k \in [2n + 2]$.
For even $n$, we also construct a balanced Gray code for permutations of $[n]$, using only cyclically adjacent transpositions, complementing the construction for odd $n$ by Gregor, Merino, and Mütze.
Additionally, we show that the Permutahedron $P_{n}$ admits a $2$-rainbow cycle for all $n\ge5$ and a $3$-rainbow cycle for odd $n\ge3$.
Bounds on skew dimensions and characters of symmetric groups via thick hook decompositions
We introduce a new decomposition of Young diagrams into thick hooks. These thick hook decompositions enable having a better control over hook products for excited diagrams in the Naruse hook length formula, which leads to improved bounds on the number of standard tableaux of skew shapes. Combining this with elementary counting arguments in the Murnaghan--Nakayama rule, we establish a uniform bound on characters of symmetric groups $\mathfrak{S}_n$. In the case of balanced representations, this improves on the character bounds of Féray and Śniady for permutations with support size at least $n^{2/3}$, and is sharp for permutations with support size of order $n$. Finally, we recover some bounds of Pak and Panova on Kronecker coefficients with very short proofs that rely on characters.
Classification and enumeration of skew morphisms of skew-type four on cyclic $2$-groups
A skew morphism on a finite group $A$ is a permutation $φ$ on $A$ that fixes the identity element of $A$ and for which there exists an integer-valued function $π:A\to\mathbb{Z}_{|φ|}$ such that $φ(xy)=φ(x)φ^{π(x)}(y)$ for all $x,y\in A$. The kernel of $φ$ is the subgroup $\Kerφ=\{x\in A\mid π(x)=1\}$, and the index $[A:\Kerφ]$ is called the skew-type of $φ$. In this paper we construct, classify and enumerate the skew morphisms of skew-type four on cyclic $2$-groups. Our main results give explicit formulas for all such skew morphisms and closed-form expressions for their numbers.
Cluster deletion in cographs, permutation graphs, and graphs with bounded clique number
The Cluster Deletion problem asks for a minimum-size edge set whose deletion turns a graph into a disjoint union of complete graphs. Equivalently, the Clique Partition problem asks for a partition of the vertex set into cliques that maximizes the number of edges within the parts. We give a simpler proof of a result of Gao, Hare, and Nastos (Discete Mathematics, 2013), that Cluster Deletion is polynomial-time solvable on cographs. In addition, we show that the natural linear programming formulation of Clique Partition is exact on cographs.
We then show that Cluster Deletion is NP-complete on permutation graphs, which are a superclass of cographs. This answers an open question of Konstantinidis and Papadopoulos (Algorithmica, 2021). We also exhibit a permutation graph on nine vertices for which the linear programming formulation is not exact.
Finally, for graphs with clique number at most $c$, we give a polynomial-time $2\binom{c}{2}/(\binom{c}{2}+1)$-approximation algorithm for Clique Partition. More generally, the algorithm runs in polynomial time on every graph class for which a maximum clique can be found in polynomial time. For each fixed $c\geq 3$, we also construct infinitely many examples attaining the stated approximation ratio. The same examples show that, for Cluster Deletion , the algorithm is a $2$-approximation and no better, for every fixed $c \geq 3$.
Optimal complete-feedback card guessing under nonincreasing valley weights: A proof of the Diaconis-Fulman-Holmes shelf-shuffling conjecture
Let a random permutation $W\in S_n$ represent the order of $n$ distinct cards. After each guess, the player learns the actual card, and the objective is to maximize the expected total number of correct guesses. Diaconis, Fulman, and Holmes conjectured that, after a single uniform, unbiased shelf shuffle, the direction-tracking strategy is optimal: first guess the smallest card, and thereafter choose the nearest remaining card in the direction of the most recent rise or fall. We prove a more general theorem: if \[ \mathbb P(W=w)=\frac{f(v(w))}{\sum_{σ\in S_n}f(v(σ))}, \] where $v(w)$ is the number of interior valleys of the permutation, $f$ is nonnegative and nonincreasing, and the denominator is positive, then direction tracking maximizes the conditional probability of correctly guessing the next card after every history of positive probability. It therefore maximizes the expected total number of correct guesses among all complete-feedback strategies. Here an interior valley is a position $2\le i\le n-1$ satisfying $w_{i-1}>w_i<w_{i+1}$. Combined with the known shelf-shuffling probability formula, this theorem proves the conjecture for every deck size and number of shelves. The key to the proof is a swap of adjacent remaining values that preserves the revealed prefix: starting from the preferred candidate, the swap leaves the valley count unchanged or increases it by one, thereby turning monotonicity of the weights into a conditional probability ordering after every history.
Extremal expectations in card guessing with partial feedback: proofs of two conjectures of Diaconis-Graham-Spiro
We study the minimum and maximum expected scores over all adaptive strategies in sequential card guessing with yes/no feedback. A deck contains $n$ labels, each appearing $m$ times, and is shuffled uniformly. The cards are guessed one at a time, and after each guess the player is told only whether it was correct. Always guessing the same label gives exactly $m$ points. How far can the expected score depart from $m$ if all previous feedback is used either to seek or to avoid correct guesses? Diaconis, Graham, and Spiro conjectured that the minimum expectation is $m-o(m)$ as $m\to\infty$ with $n$ sufficiently large in terms of $m$, and that, for each fixed $m$, the limit superior of the maximum expectation as $n\to\infty$ is at most $(e-1)m$. Writing these extrema as $P^-_{m,n}$ and $P^+_{m,n}$, we prove \[
0\le m-P^-_{m,n}\le3m^{3/4}
\qquad(n\ge m\ge1), \] and the finite-parameter bound \[
\frac{P^+_{m,n}}m\le\sum_{k=1}^{n}\frac1{k!}<e-1 \] for all positive integers $m,n$. The first bound gives a first-order asymptotic uniform in $n\ge m$; the universal constant $e-1$ in the second cannot be reduced. Thus both conjectures follow. The lower bound combines a switching comparison for restricted permutations with martingale second-moment estimates. For the upper bound, we represent the repeated cards as a random interleaving of independent decks of distinct cards and prove that the optimal expectation is additive when the component-deck labels are revealed.
On symmetric partition lattices and probability interactions
The Möbius function of a partition lattice can be used to define interactions of probability measures. We call a lower set a symmetric partition lattice when it is invariant under permutations of the variables. We characterize these lattices through integer partitions and obtain a recursion for their Möbius coefficients at the top element. By constructing probability measures whose partition products are linearly independent, we show that permutation invariance of an interaction is equivalent to that of its underlying lower set, provided the coordinate spaces are sufficiently large. We also characterize the partitions on a lower set that force an interaction to vanish for every probability measure, and construct indecomposable distributions with zero interaction. We define the order of a symmetric partition lattice and relate it to vanishing marginals. We study generalized Lancaster and define the Streitberg and size-limited partition lattices, obtaining explicit Möbius coefficients for them. Finally, we express interaction equations in terms of characteristic functions. For Gaussian distributions, we show that an interaction vanishes exactly when the distribution factorizes according to a nontrivial partition in the underlying lower set. We also give a nonvanishing criterion for radial characteristic functions generated by Bernstein functions.
Multivariate stability of powered triangular recurrences and parametrised Eulerian polynomials
We prove multivariate stability for a class of affine triangular recurrences whose two coefficients are raised to an arbitrary positive integer power. The variables keep track of cross-step heights in a weighted lattice-path model. The applications include stability and real rootedness of parametrised Eulerian, Stirling, and Lah families. For the parametrised Eulerian polynomials, we obtain multivariate refinements of known real-rootedness results and prove simplicity and strict interlacing of consecutive rows. A kernel-preserving bijection with increasing binary trees yields a synchronised Foata--Strehl action on pairs and a combinatorial interpretation of their gamma coefficients along with a recurrence. The same bijection identifies refinement posets that admit symmetric Boolean and chain decompositions for parameter one and cover-supported $\mathfrak{sl}_2$ operators prove their PECKness. We extend the stability and strict interlacing results to synchronised Stirling permutations and prove PECKness for ordinary Stirling permutations with a fixed number of plateaux.
Type C transpositions and strong marked tableaux
Motivated by the Morse--Seelinger conjecture on type C $k$-Schur functions, we develop a permutation model for type C strong marked tableaux. Using type C transpositions, we give an explicit correspondence with the symmetric-core model that preserves the marking data. We also describe the induced affine Weyl group action on bounded partitions.
Log-concavity and log-convexity via distributive lattices
Published
• View Publication
• BIB
We prove a lemma, which we call the Order Ideal Lemma, that can be used to demonstrate a wide array of log-concavity and log-convexity results in a combinatorial manner using order ideals in distributive lattices. We use the Order Ideal Lemma to prove log-concavity and log-convexity of various sequences involving lattice paths (Catalan, Motzkin and large Schröder numbers), intervals in Young's lattice, order polynomials, specializations of Schur and Schur Q-functions, Lucas sequences, descent and peak polynomials of permutations, pattern avoidance, set partitions, and noncrossing partitions. We end with a section with conjectures and outlining future directions.
Newton polytopes of fireworks Grothendieck polynomials
We show that the support of the Grothendieck polynomial $\mathfrak G_w$ of any fireworks permutation is as large as possible: a monomial appears in $\mathfrak G_w$ if and only if it divides $\mathbf x^{\mathrm{wt}(\overline{D(w)})}$ and is divisible by some monomial appearing in the Schubert polynomial $\mathfrak S_w$. Our formula implies that the homogenization of $\mathfrak G_w$ has M-convex support. We also show that for any fireworks permutation $w\in S_n$, there exists a layered permutation $π(w)\in S_n$ so that $\mathrm{supp}(\mathfrak G_{π(w)})\supseteq \mathrm{supp}(\mathfrak G_w)$.
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.
On properties of the conformal circulant matrices
In this paper, we introduce and study conformal permutation matrices. In particular, for a permutation $π_s\in S_n$, we define the corresponding conformal permutation matrix $H_{π_s}$ and show that its $d-$th power, where $d=n/\gcd(s,n)$, is a diagonal block matrix whose blocks are products of certain matrix blocks $h_i$. We further show that these diagonal blocks share a common subset of eigenvalues and prove that $H_{π_s}$ is block-diagonalizable. We also introduce the notion of conformal circulant matrix and investigate its eigenvalues. Finally, we establish a necessary and sufficient condition for a rectangular matrix to be conformal circulant.
The (p,q)-Analogues of Bi-Stirling Eulerian Polynomials via continued fractions
We establish Jacobi-type continued fraction expansions for (p,q)-analogues of the bi-Stirling Eulerian polynomials, which refine classical Eulerian statistics on permutations. These polynomials admit equivalent definitions in terms of descents or excedances. The parameters p and q encode refined permutation statistics, including (ldes,rasc) and (cros,nest). Our approach is based on weighted Motzkin path models arising from variants of the bijections of Françon--Viennot and Foata--Zeilberger. As applications, we obtain new results on total positivity and gamma-positivity for several families of enumerative polynomials. Our results unify and extend a number of recent works in the literature.
Canon Permutation Posets
A permutation of the multiset $\{1^m,2^m,\dots,n^m\}$ is a canon permutation if the subsequence formed by the $j$th copy of each element of $[n]:=\{1,2,\dots,n\}$ is identical for all $j\in[m]$. Canon permutations were introduced by Elizalde and are motivated by pattern-avoiding concepts such as (quasi-)Stirling permutations. He proved that the descent polynomial of canon permutations exhibits a surprising product structure; as a further consequence, it is palindromic. Our goal is to understand canon permutations from the viewpoint of Stanley's $(P,ω)$-partitions, along the way generalizing Elizalde's definition and results. We start with a labeled poset $P$ and extend it in a natural way to canon labelings of the product poset $P \times [n]$. The resulting descent polynomial has a product structure which arises naturally from the theory of $(P,ω)$-partitions and simplifies existing proofs. When $P$ is graded, this theory also implies palindromicity. We include results on weak descent polynomials, an amphibian construction between canon permutations and multiset permutations, giving rise to dissonant canon permutations, as well as $γ$-positivity and interpretations of descent polynomials of canon permutations.