arXiv++ Combinatorics

Let $G$ be a connected graph and let $d_G$ be the geodesic distance on $V(G)$. The metric spaces $(V(G), d_{G})$ are characterized up to isometry for all finite connected $G$ by David C. Kay and Gary Chartrand in 1964. The main result of the paper expands this characterization on the infinite connected graphs. We also prove that every metric space with integer distances between its points admits an isometric embedding into $(V(G), d_G)$ for suitable $G$.

Let $G$ be a graph with a vertex set $V$. The graph $G$ is path-proximinal if there are a semimetric $d \colon V \times V \to [0, \infty[$ and disjoint proximinal subsets of the semimetric space $(V, d)$ such that $V = A \cup B$, and vertices $u$, $v \in V$ are adjacent iff \[ d(u, v) \leqslant \inf \{d(x, y) \colon x \in A, y \in B\}, \] and, for every $p \in V$, there is a path connecting $A$ and $B$ in $G$, and passing through $p$. It is shown that a graph is path-proximinal if and only if all its vertices are not isolated. It is also shown that a graph is simultaneously proximinal and path-proximinal for an ultrametric if and only if the degree of every its vertex is equal to $1$.

Let $(X, d)$ be a semimetric space. A permutation $Φ$ of the set $X$ is a combinatorial self similarity of $(X, d)$ if there is a bijective function $f \colon d(X^2) \to d(X^2)$ such that $$ d(x, y) = f(d(Φ(x), Φ(y))) $$ for all $x$, $y \in X$. We describe the set of all semimetrics $ρ$ on an arbitrary nonempty set $Y$ for which every permutation of $Y$ is a combinatorial self similarity of $(Y, ρ)$.

For arbitrary semimetric space $(X, d)$ and disjoint proximinal subsets $A$, $B$ of $X$ we define the proximinal graph as a bipartite graph with parts $A$ and $B$ whose edges $\{a, b\}$ satisfy the equality $d(a, b) = \operatorname{dist}(A, B)$. We characterize the semimetric spaces whose proximinal graphs have at most one edge and the semimetric spaces whose proximinal graphs have the vertices with degree at most $1$ only. This allows us to describe the necessary and sufficient conditions for uniqueness of the best proximity pairs and best approximations.

We say that a bipartite graph $G(A, B)$ with fixed parts $A$, $B$ is proximinal if there is a semimetric space $(X, d)$ such that $A$ and $B$ are disjoint proximinal subsets of $X$ and all edges $\{a, b\}$ satisfy the equality $d(a, b) = \operatorname{dist}(A, B)$. It is proved that a bipartite graph $G$ is not isomorphic to any proximinal graph iff $G$ is finite and empty. It is also shown that the subgraph induced by all non-isolated vertices of a nonempty bipartite graph $G$ is a disjoint union of complete bipartite graphs iff $G$ is isomorphic to a nonempty proximinal graph for an ultrametric space.

We investigate the interrelations between labeled trees and ultrametric spaces generated by these trees. The labeled trees, which generate complete ultrametrics, totally bounded ultrametrics, and discrete ones, are characterized up to isomorphism. As corollary, we obtain a characterization of labeled trees generating compact ultrametrics, and discrete totally bounded ultrametrics. It is also shown that every ultrametric space generated by labeled tree contains a dense discrete subspace.

A set of necessary and sufficient conditions under which an isotone mapping from a subset of a poset X to a poset Y has an extension to an isotone mapping from X to Y are found.

We find a set of necessary and sufficient conditions under which the weight $w:E\to\mathbb R^+$ on the graph $G=(V,E)$ can be extended to a pseudometric $d:V\times V\to\mathbb R^+$. If these conditions hold and $G$ is a connected graph, then the set $\mathfrak M_w$ of all such extensions is nonvoid and the shortest-path pseudometric $d_w$ is the greatest element of $\mathfrak M_w$ with respect to the partial ordering $d_1 \leqslant d_2$ if and only if $d_1(u,v) \leqslant d_2(u,v)$ for all $u,v\in V$. It is shown that every nonvoid poset $(\mathfrak M_w,\leqslant)$ contains the least element $ρ_{0,w}$ if and only if $G$ is a complete $k$-partite graph with $k\geqslant 2$ and in this case the explicit formula for computation of $ρ_{0,w}$ is obtained.