Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Recall that a space is $\delta$-hyperbolic if there is some number $\delta$ with the property that every point on an edge of a geodesic triangle lies within $\delta$ of another edge. For example a tree is $0$-hyperbolic. One of the basic facts about standard hyperbolic space is that it is $\delta$-hyperbolic for some $\delta$, and I am looking for the smallest delta which makes this true.

Full disclosure: I stole this question from Dima Burago, who brought it up as an example of of a useless problem about which he is nevertheless a little curious. I haven't exactly burned the midnight oil, but I can't solve it.

share|improve this question
    
This is a well-known elementary exercise mentioned in Bridson-Heafliger and other places. Incidentally, the optimal delta is not totally useless: it could be helpful when doing explicit computations in $H^n$. For example, a cool fact is that in $H^n$ any $r$-quasi-convex set lies in bounded Hausdorff distance from its convex hull, and I would like to know this distance as a function of $r$; I suspect the optimal delta will be part of the formula. –  Igor Belegradek Apr 30 '10 at 2:53
1  
@Will -- the distance between the midpoints is not the desired delta. Paul is asking for the slightly smaller distance from one midpoint to the other edges. –  Sam Nead Apr 30 '10 at 3:34
add comment

4 Answers

up vote 8 down vote accepted

We can use the isometry group of $H^n$ to reduce to the case of an ideal triangle in the upper half plane, with vertices at -1, 1, and infinity. We want to find the distance between $i$ and the vertical geodesic with real part 1. To find the shortest geodesic, we reflect $i$ in the vertical line, and take half the distance between $i$ and $i+2$. The distance formula yields $\tanh^{-1}\left(\frac{|(i+2)-i|}{|(i+2) + i|} \right) = \tanh^{-1}(1/\sqrt2)$. This is about 0.8813735.

share|improve this answer
    
You're quite right. I should have considered more symmetric means. –  S. Carnahan Apr 30 '10 at 4:02
    
There is a Mobius transformation turning your proof into my proof. Of course, Mobius transformations have inverses... :) –  Sam Nead Apr 30 '10 at 4:06
add comment

Consider the ideal triangle with vertices at infinity, zero, and one. Let $C$ be the semicircle perpendicular to the vertical line $[0, \infty]$ and meeting $1/2 + i/2$ (ie the midpoint of the semicircle $[0,1]$). So $C$ meets $[0, \infty]$ at the point $i \cdot \sqrt{2}/2$. Scale down by a factor of $\sqrt{2}/2$ to get the point $1/\sqrt{2} + i/\sqrt{2}$. Use a Mobius transformation to rotate this by $\pi/2$ about $i$ to get $i(1+\sqrt{2})$. Now integrate $dy/y$ to get $\log(1 + \sqrt{2})$. This is approximately 0.88137358702.

share|improve this answer
    
Thanks, Sam. I started drawing pictures after Matthew seemed to get something different but didn't get very far. Just as well I did not finish the calculation. –  Will Jagy Apr 30 '10 at 4:12
add comment

Let $T$ be a triangle in $\mathbb{H}^2$. Its area is $\pi - \alpha - \beta - \gamma$, where $\alpha$, $\beta$, and $\gamma$ are the interior angles. You can find how slim this triangle is by considering an inscribed circle in $T$. The radius of this triangle, thus $\delta$, are bounded above by the area, so to find the $\delta$ that works for all triangles, you take the limit and consider an ideal triangle $T_\infty$. You can explicitly compute that the inscribed circle minimizing distance between the sides has length $4 \log \phi$, where $\phi$ is the golden ratio. (See here and here.)

share|improve this answer
    
If you make the ideal triangle in the disk model, the $4 \log \phi$ comes from connecting the midpoints. It's the minimum distance between the sides. –  Matthew Stover Apr 30 '10 at 2:50
    
Ahh, I see the confusion. I said radius instead of hyperbolic length. Edit forthcoming. –  Matthew Stover Apr 30 '10 at 3:05
    
That second link explains the correct way forward - you want to inscribe a semicircle inside of the triangle, not a circle. Doing the latter will give the in-radius instead of the slimness constant. I don't know what the problem with Wikipedia is - it looks like they are computing the distance between midpoints, but is too large by a factor of two. –  Sam Nead Apr 30 '10 at 4:01
    
Well, that's what I get for not checking it... –  Matthew Stover Apr 30 '10 at 4:21
add comment

See http://www.math.umn.edu/~am/book/outercircles.pdf, p.14-15 for detailed treatment.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.