arXiv++ Combinatorics

For a finite group \(G\), let \(N(G)\) be the simplicial complex of subsets that do not generate \(G\). We separate a general Frattini-topological reduction from the structure special to finite \(p\)-groups. For every finite noncyclic group, the non-cone Frattini core is homotopy equivalent to the order complex of the proper part of the subgroup lattice of \(G/Φ(G)\). For a finite \(p\)-group this quotient is an elementary abelian vector space, and the core becomes the non-spanning complex of a uniform parallel extension of \(\mathrm{PG}(r-1,p)\), where \(r=d(G)\) and \(q=|Φ(G)|\). We use this geometry to determine the exact simplicial isomorphism data and full simplicial automorphism group, identify top homology equivariantly with the appropriate restriction of the Steinberg module, and derive modular consequences. We also give an explicit supportwise formula for every multigraded Betti number and compare it with a closed single-sum formula for the \(\mathbb Z\)-graded Betti numbers. Known matroidal and building-theoretic inputs are stated separately from the group-specific consequences. The resulting framework also yields the homotopy type, depth, regularity, projective dimension, face enumeration, and the complete Cohen--Macaulay classification.

We define coarse variants of the notions of connectivity, hamiltonicity, toughness, and spanning trees. Our notions are invariant under quasi-isometries, and they obey the same relationships between them as their classical analogs. We pose several open problems that are coarse versions of classical results and conjectures about hamiltonicity.

Let $\mathcal{G}$ be a finite connected simple graph with at least two vertices. We construct a finite regular hypertope $Γ$ whose diagram is the graph $\mathcal{G}$ with every edge labelled by $4$, and for which $Cor(Γ)/Aut(Γ) \cong Aut(\mathcal{G})$. This shows that any possible group of diagram symmetries can be realized by the correlations of a hypertope. The construction uses a group generated by involutions, with nilpotency class two, exponent four and commutator relations dictated by the defining graph.

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 and power graph with all isolated vertices removed. We characterized all the finite nilpotent groups $G$ except $2$-group 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 finite group whose difference graph is projective planar.

Given a semigroup $S$, a diagonal subsemigroup $ρ$ is defined to be a reflexive and compatible relation on $S$, i.e. a subsemigroup of the direct square $S\times S$ containing the diagonal $\{ (s,s)\colon s\in S\}$. When $S$ is finite, we define the DSC coefficient $χ(S)$ to be the ratio of the number of congruences to the number of diagonal subsemigroups. In a previous work we observed that $χ(S) = 1$ if and only if $S$ is a group. Here we show that for any rational $α$ with $0 < α\leq 1$, there exists a semigroup with $χ(S) = α$. We do this by utilizing the Rees matrix construction and adapting the congruence classification of such semigroups to describe their diagonal subsemigroups.

Given a cycle type, the corresponding conjugacy class of $S_n$ generates either $S_n$ or $A_n$ for sufficiently large $n$. We prove that the sequence of diameters of Cayley graphs is eventually polynomial on residue classes for any fixed cycle type. This result is also extended to finite unions of conjugacy classes.

The stylic monoid $\mathrm{Styl}_n$, introduced by Abram and Reutenauer, is the quotient of the plactic monoid by the relations $x^2=x$, and its elements are represented by $N$-tableaux. Volkov showed that the Catalan monoid $\mathrm{Cat}_n$ of order-preserving, order-decreasing self-maps of $\{0,1,\ldots,n\}$ is a quotient of $\mathrm{Styl}_n$. However, the quotient map is defined on generators, and it is not apparent how to see, from an $N$-tableau, the map in $\mathrm{Cat}_n$ it corresponds to. In this paper we give a simple visual way to read off this map, and some of its main properties, from the $N$-tableau. The new ingredient is that we do not insist on drawing an $N$-tableau as a classical Young tableau: we allow the entries of each row to be shifted relative to the row below, as long as each entry stays above a smaller one. We call this a positioning, and prove that the column word read from any positioning is plactically equivalent to the usual column word; so every positioning can be used to compute the quotient map. We work with the tight positioning, in which each entry is pushed as far right as possible, and define the full core of an $N$-tableau: the part of each column that climbs by consecutive values from the bottom row. We call an $N$-tableau full if it equals its full core. We prove that passing to the full core does not change the image in $\mathrm{Cat}_n$, that full $N$-tableaux are in bijection with $\mathrm{Cat}_n$, and we show how to read the corresponding map directly off a full $N$-tableau.

