Thompson Metric in Order Cones

• The Thompson metric is an order-theoretic projective metric defined on proper cones, measuring distances through logarithms of scaling factors.
• It underpins fixed-point theory and contraction analyses in spaces like symmetric positive-definite matrices and convex domains.
• Its Finsler structure and explicit geodesic formulas bridge geometric and norm-based approaches, facilitating numerical and analytical methods.

The Thompson metric is a fundamental projective metric defined on ordered vector spaces equipped with proper cones, serving as a canonical Finsler geometry for cones of positive elements in analysis, geometry, optimization, and operator theory. Unlike Riemannian metrics, the Thompson metric arises exclusively from the order structure of the cone and is intimately connected to homogeneity, monotonicity, and projective invariance. Its explicit forms on cones of symmetric positive-definite matrices, spectral densities, and convex domains make it an indispensable tool for fixed-point theory, contraction analysis of flows, and geometric approaches to optimization.

1. Formal Definition and Fundamental Properties

Let $X$ be a real vector space and $K \subset X$ a convex cone: $K + K \subset K$, $t K \subset K$ for $t \geq 0$, $K \cap (-K) = \{0\}$. The cone induces a partial order $x \leq y \iff y - x \in K$. On each equivalence class (component) of $K$, two points $x, y$ are linked if there exist scalars $\lambda, \mu > 0$ with $K \subset X$0 and $K \subset X$1.

The projective gauge is defined by

$K \subset X$2

for $K \subset X$3 in the same component. The Thompson metric on components of $K \subset X$4 is then

$K \subset X$5

or equivalently

$K \subset X$6

This metric is always symmetric, satisfies the triangle inequality, and $K \subset X$7 if and only if $K \subset X$8 in almost-Archimedean cones (in particular, if $K \subset X$9 is Archimedean) (Cobzaş et al., 2013).

Key properties:

• Scale-invariance: $K + K \subset K$0 for $K + K \subset K$1.
• Monotonicity: If $K + K \subset K$2, $K + K \subset K$3, then $K + K \subset K$4.
• Quasi-convexity: For any $K + K \subset K$5, $K + K \subset K$6.
• Topology: The $K + K \subset K$7-balls are order-symmetric intervals $K + K \subset K$8 and define a topology that coincides with that of the order-unit norm on suitable subspaces.
• Completeness: For a Banach space $K + K \subset K$9 and closed cone $t K \subset K$0, $t K \subset K$1 is complete if and only if $t K \subset K$2 is normal (i.e., order-intervals are norm-bounded) (Cobzaş et al., 2013, Lins, 2023).

On the cone $t K \subset K$3 of $t K \subset K$4 symmetric positive-definite matrices, this specializes to

$t K \subset K$5

where $t K \subset K$6 denotes the maximal eigenvalue (Weber et al., 2022, Goffrier et al., 2020).

2. Finsler Structure, Geodesics, and Uniqueness

The Thompson metric equips the cone’s interior with a Finsler (but typically not Riemannian) structure. The tangent space norm at $t K \subset K$7 is

$t K \subset K$8

This structure makes the cone a (generally) non-strictly convex Finsler manifold (Baggio et al., 2017, Lemmens et al., 2016). The metric is not strictly locally uniquely geodesic except in the trivial one-dimensional case (Bosché, 2012).

Explicit geodesics:

• For finite-dimensional cones, the “projective straight-line” geodesic:

$t K \subset K$9

connects $t \geq 0$0 and $t \geq 0$1 along a $t \geq 0$2-geodesic of length $t \geq 0$3 (Cobzaş et al., 2013).

• On $t \geq 0$4, the affine-invariant geodesic is

$t \geq 0$5

and every pair $t \geq 0$6 can be joined by such a constant-speed geodesic (Bosché, 2012, Goffrier et al., 2020).

Criteria for uniqueness: In the case of positive matrices, a geodesic between $t \geq 0$7 is unique iff the spectrum of $t \geq 0$8 is $t \geq 0$9 for some $K \cap (-K) = \{0\}$0 (Lemmens et al., 2013). For general cones, uniqueness corresponds to the absence of additional dimensions in which the geodesic can deviate (“tilting” criterion).

3. Thompson Metric on Concrete Cones and Domains

Symmetric Cones

A symmetric cone $K \cap (-K) = \{0\}$1, the interior of squares in a Euclidean Jordan algebra $K \cap (-K) = \{0\}$2, supports the metric

$K \cap (-K) = \{0\}$3

where $K \cap (-K) = \{0\}$4 is the quadratic representation, and the norm is the spectral norm (maximum modulus of eigenvalues). For positive-definite matrices this reduces to the operator norm of the matrix logarithm (Bosché, 2012).

Spectral Densities

On the cone of rational spectral densities, the Thompson metric is given by

