Regular \(t\)-bonded systems in \(\mathbb{R}^3\) (Q2311355): Difference between revisions

In the paper under review, the authors study the concept of regular $t$-bonded systems in $\mathbb{R}^{3}$. Let us recall that a set $X \subset \mathbb{R}^{d}$ is called a $t$-bonded set if there are two positive constants $r$ and $t$ for which two conditions hold: (1) $X$ is uniformly discrete, i.e., a closed ball $B_{y}(r)$ centered at an arbitrary point $y \in \mathbb{R}^{d}$ contains at most two points of $X$; (2) for any two points $x$ and $x'$ of $X$ there is a $t$-chain $[x, x']$, i.e., a finite sequence $x_1 = x, \dots , x_{n-1}, x_n = x'$ of points of $X$ such that the distances $|x_{i} x_{i+1}|$, for $1 \leq i \leq n-1$, between any two consecutive points do not exceed $t$. For $\rho > 0$, a $\rho$-cluster $C_{x}(\rho )$ centered at point $x \in X$ is defined as a set of all points $x' \in X$ such that $|x x'| \leq \rho$, i.e., $C_x(\rho ) = X \cap B_{x}(\rho )$. Given a $t$-bonded set $X$ in $\mathbb{R}^{d}$, $\rho > 0$ and two points $x$ and $x' \in X$, we say that the $\rho$-clusters $C_{x}(\rho )$ and $C_{x'}(\rho )$ are equivalent, if there is an isometry $g$ such that $g(x) = x'$ and $g(C_{x}(\rho )) = C_{x'}(\rho )$. Given $\rho > 0$, the set of all $\rho$-clusters $C_{x}( \rho )$, $x \in X$, is divided into equivalence classes. If for a given $X$ the set of equivalence classes of $\rho$-clusters is finite for any $\rho > 0$, the set $X$ is said to be of finite type. In this case the number of classes of $\rho$-clusters is an integer valued, monotonically non-decreasing function, called the cluster counting function and denoted by $N(\rho )$. Finally, we say that a $t$-bonded set $X$ is a regular $t$-bonded system if its symmetry group $\mathrm{Sym}(X)$ operates on $X$ transitively. The main result of the paper can be formulated as follows. Main Theorem. For a $t$-bonded set $X$ in $\mathbb{R}^{3}$, if $N(6t) = 1$, then $X$ is a regular $t$-bonded system.