arXiv++ Combinatorics

With help of group characters we enumerate orientably-regular maps of a given type with automorphism group isomorphic to $\PGam(2,2^p)$ for prime $p$.

For a Coxeter system $(W,S)$ of finite rank and an involutive automorphism $\ast:W\to W$ which preserves $S$, we prove that the length-generating function $\sum_{z\in\mathbf{I}_{W,\ast}}q^{\ell(z)}$ of the set of $\ast$-twisted involutions is rational. We derive recurrence relations analogous to the well-known recurrence relations expressing the growth series $W(q):=\sum_{w\in W}q^{\ell(w)}$ in terms of the growth series $W_I(q)$ of the parabolic subgroups of $W$. Our result extends to any subset $\mathcal{C}$ of $\ast$-twisted involutions that is closed under $\ast$-twisted conjugation. We use these recurrence relations to give an alternative proof of a power-series identity for twisted involutions due to Lusztig.

Let $C$ be an $[n,k]_q$ maximum distance separable (MDS) code with $4\le k\le q-3$, and suppose that it has a $2$-transitive permutation automorphism group. In this paper we show that $n\le q+1$, so the MDS conjecture holds for this class of codes.

(This is a reprint of the thesis published in the Transactions of the Conference Devoted to the 90th Anniversary Of Alexei A. Lyapunov, Novosibirsk, October 8-12, 2001, pages 323-327). The number of ways for partial $n$-quasigroups of order $4$ to be extended to $n$-quasigroups is investigated. Upper bounds on the number of $n$-quasigroups of order $4$ are obtained. The asymptotic $3^{n+1}2^{2^n+1}$ of that number is established.

Although almost all graphs are asymmetric -- having no nontrivial global automorphisms -- they may still possess local symmetries in the form of isomorphisms between induced subgraphs, i.e., partial automorphisms. We study such local symmetries via asymmetric depth, defined in terms of the maximum rank of a nontrivial partial automorphism. We prove a tight upper bound on asymmetric depth in the class of planar graphs and identify the extremal graphs: duals of IPR fullerenes attain the maximum already on $47$ vertices. Our main structural result concerns the IPR fullerenes that are neither maximally asymmetric nor symmetric. In such a cage no purely local action realises a low asymmetric depth, and we show that the map which does realise it cannot be confined to a small part of the cage either: neither to a single face, nor behind an interface of at most $5-k$ edges, $k \le 3$ being the deficiency. A cage of asymmetric depth $2$ or $3$ is therefore not asymmetric in one place; it carries a broken symmetry invisible to its automorphism group. Such cages are rare -- under $2\%$ of the asymmetric IPR fullerenes at $n = 118$. In all $727$ of them the largest partial automorphism is a near-mirror reflection, which we state as an explicit conjecture. We also extend the asymmetric depth bound to graphs of higher genus.

The power graph of a finite group $G$ is a simple undirected graph with vertex set $G$ and two vertices are adjacent if one is a power of the other. The intersection power graph of a finite group $G$ is a simple undirected graph with vertex set $G$ and two vertices $x$, $y$ are adjacent if $\langle x\rangle \cap \langle y \rangle \neq \{e\}$. The difference graph $\mathcal{D}(G)$ of a finite group $G$ is the difference of the intersection power graph $\mathcal{G}_{1}(G)$ and power graph $\mathcal{P}(G)$ with all isolated vertices removed. We characterized all the finite nilpotent groups $G$ such that the difference graph is planar. Further, we determine all the finite nilpotent groups whose difference graph has genus at most $2$. Moreover, we prove that there does not exist any group whose difference graph is projective planar.

We introduce the multiorbital bivariate chromatic polynomial $F_Γ(G;x,y)=\sum_{H\le G}\frac{1}{|H|}\sum_{h\in H}P_{Γ/h}(x,y)$, which aggregates orbital bivariate chromatic polynomials over the subgroup lattice of a finite group acting on a graph. We derive an equivalent element-wise representation $F_Γ(G;x,y)=\sum_{g\in G}c_G(g)P_{Γ/g}(x,y)$ with $c_G(g)=\sum_{H\le G,\,g\in H}\frac{1}{|H|}$. The coefficient function depends only on the cyclic subgroup generated by the group element and is constant on conjugacy classes. This yields corresponding decompositions by cyclic subgroups and conjugacy classes, as well as a natural Möbius-theoretic interpretation. After normalization, the coefficients define a probability distribution on the acting group, giving a probabilistic interpretation of the multiorbital polynomial as an expected quotient polynomial. We further investigate its behaviour under disjoint unions and its specialization to edgeless graphs, where a weighted cycle-index expression is obtained.

