arXiv++ Combinatorics

Given a finite permutation group $G$ with domain $Ω$, we associate two subsets of natural numbers to $G$, namely $\mathcal{I}(G,Ω)$ and $\mathcal{M}(G,Ω)$, which are the sets of cardinalities of all the irredundant and minimal bases of $G$, respectively. We prove that $\mathcal{I}(G)$ is an interval of natural numbers, whereas $\mathcal{M}(G,Ω)$ may not necessarily form an interval. Moreover, for a given subset of natural numbers $X \subseteq \mathbb{N}$, we provide some conditions on $X$ that ensure the existence of both intransitive and transitive groups $G$ such that $\mathcal{I}(G,Ω) = X$ and $\mathcal{M}(G,Ω) = X$.

We provide asymptotic theory for the joint distribution of $X_{\mathrm{inv}}$ and $X_{\mathrm{des}}$, the numbers of inversions and descents of random permutations. Recently, Dörr & Kahle (2022) proved that $X_{\mathrm{inv}}$, respectively, $X_{\mathrm{des}}$ is in the maximum domain of attraction of the Gumbel distribution. To tackle the dependency between these two permutation statistics, we use Hájek projections and a suitable quantitative Gaussian approximation. We show that $(X_{\mathrm{inv}}, X_{\mathrm{des}})$ is in the maximum domain of attraction of the two-dimensional Gumbel distribution with independent margins. This result can be stated in the broader combinatorial framework of finite Coxeter groups, on which our method also yields the central limit theorem for $(X_{\mathrm{inv}}, X_{\mathrm{des}})$ and various other permutation statistics as a novel contribution. In particular, signed permutation groups with random biased signs and products of classical Weyl groups are investigated.

The quasisymmetric generating function of the set of permutations whose inverses have a fixed descent set is known to be symmetric and Schur-positive. The corresponding representation of the symmetric group is called the descent representation. In this paper, we provide an extension of this result to colored permutation groups, where Gessel's fundamental quasisymmetric functions are replaced by Poirier's colored quasisymmetric functions. For this purpose, we introduce a colored analogue of zigzag shapes and prove that the representations associated with these shapes coincide with colored descent representations studied by Adin, Brenti and Roichman in the case of two colors and Bagno and Biagioli in the general case. Additionally, we provide a colored analogue of MaMahon's alternating formula which expresses ribbon Schur functions in the basis of complete homogeneous symmetric functions.

For a fixed finite set of finite tournaments ${\mathcal F}$, the ${\mathcal F}$-free orientation problem asks whether a given finite undirected graph $G$ has an $\mathcal F$-free orientation, i.e., whether the edges of $G$ can be oriented so that the resulting digraph does not embed any of the tournaments from ${\mathcal F}$. We prove that for every ${\mathcal F}$, this problem is in P or NP-complete. Our proof reduces the classification task to a complete complexity classification of the orientation completion problem for ${\mathcal F}$, which is the variant of the problem above where the input is a directed graph instead of an undirected graph, introduced by Bang-Jensen, Huang, and Zhu (2017). Our proof uses results from the theory of constraint satisfaction, and a result of Agarwal and Kompatscher (2018) about infinite permutation groups and transformation monoids.

We present a representation for permutation groups as the automorphism group of an ordered set $U$ such that the automorphism group's action on a subset $T\subseteq U$ is the permutation group itself. For many imprimitive permutation groups, the representation uses fewer points than the smallest representations to date.

Consider a group $G$ acting on a set $Ω$, the vector $v_{a,b}$ is a vector with the entries indexed by the elements of $G$, and the $g$-entry is 1 if $g$ maps $a$ to $b$, and zero otherwise. A $(G,Ω)$-Cameron-Liebler set is a subset of $G$, whose indicator function is a linear combination of elements in $\{v_{a, b}\ :\ a, b \in Ω\}$. We investigate Cameron-Liebler sets in permutation groups, with a focus on constructions of Cameron-Liebler sets for 2-transitive groups.

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$.

