Introduction
A rotation turns every vector by the same angle around the origin without changing lengths or angles. Rotations are the orthogonal matrices with determinant . They appear in robotics and graphics, in data augmentation, in aligning embeddings across languages, and in the rotary position embeddings (RoPE) used by modern large language models.