
==== Front
Rev R Acad Cienc Exactas Fis Nat A Mat
Rev R Acad Cienc Exactas Fis Nat A Mat
Revista De La Real Academia De Ciencias Exactas, Fisicas Y Naturales. Serie A, Matematicas
1578-7303
1579-1505
Springer International Publishing Cham

1587
10.1007/s13398-024-01587-y
Original Paper
Homogeneous isosceles-free spaces
Bargetz Christian 1
http://orcid.org/0000-0002-3022-1459
Bartoš Adam 2
Kubiś Wiesław 2
http://orcid.org/0009-0000-8993-1845
Luggin Franz Franz.Luggin@student.uibk.ac.at

1
1 https://ror.org/054pv6659 grid.5771.4 0000 0001 2151 8122 Department of Mathematics, Universität Innsbruck, Technikerstraße 13, 6020 Innsbruck, Austria
2 https://ror.org/053avzc18 grid.418095.1 0000 0001 1015 3316 Institute of Mathematics, Czech Academy of Sciences, Žitná 25, 115 67 Prague, Czech Republic
21 5 2024
21 5 2024
2024
118 3 1181 8 2023
11 3 2024
© The Author(s) 2024
https://creativecommons.org/licenses/by/4.0/ Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
We study homogeneity aspects of metric spaces in which all triples of distinct points admit pairwise different distances; such spaces are called isosceles-free. In particular, we characterize all homogeneous isosceles-free spaces up to isometry as vector spaces over the two-element field, endowed with an injective norm. Using isosceles-free decompositions, we provide bounds on the maximal number of distances in arbitrary homogeneous finite metric spaces.

Keywords

Isosceles-free metric space
Homogeneity
Isometry group
Mathematics Subject Classification

03C50
20B25
51F99
54E35
05C15
05E18
http://dx.doi.org/10.13039/501100001824 Grantová Agentura České Republiky 20-31529X 20-31529X Bartoš Adam Kubiś Wiesław http://dx.doi.org/10.13039/501100004240 Akademie Věd České Republiky RVO 67985840 RVO 67985840 Bartoš Adam Kubiś Wiesław http://dx.doi.org/10.13039/501100002428 Austrian Science Fund I 4570-N I 4570-N Bargetz Christian Luggin Franz University of Innsbruck and Medical University of InnsbruckOpen access funding provided by University of Innsbruck and Medical University of Innsbruck.

issue-copyright-statement© The Royal Academy of Sciences, Madrid 2024
==== Body
pmcIntroduction

A mathematical structure is called ultrahomogeneous if every isomorphism between its finite (or, more generally, finitely generated), substructures extends to an automorphism. Adding bounds on the cardinality of the substructures we obtain n-homogeneity, where n⩾1 is a natural number. Countable (or, more generally, countably generated) ultrahomogeneous structures are known in model theory as Fraïssé limits (see e.g. Hodges [5]) and they are fully characterized as unique countable ultrahomogeneous structures generated by a given class of finite (or finitely generated) structures satisfying some natural axioms, where the most important one is the amalgamation property. Metric spaces can be easily viewed as first order structures, for instance, replacing the metric by countably many binary relations saying that “the distance is less than a fixed positive rational number”. In this setting, isomorphisms are just bijective isometries and a metric space is ultrahomogeneous if every isometry between its finite subsets extends to a bijective auto-isometry of the space. Perhaps the first and arguably most important example is the Urysohn space [22], the unique separable complete ultrahomogeneous metric space U containing isometric copies of all separable metric spaces. The space U contains a dense countable ultrahomogeneous subspace in which all distances are rational, this is actually the Fraïssé limit of the class of all finite metric spaces with rational distances.

In this paper we consider the special class of metric spaces without isosceles triangles, called isosceles-free, in connection with homogeneity. It turns out this class is a nice source of examples in the context of Fraïssé theory as well as in the context of finite combinatorics and the question of how many distinct distances a finite homogeneous spaces of a fixed size can have.

Our main results include: Realizing that every 1-homogeneous isosceles-free metric space is already ultrahomogeneous (Proposition 3.4), and that homogeneous isosceles-free spaces are exactly uniquely 2-homogeneous spaces (Proposition 3.6).

Showing that the class of all finite isosceles-free metric spaces is a hereditary class without the weak amalgamation property (Theorem 3.16).

Characterizing all homogeneous isosceles-free spaces up to isometry as normed Z2-linear spaces with an injective norm (Theorem 4.9), using an auxiliary notion of a Boolean metric space.

Studying more general 1-homogeneous spaces through the lens of singleton distances (i.e. locally non-repeating distances) and related invariant decompositions, showing that every 1-homogeneous metric space is Boolean or isosceles-generated or a rainbow duplicate of an isosceles-generated space (Theorem 5.19). In the case of 2-homogeneous spaces, this further reduces to being isosceles-generated or isosceles-free.

Giving bounds on the maximal number of distances in a homogeneous finite metric space of size n. In the case of a 2-homogeneous space, we have the optimal bound 2m(k+1) for n=2m(2k+1), realized even by ultrahomogeneous spaces (Theorem 6.4 and Example 6.5). This bound is optimal also for 1-homogeneous spaces whose size is odd or a power of two. In the case of an even-sized 1-homogeneous space of size 2m(4k+2) we give a better lower bound 2m(3k+2) (Example 6.10).

The paper is organized as follows. In Sect. 2 we gather various notions of homogeneity of metric spaces and prove general preservation theorems. In Sect. 3 we study isosceles-free metric spaces in general and in connection with 1-homogeneity. We prove the results (1) and (2) as well as the fact that the automorphism group of an isosceles-free space is Boolean. We also give a couple of illustrative examples.

In Sect. 4 we further exploit the fact that homogeneous isosceles-free spaces are uniquely 1-homogeneous and have a Boolean automorphism group. We call metric spaces with the latter properties Boolean metric spaces and prove that they admit a certain Z2-linear/affine structure. This leads to the proof of the complete classification of homogeneous isosceles-free spaces (3). Later in the section we give infinite Cantor-like examples of homogeneous isosceles-free spaces (Examples 4.13 and 4.14), demonstrating that metric completion may break ultrahomogeneity and the property of being isosceles-free.

In Sect. 5 we study invariant decompositions of homogeneous metric spaces based on singleton distances - the decomposition into isosceles-free components and the decomposition into isosceles-generated components - in order to prove (4). We also introduce the construction of a rainbow duplicate of a 1-homogeneous metric space, and show that this particular construction in fact realizes all 1-homogeneous spaces with two isosceles-generated components.

In Sect. 6 we exploit the structural properties and constructions of homogeneous metric spaces obtained in previous sections to give a partial answer to the question: how many distinct distances can a finite homogeneous metric space of a fixed size n have? We obtain the bounds (5). Concrete values of the bounds are summarized in Table 1.

Let X be a metric space. We use the following notation.The distance is usually denoted by d(x, y). We sometimes use dX instead of d for clarity.

Dist(X) denotes the set of used distances {d(x,y):x,y∈X}.

Aut(X) denotes the automorphism group of all isometries X→X. Note that here the word isometry stands for isometric isomorphism and not isometric embedding.

Age(X) denotes the class of all finite metric spaces isometrically embeddable into X.

Homogeneity

A metric space X is said to ben-homogeneous for n∈N+={1,2,3,⋯} if for every isometry f:A→B between subspaces A,B⊆X with |A|⩽n there exists an automorphism F:X→X extending f, i.e. F|A=f;

ultrahomogeneous if it is n-homogeneous for every n∈N+;

uniquely n-homogeneous if for every isometry f:A→B for A,B⊆X with 0<|A|⩽n there exists a unique F∈Aut(X) with F|A=f;

uniquely ultrahomogeneous if it is uniquely n-homogeneous for every n∈N+.

Note that X is uniquely n-homogeneous if and only if it is n-homogeneous and uniquely 1-homogeneous. In model theory, uniquely 1-homogeneous structures are called Ohkuma structures, see [3] and [18]. We usually avoid the term homogeneous as it can mean either 1-homogeneous or ultrahomogeneous in the literature.

Definition 2.1

Let X be a metric space. We say that a subspace Y⊆X is quasi-invariant if for every f∈Aut(X) such that f[Y]∩Y≠∅ we have f[Y]=Y.

Example 2.2

The metric space X={⟨i,j⟩:1⩽i⩽4,1⩽j⩽2} with the metricd(⟨i1,j1⟩,⟨i2,j2⟩)=2j1≠j2,1i1≠i2,0else.

has two quasi-invariant subspaces Yj={⟨i,j⟩:1⩽i⩽4} for j=1,2 (see Fig. 1).Fig. 1 The metric space X=Y1∪Y2 with all edges of distance 1 drawn. All pairs of distinct points without an edge between them have distance 2

To check that Y1 is quasi-invariant, note that if f is an automorphism and maps any point x in Y1 to Y1, then due to f being an isometry, we have f[Y1]=Y1 since Y1 is exactly the set of points of distance ⩽1 to x. This remains true regardless of which distances (or how many distinct ones) we choose between a point in Y1 and a point in Y2, as long as no such distance is chosen as 1.

More generally, any subspace Y⊆X such that d[Y×Y]∩d[(X\Y)×Y]=∅ or any component of an invariant decomposition of X (see Definition 5.1) is quasi-invariant.

Proposition 2.3

Let X be a metric space and let Y⊆X be a quasi-invariant subspace. If X is (uniquely) n-homogeneous for some n∈N+ or ultrahomogeneous, then so is Y, and this is witnessed by restrictions of automorphisms of X.

Proof

Let f:A→B be an isometry between nonempty finite subspaces A,B⊆Y⊆X. If X is |A|-homogeneous, there is F∈Aut(X) extending f. We have ∅≠B⊆Y∩F[Y], and hence F|Y∈Aut(Y) since Y is quasi-invariant. Moreover, if F is the unique automorphism of X extending f, then F|Y is the unique automorphism of Y extending f. □

For metric spaces X and Y let X×1Y denote the product space endowed with the ℓ1-metric: d(⟨x1,y1⟩,⟨x2,y2⟩)=dX(x1,x2)+dY(y1,y2). Also for every f∈Aut(X) and g∈Aut(Y) let f×g denote the map ⟨x,y⟩↦⟨f(x),g(y)⟩.

Proposition 2.4

Suppose that X and Y are nonempty metric spaces such that the map +:Dist(X)×Dist(Y)→Dist(X×1Y)⊆[0,∞) is injective (and so bijective). Then ⟨f,g⟩↦f×g is a group isomorphism Aut(X)×Aut(Y)→Aut(X×1Y). Moreover, X×1Y is (uniquely) n-homogeneous/ultrahomogeneous if and only if X and Y are.

Proof

Distances in X×1Y are of the form d(⟨x1,y1⟩,⟨x2,y2⟩)=dX(x1,x2)+dY(y1,y2). Therefore, since sums of the form dX(x1,x2)+dY(y1,y2) injectively map into [0,∞), there will be a one-to-one correspondence between Dist(X×1Y) and Dist(X)×Dist(Y).

For every f,f′∈Aut(X) and g,g′∈Aut(Y) we haved((f×g)(x1,y1),(f×g)(x2,y2))=dX(f(x1),f(x2))+dY(g(y1),g(y2))=dX(x1,x2)+dY(y1,y2)=d(⟨x1,y1⟩,⟨x2,y2⟩),

and (f×g)∘(f′×g′)=(f∘f′)×(g∘g′). Hence, f×g∈Aut(X×1Y) and ⟨f,g⟩↦f×g is a group homomorphism Aut(X)×Aut(Y)→Aut(X×1Y).

Let πX:X×1Y→X and πY:X×1Y→Y denote the projections. For every f∈Aut(X), g∈Aut(Y), x∈X, and y∈Y we have πX((f×g)(x,y))=f(x) and πY((f×g)(x,y))=g(y), and hence the homomorphism ⟨f,g⟩↦f×g is injective.

To show that it is also surjective and to show the remaining claims, let ϕ:A→B be an isometry of some subspaces A,B⊆X×1Y. We prove that ϕ=(ϕX×ϕY)|A for some isometries ϕX:πX[A]→πX[B] and ϕY:πY[A]→πY[B]. To that end, let us look atd(ϕ(x1,y1),ϕ(x2,y2))=d(⟨x1,y1⟩,⟨x2,y2⟩)=dX(x1,x2)+dY(y1,y2)

and note that if ϕ(x1,y1)=:⟨a,b⟩ and ϕ(x2,y2)=:⟨c,d⟩, thendX(x1,x2)+dY(y1,y2)=dX×1Y(⟨a,b⟩,⟨c,d⟩)=dX(a,c)+dY(b,d)

and it follows from our injectivity assumption of + on Dist(X)×Dist(Y) that dX(x1,x2)=dX(a,c) and dY(y1,y2)=dY(b,d). In particular, if x1=x2, then a=c, so for all pairs of points ⟨x,y1⟩,⟨x,y2⟩ with identical X-components, we get that the X-components of the images under ϕ coincide as well: πX(ϕ(x,y1))=πX(ϕ(x,y2))=:ϕX(x). Also, dX(x1,x2)=dX(a,c) shows that ϕX is an isometry. Analogously, we obtain the isometry ϕY.

