Related papers: A discreteness algorithm for 4-punctured sphere gr…

The discreteness problem for finitely generated subgroups of $PSL(2,\mathbb{R})$ and $PSL(2,\mathbb{C})$ is a long-standing open problem. In this paper we consider whether or not this problem is decidable by an algorithm. Our main result is…

The discreteness problem, that is, the problem of determining whether or not a given finitely generated group G of orientation preserving isometries of hyperbolic three-space is discrete as a subgroup of the whole isometry group of…

The aim of this note is to advertise on a result, not stated explicitly, but proved, in arXiv:0802.0512. Namely, if $\Gamma$ is any group, if $\rho_1$, $\rho_2$ are representations of $\Gamma$ in $\mathrm{PSL}(2,\mathbb{R})$, one of them…

This survey is based on a series of lectures that we gave at MSRI in Spring 2015 and on a series of papers, mostly written jointly with Joan Porti. Our goal here is to: 1. Describe a class of discrete subgroups $\Gamma<G$ of higher rank…

We study the geometry and dynamics of discrete subgroups $\Gamma$ of $\PSL(3,\mathbb{C})$ with an open invariant set $\Omega \subset \PC^2$ where the action is properly discontinuous and the quotient $\Omega/\Gamma$ contains a connected…

Let $K$ be a non-archimedean local field with residue field of characteristic $p$. We give necessary and sufficient conditions for a two-generator subgroup $G$ of ${\rm PSL_2}(K)$ to be discrete, where either $K=\mathbb{Q}_p$ or $G$…

We prove that a group $\Gamma$ admits a discrete topological (equivalently, smooth) action on some simply-connected 3-manifold if and only if $\Gamma$ has a Cayley complex embeddable -- with certain natural restrictions -- in one of the…

Discrete differential geometry aims to develop discrete equivalents of the geometric notions and methods of classical differential geometry. In this survey we discuss the following two fundamental Discretization Principles: the…

We survey the state of the art on the algorithmic analysis of discrete linear dynamical systems, focussing in particular on reachability, model-checking, and invariant-generation questions, both unconditionally as well as relative to…

If $\Gamma$ is a discrete subgroup of $PSL(3,\Bbb{C})$, it is determined the equicontinuity region $Eq(\Gamma)$ of the natural action of $\Gamma$ on $\Bbb{P}^2_\Bbb{C}$. It is also proved that the action restricted to $Eq(\Gamma)$ is…

We prove that every finitely generated group $G$ discriminated by a locally quasi-convex torsion-free hyperbolic group $\Gamma$ is effectively coherent: that is, presentations for finitely generated subgroups can be computed from the…

In this paper, we study differentially private (DP) algorithms for computing the geometric median (GM) of a dataset: Given $n$ points, $x_1,\dots,x_n$ in $\mathbb{R}^d$, the goal is to find a point $\theta$ that minimizes the sum of the…

We adapt the Gradient Discretisation Method (GDM), originally designed for elliptic and parabolic partial differential equations, to the case of a linear scalar hyperbolic equations. This enables the simultaneous design and convergence…

We provide algorithms to decide whether a finitely generated subgroup of $\mathrm{SL}_2(\mathbb{R})$ is discrete, solve the constructive membership problem for finitely generated discrete subgroups of $\mathrm{SL}_2(\mathbb{R})$, and…

Let $\Gamma$ be a torsion-free hyperbolic group. We study $\Gamma$--limit groups which, unlike the fundamental case in which $\Gamma$ is free, may not be finitely presentable or geometrically tractable. We define model $\Gamma$--limit…

We present a deterministic linear-time algorithm for finding an odd cycle through two specified vertices in an undirected graph. This is shown in a generalized form as follows: Let $\Gamma$ be any group in which every element is of order at…

The problem of determining whether or not a non-elementary subgroup of $PSL(2,\CC)$ is discrete is a long standing one. The importance of two generator subgroups comes from J{\o}rgensen's inequality which has as a corollary the fact that a…

In this survey paper we review classical results and recent progress about a certain topic in the spectral theory of two-dimensional canonical systems. Namely, we consider the questions whether the spectrum $\sigma$ is discrete, and if it…

A discrete analog of the holomorphic map $z^{\gamma}$ is studied. It is given by Schramm's circle pattern with the combinatorics of the square grid. It is shown that the corresponding circle patterns are embedded and described by special…

The distinguishing number $D(\Gamma)$ of a graph $\Gamma$ is the least size of a partition of the vertices of $\Gamma$ such that no non-trivial automorphism of $\Gamma$ preserves this partition. We show that if the automorphism group of a…