pith. sign in

arxiv: 2605.13608 · v1 · pith:XH2QBGPXnew · submitted 2026-05-13 · 🧮 math.LO

Universal homogeneous two-sorted ultrametric spaces

Adam Barto\v{s} , Wies{\l}aw Kubi\'s , Aleksandra Kwiatkowska , Maciej Malicki This is my paper

Pith reviewed 2026-05-14 18:51 UTC · model grok-4.3

classification 🧮 math.LO
keywords ultrametric spacesFraïssé limitstwo-sorted structureshomogeneous structuresUrysohn spaceautomorphism groupsdistance-carrying embeddingsvalued fields
2
0 comments X

The pith

Treating ultrametric spaces as two-sorted structures with ordered distances yields a countable homogeneous universal space under distance-carrying embeddings.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that finite two-sorted ultrametric spaces, consisting of points together with a linearly ordered set of distances, form a Fraïssé class when equipped with distance-carrying embeddings. These embeddings combine isometries on the point set with order embeddings on the distance set. The Fraïssé limit is the countable rational Urysohn ultrametric space U, which is homogeneous and dc-universal for every countable ultrametric space. The Cauchy completion of U extends this universality to all separable ultrametric spaces. This stands in contrast to the classical setting of isometric embeddings on ordinary ultrametric spaces, where no universal object exists.

Core claim

The class of all finite two-sorted ultrametric spaces with dc-embeddings satisfies the Fraïssé conditions and therefore possesses a countable homogeneous limit U, called the rational Urysohn ultrametric space. U is dc-universal for countable ultrametric spaces, and its completion is dc-universal for separable ultrametric spaces.

What carries the argument

Distance-carrying (dc) embeddings on two-sorted structures, obtained by pairing isometries of the point set with order-preserving maps of the distance set; these embeddings make the finite structures into a Fraïssé class whose limit is U.

If this is right

  • U is homogeneous and dc-universal for every countable ultrametric space.
  • The Cauchy completion of U is dc-universal for every separable ultrametric space.
  • The automorphism group of U is the semidirect product of the group of order-preserving bijections of the distance set and the group of isometries of the point set.
  • Aut(U) is itself a universal group and possesses an identifiable universal minimal flow.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The two types of tree representations may supply concrete combinatorial models for building dc-embeddings between arbitrary countable ultrametric spaces.
  • Links to valued fields indicate that similar two-sorted Fraïssé constructions could produce universal objects in the model theory of valued fields.
  • Because Aut(U) properly contains the isometry group, it may admit continuous actions or representations unavailable to the classical isometry group.

Load-bearing premise

The class of finite two-sorted ultrametric spaces with distance-carrying embeddings satisfies the hereditary, joint-embedding, and amalgamation properties.

What would settle it

A pair of finite two-sorted ultrametric spaces together with a common substructure that admits no dc-embedding amalgamation would show the class fails to be Fraïssé and therefore that no such universal limit U exists.

Figures

Figures reproduced from arXiv: 2605.13608 by Adam Barto\v{s}, Aleksandra Kwiatkowska, Maciej Malicki, Wies{\l}aw Kubi\'s.

Figure 1
Figure 1. Figure 1: The introduced categories and functors between them. [PITH_FULL_IMAGE:figures/full_fig_p016_1.png] view at source ↗
read the original abstract

We view ultrametric spaces as two-sorted structures consisting of a set of points and of a linearly ordered set of distances. We call the appropriate notion of embeddings distance-carrying (dc for short). Those are obtained by combining isometries and linear order embeddings. We show that the class of all finite two-sorted ultrametric spaces with dc-embeddings is Fra\"iss\'e, and that the limit is the countable rational Urysohn ultrametric space $\mathbb{U}$. The space $\mathbb{U}$ is dc-universal for all countable ultrametric spaces, and its Cauchy completion $\overline{\mathbb{U}}$ is dc-universal for all separable ultrametric spaces, which is in contrast with the situation of classical ultrametric spaces and isometric embeddings, where no such universal space can exist. We study further properties of $\mathbb{U}$, of its variants, and of its automorphism group, which is richer than its group of isometries. In particular, we provide two types of tree representations of the two-sorted ultrametric spaces, discuss connections to valued fields, and characterize the automorphism group of $\mathbb{U}$ as the semidirect product of a group of order preserving bijections and a group of isometries. Furthermore, we show universality of $\operatorname{Aut}(\mathbb{U})$ and identify its universal minimal flow.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The paper views ultrametric spaces as two-sorted structures (points and linearly ordered distances) and defines distance-carrying (dc) embeddings as combinations of isometries on points and order-embeddings on distances. It proves that the class K of all finite two-sorted ultrametric spaces under dc-embeddings is a Fraïssé class whose limit is the countable rational Urysohn ultrametric space U. U is dc-universal for all countable ultrametric spaces and its Cauchy completion is dc-universal for all separable ultrametric spaces (contrasting with the non-existence of such universals under classical isometric embeddings). The paper further studies tree representations of these spaces, connections to valued fields, the automorphism group of U (characterized as a semidirect product of order-preserving bijections and isometries), universality properties of Aut(U), and its universal minimal flow.