Hence, ×:Aut(X)×Aut(Y)→Aut(X×1Y) is surjective. It also follows that every subspace X×{y}⊆X×1Y (which is isometric to X) is quasi-invariant, and so if X×1Y is (uniquely) n-homogeneous/ultrahomogeneous, so is X by Proposition 2.3, and similarly for Y. Finally, if ϕX and ϕY have (unique) extensions ΦX∈Aut(X) and ΦY∈Aut(Y), then ΦX×ΦY is a (unique) extension of ϕ, so if X and Y are (uniquely) n-homogeneous/ultrahomogeneous, then so is X×1Y. □

Example 2.5

For every n∈N+, let Cn:=⟨Vn,En,dn⟩ be the n-point circle graph with simple graph distance, where Vn:={0,⋯,n-1} is the vertex set, the set of edges En:={{i,i+1}modn:0⩽i<n} only connects consecutive vertices as well as the first and last vertex with each other, anddn:Vn×Vn→0,n2∩N:⟨i,j⟩↦min{|i-j|,n-|i-j|}

counts the minimum number of edges in En you have to cross to get from i to j.

The metric space Cn is ultrahomogeneous.

Proof

For any Cn, it is clear that the automorphism group Aut(Cn) contains all rotations around the vertex set Φi(k)=(i+kmodn) and all reflections across a vertex i∈Vn, Ψi(k)=(2i-kmodn).

Each isometry ϕ:A→B with A,B⊆Cn can be extended to at least one such rotation or reflection since, after choosing any two points x≠y∈A (that are not antipodal in the case of even n), all other points z∈Cn can be uniquely determined from their distances to x and y, and thus the same holds for ϕ(z). Therefore, it suffices to consider |A|⩽2, and in those cases it is easy to see that rotating one point x onto its image and then potentially reflecting across ϕ(x) will give an automorphism mapping A to B. □

Isosceles-free spaces

In the following, we will study metric spaces X with the property that all distances from a given point are distinct, i.e. d(x,y)≠d(x,z) for all distinct x,y,z∈X. We will refer to such spaces as isosceles-free spaces since the condition is equivalent to “X does not contain any isosceles triangles”. The isosceles-free spaces were introduced under the name star-rigid by Janoš and Martin [9].

Observation 3.1

Every isosceles-free space is zero-dimensional, as observed by Hattori [4, Theorem 2]: Every ball B(x, r) has at most one point at the boundary, and every subspace C(x,y):={z:d(z,x)<d(z,y)} is clopen. Hence, if B(x, r) has exactly one point y at the boundary, B(x,r)∩C(x,y) is a basic clopen set, and otherwise B(x, r) is already a basic clopen set.

Proposition 3.2

If X is any metric space and Y is isosceles-free, then for every x∈X, y∈Y there exists at most one isometric embedding f:X→Y which maps x to y.

Proof

Pick two isometric embeddings f, g such that f(x)=y=g(x). Hence for any x′∈X we have that d(y,f(x′))=d(x,x′)=d(y,g(x′)). But this means that f(x′)=g(x′) since otherwise, we would have a non-trivial isosceles triangle in Y. □

Corollary 3.3

Every 1-homogeneous isosceles-free space X is uniquely 1-homogeneous, i.e. for every x,y∈X there exists precisely one f∈Aut(X) such that f(x)=y.

Proof

Since X is 1-homogeneous, there exists at least one f∈Aut(X) mapping x to y, and according to Proposition 3.2, there exists at most one. □

Proposition 3.4

Every 1-homogeneous isosceles-free space X is ultrahomogeneous.

Proof

Let i:A→B be an isometry from a finite subset A⊂X to B⊂X. Choose any x∈A and find the automorphism f which maps x to i(x). Then, i and f|A are both isometric embeddings from A into X which map x to i(x). According to Proposition 3.2, this means they are equal. □

Remark 3.5

Observe that the proof of Proposition 3.4 shows that we have homogeneity not only for finite substructures, but for all substructures of X. This is called absolute homogeneity by Piotr Niemiec, studied in his recent preprint [17].

Since 1-homogeneity and ultrahomogeneity are equivalent for isosceles-free spaces, we will call them just homogeneous isosceles-free spaces.

Proposition 3.6

A metric space X is homogeneous isosceles-free if and only if it is uniquely 2-homogeneous.

Proof

Recall that being uniquely 2-homogeneous is equivalent to being 2-homogeneous and uniquely 1-homogeneous. Suppose X is 1-homogeneous and isosceles-free. By Proposition 3.4, X is even ultrahomogeneous. By Corollary 3.3, X is uniquely 1-homogeneous.

On the other hand, suppose that X is uniquely 2-homogeneous, and let x,y,z∈X be such that d(x,y)=d(x,z). By 2-homogeneity there is f∈Aut(X) with f(x)=x and f(y)=z. By unique 1-homogeneity, f is the unique automorphism fixing x, and so f=idX and y=z, so X is isosceles-free. □

Recall that a Boolean group is a group G such that g2=1, i.e. g-1=g, for every g∈G. It follows that G is Abelian as ghg-1h-1=(gh)(gh)=1 and so gh=hg for every g,h∈G.

Proposition 3.7

For every isosceles-free space X the isometry group Aut(X) is Boolean.

Proof

For every f∈Aut(X) and x∈X we have d(x,f(x))=d(f(x),f(f(x))), and hence x=f(f(x)) since X is isosceles-free. Hence f2=idX. □

Observation 3.8

Let X be a metric space. For every a∈X letDa:X→Dist(X) denote the distance map x↦d(x,a),

Ea:Aut(X)→X denote the evaluation map f↦f(a).

We have the following reformulation of the properties considered. X is isosceles-free if and only if the maps Da are injective, and in that case it follows that the maps Ea are injective.

X is 1-homogeneous if and only if the maps Ea are surjective, and in that case it follows that the maps Da are surjective.

X is uniquely 1-homogeneous if and only if the maps Ea are bijective.

X is homogeneous isosceles-free if and only if the maps Da and Ea are bijective.

Proof

Clearly the maps Da being injective is essentially the definition of being isosceles-free. The maps Ea are injective and surjective if and only if for every x,y∈X there exists at most and at least, respectively, one f∈Aut(X) such that f(x)=y. Proposition 3.2 says that the first option is true for isosceles-free spaces. Also for every r∈Dist(X) there are x,y∈X with d(x,y)=r, and so if X is 1-homogeneous, for every a∈X there is f∈Aut(X) with f(x)=a, and so d(a,f(y))=r and the maps Ea are surjective. The rest is clear. □

Corollary 3.9

For every finite homogeneous isosceles-free metric space X we have |X|=2m for some m∈ω.

Proof

We have a bijection Ea:Aut(X)→X and Aut(X) is a Boolean group by Proposition 3.7. □

Example 3.10

Let X={1,2,3,4} and let R={a,b,c} where a, b, c are any positive real numbers forming a triangle. There are exactly three decompositions of X into two pairs of points: Ya={{1,2},{3,4}}, Yb={{1,3},{2,4}}, Yc={{1,4},{2,3}}. We put d(x,y)=r if and only if {x,y}∈Yr, for x≠y∈X and r∈R. This gives a simple example of a homogeneous isosceles-free space, as in Fig. 2.

Fig. 2 A four-point homogeneous isosceles-free space

Example 3.11

We consider the set X={1,2,3,4,5,6} and pick five pairwise distinct numbers d1,d2,d3,d4,d5∈[1,2] and set the distances as indicated in Fig. 3.

Since all distances are between 1 and 2, the triangle inequality is always satisfied. Moreover at every point each distance appears exactly once, so the mappings Da are bijective and X is isosceles-free but it is not 1-homogeneous. That it is not 1-homogeneous can be checked directly, but it also follows from Corollary 3.9 as its size is not a power of two.

Fig. 3 An isosceles-free space that is not 1-homogeneous

Example 3.12

Let X be a Polish (i.e. separable, complete) metric space in which all spheres and all bisectors are nowhere dense. A sphere in X is any set of the formSr(a):={x∈X:d(a,x)=r}

while the bisector of a,b∈X isbs(a,b):={x∈X:d(a,x)=d(x,b)}.

Assuming all spheres and all bisectors are nowhere dense, we can easily construct a sequence A={an}n∈ω such that all the distances between pairs of points of A are pairwise distinct (such spaces are called strongly rigid [8]). This way we obtain a dense countable isoceles-free subspace of X, where X could be, for example, Rn, a manifold with the geodesic distance, a Banach space, or the Urysohn space.

The next result exhibits a universality property of the automorphism groups of homogeneous isosceles-free spaces. Let us note that a countable ultrahomogeneous structure U, the Fraïssé limit of a given class of finite/finitely generated structures F, is universal in the sense that it contains isomorphic copies of all countable structures that are unions of chains from F. So, it is natural to ask whether Aut(U) contains isomorphic copies of Aut(X) for every X∈F or, even better, for every X that is the union of a countable chain in F. This universality question had been explicitly asked by Jaligot [7] and it turns out that for most classical Fraïssé classes the answer is positive [13], however there exist relational homogeneous structures whose automorphism groups are far from being universal, see [14]. The next result gives a positive answer to the question above in the case of isosceles-free metric spaces.

Definition 3.13

Let e:X→Y be an isometric embedding of metric spaces. By an extension operator along e we mean a group homomorphism e∗:Aut(X)→Aut(Y) (which is necessarily injective) such that e∗(f)∘e=e∘f for every f∈Aut(X). In the case that e is the inclusion X⊆Y, this means simply that e∗(f) extends f for every f∈Aut(X).

Proposition 3.14

Let e:X→Y be an isometric embedding of an isosceles-free space into a homogeneous isosceles-free space. There is a unique extension operator e∗:Aut(X)→Aut(Y).

For any a∈X we have e∗=Ee(a)-1∘e∘Ea.

The assignment X↦Aut(X) and e↦e∗ defines a functor from the category of homogeneous isosceles-free metric spaces and isometric embeddings to the category of Boolean groups and injective group homomorphisms.

Proof

If e∗ is an extension operator and a∈X, then for every f∈Aut(X) we have e∗(f)(e(a))=e(f(a)), and by unique 1-homogeneity of Y, e∗(f) is the unique automorphism of Y mapping e(a) to e(f(a)), so Ee(a)(e∗(f))=e(Ea(f)). This shows (2) and uniqueness in (1) if X≠∅. For X=∅, we have Aut(X)={idX} and (1) holds.

To show existence of the extension operator for X≠∅, we fix any a∈X and for f∈Aut(X) we let e∗(f) be the unique automorphism of Y mapping e(a)↦e(f(a)). Both e∗(f)∘e and e∘f map a↦e(f(a)), and so they are equal by Proposition 3.2. For f,g∈Aut(X) we have (e∗(f)∘e∗(g))∘e=e∗(f)∘e∘g=e∘(f∘g), and hence e∗ is a group homomorphism Aut(X)→Aut(Y). Moreover the assignment is injective: if e∗(f)=e∗(g), then e∘f=e∘g and f=g since e is an embedding.

To show (3), consider two isometric embeddings between homogeneous isosceles-free spaces i:X→Y and j:Y→Z. For every f∈Aut(X) we have(j∗∘i∗)(f)∘(j∘i)=j∗(i∗(f))∘j∘i=j∘i∗(f)∘i=j∘(i∘f),

and clearly j∗∘i∗ is a group homomorphism. Hence, j∗∘i∗=(j∘i)∗. Clearly also (idX)∗=idAut(X). □

In the following, we will talk about classes of metric spaces (with isometric embeddings as morphisms), and we define the weak amalgamation property, which was formally introduced by Ivanov [6] and independently by Kechris and Rosendal [10] in connections with generic automorphisms of Fraïssé limits. It was recently explored in the context of Fraïssé limits by Krawczyk and Kubiś [11]; a purely category-theoretic framework was developed in [12] and for more information we refer to these two sources. (WAP) is crucial for the existence of (weak) Fraïssé sequences and thus for the construction of an object M which is generic over K, roughly speaking, the most common (or perhaps most complicated) object (a metric space, in our case) that can be built as the union of a chain in K.

In the context of metric spaces, it seems to be rather difficult to find easy-to-describe classes that lack the weak amalgamation property. Note that graphs can be seen as metric spaces, with distance set {0,1,2} depending on whether two points are connected by an edge or not. Then, graph embeddings correspond to isometric embeddings and thus some nontrivial examples of hereditary classes without (WAP) are given in [11] and [19].

Definition 3.15

A class of metric spaces K has the weak amalgamation property (WAP) if for every A∈K there exists a K-embedding ϕ:A→B such that for every two K-embeddings ψX:B→X, ψY:B→Y there exist K-embeddings πX:X→Z, πY:Y→Z into a common space Z such that both ways of mapping A to Z coincide: πX∘ψX∘ϕ=πY∘ψY∘ϕ (cf. Fig. 4). (Here a K-embedding means an isometric embedding between spaces from K.)

Fig. 4 (WAP) requires the left diagram to be commutative, the right one need not be

Theorem 3.16

The class of all finite isosceles-free spaces does not have the weak amalgamation property.

Proof

Let K denote the class of all finite isosceles-free spaces, let A:={0,1}, let ⟨A,dA⟩ be our base space in K, and let ⟨B,dB⟩∈K be any extension of ⟨A,dA⟩. In order to show a failure of (WAP), we will define two one-point extensions X:=B∪{x} and Y:=B∪{y} of B, with distance functions dX and dY, respectively, such that no space Z exists in K which allows X and Y to be embedded into it in such a way that the images of A coincide.

