arXiv++ Combinatorics

A group is called bidihedral if it can be expressed as a product of two dihedral subgroups. In this paper, a complete classification for all bidihedral groups is given.

We study the image of a regular unipotent element under any finite-dimensional irreducible polynomial representations of $\mathrm{GL}_3(\mathbb{C})$. This problem is equivalent to decomposing certain compositions of irreducible representations as $\mathrm{SL}_2(\mathbb{C})$-modules. We give an explicit decomposition of this finding, its Jordan decomposition.

A classical theorem of Frucht states that every finite group occurs as the automorphism group of a finite graph. We prove an embedded analogue for regular graphs of arbitrary degree. In particular, we show that for every $d\geq 3$ and every finite group $G$, there exists a $d$-regular graph $Γ$ with a strong embedding $β$ such that $\mathrm{Aut}(Γ) \cong \mathrm{Aut}(β(Γ)) \cong G.$ Further, we prove that for every such $d$ and $G$ there exists a sequence of $d$-regular graphs with corresponding strong embeddings whose genera form an unbounded sequence and whose automorphism groups are isomorphic to $G$. Along the way, we identify an oversight in Sabidussi's classical construction of regular graphs with prescribed automorphism group. We give an alternative construction that corrects this issue and strengthens Sabidussi's result by producing an automorphism group-invariant proper $d$-edge-colouring.

Let $G$ be a finite group with $|G|=p^m$ where $p$ is a prime and $m$ is a positive integer. Let $k<p$. Let $a_1,\ldots,a_k\in G$ be pairwise distinct and let $b_1,\ldots,b_k\in G$. Then there exists a permutation $σ$ on $1,\ldots,k$ such that $a_1b_{σ(1)},\ldots,a_kb_{σ(k)}$ are pairwise distinct. This extends a theorem of Feng, Sun and Xiang, who proved that the conclusion holds in abelian $p$-groups.

We study standard spherical growth rates of right-angled Coxeter groups through the clique polynomial of the defining graph. We prove that every even degree at least four occurs as the degree of a strongly primitive Salem growth rate: for each $d \geq 2$, there are infinitely many connected $K_{2d+1}$-free defining graphs whose full reciprocal-radius polynomial is an irreducible Salem polynomial of degree $2d$. We also prove independence-polynomial obstructions for prescribed Salem polynomials, including a sharp first-coefficient bound $a_1 \leq -5$, and apply them to Lehmer's polynomial and its suspension multiples.

Cayley codes, introduced by Kaufman and Wigderson, are linear codes constructed from a Cayley graph and a smaller linear code. We explore general properties of the class of Cayley codes for finite groups. In particular we give a reduction to Cayley codes for connected Cayley graphs that maintains code properties such as rate, minimum distance and symmetry. Also, for a given Cayley code, we identify a family of symmetric Cayley codes, each associated with a normal edge-transitive Cayley graph, such that the given Cayley code embeds into the direct sum of the symmetric Cayley codes. We analyse several families of examples, in particular studying the behaviour of the Cayley code construction under forming direct products and cartesian products of Cayley graphs, and we pose a number of open questions.

This work introduces and studies strong affine semigroups, extending the notion of strong numerical semigroups to the higher-dimensional setting. We show that non-numerical strong affine semigroups present structural differences with respect to strong numerical semigroups. Special attention is devoted to strong $\mathcal C$-semigroups. We prove that the family of strong $\mathcal C$-semigroups with a given set of multiplicities $E$ admits a maximal element and has a tree structure. We characterize when this family is finite and provide an algorithm to compute all such semigroups up to a fixed genus. We also introduce the notion of special strong affine semigroups and obtain refined versions of several previous results. Finally, we study toric ideals arising from strong affine semigroups, determining their indispensable monomials and Betti elements for several families.

It is well known that every regular Cayley map $M = \CM(G,X,p)$ on a finite group $G$ with respect to an inverse-closed generating set $X$ of $G$ and a specified cyclic permutation $p$ on $X$ corresponds to a skew morphism $\varphi$ on $G$ such that the restriction of $\varphi$ to $X$ is $p$. The skew-type of the map $M$ is defined as the index $[G:\Ker \varphi]$, which equals the number of distinct values in $\mathbb{Z}_{|\varphi|}$ taken by the associated power function $π$ of the skew morphism $\varphi$. In this paper, we develop a covering theory of skew morphisms and as an application we provide a classification of regular Cayley maps of skew-type three on the semidihedral groups.

We study the $R$-sequenceability of finite groups of odd order. Building on the classical theory of $R^*$-sequences and orthomorphisms, we explore two tools: the notion of $R^{**}$-sequenceability, a strengthening of $R^*$-sequenceability tailored for inductive arguments over normal subgroups with cyclic quotients, and the \textit{odd cycle index} $τ(G)$, which measures how many orthomorphisms are required to generate a full cycle together with an involution. Our main result is a Quotient-Normal Gadget theorem, which shows that if $G$ has a normal subgroup $N$ such that $G/N$ is $R^{**}$-sequenceable and $τ(N) \leq |G/N| - 3$, then $G$ itself is $R^{**}$-sequenceable. We prove that $τ(G) = 2$ for cyclic groups of order coprime with $3$, and establish an inductive bound $τ(G) \leq \max\{τ(N), τ(G/N)\}$ for odd ordered groups with a normal subgroup $N$. As consequences, we show that every group whose order is coprime with $30$ is $R$-sequenceable, and that every nilpotent group whose order is coprime with $6$ and not a power of $5$ is $R$-sequenceable. These results extend prior work on abelian groups to broad families of non-abelian groups.