We prove that at every infinite cardinality, every group which is neither abelian of exponent greater than two nor generalized dicyclic admits a graphical regular representation, settling the infinite-group part of Watkins's conjecture. We also determine the Cayley index of every infinite group: it is $1$, $2$, or $8$, according to its algebraic type, and in every case the index is attained by a connected Cayley graph. For every infinite group $G$ of cardinality $κ$, we construct $2^κ$ pairwise nonisomorphic Cayley graphs with exactly the unavoidable inverse-pair symmetries, diameter two, and $κ$ common neighbors at every distinct pair. The principal tool recovers a continuous ordinal hierarchy from an alternating adjacency baseline with bounded-degree errors: robust finite patterns identify the initial classes, successive twin quotients recover the layers, and their finite exception packets determine the translation action. The reconstruction applies without a group action and is stable under additional layerwise bounded-degree edits. Further results give closed Cantor-cube families with prescribed finite data in the regular cases, sharp cofinality-dependent graph properties, and optimal three-valued shortest-path metrics.

We introduce the multiorbital bivariate chromatic polynomial F_Γ(G;x,y) = \sum_{H\leq G}\frac{1}{|H|}\sum_{h\in H}P_{Γ/h}(x,y), which aggregates the orbital bivariate chromatic polynomials associated with all subgroups of a finite group acting on a graph. We derive the equivalent element-wise representation F_Γ(G;x,y) = \sum_{g\in G}c_G(g)P_{Γ/g}(x,y), where c_G(g) = \sum_{\langle g\rangle\leq H\leq G}\frac{1}{|H|}. The coefficient function depends only on the cyclic subgroup generated by the element and is constant on conjugacy classes. This yields decompositions by cyclic subgroups and conjugacy classes and an interpretation in terms of the incidence algebra of the subgroup lattice. After normalization, the coefficients define a probability distribution obtained by choosing a subgroup uniformly and then an element uniformly from that subgroup. We also establish diagonal multiplicativity for disjoint unions and a weighted cycle-index expression for edgeless graphs. A further contribution concerns the distinguishing power of the orbital bivariate chromatic polynomial. We answer a question of Dohmen and Lange-Geisler affirmatively by exhibiting two non-isomorphic graphs, P_3 and K_2 \mathbin{\dot\cup} K_1 under C_2-actions, with identical orbital bivariate chromatic polynomials. The two actions nevertheless have different multiorbital bivariate chromatic polynomials. Thus the multiorbital polynomial is not determined by the orbital bivariate polynomial, whereas the converse question remains open.

We construct explicit off-diagonal Ramsey graphs from polynomial families of incident point--hyperplane flags. Universal interpolation translates the exact dimension of ordered clique configurations into a bound on their coefficient--label incidence. At the critical dimension, a polynomial separates the forbidden-pair image from its diagonal; deleting the corresponding edges preserves a triangular rank certificate. Restriction of scalars realizes the rational endpoint without rounding loss. The resulting fixed-$s$ exponent has leading scale $s/(2\log_2s)$, and short Frobenius relations give the explicit example $R(16,t)\geΩ(t^{2.0539221767\ldots})$. A finite-fiber construction gives the range $s^2(\log s)^2=o(\log t)$. For fixed parameters, algebraic preprocessing terminates and field initialization, vertex decoding and adjacency take deterministic time polynomial in the extension degree. We also retain an elimination-free variant and formulate the filtering argument for general forbidden configurations with a distinguished edge.

We show that, up to isometry, there is exactly one compact hyperbolic Coxeter 6-polytope with 10 facets, the polytope $P_{6,10}$ attributed to Bugaenko. Together with results of Felikson-Tumarkin ($d \ge 7$) and of Burcroff and Ma-Zheng ($d = 4, 5$), this completes the classification of compact hyperbolic Coxeter $d$-polytopes with $d+4$ facets. The proof is computer assisted. Affine Gale duality applied to the complete database of order types on 10 points yields 387 combinatorial types, of which Lannér's classification excludes 83. For the remaining 304, an exhaustive search over Coxeter labellings, with no a priori bound on the dihedral angles, leaves a single realizable Gram matrix. Every rejection is certified in exact arithmetic, and completeness of the search is certified independently by DRAT proofs checked by drat-trim. The same code reproduces the known censuses in dimensions 4 and 5. Code, data and certificates are publicly available.

In this paper, we compute the orders of upper triangular symplectic Renner monoids using admissible sets. We obtain both recursive and closed-form formulas for these orders. We then derive their exponential generating functions and establish connections between these functions and the Laguerre polynomials.