To this end, define r0 as a distance larger than any distance in B, and let r1 be a distance very close to r0:r0:=max{dB(a,b):a,b∈B}+1,ε:=12min{|dB(a,0)-dB(b,1)|>0:a,b∈B},r1:=r0-ε.

Note that B is a finite metric space and thus the minimum in the definition of ε really is a minimum rather than an infimum (in particular, ε>0).

Since they are supposed to be extensions of B, let dX(a,b):=dB(a,b)=:dY(a,b) for any a,b∈B. Moreover, for any a∈B, letdX(a,x):=dB(a,0)+r0,dY(a,y):=min{dB(a,0)+r0,dB(a,1)+r1}

Clearly, this way, X is a valid finite metric space and both choices of distances ρ(a,y):=dB(a,0)+r0 and ρ′(a,y):=dB(a,1)+r1 within the minimum in the definition of dY would define a valid metric on Y (again with ρ=ρ′=dB on B×B). So to show that dY is valid as well, observe that the minimum of two metrics always satisfies all conditions for a metric except potentially the triangle inequality. However, the two metrics ρ and ρ′ only differ when y is one of the two arguments, so we need to check whetherdY(a,y)=min{ρ(a,y),ρ′(a,y)}⩽min{ρ(a,b)+ρ(b,y),ρ′(a,b)+ρ′(b,y)}=dB(a,b)+min{ρ(b,y),ρ′(b,y)}.

But since ρ and ρ′ are valid metrics on Y, the only cases in which this might fail are when (w.l.o.g.) ρ(a,y)<ρ′(a,y) and ρ(b,y)>ρ′(b,y). But in that case,dY(a,y)<ρ′(a,y)⩽ρ′(a,b)+ρ′(b,y)=dY(a,b)+dY(b,y).

Lastly, when y only shows up on the right-hand side of the triangle inequality, we have to show that:dY(a,b)⩽min{ρ(a,y),ρ′(a,y)}+min{ρ(y,b),ρ′(y,b)}=dY(a,y)+dY(y,b).

If ρ(a,y)<ρ′(a,y) or ρ(b,y)<ρ′(b,y) this is clear since ρ(·,y)⩾r0>dB(a,b)=dY(a,b) on B. If, on the other hand, ρ(a,y)>ρ′(a,y) and ρ(b,y)>ρ′(b,y), thendY(a,y)+dY(b,y)=ρ′(a,y)+ρ′(b,y)⩾ρ′(a,b)=dY(a,b).

So (X,dX),(Y,dY) are both valid metric spaces. Let us additionally show that they are isosceles-free: since B already contains no isosceles triangles, the only way to add an isosceles triangle to X would be if dX(a,x)=dX(b,x) for some a,b∈B, but in that case, it would follow that dB(a,0)=dB(b,0), a clear contradiction.

For Y, the situation is slightly more complicated. If a,b∈B and dY(a,y)=dY(b,y), then we need to consider four cases, however, if both dY(a,y)=dB(a,0)+r0 and dY(b,y)=dB(b,0)+r0 or dB(a,1)+r1=dY(b,y)=dB(b,1)+r1, then the same argument as in the previous paragraph leads to the conclusion that B is not isosceles-free. Thus, up to re-labelling a and b, we only need to consider the case wheredY(a,y)=dB(a,0)+r0=dY(b,y)=dB(b,1)+r1.

However, in this case,dB(a,0)+r0=dB(b,1)+r0-ε⇔ε=dB(b,1)-dB(a,0).

Clearly, this cannot be the case due to our definition of ε since the right-hand side is always either 0, negative or at least double the value of ε.

It follows that X and Y are both in K. However, in order for (WAP) to hold, we would need to find a Z∈K such that both X and Y embed into Z in such a way that 0 and 1 in A are mapped to the same points in Z no matter whether they are mapped via X or via Y.

So any such space Z would need to satisfy that there exist K-embeddings πX,πY such that πX(0)=πY(0)=:0 and πX(1)=πY(1)=:1.

However, in such a case, due to isometry of K-embeddings, we getdZ(0,πX(x))=dX(0,x)=r0=min{r0,dB(0,1)+r1}=dY(0,y)=dZ(0,πY(y)).

This contradicts our assumption that Z∈K since for that, Z would have to be isosceles-free and yet πX(x)≠πY(y) (their distances to 1 are different, for example) and {0,πX(x),πY(y)} is a non-trivial isosceles triangle in Z. □

Remark 3.17

Note that the result above is valid when the distance set is restricted to a dense subgroup A of R, which includes the case of rational distances. Let FA denote the class of all countable isosceles-free spaces X with Dist(X)⊆A.

One of the properties of a Fraïssé limit is that it is universal for the associated class of countable structures. When (WAP) fails, not only is there no Fraïssé limit, but there is not even a universal structure; in fact by [11, Corollary 6.3] the universality number of FA, that is the minimal cardinality of a subfamily C⊆FA such that every X∈FA embeds isometrically into a member of C, is the continuum.

Remark 3.18

Note that by classical Fraïssé theory [5, Theorem 7.1.7], for every countable homogeneous isosceles-free metric space X, the family of all finite spaces embeddable into X (denoted by Age(X)) has even the amalgamation property (AP). This is no contradiction with the previous result - Age(X) is a much more restrictive class of finite isosceles-free spaces than FA from the previous remark. In fact, in a homogeneous isosceles-free space X for every positive p≠q∈Dist(X) there is r∈Dist(X) such that every triangle in X with distances p and q is completed by the distance r. Hence, every one-point extension F∪{x}⊆X is uniquely determined by dF and a single distance d(a, x) for a fixed point a∈F since every d(b, x) for b≠a∈F is the unique distance completing the distances d(a, x) and d(a, b). This also shows that the class of finite homogeneous isosceles-free spaces does not have the joint embedding property (JEP), while it is easy to see that the class of finite isosceles-free spaces has (JEP). We will give a precise description of Age(X) for a homogeneous isosceles-free space X in Proposition 4.18 and Corollary 4.21.

Boolean metric spaces

Definition 4.1

By a Boolean metric space we mean a nonempty 1-homogeneous metric space X such that Aut(X) is a Boolean group.

Remark 4.2

Note that the notion of Boolean metric space we use here is not related to the notion where the metric itself takes values in a Boolean algebra, as used by, for example, Melter in [15] or Avilés in [1].

We have shown that every homogeneous isosceles-free space is Boolean (Proposition 3.7) and uniquely 1-homogeneous (Corollary 3.3). It turns out that every Boolean metric space is uniquely 1-homogeneous and that it is in fact enough to suppose that the automorphism group is Abelian (Corollary 4.4). Moreover, Boolean metric spaces can be viewed as normed Z2-linear spaces, which gives us a concrete representation of every homogeneous isosceles-free space.

By a norm on an Abelian group X we mean a map ‖·‖:X→[0,∞) such that ‖x‖=0 if and only if x=0, for x∈X,

‖x+y‖⩽‖x‖+‖y‖, for x,y∈X,

‖-x‖=‖x‖, for x∈X.

It is a more general version of an F-norm in linear vector spaces, cf. Rolewicz [20, p. 4], and is nowadays present in several aspects of group theory. It is well-known that every norm induces an invariant metric on X (i.e. a metric such that d(x+z,y+z)=d(x,y) for every x,y,z∈X) by putting d(x,y):=‖x-y‖. Then we have ‖x‖=d(x,0). On the other hand, the previous formula gives a norm for any invariant metric on X. Altogether, norms and invariant metrics on X are in one-to-one correspondence. Similarly, norm-preserving maps X→Y between normed Abelian groups are in one-to-one correspondence with isometric embeddings preserving 0.

If the Abelian group X is Boolean, X is a linear space over Z2 and the norm is trivially a Z2-norm, i.e. it also satisfies ‖α·x‖=|α|·‖x‖ for every α∈Z2 and x∈X. Altogether, a Boolean group endowed with an invariant metric is the same thing as a normed Z2-linear space, and isometric embeddings preserving 0 are linear.

Proposition 4.3

Let X be a 1-homogeneous space such that Aut(X) is Abelian. For every f∈Aut(X), the displacement d(x, f(x)) does not depend on the point x∈X.

Putting ‖f‖:=d(x,f(x)) for any x∈X defines a norm on ⟨Aut(X),∘⟩.

X is uniquely 1-homogeneous.

The evaluation map Ea:Aut(X)→X is an isometry for every a∈X.

Aut(X) is a Boolean group.

Proof

Let f∈Aut(X) and x,y∈X. By 1-homogeneity there is a g∈Aut(X) with g(x)=y. We have d(y,f(y))=d(g(x),f(g(x)))=d(g(x),g(f(x)))=d(x,f(x)).

We have ‖f‖=0 if and only if d(x,f(x))=0 for every x∈X, i.e. if and only if f=idX. For every f,g∈Aut(X) and x∈X we have ‖f∘g‖=d(x,f(g(x)))⩽d(x,f(x))+d(f(x),f(g(x)))=d(x,f(x))+d(x,g(x))=‖f‖+‖g‖. Finally, ‖f-1‖=d(x,f-1(x))=d(f(x),x)=‖f‖.

If f(x)=g(x) for f,g∈Aut(X) and some x∈X, then ‖f-1∘g‖=d(x,f-1(g(x)))=d(f(x),g(x))=0, and so f-1∘g=idX by the first property of the norm.

We have d(Ea(f),Ea(g))=d(f(a),g(a))=d(a,f-1(g(a)))=‖f-1∘g‖=dAut(X)(f,g). Hence, Ea is an isometric embedding. It is onto since X is 1-homogeneous (see Observation 3.8)

By (4), Aut(X) is isometric to X, and so is uniquely 1-homogeneous by (3). By the third property of the norm, the map ϕ:Aut(X)→Aut(X), f↦f-1, is norm-preserving, and hence an isometry fixing idX. Therefore ϕ(idX)=idAut(X)(idX), and so ϕ=idAut(X) since Aut(X) is uniquely 1-homogeneous. □

Corollary 4.4

For a 1-homogeneous metric space X, Aut(X) is Abelian if and only if Aut(X) is Boolean, and in this case, X is uniquely 1-homogeneous.

Corollary 4.5

Let X be a Boolean metric space. Aut(X) is a normed Z2-linear space, and the canonical action of Aut(X) on X turns X into an affine space over Aut(X). Moreover, every evaluation map Ea:Aut(X)→X is an affine isometry.

Proof

Aut(X) is a Boolean group, and hence a Z2-linear space. By Proposition 4.3 (2) it is endowed with a norm, which is trivially a Z2-norm. By Proposition 4.3 (3) the action of Aut(X) on X is transitive and faithful, and so X is an affine space over Aut(X). By Proposition 4.3 (4) the map Ea is an isometry. Moreover, it is affine since its linear part is just idAut(X). □

Since every Boolean group is a Z2-linear space, and by choosing a basis I we obtain an isomorphism to Z2(I), i.e. to the subspace of Z2I consisting of all functions of finite support. We can equivalently view Z2(I) as the family Pω(I) of all finite subsets of I with the operation of symmetric difference: A▵B=(A\B)∪(B\A). We shall write just 2(I) and switch the perspective between ⟨Z2(I),+⟩ and ⟨Pω(I),▵⟩ as convenient, and similarly for 2I. To turn 2(I) into a normed Z2-linear space means to provide a map ‖·‖:2(I)→[0,∞) satisfying ‖∅‖=0 and ‖x▵y‖⩽‖x‖+‖y‖ for x,y∈2(I).

Definition 4.6

We say that a metric space X is Z2-normable if it is isometric to a normed Z2-linear space, or equivalently to ⟨2(I),‖·‖⟩ for some set I and a norm ‖·‖. Note that every Z2-normable space is 1-homogeneous as witnessed by the translations.

Observation 4.7

We have shown that every (nonempty) homogeneous isosceles-free space is Boolean, that every Boolean metric space is Z2-normable, and that Z2-normable spaces admit a very concrete description. Figure 5 summarizes the implications between the properties considered.

Moreover, for a metric space X we have the following. X is Boolean if and only if it is Z2-normable and uniquely 1-homogeneous.

X is homogeneous isosceles-free if and only if it is Boolean and 2-homogeneous.

Also, a discrete metric space (d(x,y)=1 for x≠y) of size 2n for n⩾2 is clearly ultrahomogeneous and Z2-normable, but not uniquely 1-homogeneous. Example 5.8 gives a uniquely 1-homogeneous space that is not Boolean (or equivalently not Z2-normable). Example 5.17 gives a Boolean metric space that is not isosceles-free.

Fig. 5 Implications between properties of metric spaces considered

Proof

Suppose that X is Z2-normable. Then for every x,y∈X there is a unique translation T∈Aut(X) such that T(x)=y. If X is also uniquely 1-homogeneous, then all auto-isometries are translations, and so Aut(X) is Abelian, and we may use Corollary 4.4.

Now suppose that X is Boolean and 2-homogeneous. Then X is uniquely 2-homogeneous, and so isosceles-free by Proposition 3.6. □

We observe that it is easy to identify isosceles-free spaces among Z2-normable spaces.

Observation 4.8

A normed linear space X (a priori over any valued field) is isosceles-free if and only if the norm ‖·‖:X→[0,∞) is injective, and in that case the field is necessarily Z2 since {x,0,-x} forms an isosceles triangle unless x=-x.

Altogether, we obtain the following summarizing theorem.

Theorem 4.9