For a finite permutation group, a base is a set of points with trivial pointwise stabiliser, and the generalised Saxl graph records which pairs of points lie together in a base of minimum size. Burness and Giudici conjectured that any two vertices of the Saxl graph of a primitive group of base size two have a common neighbour, and Freedman, Huang, Lee and Rekvényi extended this conjecture to arbitrary base size. We disprove both. For each integer $B\ge2$ we construct infinitely many primitive groups of base size $B$ whose generalised Saxl graphs contain two nonadjacent vertices with no common neighbour. At base size two, where this is the usual Saxl graph, we obtain three further infinite families, one each of affine, product and twisted wreath type, so the conjecture fails in three of the five O'Nan--Scott types; in the affine and product type families the Saxl graphs have diameter exactly three. This answers Problem~21.29 in the Kourovka Notebook in the negative. In the positive direction, we prove the Burness--Giudici conjecture for every primitive affine group whose point stabiliser is almost quasisimple of sporadic type, completing work of Lee and Popiel. We conjecture that no base-two counterexample of almost simple or diagonal type exists.

We will answer a problem of Dotsenko that asks for a tight upper bound on the rank of subgroups given a maximum length for its generators. Then, we will use the same tools to answer a longstanding problem of Grigorchuk in the 10th edition of the Kourovka notebook. We accomplish this using Stallings foldings and simple graph theory.

A classification is given of regular, rotary, and birotary Cayley maps of which the vertex number is coprime to the valency. The classification is involved in constructions of new examples of interesting Cayley maps.

Let $G$ be a permutation group that acts $2$-transitively on the finite set $V$ and let $\mathcal{T}=(V,T)$ be a two-graph whose automorphism group contains $G$. In this paper, we classify those strongly regular graphs $Γ$ with vertex set $V$ whose automorphism group is a transitive maximal subgroup of $G$ and whose associated two-graph is $\mathcal{T}$. In doing so, we obtain a new family of vertex-transitive strongly regular graphs whose associated two-graph arises from $PΣL(2,q)$.

We study the partition regular properties of topological groups, proving several extensions of Hindman theorem where monochromatic sets of finite sums are required to satisfy additional topological constraints. In particular, our results imply that for every nowhere dense set $C \subseteq \mathbb{R}^n$, there exists an open set $P \supseteq C$ such that for any finite coloring of $\mathbb{Q}^n \setminus P$, there is a family $\mathcal{A}$ of sequences in $\mathbb{Q}^n \setminus P$ which satisfies the following properties: (i) for each $A\in\mathcal A$, the set $\operatorname{FS}(A)$ of finite sums of $A$ is a closed discrete subset of $\mathbb R^n$; (ii) the set $\bigcup_{A\in\mathcal A}\operatorname{FS}(A)$ is monochromatic; and (iii) the set $\bigcup_{A\in\mathcal A}\operatorname{FS}(A)$ is dense in an open unbounded subset of $\mathbb R^n$.

We give solutions to several problems in combinatorial group theory recorded as open in the literature. Our main source is the Kourovka Notebook, although we also consider questions from elsewhere. All solutions were found with the assistance of large language models and checked by the authors.

Let $W$ be an affine Coxeter group of type $\widetilde{A}_n$, that is, the affine symmetric group $\widetilde{S}_N$ with $N=n+1$, let $T$ be its set of reflections, and let $\mathrm{Red}_T(w)$ be the set of reduced reflection factorizations of an element $w\in W$. The braid group acts on $\mathrm{Red}_T(w)$ by the Hurwitz action. For finite Coxeter groups it is known exactly when this action is transitive, namely precisely for the parabolic quasi-Coxeter elements. We address this problem for the affine type $\widetilde{A}_n$ by determining all orbits of $\mathrm{Red}_T(w)$.