Motivated by the EPPA problem for finite tournaments,we consider various extension properties for partial permutations. We show that for any set $Π$ of prime numbers, the $Π$-extension property is equivalent to the $Π$-LERF. As a consequence of known results, the odd-extension property is then equivalent to the EPPA for finite tournaments. To study the $Π$-extension property, we reformate the property using the concepts of EP problems and $Π$-solutions. We then show that the existence of a $Π$-solution for an EP problem depends entirely on its fundamental group. In particular, when the fundamental group is trivial or cyclic, the EP problem has a $Π$-solution for any $Π$. These extend some known results of Huang, Pawliuk, Sabok and Wise [HPSW19]. We give examples of EP problems without nilpotent-solutions; they witness that the $p$-extension property and the $p$-LERF fail for any prime $p$. Then we consider a special kind of EP problems whose fundamental groups have two generators. We show that any 1-weakly wandering problem has a $Π$-solution for any $Π$. For 2-weakly wandering problems, we show that they all have odd-solutions and we completely characterize those without nilpotent-solutions.

Every group $G$, of arbitrary cardinality, admits a right-invariant metric with at most five values whose isometry group is exactly the group $Ξ(G)$ of permutations preserving every inverse-pair difference. Five is sharp. Writing $N(G)$ for the least number of values, including zero, we obtain $N(G)=1$ for the trivial group, $N(G)=2$ for $C_2$ and $C_3$, $N(G)=3$ for every other group outside an explicitly listed set $\mathcal{E}$ of 24 finite groups, $N(G)=4$ on $\mathcal{E}\setminus\{C_2^3, C_3^2\}$, and $N(C_2^3)=N(C_3^2)=5$. The exact result combines Cayley-graph realization theorems with verified finite certificates and hand proofs of the lower bounds. Separately, a uniform constructive 32-value bound uses subgroup-entry ranks, sign-variation conflict labels, and short-word rigidity, but no Cayley-index input or computation. In Knill's right-translation sense, a right-invariant metric on $G$ is naturalizing when every group law on its underlying set with isometric right translations is isomorphic to $G$; a group is natural when it admits such a metric. We prove that an abelian group $A$ is natural if and only if $2A=A$ or $2A=\{0\}$, and a nonabelian group is natural if and only if it is not generalized dicyclic. Every natural group admits a naturalizing metric with at most five values, and this bound is sharp.

We determine the torsion subgroup of $H_{m-1}(\mathbb{B}_mK_{m+1,m+r-1};\mathbb{Z})$ for $m\ge2$ and $r\ge0$: top homology with arbitrary coefficients is the kernel of an unsigned subset-inclusion matrix, and its integral diagonal form determines all primary summands. Every finite order occurs, with explicit representatives. Generalized theta classes span an embedded copy of the cokernel of the inclusion matrix, containing all torsion; for $r\ge m$ they generate the torsion, each of order $\operatorname{lcm}(1,\ldots,m)$. For every prime power $q$ and $m\ge q$, the graph $K_{m+1,m+q-1}$ is minimal in the minor order for order-$q$ torsion in $H_{m-1}(\mathbb{B}_m)$. In particular, odd torsion first appears in $H_2(\mathbb{B}_3K_{4,5})\cong\mathbb{Z}^{155}\oplus(\mathbb{Z}/2)^4\oplus\mathbb{Z}/3$, and no proper minor of $K_{4,5}$ has odd torsion in $H_2(\mathbb{B}_3)$. For arbitrary part sizes, we give a multiplicity-free decomposition of $H_m(\mathbb{B}_mK_{a,b};\mathbb{Q})$ under vertex permutations and prove that $H_{m-1}(\mathbb{B}_mK_{a,b};\mathbb{Z})$ has no $p$-primary torsion when $a,b\ge2m-1$ and $p\ge m$ is an odd prime. The explicit order-$q$ class retains its order under every enlargement of the second part of the graph, while for $m=q=p$ an odd prime it is killed by a specified enlargement of the first part.

We prove that if the product of two class transpositions has finite order, then its order divides 840. This gives a complete affirmative answer to Question 18.48 in the Kourovka Notebook. We also obtain a criterion for the product of two class transpositions to have infinite order. In addition, we construct a pair of class transpositions whose product has order 840, showing that the bound is sharp.

