Related papers: On metric approximate subgroups
Let $R$ be a semilocal principal ideal domain. Two algebraic objects over $R$ in which scalar extension makes sense (e.g. quadratic spaces) are said to be of the same genus if they become isomorphic after extending scalars to all…
We take a unifying and new approach toward polynomial and trigonometric approximation in an arbitrary number of variables, resulting in a precise and general ready-to-use tool that anyone can easily apply in new situations of interest. The…
We prove that the group of isometries of a metric measure space that satisfies the Riemannian curvature condition, $RCD^*(K,N),$ is in fact a Lie group. We obtain an optimal upper bound on its dimension and classify the spaces where this…
Let (G,w) be a weighted graph. The necessary and sufficient conditions under which a weight w : E(G)-->R^+ can be extended to a pseudoultrametric on V(G) are found. A criterion of the uniqueness of this extension is also obtained. It is…
We present a variation of quasi-isometry to approach the problem of defining a geometric notion equivalent to commensurability. In short, this variation can be summarized as "quasi-isometry with uniform parameters for a large enough family…
:Let G be a group together with an descending nested sequence of normal subgroups G=G_0, G_1, G_2 G_3, ... of finite index [G:G_k] such the intersection of the G_k-s is the trivial group. Let (X,Y) be a compact 4n-dimensional Poincare' pair…
Since the introduction of Stein's method in the early 1970s, much research has been done in extending and strengthening it; however, there does not exist a version of Stein's original method of exchangeable pairs for multivariate normal…
Given an edge-weighted (metric/general) complete graph with $n$ vertices, the maximum weight (metric/general) $k$-cycle/path packing problem is to find a set of $\frac{n}{k}$ vertex-disjoint $k$-cycles/paths such that the total weight is…
A set in $\mathbb R^d$ is called almost-equidistant if for any three distinct points in the set, some two are at unit distance apart. First, we give a short proof of the result of Bezdek and L\'angi claiming that an almost-equidistant set…
The article gives the second part of the treatise on Regular Algebraic $K$-theory (Sections V & VI) of the author. Regular algebraic $K$-theory for groups is a homology theory for discrete groups closely connected to (but different from)…
Let K be a subfield of the real field, D be a discrete subset of K and f : D^n -> K be a function such that f(D^n) is somewhere dense. Then (K,f) defines the set of integers. We present several applications of this result. We show that K…
Marek Kuczma asked in 1980 whether for every positive integer $n,$ there exists a subsemigroup $M$ of a group $G,$ such that $G$ is equal to the $n$-fold product $M\,M^{-1} M\,M^{-1} \dots\,M^{(-1)^{n-1}},$ but not to any proper initial…
We say that a sequence of proper geodesic spaces $X_n$ consists of \textit{almost homogeneous spaces} if there is a sequence of discrete groups of isometries $G_n \leq \text{Iso}(X_n)$ with $\text{diam} (X_n/G_n)\to 0$ as $n \to \infty$. We…
Given the large class of groups already known to be sofic, there is seemingly a shortfall in results concerning their permanence properties. We address this problem for wreath products, and in particular investigate the behaviour of more…
For a bounded metric space X, we define a metric on the set of all finite subsets of X. This generalizes the sequence-subset distance introduced by Wentu Song, Kui Cai and Kees A. Schouhamer Immink to study error correcting codes for DNA…
Within a category $\mathtt{C}$, having objects $\mathtt{C}_0$, it may be instructive to know not only that two objects are non-isomorphic, but also how far from being isomorphic they are. We introduce pseudo-metrics $d:\mathtt{C}_0 \times…
In a metric space $(X,d)$ we reconstruct an approximation of a Borel measure $\mu$ starting from a premeasure $q$ defined on the collection of closed balls, and such that $q$ approximates the values of $\mu$ on these balls. More precisely,…
We study a relative variant of Serre's notion of $G$-complete reducibility for a reductive algebraic group $G$. We let $K$ be a reductive subgroup of $G$, and consider subgroups of $G$ which normalise the identity component $K^{\circ}$. We…
Let $k$ be a nonperfect separably closed field. Let $G$ be a (possibly non-connected) reductive group defined over $k$. We study rationality problems for Serre's notion of complete reducibility of subgroups of $G$. In our previous work, we…
Metric approximate categories, or metagories, for short, are metrically enriched graphs. Their structure assigns to every directed triangle in the graph a value which may be interpreted as the area of the triangle; alternatively, as the…