Related papers: An incomplete real tree with complete segments
Using isometric embedding of metric trees into Banach spaces, this paper will investigate barycenters, type and cotype, and various measures of compactness of metric trees. A metric tree ($T$, $d$) is a metric space such that between any…
In this paper, a semigroup algebra consisting of polynomial expressions with coefficients in a field $F$ and exponents in an additive submonoid $M$ of $\mathbb{Q}_{\ge 0}$ is called a Puiseux algebra and denoted by $F[M]$. Here we study the…
We study properties of metric segments in the class of all metric spaces considered up to an isometry, endowed with Gromov--Hausdorff distance. On the isometry classes of all compact metric spaces, the Gromov-Hausdorff distance is a metric.…
We investigate the properties of ideals associated with Kuratowski partitions of non-complete Baire metric spaces. We show that such an ideal can be precipitous.
In the setting of a metric space equipped with a doubling measure that supports a Poincar\'e inequality, we show that a set $E$ is of finite perimeter if and only if $\mathcal H(\partial^1 I_E)<\infty$, that is, if and only if the…
Two-dimensional version of the classical Mycielski theorem says that for every comeager or conull set $X\subseteq [0,1]^2$ there exists a perfect set $P\subseteq [0,1]$ such that $P\times P\subseteq X\cup \Delta$. We consider…
Following Lawvere's description of metric spaces using enriched category theory, we introduce a change in the base of enrichment that allows description of some aspects of (relativistic) causal spaces. All such spaces are Cauchy complete,…
The Brownian map is a model of random geometry on the sphere and as such an important object in probability theory and physics. It has been linked to Liouville Quantum Gravity and much research has been devoted to it. One open question asks…
A spanning subgraph $F$ of a graph $G$ is called {\em perfect} if $F$ is a forest, the degree $d_F(x)$ of each vertex $x$ in $F$ is odd, and each tree of $F$ is an induced subgraph of $G$. Alex Scott (Graphs \& Combin., 2001) proved that…
Let $\mathcal{F}$ be a set of subsets of a set $W$. When is there a tree $T$ with vertex set $W$ such that each member of $\mathcal{F}$ is the set of vertices of a subtree of $T$? It is necessary that $\mathcal{F}$ has the Helly property…
Tiered trees were introduced as a combinatorial object for counting absolutely indecomposable representation of certain quivers and torus orbit of certain homogeneous variety. In this paper, we define a bijection between the set of…
The coarse similarity class $[A]$ of $A$ is the set of all $B$ whose symmetric difference with $A$ has asymptotic density 0. There is a natural metric $\delta$ on the space $\mathcal{S}$ of coarse similarity classes defined by letting…
A metric space is indivisible if for any partition of it into finitely many pieces one piece contains an isometric copy of the whole space. Continuing our investigation of indivisible metric spaces, we show that a countable ultrametric…
We study the Gromov-Hausdorff convergence of metric pairs and metric tuples and prove the equivalence of different natural definitions of this concept. We also prove embedding, completeness and compactness theorems in this setting. Finally,…
The ring of Fermat reals is an extension of the real field containing nilpotent infinitesimals, and represents an alternative to Synthetic Differential Geometry in classical logic. In the present paper, our first aim is to study this ring…
This paper is about algebro-geometrical structures on a moduli space $\CM$ of anomaly-free BV QFTs with finite number of inequivalent observables or in a finite superselection sector. We show that $\CM$ has the structure of F-manifold -- a…
We call a \emph{comb} a map $f:I\to [0,\infty)$, where $I$ is a compact interval, such that $\{f\ge \varepsilon\}$ is finite for any $\varepsilon$. A comb induces a (pseudo)-distance $\dtf$ on $\{f=0\}$ defined by $\dtf(s,t) =…
The language of finite games is used to rephrase Pelant's proof of his result: The separable modification of the complete metric space $C([0,\omega_1])$ is not complete.
We show the theory of pointed $\R$-trees with radius at most $r$ is axiomatizable in a suitable continuous signature. We identify the model companion $\rbRT_r$ of this theory and study its properties. In particular, the model companion is…
Consider the semialgebraic structure over the real field. More generally, let an ominimal structure be over a real closed field. We show that a definable metric space X with a definable metric d is embedded into a Euclidean space so that…