Related papers: Why CAT(0) cube complexes should be replaced with …

The negative type inequalities of a metric space are closely tied to embeddability. A result by Gupta, Newman, and Rabinovich implies that if a metric graph $G$ does not contain a theta submetric as an embedding, then $G$ has negative type.…

In this paper we start the inquiry into proving uniform exponential growth in the context of groups acting on CAT(0) cube complexes. We address free group actions on CAT(0) square complexes and prove a more general statement. This says that…

The purpose of this paper is to investigate torsion-free groups which act properly and cocompactly on CAT(0) metric spaces which have isolated flats, as defined by Hruska. Our approach is to seek results analogous to those of Sela,…

We obtain a new classification of the finite metacyclic group in terms of group invariants. We present an algorithm to compute these invariants, and hence to decide if two given finite metacyclic groups are isomorphic, and another algorithm…

Following the research from the paper "Triangles, squares and geodesics" (arXiv:0910.5688) of Rena Levitt and Jon McCammond we investigate the properties of groups acting on CAT(0) triangle-square complexes, focusing mostly on…

Algebraic structures such as monoids, groups, and categories can be formulated within a category using commutative diagrams. In many common categories these reduce to familiar cases. In particular, group objects in Grp are abelian groups,…

The paper concerns the automorphism groups of Cayley graphs over cyclic groups which have a rational spectrum (rational circulant graphs for short). With the aid of the techniques of Schur rings it is shown that the problem is equivalent to…

We study the acylindrical hyperbolicity of groups acting by isometries on CAT(0) cube complexes, and obtain simple criteria formulated in terms of stabilisers for the action. Namely, we show that a group acting essentially and…

We introduce two new tools for studying CAT(0) spaces: \emph{curtains}, versions of cubical hyperplanes; and the \emph{curtain model}, a counterpart of the curve graph. These tools shed new light on CAT(0) spaces, allowing us to prove a…

The category of Cartesian cubical sets is introduced and endowed with a Quillen model structure using ideas coming from recent constructions of cubical systems of univalent type theory.

There are numerous examples in different research fields where the use of the geometric mean is more appropriate than the arithmetic mean. However, the geometric mean has a serious limitation in comparison with the arithmetic mean. Means…

We describe how orbital graphs can be used to improve the practical performance of many algorithms for permutation groups, including intersection and stabilizer problems. First we explain how orbital graphs can be integrated in partition…

A general formalism of the relation between geometric phases produced by circularly evolving interacting spin systems and their criticality behavior is presented. This opens up the way for the use of geometric phases as a tool to study…

This is a collection of examples showing how the GAP system can be used to compute information about the generating graphs of finite groups. It includes all examples that were needed for the computational results in the paper "Hamiltonian…

The minimum dominating set problem asks for a dominating set with minimum size. First, we determine some vertices contained in the minimum dominating set of a graph. By applying a particular scheme, we ensure that the resulting graph is…

The aim of this paper is to explain how, through the work of a number of people, some algebraic structures related to groupoids have yielded algebraic descriptions of homotopy n-types. Further, these descriptions are explicit, and in some…

Ballmann's Rank Rigidity Conjecture predicts that a CAT(0) space of higher rank with a geometric group action is rigid -- isometric to a Riemannian symmetric space, a Euclidean building, or splits as a direct product. We confirm this…

We give a general procedure for constructing metric spaces from systems of partitions. This generalises and provides analogues of Sageev's construction of dual CAT(0) cube complexes for the settings of hyperbolic and injective metric…

In this paper, we obtain an action on a cube complex from an action on a path-connected topological space with a system of divisions. In the settings of hyperbolic groups or relatively hyperbolic groups with no peripheral splittings, our…

A graph is said to be a bi-Cayley graph over a group H if it admits H as a group of automorphisms acting semiregularly on its vertices with two orbits. A non-abelian group is called an inner-abelian group if all of its proper subgroups are…