Metric graphs and curvature Consider a positively weighted connected simple graph with bounded degree $X$ . Denote by $d(x,y)$ the weight on the edge with endpoints $x$ and $y$. Suppose we have the following compatibility axioms:


*

*If $x_0,x_1,\ldots,x_{n-1},x_n$ and $y_0,y_1,\ldots,y_{n-1},y_n$ are two shortest paths in the unlabeled graph connecting the same points (i.e. $x_0=y_0$ and $x_n=y_n$), then
$$
\sum d(x_{i-1},x_i)=\sum d(y_{i-1},y_i)
$$

*If $x_0,x_1,\ldots,x_{n-1},x_n$ is a shortest path in the unlabeled graph connecting $x$ to $y$ and $y_0,y_1,\ldots,y_{m-1},y_m$, with $m>n$, is another path connecting $x$ to $y$, then
$$
\sum d(x_{i-1},x_i)<\sum d(y_{i-1},y_i)
$$
Define a metric on the set of vertices just adding the various weights that you encounter moving along a shortest path. Suppose this metric is locally finite. The two axioms above say that this metric is well-defined and that it is in some sense compatible with the graph structure: the shortest-paths are geometrically the same and the distance is additive only along shortest paths.

General question: Has somebody studied these objects?

In particular, I am interested in the following questions:

Question: Suppose that our graph (without labels) is a tree with positive isoperimetric constant. Is it still true that it does not have bi-lipschitz embeddings (with the new metric) into a Hilbert space?

Also, let $\delta_1(X)$ be the best nonnegative constant, if exists, such that every side of a geodesic triangle is contained in the $\delta_1$-neigborhood of the other two sides. (If you like quasi-isometry, let $\delta$ be the infimum of all $\delta_1(Y)$ when $Y$ runs over the quasi-isometric class containing $X$). I am very tempted to say that $X$ has curvature bounded above by $-\frac{1}{\delta(X)}$.

Question: Has been this notion studied before? More specifically, what happens if I take, as graph, the 1-skeleton of a very good triangulation of a compact negatively curved metrizable manifold with labels given by the induced metric?

Thank you in advance,
Valerio
 A: I suspect there is some terminology confusion here. Without the axioms 1 and 2, what you define is just a 1-dimensional polyhedral space (they are usually called metric graphs). Or, more precisely, the set of vertices of a metric graph with the induced distance. The "weights" are usually referred to as "edge lengths".
The axioms impose an additional requirement that the shortest paths of the "weighted" metric are the same as those of the "unweighted" one. This is a very unusual requirement, and I wonder where it comes from. By the way, it is not satisfied in the triangulation example from your last question.
Concerning bi-Lipschitz embeddings: if the edge lengths are bounded away  from 0 and infinity, then there is no difference from the unit lengths (the two metrics are bi-Lipschitz equivalent). And if they are not bounded, then any tree (I mean the set of vertices) can be bi-Lipschitz embedded into $\mathbb R$. Assign the $k$-th edge the length $10^k$, then the distance between any two vertices is dominated by the longest edge between them. Now mark one of the vertices as the origin and, for every vertex $x$, let $f(x)$ be the distance from $x$ to the origin. Then $f$ is a bi-Lipschitz map to $\mathbb R$.
I wonder what you mean by quasi-isometry (in your curvature bound definition). The notion of quasi-isometry I am used to allows arbitrary bi-Lipshitz rescaling, so the supremum and infimum of $\delta$ do not make sense. What you define is Gromov's $\delta$-hyperbolicity. This property is preserved under quasi-isometries, but the actual value of $\delta$ is not.
As for you last question, I presume that you are talking about the lift of the triangulation to the universal cover of the manifold (otherwise it is just a finite graph). In this case the graph is certainly Gromov-hyperbolic because it is quasi-isometric to the universal cover itself (with its negatively curved metric).
