arXiv++ Combinatorics

We study the simplicial boundary $\partial\mathcal{FS}$ of Culler-Vogtmann Outer space via thickenings defined by graph-theoretic connectivity. Let $C'$ be the subcomplex of the free splitting complex obtained from $\partial\mathcal{FS}$ by adding all stable graphs that are not $3$-edge connected, together with their faces. We prove that the inclusion $\partial\mathcal{FS}\hookrightarrow C'$ is $(2n-3)$-connected. The proof shows, more precisely, that adding graphs with cut vertices is a homotopy equivalence, while the only non-contractible fibres in the $2$-bond thickening occur over $θ$-graphs. The result gives further evidence that $\partial\mathcal{FS}$ may be $(2n-3)$-spherical, an $\operatorname{Out}(F_n)$-analogue of Rognes's connectivity conjecture for the common basis complex. It also gives a topological, universal-cover perspective that unifies several existing results about the commutative graph complex.

We study sets of (measurable) returns in countable groups $G$, namely sets of the form $\{g\in G:μ(A\cap T_gA)>0\}$ arising from measure-preserving actions. Extending a result of Bergelson, we show that sets of returns in $G\times G$ contain subsets of the form $B\times B$, where $B$ is large with respect to suitable notions of largeness that remain meaningful even for non-amenable groups. As a consequence, if $G$ is amenable, then every sufficiently large subset $A\subseteq G\times G$ satisfies $B\times B\subseteq AA^{-1}$ for some large set $B\subseteq G$. We also investigate when sets of returns in $G$ contain product sets $BB$ with $B$ large. In contrast with the Cartesian-product phenomenon above, this problem is considerably subtler in non-abelian groups and is closely connected to `symmetric correlation functions', namely functions of the form $g\mapsto μ(T_g^{-1}A\cap T_gA)$. We use this connection to show that, for broad classes of amenable groups - including finitely generated nilpotent groups and certain solvable non-nilpotent groups, every sufficiently large set $A\subseteq G$ contains a large subset $B$ satisfying $BB\subseteq AA^{-1}$. Finally, we establish polynomial analogues of these results for finitely generated nilpotent groups, extending earlier work of Bergelson and Ruzsa.

We show that, up to isometry, there is exactly one compact hyperbolic Coxeter 6-polytope with 10 facets: the polytope $P_{6,10}$ whose Coxeter diagram appears as Figure 5 of Burcroff, attributed there to Bugaenko. Together with the results of Lannér, Kaplinskaja, Esselmann and Felikson-Tumarkin, and the independent classifications of Burcroff and Ma-Zheng in dimensions 4 and 5, this completes the classification of compact hyperbolic Coxeter $d$-polytopes with $d+4$ facets in every dimension. We enumerate all 387 candidate combinatorial types from the complete database of planar order types on 10 points via affine Gale duality, reduce to 11 types using two combinatorial consequences of Lannér's classification and the known classifications with $d+2$ facets and in dimension 5 with 9 facets, and decide those 11 by an exhaustive search over Coxeter labellings with no a priori bound on the dihedral angles. The search terminates with machine-checked exhaustion certificates, and the unique surviving Gram matrix is certified exactly over $\mathbb{Q}(\sqrt2,\sqrt5)$ and independently by CoxIter. The emptiness verdicts are exact as well: forward checking, by integer and real quadratic-field arithmetic, empties ten of the 11 types on its own, and every labelling that reaches a screen and is not accepted is refuted exactly over $\mathbb{Q}(\sqrt2,\sqrt3,\sqrt5)$, by the non-vanishing of a single determinant or, in 19 cases, by interval arithmetic on a compactified domain. No verdict rests on a floating-point tolerance or on a bound on the ultraparallel weights. The same code path, unchanged, reproduces the known censuses of 51 polytopes in dimension 5 and 348 in dimension 4. Code, data and certificates are publicly available. Most of the software was written by an AI assistant under the author's direction.

We prove a graph-theoretical characterisation of finitely generated subgroups of Thompson's group $V$: a finitely generated group embeds in $V$ if and only if it admits a faithful context-free action, or equivalently if it belongs to the class CF-TR of transition groups of context-free graphs recently introduced by Matucci and the three last authors. Using this characterisation, we prove results in different directions: - All known examples of groups with co-context-free Word Problem do embed in $V$, providing evidence towards Lehnert's conjecture. - Each finitely generated subgroup of $V$ is either virtually abelian, or contains a free non-abelian semigroup. It follows that groups of intermediate growth do not embed in Thompson's $V$. We further study the relation between transition groups defined by graphs that are limits or covers of each others, and prove properties of transition groups of context-free graphs of polynomial growth. Finally, we prove that the Basilica and Hanoï Towers groups do not embed in $V$. This uses the geometry of Schreier graphs of the natural actions of these groups and of Thompson's $V$.

We establish new quantitative bounds for asymptotic approximate groups arising from finite subsets of lattices and, more generally, semi-linear subsets of abelian groups. Our approach combines Khovanskii's theorem on sumsets with Rogers and Zong bounds for the covering numbers.

Let $G$ be a (multiplicatively written) finite group. A sequence over $G$ is a finite collection of terms from $G$, where repetition is allowed and the order is disregarded. A product-one sequence is a sequence whose terms can be ordered such that their product in $G$ equals the identity element of $G$. The set $\mathcal B (G)$ of all product-one sequences over $G$, endowed with the concatenation of sequences as the operation, is a finitely generated C-monoid; in particular, it is atomic, i.e., every non-unit element can be written as a finite product of atoms. The study of $\mathcal B (G)$ is of fundamental importance, as its combinatorial, algebraic, and arithmetic properties play a crucial role across various branches of mathematics, most notably in invariant theory and factorization theory. While the arithmetic of the monoid $\mathcal B (G)$ is well understood in the abelian setting (in which case $\mathcal B (G)$ is a Krull monoid), little is known in the non-abelian setting because of the substantial structural complexity involved. In this paper, we study the arithmetic invariants of the monoid $\mathcal B (G)$ for non-abelian groups, focusing in particular on the catenary degree. The catenary degree $\mathsf c (G)$ of the monoid $\mathcal B (G)$ is defined as the smallest integer $N$ such that any two factorizations of an element $S \in \mathcal B (G)$ can be concatenated by a chain of factorizations in which adjacent steps differ by replacing at most $N$ atoms. Extending the methods from arithmetic combinatorics to the non-abelian setting, we explicitly characterize all finite groups with catenary degree at most 3, and we investigate an infinite class of finite groups whose monoids of product-one sequences are seminormal and possess well-behaved arithmetic structures. Furthermore, we show that a specific non-abelian group in this class has catenary degree 4.

In 2012, Kaufman and Lubotzky constructed the first family of symmetric LDPC good codes. Their construction used Cayley codes, as originally defined by Kaufman and Wigderson (2016). In this paper we present two generalisations to the Cayley code construction, which we call graph codes and digraph codes. We investigate both the algebraic, and combinatorial properties of these constructions and show that they possess the same desirable attributes as Cayley codes, but with added freedom. We analyse the relationship between the expansion properties of the ingredient (di)graphs and the parameters of the constructed codes; our analysis offers an improvement to the results of Kaufman and Lubotzky. As an application, we construct an infinite family of good digraph codes, and we propose a series of open problems.

This paper explores the theory of letter transducers, Mealy automata, and bireversible automata from a combinatorial perspective analogous to the theory of Latin squares. We view the sets of transitions of letter transducers as analogs of orthogonal arrays, and discuss two other combinatorial encodings of Mealy automata analogous to orthogonal pairs of Latin squares and to $(k,n)$-nets. We characterize various classes of automata (Mealy, reversible, invertible, bireversible) in terms of these combinatorial structures. In particular, we represent the inversion and dualization of transducers as parastrophisms. Further, similarly to the notion of the isotopisms of the quasigroups associated to Latin squares, we develop the notion of isotopisms of letter transducers generalizing transducer symmetry and preserving the class of bireversible automata.

In this paper, the continuous solutions of the complex Kac--Bernstein functional equation \[ f_1 ( u + v ) f_2 ( u - v ) f_1 ( u' + v' ) f_2 ( u' - v' ) = f_1 ( u + v' ) f_2 ( u - v' ) f_1 ( u' + v ) f_2 ( u' - v ) \] are classified for $ \mathbb{ Z } $ and $ \mathbb{ R } $. By using this classification for $ \mathbb{ Z } $, we consider a generalization of the Kac--Bernstein theorem on the one-dimensional torus $ \mathbb{ T } $ by Baryshnikov--Eisenberg--Stadje from probability Borel measures to complex Borel measures. Similarly, the original Kac--Bernstein theorem on $ \mathbb{ R } $ is generalized from probability Borel measures to complex Borel measures.

In these notes, we introduce the 50-year-old $K(π, 1)$ conjecture alongside Coxeter and Artin groups. Roughly speaking, the conjecture states that the complement in $\mathbb{C}^n$ of a "symmetric" configuration of hyperplanes is a $K(π, 1)$ space. Our end goal is to present a proof of the conjecture in the so-called spherical case, where only a finite number of hyperplanes are removed, through methods from combinatorial topology. This proof draws inspiration from the original proof of the spherical case, which is a special case of a celebrated 1972 theorem by Pierre Deligne.

We disprove the Polycirculant Conjecture, which states that every transitive 2-closed permutation group is non-elusive, i.e. contains a derangement of prime order. In fact, we prove a stronger result, answering a long-standing question of Marušič and Jordan: there exists a vertex-transitive graph admitting no semiregular automorphism. To do so, we employ recently developed methods of Chen et al. for constructing elusive groups via non-split extensions, allowing us to construct an elusive group $7^6.\mathrm{PSU}_3(3)$ of degree 16,464. We show that this group is the full automorphism group of seven of its orbital graphs and hence is 2-closed. Our example extends to infinitely many counterexamples of the Polycirculant Conjecture, and infinitely many vertex-transitive graphs admitting no semiregular automorphism.

Right-angled Artin groups (RAAGs) and right-angled Coxeter groups (RACGs) associated with finite simple graphs are fundamental objects in geometric group theory. Their one-variable growth series with respect to the standard generating sets was classically expressed by Chiswell in terms of the one-variable independence polynomial of the defining graph [2] with suitable substitutions of the variable. In this paper, we investigate the multivariate growth series of graph products of groups and derive explicit formulas in terms of the multivariate independence polynomial of the underlying graph through suitable substitutions of variables. As special cases, we obtain multivariate growth series formulas for RAAGs and RACGs, thereby extending the classical one-variable identities. We further show that the coefficients of the multivariate growth series of RAAGs and RACGs admit explicit descriptions in terms of the double-marked and marked chromatic polynomials of graphs. This connection reveals a rich interplay between growth series and graph coloring invariants. In particular, we obtain completely explicit formulas for all the coefficients in the case of chordal graphs, which include, for example, trees and complete graphs.

Given a numerical semigroup $S$ and a positive integer $p$, the quotient $\frac{S}{p}=\{n\in \mathbb{N} \mid pn\in S\}$ also forms a numerical semigroup. When $S=\langle a,b\rangle$ with $\gcd(a,b)=1$, a well-known open problem is to find a closed-form formula for the Frobenius number $g\!\left(\frac{\langle a,b\rangle}{p}\right)$, which remains open even in the special case $b=a+1$. Inspired by Curtis's theorem on the non-existence of polynomial formulas for the Frobenius number $g(\langle s_1,s_2,s_3\rangle)$, we provide a negative answer to this open problem in a certain sense. Concretely, we obtain the following three main results. (i): The Frobenius number $g\!\left(\frac{\langle a,b\rangle}{p}\right)$ cannot be represented, uniformly in $a,b,p$, by any finite collection of polynomial (or rational) formulas. (ii): For each fixed $p$, the function $a\mapsto g\!\left(\frac{\langle a,a+1\rangle}{p}\right)$ is a quadratic quasi-polynomial with period dividing $p$. (iii): There is no nonzero polynomial $F\in \mathbb{C}[X_1,X_2,X_3]$ satisfying $F\left(a,p,g\!\left(\frac{\langle a,a+1\rangle}{p}\right)\right)=0$ for all primes $a,p$ with $2<p<a$; the same conclusion already holds if only $p$ is required to be prime and $a$ ranges over all integers greater than $p$. While (iii) is stronger than (i), the proofs of the two results reveal different insights. Dirichlet's theorem on primes in arithmetic progressions plays a crucial role in our arguments.

Let $H$ be a numerical monoid, that is, a cofinite submonoid of $\mathbb N$ (the non-negative integers under addition). Denote by $\mathcal P_{\text{fin},0}(H)$ the monoid obtained by endowing the family of all finite subsets of $H$ containing $0$ with the operation of setwise addition induced by $H$ on its power set. Tringali and Yan [JCTA, 2025] have recently established that $\mathcal P_{\text{fin},0}(\mathbb N)$ has a unique non-trivial automorphism, and conjectured that the automorphism group of $\mathcal P_{\text{fin},0}(H)$ is trivial whenever $H \ne \mathbb N$. We prove this conjecture and, as a byproduct, give a new proof of the Tringali--Yan theorem.

We develop an explicit geometric and algebraic description of shadows in the affine Coxeter complex of type $\tilde{A}_2$, by introducing a coordinate system based on a decomposition of the complex into tunnels and channels. We also provide an algorithm for converting arbitrary reduced words into coordinates. Using this framework, we identify geometric symmetries of shadows and show that they are governed by the underlying channel structure. This allows us to derive explicit, piecewise formulas for the cardinality of shadows in $\tilde{A}_2$, depending on the parity of the coordinates. Furthermore, we establish a simple criterion for shadow membership via a counting function that detects admissible positions within channels. These results provide a concrete and computationally effective description of shadows in affine type $\tilde{A}_2$, bridging the gap between combinatorial definitions and geometric realisations.

For free type-preserving discrete actions on the biregular tree $\mathcal T_{r+1,s+1}$, we stratify the critical-exponent spectrum by quotient complexity. The unrestricted spectrum is the full interval $[0,\frac12\log(rs)]$, whereas the finitely generated spectrum is countable and dense and is encoded by the Hashimoto radii of finite typed cores. At fixed rank, finitely many typed kernels parametrize all values, and every nonzero accumulation belongs to a lower-rank stratum. Rank two admits a complete effective inverse classification through the figure-eight, theta, and dumbbell polynomial families.

We identify and study the interval Garside groups arising from the restriction of the absolute order on a Coxeter group to a lattice $[1,w]_T$, where $w$ is an involution. Those involutions $w$ for which $[1,w]_T$ is a lattice were previously classified by the second author; every such involution lies in the center of the parabolic subgroup generated by $[1,w]_T$. Except in type $B_n$, the obtained groups are isomorphic to (decomposable) right-angled Artin groups. We also investigate the situation for some finite complex reflection groups, mostly in rank two, taking for $w$ a (not necessarily involutive) central element.

In incidence geometry, a triality is a symmetry cyclically exchanging triples of types of elements. Requiring geometries with trialities to satisfy standard regularity conditions makes their construction highly non trivial, and known examples are rare. In this paper, we present two infinite families of flag transitive, thin and residually connected geometries admitting trialities and no dualities with type preserving automorphism groups isomorphic to Sym(n) or Alt(n). We also develop general methods that extend to other settings. The residues of the two families are fundamentally different. In the first family, the maximal parabolics have constant size while in the other their size grows essentially linearly with the degree of the group.

The Kourovka Notebook is a long-running collection of open problems in group theory. In this paper we present solutions to eight of its problems. We construct a group with exactly two maximal locally soluble normal subgroups and show that, for every $1 \le k\le n!$, there is a group containing $n$ distinct elements whose $n!$ ordered products take exactly $k$ distinct values. We also give examples showing that group order together with the statistic $\sum_g\varphi(\lvert g\rvert)$ does not determine simplicity, and we construct a surjective non-injective Rota-Baxter operator on a non-abelian group. Further, we determine the group generated by the class transpositions of moduli at most $k$, prove that every power graph of a finite group that is a cograph is chordal, show that the right-relatively convex subgroups of a right-orderable group need not form a sublattice of its subgroup lattice, and disprove a proposed rank inequality for certain $p$-group extensions. All of these solutions were autonomously discovered and formally verified in Lean by Aristotle, a formal reasoning agent developed by Harmonic.

Finite groups are rigid algebraic objects, whose Cayley graphs expose a rich network geometry through which group-theoretic structure can be measured, compared, and learned. In this paper, a dataset of $131{,}406$ Cayley graphs is constructed, covering all groups of order at most $767$ except order $512$, recording exact algebraic labels for group properties together with a broad collection of graph, cycle, distance, and spectral statistics. This census aims to provide novel benchmarks for studying how finite-group properties are reflected in Cayley graph observables. It also yields new enumerative contributions: alongside recovering known OEIS sequences for standard group classes, new sequences for monolithic groups and for groups generated by at most three, four, and five elements are contributed to the OEIS. The accompanying network analysis identifies several empirical regularities and formulates testable conjectures, including relationships involving square clustering, Cayley graph diameter, average graph disorder, and spectral eigengaps of nilpotent groups. Finally, a comparison between classical models, an MLP, and graph neural network architectures is performed for predicting algebraic group properties directly from Cayley graph data. The results show that engineered graph statistics are highly informative, while GNNs, especially GIN and in some fixed-order settings GCN, can recover substantial structural signal directly from the graph. Such that graph-aware architectures show phases of optimality on these group-theoretic graph representations.