arXiv++ Combinatorics

High-dimensional expanders are a generalization of the notion of expander graphs to simplicial complexes and give rise to a variety of applications in computer science and other fields. We provide a general tool to construct families of bounded degree high-dimensional spectral expanders. Inspired by the work of Kaufman and Oppenheim, we use coset complexes over quotients of Kac-Moody-Steinberg groups of rank $d+1$, $d$-spherical and purely $d$-spherical. We prove that infinite families of such quotients exist provided that the underlying field is of size at least 4 and the Kac-Moody-Steinberg group is 2-spherical, giving rise to new families of bounded degree high-dimensional expanders. In the case the generalized Cartan matrix we consider is affine, we recover the construction of O'Donnell and Pratt from 2022, (and thus also the one of Kaufman and Oppenheim) by considering Chevalley groups as quotients of affine Kac-Moody-Steinberg groups. Moreover, our construction applies to the case where the root system is of type $\tilde{G}_2$, a case that was not covered in earlier works.

The present note concerns the "graph of graphs" that has cubic graphs as vertices connected by edges represented by the so-called Whitehead moves. Here, we prove that the outer-conductance of the graph of graphs tends to zero as the number of vertices tends to infinity. This answers a question of K. Rafi in the negative.

In the present paper, we show that many combinatorial and topological objects, such as maps, hypermaps, three-dimensional pavings, constellations and branched coverings of the two--sphere admit any given finite automorphism group. This enhances the already known results by Frucht, Cori -- Machì, Širáň -- Škoviera, and other authors. We also provide a more universal technique for showing that ``any finite automorphism group is possible'', that is applicable to wider classes or, in contrast, to more particular sub-classes of said combinatorial and geometric objects. Finally, we show that any given finite automorphism group can be realised by sufficiently many non-isomorphic such entities (super-exponentially many with respect to a certain combinatorial complexity measure).