The highest rank of a string C-group representation of the alternating group $A_n$ is known for each $n$, but no self-dual representations attaining this highest rank are known when $n > 12$. Motivated by computational results for alternating groups of small degree, we examine a vertex-gluing construction for permutation representation graphs. We establish conditions under which gluing two string C-groups produces another string C-group, and use this construction to obtain infinite families of self-dual representations of alternating groups. In particular, for every $n = 4m+3 \geq 15$, we construct $\left \lfloor \frac{n+9}{8} \right \rfloor$ distinct self-dual string C-groups of rank $2m$ isomorphic to $A_{n}$. These representations have rank one below the maximum possible rank of string C-group representations for $A_n$, and to the authors' knowledge are the highest-rank self-dual representations currently known for alternating groups.

The co-maximal subgroup graph $Γ(G)$ of a finite group $G$ is defined to be a graph with the set of all non-trivial proper subgroups of $G$ as the set of vertices and two distinct vertices $H$ and $K$ are adjacent if and only if $HK=G$. The deleted co-maximal subgroup graph of $G$, denoted by $Γ^*(G)$, is defined as the graph obtained by removing the isolated vertices from $Γ(G)$. In this paper, we prove that for any finite group $G$, $Γ^*(G)$ is connected. Furthermore, we show that $Γ^*(G)$ either contains a cycle or is a star. When $Γ^*(G)$ contains a cycle, its girth is either $3$ or $4$. Finally, we classify all finite groups $G$ for which $Γ^*(G)$ is a star.

Determining the conditions under which the direct product of graphs $G$ and $H$ satisfies $\mathrm{Aut}(G\times H)=\mathrm{Aut}(G)\times\mathrm{Aut}(H)$ has been a problem of considerable interest since Sabidussi's classic work in the 1950s. We call such a pair $(G,H)$ stable, and unstable otherwise. Although much progress has been made for graph pairs, the general digraph case has remained completely open. In this paper, we initiate the study of the stability of digraph pairs, and then focus on the stability of a single digraph $G$. This is defined as the stability of the pair $(G,K_2)$ and has been studied extensively when $G$ is undirected. We establish a necessary and sufficient condition for a connected digraph to be unstable, and use it to derive four sufficient conditions for circulant digraphs to be unstable. Moreover, we prove the nonexistence of nontrivially unstable finite arc-transitive circulant digraphs and nontrivially unstable Cayley digraphs of abelian groups of odd order.

Panmagic permutations are permutations whose matrices are panmagic squares, better known as solutions to the modular n-queens problem, configurations of n non-attacking queens on a toroidal nxn chessboard. Some of them, affine panmagic permutations, can be conveniently described by linear formulas of modular arithmetic, and we show that their sets are a generalization of groups with N-ary multiplication instead of binary one. With the help of the Post coset theorem, we identify panmagic N-ary groups as cosets of the dihedral subgroup and its extensions in the group of all affine permutations. We also investigate decomposition of panmagic permutations into disjoint cycles and find many connections with classical topics of number theory and combinatorics: square-free numbers, 4k+1 primes, quadratic residues, cycle indices from Polya counting, and linear congruential generators.

Panmagic permutations are permutations whose matrices are panmagic squares. Positions of 1-s in the latter describe maximal configurations of non-attacking queens on a toroidal chessboard. Some of them, affine panmagic permutations, can be conveniently described by linear formulas of modular arithmetic, and we show that their sets have remarkable algebraic properties when one multiplies three or more of them rather than just two. In group-theoretic terms, they are special cosets of the dihedral group in the group of all affine permutations. We also investigate decomposition of panmagic permutations into disjoint cycles and find many connections with classical topics of number theory: multiplicative orders, 4k+1 primes, primitive roots and quadratic residues.

Let $D_d(m)=\operatorname{Cay}((\mathbb Z/m\mathbb Z)^d,\{e_1,\ldots,e_d\})$, with all generators oriented positively. We give a second proof that $D_d(m)$ decomposes into $d$ directed Hamilton cycles for every $d\ge 2$ and every odd $m\ge 3$. The combinatorial core is a fixed-row-sum selection theorem for replicated supports: when each indexed support $A$ is repeated in $m$ identical rows, one can select $\lfloor |A|/2\rfloor$ entries from each row so that every column total is a unit modulo $m$. Applied to the Hamilton factors using a chosen coordinate direction, these selections prescribe the voltages in a cyclic lift that splits the direction into two. In fibre coordinates, the lifted successor is $\widehat h_j(x,z)=(h_j(x),z+\mathbf 1_{\{j\in M(x)\}})$. After one traversal of the base Hamilton cycle, the fibre return is translation by the total carry. Since this carry is a unit modulo $m$, the return is a single $m$-cycle and the lifted factor is Hamilton. The new fibres also preserve the direction-constant block structure required for the next split. Iterating from a directed $m$-cycle with $d$ parallel copies of each arc yields the desired decomposition. The proof strategy was proposed with the assistance of OpenAI GPT-5.5 Pro and formally verified in Lean 4.

