arXiv++ Combinatorics

The interval $[1,c]_T$ between the identity element and a Coxeter element $c$ in the absolute order on a Coxeter group $W$ is a generalization of the poset of noncrossing partitions arising when $W$ is the symmetric group. When $W$ is finite, this poset is always a lattice, and it is natural to associate to every element $w\in [1,c]_T$ its \textit{moved space} $\mathsf{Mov}(w)=\mathrm{Im}(w - \mathrm{Id}_V)$ in the geometric representation $V$ of $W$. It has dimension equal to the reflection length $\ell_T(w)$ of $w$, and gives a realization of $[1,c]_T$ inside the lattice of subspaces of $V$. It is an important tool in the study of $[1,c]_T$. When $W$ is infinite, the moved space of an element $w\in [1,c]_T$ no longer has dimension $\ell_T(w)$ in general, and distinct elements may have the same moved space. We propose a replacement for the moved space of an element $w\in [1,c]_T$ in an arbitrary Coxeter group, that we call \textit{absolute moved space} of $w$. This subspace $\mathsf{AM}(w)$ of $V$ always contains $\mathsf{Mov}(w)$ and has dimension equal to $\ell_T(w)$, and distinct elements have distinct absolute moved spaces. This allows us to derive several properties of noncrossing partition posets that hold in full generality, and to show that the natural map from $[1,c]_T$ to reflection subgroups of $W$, which to $w\in [1,c]_T$ associates the subgroup $P(w)$ generated by reflections lying below $w$ in the absolute order, is always injective. Among others, we also derive a new proof of the lattice property of $[1,c]_T$ when $W$ has rank three, and exhibit infinitely many new examples of infinite Coxeter groups of rank four and choices of Coxeter elements for which $[1,c]_T$ fails to be a lattice.

Let $E_2$ be the extraspecial group of order $3^5$ and exponent three. We prove that $d(E_2\times C_3^r)=2r+10$ for $0\le r\le3$. The upper bounds follow from signed zero-block identities and two finite statements in the four-dimensional symplectic space over $\mathbb F_3$. The first supplies edge weights for all completable balanced triangles on any indexed list of at most sixteen nonzero vectors. The second supplies weights for the direction families that can occur in a critical list with no central terms. We give complete coverage arguments, exact certificate files, and separately implemented checking programs. A compression argument removes any need for an induction through smaller list lengths in the sixteen-term potential theorem. The formula for $r\ge4$ remains open.

Studying geodesics in Cayley graphs of groups has been a very active area of research over the last decades. We introduce the notion of a uniquely labelled geodesic, abbreviated with u.l.g. These will be studied first in finite Coxeter groups of type $A_n$. Here we introduce a generating function, and hence are able to precisely describe how many u.l.g.'s we have of a certain length and with which label combination. These results generalize several results about unique geodesics in Coxeter groups. In the second part of the paper, we expand our investigation to infinite Coxeter groups described by simply laced trees. We show that any u.l.g. of finite branching index has finite length. We use the example of the group $\widetilde{D}_6$ to show the existence of infinite u.l.g.'s in groups which do not have any infinite unique geodesics. We conclude by exhibiting a detailed description of the geometry of such u.l.g.'s and their relation to each other in the group $\widetilde{D}_6$.

For a finite group $G$, let $λ(G)$ denote the minimum number of orbits on the elements of a finite lattice $L$ with $\operatorname{Aut}(L)\cong G$. Babai and Goodman conjectured that $λ(G)$ is bounded by an absolute constant. We prove that $λ(G)\leq 50$ for every finite group $G$, thereby confirming their conjecture. Moreover, the lattice can be chosen to have a regular orbit. The main algebraic ingredient is a decomposition of a generating set of an arbitrary finite $2$-group into an elementary abelian part and two sets in which no quotient of distinct elements is an involution.

In this paper, we investigate the edge-coloring number of various graphs defined on finite groups. We notably show that the power graph of a finite group $G$ is overfull if and only if the power graph of $G$ is of Class $2$ (has edge-coloring number one more than its maximum vertex degree) if and only if $G$ is a cyclic group of odd prime power order. We find the equivalent necessary and sufficient conditions to be Class $2$ for the intersection power graph and enhanced power graph (respectively cyclic of odd prime power order, and cyclic of odd order), and investigate the situation for the proper power graph. Finally, we give conditions for the power graph of a finite group to have the universal edge pre-coloring extension property: every optimal coloring of the power graph extending to another graph without modifying the existing colors (the enhanced power graph in our case).

