arXiv++ Combinatorics

The motion of a graph is the minimum number of vertices that are moved by a non-trivial automorphism. Equivalently, it can be defined as the minimal degree of its automorphism group (as a permutation group on the vertices). In this paper we develop some results on permutation groups (primitive and imprimitive) with small minimal degree. As a consequence of such results we classify vertex-transitive graphs whose motion is $4$ or a prime number.

Abstract polytopes are combinatorial objects that generalise geometric objects such as convex polytopes, maps on surfaces and tilings of the space. Chiral polytopes are those abstract polytopes that admit full combinatorial rotational symmetry but do not admit reflections. In this paper we build chiral polytopes whose facets (maximal faces) are isomorphic to a prescribed regular cubic tessellation of the $n$-dimensional torus ($n \geq 2$). As a consequence, we prove that for every $d \geq 3$ there exist infinitely many chiral $d$-polytopes.

Voltage operations extend traditional geometric and combinatorial operations (such as medial, truncation, prism, and pyramid over a polytope) to operations on maniplexes, maps, polytopes, and hypertopes. In classical operations, the symmetries of the original object remain in the operated one, but sometimes additional symmetries are created; the same situation arises with voltage operations. We characterise the automorphisms of the operated object that are derived from the original one and use this to bound the number of flag orbits (under the action of the automorphism group) of the operated object in terms of the original one. The conditions under which the automorphism group of the original object is the same as the automorphism group of the operated object are given. We also look at the cases where there is additional symmetry, which can be accurately described due to the symmetries of the operation itself.

A map on a surface whose automorphism group has a subgroup acting regularly on its vertices is called a Cayley map. Here we generalize that notion to maniplexes and polytopes. We define $\mathcal{M}$ to be a \emph{Cayley extension} of $\mathcal{K}$ if the facets of $\mathcal{M}$ are isomorphic to $\mathcal{K}$ and if some subgroup of the automorphism group of $\mathcal{M}$ acts regularly on the facets of $\mathcal{M}$. We show that many natural extensions in the literature on maniplexes and polytopes are in fact Cayley extensions. We also describe several universal Cayley extensions. Finally, we examine the automorphism group and symmetry type graph of Cayley extensions.

Classical geometric and topological operations on polyhedra, maps and polytopes often give rise to structures with the same symmetry group as the original one, but with more flags. In this paper we introduce the notion of voltage operations on maniplexes, as a way to generalize such operations. Our technique provides a way to study classical operations in a graph theory setting. In fact, voltage operations can be applied to symmetry type graphs, and more generally to n-valent properly n-edge colored graphs. We focus on studying the interactions between voltage operations and the symmetries of the operated object, and show that they can be potentially used to build maniplexes with prescribed symmetry type graphs. Moreover, a complete characterization of when an operation can be seen as a voltage operation is given.

Given any irreducible Coxeter group $C$ of hyperbolic type with non-linear diagram and rank at least $4$, whose maximal parabolic subgroups are finite, we construct an infinite family of locally spherical regular hypertopes of hyperbolic type whose Coxeter diagram is the same as that of $C$.

Given an abstract $n$-polytope $\mathcal{K}$, an abstract $(n+1)$-polytope $\mathcal{P}$ is an extension of $\mathcal{K}$ if all the facets of $\mathcal{P}$ are isomorphic to $\mathcal{K}$. A chiral polytope is a polytope with maximal rotational symmetry that does not admit any reflections. If $\mathcal{P}$ is a chiral extension of $\mathcal{K}$, then all but the last entry of the Schläfli symbol of $\mathcal{P}$ are determined. In this paper we introduce some constructions of chiral extensions $\mathcal{P}$ of certain chiral polytopes in such a way that the last entry of the Schläfli symbol of $\mathcal{P}$ is arbitrarily large.

We show that every non-degenerate regular polytope can be used to construct a thin, residually-connected, chamber-transitive incidence geometry, i.e. a regular hypertope, with a tail-triangle Coxeter diagram. We discuss several interesting examples derived when this construction is applied to generalised cubes. In particular, we produce an example of a rank $5$ finite locally spherical proper hypertope of hyperbolic type.

An $(n+1)$-toroid is a quotient of a tessellation of the $n$-dimensional Euclidean space with a lattice group. Toroids are generalizations of maps in the torus on higher dimensions and also provide examples of abstract polytopes. Equivelar toroids are those that are induced by regular tessellations. In this paper we present a classification of equivelar $(n+1)$-toroids with at most $n$ flag-orbits; in particular, we discuss a classification of $2$-orbit toroids of arbitrary dimension.

In this paper we discuss the classification rank $3$ lattices preserved by finite orthogonal groups of isometries and derive from it the classification of regular polyhedra in the $3$-dimensional torus. This classification is highly related to the classification of regular polyhedra in the $3$-space.