Calculation of the Gromov-Hausdorff distance using the Borsuk number (Q6115266)

The Gromov-Hausdorff distance is not only a classical invariant in metric geometry, it also proved to be an important tool in Imaging and its related fields. However, its application in any practical context is severely resticted by the difficulty of its computation. Surprisingly enough, the authors showed in [Chebyshevskiĭ Sb. 21, No. 2(74), 169--189 (2020; Zbl 1459.05358)] that there is a connection between the Gromov-Hausdorff distance and another classical invariant, namely the so called Borsuk number of a given bounded metric space \(X\), which is defined as the infimum of cardinal numbers \(n\) such that \(X\) can be partitioned into \(n\) smaller parts (in the sense of diameter). Relying on their previous results in the above mentioned paper, the authors derive, in the present note, an exact formula for the Gromov-Hausdorff distance between bounded metric spaces under the assumptions that the diameter and the cardinality of one space is less than the diameter and the Borsuk number of the other one, respectively. They also derive a number of corollaries ensuing from this formula.