Significance. If the central Fraïssé claim holds, the result supplies a homogeneous universal object in a strictly richer category than the classical isometric one, enabling dc-universality where none exists otherwise. The two-sorted formulation, tree representations, links to valued fields, and the semidirect-product description of Aut(U) together with its universal minimal flow constitute concrete advances in the model theory and topological dynamics of ultrametric spaces.

major comments (1)
  1. [Section proving amalgamation property (likely §3)] The proof that K satisfies the amalgamation property for dc-embeddings (the load-bearing step for the Fraïssé theorem) is stated in the abstract and sketched in the introduction but requires explicit verification that arbitrary finite diagrams admit dc-amalgams while preserving the ultrametric inequality and the linear order on distances; a concrete diagram with three points and two distinct distances should be worked out in the relevant section to confirm no obstruction arises.
minor comments (2)
  1. [Preliminaries] Notation for the two sorts (points vs. distances) and for dc-embeddings should be introduced with a short table or diagram in the preliminaries to avoid ambiguity when reading the universality statements.
  2. [Introduction] The contrast with classical isometric embeddings (non-existence of universals) is mentioned but would benefit from a one-sentence reference to the known obstruction (e.g., failure of amalgamation for isometries) to make the advantage of the dc notion immediate.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive evaluation and the constructive suggestion regarding the amalgamation property. We address the major comment below and will incorporate the requested clarification in the revised manuscript.

read point-by-point responses

  1. Referee: [Section proving amalgamation property (likely §3)] The proof that K satisfies the amalgamation property for dc-embeddings (the load-bearing step for the Fraïssé theorem) is stated in the abstract and sketched in the introduction but requires explicit verification that arbitrary finite diagrams admit dc-amalgams while preserving the ultrametric inequality and the linear order on distances; a concrete diagram with three points and two distinct distances should be worked out in the relevant section to confirm no obstruction arises.

    Authors: We agree that an explicit worked example will improve readability and confirm the absence of obstructions. In the revised version we will add, in the section establishing the amalgamation property, a fully detailed verification for a concrete three-point diagram involving two distinct distances. This will explicitly construct the dc-amalgam, verify that the ultrametric inequality is preserved under the combined isometry and order-embedding, and confirm that the linear order on distances is respected. revision: yes

Circularity Check

0 steps flagged

No significant circularity; standard Fraïssé application

full rationale

The paper defines the class K of finite two-sorted ultrametric spaces under dc-embeddings independently of the target limit space U, then verifies the HP, JEP and AP properties directly to invoke the Fraïssé theorem. The universality of U for countable ultrametric spaces and of its completion for separable ones follows from the general properties of Fraïssé limits without any equation reducing the claimed result to a fitted parameter, self-referential definition, or load-bearing self-citation. The construction remains self-contained against external model-theoretic benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The paper rests on the standard definition of ultrametric inequality and the Fraïssé axioms for the newly introduced class of two-sorted structures; the main invented object is the limit space U itself.

axioms (2)
  • domain assumption Ultrametric inequality: d(x,y) ≤ max(d(x,z), d(z,y)) for all x,y,z
    Standard background definition invoked throughout the construction.
  • ad hoc to paper The class of finite two-sorted ultrametric spaces with dc-embeddings has the amalgamation property
    Central property asserted for the Fraïssé class; its verification is the load-bearing step.
