Related papers: Measure equivalence and sofic approximations

We define a way of approximating actions on measure spaces using finite graphs; we then show that in quite general settings these graphs form a family of expanders if and only if the action is expanding in measure. This provides a somewhat…

First, we answer a question of Pestov, by proving that the full group of a sofic equivalence relation is a sofic group. Then, we give a short proof of the theorem of Grigorchuk and Medynets that the topological full group of a minimal…

The continuum $\varphi^4_2$ and $\varphi^4_3$ measures are shown to satisfy a log-Sobolev inequality uniformly in the lattice regularisation under the optimal assumption that their susceptibility is bounded. In particular, this applies to…

A discrete subgroup $\Gamma$ of a locally compact group $H$ is called a uniform lattice if the quotient $H/\Gamma$ is compact. Such an $H$ is called an envelope of $\Gamma$. In this paper we study the problem of classifying envelopes of…

We provide a quantitative formulation of the equivalence between hyperlinearity and soficity for amenable groups, effectively showing how every hyperlinear approximation to such a group is simulated by a suitable sofic approximation. The…

A result due to M. Gromov states that any two finitely generated groups {\Gamma} and {\Lambda} are quasi-isometric if and only if they admit a topological coupling, i.e., a commuting pair of proper continuous cocompact actions…

Let M be a smooth compact manifold without boundary. We consider two smooth Sub-Semi-Riemannian metrics on M. Under suitable conditions, we show that they are almost conformally isometric in an Lp sense. Assume also that M carries a…

We study stability of metric approximations of countable groups with respect to groups endowed with ultrametrics, the main case study being a $p$-adic analogue of Ulam stability, where we take $GL_n(\mathbb{Z}_p)$ as approximating groups…

We provide a quantitative formulation of the equivalence between hyperlinearity and soficity for amenable groups, showing that every hyperlinear approximation to such a group is essentially produced from a sofic approximation. This…

We prove that PSL(2,Z[1/p]) gives the first example of groups which are not quasi-isometric to each other but have the same quasi-isometry group. Namely, PSL(2,Z[1/p]) and PSL(2,Z[1/q]) are not quasi-isometric unless p=q, and, independent…

We show that the mapping class group of a compact orientable surface with higher complexity has the following extreme rigidity in the sense of measure equivalence: if the mapping class group is measure equivalent to a discrete group, then…

We exhibit a family of infinite, finitely-presented, nilpotent-by-abelian groups. Each member of this family is a solvable S-arithmetic group that is related to Baumslag-Solitar groups, and everyone of these groups has a quasi-isometry…

Functional Asplund's metrics were recently introduced to perform pattern matching robust to lighting changes thanks to double-sided probing in the Logarithmic Image Processing (LIP) framework. Two metrics were defined, namely the…

In this article we introduce and study uniform and non-uniform approximate lattices in locally compact second countable (lcsc) groups. These are approximate subgroups (in the sense of Tao) which simultaneously generalize lattices in lcsc…

This is the first of two works concerning the Sobolev calculus on metric measure spaces and its applications. In this work, we focus on several notions of metric Sobolev space and on their equivalence. More precisely, we give a systematic…

A group is sofic when every finite subset can be well approximated in a finite symmetric group. No example of a non-sofic group is known. Higman's group, which is a circular amalgamation of four copies of the Baumslag--Solitar group, is a…

We introduce a notion of "gradient at a given scale" of functions defined on a metric measure space. We then use it to define Sobolev inequalities at large scale and we prove their invariance under large-scale equivalence (maps that…

Given a finitely generated amenable group $H$ satisfying some mild assumptions, we relate isoperimetric profiles of the lampshuffler group $\mathsf{Shuffler}(H)=\mathsf{FSym}(H)\rtimes H$ to those of $H$. Our results are sharp for all…

We show that Haar measures of connected semisimple groups, embedded via a representation into a matrix space, have a homogeneous asymptotic limit when viewed from far away and appropriately rescaled. This is still true if the Haar measure…

We give a necessary and sufficient condition for a locally compact group to be isomorphic to a closed cocompact subgroup in the isometry group of a Diestel-Leader graph. As a consequence of this condition, we see that every cocompact…