Let $G=\langle a,b\rangle$ be a finite group with distinct nonidentity generators, and suppose that $H=\langle ba^{-1}\rangle$ is normal. We determine exactly which complementary generator choices on the nonterminal cosets of $H$ extend to two arc-disjoint Hamiltonian paths with both terminal vertices in $H$. The associated return residue must avoid an explicit set of at most six residues. When $[G:H]\ge3$, any two nonterminal cosets may be left free while all other choices are prescribed; two is best possible. Every such Cayley digraph has two arc-disjoint Hamiltonian paths; this includes all two-generator Cayley digraphs of finite abelian groups. The criterion follows from a complete distance formula for the Hamiltonian cut spectra of $\mathrm{Cay}(\mathbb{Z}_q;\{D,D+1\})$. Their unique nondegenerate exception comes from the odd central coefficient $(q-1)/2$. The geometric ingredient is a confinement theorem: two sector-filled integer sequences satisfying a length inequality, with overlapping ranges and distance at least two, have one sequence contained in a single gap of the other. Sector filling bounds alternation, and the length inequality excludes interlacing. A self-contained proof of the primitive-ray cycle profile follows the intersection geometry of Curran and Witte.

We give a direct, self-contained construction of the three sporadic Fischer groups $\mathrm{Fi}_{24}'$, $\mathrm{Fi}_{23}$, and $\mathrm{Fi}_{22}$ from the $783$-dimensional Conway-Parker algebra. We prove that its distinguished roots define involutory algebra automorphisms whose projective actions generate the full Fischer $3$-transposition group $\mathrm{Fi}_{24}$. Its commutator subgroup gives $\mathrm{Fi}_{24}'$, while $\mathrm{Fi}_{23}$ and $\mathrm{Fi}_{22}$ arise as centralizer quotients associated with one and two commuting transpositions. The root and frame geometry determines the group orders and leads to elementary proofs of simplicity, as well as natural rank-three actions and nonsplit central extensions. The construction uses standard facts about the Golay code, Parker's loop, and $M_{24}$. It does not use the Monster or previously known existence or order results for the Fischer groups. Fischer's classification and later recognition theorems are used only for the final identification.

The paper studies the distribution of dimensions of irreducible representations of a finite group and compares them with the sizes of its conjugacy classes. We study these questions for a fixed reductive group over growing finite fields, for $\mathrm{GL}_n(\mathbb{F}_q)$ where $q$ is fixed but $n$ varies, and for the symmetric group $S_n$ as $n$ varies. We also discuss finite nilpotent groups arising from Lie algebras over finite fields. As a consequence of Kirillov theory, we deduce that for ``selfdual'' nilpotent groups whose nilpotency class is less than the characteristic of the field, the squares of the dimensions of irreducible representations match the sizes of conjugacy classes, with multiplicity. These groups thus provide a large class of examples with this property.

Given a finite transitive group $G\leq \operatorname{Sym}(Ω)$, the derangement graph $Γ_G$ is the graph whose vertex set is $G$, and two vertices $g$ and $h$ are adjacent if the ratio $h^{-1}g$ is a fixed-point-free permutation. In this paper, we show that the automorphism group of the derangement graph of the transitive permutation group corresponding to the natural action of $\operatorname{PGL}_{2}(q)$ on the projective line $\operatorname{PG}_{1}(q)$ is \begin{align*} \operatorname{Aut}(Γ_{\operatorname{PGL}_{2}({q})}) = \left(L_{\operatorname{PGL}_2(q)}\times R_{\operatorname{PGL}_2(q)}\right) \rtimes \left(\langle ψ\rangle \times γ_{\operatorname{Aut}(\mathbb{F}_q)}\right), \end{align*} where $L_{\operatorname{PGL}_2(q)}$ is the left-regular representation of $\operatorname{PGL}_2(q)$, $R_{\operatorname{PGL}_2(q)}$ is the right-regular representation of $\operatorname{PGL}_2(q)$, $γ_{\operatorname{Aut}(\mathbb{F}_q)}$ is the group of conjugation by elements of $\operatorname{Aut}(\mathbb{F}_q)$, and $ψ: \operatorname{PGL}_2(q) \to \operatorname{PGL}_2(q)$ such that $ψ(x) = x^{-1}$.

