arXiv++ Combinatorics

The cocyclic development of Hadamard matrices has recently been extended from groups to loops by means of a cohomology theory that incorporates associativity obstructions. Over the finite field $\mathbb F_2$, the resulting loop-cocycles can be computed as solutions of homogeneous linear systems, making the framework suitable for exact computation. In this paper, we investigate multidimensional Hadamard matrices arising from finite loops. We introduce the notion of $δ$-compatible pairs of $2$-cochains over a loop $L$ as a natural extension of the usual $2$-cocycle identity, which allows the use of two distinct $2$-cochains. They form a vector space naturally isomorphic to the direct product of the space of $2$-cocycles and the space of $1$-cochains. This yields a generalization of the classical cocyclic construction of multidimensional Hadamard matrices from groups to arbitrary loops, while preserving the computational advantages of the cocyclic approach. The obtained decomposition shows that the determination of Hadamard equivalence classes can be reduced from the full space of $δ$-compatible pairs to the smaller space of ordinary $2$-cocycles, eliminating a redundant factor of $2^n$ from the search space. Computational results for all groups of orders $4$ and $8$, together with a non-associative loop of order $8$, show that the proposed three-dimensional construction refines the classical cocyclic Hadamard classification. While all examples collapse into a single equivalence class in dimension two, they split into several distinct classes in dimension three. In particular, the non-associative loop produces a three-dimensional Hadamard class that does not arise from any of the groups considered, showing that the multidimensional construction detects structural information that is invisible at the cocyclic matrix level.

A cyclic subgroup graph of a group is a graph whose vertices are cyclic subgroups of the group, and two distinct vertices are adjacent if one is a maximal subgroup of the other. In this paper, we examine several graph-theoretic properties of cyclic subgroup graphs, including bipartiteness, regularity, girth, diameter, and vertex degrees. We also classify all groups whose cyclic subgroup graphs are connected, complete, star graphs, trees, or paths. Further, we examine the cyclic subgroup graph for specific families of groups such as cyclic, dihedral, dicyclic, generalized quaternion, minimal non-cyclic and nilpotent groups. We also discuss the relationship of cyclic subgroup graph with the power graph and the enhanced power graph. Additionally, we give a relationship between a cyclic subgroup graph and a poset.

In this article, we study $2$-$(v,k,λ)$ designs $\mathcal{D}$ admitting a flag-transitive almost simple automorphism group $G$ with socle one of the Mathieu groups. In conclusion, we obtain all such $2$-designs with explicit constructions with appropriate references to known designs. To our knowledge, we obtain $101$ newly-constructed flag-transitive $2$-designs.

For $n\geq3$, the group $\mathrm{SL}_n(\mathbb Z)$ has property $(T)$, so every finite generating set has a positive Kazhdan constant. However, it was recently shown that the infimum of these constants over all finite generating sets is $0$. This naturally raises the question of whether the infimum remains zero when the cardinality of the generating sets is bounded in advance. We prove that the infimum of the Kazhdan constants of $\mathrm{SL}_n(\mathbb Z)$ over all two-element generating sets is $0$ for every $n\geq3$.

Let $Γ$ be the Cayley graph of Thompson's group $F$ with its standard generators. Belk and Brown constructed finite marked-forest subgraphs of limiting density $7/2$, and Guba showed that deleting certain low-degree vertices gives density greater than $3.5004$. We refine this approach in two directions. First, a deterministic interval-deletion rule followed by root-sensitive triple and pair deletions yields finite induced subgraphs with \[ \operatorname{dens}(Γ)>3.50074529. \] The interval rule is evaluated by a nine-state recurrence, while the simultaneous deletion conditions created by split and merge operations are computed exactly by a common-suffix first-passage argument. Second, we determine the joint distribution of the categories of a tree and its two children and reduce optimization over every fixed category-window retention rule to a weighted densest-subgraph problem. An explicit edge-allocation certificate shows that, for every fixed $a\ge0$, the optimal limiting density of a rule depending on the window $[-a,1]$ is exactly $7/2$. Thus arbitrary finite left context together with one right-hand category does not improve the Belk--Brown limit, whereas the root-sensitive whole-segment construction does. All constants are explicit elements of $\mathbb Q(\sqrt3,\sqrt{2\sqrt3-1})$.

We propose a factorization of the graph isomorphism problem for Bestvina-Brady groups (BBGs) through matroid theory. In particular, we show that finitely presented BBGs depend on their defining graphs only through their cycle matroids. On the other hand, we construct graphs of arbitrarily high connectivity such that they have non-isomorphic cycle matroids but their BBGs are isomorphic. To do so, we prove that if a graph admits a tree clique-spanner, then the Dicks-Leary presentation of its BBG can be explicitly simplified to a right-angled Artin group presentation. In particular, we show that BBGs defined by dually chordal graphs are right-angled Artin groups.

