permutation ↗ reference
4849 papers tagged with this keyword
The base size of the symmetric group acting on subsets
A base for a permutation group $G$ acting on a set $Ω$ is a subset $\mathcal{B}$ of $Ω$ such that the pointwise stabiliser $G_{(\mathcal{B})}$ is trivial. Let $n$ and $r$ be positive integers with $n>2r$. The symmetric and alternating groups $\mathrm{S}_n$ and $\mathrm{A}_n$ admit natural primitive actions on the set of $r$-element subsets of $\{1,2,\dots, n\}$. Building on work of Halasi [6], we provide explicit expressions for the base sizes of all of these actions, and hence determine the base size of all primitive actions of $\mathrm{S}_n$ and $\mathrm{A}_n$.
Factoring Pattern-Free Permutations into Separable ones
We show that for any permutation $π$ there exists an integer $k_π$ such that every permutation avoiding $π$ as a pattern is a product of at most $k_π$ separable permutations. In other words, every strict class $\mathcal C$ of permutations is contained in a bounded power of the class of separable permutations. This factorisation can be computed in linear time, for any fixed $π$. The central tool for our result is a notion of width of permutations, introduced by Guillemot and Marx [SODA '14] to efficiently detect patterns, and later generalised to graphs and matrices under the name of twin-width. Specifically, our factorisation is inspired by the decomposition used in the recent result that graphs with bounded twin-width are polynomially $χ$-bounded. As an application, we show that there is a fixed class $\mathcal C$ of graphs of bounded twin-width such that every class of bounded twin-width is a first-order transduction of $\mathcal C$.
A Combinatorial Hopf Algebra on Partition Diagrams
We introduce a Combinatorial Hopf Algebra (CHA) with bases indexed by the partition diagrams indexing the bases for partition algebras. By analogy with the operation $H_α H_β = H_{α\cdot β}$ for the complete homogeneous basis of the CHA $ \textsf{NSym}$ given by concatenating compositions $α$ and $β$, we mimic this multiplication rule by setting $\textsf{H}_π \textsf{H}_ρ = \textsf{H}_{π\otimes ρ}$ for partition diagrams $π$ and $ρ$ and for the horizontal concatenation $π\otimes ρ$ of $ π$ and $ρ$. This gives rise to a free, graded algebra $\textsf{ParSym}$, which we endow with a CHA structure by lifting the CHA structure of $ \textsf{NSym}$ using an analogue, for partition diagrams, of near-concatenations of integer compositions. Unlike the Hopf algebra $\textsf{NCSym}$ on set partitions, the new CHA $\textsf{ParSym}$ projects onto $\textsf{NSym}$ in natural way via a ``forgetful'' morphism analogous to the projection of $\textsf{NSym}$ onto its commutative counterpart $\textsf{Sym}$. We prove, using the Boolean transform for the sequence $(B_{2n} : n \in \mathbb{N})$ of even-indexed Bell numbers, an analogue of Comtet's generating function for the sequence counting irreducible permutations, yielding a formula for the number of generators in each degree for $\textsf{ParSym}$, and we prove, using a sign-reversing involution, an evaluation for the antipode for $\textsf{ParSym}$. An advantage of our CHA being defined on partition diagrams in full generality, in contrast to a previously defined Hopf algebra on uniform block permutations, is given by how the coproduct operation we have defined for $\textsf{ParSym}$ is such that the usual diagram subalgebras of partition algebras naturally give rise to Hopf subalgebras of $\textsf{ParSym}$ by restricting the indexing sets of the graded components to diagrams of a specified form.
Permutation and local permutation polynomial of maximum degree
Let $F_q$ be the finite field with $q$ elements and $F_q[x_1,\ldots, x_n]$ the ring of polynomials in $n$ variables over $F_q$. In this paper we consider permutation polynomials and local permutation polynomials over $F_q[x_1,\ldots, x_n]$, which define interesting generalizations of permutations over finite fields. We are able to construct permutation polynomials in $F_q[x_1,\ldots, x_n]$ of maximum degree $n(q-1)-1$ and local permutation polynomials in $F_q[x_1,\ldots, x_n]$ of maximum degree $n(q-2)$ when $q>3$, extending previous results.
Permutation Patterns of the Iterated Syracuse Function
Published in Integers 24A (2024), \#A14, pp. 1--24
• Search Publication
Let $Ω$ be the set of odd positive integers and let $S:Ω\rightarrow Ω$ be the Syracuse function. It is proved that, for every permutation $σ$ of $(1,2,3)$, the set of triples of the form $(m,S(m),S^2(m))$ with permutation pattern $σ$ has positive density, and these densities are computed. However, there exist permutations $τ$ of $(1,2,3,4)$ such that no quadruple $(m,S(m), S^2(m), S^3(m))$ has permutation pattern $τ$. This implies the nonexistence of certain permutation patterns of $n$-tuples $(m,S(m),\ldots, S^{n-1}(m))$ for all $n \geq 4$.
Boundedness for proper conflict-free and odd colorings
Published in Discrete Mathematics, 349(2): 114730, 2026
• View Publication
• BIB
The proper conflict-free chromatic number, $χ_{pcf}(G)$, of a graph $G$ is the least $k$ such that $G$ has a proper $k$-coloring in which for each non-isolated vertex there is a color appearing exactly once among its neighbors. The proper odd chromatic number, $χ_{o}(G)$, of $G$ is the least $k$ such that $G$ has a proper coloring in which for every non-isolated vertex there is a color appearing an odd number of times among its neighbors. We say that a graph class $\mathcal{G}$ is $χ_{pcf}$-bounded ($χ_{o}$-bounded) if there is a function $f$ such that $χ_{pcf}(G) \leq f(χ(G))$ ($χ_{o}(G) \leq f(χ(G))$) for every $G \in \mathcal{G}$. Caro et al. (2022) asked for classes that are linearly $χ_{pcf}$-bounded ($χ_{pcf}$-bounded), and as a starting point, they showed that every claw-free graph $G$ satisfies $χ_{pcf}(G) \le 2Δ(G)+1$, which implies $χ_{pcf}(G) \le 4χ(G)+1$.
In this paper, we improve the bound for claw-free graphs to a nearly tight bound by showing that such a graph $G$ satisfies $χ_{pcf}(G) \le Δ(G)+6$, and even $χ_{pcf}(G) \le Δ(G)+4$ if it is a quasi-line graph. These results also give evidence for a conjecture by Caro et al. Moreover, we show that convex-round graphs and permutation graphs are linearly $χ_{pcf}$-bounded. For these last two results, we prove a lemma that reduces the problem of deciding if a hereditary class is linearly $χ_{pcf}$-bounded to deciding if the bipartite graphs in the class are $χ_{pcf}$-bounded by an absolute constant. This lemma complements a theorem of Liu (2022) and motivates us to study boundedness in bipartite graphs. In particular, we show that biconvex bipartite graphs are $χ_{pcf}$-bounded while convex bipartite graphs are not even $χ_o$-bounded, and exhibit a class of bipartite circle graphs that is linearly $χ_o$-bounded but not $χ_{pcf}$-bounded.
Almost perfect nonlinear power functions with exponents expressed as fractions
Let $F$ be a finite field, let $f$ be a function from $F$ to $F$, and let $a$ be a nonzero element of $F$. The discrete derivative of $f$ in direction $a$ is $Δ_a f \colon F \to F$ with $(Δ_a f)(x)=f(x+a)-f(x)$. The differential spectrum of $f$ is the multiset of cardinalities of all the fibers of all the derivatives $Δ_a f$ as $a$ runs through $F^*$. An almost perfect nonlinear (APN) function is one for which the largest cardinality in its differential spectrum is $2$. Almost perfect nonlinear functions are of interest as cryptographic primitives. If $d$ is a positive integer, then the power function over $F$ with exponent $d$ is the function $f \colon F \to F$ with $f(x)=x^d$ for every $x \in F$. There is a small number of known infinite families of APN power functions. In this paper, we re-express the exponents for one such family in a more convenient form. This enables us not only to obtain the differential spectrum of each power function $f$ with an exponent in our family, but also to determine the elements that lie in an arbitrary fiber of the discrete derivative of $f$. This differential analysis, which is far more detailed than previous results, is achieved by composing the discrete derivative of $f$ with some permutations and a double covering of its domain to obtain a function whose fibers can more readily be analyzed.
The last patch for classifying shuffle groups
Divide a deck of $kn$ cards into $k$ equal piles and place them from left to right. The standard shuffle $σ$ is performed by picking up the top cards one by one from left to right and repeating until all cards have been picked up. For every permutation $τ$ of the $k$ piles, use $ρ_τ$ to denote the induced permutation on the $kn$ cards. The shuffle group $G_{k,kn}$ is generated by $σ$ and the $k!$ permutations $ρ_τ$. It was conjectured by Cohen et al in 2005 that the shuffle group $G_{k,kn}$ contains $A_{kn}$ if $k\geq3$, $(k,n)\ne\{4,2^f\}$ for any positive integer $f$ and $n$ is not a power of $k$. Very recently, Xia, Zhang and Zhu reduced the proof of the conjecture to that of the $2$-transitivity of the shuffle group and then proved the conjecture under the condition that $k\ge4$ or $k\nmid n$. In this paper, we proved that the group $G_{3,3n}$ is $2$-transitive for any positive integer $n$ which is a multiple of $3$ but not a power of $3$. This result leads to the complete classification of the shuffle groups $G_{k,kn}$ for all $k\ge2$ and $n\ge1$.
Towards combinatorial characterization of the smoothness of Hessenberg Schubert varieties
A \emph{Hessenberg Schubert variety} is an irreducible component of the intersection of a Schubert variety and a Hessenberg variety, defined as the closure of a Schubert cell inside the Hessenberg variety. We consider the smoothness of Hessenberg Schubert varieties of regular semisimple Hessenberg varieties of type $A$ in this paper.
We consider the smoothness of the intersection of a Schubert variety and a Hessenberg variety to ensure the smoothness of the corresponding Hessenberg Schubert variety. Specifically, we analyze the structure of the GKM graphs of the intersection of a Schubert variety indexed by some special permutations and a Hessenberg variety. The regularity of the GKM graph is completely characterized in terms of pattern avoidance, which is a necessary (and also sufficient conjecturally) condition for the intersection to be smooth. We then extend the pattern avoidance result to all permutations, which is believed to be a sufficient condition for the corresponding Hessenberg Schubert variety to be smooth.
Arndt and De Morgan Integer Compositions
In 2013, Joerg Arndt recorded that the Fibonacci numbers count integer compositions where the first part is greater than the second, the third part is greater than the fourth, etc. We provide a new combinatorial proof that verifies his observation using compositions with only odd parts as studied by De Morgan. We generalize the descent condition to establish families of recurrence relations related to two types of compositions: those made of any odd part and certain even parts, and those made of any even part and certain odd parts. These generalizations connect to compositions studied by Andrews and Viennot. New tools used in the combinatorial proofs include two permutations of compositions and a statistic based on the signed pairwise difference between parts.
The secretary problem with items arriving according to a random permutation avoiding a pattern of length three
In the classical secretary problem, $n$ ranked items arrive one by one, and each item's rank relative to its predecessors is noted. The observer must select or reject each item as it arrives, with the object of selecting the item of highest rank. For $M_n\in\{0,1,\cdots, n-1\}$, let $\mathcal{S}(n,M_n)$ denote the strategy whereby the observer rejects the first $M_n$ items, and then selects the first later-arriving item whose rank is higher than that of any of the first $M_n$ items (if such an item exists). If the ranked items arrive in a uniformly random order, it is well-known that the limiting optimal probability of success is $\frac1e$, which occurs if $M_n\sim\frac ne$. It has been shown that when the ranked items arrive according to certain non-uniform distributions on the set of permutations, $\frac1e$ serves as a lower bound for the optimal probability. There is a fundamental reason for this phenomenon. We consider certain distributions for which that reason does not apply. We begin by noting a cooked-up class of distributions for which $\mathcal{S}(n,M)$ yields the lowest possible probability of success -- namely $\frac1n$, for all $M$. We then consider the uniform distribution over all permutations avoiding a particular pattern of length three. In the case of the pattern 231 or 132, for any choice of $M_n$, the strategy $\mathcal{S}(n,M_n)$ yields the very same probability of success; namely $\frac{n+1}{2(2n-1)}$, which gives a limiting probability of $\frac14$. For the pattern 213, the optimal strategy is obtained for $M\in\{0,1\}$, also yielding a limiting probability of $\frac14$. For the pattern 123, the optimal strategy is obtained for $M=1$, yielding a limiting probability of $\frac34$. For the other two patterns, 312 and 321, an optimal strategy will yield a limiting probability of at least $\frac7{16}$.
Fluctuation Moments for Regular Functions of Wigner Matrices
Published
• View Publication
• BIB
We compute the deterministic approximation for mixed fluctuation moments of products of deterministic matrices and general Sobolev functions of Wigner matrices. Restricting to polynomials, our formulas reproduce recent results of [Male, Mingo, Peché, Speicher 2022], showing that the underlying combinatorics of non-crossing partitions and annular non-crossing permutations continue to stay valid beyond the setting of second-order free probability theory. The formulas obtained further characterize the variance in the functional central limit theorem obtained recently in the companion paper [Reker 2023].
A new lower bound for deterministic pop-stack-sorting
Published
• View Publication
• BIB
The pop-stack-sorting process is a variation of the stack-sort process. We consider a deterministic version of this process, and provide a new lower bound of $\frac{3}{5}n$ for the number of sorts to fully sort a uniformly randomly chosen permutation via a useful lemma.
Enumeration of flattened $k$-Stirling permutations with respect to descents
A $k$-Stirling permutation of order $n$ is said to be "flattened" if the leading terms of its increasing runs are in ascending order. We show that flattened $k$-Stirling permutations of order $n+1$ are in bijection correspondence with a colored variant of type $B$ set partitions of $[-n,n]$, introduced by D.G.L. Wang. Using the theory of weighted labelled structures, we give the exponential generating functions of their cardinality and their descent enumerating polynomials. We also provide enumerative formulae for the number of flattened $k$-Stirling permutations of order $n$ with small number of descents and the number of flattened Stirling permutations with maximum number of descents.
Graph Automorphism Group Equivariant Neural Networks
Permutation equivariant neural networks are typically used to learn from data that lives on a graph. However, for any graph $G$ that has $n$ vertices, using the symmetric group $S_n$ as its group of symmetries does not take into account the relations that exist between the vertices. Given that the actual group of symmetries is the automorphism group Aut$(G)$, we show how to construct neural networks that are equivariant to Aut$(G)$ by obtaining a full characterisation of the learnable, linear, Aut$(G)$-equivariant functions between layers that are some tensor power of $\mathbb{R}^{n}$. In particular, we find a spanning set of matrices for these layer functions in the standard basis of $\mathbb{R}^{n}$. This result has important consequences for learning from data whose group of symmetries is a finite group because a theorem by Frucht (1938) showed that any finite group is isomorphic to the automorphism group of a graph.
Stability properties of inner plethyms (Lecture Notes)
The inner plethysm of symmetric functions corresponds to the $λ$-ring operations of the representation ring $R({\mathfrak S}_n)$ of the symmetric group. It is known since the work of Littlewood that this operation possesses stability properties w.r.t. $n$. These properties have been explained in terms of vertex operators [Scharf and Thibon, Adv. Math. 104 (1994), 30-58]. Another approach [Orellana and Zabrocki, Adv. Math. 390 (2021), \# 107943], based on an expression of character values as symmetric functions of the eigenvalues of permutation matrices, has been proposed recently. This note develops the theory from scratch, discusses the link between both approaches and provides new proofs of some recent results.
Reversed Dickson polynomials
We investigate fixed points and cycle types of permutation polynomials and complete permutation polynomials arising from reversed Dickson polynomials of the first kind and second kind over $\mathbb{F}_p$. We also study the permutation behaviour of reversed Dickson polynomials of the first kind and second kind over $\mathbb{Z}_m$. Moreover, we prove two special cases of a conjecture on the permutation behaviour of reversed Dickson polynomials over $\mathbb{F}_p$.
Words fixing the kernel network and maximum independent sets in graphs
The simple greedy algorithm to find a maximal independent set of a graph can be viewed as a sequential update of a Boolean network, where the update function at each vertex is the conjunction of all the negated variables in its neighbourhood. In general, the convergence of the so-called kernel network is complex. A word (sequence of vertices) fixes the kernel network if applying the updates sequentially according to that word. We prove that determining whether a word fixes the kernel network is coNP-complete. We also consider the so-called permis, which are permutation words that fix the kernel network. We exhibit large classes of graphs that have a permis, but we also construct many graphs without a permis.
Increasing subsequences of linear size in random permutations and the Robinson-Schensted tableaux of permutons
Published in Random Structures & Algorithms, Volume 65, Issue 3, Pages 488-534, October 2024
• View Publication
• BIB
The study of longest increasing subsequences (LIS) in permutations led to that of Young diagrams via Robinson-Schensted's (RS) correspondence. In a celebrated paper, Vershik and Kerov obtained a limit theorem for such diagrams and found that the LIS of a uniform permutation of size n behaves as $2\sqrt{n}$. Independently and much later, Hoppen et al. introduced the theory of permutons as a scaling limit of permutations. In this paper, we extend in some sense the RS correspondence of permutations to the space of permutons. When the "RS-tableaux" of a permuton are non-trivial, we show that the RS-tableaux of random permutations sampled from this permuton exhibit a linear behavior, in the sense that their first rows and columns have lengths of linear order. In particular, the LIS of such permutations behaves as a multiple of n. We also prove some large deviation results for these convergences. Finally, by studying asymptotic properties of Fomin's algorithm for permutations, we show that the RS-tableaux of a permuton satisfy a partial differential equation.
The tree-child network problem for line trees and the shortest common supersequences for permutations
One strategy for reconstruction of phylogenetic networks is to solve the phylogenetic network problem, which involves inferring phylogenetic trees first and subsequently computing the smallest phylogenetic network that displays all the trees. This approach capitalizes on exceptional tools available for inferring phylogenetic trees from biomolecular sequences. Since the vast space of phylogenetic networks poses difficulties in obtaining comprehensive sampling, the researchers switch their attention to inferring tree-child networks from multiple phylogenetic trees, where in a tree-child network each non-leaf node must have at least one child that is an indegree-one node.
Two results are obtained: (1) The tree-child network inference problem for multiple line trees remains NP-hard by a reduction from the shortest common supersequence problem for permutations and proving that the latter is NP-hard. (2) The tree-child networks with the least reticulate nodes that display all the line trees are the same as that display all the binary trees, whose hybridization number is $Θ(n^3)$ for $n (> 7)$ taxa.