We show that there exists a constant $ε> 0$ such that if $C$ is a conjugacy class in $A_n$ of size at least $|A_n|^{1-ε}$, then $A_n \setminus \{1\} \subseteq C^2$. This proves the robust version of Thompson's conjecture for the alternating group, conjectured by Shalev (Annals of Math., 2009). Our proof combines character bounds and combinatorial cancellation techniques with the recent theory of hypercontractivity for functions over symmetric groups.

Oftentimes, the Shapley value, a measure of the contribution of a player to a game, becomes infeasible for games with many players. However, establishing symmetry allows for polynomial-time computation. To examine this reduction, we identify the spectrum of a homogeneous group game by using an induced representation from a Young subgroup. We prove that the depth of interaction of a two-group game is limited by the size of the minority group. Therefore, the algebraic structure of the game filters out a large space of irrelevant complexities. We then show that this filtration constrains any symmetric linear value to a specific subspace. This recovers the Shapley value uniquely for games consisting of exactly two homogeneous groups under standard axioms. Finally, we explore applications to the UN Security Council and complementary goods markets to illustrate the practical power of this approach.

Graphical discreteness is not preserved under quasi-isometry in general. We prove that, for every finite thick generalized $m$-gon $Γ$ with $m\geq 3$, graphical discreteness is nevertheless constant on the class of finitely generated groups quasi-isometric to the right-angled Coxeter group $W_Γ$: such a group $Λ$ is graphically discrete if and only if $Γ$ is nonflexible, meaning that no nontrivial graph automorphism of $Γ$ fixes a closed star pointwise. The proof combines quasi-isometric rigidity of Fuchsian buildings with a metric-strata argument that recovers the standard Coxeter Cayley graph from the building metric. For finite-rank Coxeter systems, we also show that the automorphism group of the standard Cayley graph is compact-by-discrete if and only if it is discrete, equivalently, if and only if the defining diagram is nonflexible. We further obtain obstructions to graphical discreteness from one-vertex doublings, classify compact-by-discreteness for standard chamber graphs of graph products of finite groups, and derive applications to finite projective planes and to right-angled Coxeter groups with Menger curve boundary. Our methods do not settle whether nonflexible finite thick generalized polygons exist.

We develop a geometric lifting method for inverse sumset problems in compact connected abelian groups. The first result is an analogue of Freiman's $3k-4$ theorem, that is every compact set $A\subseteq G$ of sufficiently small Haar measure satisfying $μ_G(A+A)<3μ_G(A)$ is contained in a one dimensional Bohr set of measure at most $μ_G(A+A)-μ_G(A)$. This resolves a question of Christ and Iliopoulou. The proof combines Bilu's theorem with a geometric refinement of the spillover argument. We also establish a sharp projection theorem. Under a continuous surjective homomorphism with connected kernel, a compact set of sufficiently small positive measure and doubling at most $K$, where $2\le K<3$, has image of doubling at most $2K-2$, and this factor is best possible. Further consequences include variants of the $3k-4$ theorem for popular sumsets and an inverse theorem for Tao's convolution inequality.

A conjecture of Lewis asserts that two reflection factorizations of the same element in a finite Coxeter group $W$ belong to the same Hurwitz orbit if and only if they generate the same subgroup $H$ of $W$ and have the same multiset of $H$-conjugacy classes. We prove this conjecture for every finite Coxeter group all of whose irreducible components are of type $A$, $B$ or $D$. Furthermore we prove a reduction, which reduces the conjecture to a finite problem for the exceptional types.

