Distinguishing number of Urysohn metric spaces

TL;DR

This paper investigates the automorphism properties of countable Urysohn metric spaces, showing they have distinguishing number 2 or infinite, supporting a broader conjecture about primitive homogeneous structures.

Contribution

It establishes that countable homogeneous Urysohn metric spaces have distinguishing number 2 or infinite, extending understanding of automorphism groups in infinite metric spaces.

Findings

Distinguishing number is 2 or infinite for these spaces

Supports conjecture on primitive homogeneous structures

Provides new insights into automorphism groups

Abstract

The distinguishing number of a structure is the smallest size of a partition of its elements so that only the trivial automorphism of the structure preserves each cell of the partition. We show that for any countable subset of the positive real numbers, the corresponding countable homogeneous Urysohn metric space, when it exists, has distinguishing number 2 or the distinguishing number is infinite. While it is known that a sufficiently large finite primitive structure has distinguishing number 2, unless its automorphism group is the full symmetric group or alternating group, the infinite case is open and these countable Urysohn metric spaces provide further confirmation toward the conjecture that all primitive homogeneous countably infinite structures have distinguishing number 2 or else the distinguishing number is infinite.