We introduce a recursive method to deconstruct the automorphism group of an ordered set. By connecting this method with deep results for permutation groups, we prove the Automorphism Conjecture for ordered sets of width less than or equal to $11$. Subsequent investigations show that the method presented here could lead to a resolution of the Automorphism Conjecture.

We introduce a new class of transitive permutation groups which properly contains the automorphism groups of vertex-transitive graphs and digraphs. We then give a sufficient condition for a quotient of this family to remain in the family, showing that relatively straightforward induction arguments may possibly be used to solve problems in this family, and consequently for symmetry questions about vertex-transitive digraphs. As an example of this, for $p$ an odd prime, we use induction to determine the Sylow $p$-subgroups of transitive groups of degree $p^n$ that contain a regular cyclic subgroup in this family. This is enough information to determine the automorphism groups of circulant digraphs of order $p^n$.

In this paper, we consider the moments of statistics on conjugacy classes of the colored permutation groups $\mathfrak{S}_{n,r}=\mathbb{Z}_r\wr \mathfrak{S}_n$. We first show that any fixed moment coincides on all conjugacy classes where all cycles have sufficiently long length. Additionally, for permutation statistics that can be realized via a process we call symmetric extensions, these moments are polynomials in $n$. Finally, for the descent statistic on the hyperoctahedral group $B_n\cong \mathfrak{S}_{n,2}$, we show that its distribution on conjugacy classes without short cycles satisfies a central limit theorem. Our results build on and generalize previous work of Fulman (\textit{J. Comb. Theory Ser. A.}, 1998), Hamaker and Rhoades (arXiv, 2022), and Campion Loth, Levet, Liu, Stucky, Sundaram, and Yin (arXiv, 2023). In particular, our techniques utilize the combinatorial framework introduced by Campion Loth, Levet, Liu, Stucky, Sundaram, and Yin.

Let $ VG $ be a finite primitive affine permutation group, where $ V $ is a vector space of dimension $ d $ over the prime field $ \mathbb{F}_p $ and $ G $ is an irreducible linear group on $ V $. We prove that if $ p $ divides $ |G| $, then the diameters of all nondiagonal orbital graphs of $ VG $ are at most $ 9d^3 $. This improves an earlier exponential bound by A. Maróti and the author.

We consider twisted permutation codes, a class of frequency permutation arrays obtained from finite groups with multiple permutation representations of the same degree, introduced by Gillespie, Praeger and Spiga (and later studied by Akbari, Gillespie and Praeger), and develop a decoding algorithm for such codes based on earlier work of the first author for permutation group codes. In particular, we show how to implement this algorithm for an infinite family of groups considered by Akbari, Gillespie and Praeger.

A symmetric chain of ideals is a rule that assigns to each finite set $S$ an ideal $I_S$ in the polynomial ring $\mathbb{C}[x_i]_{i \in S}$ such that if $φ\colon S \to T$ is an embedding of finite sets then the induced homomorphism $φ_*$ maps $I_S$ into $I_T$. Cohen proved a fundamental noetherian result for such chains, which has seen intense interest in recent years due to a wide array of new applications. In this paper, we consider similar chains of ideals, but where finite sets are replaced by more complicated combinatorial objects, such as trees. We give a general criterion for a Cohen-like theorem, and give several specific examples where our criterion holds. We also prove similar results for certain limiting situations, where a permutation group acts on an infinite variable polynomial ring. This connects to topics in model theory, such as Fraïssé limits and oligomorphic groups.

We employ general parabolic recursion methods to demonstrate the recently devised hypercube formula for Kazhdan-Lusztig polynomials of $S_n$, and establish its generalization to the full setting of a finite Coxeter system through algebraic proof. We introduce procedures for positive decompositions of $q$-derived Kazhdan-Lusztig polynomials within this setting, that utilize classical Hecke algebra positivity phenomena of Dyer-Lehrer and Grojnowski-Haiman. This leads to a distinct algorithmic approach to the subject, based on induction from a parabolic subgroup. We propose suitable weak variants of the combinatorial invariance conjecture and verify their validity for permutation groups.

