arXiv++ Combinatorics

We give a decomposition of the Laplace operator (in matrix form) of a covering simplicial complex as a direct sum of several matrices, one of which is the Laplace operator of the base complex. It follows that the spectrum of a covering simplicial complex is a multiset union of the spectrum of the base simplicial complex and the spectra of other relevant matrices, which implies the spectral inclusion property of Horak and Jost. In the case of a $2$-fold covering, we show that the spectrum is a multiset union of the spectrum of the base complex and that of an incidence-signed simplicial complex, thereby generalizing a result of Bilu and Linial from graphs to simplicial complexes. Additionally, we show that the dimension of the cohomology of a covering complex is greater than or equal to that of the base complex. Our arguments exploit the coverings of incidence graphs of simplicial complexes and the representation theory of permutation groups.

We study a class of nonlocal games, called transitive games, for which the set of perfect strategies forms a semigroup. We establish several interesting correspondences of bisynchronous transitive games with the theory of compact quantum groups. In particular, we associate a quantum permutation group with each bisynchronous transitive game and vice versa. We prove that the existence of a C*-strategy, the existence of a quantum commuting strategy, and the existence of a classical strategy are all equivalent for bisynchronous transitive games. We then use some of these correspondences to establish necessary and sufficient conditions for some classes of correlations, that arise as perfect strategies of transitive games, to be nonlocal.

We introduce coloring groups, which are permutation groups obtained from a proper edge coloring of a graph. These groups generalize the generalized toggle groups of Striker (which themselves generalize the toggle groups introduced by Cameron and Fon-der-Flaass). We present some general results connecting the structure of a coloring group to the structure of its graph coloring, providing graph-theoretic characterizations of the centralizer and primitivity of a coloring group. We apply these results particularly to generalized toggle groups arising from trees as well as coloring groups arising from the independence posets introduced by Thomas and Williams.

In this paper we extend the construction of Giudici, Morgan and Zhou [arXiv:2110.07896] to give the first known examples of nonregular, $2$-closed permutation groups of rank greater than $4$ that are not the automorphism group of any digraph. We also show that this construction only gives examples for four particular primes.

A Kirkman Triple System $Γ$ is called $m$-pyramidal if there exists a subgroup $G$ of the automorphism group of $Γ$ that fixes $m$ points and acts regularly on the other points. Such group $G$ admits a unique conjugacy class $C$ of involutions (elements of order $2$) and $|C|=m$. We call groups with this property $m$-pyramidal. We prove that, if $m$ is an odd prime power $p^k$, with $p \neq 7$, then every $m$-pyramidal group is solvable if and only if either $m=9$ or $k$ is odd. The primitive permutation groups play an important role in the proof. We also determine the orders of the $m$-pyramidal groups when $m$ is a prime number.

A subset $S$ of a transitive permutation group $G \leq \mathrm{Sym}(n)$ is said to be an intersecting set if, for every $g_{1},g_{2}\in S$, there is an $i \in [n]$ such that $g_{1}(i)=g_{2}(i)$. The stabilizer of a point in $[n]$ and its cosets are intersecting sets of size $|G|/n$. Such families are referred to as canonical intersecting sets. A result by Meagher, Spiga, and Tiep states that if $G$ is a $2$-transitive group, then $|G|/n$ is the size of an intersecting set of maximum size in $G$. In some $2$-transitive groups (for instance $\mathrm{Sym}(n)$, $\mathrm{Alt}(n)$), every intersecting set of maximum possible size is canonical. A permutation group, in which every intersecting family of maximum possible size is canonical, is said to satisfy the strict-EKR property. In this article, we investigate the structure of intersecting sets in $3$-transitive groups. A conjecture by Meagher and Spiga states that all $3$-transitive groups satisfy the strict-EKR property. Meagher and Spiga showed that this is true for the $3$-transitive group $\mathrm{PGL}(2,q)$. Using the classification of $3$-transitive groups and some results in literature, the conjecture reduces to showing that the $3$-transitive group $\mathrm{AGL}(n,2)$ satisfies the strict-EKR property. We show that $\mathrm{AGL}(n,2)$ satisfies the strict-EKR property and as a consequence, we prove Meagher and Spiga's conjecture. We also prove a stronger result for $\mathrm{AGL}(n,2)$ by showing that "large" intersecting sets in $\mathrm{AGL}(n,2)$ must be a subset of a canonical intersecting set. This phenomenon is called stability.

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.