Related papers: Canonical Hexagons and the PSL(2,C) Discreteness P…

We study coarse separation in one-ended hyperbolic groups from a quantitative point of view, focusing on the volume growth of separating subsets. We prove that a one-ended hyperbolic group that is not virtually a surface group is coarsely…

The Equation Problem in finitely presented groups asks if there exists an algorithm which determines in finite amount of time whether any given equation system has a solution or not. We show that the Equation Problem in central extensions…

Many problems of theoretical and practical interest involve finding an optimum over a family of convex functions. For instance, finding the projection on the convex functions in $H^k(\Omega)$, and optimizing functionals arising from some…

Explicit high-order non-canonical symplectic particle-in-cell algorithms for classical particle-field systems governed by the Vlasov-Maxwell equations are developed. The algorithm conserves a discrete non-canonical symplectic structure…

The hypergraph duality problem DUAL is defined as follows: given two simple hypergraphs $\mathcal{G}$ and $\mathcal{H}$, decide whether $\mathcal{H}$ consists precisely of all minimal transversals of $\mathcal{G}$ (in which case we say that…

Two groups are virtually isomorphic if they can be obtained one from the other via a finite number of steps, where each step consists in taking a finite extension or a finite index subgroup (or viceversa). Virtually isomorphic groups are…

For a non-elementary discrete isometry group $G$ of divergence type acting on a proper geodesic $\delta$-hyperbolic space, we prove that its Patterson measure is quasi-invariant under the normalizer of $G$. As applications of this result,…

In this note we show that for any hyperbolic surface S, the number of geodesics of length bounded above by L in the mapping class group orbit of a fixed closed geodesic with a single double point is asymptotic to L raised to the dimension…

In many mathematical models for pattern formation, a regular hexagonal pattern is stable in an infinite region. However, laboratory and numerical experiments are carried out in finite domains, and this imposes certain constraints on the…

By using Thurston's bending construction we obtain a sequence of faithful discrete representations \rho _n of the fundamental group of a closed hyperbolic 3-manifold fibering over the circle into the isometry group Iso H^4 of the hyperbolic…

We study the discreteness for non-elementary subgroup G in PU(1, n;C), under the assumption that G satisfies Condition A. Mainly, we present that one can use a test map, which need not to be in G, to examine the discreteness of G, and also…

Canonical polyadic decomposition (CPD) is at the core of fast matrix multiplication, a computational problem with widespread implications across several seemingly unrelated problems in computer science. Much recent progress in this field…

Discrete canonical evolution is a key tool for understanding the dynamics in discrete models of spacetime, in particular those represented by a triangular Regge lattice. We consider a finite-dimensional system whose evolution is realized by…

We show that the relative cohomological dimension $\cd(G,H)$ of a relatively hyperbolic pair $(G,H)$ is always finite when $G$ is torsion-free. We also show that this dimension is preserved under quasi-isometries, provided that $G$ is…

Let $G$ be a classical algebraic group, $X$ a maximal rank reductive subgroup and $P$ a parabolic subgroup. This paper classifies when $X\G/P$ is finite. Finiteness is proven using geometric arguments about the action of $X$ on subspaces of…

We construct `structure invariants' of a one-ended, finitely presented group that describe the way in which the factors of its JSJ decomposition over two-ended subgroups fit together. For groups satisfying two technical conditions, these…

Cycloids, hipocycloids and epicycloids have an often forgotten common property: they are homothetic to their evolutes. But what if use convex symmetric polygons as unit balls, can we define evolutes and cycloids which are genuinely…

A Kleinian group $\Gamma < \mathrm{Isom}(\mathbb H^3)$ is called convex cocompact if any orbit of $\Gamma$ in $\mathbb H^3$ is quasiconvex or, equivalently, $\Gamma$ acts cocompactly on the convex hull of its limit set in $\partial \mathbb…

In this paper we demonstrate how the geometrically motivated algorithm to determine whether a two generator real Mobius group acting on the Poincare plane is or is not discrete can be interpreted as a non-Euclidean Euclidean algorithm. That…

Let $G$ be a virtually compact special Gromov-hyperbolic group. We prove that the double $G *_H G$ along a quasiconvex subgroup $H$ is virtually compact special. More generally, we show that if a finite graph of groups has constant vertex…