Let I be a set and let ‖·‖:2(I)→[0,∞) be an injective map satisfying ‖∅‖=0 and ‖x▵y‖⩽‖x‖+‖y‖ for x,y∈2(I). By putting d(x,y):=‖x▵y‖ for x,y∈2(I) we obtain a homogeneous isosceles-free space. Moreover, every homogeneous isosceles-free space can be obtained this way up to an isometry.

Definition 4.10

We say that a Z2-normable space X is additive if it is isometric to the space 2(I) with the norm ‖x‖=∑i∈xri=∑i∈Ix(i)·ri for some {ri:i∈I}⊆(0,∞). We always have ‖x▵y‖⩽‖x‖+‖y‖ in this case. The distance satisfies d(x,y)=∑i∈I|x(i)-y(i)|·ri, so X embeds into ℓ1(I).

We say that a Z2-normable space X is monotone if it is isometric to the space 2(I) with a monotone norm, i.e. ‖x‖⩽‖y‖ for every x⊆y. Clearly, every additive Z2-normable space is monotone.

Remark 4.11

The triangle inequality of the space ⟨2(I),‖·‖⟩ expressed using the norm is‖x▵z‖⩽‖x▵y‖+‖y▵z‖for everyx,y,z∈2(I),

but it reduces to‖x′▵y′‖⩽‖x′‖+‖y′‖for everyx,y∈2(I)

in every Boolean group with an invariant metric since we can put x′=x▵y and y′=y▵z.

A different simplification of the original inequality is the fact that it is enough to verify it only for triples of pairwise disjoint sets. For every {xk:k<3}⊆X we put w:={i∈I:|{k<3:i∈xk}|⩾2}. Then w is a finite set, the sets xk▵w, k<3, are pairwise disjoint, and d(xk,xk′)=d(xk▵w,xk′▵w). The triangle inequality then reduces to‖x∪z‖⩽‖x∪y‖+‖y∪z‖for every pairwise disjointx,y,z∈2(I).

In particular, the norm is ∪-subadditive: ‖x∪y‖⩽‖x‖+‖y‖ for x, y disjoint, but it may not be monotone (see Example 4.17).

Example 4.12

Let rn:=2n for n∈ω. The induced additive norm is the bijection 2(ω)→ω corresponding to binary expansions of natural numbers. Hence we obtain the countable infinite discrete homogeneous isosceles-free space Xω=⟨2(ω),‖·‖⟩. We can also consider the restricted finite spaces Xn=⟨2n,‖·‖⟩. We have Dist(Xn)={0,…,2n-1}.

Example 4.13

Let rn:=2-n for n∈ω and let ‖·‖ be the corresponding additive norm on 2(ω), which is a bijection onto the dyadic rational numbers in [0, 2). The corresponding homogeneous isosceles-free space is the dense subset 2(ω) of the Cantor space 2ω with the metric d(x,y)=∑n∈ω|x(n)-y(n)|·2-n.

Note that the completion 2ω of our homogeneous isosceles-free space 2(ω) is uniquely 1-homogeneous and Boolean, but not 2-homogeneous and not isosceles-free. The 1-homogeneity follows from the fact that 2ω is a normed Z2-linear space. Hence, 2ω is Boolean if and only if it is uniquely 1-homogeneous. If f(x)=g(x) for x∈2ω and f,g∈Aut(2ω), then f(h(0))=g(h(0)) for h∈Aut(2ω) with h(0)=x, and so h-1∘f-1∘g∘h is a an auto-isometry fixing 0. It is enough to show that id2ω is the only auto-isometry ϕ fixing 0. This follows from the fact that every x∈2ω that is not eventually constant is the unique element of norm ‖x‖, and so x=id on a dense subset of 2ω.

Let en,en′∈2ω denote the characteristic function of {n} and of its complement, respectively. Then ‖e0‖=1=‖e0′‖, so the completion is not isosceles-free. Also, e1 is a mid-point of 0 and e0′, while there is no mid-point of 0 and e0, and so the completion is not 2-homogeneous.

Example 4.14

Let rn:=3-n for n∈ω and let ‖·‖ be the corresponding additive norm on 2(ω), which is injective. Similarly to the previous example, the corresponding homogeneous isosceles-free space is the dense subset 2(ω) of the Cantor space 2ω with the metric d(x,y)=∑n∈ω|x(n)-y(n)|·3-n. However, this time the completion 2ω is still a homogeneous isosceles-free space. This is because the norm ‖x‖=∑n∈ωx(n)·3-n is injective on 2ω: if x(n)=y(n) for every n<n0 and x(n0)<y(n0), then ‖x‖⩽∑n>n03-n=3/2·3-(n0+1)<3-n0⩽‖y‖.

Remark 4.15

It is known that the completion of a countable ultrahomogeneous metric sometimes is (as for the rational Urysohn space) and sometimes is not (see [16, Proposition 10]) ultrahomogeneous. The two very similar examples above demonstrate this phenomenon in the realm of isosceles-free homogeneous spaces.

In the next proposition we refine our results on extension operators (Proposition 3.14).

Proposition 4.16

Let X and Y be homogeneous isosceles-free spaces. For every isometric embedding e:X→Y the extension operator e∗:Aut(X)→Aut(Y) is a linear isometric embedding.

Every isometric embedding Aut(X)→Aut(Y) mapping idX to idY is an extension operator and hence linear, and every isometric embedding X→Y is affine.

Proof

For every a∈X and f∈Aut(X), e∗(f) maps e(a) to e(f(a)), and so we have ‖e∗(f)‖=d(e(a),e(f(a)))=d(a,f(a))=‖f‖. As a group homomorphism, e∗ is linear. Together, a norm-preserving linear map is an isometric embedding.

For every embedding e:X→Y we have that e=Ee(a)∘e∗∘Ea-1 by Proposition 3.14, and hence is affine as a composition of affine maps. On the other hand, every isometric embedding f:Aut(X)→Aut(Y) such that f(idX)=idY is of the form e∗, and so is linear. Namely, we take any a∈X and b∈Y and put e:=Eb∘f∘Ea-1. Since f(idX)=idY, we have e(a)=Eb(f(idX))=Eb(idY)=b, and so f=e∗ by unique 1-homogeneity. □

Example 4.17

There is a homogeneous isosceles-free space X that is not monotone. We take X to be 2{0,1,2} and define the norm so that ‖0‖=0, {‖e0‖,‖e1‖,‖e2‖}={10,11,12}, {‖e0+e1‖,‖e1+e2‖,‖e2+e0‖}={14,15,16}, and ‖e1+e2+e3‖=13. The norm is injective, and the triangle inequality is satisfied since the positive distances are in the interval [a, 2a] for a=10, so we have a homogeneous isosceles-free space. The given norm is obviously not monotone, but we need to show that the space is not isometric to 2{0,1,2} with a monotone norm. By homogeneity, it is enough to consider isometries fixing the zero vector, and such isometries are linear by Proposition 4.16. {e0,e1,e2} is a linearly independent set of vectors of norm taking the smallest positive values from Dist(X), and hence every isomorphism making the norm monotone would need to fix this set up to re-labelling. However, the vector e0+e1+e2 would need to be fixed as well by linearity, and so the other norm would not be monotone.

In the last part of this section we describe amalgamation classes associated to homogeneous isoceles-free spaces, as promised in Remark 3.18.

Let us call a triple ⟨p,q,r⟩ of positive real numbers a triangle if p⩽q+r and q⩽r+p and r⩽p+q. If p=q, then 0 is the only r completing the triangle. Similarly, if p=0, then r=q is the only choice completing the triangle. These triangles are called degenerate, while triangles with p,q,r>0 are non-degenerate. Let Tp,q,r(a,b,c) denote the space {a,b,c} with the metric d(a,b)=p, d(a,c)=q, d(b,c)=r. This notation automatically implies that if p=0, then a=b, and so on. We write just Tp,q,r when the supporting set is irrelevant.

For a class F of metric spaces we denote the set of distances ⋃X∈FDist(X)⊆[0,∞) by Dist(F). We also call F hereditary if for every isometric embedding e:A→B with B∈F we have A∈F. This automatically means that F is closed under isomorphic copies.

Proposition 4.18

Let F be a class of isosceles-free metric spaces such that for every p,q∈Dist(F) there is A∈F and a,b,c∈A such that d(a,b)=p and d(a,c)=q. Then the following conditions are equivalent. F can be extended to a hereditary class F¯ of isosceles-free spaces with the amalgamation property such that Dist(F¯)=Dist(F).

We have for every p,q∈Dist(F) there is a unique t(p,q)∈Dist(F) such that ⟨p,q,t(p,q)⟩ is a triangle and Tp,q,t(p,q) embeds into a member of F,

for every p,q,p′,q′∈Dist(F) with t(p,q)=t(p′,q′) we have t(p,p′)=t(q,q′).

There is a homogeneous isosceles-free space XF such that Dist(XF)=Dist(F) and Age(XF)⊇F.

Moreover, the class F¯ and the space XF are unique, and F¯=Age(XF).

Proof

Suppose (1) and let p,q∈Dist(F). We show that (2) holds. By the assumption there is some r such that Tp,q,r is embedded into a member of F. Since F¯ is hereditary, we have Tp,q,r(a,b,c)∈F¯. If Tp,q,r′∈F¯ for some r′≠r, without loss of generality, we have Tp,q,r′(a,b,c′)∈F¯, necessarily with c′≠c. We view Tp,q,r(a,b,c) and Tp,q,r′(a,b,c′) as one-point extensions of {a,b}. By the amalgamation property it is possible to define d(c,c′) so that Tp,q,r(a,b,c)∪Tp,q,r′(a,b,c′)∈F¯, but this is impossible since {a,c,c′} would form an isosceles triangle as d(a,c)=q=d(a,c′). Hence, t(p, q) is well-defined and unique.

Next, let p′,q′∈Dist(F) with t(p′,q′)=t(p,q)=r. Hence, without loss of generality, Tp,q,r(a,b,c),Tp′,q′,r(a′,b,c)∈F¯. By the amalgamation property, their union is contained in a space A containing also the triangles Tp,p′,t(p,p′)(b,a,a′) and Tq,q′,t(q,q′)(c,a,a′). Hence, t(p,p′)=dA(a,a′)=t(q,q′).

Now suppose (2) in order to show that it implies (3). We put XF:=Dist(F), and p+q:=t(p,q) and ‖p‖:=p for p,q∈XF. It is enough to show that + is a commutative associative addition with the neutral element 0, and that ‖·‖ is an injective norm. By considering degenerate triangles, it is easy to see that 0 is the neutral element and that p=-p for every p∈XF. Clearly, ‖·‖ is injective and we have ‖p‖=0 if and only if p=0. The triangle inequality for ‖·‖ follows from the fact that every ⟨p,q,t(p,q)⟩ is a triangle. The only missing property is the associativity of +. For every p,q,r∈Dist(F) we have t(p,p+q)=q=t(q+r,r), and so by (2b) t(p,q+r)=t(p+q,r).

Finally, suppose (3) and put F¯:=Age(XF). We show that (1) holds. Clearly, F¯ is a hereditary class of isosceles-free spaces extending F with Dist(F¯)=Dist(F). The amalgamation property is also easy to see and follows from the homogeneity of XF as in classical Fraïssé theory [5, Theorem 7.1.7].

This finishes the proof of the equivalences.

Next we show the uniqueness of F¯. On one hand, every A∈F¯ satisfies d(b,c)=t(d(a,b),d(a,c)) for every a,b,c∈A. On the other hand, by induction, every such metric space A is a member of F¯. Since F¯ is hereditary and Dist(F¯)=Dist(F), every at most two-point space with distances from Dist(F) is in F. For every A of cardinality |A|⩾3 we write A as the disjoint union B∪{x}∪{y} for some x,y∈A, and we observe that A embeds into any amalgamation of B∪{x} and B∪{y} in F¯. This is because in any such amalgamation we have d(x,y)=t(dA(b,x),dA(b,y)) for any b∈B.

The uniqueness of XF follows from the fact that for any 0∈XF the map ‖x‖:=d(x,0) is a bijection XF→Dist(F) and we have d(x,y)=t(‖x‖,‖y‖) for every x,y∈XF. □

Remark 4.19

Note that the previous proposition covers also uncountable distance sets and uncountable limit spaces. It is the unique amalagamation that allows us to build uncountable homogeneous structures directly in this case.

Remark 4.20

It is known that the class FR of all finite metric spaces with distances from a set 0∈R⊆[0,∞) has the amalgamation property if and only if it satisfies the four-values condition [2, Proposition 1.4], see also [21, Theorem 1.4]. In the context of isoceles-free spaces the analogue of the four-values conditions is the condition (2b). It is formally similar and it also corresponds to the amalgamation of two one-point extensions over a two-point space. In fact, when we restrict FR to the subclass FR,t of all isosceles-free spaces compatible with the given scheme t (2a), then (2b) characterizes the amalgamation property as well.

Corollary 4.21

Let 0∈R⊆[0,∞) and let t:R2→R be such that for every p,q∈R we have t(p,q)=t(q,p)⩽p+q,

t(t(p,q),q)=t(p,0)=p,

Moreover, let FR,t be the class of all finite metric spaces A such that for every a,b,c∈A we have t(d(a,b),d(a,c))=d(b,c). Then FR,t is a hereditary class of isosceles-free spaces with Dist(FR,t)=R, and it has the amalgamation property if and only if t satisfies 4.18 (2b).

Proof

