I stumbled across this trigonometric formula for high-dimensional vector in the (d-1)-sphere while proof-reading the last two LSH papers (“beyond LSH”, and “optimal data-dependent LSH”). It is an interesting formula because it present the angle between the points fully characterized by the distance between the points.

So, let’s do it.

Suppose you have two high-dimensional vectors [unitary (d-1)-sphere]. They form an angle of . Take the center of the sphereÂ and the difference between the vectors, so we obtain a triangle with two edges length 1 and one edge length (the angle is on the opposite side of the edge ). If we take the bisector of the angle we obtain two new similar right triangles with edge lenghts 1, c and (see the above photo) and angle .

Now we have this two relations:

Which gives us and

Since the only information to characterize the angle is the distance between the points, this could be heuristically generalized to metric spaces (keeping aware that the proof doesn’t hold, neither the notion of “angle” between vectors).

### Like this:

Like Loading...

*Related*

## Published by Eliezer Silva (zehsilva)

Researcher and engineer. Interested in Machine Learning, probabilistic models, mathematical modeling and many other applications of computational thinking. Also sometimes like to get a bit into politics and philosophy.
View all posts by Eliezer Silva (zehsilva)