$K \cap (-K) = \{0\}$5

where $K \cap (-K) = \{0\}$6 are minimum-phase spectral factors (Baggio et al., 2017).

Convex Domains

On a bounded convex domain $K \cap (-K) = \{0\}$7, define

$K \cap (-K) = \{0\}$8

and then $K \cap (-K) = \{0\}$9, which is up to a constant equivalent to the Hilbert metric $x \leq y \iff y - x \in K$0 (Serre, 2017).

Polygonal Geometries

In convex polygons $x \leq y \iff y - x \in K$1, $x \leq y \iff y - x \in K$2 is realized as the max of the logarithms of scaling factors to boundary intersections (Funk and reverse Funk metrics), with explicit $x \leq y \iff y - x \in K$3 algorithms for distance and ball construction (Banerjee et al., 3 Mar 2025).

4. Isometries, Embeddings, and Symmetry Results

On symmetric cones, Thompson isometries are described as follows: every isometry is a composition of a Jordan-algebra automorphism and, possibly, a central involution (block inversion in the direct product decomposition) (Bosché, 2012, Lemmens et al., 2016). For the positive cone in a unital $x \leq y \iff y - x \in K$4-algebra, isometries are generated by $x \leq y \iff y - x \in K$5-automorphisms, $x \leq y \iff y - x \in K$6-antiautomorphisms, conjugation, and inversion.

On strictly convex cones of dimension at least $x \leq y \iff y - x \in K$7, any Thompson isometry is projectively linear: $x \leq y \iff y - x \in K$8 for a linear automorphism $x \leq y \iff y - x \in K$9 and positive scalar function $K$0 (Lemmens et al., 2013).

The metric space $K$1 admits an isometric embedding into a finite-dimensional normed space iff $K$2 is a simplicial cone; if quasi-isometric, then $K$3 must be polyhedral.

5. Fixed-Point Theory, Contraction, and Optimization

Order-preserving, subhomogeneous maps on the interior of a normal cone are nonexpansive in the Thompson metric. Krasnoselskii and Picard iterations for such maps converge to fixed points under mild compactness and spectral (Collatz–Wielandt) conditions (Lins, 2023). For analytic maps, uniqueness and global convergence of iterates are obtained under strict bounds on Collatz–Wielandt numbers.

For matrix equations, in particular Riccati iterations and Brascamp–Lieb fixed-point formulas, analysis in the Thompson metric produces geometric decay and complexity guarantees. For instance, in the regularized Brascamp–Lieb Picard iteration, strict $K$4-contractivity yields geometric convergence, and Snyder’s inequalities facilitate translation of $K$5 convergence to Schatten norm convergence (Weber et al., 2022, Snyder, 2016).

For order-preserving flows on cones, the sharp contraction rate in $K$6 is given by

$K$7

and is strictly positive only on bounded order-intervals unless the flow is globally strictly contractive (Gaubert et al., 2012).

6. Applications, Midpoints, and Computational Tools

Clustering and Data Geometry

The Thompson metric underlies inductive midrange centroids and cluster assignments for SPD matrix clustering, with fast algorithms based on extremal eigenvalue computations and geometric midpoints (Goffrier et al., 2020).

PDEs and Elliptic Regularity

In singular elliptic boundary-value problems on convex domains, global Lipschitz estimates of logarithms of positive solutions with respect to $K$8 are essential in establishing existence, uniqueness, and regularity (Serre, 2017).

Metric Geometry and Software

Polygonal Thomspon balls and distances can be visualized and computed efficiently, with open-source software available for exploring Funk, Hilbert, and Thompson geometries in convex polygons (Banerjee et al., 3 Mar 2025).

Midpoints and Metric Geometry

On symmetric cones, the affine span of $K$9 midpoints between $x, y$0 is characterized as a translation of the Peirce zero-space for a special idempotent associated with the boundary spectrum of $x, y$1 with respect to $x, y$2. Explicit formulas for the dimension of the midpoint set are available in simple Euclidean Jordan algebras (Lemmens et al., 2015).

7. Connections to Norms and Operator Theory

Although Thompson metric bounds can seem abstract, explicit inequalities relate $x, y$3 to Schatten and Frobenius norms. Given matrices $x, y$4 and $x, y$5,

$x, y$6

with a sharper bound for the Frobenius norm (Snyder, 2016), providing a practical bridge between geometric and classical error control in matrix approximation.

---

The Thompson metric thus provides a canonical, order-theoretic geometric framework for the analysis of cones in real vector spaces, Banach spaces, and Jordan algebras, with broad applications in analysis, optimization, geometry, and numerical methods. Its explicit formulation, contractive properties, and projective invariance enable deep analytic control in fixed-point theory, numerical linear algebra, and the geometry of ordered structures.