Menger's theorem is one of the most fundamental results in graph theory. It states that if a graph $G$ does not contain $k$ disjoint paths between two given sets $X$ and $Y$ of vertices in $G$, then there is a set of at most $k-1$ vertices that intersects every path between $X$ and $Y$. Nguyen, Scott, and Seymour gave a counterexample to the conjectured natural coarse variant in which the paths are required to be pairwise at distance at least $d$, and, conversely, there is a set of at most $k-1$ bounded-radius balls intersecting every path between $X$ and $Y$. In other words, the coarse Menger property does not hold in general. We prove that graphs whose cycles space is generated by cycles of bounded length do have the coarse Menger property. As a corollary, we show that many natural graphs and geodesic metric spaces have the coarse Menger property. These include hyperbolic graphs, Cayley graphs of finitely presented groups, planar graphs with bounded face size, and complete Riemannian planes.

Consider the following plaquette model from statistical physics: a lamp lies at every vertex of the triangular lattice and a switch lies at every even vertex of the (bipartite) dual hexagonal lattice. Each switch toggles the three lamps on its face. The energy of a configuration is the number of ON lamps. For the Glauber dynamics associated with the Gibbs measure defined by this Hamiltonian at any inverse temperature $β>0$, we show that, in any dimension $d\ge 2$, the infinite volume relaxation time satisfies \[e^{β^2/C}/C \le T_{\mathrm{rel}}\le Ce^{e^{Cβ}}\] for some $C>0$. Our result entails that the Gibbs measure is unique. The $e^{β^2}$ scaling was conjectured by Newman and Moore in 1999 and matches the behaviour of supercritical rooted kinetically constrained models such as the East model, thus recovering fragile glass phenomenology in the absence of kinetic constraints. More precisely, we show that, on a torus of side length $2^k$, when $β\to\infty$ and $k/β\to0$, we have $T_{\mathrm{rel}}=e^{2βk(1+o(1))}$. Quite surprisingly, however, we also prove that, on non-periodic finite domains of size $n\le e^{β/C}$ for large $C>0$, we have the much larger asymptotics $\ln T_{\mathrm{rel}}=βn^{Θ(1)}$. The main ingredients of the proofs are new results in extremal and enumerative combinatorics and rely on renormalisation ideas for the dynamics and its groundstates also known as the Ledrappier subshift. We note consequences of our results to geometric group theory (more precisely to the complexity of the word problem for the Baumslag finitely presented group) and to ergodic theory.

Sidorenko's conjecture asserts that for every bipartite graph $H$ and every graph $G$, \[ t(H,G)\geq t(K_2,G)^{e(H)}. \] A result of Szegedy shows that, in order to prove the conjecture, it suffices to verify the corresponding inequality on a special family of highly symmetric bipartite Cayley type hosts arising from symmetric groups. Motivated by this reduction, we study Cayley type bipartite kernels associated with functions on finite groups and their conjugacy class averages. Our first result gives a reduction through conjugacy averaging: for a fixed bipartite graph $H$, if the $H$-density of each Cayley type host is at least the $H$-density of its conjugacy class average, then $H$ is strong Sidorenko, and hence Sidorenko. Our second result proves a Sidorenko-type inequality for 1-subdivision graphs on conjugacy-averaged Cayley kernels associated with arbitrary real-valued functions on finite groups.

We present an algorithm for computing the join of two elements in the weak order of the Coxeter group of type B. This extends Markowsky's algorithm for computing joins of standard permutations to signed permutations, and allows us to confirm a conjecture of Dyer concerning a geometric interpretation of these joins.

A finite subset $X$ of $\mathbb R^d$ is called Ramsey if for every $k$ there exists an $n$ such that whenever $\mathbb R^n$ is $k$-coloured there exists a monochromatic congruent copy of $X$. K\v rí\v z showed that if there is a soluble group of symmetries of $X$ that acts transitively on $X$, then $X$ is Ramsey. Determining which sets are Ramsey is a major unsolved problem. In this paper we show that if there is a finite group of isometries of $\mathbb R^d$ that acts transitively on a set $X$, and also on a set $Y$, then the `prism' formed by $X$ and $Y$ in $\mathbb R^{d+1}$ (meaning the set $X$ together with a translate of $Y$ in the direction perpendicular to $\mathbb R^d$) is itself contained in a finite set on which a group of isometries acts transitively. Moreover, if the initial group of isometries is soluble then so is the final group. This provides a new tool for generating Ramsey sets.