A resolving set in a graph is a set of landmarks whose distance vectors distinguish all vertices. We use information theory to prove lower bounds for metric dimension and class dimension in distance-regular graphs and association schemes arising from finite geometry. The core idea is that, for a fixed landmark, a random object usually lies in one overwhelmingly likely distance or relation class. For classical dual polar graphs, with rank and type fixed and $q\to\infty$ through the admissible field orders, we prove $\mu(\Gamma(q,d,e))=\Theta_{d,e}(q^e)$ for $d\geq 2$ and $e>0$. The lower bound uses opposition as the typical distance. For the upper bound, we take, for each of a constant number of $(d-1)$-dimensional singular subspaces, all generators containing it. For Grassmann graphs, bilinear forms graphs, and attenuated-space schemes, we obtain lower bounds of the same exponential order as the known incidence constructions.
The classical three-gap theorem says that a finite Kronecker sequence on the circle has at most three gap lengths. We extend this phenomenon to nearest-neighbour distances on quotients $(V\times U)/\Lambda$, where $V$ is a finite-dimensional real normed space, $U$ is an arbitrary ultrametric abelian group and $\Lambda$...
We consider the problem of graphically local metric embedding, i.e. embedding points from an arbitrary finite metric space into a target metric space while preserving, up to a small distortion, only a subset of the pairwise distances specified by a bounded degree graph $G$. We provide a general reduction showing that,...
The root lattice $A_n$, equipped with its graph distance (equivalently, one half of the ambient $\ell_1$ metric), is isometric to $\mathbb{Z}^n$ with the asymmetric Manhattan metric. We study two extremal problems in this space -- the isodiametric problem, i.e., determining the maximum anticode cardinality, and the (no...
Let $S^n$ be the unit round sphere with its intrinsic angular metric, normalized so that $\operatorname{diam}S^n=\pi$. For finite homogeneous metric spaces $X$, put \[ \delta_n=\inf_X d_{GH}(X,S^n). \] The main open problem is whether $\inf_{n\ge2}\delta_n>0$. Gelander's theorem gives $\delta_n>0$ in each fixed dimensi...
Let $g_n$ be the largest number of Euclidean balls of diameter $1$ which may be needed to cover a set of diameter $1$ in $\mathbb{R}^n$. We study this problem for finite sets invariant under all coordinate permutations. We prove that the exponential growth rate in this symmetric problem can be characterized exactly as...
Andrii Arman, A. Bondarenko, A. Prymak et al.· 0 citations
The spherical random geometric graph $G(n,d,p)$ is obtained by sampling $n$ independent points uniformly on the unit sphere $\mathbb{S}^{d-1}\subseteq\mathbb{R}^d$ and joining pairs of points which are sufficiently close, where the threshold is chosen so that the edge probability is $p$. The central question related to...