Related papers: Simple Expansion Sets and Non-Positive Curvature

A set $A$ in a finite dimensional Euclidean space is \emph{monovex} if for every two points $x,y \in A$ there is a continuous path within the set that connects $x$ and $y$ and is monotone (nonincreasing or nondecreasing) in each coordinate.…

We construct finitely generated simple torsion-free groups with strong homological control. Our main result is that every subset of $\mathbb{N} \cup \{\infty\}$, with some obvious exceptions, can be realized as the set of dimensions of…

We discuss the classical statement of group classification problem and some its extensions in the general case. After that, we carry out the complete extended group classification for a class of (1+1)-dimensional nonlinear…

We describe an algorithm to compute the geodesics in an arbitrary CAT(0) cubical complex. A key tool is a correspondence between cubical complexes of global non-positive curvature and posets with inconsistent pairs. This correspondence also…

We prove that for an o-minimal expansion of the real additive group $\cal R$ and a set $P\subseteq \mathbb{R}$ of dimension $0$ such that $\langle\mathcal{R},P\rangle$ is sparse, has definable choice and every definable set has interior or…

We produce combinatorial models for configuration space in a simplicial complex, and for configurations near a single point ("local configuration space.") The model for local configuration space is built out of the poset of poset structures…

In the geometric approach to define complexity, operator complexity is defined as the distance on the operator space. In this paper, based on the analogy with the circuit complexity, the operator size is adopted as the metric of the…

In recent years, high dimensional expanders have been found to have a variety of applications in theoretical computer science, such as efficient CSPs approximations, improved sampling and list-decoding algorithms, and more. Within that, an…

Chords in musical harmony can be viewed as objects having shapes (major/minor/etc.) attached to base sets (pitch class sets). The base set and the shape set are usually given the structure of a group, more particularly a cyclic group. In a…

We obtain a sufficient condition for lattices in the automorphism group of a finite dimensional CAT(0) cube complex to have infinite girth. As a corollary, we get a version of Girth Alternative for groups acting geometrically: any such…

For every $n \geq 1$, let $(\mathrm{FW}_n)$ denote the fixed-point property for median graphs of cubical dimension $n$ (or equivalently, for CAT(0) cube complexes of dimension $n$). In this article, we construct explicit examples of groups…

A collection $\mathcal S$ of equivalence classes of positive definite integral quadratic forms in $n$ variables is called an $n$-exceptional set if there exists a positive definite integral quadratic form which represents all equivalence…

A topological group is (openly) almost-elliptic if it contains a(n open) dense subset of elements generating relatively-compact cyclic subgroups. We classify the (openly) almost-elliptic connected locally compact groups as precisely those…

In a recent paper Uffe Haagerup and Kristian Knudsen Olesen show that for Richard Thompson's group $T$, if there exists a finite set $H$ which can be decomposed as disjoint union of sets $H_1$ and $H_2$ with $\sum_{g\in…

We expand the class of groups with relatively geometric actions on CAT(0) cube complexes by proving that it is closed under $C'(\frac16)$--small cancellation free products. We build upon a result of Martin and Steenbock who prove an…

Let G be a definably compact group in an o-minimal expansion of a real closed field. We prove that if dim(G X) < dim G for some definable X subset of G then X contains a torsion point of G. Along the way we develop a general theory for…

Let $\Omega\subset\mathbb{R}^n$ be an open, connected subset of $\mathbb{R}^n$, and let $F\colon\Omega-\Omega\to\mathbb{C}$, where $\Omega-\Omega=\{x-y\colon x,y\in\Omega\}$, be a continuous positive definite function. We give necessary and…

A simplicial complex is a set equipped with a down-closed family of distinguished finite subsets. This structure, usually viewed as codifying a triangulated space, is used here directly, to describe "spaces" whose geometric realisation can…

We consider linear groups which do not contain unipotent elements of infinite order, which includes all linear groups in positive characteristic, and show that this class of groups has good properties which resemble those held by groups of…

It is shown that if $S$ is a commuting family of weak$^{\ast }$ continuous nonexpansive mappings acting on a weak$^{\ast }$ compact convex subset $C$ of the dual Banach space $E$, then the set of common fixed points of $S$ is a nonempty…