Triangle Inequality and the Dual Gromov-Hausdorff Propinquity

TL;DR

This paper introduces a new variant of the dual Gromov-Hausdorff propinquity that satisfies the triangle inequality without using journeys, simplifying the theoretical framework while maintaining equivalence with the original metric.

Contribution

The paper presents a simplified dual propinquity that establishes the triangle inequality without journeys, improving both theoretical understanding and practical applicability.

Findings

Triangle inequality proven without journeys

New metric is equivalent to the dual propinquity

Simplifies the analysis of Leibniz quantum compact metric spaces

Abstract

The dual Gromov-Hausdorff propinquity is a generalization of the Gromov-Hausdorff distance to the class of Leibniz quantum compact metric spaces, designed to be well-behaved with respect to C*-algebraic structures. In this paper, we present a variant of the dual propinquity for which the triangle inequality is established without the recourse to the notion of journeys, or finite paths of tunnels. Since the triangle inequality has been a challenge to establish within the setting of Leibniz quantum compact metric spaces for quite some time, and since journeys can be a complicated tool, this new form of the dual propinquity is a significant theoretical and practical improvement. On the other hand, our new metric is equivalent to the dual propinquity, and thus inherits all its properties.