We investigate the structural, combinatorial, ideal-theoretic and Krohn-Rhodes complexity of the Margolis-Rhodes monoid, MR(G), of a finite simple graph G, viewed topologically as a 1-dimensional simplicial complex. Alongside the full monoid, we examine some subsemigroups including St(G), defined by the condition that the full inverse image is an edge or the empty set and Inj(G), the monoid of all partial 1-1 continuous functions. We provide explicit combinatorial enumerations and struture for paths and cycles. We compute Green's relations showing in particular that the partial order of regular J-classes is isomorphic to the poset of induced subgraphs of G. Finally, we apply these structural invariants to Krohn-Rhodes complexity theory. It is known that the Margolis-Rhodes monoid has complexity at most 2 and 1 for St(G) and Inj(G). We show that for cycles the complexity of its Margolis-Rhodes monoid is 2 if and only if the cycle is of length at least 4. For paths, we prove that the complexity of its Margolis-Rhodes monoid is 2 if the path length is at least 13.

We characterize four groups of Clifford circuits for Calderbank--Shor--Steane (CSS) codes that are relevant to fault-tolerant logical operations. First, we show that every code-preserving Clifford circuit is a product of Z-diagonal circuits, composed of S and CZ gates, and their X-basis analogues. Second, we define the two-fold transversal group, generated by depth-one two-local code-preserving circuits, and show that each of its elements can be expressed as a product of layers consisting of either Z-diagonal, X-diagonal, or CNOT gates. As a corollary, every transversal gate is a product of three transversal diagonal circuits; for connected non-self-dual codes, two such circuits suffice. We further show that every code-preserving automorphism circuit, consisting of single-qubit Clifford gates and permutations, has a normal form comprising a Hadamard layer, a permutation, and two diagonal circuits. We also define a two-fold automorphism group, in which a depth-one two-local circuit may be code-preserving up to a permutation, and show that its logical image can be larger than that of the two-fold transversal group. For 231 CSS codes, we provide explicit generators and determine the logical image of the two-fold transversal group. We tabulate 173 codes whose full logical Clifford group is generated by two-fold-transversal circuits, including codes of distances 3, 4, 5, 6, 8, 10, 12, and 13, with respective best rates 2/5, 3/4, 34/77, 17/28, 14/25, 1/27, 3/56, and 1/33. We construct families of CSS codes from bipartite grids, cut-complements, and quadrics, and census the self-dual codes invariant under rank-3 permutation groups. Many of these codes realize the full logical Clifford group in this way.

Let $Σ_{1} = \mathbb{N}^*$ and $Σ_{k+1} = \overline{\mathbb{N}^* + Σ_{k}}$ be the cumulative depth filtration of $β\mathbb{N}$, the analogue for $(\mathbb{N},+)$ of a chain of closed ideals that Protasov and Protasova studied for discrete groups, where strict descent follows from a theorem of Lutsenko and Protasov. For every $k$ we give an explicit set whose closure meets $Σ_{k}$ but not $Σ_{k+1}$. Fix the doubly exponential sequence $e_{n} = 2^{2^{n}}$, partition it into $k$ subsequences $E_{0}, \dots, E_{k-1}$ by the residue of the index modulo $k$, and set $A_{k} = E_{0} + \cdots + E_{k-1}$. We prove that any sum $q_{0} + \cdots + q_{k-1}$ of free ultrafilters with $E_{t} \in q_{t}$ lies in $Σ_{k} \setminus Σ_{k+1}$. The engine is a master lemma, proved by induction on $j$: if a sum $F_{1} + \cdots + F_{j}$ of subsequences of $\{e_{n}\}$ with pairwise disjoint index sets belongs to a free ultrafilter $s$, then $s \notin Σ_{j+1}$. The proof rests on a single rigidity of the doubly exponential sequence: a fixed difference forces the largest index in any shift-intersection, once it is large, to cancel within its own subsequence, which makes every shift-intersection descend by at least one level. The same witnesses lie in the gaps of the pure filtration.

In this paper, we first characterize which generalized lexicographic products are divisor graphs. As applications, we show that power graphs, reduced power graphs and order graphs are all divisor graphs, which also implies the main result in [Power graph of a finite group is always divisor graph, Asian-European Journal of Mathematics 16 (2023)]. We then show that, the coprime graph of a group is a generalized lexicographic product, and characterize which coprime graphs are divisor graphs. Finally, we classify the finite groups $G$ having at most four prime divisors, whose coprime graphs are divisor graphs, and we also classify the finite groups $G$ whose coprime graphs are divisor graphs, if $G$ is a nilpotent group, a dihedral group, a generalized quaternion group, a symmetric group, an alternating group, a direct product of two non-trivial groups, and a sporadic simple group.