permutation ↗ reference
4847 papers tagged with this keyword
Diagrammatic Okada monoid and cellularity of the Okada algebra
It is well known that the Young lattice is the Bratelli diagram of the symmetric groups, expressing how irreducible representations restrict from $\mathfrak{S}_{N}$ to $\mathfrak{S}_{N-1}$. In 1975, Stanley discovered a similar lattice called the Young-Fibonacci lattice which was identified as the Bratelli diagram of a family of algebras $\{\mathbf{O}_N(X,Y)\}_{N \geq 0}$ by Okada in 1994.
In this paper, we first realize the Okada algebra $\mathbf{O}_N(X,Y)$ and the associated monoid $\mathbf{O}_N$ using a labelled version of non-crossing arc-diagrams appearing in the description of the Temperley-Lieb algebra and Jones monoid. We establish, for general parameters $(X,Y)$, that the dimension of the Okada algebra $\mathbf{O}_N(X,Y)$ is $N!$, noting that Okada proved this result only in the semisimple case. We interpret a natural bijection between permutations and labelled arc-diagrams as an incarnation of Fomin's version of the Robinson-Schensted correspondence associated to the Young-Fibonacci lattice. The arc-diagram formalism allow us to probe the structure of the Okada monoid and algebra. In particular we prove that the Okada monoid is a regular, aperiodic $*$-monoid and we describe its Green relations and order.
These results allow us to construct a cellular basis of the Okada algebra and to show that $\{\mathbf{O}_N(X,Y)\}_{N \geq 0}$ forms a coherent tower of cellular algebras in the sense of Goodman and Graber. We present some conjectures expressing the Gram determinant of the invariant bilinear form attached to each cell module in terms of Okada's clone Schur functions. We conclude the paper by presenting two follow-up, ongoing projects along with a series of questions pushing further the analogy between the symmetric groups and the Okada algebras.
Two-basepoint Terwilliger algebras and the quantum symmetry of prime-order circulants
Which vertex-transitive graphs of prime order have quantum symmetry? The question of Banica, Bichon and Chenevier is open in the dense regime of Paley graphs, where coherent-algebra methods give no information. To each such graph we attach a two-basepoint Terwilliger algebra of its cyclotomic scheme and study the module it generates from the basepoints: fullness forces the quantum permutation algebra to be commutative, and the module admits no intermediate state, containing either exactly two point masses or all $p$ of them. One point mass, captured at any depth, therefore suffices, and Chassaniol's orbital criterion is the depth-one case. Three consequences follow. A sharp counting argument replaces the Banica--Bichon--Chenevier threshold $p>6^{\varphi(k)}$ by the quadratic bound $p>(k-1)(k-2)+2$, where $k$ is the type. Four certificates, each a short list of additions modulo $p$, settle $C_{31}(2,4,8,15)$ and $C_{41}(4,10,16,18)$, the two graphs left open by Chassaniol, and complete the classification for type at most $10$ without machine assistance. An exact computation extends the dichotomy ``quantum symmetry if and only if complete or empty'' to all prime orders $p\le250$, settling the Paley graphs $P_{p}$ with $p\le241$, the first beyond $P_{17}$. What remains is the capture of a single explicit vector: the midpoint $2^{-1}$ of the two basepoints.
Inversion-descent enumerators of $\underline{32}1$-avoiding permutations
We give the recurrence relation for counting polynomials for permutations avoiding the $\321$ vincular pattern, with respect to inversion numbers and descent numbers, and consequently give the $q$-exponential generating function for these counting polynomials. Furthermore, we give another explanation for these counting polynomials in terms of restricted-growth words.
Vertex-transitive strongly regular graphs in the switching class of doubly transitive two-graphs
Let $G$ be a permutation group that acts $2$-transitively on the finite set $V$ and let $\mathcal{T}=(V,T)$ be a two-graph whose automorphism group contains $G$. In this paper, we classify those strongly regular graphs $Γ$ with vertex set $V$ whose automorphism group is a transitive maximal subgroup of $G$ and whose associated two-graph is $\mathcal{T}$. In doing so, we obtain a new family of vertex-transitive strongly regular graphs whose associated two-graph arises from $PΣL(2,q)$.
Cycle-Structure Generating Functions for Special Breakpoint Graphs
Breakpoint graphs originate in comparative genomics, where their alternating cycles encode relationships between genomes. We study a constrained class of three-colored breakpoint graphs associated with permutations and develop cycle-refined generating functions for two extremal families. These families have a natural topological interpretation: their canonical surfaces are, respectively, the sphere and the projective plane. The spherical family is characterized by noncrossing configurations, while the projective-plane family admits a different decomposition involving a distinguished family of Möbius ladders.
The resulting generating-function equations retain the full cycle structure but nevertheless admit substantial reductions. This leads to explicit Catalan-weighted evaluations, polynomiality results for refined cycle statistics, and a connection between a natural diagonal specialization and noncrossing trees. The two topological families exhibit markedly different combinatorial mechanisms, providing complementary examples of how local transformations of breakpoint graphs can control refined permutation enumerations.
As a further application, the same Catalan-weighted sums arise in asymptotic unitary-Weingarten expansions for entanglement of random Gaussian states in linear optics. The combinatorial results determine the leading and constant-order moment polynomials entering the Rényi entropy expansion, with the projective-plane contribution giving the finite-size constant correction.
Avoiding patterns with three distinct letters in Canon permutations
We study avoidance of patterns of length $3$ with three distinct letters in canon permutations. We reduce the problem to studying pattern avoidance in lattice words and show that there are $6$ such pattern avoiding classes. This shows that there are $12$ classes for the original Canon permutation pattern avoidance problem. We also give descent refinements for these classes and classify the patterns for which the descent enumeration gives palindromic and $γ$-positive polynomials. When the polynomials are $γ$-positive, we explain the $γ$-positivity through a group action analogous to Foata-Strehl valley hopping. Additionally, we study the avoidance of patterns in the relabelling orbit of $1213, 12112, 1231$ after a conjecture about their cardinalities by Laudone and give bijective proofs for the results.
Mutually orthogonal anti-Latin squares
Anti-Latin squares were introduced in connection with non-linear secure network coding, and the extremal problem for large mutually orthogonal families is motivated by that setting. We study the maximum size $N_A(d)$ of a family of mutually orthogonal anti-Latin squares of order $d$. We prove that $N_L(d)+1\le N_A(d)\le N_L(d)+2$ for every $d\ge 3$, where $N_L(d)$ denotes the classical maximum size of a family of mutually orthogonal Latin squares of order $d$, and we show that in fact $N_A(3)=N_L(3)+1$ whereas $N_A(d)=N_L(d)+2$ for every $d\ge 4$. The upper bound is obtained by passing through balanced matrices, while the lower bound is given by a deterministic permutation argument. For all $d\ge 8$, and also for the exceptional order $d=6$, the upper bound is shown to be attainable by a general probabilistic construction. On the structural side, we show that a saturated family of size $d+1$ induces an affine plane of order $d$, and that the saturated case is characterized by the existence of an anti-coordinate grid decomposition; after transporting this condition to the fixed cell set $[d]^2$, it becomes a direction-completeness condition on the corresponding row-blocks and column-blocks. The remaining small orders are treated separately: $d=3$ is handled by direct analysis and classification of orthogonal triples, $d=4$ by an explicit saturated construction and an analysis of its finite-geometric structure, and $d=5$ and $d=7$ by explicit saturated examples arising from the random-grid framework. Thus $N_A(d)$ is determined in terms of $N_L(d)$ for every $d\ge3$, and its numerical value is obtained explicitly for every $3\le d\le9$.
Cluster Geometry of Universal Schubert Polynomials I: Geometric Bases and Schubert Transitions
We study Fulton's universal Schubert polynomials $\mathfrak S_w(c)$ as regular functions on the upper unitriangular group $U_N$. The standard triangular cluster structure associates a Schubert $\sf g$-vector to every permutation. Their convex hull is unimodularly equivalent to $Δ_1\times\cdots\timesΔ_{N-1}$, and their root-degree fibers are parabolic Bruhat intervals realized by the strata of staircase quiver Grassmannians. The geometric (i.e., generic, canonical, and Mirković--Vilonen) elements indexed by these vectors form integral bases of Fulton's standard-elementary module. We prove that $\mathfrak S_w(c)$ is homogeneous under diagonal conjugation if and only if it is the corresponding canonical element, and that homogeneity of $\mathfrak S_w(c)$ implies $Λ_Q$-rigidity of $Z_{\sf g_w}$. We also classify simultaneously the unit columns of the geometric-to-Schubert transitions, determine support components of the PBW-to-geometric and code-to-Schubert transitions, and exhibit a permutation $w\in S_{10}$ for which the three geometric basis elements are distinct.
Enumeration of certain permutation group polynomials
We construct a new family of permutation group polynomials over finite fields of odd characteristic and explicitly provide its companion. Moreover, we precisely determine the number of permutation group polynomials of this form and those that are equivalent to this new family. In addition, we completely solve the problem of enumerating permutation group polynomials of the various forms presented in Hasan and Kumar (2026), as well as permutation group polynomials which are equivalent to these families.
Modular periodicity of the Euler up/down numbers at odd prime powers
Let $E_n$ denote the number of alternating permutations of $\{1,\dots,n\}$, equivalently characterized by
$\sum_{n\ge0}E_nz^n/n!=\sec z+\tan z$. For every $q\ge1$, the sequence $(E_n\bmod q)_{n\ge0}$ is eventually periodic; let $d(q)$ and $s(q)$ denote its minimal eventual period and preperiod. For every odd prime $p$, Knuth and Buckholtz proved $d(p)=\operatorname{lcm}(p-1,4)$ together with \[ d(p^r)\mid p^{r-1}d(p), \qquad s(p^r)\le r, \] and Ramassamy conjectured that both bounds are attained for every $r\ge1$.
In this paper, we introduce an algebraic frequency expansion for the Euler numbers over $S_r=(\mathbb Z/p^r\mathbb Z)[x]/(x^2+1)$. Using Hurwitz series, the Euler sequence is represented algebraically as a finite combination of formal exponential modes, in a manner reminiscent of Fourier analysis. Using this expansion, we prove \[ d(p^r)=p^{r-1}d(p) \qquad \text{for every odd prime $p$ and every $r\ge1$}, \] thereby establishing Ramassamy's period conjecture. We also disprove the preperiod conjecture by proving \[ s(5^5)\le4<5. \] Finally, we prove that $5^5$ is the smallest odd prime power for which $s(p^r)\ne r$, and based on our findings we conjecture \[ s(p^r)\ge r-2 \] for every odd prime $p$ and every $r\ge2$.
Asymptotic enumeration of minimally transitive permutation groups
We prove that Pyber's upper bound $2^{O(n\log(n))}$ for the number of minimally transitive subgroups of $S_n$ is best possible along the powers of every fixed prime, even when the groups are counted up to permutational isomorphism. As a byproduct, our construction shows that, along the powers of every fixed prime, the maximum order of a minimally transitive permutation group of degree $n$ is $2^{Θ(n)}$. For completeness, we also present Pyber's previously unpublished proof of his upper bound. We further deduce that the numbers of labelled vertex-transitive graphs and digraphs of order $n$ are both $2^{Θ(n\log(n))}$, and discuss the implications of our results for approaches to the McKay--Praeger conjecture.
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 1977 Erdős asked whether $f(n,4)=2n-4$, observing that $K_{2,n-2}$ gives the upper bound. We prove that, for all sufficiently large $n$, \[
f(n,4)=2n-4. \] Equivalently, every sufficiently large $n$-vertex graph with at most $2n-5$ edges has a relabelling with at most three common edges.
Our proof is inspired by the recent work of Fang and Hou on the Erdős--Mullin five-edge intersection problem and builds on their core--buffer and absorption framework. The main additional ingredients are a growing high-degree core $C$ satisfying \[
|C|Δ(G-C)=o(n), \] and a rigidity analysis of the equality case in the relevant first-moment estimate. This analysis shows that the only core--buffer configuration forcing four local common edges is of $K_{2,|C|}$ type; the strict bound $e(G)\leq2n-5$ then supplies a defect which breaks this configuration.
A Sharp Spectral Erdős--Ko--Rado Theorem for Uniform Hypergraphs
The spectral Erdős--Ko--Rado problem asks for the largest adjacency-tensor spectral radius of a $t$-intersecting $k$-uniform family. Keevash, Lenz and Mubayi proved that, for fixed $k,t$ and sufficiently large $n$, the unique extremal family is a full $t$-star, and asked whether such a theorem extends to all $n$. Let $\mathcal{A}_r=\{F\in\binom{[n]}k:|F\cap[t+2r]|\ge t+r\}$ be the Frankl families and write $ρ_r$ for their spectral radii. For $2\le t<k$ and $n>2k-t$, we prove that $\mathcal{A}_0$ is spectrally extremal if and only if $ρ_0\geρ_1$; it is unique up to permutation when the inequality is strict, whereas $\mathcal{A}_0$ and $\mathcal{A}_1$ are both extremal at equality. The layerwise pull used in the Ahlswede--Khachatrian cardinality proof is not applicable here: applied directly, it may decrease the spectral radius. Our proof instead pulls all boundary layers simultaneously and applies Perron tail symmetrization. It follows that $\mathcal{A}_0$ is uniquely extremal for $n\ge (t+1)(k-t+1)+\lceil(t+1)\log(t+1)\rceil$; the leading coefficient $t+1$ is best possible for fixed $t$. We also determine all extremal structures for $t=1$ throughout the range $n\ge2k$.
Iterating the Lehmer code on inversion sequences: Catalan fixed points and finite stabilization
We study an operator $Θ$ on finite integer sequences, where $Θ(σ)_i$ counts the entries to the left of $σ_i$ that are strictly smaller than $σ_i$. This operator is a variant of the so-called Lehmer code. For every sequence $σ$, the image $Θ(σ)$ is an inversion sequence, and the restriction of $Θ$ to permutations of $[0,n-1]$ is a bijection onto inversion sequences of length $n$. We characterize the fixed points of $Θ$ by avoidance of the pattern $101$ together with a saturation condition, prove that they are counted by the Catalan numbers, and give an explicit recursive bijection with Dyck paths. We also show that the sequences whose first $Θ$-image is fixed are precisely those avoiding both $101$ and $201$. Finally, we prove finite stabilization for all inversion sequences, exhibit a family attaining the maximal stabilization time, and show that the second stabilization level is not closed under classical patterns.
Longest increasing subsequences of dyadic-type chaotic orbits
This paper studies the longest increasing subsequence (LIS) problem for sequences generated by dyadic-type chaotic interval maps. Starting from a single point $x\in[0,1)$ chosen uniformly at random, we form the order pattern of the first $N$ points of its orbit, with the doubling map as the basic model. Let $λ_1^{(N)}$ be the LIS length, equivalently the length of the first row of the Young diagram obtained by Schensted's insertion. We show that $\mathbb E[λ_1^{(N)}]/\sqrt N\to 2$, matching the leading asymptotics in the classical Ulam--Hammersley problem for uniform random permutations.
Pipe Dream Rectification and Dual RSK Correspondence
We prove Dennin's conjecture (Conjecture 8.9 of arXiv:2506.21052) that his variant of dual RSK correspondence is symmetric when restricted to biGrassmannian permutations. For a binary matrix $A$, let $A^\dagger$ denote its transpose-complement, and let $\operatorname{ins}(A)$ and $\operatorname{rec}(A)$ denote its insertion and recording tableaux. We prove that $\operatorname{ins}(A^\dagger) = \overline{\operatorname{rec}(A)}$, where the bar denotes the natural complement of the recording tableau. Our proof uses rectification of super pipe dreams and a downward induction on suffixes of $A$.
On Conjugacy Classes of Derangements in Symmetric and Alternating Groups
In this article, we prove two conjectures of Burness and Fusari [Timothy Burness and Marco Fusari, On derangements in simple permutation groups, Forum Math. Sigma 13 (2025)] concerning the powers and products of conjugacy classes of derangements in the symmetric and alternating groups: (1) We show that there exist two conjugacy classes $C$ and $D$ of derangements in $S_n$ such that $S_n=C^2\cup CD$, and (2) We show that there exists a conjugacy class $C$ of derangements in $A_n$ such that $C^2=A_n$, whenever $n\equiv 3\;(\text{mod}\;4)$. In fact, our result concerning the second conjecture holds in a considerably more general setting, which also answers affirmatively a question posed by Bertram [Edward Bertram, Even permutations as a product of two conjugate cycles, J. Comb. Theory, Ser. A 12 (1972), 368-380] in a particular case. Moreover, we show that any conjugacy class $C$ of derangements in $S_n$ (resp. $A_n$) contains a pair of elements that generate $S_n$ or $A_n$ (resp. $A_n$), unless $C$ is the conjugacy class of fixed-point-free involutions.
Pattern avoidance in canon permutations
A canon permutation is a $k$-regular word over $[n]$ in which, for each $j$, the $j$-th copies of the letters form the same permutation $σ$. These were introduced by Elizalde as a generalization of nonnesting multipermutations, which are the case $k = 2$. We study classical pattern avoidance in them for arbitrary $k$. We show that avoiding any one of $112$, $122$, $211$ or $221$ is counted by the $k$-Catalan numbers $\frac{1}{n}\binom{kn}{n-1}$. We enumerate the classes obtained by forbidding one of these together with any $τ\in \mathcal{S}_3$, and we give a bijection with $k$-ary trees that we use to generalize a theorem of Gabriel, Peske, Pudwell and Tay. We then show that avoiding a set of patterns closed under relabeling reduces, up to a factor of $n!$, to avoidance in $k$-regular lattice words. We use this to enumerate the canon permutations avoiding some natural generalizations of the nonnesting and noncrossing patterns, as well as the family $\{1^a21^b, 2^a12^b\}$. We close with several conjectures and questions.
Partizan Serial Nim
A combinatorial game is a two-player game without hidden information or chance elements. The main object of combinatorial game theory is to determine the outcome (i.e., which player has a winning strategy) of a given position in combinatorial games. NIM is a well-known and fundamental ruleset in combinatorial game theory. This paper proposes a novel partizan variant of NIM called PARTIZAN-SERIAL-NIM, defined as follows: there are $n$ piles of stones indexed by $1, 2, \ldots, n$; the two players have permutations $\mathbfσ^L$ and $\mathbfσ^R$ of $(1, 2, \ldots, n)$, respectively; a move is to remove any positive number of stones from the non-empty pile with the minimum value in the player's permutation; the player who cannot make a move loses. This ruleset is a generalization of SERIAL-NIM and PARTIZAN-END-NIM. We give an algorithm to compute the outcome of a given position in PARTIZAN-SERIAL-NIM in $O(n^2)$ time, provided that each arithmetic and comparison operation is performed in $O(1)$ time. Also, for the case where all non-empty piles have the same number $m$ of stones, we prove that the outcome does not depend on $m$ for $m \geq 2$ and present an algorithm to compute the outcome in $O(n)$ time. Further, we prove that the atomic weight of every position in PARTIZAN-SERIAL-NIM is an integer.
Forgotten characters
A partial permutation of $[n] := \{1,\dots,n\}$ is a bijection $g: I \to J$ between two subsets $I,J \subseteq [n]$. Given a partial permutation $g$ of $[n]$, let $a_g \in \mathbb{C}[\mathfrak{S}_n]$ be the group algebra sum of those permutations $w \in \mathfrak{S}_n$ which extend $g$. Informally, a partial permutation $g$ is obtained by forgetting some data in a genuine permutation. The forgotten symmetric functions are the least-studied of the six `standard' bases for the ring of symmetric functions. We show that forgotten symmetric functions arise naturally in class function evaluations on partial permutations.