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 zehsilva

I'm in the journey of learning and sharing.
Computer Science, Machine Learning, Information Retrieval.
Technology and Society, Philosophy and Public Theology.
View all posts by zehsilva