invented entities (1)
  • Countable rational Urysohn ultrametric space U no independent evidence
    purpose: Homogeneous universal limit under dc-embeddings
    Constructed as the Fraïssé limit; no independent existence proof outside the construction is supplied.

pith-pipeline@v0.9.0 · 5554 in / 1557 out tokens · 66819 ms · 2026-05-14T18:51:44.248421+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

33 extracted references · 33 canonical work pages · 1 internal anchor

  1. [1]

    Bartoš, W

    A. Bartoš, W. Kubiś , Hereditarily indecomposable continua as generic mathematical structures , Selecta Math. (N.S.) 32 (2026), no. 1, Paper No. 14

    work page 2026

  2. [2]

    Bartoš, W

    A. Bartoš, W. Kubiś, A. Kwiatkowska, M. Malicki , Generic dc-auto\-morphisms of two-sorted ultrametric spaces , preprint, 2026

    work page 2026

  3. [3]

    Camerlo, A

    R. Camerlo, A. Marcone, L. Motto Ros , Isometry groups of Polish ultrametric space , arXiv:2508.08480

    work page arXiv

  4. [4]

    On homogeneous ultrametric spaces

    C. Delhomme, C. Laflamme, M. Pouzet, N. Sauer , On homogeneous ultrametric spaces , arXiv:1509.04346

    work page internal anchor Pith review Pith/arXiv arXiv

  5. [5]

    Delon , Espaces ultram\'etriques , J

    F. Delon , Espaces ultram\'etriques , J. Symbolic Logic 49 (1984), no. 2, 405--424

    work page 1984

  6. [6]

    D. N. Dikranjan, I. R. Prodanov, L. N. Stoyanov , Topological groups , Monographs and Textbooks in Pure and Applied Mathematics, 130, Dekker, New York, 1990

    work page 1990

  7. [7]

    Droste, R

    M. Droste, R. Göbel , Universal domains and the amalgamation property , Math. Structures Comput. Sci. 3 (1993), no. 2, 137–159

    work page 1993

  8. [8]

    Fraïssé , Sur l'extension aux relations de quelques propri\'et\'es des ordres , Ann

    R. Fraïssé , Sur l'extension aux relations de quelques propri\'et\'es des ordres , Ann. Sci. Ecole Norm. Sup. (3) 71 (1954), 363--388

    work page 1954

  9. [9]

    S. Gao, C. Shao , Polish ultrametric Urysohn spaces and their isometry groups , Topology and its Applications 158 (2011), 492--508

    work page 2011

  10. [10]

    Gheysens, B

    M. Gheysens, B. Pavlica, C. Pech, M. Pech, F. M. Schneider , Echeloned spaces , Forum Math. Sigma 13 (2025), Paper No. e89, 32 pp

    work page 2025

  11. [11]

    Herwig, D

    B. Herwig, D. Lascar , Extending partial automorphisms and the profinite topology on free groups , Trans. Amer. Math. Soc. 352 (2000), no. 5, 1985--2021

    work page 2000

  12. [12]

    Hodges , Model theory , volume 42 of Encyclopedia of Mathematics and its Applications

    W. Hodges , Model theory , volume 42 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge, 1993

    work page 1993

  13. [13]

    Hrushovski , Extending partial isomorphisms of graphs , Combinatorica 12 (1992), no

    E. Hrushovski , Extending partial isomorphisms of graphs , Combinatorica 12 (1992), no. 4, 411--416

    work page 1992

  14. [14]

    Jahel, A

    C. Jahel, A. Zucker , Topological dynamics of Polish group extensions , European J. Combin. 132 (2026), Paper No. 104263, 12 pp

    work page 2026

  15. [15]

    Kaplansky , Maximal fields with valuations , Duke Math

    I. Kaplansky , Maximal fields with valuations , Duke Math. J. 9 (1942), 303--321

    work page 1942

  16. [16]

    A. S. Kechris, V. G. Pestov, S. Todorcevic , Fraïssé limits, Ramsey theory, and topological dynamics of automorphism groups , Geom. Funct. Anal. 15 (2005), no. 1, 106--189

    work page 2005

  17. [17]

    A. S. Kechris, C. Rosendal , Turbulence, amalgamation, and generic automorphisms of homogeneous structures , Proc. Lond. Math. Soc. (3) 94 (2007), no. 2, 302--350

    work page 2007

  18. [18]

    W. Kirk, N. Shahzad , Fixed point theory in distance spaces , Springer, Cham, 2014, xii+173 pp

    work page 2014

  19. [19]

    Kubi\'s , Fraïssé sequences: category-theoretic approach to universal homogeneous structures , Ann

    W. Kubi\'s , Fraïssé sequences: category-theoretic approach to universal homogeneous structures , Ann. Pure Appl. Logic 165 (2014), 1755--1811

    work page 2014

  20. [20]

    Kubiś, D

    W. Kubiś, D. Mašulović , Katětov functors , Applied Categorical Structures 25 (2017), 569--602

    work page 2017

  21. [21]

    A. J. Lemin, V. A. Lemin , On a universal ultrametric space , Topology Appl. 103 (2000), no. 3, 339--345

    work page 2000

  22. [22]

    Mac Lane , Categories for the working mathematician , second edition, Graduate Texts in Mathematics, 5, Springer-Verlag, New York, 1998, xii+314 pp

    S. Mac Lane , Categories for the working mathematician , second edition, Graduate Texts in Mathematics, 5, Springer-Verlag, New York, 1998, xii+314 pp

    work page 1998

  23. [23]

    Malicki , Generic elements in isometry groups of Polish ultrametric spaces , Israel J

    M. Malicki , Generic elements in isometry groups of Polish ultrametric spaces , Israel J. Math. 206 (2015), no. 1, 127--153

    work page 2015

  24. [24]

    Nguyen Van Thé , Ramsey degrees of finite ultrametric spaces, ultrametric Urysohn spaces and dynamics of their isometry groups , European J

    L. Nguyen Van Thé , Ramsey degrees of finite ultrametric spaces, ultrametric Urysohn spaces and dynamics of their isometry groups , European J. Combin. 30 (2009), no. 4, 934–945

    work page 2009

  25. [25]

    Nguyen Van Thé , Structural Ramsey theory of metric spaces and topological dynamics of isometry groups , Mem

    L. Nguyen Van Thé , Structural Ramsey theory of metric spaces and topological dynamics of isometry groups , Mem. Amer. Math. Soc. 206 (2010), no. 968, x+140 pp

    work page 2010

  26. [26]

    M. C. Perez-Garcia, W. H. Schikhof , Locally convex spaces over non-Archimedean valued fields , Cambridge Studies in Advanced Mathematics, 119, Cambridge Univ. Press, Cambridge, 2010, xiv+472 pp

    work page 2010

  27. [27]

    Pestov , On free actions, minimal flows, and a problem by Ellis , Trans

    V. Pestov , On free actions, minimal flows, and a problem by Ellis , Trans. Amer. Math. Soc. 350 (1998), no. 10, 4149–4165

    work page 1998

  28. [28]

    Pestov , Dynamics of infinite-dimensional groups , Volume 40 of University Lecture Series, American Mathematical Society, Providence, RI, 2006

    V. Pestov , Dynamics of infinite-dimensional groups , Volume 40 of University Lecture Series, American Mathematical Society, Providence, RI, 2006

    work page 2006

  29. [29]

    Priess-Crampe, P

    S. Priess-Crampe, P. Ribenboim , Homogeneous ultrametric spaces , J. Algebra 186 (1996), no. 2, 401--435

    work page 1996

  30. [30]

    Priess-Crampe, P

    S. Priess-Crampe, P. Ribenboim , Generalized ultrametric spaces I , Abh. Math. Sem. Univ. Hamburg 66 (1996), 55--73

    work page 1996

  31. [31]

    Priess-Crampe, P

    S. Priess-Crampe, P. Ribenboim , Generalized ultrametric spaces II , Abh. Math. Sem. Univ. Hamburg 67 (1997), 19--31

    work page 1997

  32. [32]

    Schörner , On immediate extensions of ultrametric spaces , Results Math

    E. Schörner , On immediate extensions of ultrametric spaces , Results Math. 29 (1996), no. 3–4, 361–370

    work page 1996

  33. [33]

    I. A. Vestfrid , On the universal ultrametric space , Ukrainian Math. J. 46 (1994), no. 12, 1890--1898; translated from Ukrain. Mat. Zh. 46 (1994), no. 12, 1700--1706

    work page 1994