Clearly, FR,t is a hereditary class of metric spaces. Note that we have t(p,p)=t(t(0,p),p)=0 for every p∈R, and also t(p,q)∉{p,q} if p,q>0 since t(p,q)=q would imply p=t(t(p,q),q)=t(q,q)=0. Hence, all members of FR,t are isosceles-free. It is easy to check that the properties of t imply that the triangle Tp,q,t(p,q)(a,b,c) is a member of FR,t, and hence Dist(FR,t)=R and we can apply Proposition 4.18. Since FR,t is the largest class compatible with the scheme t, we have FR,t¯=FR,t if the amalgamation extension exists. Hence the claim follows from Proposition 4.18 (2). □

Example 4.22

We conclude with an example of a finite set of distances 0∈R⊆[0,∞) with a scheme t:R2→R satisfying the conditions of the previous corollary, but not 4.18 (2b). We shall take R⊆{0}∪[1,2] so that the triangle inequality becomes trivial. In that case t satisfying the conditions can be equivalently described as a family T of 3-point subsets of R\{0} such that every 2-point subset of R\{0} is contained in exactly one member of T. Let us pick any 9-point subset R\{0}⊆[1,2] and identify it with the 2-dimensional linear space Z3×Z3 over the 3-element field. Taking T consisting of the twelve 3-point affine lines in Z3×Z3 works. The condition 4.18 (2b) fails as we have e.g. t(⟨0,1⟩,⟨0,2⟩)=⟨0,0⟩=t(⟨1,0⟩,⟨2,0⟩), while t(⟨0,1⟩,⟨1,0⟩)=⟨2,2⟩≠⟨1,1⟩=t(⟨0,2⟩,⟨2,0⟩).

Decompositions of homogeneous spaces

In this section we study two invariant decompositions of homogeneous spaces based on non-repeating distances. This will give more insight into the structure of homogeneous spaces that are close to being isosceles-free and will be applied in Sect. 6.

Definition 5.1

We say that an equivalence ∼ on a metric space X and the corresponding decomposition X/∼ are invariant if for every automorphism f∈Aut(X) and a component C∈X/∼ we have that f[C] is a component. Equivalently, x∼y implies f(x)∼f(y) for every x,y∈X.

By Aut∗(X) we denote the family of all automorphisms f∈Aut(X) setwise fixing all components, i.e. f[C]=C for every C∈X/∼.

Proposition 5.2

Let ∼ be an invariant decomposition of a metric space X. Aut∗(X) is a normal subgroup of Aut(X).

The restriction map ρC:Aut∗(X)→Aut(C), f↦f|C, is a group homomorphism.

If X is 1-homogeneous, all components C∈X/∼ are isometric.

If X is n-homogeneous or ultrahomogeneous, so is every component C∈X/∼, and this is witnessed by the subgroup im(ρC)⩽Aut(C).

Proof

