Related papers: The Four Point Condition: An Elementary Tropicaliz…
$\newcommand{\Max}{\mathrm{Max4PC}}$ The Four point condition (4PC henceforth) is a well known condition characterising distances in trees $T$. Let $w,x,y,z$ be four vertices in $T$ and let $d_{x,y}$ denote the distance between vertices…
We attempt to shed new light on the notion of 'tree-like' metric spaces by focusing on an approach that does not use the four-point condition. Our key question is: Given metric space $M$ on $n$ points, when does a fully labelled…
For many years, exact metric search relied upon the property of triangle inequality to give a lower bound on uncalculated distances. Two exclusion mechanisms derive from this property, generally known as pivot exclusion and hyperplane…
This paper discusses a new family of bounds for use in similarity search, related to those used in metric indexing, but based on Ptolemy's inequality, rather than the metric axioms. Ptolemy's inequality holds for the well-known Euclidean…
In 2017 M. Bessenyei and Z. P\'ales introduced a definition of a triangle function which generates a concept of a generalized triangle inequality in semimetric spaces. Inspired by this concept we discuss already known inequalities in metric…
We study the problem of how well a tree metric is able to preserve the sum of pairwise distances of an arbitrary metric. This problem is closely related to low-stretch metric embeddings and is interesting by its own flavor from the line of…
We show that under certain mild conditions, a metric simplicial complex which satisfies the Ptolemy inequality is a CAT(0) space. Ptolemy's inequality is closely related to inversions of metric spaces. For a large class of metric simplicial…
The main goal of this paper is to provide an alternative proof of the following theorem of Petty: in the normed space of dimension at least three, every 3-element equilateral set can be extended to a 4-element equilateral set. Our approach…
Gromov (2001) and Sturm (2003) proved that any four points in a $\mathrm{CAT}(0)$ space satisfy a certain family of inequalities. We call those inequalities the $\boxtimes$-inequalities, following the notation used by Gromov. In this paper,…
We establish a family of inequalities that hold true on any $6$ points in any $\mathrm{CAT}(0)$ space. We prove that the validity of these inequalities does not follow from any properties of $5$-point subsets of $\mathrm{CAT}(0)$ spaces. In…
The tree metric theorem provides a combinatorial four point condition that characterizes dissimilarity maps derived from pairwise compatible split systems. A similar (but weaker) four point condition characterizes dissimilarity maps derived…
Metric search is concerned with the efficient evaluation of queries in metric spaces. In general,a large space of objects is arranged in such a way that, when a further object is presented as a query, those objects most similar to the query…
Most research into similarity search in metric spaces relies upon the triangle inequality property. This property allows the space to be arranged according to relative distances to avoid searching some subspaces. We show that many common…
Given a set of points in the Euclidean space $\mathbb{R}^\ell$ with $\ell>1$, the pairwise distances between the points are determined by their spatial location and the metric $d$ that we endow $\mathbb{R}^\ell$ with. Hence, the distance…
We survey the definition and some elementary properties of real trees. There are no new results, as far as we know. One purpose is to give a number of different definitions and show the equivalence between them. We discuss also, for…
The conventional definition of a topological metric over a space specifies properties that must be obeyed by any measure of "how separated" two points in that space are. Here it is shown how to extend that definition, and in particular the…
Discrete partially ordered sets can be turned into distance spaces in several ways. The distance functions may or may not satisfy the triangle inequality, and restriction of the distance to finite chains may or may not coincide with the…
It often happens in mathematics that one and the same equation is known under different names in different areas of mathematics. The famous pentagon identity appears in low-dimensional topology in different ways. In this paper, we use the…
Graphs are interesting structures: extremely useful to depict real-life problems, extremely easy to understand given a sketch, extremely complicated to represent formally, extremely complicated to compare. Phylogeny is the study of the…
Using a four points inequality for the boundary of CAT(-1)-spaces, we study the relation between Gromov hyperbolic spaces and CAT(-1)-spaces.