A $\textit{magic-lined hypercube}$ (or, simply, $\textit{magic hypercube}$) of order $k$ and dimension $n$ is an arrangement of the numbers $1,\dots,k^n$ in a $k\times\cdots\times k$ ($n$-fold) grid such that every line of $k$ numbers parallel to a coordinate axis has the same magic sum. While such hypercubes exist for every order $k\ge 3$ and every dimension $n$, no magic-lined hypercube of order $2$ exists in any dimension $n\ge 2$. For hypercubes of order $2$, we thus relax the magic condition from lines to two-dimensional faces or planes. We call an arrangement of the numbers $1,\dots,2^n$ in a $2\times\cdots\times2$ ($n$-fold) grid \emph{magic-faced} if every $2\times2$ face has the same magic sum. We prove that a magic-faced hypercube of order $2$ exists in every dimension $n\ge0$, and that it is unique up to a certain natural set of transformations of size $2^n(n+1)!$ when $n$ is even and $2^n n\cdot n!$ when $n$ is odd. As an application, we recover and generalize the classical $4\times4$ Khajuraho magic square, answer a question of Coxeter on the group acting on the $384$ ``most-perfect" $4\times4$ magic squares, and extend the picture to higher dimensions. In particular, we prove that, in dimension $n$, these most-perfect objects form a single orbit under a certain natural action of the Weyl group $W(B_{2n})$.

All the eigenvalues of an integral graphs are integers. Integral graphs are extremely rare. They form an asymptotically vanishing fraction $2^{-Ω(n)}$ among all graphs on $n$ vertices. It makes the construction of a new family of integral graphs a challenging task. Also, most of the known infinite family of integral graphs rely on Cayley graphs over Abelian groups. In this article, we introduce a new family of integral graphs obtained from the groups. The construction of our graphs from groups is different from the construction of Cayley graphs. A spectral uniqueness theorem is established, which shows that each member of the infinite family is determined by its adjacency spectrum among all finite simple graphs. We also present recursive constructions that generates larger members of the family from smaller ones, providing a scalable class of integral graphs. Finally, we investigate algebraic realizations of these graphs as complements of Proper Prime Order Element Graphs of finite $2$-groups and obtain conditions characterizing such realizations. We also observe that the graphs obtained from different non-isomorphic groups have cospectral graphs.

The cubic pancake graphs are Cayley graphs over the symmetric group $\mathrm{Sym}_n$ generated by three prefix reversals. There is the following open problem: characterize all the sets of three prefix reversals that generate $\mathrm{Sym}_n$. As the largest prefix reversal of length $n$ is always included in a triple, we give a complete solution of the problem when any of the two smallest or the two largest lengths but $n$ are included in a triple of prefix reversals. Moreover, some conditions implying a triple of prefix reversals does not generate $\mathrm{Sym}_n$ are considered. Computational results on the diameter and the girth of some cubic pancake graphs are presented, and conjectures for future research are formulated.

It is well-known that any Coxeter group $W$ is a meet-semilattice with respect to weak order. Furthermore, when $W$ is finite, it is a lattice. In the first part of this paper, we give a recursive algorithm that computes joins in weak order for arbitrary finite $W$. In the second part, we complete the proof of a conjecture of Dyer expressing the inversion set of a join in terms of the union of inversion sets of each factor, under the assumption that $W$ is finite. Some proofs were developed in collaboration with Claude Opus 5.

For every even prime power $q>2$, we explicitly construct a rank five string C-group representation of the Chevalley simple group $G_2(q)$ using its natural seven-dimensional matrix representation. We also give a census for the string C-group representations of $G_2(q)$ of ranks four and above for every prime power $3 \le q \le 11$; providing computational evidence that rank five string C-group representations of $G_2(q)$ are rare and that this construction is exceptional among the currently known examples.

We show that for $n \geq 6$ each element of the commutator subgroup in the symmetric group $\mathfrak{S}_n$ resp. in the signed symmetric group $(\mathbb{Z}/2\mathbb{Z})^n\rtimes\mathfrak{S}_n$ is the commutator of two $n$-cycles resp. the commutator of two $n$-cycles with a negative sign product; with one exception. If $n \equiv 2$ $\mathrm{mod}~4$, the element $-\mathrm{id}$ of $(\mathbb{Z}/2\mathbb{Z})^n\rtimes\mathfrak{S}_n$ is not such a commutator. In the language of Coxeter groups, this yields a description of commutators of Coxeter elements in types $A$ and $B$.