We prove that Pyber's upper bound $2^{O(n\log(n))}$ for the number of minimally transitive subgroups of $S_n$ is best possible along the powers of every fixed prime, even when the groups are counted up to permutational isomorphism. As a byproduct, our construction shows that, along the powers of every fixed prime, the maximum order of a minimally transitive permutation group of degree $n$ is $2^{Θ(n)}$. For completeness, we also present Pyber's previously unpublished proof of his upper bound. We further deduce that the numbers of labelled vertex-transitive graphs and digraphs of order $n$ are both $2^{Θ(n\log(n))}$, and discuss the implications of our results for approaches to the McKay--Praeger conjecture.

Let $β$ be a coset incidence system and fix a type $j$. We use the orbits of the group of $β$ on pairs of distinct $j$-elements to define a Coxeter graph. The action on the $j$-elements induces an action on the corresponding Coxeter group, so the twisting construction for coset incidence systems can be applied. The resulting coset geometry, called the $j$-diagonals twisting, is always a regular hypertope if $β$ is a regular hypertope. Using this, we show that finite regular hypertope whose diagram is a tree with all but one of the labels equal to four always exist. We also define an extension operation that combines this Coxeter graph with another given Coxeter graph. For regular polytopes, these constructions recover the twisting extensions of McMullen and Schulte.

In this article, we prove two conjectures of Burness and Fusari [Timothy Burness and Marco Fusari, On derangements in simple permutation groups, Forum Math. Sigma 13 (2025)] concerning the powers and products of conjugacy classes of derangements in the symmetric and alternating groups: (1) We show that there exist two conjugacy classes $C$ and $D$ of derangements in $S_n$ such that $S_n=C^2\cup CD$, and (2) We show that there exists a conjugacy class $C$ of derangements in $A_n$ such that $C^2=A_n$, whenever $n\equiv 3\;(\text{mod}\;4)$. In fact, our result concerning the second conjecture holds in a considerably more general setting, which also answers affirmatively a question posed by Bertram [Edward Bertram, Even permutations as a product of two conjugate cycles, J. Comb. Theory, Ser. A 12 (1972), 368-380] in a particular case. Moreover, we show that any conjugacy class $C$ of derangements in $S_n$ (resp. $A_n$) contains a pair of elements that generate $S_n$ or $A_n$ (resp. $A_n$), unless $C$ is the conjugacy class of fixed-point-free involutions.

In this paper the tree structure of numerical semigroups is studied. An internal numerical semigroup is a semigroup located in an internal node of the tree. Analogous a leaf numerical semigroup is placed in a leaf node. Internal semigroups with fixed multiplicity, Frobenius number or genus are studied by providing algorithms to construct all of them. Several conjectures are established, for example, in each case (fixed multiplicity, fixed Frobenius number and fixed genus respectively), the results suggest that there are always more internal than leaf numerical semigroups. Finally, numerical semigroups with fixed multiplicity and Frobenius number simultaneously are investigated. In this case with two invariants fixed, moreover closed formulas to count the number of internal and leaf semigroups are provided for some values of multiplicity and Frobenius number.

The connective constant $μ(G)$ of a graph $G$ is the exponential growth rate of the number of self-avoiding walks starting at a given vertex. We prove upper and lower bounds for the connective constants of Cayley graphs $G_ω$ of a general Grigorchuk group encoded by a sequence $ω\in\{0,1,2\}^{\Bbb N}$. In particular, $μ(G_ω) > φ$ for any such Cayley graph (subject to a simple condition on $ω$), where $φ:= \frac12(1+\sqrt 5)$ is the golden mean. This extends earlier work of the author and Zhongyang Li in "Cubic graphs and the golden mean'', Discrete Math. 343 (2020), article 111638, where it was conjectured that $μ(G)\geφ$ for all infinite, vertex-transitive, cubic graphs. The current work includes an analysis of the proportions of appearances of given label-sequences in the orbital Schreier graphs of general Grigorchuk groups.

We present here a generalized construction of a finite solvable group whose prime character degree graph has the shape and structure of the bowtie graph. As with the original bowtie, the graphs obtained by this generalized construction, under certain restrictions, cannot be realized by the usual method of taking direct products of smaller graphs. Within the condition of $n=1$, we show how this recovers the original bowtie graph, which has five vertices. We also provide examples and explicit choices of primes which generate graphs with more vertices.