We generalize known results on normalized symmetric coordinates and their dual differential operators, established for the symmetric group, to the complex monomial reflection group $G(r,n):=μ_r\wr S_n$ (with $G(1,n)=S_n$). The central tool, proved in detail, is a \emph{transfer principle}: the substitution $y_i=x_i^r$ identifies the invariant ring of $G(r,n)$ with that of $S_n$ and transports, term by term, the corresponding operators and coordinates into explicit rational objects in the original variables $x_i$. From this we deduce the $G(r,n)$-analogues of the known results for $S_n$ existence and uniqueness of the dual coordinates $U_k$, and a Weyl algebra structure localized at the discriminant of $G(r,n)$ with complete and self-contained proofs for the points that do not follow directly from the transfer (Leibniz rule, main theorem). We then treat the \emph{total diagonal}: its preimage splits into $r^{n-1}$ lines permuted transitively by the group, and there, unlike the transferred operators $Δ_i$, the \emph{raw} derivatives $\partial_{x_i}$ exhibit a phenomenon specific to $r\ge2$ that we describe completely via a Fa di Bruno-type structure formula. Finally, we give a closed formula for the constants of this structure formula (via Bell polynomials), completely resolve the degeneracy at an isolated point $x_i=0$ (the operator $Δ_i$ extends holomorphically there, with $Δ_iϕ=\partial_i^rϕ/r!$), and deduce from this a partial analogue of the description of the tangent space to the GIT quotient $\CC^n/G(r,n)$; the case of several coordinates vanishing simultaneously remains open and is precisely delineated. Full proofs of all new results are given in detail.

For a set $W$ of nonempty words, let $S(W)$ be the flat semiring formed by the nonempty factors of words in $W$, together with an absorbing zero. We prove that $S(W)$ has a finite identity basis whenever every word in $W$ is linear, with no restriction on the size of $W$ or on the lengths of its words. In the bounded case its variety is generated by the interval semiring $A_m\cong S(a_1\cdots a_m)$, where $m$ is the maximum word length and the letters $a_i$ are distinct. In the unbounded case its variety is generated by the interval semiring on all finite intervals of the nonnegative integers. We give explicit finite bases in both cases. The proofs encode nonzero polynomial evaluations by endpoint graphs and derive the required graph identifications using finitely many splicing identities. In particular, the eleven-element semiring $S(abcd)$ is finitely based, providing a counterexample to the length-bound conjectures for $S(W)$ proposed by Gao, Ren and Zhao.

We study Gallai decomposition for groups equipped with two-sided invariant partial orders. The key algebraic step extends to arbitrary binary relations compatible with the group operation: if all left and right translations preserve a binary relation $ρ$, then every least strong module $S_ρ(\e,g)$, $g\ne\e$, is a subgroup. For a partial order this subgroup is convex. Thus the robust modules through the identity of an ordered group form a canonical chain of convex subgroups, with each canonical factor $H/H^-$ prime, totally ordered, or equality-ordered. We characterize exactly the subgroups that are modules, show that they form a complete sublattice of the subgroup lattice, establish overlap and inheritance results for arbitrary subgroups, and prove compatibility with quotients by normal strong subgroups. For $N$-free ordered groups the prime factors disappear. Using the robust-module decomposition of cographs, we characterize all two-sided invariant $N$-free partial orders by reduced admissible two-coloured subgroup chains, with totally ordered and equality-ordered canonical factors; the order is determined by the first nontrivial factor of each element. We also determine how the canonical decomposition restricts to arbitrary subgroups, characterize finite width and prove width divisibility for subgroups, and show that every reduced two-coloured chain is realized by an $N$-free ordered abelian group whose canonical factors are isomorphic to $\mathbb Z$.

We study unordered triples of order-$n$ floretion base vectors whose tile centroids form nondegenerate equilateral triangles. A scaled integer centroid map turns Euclidean completion into exact arithmetic on a triangular lattice, and a residue obstruction modulo $3$ shows that every equilateral centroid triangle uses three tiles of one orientation. Combined with finite triangular-lattice completion counts, this gives $|E_n|=4^n(4^n-1)/12$. For synchronized local $γ$-cycles, $|L_n|=(7^n-4^n)/3$ and $|L_n|/|E_n|\sim4(7/16)^n$, while on the no-$e$ support $S_n=\{i,j,k\}^n$ locality is exhaustive and $|E_n^S|=|L_n^S|=(2^n-1)3^{n-1}$. The union of the three main axes supports exactly $|E_n^{\rm ax}|=4^{n-1}+2^n-2$ equilateral triangles, split into the branches $x=y=z$ and $x+y+z=0$. For $T\in E_n$, the unsigned vertex product defines a product point $C_T$; a digitwise parity criterion characterizes $C_T=Q_T$ on local cycles and yields Fibonacci subfamilies. Multiplication-generation is equivalent to $p(T)=e_n$, hence $C_T=0$; locally this gives exactly the nontrivial global $γ$-orbits, and exact enumeration through order $6$ finds no nonlocal example. Retaining the signs discarded by the unsigned product gives a second classifier: a triangle has scalar vertex-sum square exactly when its three vertices pairwise anticommute. For local cycles this occurs exactly when $|S|$ is odd, giving $|\mathrm{AC}_n\cap L_n|=(7^n-1)/6$, while nonlocal pairwise-anticommuting examples already occur in order $3$.