Clearly, Aut∗(X)⊆Aut(X) is a subgroup. Also for every f∈Aut∗(X), g∈Aut(X), and a component C, we have g[f[g-1[C]]=:g[f[C′]]=g[C′]=g[g-1[C]]=C, and so Aut∗(X) is a normal subgroup.

This is clear.

For every two components C,C′ we pick points x∈C and y∈C′. Since X is 1-homogeneous there is f∈Aut(X) such that f(x)=y and so f[C]=C′, showing that C and C′ are isometric.

This follows from Proposition 2.3 since every component is quasi-invariant. □

In the following, we define two invariant decompositions of homogeneous spaces related to isosceles-free spaces.

Definition 5.3

Let X be a 1-homogeneous space. We say that a distance s∈Dist(X) is singleton if for every x∈X there exists a unique y∈Y such that d(x,y)=s, i.e. there is no isosceles triangle with side lengths ⟨s,s,t⟩ in X (for t>0). By 1-homogeneity, it is enough if the defining condition holds at a single point x∈X.

Let SX⊆Dist(X) be the set of all singleton distances in X. Clearly, X is isosceles-free if and only if SX=Dist(X).

Theorem 5.4

(Decomposition into isosceles-free components) Let X be a 2-homogeneous space and let x∼y if d(x,y)∈SX for x,y∈X. We have that ∼ is an invariant equivalence relation inducing a decomposition of X into pairwise isometric homogeneous isosceles-free spaces.

Proof

Symmetry and reflexivity are trivial, transitivity follows from the fact that if we assume x∼y∼z and x≁z, this means that d(x,z)∉S, therefore (due to homogeneity) there exists some point w∈X with d(x,w)=d(x,z), meaning the function f:{x,z}→{x,w} which fixes x and maps z to w is an isometry. However, due to 2-homogeneity, we now know that there exists an automorphism F which extends f. It follows that d(x,y)=d(x,F(y)), but since we assumed x∼y, this means y=F(y). Analogously, d(y,z)=d(y,F(z))=d(y,w), but because we assumed y∼z, this implies z=w.

Clearly, the equivalence ∼ is invariant since isometries preserve distances, and the components C∈X/∼ are isosceles-free. By Proposition 5.2, they are also pairwise isometric and 2-homogeneous, and hence ultrahomogeneous by Proposition 3.4. □

A simple example of the decomposition into isosceles-free components follows. It also shows that the map ρC:Aut∗(X)→Aut(C) is not necessarily injective.

Example 5.5

Let C4={1,2,3,4} be the four element circle graph considered in Example 2.5. Then the isosceles-free components of C4 are C={1,3} and C′={2,4}, the pairs of antipodal points in C4, with all distances between two components being equal to one.

Now Aut∗(C4)={(13)i(24)j∈Σ4:i,j∈{0,1}} is a 4-element group, whereas Aut(C)={(13)i:i∈{0,1}} and Aut(C′)={(24)i:i∈{0,1}} are both 2-element groups. Hence, the restriction maps ρC,ρC′ are surjective, but not injective.

We define another decomposition, which is in a sense dual to the previous one.

Theorem 5.6

(Decomposition into isosceles-generated components) Let X be a 1-homogeneous space. Let ∼ be the equivalence generated by the relation x∼y if there is z≠y such that d(x,y)=d(x,z), i.e. we identify points along non-singleton distances, or equivalently collapse all non-degenerate isosceles triangles. The equivalence ∼ induces an invariant decomposition into isometric 1-homogeneous components. In particular, automorphisms map components onto components.

If |X/∼|⩾2, then X is uniquely 1-homogeneous.

For every f∈Aut(X) either all components C are fixed by f (setwise), or none of them are. In the latter case we have f∘f=id.

For every C∈X/∼ the homomorphism ρC:Aut∗(X)→Aut(C) is an embedding.

For every h∈Aut∗(X) and f∈Aut(X)\Aut∗(X) we have f∘h∘f-1=h-1.

If |X/∼|⩾3, then Aut(X) is Boolean, i.e. X is a Boolean metric space.

If |X/∼|⩾2, then Aut∗(X) is Abelian.

Proof

Clearly, a distance d(x, y) is non-singleton from the point of view of x if and only if it is non-singleton from the point of view of y as the space X is 1-homogeneous. Also then, d(f(x), f(y)) is non-singleton for every f∈Aut(X). Hence, the generating symmetric relation and so its reflexive transitive closure is preserved by automorphisms, and we have an invariant decomposition. The rest follows from Proposition 5.2.

Let f∈Aut(X) such that f(x)=y. For any x′ from a different component than x, we have that d(x,x′) is a singleton distance, and so f(x′) is the unique point y′ such that d(y,y′)=d(x,x′). For every x′′∼x we have that x′′ is from a different component than x′, and we can apply the same argument for x′,x′′.

Suppose y:=f(x)≁x for some x∈X. Since d(x,y)=d(y,f(y)) is a singleton distance, we have f(y)=x. Hence, f swaps the components Cx and Cy of x and y. We will show that f[C]≠C for every component C, and f∘f=id will follow as we can repeat the above argument for any point x∈X.

Let Cz∋z be a component different from Cx and Cy. The distances ⟨a,b,c⟩:=⟨d(x,y),d(y,z),d(z,x)⟩ are singleton, and hence pairwise different. Moreover, by 1-homogeneity for every point w∈X and all distinct distances {i,j}⊆{a,b,c} there are unique points wi,wj with d(w,wi)=i and d(w,wj)=j, and necessarily d(wi,wj)=k where {i,j,k}={a,b,c}. By applying this to w=y, we have d(y,z)=b, d(y,f(z))=d(f(x),f(z))=d(x,z)=c, and so d(z,f(z))=a. Hence, the unique automorphism g∈Aut(X) mapping z↦x also maps f(z)↦y. It follows that z≁f(z) since otherwise we would have x∼y as g preserves the equivalence ∼.

The map ρC is injective by (2) if there are at least two components and trivially if there is only one component.

We have h∘f∈Aut(X)\Aut∗(X), and so (h∘f)2=id by (3). On the other hand, f2=id and (h∘f)2=h∘f∘h∘f=h∘(f∘h∘f-1). Together, this shows h∘(f∘h∘f-1)=id, and so f∘h∘f-1=h-1.

We already know that f2=id for f∈Aut(X)\Aut∗(X). Let h∈Aut∗(X). Suppose C0,C1,C2 are distinct components of X. There are f1,f2∈Aut(X) swapping C0 with C1 and C0 with C2, respectively. Hence, f2∘f1 moves C1 onto C2, and so is not a member of Aut∗(X). On one hand, (f2∘f1)∘h∘(f2∘f1)-1=h-1. On the other hand, (f2∘f1)∘h∘(f2∘f1)-1=f2∘(f1∘h∘f1-1)∘f2-1=(h-1)-1=h. Hence, h-1=h and h2=id.

Let h,k∈Aut∗(X). Since |X/∼|⩾2, there is an f∈Aut(X)\Aut∗(X). We have h∘f∉Aut∗(X). On one hand, (h∘f)∘k∘(h∘f)-1=k-1. On the other hand, (h∘f)∘k∘(h∘f)-1=h∘(f∘k∘f-1)∘h-1=h∘k-1∘h-1. Together, h∘k-1∘h-1=k-1 and k∘h=h∘k. □

Definition 5.7

We say that a metric space is isosceles-generated if its decomposition into isosceles-generated components has at most one component.

Example 5.8

Given n∈N+, we define the space Dn as follows. We take two copies of the cyclic space Cn from Example 2.5 and define the distances in Dn=Cn×2 between the copies as follows: d(⟨i,0⟩,⟨j,1⟩):=qj-i for every i,j∈Cn, where qk, k∈Zn, are distinct distances not in Dist(Cn)={0,…,n/2} suitable for the triangle inequality, i.e. 0<|qi-qj|⩽1 and qi>n/2 for every i,j∈Zn. We choose e.g. qk:=n/2+1+k/n for k∈Zn.

The space Dn is 1-homogeneous: We know that Aut(Cn) consists of rotations Φk:i↦i+k and reflections Ψk:i↦k-i for k∈Zn. Let σ:2→2 denote the unique transposition. For every k∈Zn the maps Φk×id and Ψk×σ are automorphisms of Dn, as the following computations show for every i,j,k∈Zn, x∈2, f∈Aut(Cn), g∈Aut(2):d(⟨f(i),g(x)⟩,⟨f(j),g(x)⟩)=dCn(f(i),f(j))=dCn(i,j)=d(⟨i,x⟩,⟨j,x⟩),d(⟨Φk(i),id(0)⟩,⟨Φk(j),id(1)⟩)=qΦk(j)-Φk(i)=q(k+j)-(k+i)=qj-i=d(⟨i,0⟩,⟨j,1⟩),d(⟨Ψk(i),σ(0)⟩,⟨Ψk(j),σ(1)⟩)=qΨk(i)-Ψk(j)=q(k-i)-(k-j)=qj-i=d(⟨i,0⟩,⟨j,1⟩).

We consider the decomposition into isosceles-generated components. Since in Cn every point has the same distance to both its “neighbours”, the space Cn is isosceles-generated. As Dn retains the distances within the copies of Cn and as the distances qk are singleton, the isosceles-generated components of Dn are the sets Cn×{0} and Cn×{1}. Hence Dn consists of two isosceles-generated components, and so is uniquely 1-homogeneous.

We see that Aut∗(Dn)={Φk×id:k∈Zn}, and so the natural map ρ:Aut∗(Dn)→Aut(Cn) is not surjective. Also for n⩾3, Zn⩽Aut(Dn) is not a Boolean group, and so Dn is not a Boolean metric space.

Remark 5.9

The two extreme cases of the decomposition of a 1-homogeneous space into isosceles-generated components are as follows. The components are singletons if and only if the space is isosceles-free, and if there is only one component, the space is isosceles-generated. Note that for a 2-homogeneous metric space (so both decompositions make sense) the situation is always extreme, see Theorem 5.19.

Next we consider the question whether for the decomposition into isosceles-generated components the normal subgroup Aut∗(X)⩽Aut(X) induces a decomposition of Aut(X) into a semi-direct product. In the following we show that it is indeed the case, and moreover we endow the set of components X/∼ with a metric turning it into a homogeneous isosceles-free space.

Theorem 5.10

Let X be a 1-homogeneous space, and let X/∼ be its decomposition into isosceles-generated components. For r,q∈Dist(X) let us put r∼q if there are points x,xr,xq∈X such that d(x,xr)=r, d(x,xq)=q, and xr∼xq. For every R∈Dist(X)/∼ let us pick a distance qR∈[0,∞) such that q0/∼=0, qR∈[a,2a] for every R≠0/∼ and fixed a>0, and such that R↦qR is injective. For all components C,C′∈X/∼ we put d(C,C′):=qR where d(x,y)∈R for any x∈C and y∈C′. The relation ∼ is a well-defined equivalence on Dist(X), and for every x,y∈X we have x∼y if and only if d(x,y)∼0.

We can always choose the distances qR as described, and the induced map d is a well-defined metric on X/∼ turning it into a homogeneous isosceles-free space.

For every f∈Aut(X) let f~ denote the induced bijection on X/∼. (3) The map Q:f↦f~ is a surjective homomorphism Aut(X)→Aut(X/∼) inducing an isomorphism Aut(X)/Aut∗(X)→Aut(X/∼).

By a section we mean a group homomorphism S:Aut(X/∼)→Aut(X) (necessarily an embedding) such that Q∘S=idAut(X/∼), i.e. a section selects a representative f∈Aut(X) for every f~∈Aut(X/∼) in a coherent way. (4) For every section S we have that Aut(X) is the semidirect product Aut∗(X)⋊im(S).

(5) For every Z2-linear base B⊆Aut(X/∼) and every map β:B→Aut(X) choosing a representative β(f)∈Aut(X) with Q(β(f))=f, there is a unique group embedding Sβ:Aut(X/∼)→Aut(X) extending β, which is necessarily a section. Hence, Aut(X)≅Aut∗(X)⋊Aut(X/∼).

Proof

The relation ∼ on Dist(X) is clearly reflexive and symmetric. To show transitivity, suppose that a triple ⟨x,xr,xq⟩ witnesses r∼q and that ⟨y,yq,yp⟩ witnesses q∼p. By 1-homogeneity there is an automorphism f such that f(x)=y. Since d(y,f(xq))=d(x,xq)=q=d(y,yq), we have f(xr)∼f(xq)∼yq∼yp, and so r∼p.

Finally, for every x,y∈X, if x∼y, then ⟨x,x,y⟩ witnesses that 0=d(x,x)∼d(x,y). On the other hand, if d(x,y)∼0, then there are x′∼y′∈X such that d(x,y)=d(x′,y′). By 1-homogeneity there is f∈Aut(X) such that f(x)=x′. We have d(x′,f(y))=d(x,y)=d(x′,y′), and so f(y)∼y′∼x′=f(x) and x∼y.

We can always pick the distances qR as described since |Dist(X/∼)|⩽|Dist(X)|⩽|R|=|{0}∪[a,2a]| for any a>0.

The map d is well-defined since for every x,x′∈C and y,y′∈C′ we have d(x,y)∼d(x,y′) as witnessed by ⟨x,y,y′⟩ and d(x,y′)∼d(x′,y′) as witnessed by ⟨y′,x,x′⟩. Clearly, d is symmetric, and d(C,C)=0 for every component C since q0/∼=0. Also if d(C,C′)=0, then for any x∈C and y∈C′ we have d(x,y)∼0, and so x∼y by (1) and C=C′. Finally, d trivially satisfies the triangle inequality since Dist(X/∼)⊆{0}∪[a,2a].

To show that the space X/∼ is isosceles-free, suppose d(C,C′)=d(C,C′′)>0. For any x∈C, x′∈C′, and x′′∈C′′ we have d(x,x′)∼d(x,x′′), and so there is a witnessing triple ⟨y,y′,y′′⟩. By 1-homogeneity there is f∈Aut(X) such that f(x)=y. Since the distances d(x,x′) and d(x,x′′) are singleton, we have f(x′)=y′ and f(x′′)=y′′, and so y′∼y′′ implies x′∼x′′ and C′=C′′.

X/∼ is 1-homogeneous since for all components C∋x and C′∋y there is g∈Aut(X) such that g(x)=y, and so g~(C)=C′, where g~ is the induced bijection on X/∼. We have g~∈Aut(X/∼) by (3).

For every f∈Aut(X) we have f~∈Aut(X/∼) since for all points and components x∈C and y∈C′ we have d(f~(C),f~(C′))=qd(f(x),f(y))/∼=qd(x,y)/∼=d(C,C′). Clearly, the assignment f↦f~ preserves composition and the identity, and so Q:Aut(X)→Aut(X/∼) is a group homomorphism.

Let g∈Aut(X/∼) and let x∈C∈X/∼. We take x′∈g(C) and consider f∈Aut(X) such that f(x)=x′. We have f~(C)=g~(C), and hence f~=g~ by Corollary 3.3 since X/∼ is homogeneous isosceles-free by (2). Hence, Q is a surjection. Finally, f~=idX/∼ if and only if f setwise fixes all components, i.e. f∈Aut∗(X). Hence, Q induces an isomorphism Aut(X)/Aut∗(X)→Aut(X/∼).

This follows from standard group-theoretic facts. We already know that Aut∗(X)⩽Aut(X) is a normal subgroup. We have Aut∗(X)∩im(S)={id} since every f∈Aut(X) such that f~≠idX/∼ moves components, and so f∉Aut∗(X). We have Aut∗(X)∘im(S)=Aut(X) since for every f∈Aut(X) and g:=S(f~)∈im(S) we have f=(f∘g-1)∘g and f∘g-1∈Aut∗(X) as Q(f∘g-1)=Q(f)∘Q(g)-1=f~∘f~-1=id.

By Theorem 4.9 we know that Aut(X/∼) is indeed a Z2-linear space. The subgroup H⩽Aut(X) generated by im(β) is Boolean since every composition g:=β(f1)∘⋯∘β(fn) for fi∈Aut(X/∼), i⩽n, satisfies g2=id. This is obvious for n=0, and otherwise we have Q(g)=f1∘⋯∘fn≠id since B is linearly independent, and so g∉Aut∗(X). Hence, we have a map β:B→H into a Z2-linear space, which has a unique linear extension Sβ:Aut(X/∼)→H, which is the same thing as a group homomorphism extension Aut(X/∼)→Aut(X). Sβ is necessarily a section since Q∘Sβ=id holds on B and so on the subgroup generated by B.

□

From the previous theorem and from the structure of finite homogeneous isosceles-free spaces (Theorem 4.9) we obtain the following.

Corollary 5.11

Let X be a 1-homogeneous space, and let X/∼ be its decomposition into isosceles-generated components. We have that the normal subgroup Aut∗(X)⩽Aut(X) is complemented, and so Aut(X) decomposes as a semidirect product Aut∗(X)⋊(Aut(X)/Aut∗(X)). Moreover, if X is finite and nonempty, then |X/∼|=2m for some m∈ω.

In the following we generalize the construction from Example 5.8 and show that every 1-homogeneous space with exactly two isosceles-generated components arises this way.

Construction 5.12

(Rainbow duplicate) Let X be a 1-homogeneous space and let H⩽Aut(X) be an Abelian subgroup such that for every x,y∈X there is a unique element h∈H (denoted by hxy) such that h(x)=y. We define the corresponding rainbow duplicate of X as the metric space X×r2 with the distanced(⟨x,0⟩,⟨y,0⟩)=d(⟨x,1⟩,⟨y,1⟩)=dX(x,y),d(⟨x,0⟩,⟨y,1⟩)=r(hxy),

where r:H→(0,∞)\Dist(X) is an injective map such that triangle inequality in X×r2 is satisfied. We also suppose there exists a map g∈Aut(X) such that g∘g=id and g∘h∘g-1=h-1 for every h∈H. If |r(h)-r(h′)|⩽min(Dist(X)\{0}) and r(h)⩾max(Dist(X)) for every h,h′∈H, then d satisfies the triangle inequality.

We have Dist(X×r2)=Dist(X)∪im(r), which is a disjoint union.

The decomposition of X×r2 into isosceles-generated components refines {X×{0},[1]X×{1}}, and we have equality if and only if X is isosceles-generated.

The map eH:h↦h×id is a group embedding H→Aut(X×r2).

The map g×σ (where σ:2→2 is the transposition) generates a copy of Z2 in Aut(X×r2).

The rainbow duplicate X×r2 is 1-homogeneous, and the maps above induce an isomorphism H⋊Z2→Aut(X×r2).

Proof

The two triangles to check are of the form ⟨x,0⟩,⟨y,0⟩,⟨z,1⟩ and ⟨x,0⟩,⟨y,1⟩,⟨z,1⟩ for x,y,z∈X, corresponding to the triangles of distances dX(x,y),r(hxz),r(hyz) and r(hxy),r(hxz),dX(y,z), respectively.

This is clear.

This is also clear.

It is enough to show that f×id preserves distances for every f∈H. We have d(⟨f(x),i⟩,⟨f(y),i⟩)=dX(f(x),f(y))=dX(x,y)=d(⟨x,i⟩,⟨y,i⟩),fori∈{0,1},d(⟨f(x),0⟩,⟨f(y),1⟩)=r(hf(x)f(y))=r(hxy)=d(⟨x,0⟩,⟨y,1⟩).

The equality hf(x)f(y)=hxy for every x,y∈X means h(f(x))=f(h(x)) for every h∈H and x∈X (by substituting y=h(x) and h=hxy), and it is true since f∈H and H is Abelian.

Clearly (g×σ)2=id. We need to show that g×σ preserves distances. We have d(⟨g(x),σ(i)⟩,⟨g(y),σ(i)⟩)=dX(g(x),g(y))=dX(x,y)=d(⟨x,i⟩,⟨y,i⟩),i∈{0,1},d(⟨g(x),1⟩,⟨g(y),0⟩)=r(hg(y)g(x))=r(hxy)=d(⟨x,0⟩,⟨y,1⟩).

The equality hg(y)g(x)=hxy for every x,y∈X means h(g(h(x)))=g(x) for every h∈H and x∈X, which is equivalent to g∘h∘g-1=h-1 for every h∈H.

The maps h×id for h∈H witness 1-homogeneity for pairs of points in the same copy of X, while g×σ swaps the copies. Hence, the rainbow duplicate is 1-homogeneous. Clearly, im(eH)∩{id,g×σ}={id} and (g×σ)∘(h×id)∘(g×σ)-1=(g∘h∘g-1)×id=h-1×id=(h×id)-1, and so we have an embedding H⋊Z2→Aut(X×r2). The embedding is onto since the maps in the image already witness 1-homogeneity of the rainbow duplicate, and by 5.12 the decomposition into isosceles-generated components has at least two components, and by Theorem 5.6 (2) the automorphisms witnessing 1-homogeneity are unique.

□

Remark 5.13

The spaces Dn from Example 5.8 are rainbow duplicates: Dn=Cn×r2 for H the group of all rotations {Φk:k∈Zn}⩽Aut(Cn), g any reflection Ψk, and r:H→(0,∞) defined by r(Φk)=qk.

Proposition 5.14

Let X×r2 be a rainbow duplicate for some r:H→(0,∞). X×r2 is uniquely 1-homogeneous.

X×r2 is a Boolean metric space if and only if H is a Boolean group.

An iterated rainbow duplicate (X×r2)×r′2 for some r′:H′→(0,∞) can be formed only if the first duplicate X×r2 is Boolean. In this case, necessarily H′=Aut(X×r2), and (X×r2)×r′2 is Boolean as well.

Proof

Follows from Construction 5.12 (3) and Theorem 5.6 (2).

By Construction 5.12 (6) we have an isomorphism H⋊Z2→Aut(X×r2) where Z2 acts on H by taking the inverse. Hence, if Aut(X×r2) is Boolean, then H is Boolean since it is isomorphic to its subgroup. On the other hand, H is Boolean, then the inverse on H is trivial, and so H⋊Z2 is a direct product and a Boolean group.

Necessarily H′=Aut(X×r2) since X×r2 is uniquely 1-homogeneous by (1), and so Aut(X×r2) is Abelian and X×r2 is a Boolean metric space by Corollary 4.4. (X×r2)×r′2 is then Boolean by (2). □

Remark 5.15

It is not hard to see that every finite homogeneous isosceles-free space can be obtained as an iterated rainbow duplicate of a singleton space.

Remark 5.16

Let X be a 1-homogeneous metric space. Every Boolean subgroup H⩽Aut(X) such that for every x,y∈X there is a unique h∈H with h(x)=y is admissible for the rainbow duplicate construction since for any g,h∈H we have g∘h∘g-1=g∘g-1∘h=h=h-1.

Also, if X is finite, then for any admissible subgroup H there is an admissible map r:H→(0,∞) by Construction 5.12 (1).

Example 5.17

Let Yn be a copy of the homogeneous isosceles-free space of size 2n from Example 4.12, but endowed with the discrete metric d(x,y)=1 for x≠y. Then for H=Aut(Xn) and any injective r:H→(1,2) we have a Boolean rainbow duplicate Yn×r2 that is not isosceles-free (for n⩾2).

Proposition 5.18

Let Y be a 1-homogeneous metric space with exactly 2 isosceles-generated components X,X′. Then Y is isometric to a rainbow duplicate of X. More precisely, we have the following. For every q∈{d(x,x′):x∈X,x′∈X′}=Dist(Y)\Dist(X) there is a unique map fq:Y→Y such that d(y,fq(y))=q. We have fq∘fq=idY, fq swaps the components X,X′, the restriction fq:X→X′ is an isometry, and fq∘g=g∘fq for every g∈Aut(Y).

The map ϕ:⟨x,i⟩↦fqi(x) is a bijection X×2→Y such that the metric d on X×2 turning ϕ into an isometry satisfies d(⟨x,i⟩,⟨y,i⟩)=dX(x,y) for every x,y∈X and i∈{0,1}.

Let H:={h|X:h∈Aut∗(Y)}⩽Aut(X). We have that h↦h×id is an isomorphism H→Aut∗(X×2)≅ϕAut∗(Y), H is Abelian, and for every x,y∈X there is unique h∈H with h(x)=y.

For every h∈H, the distance r(h):=d(⟨x,0⟩,⟨h(x),1⟩) does not depend on x∈X. This defines an injective map r:H→(0,∞)\Dist(X).

The group H and the map r are admissible parameters for the rainbow duplicate construction, and ϕ:X×r2→Y is an isometric isomorphism.

Proof

Since q is a distance between the components, it is singleton, and so for every y∈Y there is a unique point y′ with d(y,y′)=q. Hence, fq is well-defined, and fq2=id.

The distance q cannot occur in a single component, i.e. we indeed have {d(x,x′):x∈X,x′∈X′}=Dist(Y)\Dist(X): let x∈X and x′∈X′ with d(x,x′)=q. If also d(y,y′)=q for some y,y′∈X, then the automorphism mapping x to y would have to also map x′ to y′ since q is a singleton distance, but this is impossible since every automorphism induces a bijection between the components. Hence, fq swaps the components, and the restriction X→X′ is well-defined.

We need to show that fq:X→X′ is an isometry. Let x,y∈X. We have d(x,fq(x))=d(y,fq(y))=q. Let q′:=d(x,fq(y)). Since x and fq(y) are from different components, q′ is a singleton distance. By 1-homogeneity every triangle with side distances q and q′ has the same distance q′′ of the third side. We apply this observation to the triangles ⟨x,y,fq(y)⟩ and ⟨x,fq(x),fq(y)⟩, and so we have d(x,y)=q′′=d(fq(x),fq(y)).

We have d(g(fq(x)),g(x))=d(fq(x),x)=q=d(fq(g(x)),g(x)) for every g∈Aut(Y) and x∈Y, and so g(fq(x))=fq(g(x)) since q is a singleton distance.

The map ϕ is is clearly a bijection as it bijectively maps X×{0} to X and X×{1} to fq[X]=X′. The rest follows easily from (1): for each x,y∈X and each i∈{0,1}, we have d(⟨x,i⟩,⟨y,i⟩)=dY(fqi(x),fqi(y))=dX(x,y).

Clearly h↦h|X is an isomorphism Aut∗(Y)→H by Theorem 5.6 (4). We just need to observe that h|X×id translates to h via ϕ, i.e. ϕ∘(h|X×id)=h∘ϕ, which reduces to fqi(h(x))=h(fqi(x)) for every x∈X and i∈{0,1}. But this is true by (1).

H is Abelian since Aut∗(Y) is Abelian by Theorem 5.6 (7). We know that for every x,y∈X there is a unique k∈Aut∗(Y) with k(x)=y, and the restriction k↦k|X is an isomorphism Aut∗(Y)→H, so there is a unique h∈H with h(x)=y.

We have d(⟨x,0⟩,⟨h(x),1⟩)=dY(fq0(x),fq1(h(x)))=dY(x,fq(h(x))). Let x′∈X be another point, and let k∈Aut∗(Y) be the map such that k(x)=x′. Then dY(x′,fq(h(x′)))=dY(k(x),fq(h(k(x))))=dY(k(x),k(fq(h(x))))=dY(x,fq(h(x))) since H is Abelian and k∘fq=fq∘k by (1).

We have r(h)∉Dist(X) for every h∈H by (1) since r(h) is a distance between the components, and r is injective since for h≠h′∈H, ⟨h(x),1⟩ and ⟨h′(x),1⟩ are distinct points in the other component.

H and r are admissible by (3) and (4). We compare the metrics on X×2 coming from the identification ϕ and from the rainbow duplicate construction. By (2) the metrics agree on the components, and by (4) the distances agree between the components.

It remains to show the existence of a suitable witnessing map g∈Aut(X) for the rainbow duplicate construction. Let f∈Aut(Y) be a map swapping the components and let g:=fq∘f|X∈Aut(X). We have g2=(fq∘f)2|X=(fq2∘f2)|X=idX, and similarly g∘h∘g-1=((fq∘f)∘h~∘(fq∘f)-1)|X=(fq2∘f∘h~∘f-1)|X=h~-1|X=h-1 where h~∈Aut(Y) is the extension of h.

□

We finish this section with a classification of 1-homogeneous metric spaces.

Theorem 5.19

Let X be a 1-homogeneous metric space. Then one of the following is true. X is isosceles-generated.

X is a rainbow duplicate of an isosceles-generated space.

X is a Boolean metric space.

Suppose that X is even 2-homogeneous. Then one of the following is true. X is isosceles-generated.

X is isosceles-free.

Proof

By Proposition 5.18, if X has exactly two isosceles-generated components, then it is a rainbow duplicate of an isosceles-generated space. By Proposition 5.6 (6), if X has at least three isosceles-generated components, then it is a Boolean metric space.

If X is 2-homogeneous, we can consider also the decomposition into isosceles-free components. For every two distinct isosceles-generated components C,C′ and points x∈C and x′∈C′ we have that d(x,x′) is a singleton distance, and so x,x′ are in the same isosceles-free component. Since x′∈C′ was arbitrary, all elements of C′ are in the same isosceles-free component as x. Hence, C′ is isosceles-free, and so degenerate as an isosceles-generated component. Hence, if there are at least two isosceles-generated components, they are degenerate, and so the whole space is isosceles-free. □

Maximal number of distances

We have seen that restricting distances of finite metric spaces by a coherent triangle scheme t:R2→R (Corollary 4.21) leads to an isosceles-free Fraïssé limit X. If the set of distances R is finite, this forces X to be finite as well, despite X being the “largest” and “most complicated” structure associated to the given class of finite structures. In fact, we get |X|=|R|. This is in contrast with the situation when distances are restricted just to a given finite set satisfying the four-values condition, where the Fraïssé limit is clearly infinite.

In this section, instead of limiting the set of distances and asking about the cardinality of the Fraïssé limit, we start with a general homogeneous metric space of a given finite cardinality and ask how homogeneity limits the number of attained distances. Namely, we consider the following question: What is the maximal number of different distances attained in a k-homogeneous metric space of cardinality n∈N+? It turns out that spaces with the highest ratio of the number of attained distances to the number of points are somewhat close to being isosceles-free and that it is useful to view them through the lens of decompositions into isosceles-free and isosceles-generated components, developed in the previous section.

For every metric space X let δ(X) denote the number of distinct distance values used in X, i.e. δ(X):=|Dist(X)|. Moreover letΔk(n):=max{δ(X):Xak-homogeneous space with|X|=n},fork∈N+,Δω(n):=max{δ(X):Xan ultrahomogeneous space with|X|=n}.

Clearly, we have Δω(n)⩽⋯⩽Δ2(n)⩽Δ1(n) for every n∈N+.

Example 6.1

The circle graph space Cn considered in Example 2.5 is ultrahomogeneous and δ(Cn)=n2+1. Hence, Δω(n)⩾n2+1.

Recall that by SX:={r∈[0,∞):∀x∈X∃!y∈X:d(x,y)=r}⊆Dist(X) we mean the set of singleton distances from Definition 5.3.

Observation 6.2

We have δ(X)⩽(|SX|+|X|)/2 for every finite 1-homogeneous space X. This is because for any x∈X the map d(x,·):X→Dist(X) is a surjection where exactly the elements of SX have a unique preimage. Hence, |X|⩾|SX|+2(δ(X)-|SX|).

Proposition 6.3

Let X be a finite 1-homogeneous n-point space. Clearly, δ(X)⩽n. We have δ(X)=n if and only if X is isosceles-free, and in this case X is ultrahomogeneous and n is a power of two.

In other words, Δω(n)=Δ1(n)=n if n=2m, and Δ1(n)<n otherwise.

Proof

By Observation 3.8, for every a∈X the map Da:x↦d(a,x), X→Dist(X), is surjective, and X is isosceles-free if and only if Da is injective, which happens if and only if δ(X)=n. In this case, X is ultrahomogeneous by Proposition 3.4, and n is a power of two by Corollary 3.9. A homogeneous isosceles-free space of cardinality 2m exists by Example 4.12. □

Theorem 6.4

For a finite 2-homogeneous metric space X of n:=|X| elements, where n=2m(2k+1), we have δ(X)⩽2m(k+1)=:βn.

Proof

Since the space X is 2-homogeneous, we may consider its decomposition into isosceles-free components X/∼ (Theorem 5.4). We have |SX|=|C| for any C∈X/∼. Moreover, |C| is a power of two since C is a homogenous isosceles-free space, and |C|⩽2m since X/∼ is a decomposition into pairwise-isometric subspaces and so |C| is a factor |X|. Together, by Observation 6.2 we haveδ(X)⩽|SX|+|X|2⩽2m+2m(2k+1)2=2m(k+1).

□

The next example witnesses that this bound is optimal.

Example 6.5

Let Bm,k:=2mC2k+1×1⟨2m,‖·‖⟩, the ℓ1-product of a scaled-up circle graph C2k+1 from Example 2.5 with the isosceles-free space ⟨2m,‖·‖⟩ from Example 4.12. The space Bm,k is ultrahomogeneous, has n=2m(2k+1) elements and satisfies δ(Bm,k)=βn.

Proof

We already know that C2k+1 is ultrahomogeneous with 2k+12+1=k+1 distances from Example 2.5 and that ⟨2m,‖·‖⟩ is ultrahomogeneous with 2m distances from Example 4.12. Multiplying the usual metric on C2k+1 by 2m to get the metric space 2mC2k+1:=⟨C2k+1,2mdC2k+1⟩ makes sure that +:Dist(2mC2k+1)×Dist(⟨2m,‖·‖⟩)→Dist(Bm,k) is injective, and we may use Proposition 2.4 to conclude that Bm,k is ultrahomogeneous with 2m(k+1) distinct distances. □

Corollary 6.6

For every n∈N+ we have Δω(n)=Δ2(n)=βn⩽Δ1(n)⩽n.

Now let us bound the number of distances used in 1-homogeneous spaces.

Proposition 6.7

Let X be a 1-homogeneous metric space X of n:=|X| elements. If n=2k+1, then δ(X)⩽k+1. Hence, Δ1(n)=Δ2(n)=βn for every odd n.

Proof

Note that for any distance r∈Dist(X) which is singleton, we can find pairs {x,yr(x)} where yr(x) is the unique element of X satisfying d(x,yr(x))=r (note this is symmetrical since x=yr(yr(x))). Clearly, if r>0, this would lead to a decomposition of X into pairs of elements, which is impossible since |X| is odd. Hence, SX={0}, and we have δ(X)⩽(|SX|+|X|)/2=(1+(2k+1))/2=k+1 by Observation 6.2. □

Example 6.8

In Example 5.8 for n∈N+ we constructed the 1-homogeneous space Dn=Cn×r2 with|Dn|=2n=4ℓ,4ℓ+2,andδ(Dn)=n/2+1+n=3ℓ+1,n=2ℓ,3ℓ+2,n=2ℓ+1.

We have δ(Dn)>β2n for every n that is not a power of two, i.e. we break the optimal bound for 2-homogeneous spaces.

The construction of Dn can be compared to Example 6.5 in the case of two cycles of odd length. There we retain more symmetry while losing more distances, while here we lose more symmetry while keeping more distances.

Proof

We observe that δ(Dn)>β2n for every n=2m(2k+1) that is not a power of two, i.e. k>0. If n is odd, we have n=2k+1 and δ(Dn)=3k+2>2k+2=β2n. If n is even, we have n=2ℓ for ℓ=2m-1(2k+1). Hence,δ(Dn)=3ℓ+1=2m-1(6k+3)+1,β2n=2m+1(k+1)=2m-1(4k+4),

and again δ(Dn)>β2n since k⩾1. □

Corollary 6.9

We have Δ2(n)<Δ1(n)<n for even n that is not a power of two.

To retain more distances in a space of size 2n, we can improve the previous example by taking the space Bm,k instead of Cn as a base for the rainbow duplicate construction.

Example 6.10

Let Em,k:=Bm,k×r2 be a rainbow duplicate of Bm,k. If we put n:=2m(2k+1), we have |Em,k|=2n and δ(Em,k)=2m(3k+2)=:α2n⩾β2n=2m(2k+2). Moreover, we have α2n⩾δ(Dn) and even α2n>δ(Dn) if m⩾2.

Proof

Given we can indeed form a rainbow duplicate Bm,k×r2, which we show in a moment, we haveδ(Em,k)=δ(Bm,k)+|im(r)|=βn+n=2m(k+1)+2m(2k+1)=2m(3k+2).

Since δ(Dn)=δ(Cn)+n, the comparison between α2n and δ(Dn) reduces to comparison between βn and n/2+1. For n odd (i.e. m=0) we have βn=k+1=n/2+1. For n even we have βn=2m-1(2k+2)⩾2m-1(2k+1)+1=n/2+1, which becomes a strict inequality if m⩾2.

To form a rainbow duplicate Bm,k×r2, we need: an Abelian subgroup H⩽Aut(Bm,k) such that for each x,y∈X, there exists precisely one h∈H with h(x)=y (denoted by hxy),

a map g∈Aut(Bm,k) such that g2=id and g∘h∘g-1=h-1 for every h∈H,

an admissible map r:H→(0,∞), but such map exists by Remark 5.16.

So let us start with (1). By definition, Bm,k=(2mC2k+1)×1Xm, so ⟨ϕ,ψ⟩↦ϕ×ψ is a group isomorphism Aut(C2k+1)×Aut(Xm)→Aut(Bm,k) by Proposition 2.4. As we have shown in Example 5.8, if we restrict ourselves to rotations in C2k+1, we get an Abelian subgroup H1⩽Aut(C2k+1) which has the desired property on C2k+1 (and any of its re-scalings), whereas Corollary 3.3 tells us that H2:=Aut(Xm) already has it on Xm, and H2 is Abelian since it is Boolean. It is a standard fact of direct group products that this implies H1×H2=:H⩽Aut(Bm,k), while uniqueness of hxy follows from the uniqueness of the representation of an element h∈H in the direct product as a tuple ⟨h1,h2⟩ as well as the uniqueness of (h1)xy and (h2)x′′ in the two factors. And of course, H is again Abelian.

What remains to be shown is (2). However, we have shown in 5.13 already that we can choose any reflection Ψi on C2k+1 as a function g1, say g1:=Ψ0, and since Xm is Boolean, we can choose g2:=idXm. From this we get that ⟨g1,g2⟩ will naturally satisfy (2) since a direct product’s group operation distributes into the components. □

Proposition 6.11

The number of distances in a 1-homogeneous space X of cardinality n=2(2k+1) with 2k+1 prime is bounded from above by 3k+2. Hence, Δ1(n)=αn for such n.

Proof

Assume δ(X)⩾3k+2. Since |X|=4k+2, this means there are at least 2k+2 singleton distances in X. Therefore it is possible to pick two non-zero singleton distances s1>s2>0 and define f1 as the function which maps each x∈X to the unique point of distance s1 from x, and analogously define f2(x) by d(f2(x),x)=s2 for all x.

Now, define a sequence starting at an arbitrary point x0∈X as:x2i+1:=f1(x2i),x2i+2:=f2(x2i+1),i∈ω.

Clearly, for each xi, fj(xi)≠xi since they have distance sj>0 from each other, and for ℓ≠j we have fℓ(fj(xi))≠xi since their distances from fj(xi) are distinct.

So we have a non-trivial sequence ⟨xn⟩n∈ω in the finite space X and we want to find the smallest m∈N+ such that xm=xi for some i<m. Note that since s1 and s2 are singleton distances and d(x2i,x2i+1)=s1 and d(x2i+2,x2i+1)=s2 for all i, the first m points xi form a ‘chain’ where each point in said chain except x0 and xm are already connected to their unique partners of distance s1 and s2, respectively. So the only possible way to achieve xm=xi for some i<m is if i=0 and thus the sequence is m-periodic.

Moreover, changing the starting point to x0′∉{xn:n∈ω} will yield a disjoint set {xn′:n∈ω}, again because no point xi has more than one point y of distance sj to xi in X. Due to 1-homogeneity, it follows that |{xn:n∈ω}|=m∣2(2k+1)=|X|. Since we have already shown that m>2, it follows that m=2k+1 or m=4k+2, however, if m were 2k+1 and therefore odd, this would imply that x0=xm=x2k+1=f1(x2k), meaning x1=xm-1 since they both have distance s1 to x0, contradicting the minimality of m. It follows that m=4k+2=|X| and thus {xn:n∈ω}=X.

We can use this observation to find k distances which are repeated in X. To do this, first notice that each automorphism g∈Aut(X) acts on X like a rotation or reflection, i.e. there always exists an i∈ω such that either g(xj)=xi+j for all j (if i is even), or g(xj)=xi-j (if i is odd). This is because g preserves distances, so it, in particular, preserves pairs {x,fj(x)} of distance sj. This means g commutes with both f1 and f2.

It follows that if g maps x0 to xi, theng(xj)=g(fℓj∘⋯∘f1(x0))=fℓj∘⋯∘f1(xi)=xi+j,ieven,xi-j,iodd.

This is because for even i, f1(xi)=xi+1 whereas, for odd i, it is xi-1, and from that point onwards f1 and f2 alternate.

Let gi∈Aut(X) be the automorphism satisfying gi(x0)=xi. Then, for each even i, notice that d(xm-i,x0)=d(gi(xm-i),gi(x0))=d(x0,xi)=:ri, and the function d(·,x0) therefore assumes at most k+1 distinct values on the 2k+1 points in X with an even index {x2n:n∈ω}, and of course at most 2k+1 distinct values on the remaining 2k+1 odd-indexed points, yielding an upper bound of δ(X)⩽3k+2=αn. □

Proposition 6.12

We have Δ1(n)⩽n-2 for every n⩾7 that is not a power of two.

Proof

Let X be a 1-homogeneous space of cardinality n. If n is not a power of two, then δ(X)⩽n-1 by Proposition 6.3. Suppose δ(X)=n-1. That means there is exactly one r∈Dist(X) that is not a singleton distance, and for every x∈X there are exactly two points y∈X with d(x,y)=r.

Let x1,x2∈X be such that d(x1,x2)=r. Then for every i⩾2 there is a unique point xi+1∈X such that d(xi,xi+1)=r and xi+1≠xi-1. Since X is finite, there is the smallest k such that xk+1∈{x1,…,xk}. Necessarily, k⩾3 (otherwise r would be singleton) and xk+1=x1 (if xk+1=xi with 1<i⩽k, then i<k-1 and xi-1,xi+1,xk are three distinct points with distance r from xi). Hence we have obtained a cycle C:={xi:i∈Zk} such that d(xi,xi+1)=r for every i∈Zk.

Let q:=d(x1,x-1). By 1-homogeneity, for every i∈Zk there is f∈Aut(X) such that f(x0)=xi. It follows that {xi+1,xi-1}={y∈X:d(y,xi)=r}={f(y)∈X:d(y,x0)=r}={f(x1),f(x-1)}, and so d(xi+1,xi-1)=q. Hence, d(xi,xi+2)=d(xi,xi-2)=q for every i∈Zk. Since r is the only non-singleton distance, we have either q≠r, xi+2=xi-2, and k=4, or q=r, xi+2=xi-1, and k=3.

Since r is the only non-singleton distance, C is a component of the decomposition X/∼ into isosceles-generated components. Since |X| is not a power of two, X is not a Boolean space, and so |X/∼|∈{1,2}. Hence |X|=|C|·|X/∼|∈{3,4,6,8}. □

Table 1 summarizes the maximal number of distances in small homogeneous spaces. We use the following results obtained throughout this section. Namely, we use the bounds βn from Theorem 6.4 and αn from Example 6.10 (where we define define αn:=βn for n odd).For every n∈N+ we have Δω(n)=Δ2(n)=βn⩽αn⩽Δ1(n)⩽n.

For n power of two or odd we have Δ1(n)=Δ2(n)=βn=αn.

For n=2(2k+1) with 2k+1 prime we have Δ1(n)=3k+2=αn.

For 7⩽n not power of two we have Δ1(n)⩽n-2.

Table 1 Maximal number of distances in small spaces

n	Δ2(n)	Δ1(n)	Argument for Δ1 upper bound	
1	1	1	Power of two	
2	2	2	Power of two	
3	2	2	Odd	
4	4	4	Power of two	
5	3	3	Odd	
6	4	5	Two times odd prime	
7	4	4	Odd	
8	8	8	Power of two	
9	5	5	Odd	
10	6	8	Two times odd prime	
11	6	6	Odd	
12	8	10	Δ1(n)⩽n-2	
13	7	7	Odd	
14	8	11	Two times odd prime	
15	8	8	Odd	
16	16	16	Power of two	
17	9	9	Odd	
18	10	⩾14,⩽16	Δ1(n)⩽n-2	
19	10	10	Odd	
20	12	⩾16,⩽18	Δ1(n)⩽n-2	

Question 1 What are the values of Δ1(n) for the cases not covered so far (n=2m(2k+1) for k>0 where m⩾2 or m=1 and 2k+1 non-prime)?

Remark 6.13

Note that when searching for Δ1(n) where n is not a power of two, a space X of cardinality n cannot be Boolean, and hence by Theorem 5.19 is either isosceles-generated, or a rainbow duplicate of an isosceles-generated space Y, and in the latter case δ(X)=δ(Y)+n/2. Hence, Δ1(n) ultimately depends on numbers of distances of isosceles-generated spaces.

Remark 6.14

Let us note that the question of maximal number of distances in a finite homogeneous metric space can be rephrased in the language of colorings of complete graphs. Let X be a set and let c:X×X→CX∋0 be a surjective map onto a set CX such thatc(x,y)=0 if and only if x=y, i.e. 0 is a special color reserved for the diagonal,

c(x,y)=c(y,x), i.e. c is symmetric.

The map c can be naturally viewed as a (not necessarily proper) edge coloring of the complete graph on X. Let us call pairs ⟨X,c⟩ (edge-)colored complete graphs.

Note that for every metric space X, the distance d:X×X→Dist(X) is a valid coloring, and that the notions of automorphisms and n-homogeneity are exactly the same when we view X as a colored graph instead of a metric space. 1-homogeneity of the metric would be more traditionally called vertex-transitivity of the induced coloring. Also note that for every finite colored complete graph X we may consider an embedding e:CX→{0}∪[a,2a]⊆R such that e(0)=0 for some a>0, and put d(x,y)=e(c(x,y)). This defines a metric on X inducing an equivalent coloring. Since we take positive distances in [a, 2a], the triangle inequality becomes trivial. This is what we have done in Theorem 5.10.

Altogether, the question of maximal number of distances can be reformulated as: “What is the maximal number of colors used by a vertex-transitive coloring of a complete graph of cardinality n?”

Acknowledgements

The research of A. Bartoš and W. Kubiś was supported by GA ČR (Czech Science Foundation) grant EXPRO 20-31529X and by the Czech Academy of Sciences (RVO 67985840). The research of C. Bargetz and F. Luggin was supported by the Austrian Science Fund (FWF): I 4570-N.

Funding

Open access funding provided by University of Innsbruck and Medical University of Innsbruck. Grantová Agentura České Republiky (20-31529X), Akademie Věd České Republiky (RVO 67985840), Austrian Science Fund (I 4570-N).

Declarations

Conflict of interest

All authors declare that they have no conflicts of interest.

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
==== Refs
References

1. Avilés A Boolean metric spaces and Boolean algebraic varieties Commun. Algebra 2004 32 1805 1822 10.1081/AGB-120029903
2. Delhommé C Laflamme C Pouzet M Sauer N Divisibility of countable metric spaces Eur. J. Combin. 2007 28 1746 1769 10.1016/j.ejc.2006.06.024
3. Giraudet M Holland WC Ohkuma structures Order 2002 19 223 237 10.1023/A:1021249901409
4. Hattori Y Congruence and dimension of nonseparable metric spaces Proc. Amer. Math. Soc. 1990 108 1103 1105
5. Hodges W Model theory: Encyclopedia of Mathematics and its Applications 1993 Cambridge Cambridge University Press
6. Ivanov AA Generic expansions of ω-categorical structures and semantics of generalized quantifiers J. Symb. Logic 1999 64 775 789 10.2307/2586500
7. Jaligot E On stabilizers of some moieties of the random tournament Combinatorica 2007 27 129 133 10.1007/s00493-007-0046-1
8. Janoš L A metric characterization of zero-dimensional spaces Proc. Amer. Math. Soc. 1972 31 268 270 10.1090/S0002-9939-1972-0288739-5
9. Janoš L Martin H Metric characterizations of dimension for separable metric spaces Proc. Amer. Math. Soc. 1978 70 209 212 10.1090/S0002-9939-1978-0474229-9
10. Kechris AS Rosendal C Turbulence, amalgamation, and generic automorphisms of homogeneous structures Proc. Lond. Math. Soc. 2007 94 3 302 350 10.1112/plms/pdl007
11. Krawczyk A Kubiś W Games with finitely generated structures Ann. Pure Appl. Logic 2021 172 103016 10.1016/j.apal.2021.103016
12. Kubiś W Weak Fraïssé categories Theory Appl. Categ. 2022 38 2 27 63
13. Kubiś W Mašulović D Katětov functors Appl. Categ. Struct. 2017 25 569 602 10.1007/s10485-016-9461-z
14. Kubiś W Shelah S Homogeneous structures with nonuniversal automorphism groups J. Symb. Log. 2020 85 817 827 10.1017/jsl.2020.10
15. Melter RA Boolean valued rings and Boolean metric spaces Archiv. Math. 1964 15 354 363 10.1007/BF01589213
16. Nguyen Van Thé, L.: Structural Ramsey theory of metric spaces and topological dynamics of isometry groups. Mem. Amer. Math. Soc. 206, x+140 (2010)
17. Niemiec, P.: Extensive approach to absolute homogeneity. Preprint (arXiv:2308.09986) (2023)
18. Ohkuma T Sur quelques ensembles ordonnés linéairement Fund. Math. 1956 43 326 337
19. Panagiotopoulos A Tent K Universality vs genericity and C4-free graphs Eur. J. Combin. 2022 106 103590 10.1016/j.ejc.2022.103590
20. Rolewicz, S.: Metric Linear Spaces: Mathematical Monographs, vol. 56, p. 287. PWN—Polish Scientific Publishers, Warsaw (1972)
21. Sauer NW Distance sets of Urysohn metric spaces Canad. J. Math. 2013 65 222 240 10.4153/CJM-2012-022-4
22. Urysohn PS Sur un espace métrique universel Bull. Sci. Math. 1927 51 43 64