An $n\times n$ matrix $M=[m_{ij}]$ with $m_{ij}\in U_n=\{1,2,\ldots,n\}$ will be called a cycle matrix if $(U_n,\cdot)$ is a cycle set, where $i\cdot j=m_{ij}$. We study these matrices in this article. Using these matrices, we give some recipes to construct solutions, which include the multipermutation level $2$ solutions. As an application of these, we construct a multi-permutation solution of level $r$ for all $r\geq 1$. Our method gives alternate proof that the class of permutation groups of solutions contains all finite abelian groups.

We classify the regular maps $\mathcal M$ which have automorphism groups $G$ acting faithfully and primitively on their vertices. As a permutation group $G$ must be of almost simple or affine type, with dihedral point stabilisers. We show that all such almost simple groups, namely all but a few groups ${\rm PSL}_2(q)$, ${\rm PGL}_2(q)$ and ${\rm Sz}(q)$, arise from regular maps, which are always non-orientable. In the affine case, the maps $\mathcal M$ occur in orientable and non-orientable Petrie dual pairs. We give the number of maps associated with each group, together with their genus and extended type. Some of this builds on earlier work of the first author on generalised Paley maps, and on recent work of Jajcay, Li, \vSirá\vn and Wang on maps with quasiprimitive automorphism groups. There are tables of data for the maps in appendices to this paper.

We study the permutation group $\mathcal{BK}_P$ generated by Bender-Knuth moves on linear extensions of a poset $P$, an analog of the Berenstein-Kirillov group on column-strict tableaux. We explore the group relations, with an emphasis on identifying posets $P$ for which the cactus relations hold in $\mathcal{BK}_P$. We also examine $\mathcal{BK}_P$ as a subgroup of the symmetric group $\mathfrak{S}_{\mathcal{L}(P)}$ on the set of linear extensions of $P$ with the focus on analyzing posets $P$ for which $\mathcal{BK}_P = \mathfrak{S}_{\mathcal{L}(P)}$.

We investigate the mathematics behind unshuffles, a type of card shuffle closely related to classical perfect shuffles. To perform an unshuffle, deal all the cards alternately into two piles and then stack the one pile on top of the other. There are two ways this stacking can be done (left stack on top or right stack on top), giving rise to the terms left shuffle ($L$) and right shuffle ($R$), respectively. We give a solution to a generalization of Elmsley's Problem (a classic mathematical card trick) using unshuffles for decks with $2^k$ cards. We also find the structure of the permutation groups $\langle L, R \rangle$ for a deck of $2n$ cards for all values of $n$. We prove that the group coincides with the perfect shuffle group unless $n\equiv 3 \pmod 4$, in which case the group $\langle L, R \rangle$ is equal to $B_n$, the group of centrally symmetric permutations of $2n$ elements, while the perfect shuffle group is an index 2 subgroup of $B_n$.

We introduce the anonymity group, the neutrality group and the symmetry group of a social preference function. Inspired by a problem posed by Kelly in 1991 and remained unsolved, we investigate the problem of recognizing which permutation groups may arise as anonymity, neutrality and symmetry group of a social preference function. A complete description is found for the neutrality groups and a sufficient condition, which largely encompasses the problem, is found for the anonymity groups. Using the concept of orbit extension of a group $U$, we formulate manageable necessary conditions for being $U$ an anonymity or a symmetry group. Our research deeply interacts with problems of representability by Boolean functions shedding light on them.

We give an exact coefficients formula of any infinite product of power series with constant term equal to $1$, by using structures from partitions of integers and permutation groups. This is an universal theorem for various of Binomial-type theorems in many sense. In particular, we give the new formulas as the double counting of Bell polynomial, Binomial Theorem and Multinomial Theorem.