We develop a projection and fibering method for sets of small combinatorial doubling in (not necessarily abelian) discrete groups. As an application, in the abelian case we prove that, if $A$ is finite, the ambient group has exponent $r$, and $|A+A|\leq K|A|$, then \[ |\langle A\rangle|\leq r^{(2+o(1))K}|A|. \] This answers a question of Ruzsa with an optimal leading coefficient, independent of Fox--Pham. The main ingredient is a discrete version of a fiber spillover argument. For sets in $2$-step nilpotent groups of exponent $r$, we also prove that $|A^3|\leq K|A|$ implies $|\langle A\rangle|\leq r^{(2+o_K(1))K}|A|$. The proof combines the abelian theorem with a weighted averaging of central fibers and commutators.

Shellable complexes are homotopy equivalent to a wedge of spheres of possibly different dimensions, so that the (co)homology of the constant functor over the complex is concentrated in those degrees. In this work, we introduce the concept of a stable functor -a local weakening of fibrancy- over a shellable poset, which ensures the vanishing of the (co)homology of such a functor in specific degrees. The methods are based on a model category structure on the category of functors indexed by a filtered poset and the combinatorial structure of shellable posets. Our techniques work over non-finite and non-pure posets and employ a description of (co)homology via explicit fibrant replacements. Applications include acyclicity criteria for Mackey functors, computation of cohomology of $j$-th exterior powers over arrangement lattices, and homological decompositions for Bianchi groups $Γ_d$ for $d=1,2$.

For a finite group \(G\), let \(\sub(G)\) be the number of subgroups of \(G\), let \(\cyc(G)\) be the number of cyclic subgroups, and let \(π(G)\) be the number of distinct prime divisors of \(|G|\). We study the normalized counts \(λ(G)=\sub(G)/2^{π(G)}\) and \(η(G)=\cyc(G)/2^{π(G)}\). We prove that \(η(G)<5/4\) or \(λ(G)<3/2\) implies that \(G\) is cyclic of squarefree order. The inequalities \(η(G)<2\) and \(λ(G)<5/2\) each force all Sylow subgroups to be cyclic, and hence imply metacyclicity. For the subgroup count, we give an exact arithmetic criterion in the parameters of the corresponding \(ZM\)-presentation. We determine all values with \(1<η(G)<2\) and \(1<λ(G)<5/2\), and prove that \(λ(G)<59/8\) or \(η(G)<4\) implies solvability. Both solvability bounds are sharp. We also describe how cyclic direct factors of coprime order affect the two normalized counts.

Suppose $R$ is a commutative ring and $G$ is a group acting on a set $W$. We consider the $RG$-module $RW$ in the case where $G$ is the automorphism group of an $ω$-categorical structure $M$ and $W$ is, for example, $M^n$ (for $n \in \mathbb{N}$). We develop methods which may provide information about two questions in the case where $R$ is a field $F$: whether $FW$ has a.c.c. on submodules; and in the case where $M$ is finitely homogeneous, whether $FW$ is of finite composition length. In the case where $M$ is a Ramsey structure and so $G$ is extremely amenable, we give a simple `decision procedure' for membership in a submodule of $RW$ specified by a given generating set. If $F$ is a field, we show that there is a duality between submodules of $FW$ and the topological $FG$-module of definable functions from $W$ to $F$.

Cosystolic expansion is a high-dimensional generalization of the Cheeger constant for simplicial complexes. Originally, this notion was motivated by the fact that it implies the topological overlapping property, but more recently it was shown to be connected to problems in theoretical computer science such as list agreement expansion and agreement expansion in the low soundness regime. There are only a few constructions of high-dimensional cosystolic expanders and, in dimension larger than $2$, the only known constructions prior to our work were (co-dimension 1)-skeletons of quotients of affine buildings. In this paper, we give the first coset complex construction of cosystolic expanders for an arbitrary dimension. Our construction is more symmetric and arguably more elementary than the previous constructions relying on quotients of affine buildings. The coset complexes we consider arise from finite quotients of Kac--Moody--Steinberg (KMS) groups and are known as KMS complexes. KMS complexes were introduced in recent work by Grave de Peralta and Valentiner-Branth where it was shown that they are local-spectral expanders. Our result is that KMS complexes, satisfying some minor condition, give rise to infinite families of bounded degree cosystolic expanders of arbitrary dimension and for any finitely generated Abelian coefficient group. This result is achieved by observing that proper links of KMS complexes are joins of opposition complexes in spherical buildings. In order to show that these opposition complexes are coboundary expanders, we develop a new method for constructing cone functions by iteratively adding sets of vertices. Hence we show that the links of KMS complexes are coboundary expanders. Using the prior local-to-global results, we obtain cosystolic expansion for the (co-dimension 1)-skeletons of the KMS complexes.

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.